cyanic-selkie/wikianc huggingface dataset:
تفرد بي كي إل
تفرد بي كي إل (بالإنجليزية: Belinski-Khalatnikov-Lifshitz (BKL)) هو نموذج للتطور الديناميكي للكون بالقرب من تفرد الجاذبية الأولي، الموصوف بمحلول فوضوي متباين الخواص لمعادلة أينشتاين للجاذبية. وفقًا لهذا النموذج، يتأرجح الكون بشكل فوضوي حول تفرد الجاذبية حيث يصبح الزمان والمكان مساويين للصفر. هذا التفرد حقيقي ماديًا بمعنى أنه خاصية ضرورية للحل، وسيظهر أيضًا في الحل الدقيق لتلك المعادلات. لم يتم إنشاء التفرد بشكل مصطنع من خلال الافتراضات والتبسيط التي تم إجراؤها بواسطة الحلول الخاصة الأخرى مثل حلول فريدمان - لوميتري - روبرتسون - ووكر وشبه الخواص وحلول كاسنر.
تم تسمية النموذج على اسم مؤلفيه فلاديمير بيلينسكي وإسحاق خالاتنيكوف وإيفجيني ليفشيتز، ثم عملوا في معهد لانداو للفيزياء النظرية.
تحتوي الصورة التي طورتها بي كي إل على عدة عناصر مهمة. وهذه هي:
أصبحت دراسة ديناميات الكون في محيط التفرد الكوني مجالًا سريع التطور للفيزياء النظرية والرياضية الحديثة. إن تعميم نموذج بي كي إل على التفرد الكوني في النماذج الكونية متعددة الأبعاد ( نوع كلوزا- كلاين ) له طابع فوضوية في الزمكانات التي لا تزيد أبعادها عن عشرة، بينما في الزمان المكاني ذي الأبعاد الأعلى يكون الكون بعد خضوعه لعدد محدود من التذبذبات تدخل في نظام تعاقد رتيب من نوع كاسنر.
كشف تطوير الدراسات الكونية القائمة على نماذج الأوتار الفائقة عن بعض الجوانب الجديدة للديناميكيات في محيط التفرد. في هذه النماذج، لا يتم إثارة آليات تغيير حقبة كاسنر من خلال تفاعلات الجاذبية ولكن من خلال تأثير المجالات الأخرى الموجودة. ثبت أن النماذج الكونية المبنية على ستة نماذج من الأوتار الفائقة بالإضافة إلى نموذج الجاذبية الفائقة D = 11 تُظهر ديناميكيات بي كي إل الفوضوية تجاه التفرد. تم اكتشاف علاقة بين النماذج الكونية المتذبذبة الشبيهة بـ بي كي إل وفئة فرعية خاصة من جبر الكذب اللانهائي الأبعاد - ما يسمى بجبر كاك الزائدي - مودي.
مقدمة
أساس علم الكونيات الحديث هو الحلول الخاصة لمعادلات مجال أينشتاين التي وجدها ألكسندر فريدمان في 1922-1924. يُفترض أن الكون متجانس (الفضاء له نفس الخصائص (المقاييس) المترية في جميع النقاط) ومتساوي الخواص (الفضاء له نفس المقاييس في جميع الاتجاهات). تتيح حلول فريدمان شكلين هندسيين محتملين للفضاء: نموذج مغلق بمساحة تشبه الكرة، منحنية للخارج (انحناء إيجابي ) ونموذج مفتوح مع مساحة تشبه السرج، منحنية إلى الداخل (انحناء سلبي ). في كلا النموذجين، لا يقف الكون ساكنًا، فهو إما يتوسع باستمرار (يصبح أكبر) أو يتقلص (يتقلص، ويصبح أصغر). وهذا ما أكده إدوين هابل الذي أسس انزياح هابل الأحمر للمجرات المتراجعة. الإجماع الحالي هو أن النموذج الخواص، بشكل عام، يعطي وصفًا مناسبًا للحالة الحالية للكون ؛ ومع ذلك، فإن الخواص في الكون الحالي بحد ذاته ليس سببًا لتوقع أنه كافٍ لوصف المراحل الأولى من تطور الكون. في الوقت نفسه، من الواضح أن التجانس في العالم الحقيقي، في أحسن الأحوال، مجرد تقريب. حتى لو كان بإمكان المرء التحدث عن توزيع متجانس لكثافة المادة على مسافات كبيرة مقارنة بالفضاء بين المجرات، فإن هذا التجانس يتلاشى عند المقاييس الأصغر. من ناحية أخرى، يذهب افتراض التجانس بعيدًا جدًا في الجانب الرياضي: فهو يجعل الحل متماثلًا للغاية والذي يمكن أن ينقل خصائص محددة تختفي عند النظر في حالة أكثر عمومية.
خاصية أخرى مهمة للنموذج الخواص هي الوجود الحتمي لتفرد الوقت : تدفق الوقت ليس مستمرًا، ولكنه يتوقف أو ينعكس بعد أن يصل الوقت إلى قيمة كبيرة جدًا أو صغيرة جدًا. بين التفردات، يتدفق الوقت في اتجاه واحد: بعيدًا عن التفرد ( سهم الوقت ). في النموذج المفتوح، يوجد تفرد لمرة واحدة، لذا يكون الوقت محدودًا في أحد طرفيه ولكنه غير محدود في الطرف الآخر، بينما في النموذج المغلق، هناك نوعان من التفردات التي تحدد الوقت عند كلا الطرفين ( الانفجار العظيم والأزمة الكبيرة ).
الخصائص الفيزيائية الوحيدة المثيرة للاهتمام للزمن المكاني (مثل التفردات) هي تلك الخصائص المستقرة، أي تلك الخصائص التي لا تزال تحدث عندما تكون البيانات الأولية مضطربة قليلاً. من الممكن أن تكون التفرد مستقرًا ولكنها ليست ذات فائدة مادية: الاستقرار ضروري ولكنه ليس شرطًا كافيًا للأهمية المادية. على سبيل المثال، يمكن أن يكون التفرد مستقرًا فقط في جوار مجموعات البيانات الأولية المقابلة لأكوان متباينة الخواص. نظرًا لأن الكون الفعلي يبدو الآن شبه متناحي الخواص، فإن مثل هذه التفرد لا يمكن أن تحدث في كوننا. الشرط الكافي ليكون التفرد المستقر ذا فائدة جسدية هو شرط أن تكون التفرد عامة (أو عامة). بشكل تقريبي، يكون التفرد المستقر عامًا إذا حدث بالقرب من كل مجموعة من الظروف الأولية وكانت الحقول غير الجاذبية مقيدة بطريقة معينة إلى الحقول "الواقعية فيزيائيًا" بحيث تكون معادلات أينشتاين، ومعادلات الحالة المختلفة، وما إلى ذلك، يفترض أنه يحتفظ بأزمنة الفضاء المتطورة. قد يحدث أن تكون التفرد مستقرًا في ظل اختلافات صغيرة في درجات الجاذبية الحقيقية للحرية، ومع ذلك فهي ليست عامة لأن التفرد يعتمد بطريقة ما على نظام الإحداثيات، أو بالأحرى على اختيار السطح الفائق الأولي الذي ينطلق منه الزمكان. يتطور.
بالنسبة لنظام المعادلات التفاضلية غير الخطية، مثل معادلات أينشتاين، لا يتم تحديد الحل العام بشكل لا لبس فيه. من حيث المبدأ، قد يكون هناك تكاملات عامة متعددة، وقد يحتوي كل منها على مجموعة فرعية محدودة فقط من جميع الشروط الأولية الممكنة. قد تحتوي كل من هذه التكاملات على جميع الوظائف المستقلة المطلوبة والتي، مع ذلك، قد تخضع لبعض الشروط (على سبيل المثال، بعض عدم المساواة ). لذلك، فإن وجود حل عام ذو تفرد لا يمنع وجود حلول عامة إضافية أخرى لا تحتوي على تفرد. على سبيل المثال، لا يوجد سبب للشك في وجود حل عام بدون تفرد يصف جسمًا منعزلًا بكتلة صغيرة نسبيًا.
من المستحيل العثور على جزء لا يتجزأ من جميع الأماكن وفي كل الأوقات. ومع ذلك، هذا ليس ضروريًا لحل المشكلة: يكفي دراسة الحل بالقرب من التفرد. وهذا من شأنه حل أيضا جانبا آخر للمشكلة: خصائص الزمكان المتري تطور في الحل العام عندما يصل إلى التفرد المادي، تفهم على أنها نقطة حيث كثافة المادة والثوابت لل انحناء ريمان الموتر تصبح لانهائية.
وجود تفرد للوقت المادي
كانت إحدى المشكلات الرئيسية التي درستها مجموعة لانداو (التي تنتمي إليها بي كي إل) هي ما إذا كانت النماذج الكونية النسبية تحتوي بالضرورة على فرادة زمنية أو ما إذا كانت فرادة الوقت هي قطعة أثرية من الافتراضات المستخدمة لتبسيط هذه النماذج. إن استقلال التفرد في افتراضات التناظر يعني أن فرادات الوقت لا توجد فقط في الخاص، ولكن أيضًا في الحلول العامة لمعادلات أينشتاين. من المعقول أن نقترح أنه في حالة وجود مفردة في الحل العام، يجب أن تكون هناك بعض المؤشرات التي تستند فقط إلى الخصائص الأكثر عمومية لمعادلات أينشتاين، على الرغم من أن هذه المؤشرات في حد ذاتها قد تكون غير كافية لوصف التفرد.
عمل سابق لمجموعة لانداو ؛  تمت مراجعته في ) أدى إلى استنتاج مفاده أن الحل العام لا يحتوي على تفرد مادي. تم إجراء هذا البحث عن فئة أوسع من الحلول ذات التفرد، بشكل أساسي، من خلال طريقة التجربة والخطأ، نظرًا لعدم وجود نهج منهجي لدراسة معادلات أينشتاين. النتيجة السلبية، التي يتم الحصول عليها بهذه الطريقة، ليست مقنعة بحد ذاتها ؛ الحل بالدرجة اللازمة من العمومية من شأنه أن يبطله، وفي نفس الوقت سيؤكد أي نتائج إيجابية تتعلق بالحل المحدد.
في ذلك الوقت، كان المؤشر الوحيد المعروف لوجود التفرد المادي في الحل العام مرتبطًا بشكل معادلات آينشتاين المكتوبة في إطار متزامن، أي في إطار يتم فيه مزامنة الوقت المناسب x 0 = t في جميع أنحاء الفضاء ؛ في هذا الإطار، يكون عنصر المسافة الفضائية dl منفصلاً عن الفاصل الزمني dt. معادلة اينشتاينمكتوبًا في إطار متزامن يعطي نتيجة يصبح فيها المحدد المتري g حتمًا صفرًا في وقت محدد بغض النظر عن أي افتراضات حول توزيع المادة.
ومع ذلك، فإن الجهود المبذولة لإيجاد التفرد المادي العام قد تم التخلي عنها بعد أن أصبح من الواضح أن التفرد المذكور أعلاه مرتبط بخاصية هندسية محددة للإطار المتزامن: عبور إحداثيات الخط الزمني. يحدث هذا التقاطع على بعض الأسطح الفوقية المحاطة وهي نظائر رباعية الأبعاد للأسطح الكاوية في البصريات الهندسية ؛ يصبح g صفرًا بالضبط عند هذا التقاطع. لذلك، على الرغم من أن هذه التفردية عامة، إلا أنها خيالية وليست مادية ؛ يختفي عند تغيير الإطار المرجعي. هذا، على ما يبدو، أقنع الباحثين بإجراء مزيد من التحقيقات على هذا المنوال.
مرت عدة سنوات قبل أن يتجلى الاهتمام بهذه المشكلة مرة أخرى عندما نشر بنروز بعام 1965 نظرياته التي ربطت بين وجود تفرُّد ذات طابع غير معروف مع بعض الافتراضات العامة جدًا التي لم يكن لديها أي شيء مشترك مع اختيار الإطار المرجعي. تم العثور على نظريات أخرى مماثلة في وقت لاحق من قبل هوكينج  وجيروتش  (انظر نظريات بينروز - هوكينغ التفرد ). أدى هذا إلى إحياء الاهتمام بالبحث عن حلول فردية.
محلول متجانس معمم
في مساحة متجانسة وخواص الخواص، يتم تحديد المقياس تمامًا، تاركًا مجانًا فقط علامة الانحناء. بافتراض تجانس المساحة فقط مع عدم وجود تناظر إضافي مثل الخواص، يترك قدرًا أكبر من الحرية في اختيار المقياس. يتعلق ما يلي بالجزء المكاني من المقياس في لحظة معينة من الوقت t بافتراض إطار متزامن بحيث يكون t هو نفس الوقت المتزامن للمساحة بأكملها.
تخمين بي كي إل
في عملهم عام 1970، ذكر بي كي إل أنه عندما يقترب المرء من التفرد، فإن المصطلحات التي تحتوي على مشتقات زمنية في معادلات أينشتاين تهيمن على تلك التي تحتوي على المشتقات المكانية. عُرف هذا منذ ذلك الحين باسم تخمين بي كي إل ويشير إلى أن المعادلات التفاضلية الجزئية لأينشتاين (PDE) يتم تقريبها جيدًا بواسطة المعادلات التفاضلية العادية (ODEs)، ومن هنا تصبح ديناميكيات النسبية العامة محلية ومتذبذبة بشكل فعال. يتم تقريب التطور الزمني للحقول في كل نقطة مكانية جيدًا بواسطة علم الكونيات المتجانسة في تصنيف بيانكي.
التخمين الضعيف : مع اقتراب التفرد، فإن المصطلحات التي تحتوي على مشتقات الفضاء في معادلات أينشتاين لا تكاد تذكر مقارنة بالمصطلحات التي تحتوي على مشتقات زمنية. وهكذا، عندما يتم الاقتراب من التفرد، تقترب معادلات أينشتاين من تلك التي تم العثور عليها عن طريق تعيين شروط مشتقة إلى الصفر. وهكذا، فإن التخمين الضعيف يقول أن معادلات أينشتاين يمكن تقريبها جيدًا من خلال المعادلات المقطوعة في جوار التفرد. لاحظ أن هذا لا يعني أن حلول معادلات الحركة الكاملة ستقترب من حلول المعادلات المقطوعة مع اقتراب التفرد. تم التقاط هذا الشرط الإضافي في الإصدار القوي على النحو التالي.
تخمين قوي : مع اقتراب التفرد، تقترب معادلات أينشتاين من نظريتها المقتطعة بالإضافة إلى أن حلول المعادلات الكاملة تقترب جيدًا من خلال حلول المعادلات المقطوعة.
في البداية، بدا أن تخمين بي كي إل يعتمد على التنسيق وغير قابل للتصديق إلى حد ما. فعلى سبيل المثال من بين الانتقادات العشرة لدراسات بي كي إل، يتضمن الاختيار غير المناسب وفقًا لبارو وتيبلير للإطار المتزامن كوسيلة لفصل مشتقات الزمان والمكان. تم إعادة صياغة حدسية بي كي إل في بعض الأحيان في الأدبيات كبيان أنه بالقرب من التفرد فقط مشتقات الوقت مهمة. مثل هذا البيان، المأخوذ بالقيمة الاسمية، خاطئ أو مضلل في أفضل الأحوال لأنه، كما هو موضح في تحليل بي كي إل نفسه، لا يمكن إهمال التدرجات الشبيهة بالفضاء للموتر المتري للحلول العامة لجاذبية أينشتاين الصافية في أبعاد الزمكان الأربعة، وفي تلعب الحقيقة دورًا مهمًا في ظهور النظام التذبذب. ومع ذلك، توجد إعادة صياغة لنظرية أينشتاين من حيث المتغيرات الجديدة التي تتضمن التدرجات ذات الصلة، على سبيل المثال في المتغيرات الشبيهة بأشتيكار، والتي يكون فيها بيان الدور المهيمن لمشتقات الوقت صحيحًا. صحيح أن المرء يحصل في كل نقطة مكانية على وصف فعال للتفرد من حيث النظام الديناميكي ذي الأبعاد المحدودة الموصوف بواسطة المعادلات التفاضلية العادية فيما يتعلق بالوقت، لكن التدرجات المكانية تدخل هذه المعادلات بشكل غير تافه.
أظهر التحليل اللاحق الذي أجراه عدد كبير من المؤلفين أن تخمين بي كي إل يمكن أن يكون دقيقًا والآن هناك مجموعة رائعة من الأدلة العددية والتحليلية التي تدعمها. من الإنصاف القول إننا ما زلنا بعيدين تمامًا عن إثبات التخمين القوي. ولكن كان هناك تقدم ملحوظ في نماذج أبسط. على وجه الخصوص، أظهر بيرجر وجارفينكل ومونكريف وإيزنبرج وويفر وآخرون أنه في فئة من النماذج، مع اقتراب التفرد، تقترب حلول معادلات مجال أينشتاين الكاملة من "مصطلح السرعة المسيطر" (المقطوع) التي تم الحصول عليها بواسطة إهمال المشتقات المكانية. أظهر أندرسون وريندال أنه بالنسبة للجاذبية المقترنة بحقل عددي عديم الكتلة أو سائل صلب، لكل حل للمعادلات المقطوعة يوجد حل كامل معادلات المجال التي تتقارب مع الحل المبتور مع اقتراب التفرد، حتى في حالة عدم وجود تماثلات. تم تعميم هذه النتائج لتشمل أيضًا حقول قياس النموذج p. في هذه النماذج المبتورة، تكون الديناميكيات أبسط، مما يسمح ببيان دقيق للتخمين يمكن إثباته. في الحالة العامة، يأتي أقوى دليل حتى الآن من التطورات العددية. بدأ بيرغر ومونكريف برنامجًا لتحليل التفردات الكونية العامة. بينما ركز العمل الأولي على حالات التناظر المخفّضة، مؤخرًا،  تطورًا عدديًا لأزمنة الزمكان مع عدم وجود تماثلات يظهر فيها سلوك مكسماستر مرة أخرى. أخيرًا، جاء دعم إضافي للتخمين من دراسة عددية لسلوك حقول الاختبار بالقرب من تفرد ثقب أسود شوارزشيلد.
حل كاسنر
يبدأ نهج بي كي إل للمساحات المتجانسة (على عكس الخواص) بتعميم حل معين دقيق مشتق من كاسنر لحقل في الفراغ، يكون فيه الفراغ متجانسًا وله مقياس إقليدي يعتمد على الوقت وفقًا لمقياس كاسنر.( dl هو عنصر الخط ؛ dx، dy، dz هي عمليات نزوح متناهية الصغر في الأبعاد المكانية الثلاثة، و t هي الفترة الزمنية التي مرت منذ بعض اللحظات الأولية t 0 = 0). هنا، p 1، p 2، p 3 هي أي ثلاثة أرقام تفي بشروط كاسنرالتاليةبسبب هذه العلاقات، يكون رقم واحد فقط من الأعداد الثلاثة مستقلًا ( معادلتان بثلاثة مجاهيل ). جميع الأرقام الثلاثة ليست هي نفسها أبدًا ؛ رقمان متماثلان فقط في مجموعات القيم و (0، 0، 1). في جميع الحالات الأخرى، تكون الأرقام مختلفة، رقم واحد سلبي والآخران موجبان. تم إثبات ذلك جزئيًا من خلال تربيع جانبي الشرط الأول eq. 3 و تطوير الساحة:
المصطلح يساوي 1 عن طريق الشرط الثاني eq. 3 وبالتالي يجب أن يكون المصطلح مع حاصل الضرب المختلط صفرًا. هذا ممكن إذا كانت واحدة على الأقل من p 1 و p 2 و p 3 سالبة.
إذا تم ترتيب الأرقام بترتيب تصاعدي، p 1 < p 2 < p 3، فإنها تتغير في الفترات (الشكل 4) مقياس كاسنر eq. 2 يتوافق مع مساحة مسطحة متجانسة ولكن متباينة الخواص حيث تزداد جميع الأحجام بمرور الوقت بطريقة تزيد فيها المسافات الخطية على محورين y و z بينما تقل المسافة على طول المحور x. تسبب اللحظة t = 0 تفردًا في الحل ؛ لا يمكن تجنب التفرد في المقياس عند t = 0 بواسطة أي تحويل للإطار المرجعي. عند التفرد، تذهب ثوابت موتر الانحناء رباعي الأبعاد إلى اللانهاية. الاستثناء هو الحالة p 1 = р 2 = 0، р 3 = 1 ؛ تتوافق هذه القيم مع الزمكان المسطح: التحويل t sh z = ζ، t ch z = τ يحول مقياس كاسنر ( eq. 2 ) إلى تحويل جاليليو.
معامل بي كي إل المتغير في التجربة بأرقام P1، P 2، P 3، وكمعامل واحد مستقل وحقيقي معامل u (ليفشيتز - خالاتنيكوف ) على النحو التالي:تبدو معلمات مؤشر كاسنر غامضة حتى يفكر المرء في القيدين على المؤشرات eq. 3 . يعمل كلا القيدان على إصلاح المقياس العام للمؤشرات بحيث يمكن أن تختلف نسبها فقط. من الطبيعي اختيار إحدى هذه النسب كمعامل جديد، والذي يمكن القيام به بست طرق مختلفة. انتقاء u = u 32 = p 3 / p 2، على سبيل المثال، من السهل التعبير عن جميع النسب الست الممكنة بدلالة ذلك. حذف p 3 = up 2 أولاً، ثم استخدام القيد الخطي لإزالة p 1 = 1 - p 2 - up 2 = 1 - (1 + u ) p 2، يقلل القيد التربيعي إلى معادلة من الدرجة الثانية في p 2.مع الجذور p 2 = 0 (واضح) و p 2 = (1 + u ) / (1 + u + u 2 )، ومن ثم يتم الحصول على p 1 و p 3 بالتعويض العكسي. يمكن للمرء تحديد ستة من هذه المعلمات u ab = p a / p b، والتي لها p c ≤ p b ≤ p a عندما ( c، b، a ) هي تبديل دوري لـ (1، 2، 3).
يتم الحصول على جميع القيم المختلفة لـ p 1 و p 2 و p 3 مرتبة على النحو الوارد أعلاه مع تشغيل u في النطاق u ≥ 1. يتم إحضار القيم u <1 في هذا النطاق وفقًا لـفي الحل المعمم، الشكل المقابل لـ eq. 2 ينطبق فقط على المقياس المقارب (المقياس القريب من التفرد t = 0)، على التوالي، على الشروط الرئيسية لتوسعه المتسلسل بواسطة قوى t. في الإطار المرجعي المتزامن يتم كتابته في شكل eq. 1 مع عنصر مسافة المسافةحيث v = l [ mn ]. من المناسب إدخال الكميات التالية تحدد المتجهات ثلاثية الأبعاد l، m، n الاتجاهات التي تتغير فيها مسافة الفضاء بمرور الوقت بواسطة قوانين القوة eq. 8 . هذه المتجهات، وكذلك الأرقام p l، p m، p n التي، كما كان من قبل، مرتبطة بـ eq. 3، هي وظائف إحداثيات الفضاء. القوى p l، p m، p n ليست مرتبة بترتيب تصاعدي، مع الاحتفاظ بالرموز p 1، p 2، p 3 للأرقام في eq. 5 التي تبقى مرتبة بترتيب تصاعدي. محدد مقياس eq. 7 هوحيث v = l [mn]. من الملائم إدخال الكميات التالية مقياس الفضاء في eq. 7 متباين الخواص لأن قوى t في eq. 8 لا يمكن أن يكون لها نفس القيم. عند الاقتراب من التفرد عند t = 0، تنخفض المسافات الخطية في كل عنصر فضائي في اتجاهين وتزداد في الاتجاه الثالث. حجم العنصر يتناسب مع t.
يتم تقديم مقياس كاسنر في معادلات أينشتاين عن طريق استبدال موتر القياس المتري γ αβ من eq. 7 دون تحديد مسبق، تبعية a، b، c من t :
حيث تشير النقطة الموجودة فوق الرمز إلى التمايز فيما يتعلق بالوقت. معادلة آينشتاين eq. 11 تأخذ الشكلجميع شروطه هي من الدرجة الثانية للكمية الكبيرة (عند t → 0) 1 / t. في معادلات أينشتاين، eq. 12، تظهر شروط هذا الطلب فقط من المصطلحات المتباينة زمنيًا. إذا لم تتضمن مكونات P αβ شروط ترتيب أعلى من اثنين، إذنحيث تحدد المؤشرات l، m، n مكونات الموتر في الاتجاهات l، m، n. هذه المعادلات مع eq. 14 أعط التعبيرات eq. 8 مع القوى التي ترضي eq. 3.
ومع ذلك، فإن وجود قوة سالبة واحدة بين القوى الثلاث p l، p m، p n ينتج عنه ظهور مصطلحات من P αβ بترتيب أكبر من t −2. إذا كانت القدرة السالبة هي p l ( p l = p 1 <0)، فإن P αβ تحتوي على دالة الإحداثيات λ و eq. 12 يصبحهنا، المصطلحات الثانية من الترتيب t −2 ( p m + p n - p l ) حيث p m + p n - p l = 1 + 2 | ص ل | > 1. لإزالة هذه الشروط واستعادة eq. 7، من الضروري فرض الشرط λ = 0 على وظائف الإحداثيات.
معادلات أينشتاين الثلاثة المتبقية eq. 13 تحتوي فقط على مشتقات الوقت من الدرجة الأولى للموتر المتري. إنها توفر ثلاث علاقات مستقلة عن الوقت يجب فرضها حسب الشروط الضرورية على وظائف التنسيق في eq. 7 . هذا، مع الشرط λ = 0، يجعل أربعة شروط. تربط هذه الشروط عشر وظائف إحداثيات مختلفة: ثلاثة مكونات لكل من المتجهات l، m، n، ووظيفة واحدة في قوى t (أي من الدوال p l، p m، p n، المرتبطة بالشروط eq. 3 ). عند حساب عدد الوظائف التعسفية جسديًا، يجب أن يؤخذ في الاعتبار أن النظام المتزامن المستخدم هنا يسمح بتحولات عشوائية مستقلة عن الوقت للإحداثيات الفضائية الثلاثة. لذلك، يحتوي الحل النهائي على إجمالي 10 - 4 - 3 = 3 وظائف اعتباطية فيزيائية وهي أقل بواحد مما هو مطلوب للحل العام في الفراغ.
لا يتم التقليل من درجة العمومية التي تم التوصل إليها في هذه المرحلة من خلال إدخال المادة ؛ تتم كتابة المادة في eq. 7 ويساهم بأربع وظائف إحداثية جديدة ضرورية لوصف التوزيع الأولي لكثافته والمكونات الثلاثة لسرعته. هذا يجعل من الممكن تحديد تطور المادة فقط من قوانين حركتها في مجال الجاذبية المعطى مسبقًا وهو المعادلات الهيدروديناميكية.حيث u i هي السرعة رباعية الأبعاد، ε و هي كثافات الطاقة وانتروبيا المادة (راجع و ؛  أيضًا ؛  للحصول على التفاصيل، انظر  ). بالنسبة للمعادلة الفائقة الصغر للحالة p = ε / 3 الانتروبيا σ ~ ε 1/4. المصطلحات الرئيسية في eq. 17 eq. 18 هي تلك التي تحتوي على مشتقات زمنية. من eq. 17 ومكونات الفضاء من eq. 18 واحد لديه
فينتج،حيث "const" هي كميات لا تعتمد على الوقت. بالإضافة إلى ذلك، من الهوية u i u i = 1 واحد لديه (لأن جميع المكونات المتغيرة لـ u α لها نفس الترتيب)
حيث u n هي مكون السرعة على طول اتجاه n المرتبط بأعلى قوة (موجبة) لـ t (بافتراض أن p n = p 3 ). من العلاقات المذكورة أعلاه، يتبع ذلكأويمكن استخدام المعادلات أعلاه لتأكيد أن مكونات المادة موتر الإجهاد-الطاقة-الزخم يقف في الجانب الأيمن من المعادلات
هي، في الواقع، إلى ترتيب أقل بمقدار 1 / t من الشروط الرئيسية في الجانب الأيسر. في المعادلات يؤدي وجود الأمر فقط إلى تغيير العلاقات المفروض على وظائف التنسيق المكونة لها.
حقيقة أن ε تصبح لانهائية بموجب القانون eq. 21 يؤكد أن في حل eq. 7 يتعامل المرء مع التفرد المادي عند أي قيم للقوى p 1، p 2، p 3 باستثناء (0، 0، 1). بالنسبة لهذه القيم الأخيرة، تكون التفرد غير مادية ويمكن إزالتها عن طريق تغيير الإطار المرجعي.
تنشأ التفرد الخيالي المطابق للقوى (0، 0، 1) نتيجة عبور إحداثيات الخط الزمني فوق بعض " السطح البؤري " ثنائي الأبعاد. كما هو يمكن دائمًا اختيار إطار مرجعي متزامن بطريقة تجعل هذا الخط الزمني الحتمي يحدث بالضبط على هذا السطح (بدلاً من سطح كاوي ثلاثي الأبعاد). لذلك، يجب أن يوجد حل بهذا الشكل المتزامن لكامل التفرد الخيالي للفضاء مع مجموعة كاملة من الوظائف التعسفية اللازمة للحل العام. بالقرب من النقطة t = 0، فإنه يسمح بالتمدد المنتظم بواسطة قوى t الكاملة. لتحليل هذه الحالة، انظر.
الوضع المتذبذب نحو التفرد
الحل العام بالتعريف مستقر تمامًا ؛ وإلا لما كان الكون موجودًا. أي اضطراب يعادل تغيير في الظروف الأولية في وقت ما ؛ نظرًا لأن الحل العام يسمح بشروط أولية عشوائية، فإن الاضطراب غير قادر على تغيير طابعه. بالنظر إلى هذه الزاوية، فإن الشروط الأربعة المفروضة على وظائف الإحداثيات في الحل eq. 7 أنواع مختلفة: ثلاثة شروط تنشأ من المعادلات = 0 هي "طبيعية" ؛ هم نتيجة لهيكل معادلات آينشتاين. ومع ذلك، فإن الشرط الإضافي λ = 0 الذي يتسبب في فقدان وظيفة مشتقة واحدة، هو من نوع مختلف تمامًا: عدم الاستقرار الناجم عن الاضطرابات يمكن أن يكسر هذا الشرط. يجب أن يؤدي عمل هذا الاضطراب إلى إحضار النموذج إلى وضع آخر أكثر عمومية. لا يمكن اعتبار الاضطراب صغيراً: الانتقال إلى وضع جديد يتجاوز نطاق الاضطرابات الصغيرة جدًا.
يحدد تحليل سلوك النموذج تحت تأثير الاضطراب، الذي أجرته بي كي إل، وضعًا تذبذبًا معقدًا عند الاقتراب من التفرد. لم يتمكنوا من إعطاء كل التفاصيل عن هذا الوضع في الإطار العريض للحالة العامة. ومع ذلك، أوضح بي كي إل أهم خصائص وخصائص الحل على نماذج محددة تسمح بدراسة تحليلية بعيدة المدى.
تعتمد هذه النماذج على مقياس فضاء متجانس من نوع معين. إن افتراض تجانس المساحة دون أي تناظر إضافي يترك حرية كبيرة في اختيار المقياس. يتم تصنيف جميع المساحات المتجانسة الممكنة (ولكن متباينة الخواص)، وفقًا لبيانكي، في عدة أنواع بيانكي (من النوع الأول إلى التاسع). (انظر أيضًا الحل المتجانس المعمم ) يبحث بي كي إل فقط في مساحات من أنواع بيانكي الثامن والتاسع.
إذا كان المقياس على شكل eq. 7 الشكل 7، لكل نوع من المساحات المتجانسة توجد علاقة وظيفية بين المتجهات المرجعية l و m و n وإحداثيات الفضاء. الشكل المحدد لهذه العلاقة ليس مهما. الحقيقة المهمة هي أنه بالنسبة للمسافات من النوع الثامن والتاسع، فإن الكميات λ و μ و ν eq. 10 عبارة عن ثوابت بينما جميع المنتجات "المختلطة" l rot m و l rot n و m rot l وما إلى ذلك. هي أصفار. بالنسبة للمسافات من النوع IX، فإن الكميات λ و μ و لها نفس العلامة ويمكن للمرء أن يكتب λ = μ = ν = 1 (تغيير الإشارة المتزامن للثوابت الثلاثة لا يغير شيئًا). بالنسبة للمسافات من النوع VIII، يكون للثوابتين إشارة معاكسة لعلامة الثابت الثالث ؛ يمكن للمرء أن يكتب، على سبيل المثال، λ = - 1، μ = ν = 1.
وبالتالي تقتصر دراسة تأثير الاضطراب على "وضع كاسنر" على دراسة تأثير المصطلحات المحتوية على λ في معادلات أينشتاين. تعد الفراغات من النوع الثامن والتاسع أكثر النماذج ملاءمة لمثل هذه الدراسة. نظرًا لأن جميع الكميات الثلاثة λ و μ و في أنواع بيانكي هذه تختلف عن الصفر، فإن الشرط λ = 0 لا ينطبق بغض النظر عن الاتجاه l، m، n له اعتماد سالب على وقت قانون الطاقة.
معادلات أينشتاين للنماذج الفضائية من النوع الثامن والنوع التاسع هي (المكونات المتبقية R_l^0 و R_m^0 و R_n^0 و R_l^m و R_l^n و R_m^n هي أصفار متطابقة). تحتوي هذه المعادلات على وظائف الوقت فقط ؛ هذا شرط يجب الوفاء به في جميع المساحات المتجانسة. هنا، eq. 22 eq. 23 دقيقة ولا تعتمد صحتها على مدى قرب المرء من التفرد عند t = 0.
مشتقات الوقت في eq. 22 eq. 23 تتخذ شكلًا أبسط إذا تم استبدال а، b، с باللوغاريتمات α، β، γ:استبدال المتغير t بـ وفقًا لما يلي:ثم (تشير الرموز الفرعية إلى التمايز بواسطة τ):جمع المعادلات معا eq. 26 والتعويض في الجانب الأيسر بالمجموع (α + β + γ) τ τ وفقًا eq. 27 الشكل 27، يحصل المرء على معادلة تحتوي فقط على المشتقات الأولى والتي تعد أول تكامل للنظام eq. 26 :تلعب هذه المعادلة دور الشرط الملزم المفروض على الحالة الأولية eq. 26 . وضع كاسنر eq. 8 هو حل eq. 26 عند تجاهل كل الحدود في الجانب الأيمن. لكن مثل هذا الموقف لا يمكن أن يستمر (عند t → 0) إلى أجل غير مسمى لأنه من بين هذه المصطلحات يوجد دائمًا بعض تلك التي تنمو. وبالتالي، إذا كانت القدرة السالبة في الوظيفة a ( t ) ( p l = p 1 )، فإن اضطراب وضع كاسنر سينشأ عن المصطلحات λ 2 a 4 ؛ ستنخفض بقية الشروط مع تناقص t. إذا تم ترك شروط النمو فقط في الجانب الأيمن من eq. 26، يحصل المرء على النظام:(قارن eq. 16 ؛ أدناه يتم استبداله λ 2 = 1). يجب أن يصف حل هذه المعادلات التطور المتري من الحالة الأولية، حيث يتم وصفه بواسطة eq. 8 مع مجموعة معينة من القوى (مع p l <0) ؛ دع p l = р 1، p m = р 2، p n = р 3 بحيثثمحيث Λ ثابت. الشروط الأولية eq. 29 يتم إعادة تعريف eq. 29المعادلات eq. 29 مندمجة بسهولة ؛ الحل الذي يفي بشرط eq. 32 هوحيث b 0 و c 0 هما ثابتان إضافيتان.
يمكن بسهولة ملاحظة أن تقارب الوظائف eq. 33 في t → 0 يساوي eq. 30 . التعبيرات المقاربة لهذه الوظائف والوظيفة t (τ) في τ → −∞ هي
يوضح ما سبق أن الاضطراب يعمل بطريقة تجعله يغير أحد أوضاع Kasner مع وضع Kasner آخر، وفي هذه العملية تنقلب القوة السلبية لـ t من الاتجاه l إلى الاتجاه m : إذا كانت قبل ذلك p l <0، فهي الآن كذلك ص ' م <0. أثناء هذا التغيير، تمر الوظيفة a ( t ) عبر الحد الأقصى و b ( t ) يمر عبر الحد الأدنى ؛ ب، الذي كان يتناقص من قبل، يزداد الآن: أ من الزيادة يصبح تناقصًا ؛ ونقص c ( t ) يتناقص أكثر. الاضطراب نفسه (λ 2 a 4α في eq. 29 )، والذي كان يتزايد من قبل، يبدأ الآن في الانخفاض ويموت. يؤدي التطور الإضافي بالمثل إلى زيادة الاضطراب من الشروط مع μ 2 (بدلاً من λ 2 ) في eq. 26، التغيير التالي لوضع كاسنر، وهكذا.
يطلق بي كي إل على هذا الانقلاب في القوة السلبية بين الاتجاهات حقبة كاسنر. إن المفتاح لفهم طبيعة التطور المتري عند الاقتراب من التفرد هو بالضبط عملية تناوب حقبة كاسنر مع تقليب القوى p l، p m، p n بواسطة القاعدة eq. 37.
التناوب المتتالية eq. 37 مع قلب القوة السالبة p 1 بين الاتجاهين l و m (فترة كاسنر) يستمر باستنفاد الجزء الكامل من u الأولي حتى اللحظة التي تكون فيها u <1. تتحول القيمة u <1 إلى u > 1 وفقًا لـ eq. 6 ؛ في هذه اللحظة القوة السالبة هي p l أو p m بينما p n تصبح الأصغر من رقمين موجبين ( p n = p 2 ). السلسلة التالية من عهود كاسنر تقلب القوة السالبة بين الاتجاهين n و l أو بين n و m. عند القيمة الأولية التعسفية ( غير المنطقية ) لـ u تستمر عملية التناوب هذه غير محدودة.
في الحل الدقيق لمعادلات أينشتاين، تفقد القوى p l، p m، p n معناها الأصلي الدقيق. هذا الظرف يقدم بعض "غموض" في تحديد هذه الأرقام (ومعهم، إلى المعلمة ش) التي، وإن كانت صغيرة، يجعل معنى تحليل أي (على سبيل المثال، محددة عقلانية ) قيم ش. لذلك، فقط هذه القوانين التي تهم التعسفي القيم غير المنطقية من ش لها أي معنى خاص.
الفترات الأكبر التي تتأرجح فيها مقاييس المسافات الفضائية على محورين بينما تتناقص المسافات على طول المحور الثالث بشكل رتيب، تسمى العصور ؛ تقل الأحجام بقانون قريب من ~ ر. عند الانتقال من عصر إلى آخر، ينقلب الاتجاه الذي تتناقص فيه المسافات بشكل رتيب من محور إلى آخر. يكتسب ترتيب هذه التحولات الصفة المقاربة لعملية عشوائية. نفس الترتيب العشوائي هو أيضًا سمة من سمات تناوب أطوال العصور المتتالية (حسب طول العصر، تفهم بي كي إل عدد حقبة كاسنر التي تحتوي عليها العصر، وليس الفاصل الزمني).
لكل حقبة تتوافق مع سلسلة من قيم المعامل u بدءًا من الأعظم، ومن خلال القيم  - 1،  - 2، ...، الوصول إلى الأصغر،  <1. ثمأي أن k ( s) = [ ] حيث تعني الأقواس الجزء الكامل من القيمة. الرقم k ( s ) هو طول العصر، ويقاس بعدد فترات كاسنر التي تحتوي عليها تلك الحقبة للعصر القادم.في السلسلة اللامحدودة من الأرقام u، التي تتكون من هذه القواعد، توجد قيم صغيرة متناهية الصغر (ولكن ليست صفرية أبدًا) x ( s ) وأطوال كبيرة بشكل غير محدود بالمقابل k ( s ).
تصبح سلسلة العصر أكثر كثافة عند الاقتراب من t = 0. ومع ذلك، فإن المتغير الطبيعي لوصف المسار الزمني لهذا التطور ليس الوقت العالمي t، ولكن لوغاريتمه، ln t، والذي من خلاله يتم تمديد العملية الكاملة للوصول إلى التفرد إلى −∞.
وأخيراًما سبق حلول لمعادلات أينشتاين في الفراغ. أما بالنسبة لصيغة كاسنر الخالصة، فإن الأمر لا يغير الخصائص النوعية لهذا الحل ويمكن كتابته فيه بغض النظر عن رد فعله على الميدان. ومع ذلك، إذا فعل المرء هذا للنموذج قيد المناقشة، والذي يُفهم على أنه حل دقيق لمعادلات أينشتاين، فإن الصورة الناتجة لتطور المادة لن يكون لها طابع عام وستكون محددة للتماثل العالي الوشيك للنموذج الحالي. رياضياً، ترتبط هذه الخصوصية بحقيقة أنه بالنسبة للهندسة الفضائية المتجانسة التي تمت مناقشتها هنا، فإن مكونات موتر Ricci R_\alpha^0 هي أصفار متطابقة، وبالتالي فإن معادلات أينشتاين لن تسمح بحركة المادة (التي تعطي إجهادًا غير صفريًا لمكونات موتر الطاقة والزخم T_\alpha^0 ). بمعنى آخر، يجب أن يكون الإطار المتزامن أيضًا متحركًا بشكل مشترك فيما يتعلق بالمادة. إذا كان أحد البدائل في eq. 19 u α = 0، u 0 = 1، يصبح ε ~ ( abc ) −4/3 ~ t −4/3.
يتم تجنب هذه الصعوبة إذا قام المرء بتضمين المصطلحات الرئيسية للمقياس المحدد (عند t → 0) فقط في النموذج وكتب فيه مسألة بتوزيع أولي تعسفي للكثافات والسرعات. ثم يتم تحديد مسار تطور المادة من خلال قوانينها العامة للحركة eq. 17 eq. 18 ينتج عنه eq. 21 . خلال كل حقبة كاسنر، تزداد الكثافة حسب القانونحيث p 3، على النحو الوارد أعلاه، أكبر الأعداد ص 1، ص 2، ص 3. تزداد كثافة المادة بشكل رتيب خلال كل تطور نحو التفرد.
تطور متري
تتوافق قيم u الكبيرة جدًا مع قوى كاسنرالتي هي قريبة من القيم (0، 0، 1). قيمتان قريبتان من الصفر، قريبتان أيضًا من بعضهما البعض، وبالتالي فإن التغييرات في نوعين من الأنواع الثلاثة "للاضطرابات" (المصطلحات مع λ و μ و في الجوانب اليمنى من eq. 26 ) هي أيضا متشابهة جدا. إذا كانت هذه المصطلحات في بداية مثل هذا العصر الطويل قريبة جدًا من القيم المطلقة في لحظة الانتقال بين حقبتين من عهود كاسنر (أو تم إجراؤها بشكل مصطنع من خلال تعيين الشروط الأولية)، فستظل قريبة خلال الجزء الأكبر من طول الحقبة. في هذه الحالة (وتسمى حالة التذبذبات الصغيرة)، يصبح التحليل القائم على عمل نوع واحد من الاضطرابات غير صحيح ؛ يجب على المرء أن يأخذ في الاعتبار التأثير المتزامن لنوعين من الاضطراب.
اثنان من الاضطرابات
ضع في اعتبارك حقبة طويلة، حيث خضعت اثنتان من الوظائف أ، ب، ج (فليكن أ و ب ) لتذبذبات صغيرة بينما تتناقص الوظيفة الثالثة (ج ) بشكل رتيب. سرعان ما تصبح الوظيفة الأخيرة صغيرة ؛ ضع في اعتبارك الحل فقط في المنطقة حيث يمكن للمرء أن يتجاهل c مقارنةً بـ a و b. يتم إجراء الحسابات أولاً للنموذج الفضائي من النوع IX عن طريق الاستبدال وفقًا لذلك λ = μ = ν = 1.
حيث α 0، ξ 0 هي ثوابت موجبة، و 0 هي الحد الأعلى لعصر المتغير τ. من الملائم تقديم متغير جديد (بدلاً من τ)ثمالمعادلات eq. 45 eq. 46 يتم تحويلها عن طريق إدخال المتغير χ = α - β:انخفاض τ من τ 0 إلى −∞ يتوافق مع انخفاض ξ من ξ 0 إلى 0. يتم الحصول على العصر الطويل مع إغلاق a و b (أي مع صغير)، المدروس هنا، إذا كانت ξ 0 كمية كبيرة جدًا. في الواقع، بشكل عام، حل eq. 49 في أول تقدير تقريبي بمقدار 1 / هوحيث A ثابت ؛ المضاعف يجعل χ كمية صغيرة بحيث يمكن استبدالها eq. 49 بواسطة sh 2χ ≈ 2χ.
من eq. 50 واحد يحصل
بعد تحديد α و من eq. 48 eq. 51 وتوسيع ه α و β الإلكترونية في سلسلة وفقا لتقريب أعلاه، واحد يحصل أخيرا: يتم الحصول على العلاقة بين المتغير ξ والوقت t من خلال تكامل التعريف dt = abc d τ الذي يعطييجب أن يكون الثابت c 0 (قيمة с عند ξ = ξ 0 ) الآن c 0 \ll α 0 ·
دعونا ننظر الآن في المجال ξ \ll 1. هنا المصطلحات الرئيسية في حل eq. 49 هم:
حيث k ثابت في النطاق - 1 < ك <1 ؛ يضمن هذا الشرط أن المصطلح الأخير في eq. 49 صغير (يحتوي sh 2χ على ξ 2 ك و ξ −2 ك ). ثم، بعد تحديد α و و t، يحصل المرء علىهذا مرة أخرى هو وضع كاسنر مع وجود قوة t السالبة في الوظيفة c ( t ). هذه النتائج تصور تطورًا مشابهًا نوعيًا لذلك الموصوف أعلاه. خلال فترة زمنية طويلة تتوافق مع قيمة ξ متناقصة كبيرة، تتأرجح الوظيفتان a و b، وتبقى قريبة من حيث الحجم ؛ في نفس الوقت، كلتا الوظيفتين أ و ب ببطء  ينقص. فترة التذبذب ثابتة بالمتغير ξ : Δξ = 2π (أو، وهي نفسها، مع فترة ثابتة حسب الوقت اللوغاريتمي: Δ ln t = 2π Α 2 ). الوظيفة الثالثة، c، تتناقص بشكل رتيب بقانون قريب من c = c 0 t / t 0.
يستمر هذا التطور حتى ξ ≈1 والصيغ eq. 52 eq. 53 لم تعد قابلة للتطبيق. تقابل مدتها الزمنية تغيير t من t 0 إلى القيمة t 1، المرتبطة بـ ξ 0 وفقًا لـيمكن تقديم العلاقة بين ξ و t خلال هذا الوقت في النموذجبعد ذلك، كما رأينا من eq. 55، تبدأ دالة التناقص c في الزيادة بينما تبدأ الدالتان a و b في الانخفاض. تستمر حقبة كاسنر هذه حتى الشروط ج 2 / أ 2 ب 2 في eq. 22 يصبح eq. 22 ~ t 2 وتبدأ سلسلة التذبذبات التالية.
يتم الحصول على قانون تغيير الكثافة خلال الحقبة الطويلة قيد المناقشة عن طريق استبدال eq. 52 في eq. 20 :عندما تتغير من ξ 0 إلى ξ ≈1، تزداد الكثافة \xi^2_0 مرات.
يجب التأكيد على أنه على الرغم من أن الوظيفة c ( t ) تتغير بواسطة قانون، بالقرب من c ~ t، فإن المقياس المتري eq. 52 لا يتوافق مع مقياس كاسنر بقوى (0، 0، 1). الأخير يتوافق مع الحل الدقيق الذي وجده Taub والذي يسمح به المعادلات. 26 - 27 وفي أيحيث p، δ 1، δ 2 ثابتة. في المنطقة المقاربة τ → −∞، يمكن للمرء الحصول من هنا a = b = مقدار ثابت، c = مقدار ثابت. ر بعد الاستبدال е рτ = t. في هذا المقياس، تكون التفرد عند t = 0 غير مادية.
دعونا الآن نصف الدراسة المماثلة لنموذج النوع الثامن، مع استبدال المعادلات. eqs. 26 - 28 λ = -1، μ = ν = 1. إذا خلال حقبة طويلة، وظيفة خفض مفردة النغمة هي، لا شيء يتغير في التحليل السابق: تجاهل 2 على الجانب الأيمن من المعادلات 26 و 28، ويعود إلى نفس المعادلات 49 و 50 (مع تدوين تغير). ومع ذلك، تحدث بعض التغييرات إذا كانت الوظيفة المتناقصة بشكل رتيب هي b أو c ؛ فليكن c. كما كان من قبل، لدى المرء معادلة 49 بنفس الرموز، وبالتالي، التعابير السابقة eq. 52 للوظائف a (ξ) و b (ξ)، ولكن تم استبدال 50
يصبح المصطلح الرئيسي بشكل عام ξ الآن
لذلكقيمة c كدالة للوقت t مرة أخرى c = c 0 t / t 0 لكن اعتماد الوقت على ξ يتغير. يعتمد طول الحقبة الطويلة على ξ 0 وفقًا لـ من ناحية أخرى، تحدد القيمة ξ 0 عدد التذبذبات للوظائف a و b خلال حقبة (تساوي ξ 0 / 2π). بالنظر إلى طول العصر في الوقت اللوغاريتمي (أي مع النسبة المعطاة t 0 / t 1 )، سيكون عدد التذبذبات للنوع الثامن، بشكل عام، أقل من النوع IX. بالنسبة لفترة التذبذبات، نحصل الآن على Δ ln t = πξ / 2 ؛ على عكس النوع التاسع، فإن الفترة ليست ثابتة طوال العصر الطويل، وتتناقص ببطء مع ξ.
مجال الوقت الصغير
تنتهك العصور الطويلة المسار "المنتظم" للتطور مما يجعل من الصعب دراسة تطور الفترات الزمنية التي تمتد عبر عدة عصور. ومع ذلك، يمكن إثبات أن مثل هذه الحالات "غير الطبيعية" تظهر في التطور التلقائي للنموذج إلى نقطة مفردة في الأوقات الصغيرة المتقاربة t على مسافات كبيرة بما يكفي من نقطة البداية ذات الظروف الأولية التعسفية. حتى في العصور الطويلة، تظل كلتا الوظيفتين المتذبذبتين أثناء التحولات بين عهود كاسنر مختلفة تمامًا لدرجة أن الانتقال يحدث تحت تأثير اضطراب واحد فقط. جميع النتائج في هذا القسم تتعلق بنفس القدر بنماذج من النوعين الثامن والتاسع.
خلال كل حقبة كاسنر abc = Λ t، أي α + β + γ = ln Λ + ln t. عند التغيير من حقبة واحدة (بقيمة معينة للمعامل u ) إلى الحقبة التالية، يتم ضرب الثابت Λ بـ 1 + 2 p 1 = (1 - u + u 2 ) / (1 + u + u 2 ) < 1. وبالتالي يحدث انخفاض منهجي في. لكن من الضروري أن تكون القيمة المتوسطة (فيما يتعلق بأطوال k للعصور) للتغير الكامل لـ ln خلال حقبة ما محدودة. في الواقع، يمكن أن يكون الاختلاف في متوسط القيمة ناتجًا فقط عن زيادة سريعة جدًا في هذا التباين مع زيادة k. للحصول على قيمة كبيرة للمعامل u، ln (1 + 2 p 1 ) ≈ −2 / u. بالنسبة إلى k كبير، تكون القيمة القصوى u (max) = k + x ≈ k. ومن ثم فإن الاختلاف الكامل لـ ln Λ خلال حقبة ما يتم الحصول عليه من خلال مجموع النموذج
فقط مع المصطلحات التي تتوافق مع القيم الكبيرة لـ u مكتوبة. عندما يزيد k، يزداد هذا المجموع بمقدار ln k. لكن احتمالية ظهور حقبة ذات طول كبير k تقل بمقدار 1 / k 2 وفقًا لـ eq. 76 ؛ ومن ثم فإن القيمة المتوسطة للمبلغ أعلاه محدودة. وبالتالي، فإن الاختلاف المنهجي للكمية ln Λ على مدى عدد كبير من العصور سيكون متناسبًا مع هذا الرقم. ولكن يتم رؤيته في eq. 85 أنه مع t → 0، يزيد الرقم s فقط مثل ln | ln t |. وبالتالي في الحد المقارب لـ t صغير بشكل تعسفي، يمكن بالفعل إهمال المصطلح ln Λ بالمقارنة مع ln t. في هذا التقريب
حيث Ω تشير إلى "الوقت اللوغاريتمي"ويمكن اعتبار عملية تحولات الحقبة على أنها سلسلة من الومضات الزمنية القصيرة. تخضع مقادير الحد الأقصى لوظائف المقياس المتذبذب أيضًا لتغير منهجي. من eq. 39 أجل u ≫ 1 يتبع ذلك. بالطريقة نفسها التي تم إجراؤها أعلاه للكمية ln Λ، يمكن للمرء بالتالي أن يستنتج أن متوسط الانخفاض في ارتفاع الحد الأقصى خلال حقبة ما محدود وأن الانخفاض الكلي على مدى عدد كبير من العصور يزداد مع t → 0 فقط مثل ln Ω. في الوقت نفسه، يتم تخفيض الحد الأدنى، وبنفس الطريقة، زيادة سعة التذبذبات، ( eq. 77 ) بما يتناسب مع Ω. بالتوافق مع التقريب المعتمد، يتم إهمال خفض الحد الأقصى بالمقارنة مع زيادة السعات بحيث تكون α max = 0، β max = 0، γ max = 0 للقيم القصوى لجميع الوظائف المتذبذبة والكميات α،، γ قم بتشغيل فقط من خلال القيم السالبة التي ترتبط ببعضها البعض في كل لحظة من الوقت بواسطة العلاقة eq. 63 . بالنظر إلى مثل هذا التغيير الفوري للعصور، يتم تجاهل الفترات الانتقالية على أنها صغيرة مقارنة بطول الحقبة ؛ تم استيفاء هذا الشرط في الواقع. يتطلب استبدال α و β و الحد الأقصى بأصفار أن تكون الكميات ln (| p 1 | Λ) صغيرة بالمقارنة مع اتساع تذبذبات الوظائف المعنية. كما ذكر أعلاه، أثناء الانتقال بين العصور | ص 1 | يمكن أن تصبح القيم صغيرة جدًا بينما لا يرتبط حجمها واحتمال حدوثها بمدى التذبذب في اللحظة المعنية. لذلك، من حيث المبدأ، من الممكن الوصول إلى هذا الحجم الصغير | ص 1 | القيم التي تم انتهاك الشرط أعلاه (صفر حد أقصى). يمكن أن يؤدي هذا الانخفاض الحاد في α max إلى مواقف خاصة مختلفة يكون فيها الانتقال بين فترات كاسنر بواسطة القاعدة eq. 37 غير صحيح (بما في ذلك الحالات المذكورة أعلاه ). هذه المواقف "الخطيرة" يمكن أن تخرق القوانين المستخدمة في التحليل الإحصائي أدناه. ومع ذلك، وكما ذكرنا، فإن احتمال مثل هذه الانحرافات يتقارب بشكل مقارب إلى الصفر ؛ سيتم مناقشة هذه المسألة أدناه.
ضع في اعتبارك حقبة تحتوي على فترات k كاسنر مع وجود معلمة u تعمل عبر القيمولنفترض أن α و هما الوظيفتان المتذبذبتان خلال هذا العصر (الشكل 4).
اللحظات الأولية لفترات كاسنر ذات المعلمات u n هي n. في كل لحظة أولية، تكون إحدى القيمتين α أو صفرًا، بينما تحتوي الأخرى على حد أدنى. القيم α أو في الحدود الدنيا المتتالية، أي في اللحظات n (لا يميز الحدود الدنيا α و β). يمكن للقيم δ n التي تقيس تلك الحدود الدنيا في وحدات n ذات الصلة أن تعمل بين 0 و 1. الوظيفة γ تتناقص بشكل رتيب خلال هذا العصر ؛ حسب eq. 63 قيمتها باللحظة Ω n هيخلال الحقبة التي تبدأ من اللحظة Ω n وتنتهي في اللحظة Ω n +1 تزيد إحدى الوظائف α أو β من −δ n Ω n إلى الصفر بينما تقل الأخرى من 0 إلى −δ n +1 Ω n +1 بالخطي القوانين، على التوالي:
وطول العصر اللوغاريتمي حيث، باختصار، f ( u ) = 1 + u + u 2. يتم الحصول على مجموع أطوال الحقبة n بواسطة الصيغة
يمكن رؤيته من eq. 68 أن | α n + 1 | > | α n |، أي، تزداد اتساع التذبذب للوظائف α و خلال العصر بأكمله على الرغم من أن العوامل δ n قد تكون صغيرة. إذا كان الحد الأدنى في بداية العصر عميقًا، فلن يصبح الحد الأدنى التالي أقل ضحالة ؛ بمعنى آخر، البقايا | α - β | في لحظة الانتقال بين عهود كاسنر لا تزال كبيرة. لا يعتمد هذا التأكيد على طول العصر k لأن الانتقالات بين العصور يتم تحديدها من خلال القاعدة المشتركة eq. 37 أيضا لعصور طويلة.
سعة التذبذب الأخيرة للوظائف α أو في عصر معين مرتبطة بسعة التذبذب الأول بالعلاقة | α k −1 | = | α 0 | ( ك + س ) / (1 + س ). حتى في ك الصورة صغيرة مثل عدة وحدات س يمكن تجاهلها في المقارنة إلى k بحيث زيادة α وسعة التذبذب بيتا تصبح متناسبة مع طول الحقبة. لوظائف 'وه' = α و ب ه = β يعني ذلك أنه إذا كانت السعة من التذبذبات في بداية عصر كان A 0، في نهاية هذا العصر السعة ستصبح.
كما يزداد طول فترات كاسنر (في الوقت اللوغاريتمي) داخل عصر معين ؛ من السهل حساب من eq. 69 أن Δ ن +1 > Δ ن. الطول الإجمالي للعصر هو(المصطلح مع 1 / x ينشأ من الحقبة الأخيرة، k -th، التي يكون طولها كبيرًا عند x الصغيرة ؛ راجع. الصورة 2). لحظة Ω ن عندما ك -th الحقبة من نهايات عصر معين هو في نفس الوقت لحظة Ω '0 من بداية الحقبة المقبلة.
في حقبة كاسنر الأولى من العصر الجديد، كانت الدالة γ هي الأولى التي ارتفعت من أدنى قيمة γ ك = - Ω ك (1 - δ ك ) التي وصلت إليها في العصر السابق ؛ تلعب هذه القيمة دور سعة البداية δ ' 0 Ω' 0 لسلسلة التذبذبات الجديدة. من السهل الحصول على ما يلي:من الواضح أن δ ' 0 Ω' 0 > 0 Ω 0. حتى في ك يست كبيرة جدا في زيادة السعة مهمة جدا: وظيفة ج = ه γ يبدأ ذبذبة من السعة. يتم ترك المسألة المتعلقة بالحالات "الخطيرة" المذكورة أعلاه من الانخفاض الحاد في حد التذبذب العلوي جانبًا في الوقت الحالي.
حسب eq. 40 الزيادة في كثافة المادة خلال العهود الأولى (ك - 1) تعطى بواسطة الصيغة
حتى آخر k لعصر معين، في u = x <1 أعظم قوة هو P 2 (x) (لا P 3 (x)). لذلك، من أجل زيادة الكثافة خلال العصر بأكمله، يحصل المرءلذلك، حتى مع عدم وجود قيم k كبيرة جدًا،. خلال العصر التالي (بطول k ') ستزداد الكثافة بشكل أسرع بسبب زيادة سعة البداية A 0 ': ، إلخ. توضح هذه الصيغ الزيادة الحادة في كثافة المادة.
التحليل الإحصائي قرب التفرد
يكتسب تسلسل أطوال الحقبة k ( s )، المقاسة بعدد فترات كاسنر الموجودة فيها، طابع عملية عشوائية مقاربًا. الأمر نفسه يتعلق أيضًا بتسلسل تقاطعات أزواج الوظائف المتذبذبة عند الانتقال من عصر إلى آخر (يعتمد ذلك على ما إذا كانت الأرقام k ( s ) زوجية أو فردية). مصدر هذه العشوائية هو eqs. 41 - 42 التي بموجبها يتم تحديد الانتقال من عصر إلى آخر في تسلسل عدد لا نهائي من قيم u. تنص هذه القاعدة، بعبارة أخرى، على أنه إذا بدأ التسلسل اللانهائي بأكمله بقيمة أولية معينة ، ثم أطوال العصور ك (0)، ك (1)، ...، هي الأرقام في توسيع الكسر المستمر. يتوافق هذا التوسيع مع تحويل الفاصل الزمني [0، 1] إلى نفسه بواسطة الصيغة Tx = {1 / x }، أي x s +1 = {1 / x s }. ينتمي هذا التحول إلى ما يسمى بتحولات التوسع للفاصل الزمني [0، 1]، أي التحويلات x → f ( x ) مع | و ′ ( س ) | > 1. تمتلك هذه التحولات خاصية عدم الاستقرار الأسي: إذا أخذنا في البداية نقطتين قريبتين، فإن المسافة المتبادلة بينهما تزداد بشكل كبير في ظل تكرارات التحولات. من المعروف أن عدم الاستقرار الأسي يؤدي إلى ظهور خصائص عشوائية قوية.
من الممكن التحول إلى وصف احتمالي لمثل هذا التسلسل من خلال عدم مراعاة قيمة أولية محددة x (0) ولكن القيم x (0) = x الموزعة في الفترة من 0 إلى 1 وفقًا لقانون توزيع احتمالي معين ث 0 ( x ). ثم قيم x (s) التي تنتهي كل عصر سيكون لها أيضًا توزيعات تتبع قوانين معينة w s (x). لنفترض أن w s (x) dx هو احتمال أن ينتهي العصر s بالقيمة الكذب في فترة زمنية محددة dx.
حيث λ a، μ a، s 1، s 2 هي وظائف تعسفية لجميع الإحداثيات الثلاثة x، y، z، المرتبطة بشروط أخرى إذا كان التوزيع w s ( x ) يميل إلى زيادة s إلى توزيع محدد ثابت (مستقل عن s ) w ( x )، فيجب أن يفي الأخير بمعادلة تم الحصول عليها من eq. 73c بإسقاط مؤشرات الدوالين w s −1 ( x ) و w s ( x ). هذه المعادلة لها حل(تم تطبيعه إلى الوحدة ويؤخذ إلى الدرجة الأولى من x ).
من أجل أن يكون للعصر s طولًا k، يجب أن ينتهي العصر السابق برقم x في الفاصل الزمني بين 1 / ( k + 1) و 1 / k. لذلك، فإن احتمال أن يكون للعصر طول ك يساوي (في الحد الثابت)عند قيم كبيرة لـ kفي ربط الخصائص الإحصائية للنموذج الكوني مع ارجوديك خصائص التحول س ق +1 = {1 / س {{sub|ق}}} يجب ذكر نقطة مهمة. في تسلسل لا نهائي من الأرقام x التي تم إنشاؤها وفقًا لهذه القاعدة، ستتم ملاحظة قيم x الصغيرة (ولكن لا تتلاشى أبدًا) بشكل تعسفي مقابل أطوال كبيرة بشكل تعسفي k. يمكن لمثل هذه الحالات (بأي حال من الأحوال بالضرورة!) أن تؤدي إلى بعض المواقف المحددة عندما تتبادل فكرة العصور، كما هو الحال في تسلسل عهود كاسنر، بعضها البعض وفقًا للقاعدة eq. 37، يفقد معناه (على الرغم من أن الوضع التذبذب لتطور النموذج لا يزال قائماً). يمكن أن يتجلى مثل هذا الوضع "الشاذ"، على سبيل المثال، في ضرورة الاحتفاظ بالجانب الأيمن من eq. 26 مصطلحًا ليس فقط مع إحدى الوظائف أ، ب، ج (على سبيل المثال، أ 4 )، كما هو الحال في التبادل "العادي" لعصر كاسنر، ولكن في نفس الوقت مع اثنين منهم (على سبيل المثال، أ 4، ب 4، أ 2 ب 2 ).
عند الخروج من سلسلة "شاذة" من التذبذبات، يتم استعادة سلسلة من العصور المنتظمة. التحليل الإحصائي لسلوك النموذج الذي يعتمد بالكامل على التكرارات المنتظمة للتحولات eq. 42 من خلال نظرية مهمة: يميل احتمال ظهور الحالات الشاذة بشكل مقارب إلى الصفر حيث أن عدد التكرارات s → ∞ (أي الوقت t → 0) الذي تم إثباته في نهاية هذا القسم. تعود صحة هذا التأكيد إلى حد كبير إلى المعدل السريع جدًا للزيادة في اتساع التذبذب خلال كل عصر وخاصة في الانتقال من عصر إلى آخر.
إن عملية استرخاء النموذج الكوني إلى النظام الإحصائي "الثابت" (مع بدء t → 0 من "لحظة أولية" معينة) أقل إثارة للاهتمام، مع ذلك، من خصائص هذا النظام نفسه مع أخذ الاعتبار الواجب للخرسانة. قوانين تغير الخصائص الفيزيائية للنموذج خلال العصور المتعاقبة.
يتم الحصول على فكرة عن المعدل الذي يتم به تعيين التوزيع الثابت من المثال التالي. دع القيم الأولية x (0) توزع في فاصل زمني ضيق للعرض δ x (0) حول بعض الأرقام المحددة. eq. 73c علاقة التكرار. eq. 73c (أو مباشرة من التوسع eq. 73a ) من السهل استنتاج أن عروض التوزيعات w s ( x ) (حول أرقام محددة أخرى) ستكون عندئذٍ مساوية لـ(هذا التعبير صالح فقط طالما أنه يحدد الكميات δ x (s) 1).
القيمة المتوسطة \bar k، المحسوبة من هذا التوزيع، تتباعد لوغاريتميًا. للحصول على تسلسل، مقطوع عند عدد كبير جدًا، ولكنه لا يزال محدودًا، N، واحد لديه. فائدة المتوسط في هذه الحالة محدودة للغاية بسبب عدم استقراره: بسبب الانخفاض البطيء لـ W ( k )، تتباعد التقلبات في k أسرع من متوسطها. السمة الأكثر ملاءمة لهذا التسلسل هي احتمال أن ينتمي الرقم المختار عشوائيًا منه إلى عصر بطول K حيث يكون K كبيرًا. هذا الاحتمال هو ln K / ln N. إنه صغير إذا. في هذا الصدد، يمكن للمرء أن يقول إن رقمًا تم اختياره عشوائيًا من تسلسل معين ينتمي إلى عصر طويل مع احتمال كبير.
من الملائم متوسط التعبيرات التي تعتمد في وقت واحد على k ( s ) و x ( s ). نظرًا لأن هذه الكميات مشتقة من نفس الكمية x ( s –1) (التي تنتهي العصر السابق)، وفقًا للصيغة k ( s ) + x ( s ) = 1 / x ( s –1)، فإن إحصائهما لا يمكن اعتبار التوزيعات مستقلة. يمكن الحصول على التوزيع المشترك W s ( k، x ) dx لكلا الكميتين من التوزيع w s –1 ( x ) dx من خلال إجراء الاستبدال في الأخير x → 1 / ( x + k ). بمعنى آخر، يتم إعطاء الدالة W s ( k، x ) من خلال التعبير ذاته الموجود أسفل علامة الجمع في الجانب الأيمن من eq. 73c. في الحد الثابت، مع أخذ w من eq. 74، يتم الحصول على جمع هذا التوزيع على k يعيدنا إلى eq. 74، والتكامل فيما يتعلق dx إلى eq. 75.
الصيغ المتكررة تحديد الانتقالات بين العصور هي إعادة مكتوبة مع مؤشر الصورة ترقيم العصور المتعاقبة (وليس العهود كاسنر في حقبة معينة!)، ابتداء من عصر بعض (ق = 0) تعرف بأنها الأولي. Ω ( s ) و ε ( s ) هي، على التوالي، اللحظة الأولية وكثافة المادة الأولية في العصر s ؛ δ ( s ) Ω ( s ) هي سعة التذبذب الأولية لهذا الزوج من الوظائف α، β،، والتي تتأرجح في عصر معين: k ( s ) هو طول العصر s، و x ( s ) يحدد طول (عدد عهود كاسنر) للعصر التالي وفقًا لـ k ( s +1) = [1 / x ( s ) ]. وفقًا لـ eqs. 71 - 73.تم تقديم (ξ ( s ) في eq. 77 لاستخدامها لاحقًا).
الكميات δ ( s ) لها توزيع إحصائي ثابت ثابت P (δ) ومستقرة (تقلبات نسبية صغيرة) تعني القيمة. لتحديدها، (مع التحفظات اللازمة) طريقة تقريبية تعتمد على افتراض الاستقلال الإحصائي للكمية العشوائية δ ( s ) والكميات العشوائية k ( s )، x ( s ). بالنسبة للوظيفة P (δ)، تم إعداد معادلة متكاملة تعبر عن حقيقة أن الكميات δ ( s +1) و δ ( s ) مترابطة بواسطة العلاقة eq. 78 لها نفس التوزيع ؛ تم حل هذه المعادلة عدديا. في عمل لاحق، لخلاتنيكوف. حيث أظهر أن التوزيع P (δ) يمكن إيجاده بالضبط بطريقة تحليلية.
بالنسبة للخصائص الإحصائية في الحد الثابت، من المعقول إدخال ما يسمى بالامتداد الطبيعي للتحول Tx = {1 / x } من خلال استمراره دون حدود للمؤشرات السالبة. بخلاف ذلك، يعد هذا انتقالًا من تسلسل لا نهائي من جانب واحد للأرقام ( x 0، x 1، x 2، ...)، متصلة بواسطة المساواة Tx = {1 / x }، إلى "مضاعف لانهائي" تسلسل X = (...، x −1، x 0، x 1، x 2، ...) للأرقام المتصلة بنفس المساواة لجميع –∞ < s <. بالطبع، هذا التوسع ليس فريدًا من نوعه في المعنى الحرفي للكلمة (نظرًا لأن x s –1 لا يتم تحديده بشكل فريد بواسطة x s )، ولكن جميع الخصائص الإحصائية للتسلسل الممتد موحدة على طولها بالكامل، أي أنها ثابتة مع فيما يتعلق بالنقل التعسفي (و x 0 يفقد معناه لشرط "أولي"). التسلسل X يكافئ سلسلة من الأعداد الصحيحة K = (...، k −1، k 0، k 1، k 2، ...)، التي تم إنشاؤها بواسطة القاعدة k s = [1 / x s –1 ]. عكسيًا، يتم تحديد كل عدد من X بواسطة الأعداد الصحيحة لـ K ككسر مستمر لانهائي.(راحة إدخال الترميز x_{s+1}^{+} مع تحويل الفهرس بمقدار 1 سيصبح واضحًا في ما يلي). للتدوين المختصر، يُشار إلى الكسر المستمر ببساطة عن طريق تعداد قواسمه (بين قوسين معقوفين) ؛ ثم تعريف x_{s}^{+} يمكن كتابتها كـيتم تحديد الكميات العكسية بواسطة كسر مستمر مع تسلسل إلى الوراء (في اتجاه المؤشرات المتناقصة) من القواسمeq. 78 علاقة التكرار. eq. 78 عن طريق إدخال التدوين η s = (1 - δ s ) / δ s مؤقتًا. ثم eq. 78 يمكن إعادة كتابة eq. 78
عن طريق التكرار يتم الحصول على جزء مستمر لانهائي
لذلك
وأخيرايحتوي هذا التعبير لδ الصورة اثنين فقط (بدلا من ثلاثة في ) كميات عشوائية x_{s}^{+} و x_{s}^{-}، يفترض كل منها قيمًا في الفترة [0، 1].
يتبع من تعريف eq. 79c ذلك. ومن ثم فإن تحول التسلسل X بأكمله بخطوة واحدة إلى اليمين يعني تحولًا مشتركًا للكميات x_{s}^{+} و x_{s}^{-} وفقهذا تعيين واحد لواحد في مربع الوحدة. وبالتالي لدينا الآن تحويل واحد إلى واحد لكميتين بدلاً من تحويل ليس واحد إلى واحد Tx = {1 / x } لكمية واحدة.
الكميات x_{s}^{+} و x_{s}^{-} لها توزيع ثابت مشترك P ( x +، x - ). منذ eq. 79e عبارة عن تحويل واحد إلى واحد، ويتم التعبير عن شرط أن يكون التوزيع ثابتًا ببساطة بواسطة معادلة دالةحيث J هو جاكوبي من التحول.
(مع و ، راجع. eq. 79e ). تحدد الكثافة P ( x، y ) المقياس الثابت لهذا التحول. من الطبيعي أن نفترض أن P ( x، y ) دالة متماثلة لـ x و y. هذا يعني أن المقياس ثابت فيما يتعلق بالتحول S ( x، y ) = ( y، x ) وبالتالي فيما يتعلق بالمنتج ST مع ST ( x، y ) = ( x ″، y ″ )،
من الواضح أن ST لديها أول متكامل H = 1 / x + y. على السطر H = const ≡ c، يكون للتحويل الشكل
ومن ثم يجب أن تكون كثافة القياس الثابتة لـ ST من الشكل
عند حساب التناظر P ( x، y ) = P ( y، x )، يصبح هذا f ( c ) = c −2 وبالتالي (بعد التطبيع)(تكامله على x + أو x - ينتج عنه الدالة w ( x ) eq. 74 ). تم استخدام تقليل التحول إلى رسم الخرائط واحد لواحد بالفعل بواسطة تشيرنوف وبارو وحصلوا على صيغة على شكل eq. 79g لكن للمتغيرات الأخرى ؛ ورقتهم لا تحتوي على تطبيقات للمشكلات التي تم النظر فيها في صيغة خلاتنيكوف.