مرجع
آخر الزيارات

تفرد بي كي إل

14٬279 كلمة•0 مشاهدة•🗒️ منذ 22 يوماً
باختصار: تفرد بي كي إل (بالإنجليزية: Belinski-Khalatnikov-Lifshitz (BKL)) هو نموذج للتطور الديناميكي للكون بالقرب من تفرد الجاذبية الأولي، الموصوف بمحلول فوضوي متباين الخواص لمعادلة أينشتاين للجاذبية . تتناول المقالة 17 قسماً، منها «وبالتالي»، «اثنان من الاضطرابات» و«يصبح المصطلح الرئيسي بشكل عام ξ الآن».
المحتويات
  1. وبالتالي
  2. اثنان من الاضطرابات
  3. يصبح المصطلح الرئيسي بشكل عام ξ الآن
  4. وجود تفرد للوقت المادي
  5. حل كاسنر
  6. مقدمة
  7. الوضع المتذبذب نحو التفرد
  8. الاستنتاجات
  9. تخمين بي كي إل
  10. حل عام مع الذبذبات الصغيرة
  11. محلول متجانس معمم
  12. وطول العصر اللوغاريتمي
  13. تطور متري
  14. لذلك
  15. التحليل الإحصائي قرب التفرد
  16. من eq. 50 واحد يحصل
  17. مجال الوقت الصغير
تفرد بي كي إل

على سبيل التعريف، تفرد بي كي إل (بالإنجليزية: Belinski-Khalatnikov-Lifshitz (BKL)) هو نموذج للتطور الديناميكي للكون بالقرب من تفرد الجاذبية الأولي، الموصوف بمحلول فوضوي متباين الخواص لمعادلة أينشتاين للجاذبية . بحسب هذا النموذج، يتأرجح الكون بشكل فوضوي حول تفرد الجاذبية حيث يصبح الزمان والمكان مساويين للصفر. هذا التفرد حقيقي ماديًا بمعنى أنه خاصية ضرورية للحل، وسيظهر كذلك في الحل الدقيق لتلك المعادلات. لم يتم إنشاء التفرد بشكل مصطنع من خلال الافتراضات والتبسيط التي تم إجراؤها بواسطة الحلول الخاصة الأخرى مثل حلول فريدمان - لوميتري - روبرتسون - ووكر وشبه الخواص وحلول كاسنر. ونتناول فيما يلي مزيدًا من التفاصيل.

وفي هذا الصدد، تحتوي الصورة التي طورتها بي كي إل على عدة عناصر مهمة. وهذه هي:

وفي هذا الصدد، بالقرب من التفرد تطور الهندسة في نقطة مكانية مختلفة يفصل ذلك أن الحلول لل معادلات التفاضلية الجزئية يمكن أن يقترب من الحلول لل معادلات التفاضلية العادية فيما يتعلق الوقت لعوامل على نطاق والمكانية المحددة بشكل مناسب. وهذا ما يسمى تخمين بي كي إل.

وعلى صعيد آخر، كشف تطوير الدراسات الكونية القائمة على نماذج الأوتار الفائقة عن بعض الجوانب الجديدة للديناميكيات في محيط التفرد. في هذه النماذج، لا يتم إثارة آليات تغيير حقبة كاسنر من خلال تفاعلات الجاذبية ولكن من خلال تأثير المجالات الأخرى الموجودة. ثبت أن النماذج الكونية المبنية على ستة نماذج من الأوتار الفائقة فضلًا عن نموذج الجاذبية الفائقة D = 11 تُظهر ديناميكيات بي كي إل الفوضوية تجاه التفرد. تم اكتشاف علاقة بين النماذج الكونية المتذبذبة الشبيهة بـ بي كي إل وفئة فرعية خاصة من جبر الكذب اللانهائي الأبعاد - ما يسمى بجبر كاك الزائدي - مودي.

في هذا الإطار، تم تسمية النموذج على اسم مؤلفيه فلاديمير بيلينسكي وإسحاق خالاتنيكوف وإيفجيني ليفشيتز، ثم عملوا في معهد لانداو للفيزياء النظرية .

ومن ناحية أخرى، تأتي المعادلات التفاضلية العادية التي تصف التقارب من فئة من الحلول المتجانسة مكانيًا والتي تشكل ديناميكيات مكسماستر : نموذج متذبذب وفوضوي معقد يعرض خصائص مشابهة لتلك التي ناقشها بي كي إل.

من جهة ثانية، بالنسبة لأغلب أنواع المادة، يصبح تأثير حقول المادة على ديناميكيات الهندسة ضئيلًا بالقرب من التفرد. أو، على حد تعبير جون ويلر، "لا تهم المادة" بالقرب من التفرد. طرح عمل بي كي إل الأصلي تأثيرًا ضئيلًا لجميع المواد ولكنهم افترضوا لاحقًا أن "المادة الصلبة" (معادلة الحالة p = ε) المكافئة لحقل عددي عديم الكتلة يمكن أن يكون لها تأثير تعديل على الديناميكيات بالقرب من التفرد.

ومن ناحية أخرى، أصبحت دراسة ديناميات الكون في محيط التفرد الكوني مجالًا سريع التطور للفيزياء النظرية والرياضية الحديثة. إن تعميم نموذج بي كي إل على التفرد الكوني في النماذج الكونية متعددة الأبعاد ( نوع كلوزا- كلاين ) له طابع فوضوية في الزمكانات التي لا تزيد أبعادها عن عشرة، بينما في الزمان المكاني ذي الأبعاد الأعلى يكون الكون بعد خضوعه لعدد محدود من التذبذبات تدخل في نظام تعاقد رتيب من نوع كاسنر.

وبالتالي

وفي هذا السياق، الذي يحدد قيمة اللوغاريتم المزدوج لزيادة الكثافة التي تراوحت بحسب الفترات الزمنية المزدوج لوغاريتمي نظرا τ أو عدد معين من عصور الصورة.توجد هذه العلاقات الإحصائية المستقرة خصيصًا للفترات الزمنية اللوغاريتمية المزدوجة ولزيادة الكثافة. بالنسبة للخصائص الأخرى، مثلًا، ln (ε ( s ) / ε (0) ) أو Ω (s) / Ω (0) = exp s، يزداد التقلب النسبي أضعافًا مضاعفة مع زيادة نطاق المتوسط وبالتالي يتم إلغاء مصطلح متوسط القيمة ذات معنى ثابت.

وفي هذا السياق، إلى زيادة الصورة تذبذب نسبي يميل إلى الصفر مثل s −1/2 . بمعنى آخر، العلاقة الإحصائية eq. 82 يصبح شبه مؤكد في الصورة الكبيرة. وهذا يجعل من الممكن عكس العلاقة، أي لتمثيل أنها اعتماد متوسط عدد عصور الصورة τ التي يتم تبادلها في τ فترة معينة من الوقت لوغاريتمي مزدوج:التوزيع الإحصائي للقيم الدقيقة لـ Sτ حول المتوسط هو كذلك التمويه مع الفرق والتباين

ومن جهة أخرى، مع تغيير 1 - p 3 ( t ) من حقبة إلى أخرى، عبر القيم في الفاصل الزمني من 0 إلى 1. المصطلح ln Ω = ln ln (1 / t ) يزيد بشكل رتيب ؛ من ناحية أخرى، يمكن للمصطلح ln2 (1 - p 3 ) أن يفترض قيمًا كبيرة (يمكن مقارنتها بـ ln Ω) فقط عندما تظهر قيم p 3 قريبة جدًا من الوحدة (أي صغيرة جدًا | p 1 |). هذه هي بالتحديد الحالات "الخطيرة" التي تزعج المسار المنتظم للتطور الذي تعبر عنه العلاقات المتكررة eq. 77 - eq. 79 .

علاوةً على ذلك، يبقى إظهار أن مثل هذه الحالات لا تنشأ في الواقع في نظام الحد المقارب. يبدأ التطور التلقائي للنموذج في لحظة معينة يتم فيها تحديد شروط أولية محددة بطريقة تعسفية. وبناءً على ذلك، فإن كلمة "مقارب" تعني نظامًا بعيدًا بدرجة كافية عن اللحظة الأولية المختارة.

كذلك، وفيما بعد، لتغيير إجمالي الطاقة خلال الصورة العصور،المصطلح الذي يحتوي على مجموع بواسطة p يعطي المساهمة الرئيسية لهذا التعبير لأنه يحتوي على أس ذو قوة كبيرة. ترك هذا المصطلح فقط ومتوسط eq. 87، يحصل المرء على التعبير في جانبه الأيمن الذي يتزامن مع eq. 82 ؛ جميع المصطلحات الأخرى في مجموع (كذلك حيث مع η ليالي في صلاحياتهم) تؤدي فقط إلى التصويبات من النظام النسبي 1 / ثانية. وبالتالي،بحكم الطابع شبه المؤكد للعلاقة بين τ s و s eq. 88 يمكن كتابة eq. 88

وعلى صعيد آخر، من خلال مراعاة قيم العلاقات المتبادلة مع p = 1، 2، 3 (محسوبة عدديًا) يتم الحصول على النتيجة النهائية D τ s = (3.5 ± 0.1) s .

ومن ناحية أخرى، يتم إعطاء التوزيع الإحصائي المعني بنفس التوزيع الغوسي حيث يكون المتغير العشوائي الآن s τ عند معين τ:من وجهة النظر هذه، فإن مصدر السلوك الإحصائي هو التعسف في اختيار نقطة البداية للفاصل τ المتراكب على التسلسل اللانهائي للعصور المتغيرة.

كذلك، (يتم أخذ المجموع الداخلي على جميع القيم k (1)، k (2)، ...، ك ( ق ) من 1 إلى ∞). من السهل إثبات أن هذا العصر يتقارب مع القيمة λ 1 الذي يتم تحديد ترتيب حجمه بواسطة المصطلح الأول في eq. 90 . يمكن إثبات ذلك من خلال التخصص القوي للعصر الذي يستبدل فيه المرء | α ( ق ) | = (ث + 1) | α (0) |، بغض النظر عن أطوال العصور k (1)، k (2)،. . . (في الواقع | α ( s ) | زيادة أسرع بكثير ؛ حتى في أكثر الحالات غير المواتية k (1) = k (2) = ... = 1 قيم | α ( s ) | زيادة مثل q s | α (0 ) | مع q > 1. ) مشيرا إلى ذلك

ومن جهة أخرى، من خلال جمع هذه الهوية على p eq. 82c تم الحصول على eq. 82c أخيرًا مرة أخرى بنفس الدقة تم تغييره لـ x p تحت علامة الجمع وبالتالي يمثل τ s كـتباين هذا المجموع في حدود s الكبيرة هو يؤخذ في الاعتبار أنه بحكم التجانس الإحصائي للتسلسل X فإن الارتباطات تعتمد فقط على الاختلافات – ع - ع ′ القيمة المتوسطة ؛ المربع المتوسط

كذلك، يتم تحديد قيمة x (0) في العصر الأول بالشروط الأولية. القيم الخطرة هي القيم الموجودة في الفاصل الزمني δ x (0) ~ exp (- – α (0) )، وكذلك في الفواصل الزمنية التي يمكن أن تؤدي إلى حالات خطيرة في العصور التالية. من أجل أن تقع x ( s ) في الفترة الخطرة δ x ( s ) ~ exp (- – α ( s ) )، يجب أن تكمن القيمة الأولية x (0) في فاصل عرض δ x (0) ~ δ x ( s ) / ك (1) ^ 2 ... ك ( ق ) ^ 2 . لذلك، من وحدة الفاصل الزمني لجميع القيم الممكنة لـ x (0)، ستظهر الحالات الخطيرة في الأجزاء λ من هذه الفترة الزمنية:

وفي السياق ذاته، أين – α ( s ) – هو عمق الدنيا الأولي من الوظائف التي ذبذبة في عصر الصورة (فإنه سيكون أكثر ملاءمة لاختيار السعة النهائية، ولكن هذا من شأنه أن يعزز فقط معيار الاختيار).

في هذا الإطار، إذا كانت القيمة الأولية لـ x (0) تقع خارج المنطقة الخطرة، فلن تكون هناك حالات خطيرة. إذا كانت تقع داخل هذه المنطقة، تحدث حالات خطيرة، ولكن عند اكتمالها، يستأنف النموذج تطورًا "منتظمًا" بقيمة أولية جديدة والتي قد تأتي في بعض الأحيان فقط (مع احتمال λ) في الفترة الخطرة. تحدث الحالات الخطيرة المتكررة باحتمالات λ 2، λ 3، ...، تتقارب بشكل مقارب إلى الصفر.

من جانب آخر، الحالات الخطيرة هي تلك التي تظهر فيها قيم صغيرة جدًا للمعامل u = x (وبالتالي كذلك | p 1 | ≈ x ) في نهاية العصر. معيار لاختيار مثل هذه الحالات هو عدم المساواة

وعلى صعيد آخر، فيما يتعلق بكثافة المادة، eq. 79 يمكن إعادة كتابتها مع حساب eq. 80 في النموذج

كذلك، أصل العلاقة الإحصائية eq. 88 بالفعل من القانون الأولي الذي يحكم تباين الكثافة خلال عهود كاسنر الفردية. حسب eq. 21، خلال التطور بأكمله لدينا

اثنان من الاضطرابات

وفي هذا السياق، حيث α 0، ξ 0 هي ثوابت موجبة، و 0 هي الحد الأعلى لعصر المتغير τ. من الملائم تقديم متغير جديد (بدلاً من τ)ثمالمعادلات eq. 45 eq. 46 يتم تحويلها عن طريق إدخال المتغير χ = α - β:انخفاض τ من τ 0 إلى −∞ يتوافق مع انخفاض ξ من ξ 0 إلى 0. يتم الحصول على العصر الطويل مع إغلاق a و b (أي مع صغير)، المدروس هنا، إذا كانت ξ 0 كمية كبيرة جدًا. في الواقع، بشكل عام، حل eq. 49 في أول تقدير تقريبي بمقدار 1 / هوحيث A ثابت ؛ المضاعف يجعل χ كمية صغيرة بحيث يمكن استبدالها eq. 49 بواسطة sh 2χ ≈ 2χ. The constant in the sine argument, of course, is not necessarily the same as ξ0 in and ; however, making them the same does not change in any way the solution character.

وعلى صعيد آخر، ضع في اعتبارك حقبة طويلة، حيث خضعت اثنتان من الوظائف أ، ب، ج (فليكن أ و ب ) لتذبذبات صغيرة بينما تتناقص الوظيفة الثالثة (ج ) بشكل رتيب. سرعان ما تصبح الوظيفة الأخيرة صغيرة ؛ ضع في اعتبارك الحل فقط في المنطقة حيث يمكن للمرء أن يتجاهل c مقارنةً بـ a و b . يتم إجراء الحسابات أولاً للنموذج الفضائي من النوع IX عن طريق الاستبدال بحسب ذلك λ = μ = ν = 1.

وفي السياق ذاته، بعد تجاهل الوظيفة c، فإن المعادلتين eq. 26 إعطاءeq. 28 كمعادلة ثالثة، والتي تأخذ الشكلحل eq. 44 مكتوب في النموذج

يصبح المصطلح الرئيسي بشكل عام ξ الآن

ومن جهة أخرى، لذلكقيمة c كدالة للوقت t مرة أخرى c = c 0 t / t 0 لكن اعتماد الوقت على ξ يتغير. يعتمد طول الحقبة الطويلة على ξ 0 بحسب ـ

من جانب آخر، من ناحية أخرى، تحدد القيمة ξ 0 عدد التذبذبات للوظائف a و b خلال حقبة (تساوي ξ 0 / 2π). بالنظر إلى طول العصر في الوقت اللوغاريتمي (أي مع النسبة المعطاة t 0 / t 1 )، سيكون عدد التذبذبات للنوع الثامن، بشكل عام، أقل من النوع IX. بالنسبة لفترة التذبذبات، نحصل الآن على Δ ln t = πξ / 2 ؛ على عكس النوع التاسع، فإن الفترة ليست ثابتة طوال العصر الطويل، وتتناقص ببطء مع ξ.

وجود تفرد للوقت المادي

وفي هذا الصدد، عمل سابق لمجموعة لانداو ؛ تمت مراجعته في ) أدى إلى استنتاج مفاده أن الحل العام لا يحتوي على تفرد مادي. تم إجراء هذا البحث عن فئة أوسع من الحلول ذات التفرد، بشكل أساسي، من خلال طريقة التجربة والخطأ، نظرًا لعدم وجود نهج منهجي لدراسة معادلات أينشتاين. النتيجة السلبية، التي يتم الحصول عليها بهذه الطريقة، ليست مقنعة بحد ذاتها ؛ الحل بالدرجة اللازمة من العمومية من شأنه أن يبطله، وفي نفس الوقت سيؤكد أي نتائج إيجابية تتعلق بالحل المحدد.

من جهة ثانية، في ذلك الوقت، كان المؤشر الوحيد المعروف لوجود التفرد المادي في الحل العام مرتبطًا بشكل معادلات آينشتاين المكتوبة في إطار متزامن، أي في إطار يتم فيه مزامنة الوقت المناسب x 0 = t في جميع أنحاء الفضاء ؛ في هذا الإطار، يكون عنصر المسافة الفضائية dl منفصلاً عن الفاصل الزمني dt . معادلة اينشتاينمكتوبًا في إطار متزامن يعطي نتيجة يصبح فيها المحدد المتري g حتمًا صفرًا في وقت محدد بغض النظر عن أي افتراضات حول توزيع المادة.

من جانب آخر، مرت عدة سنوات قبل أن يتجلى الاهتمام بهذه المشكلة مرة أخرى عندما نشر بنروز بعام 1965 نظرياته التي ربطت بين وجود تفرُّد ذات طابع غير معروف مع بعض الافتراضات العامة جدًا التي لم يكن لديها أي شيء مشترك مع اختيار الإطار المرجعي. تم العثور على نظريات أخرى مماثلة في وقت لاحق من قبل هوكينج وجيروتش (انظر نظريات بينروز - هوكينغ التفرد ). أدى هذا إلى إحياء الاهتمام بالبحث عن حلول فردية.

إضافةً إلى ذلك، كانت إحدى المشكلات الرئيسية التي درستها مجموعة لانداو (التي تنتمي إليها بي كي إل) هي ما إذا كانت النماذج الكونية النسبية تحتوي بالضرورة على فرادة زمنية أو ما إذا كانت فرادة الوقت هي قطعة أثرية من الافتراضات المستعملة لتبسيط هذه النماذج. إن استقلال التفرد في افتراضات التناظر يعني أن فرادات الوقت لا توجد فقط في الخاص، ولكن كذلك في الحلول العامة لمعادلات أينشتاين. من المعقول أن نقترح أنه في حالة وجود مفردة في الحل العام، يجب أن تكون هناك بعض المؤشرات التي تستند فقط إلى الخصائص الأكثر عمومية لمعادلات أينشتاين، على الرغم من أن هذه المؤشرات في حد ذاتها قد تكون غير كافية لوصف التفرد.

إضافةً إلى ذلك، ومع ذلك، فإن الجهود المبذولة لإيجاد التفرد المادي العام قد تم التخلي عنها بعد أن أصبح من الواضح أن التفرد المذكور أعلاه مرتبط بخاصية هندسية محددة للإطار المتزامن: عبور إحداثيات الخط الزمني. يحدث هذا التقاطع على بعض الأسطح الفوقية المحاطة وهي نظائر رباعية الأبعاد للأسطح الكاوية في البصريات الهندسية ؛ يصبح g صفرًا بالضبط عند هذا التقاطع. لذلك، على الرغم من أن هذه التفردية عامة، إلا أنها خيالية وليست مادية ؛ يختفي عند تغيير الإطار المرجعي. هذا، على ما يبدو، أقنع الباحثين بإجراء مزيد من التحقيقات على هذا المنوال.

وفي هذا السياق، معيار عمومية الحلول هو عدد وظائف إحداثيات الفضاء المستقلة التي تحتوي عليها. وتشمل هذه الوظائف "المستقلة جسديًا" فقط والتي لا يمكن تقليل عددها بأي اختيار للإطار المرجعي . في الحل العام، يجب أن يكون عدد هذه الوظائف كافيًا لتعريف الشروط الأولية بشكل كامل (توزيع المادة وحركتها، وتوزيع مجال الجاذبية ) في لحظة معينة من الوقت يتم اختيارها كأولوية. هذا الرقم هو أربعة لمساحة فارغة (فراغ)، وثمانية لمادة و / أو مساحة مملوءة بالإشعاع.

حل كاسنر

ومن جهة أخرى، مقياس كاسنر eq. 2 يتوافق مع مساحة مسطحة متجانسة ولكن متباينة الخواص حيث تزداد جميع الأحجام بمرور الوقت بطريقة تزيد فيها المسافات الخطية على محورين y و z بينما تقل المسافة على طول المحور x. تسبب اللحظة t = 0 تفردًا في الحل ؛ لا يمكن تجنب التفرد في المقياس عند t = 0 بواسطة أي تحويل للإطار المرجعي. عند التفرد، تذهب ثوابت موتر الانحناء رباعي الأبعاد إلى اللانهاية. الاستثناء هو الحالة p 1 = р 2 = 0، р 3 = 1 ؛ تتوافق هذه القيم مع الزمكان المسطح: التحويل t sh z = ζ، t ch z = τ يحول مقياس كاسنر ( eq. 2 ) إلى تحويل جاليليو.

من جانب آخر، يتم الحصول على جميع القيم المختلفة لـ 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 .

في هذا الإطار، إذا تم ترتيب الأرقام بترتيب تصاعدي، p 1 < p 2 < p 3، فإنها تتغير في الفترات (الشكل 4)

من جانب آخر، معادلات أينشتاين الثلاثة المتبقية eq. 13 تحتوي فقط على مشتقات الوقت من الدرجة الأولى للموتر المتري. إنها توفر ثلاث علاقات مستقلة عن الوقت يجب فرضها حسب الشروط الضرورية على وظائف التنسيق في eq. 7 . هذا، مع الشرط λ = 0، يجعل أربعة شروط. تربط هذه الشروط عشر وظائف إحداثيات مختلفة: ثلاثة مكونات لكل من المتجهات l، m، n، ووظيفة واحدة في قوى t (أي من الدوال p l، p m، p n، المرتبطة بالشروط eq. 3 ). عند حساب عدد الوظائف التعسفية جسديًا، يجب أن يؤخذ في الاعتبار أن النظام المتزامن المستعمل هنا يسمح بتحولات عشوائية مستقلة عن الوقت للإحداثيات الفضائية الثلاثة. لذلك، يحتوي الحل النهائي على إجمالي 10 - 4 - 3 = 3 وظائف اعتباطية فيزيائية وهي أقل بواحد مما هو مطلوب للحل العام في الفراغ.

وفي هذا الصدد، يبدأ نهج بي كي إل للمساحات المتجانسة (على عكس الخواص) بتعميم حل معين دقيق مشتق من كاسنر لحقل في الفراغ، يكون فيه الفراغ متجانسًا وله مقياس إقليدي يعتمد على الوقت بحسب مقياس كاسنر.( dl هو عنصر الخط ؛ dx، dy، dz هي عمليات نزوح متناهية الصغر في الأبعاد المكانية الثلاثة، و t هي الفترة الزمنية التي مرت منذ بعض اللحظات الأولية t 0 = 0). هنا، p 1، p 2، p 3 هي أي ثلاثة أرقام تفي بشروط كاسنرالتاليةبسبب هذه العلاقات، يكون رقم واحد فقط من الأعداد الثلاثة مستقلًا ( معادلتان بثلاثة مجاهيل ). جميع الأرقام الثلاثة ليست هي نفسها أبدًا ؛ رقمان متماثلان فقط في مجموعات القيم و (0، 0، 1). في جميع الحالات الأخرى، تكون الأرقام مختلفة، رقم واحد سلبي والآخران موجبان. تم إثبات ذلك جزئيًا من خلال تربيع جانبي الشرط الأول eq. 3 و تطوير الساحة:

من جانب آخر، حيث تشير النقطة الموجودة فوق الرمز إلى التمايز فيما يتعلق بالوقت. معادلة آينشتاين eq. 11 تأخذ الشكلجميع شروطه هي من الدرجة الثانية للكمية الكبيرة (عند t → 0) 1 / t . في معادلات أينشتاين، eq. 12، تظهر شروط هذا الطلب فقط من المصطلحات المتباينة زمنيًا. إذا لم تتضمن مكونات P αβ شروط ترتيب أعلى من اثنين، إذنحيث تحدد المؤشرات l، m، n مكونات الموتر في الاتجاهات l، m، n . هذه المعادلات مع eq. 14 أعط التعبيرات eq. 8 مع القوى التي ترضي eq. 3.

وفي السياق ذاته، هي، في الواقع، إلى ترتيب أقل بمقدار 1 / t من الشروط الرئيسية في الجانب الأيسر. في المعادلات يؤدي وجود الأمر فقط إلى تغيير العلاقات المفروض على وظائف التنسيق المكونة لها.

من جانب آخر، ومع ذلك، فإن وجود قوة سالبة واحدة بين القوى الثلاث 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. 7 ويساهم بأربع وظائف إحداثية جديدة ضرورية لوصف التوزيع الأولي لكثافته والمكونات الثلاثة لسرعته. هذا يجعل من الممكن تحديد تطور المادة فقط من قوانين حركتها في مجال الجاذبية المعطى مسبقًا وهو المعادلات الهيدروديناميكية.حيث u i هي السرعة رباعية الأبعاد، ε و هي كثافات الطاقة وانتروبيا المادة (راجع و ؛ كذلك ؛ للحصول على التفاصيل، انظر ). بالنسبة للمعادلة الفائقة الصغر للحالة p = ε / 3 الانتروبيا σ ~ ε 1/4 . المصطلحات الرئيسية في eq. 17 eq. 18 هي تلك التي تحتوي على مشتقات زمنية. من eq. 17 ومكونات الفضاء من eq. 18 واحد لديه

وفي هذا الصدد، حقيقة أن ε تصبح لانهائية بموجب القانون eq. 21 يؤكد أن في حل eq. 7 يتعامل المرء مع التفرد المادي عند أي قيم للقوى p 1، p 2، p 3 باستثناء (0، 0، 1). بالنسبة لهذه القيم الأخيرة، تكون التفرد غير مادية ويمكن إزالتها عن طريق تغيير الإطار المرجعي.

ومن ناحية أخرى، يتم تقديم مقياس كاسنر في معادلات أينشتاين عن طريق استبدال موتر القياس المتري γ αβ من eq. 7 دون تحديد مسبق، تبعية a، b، c من t :

وعلى صعيد آخر، حيث u n هي مكون السرعة على طول اتجاه n المرتبط بأعلى قوة (موجبة) لـ t (بافتراض أن p n = p 3 ). من العلاقات المذكورة أعلاه، يتبع ذلكأويمكن استخدام المعادلات أعلاه لتأكيد أن مكونات المادة موتر الإجهاد-الطاقة-الزخم يقف في الجانب الأيمن من المعادلات

إضافةً إلى ذلك، المصطلح يساوي 1 عن طريق الشرط الثاني eq. 3 وبالتالي يجب أن يكون المصطلح مع حاصل الضرب المختلط صفرًا. هذا ممكن إذا كانت واحدة على الأقل من p 1 و p 2 و p 3 سالبة.

وعلى صعيد آخر، معامل بي كي إل المتغير في التجربة بأرقام 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).

وفي السياق ذاته، فينتج،حيث "const" هي كميات لا تعتمد على الوقت. فضلًا عن ذلك، من الهوية u i u i = 1 واحد لديه (لأن جميع المكونات المتغيرة لـ u α لها نفس الترتيب)

ومن جهة أخرى، تنشأ التفرد الخيالي المطابق للقوى (0، 0، 1) نتيجة عبور إحداثيات الخط الزمني فوق بعض " السطح البؤري " ثنائي الأبعاد. كما هو يمكن دائمًا اختيار إطار مرجعي متزامن بطريقة تجعل هذا الخط الزمني الحتمي يحدث بالضبط على هذا السطح (بدلاً من سطح كاوي ثلاثي الأبعاد). لذلك، يجب أن يوجد حل بهذا الشكل المتزامن لكامل التفرد الخيالي للفضاء مع مجموعة كاملة من الوظائف التعسفية اللازمة للحل العام. بالقرب من النقطة t = 0، فإنه يسمح بالتمدد المنتظم بواسطة قوى t الكاملة. لتحليل هذه الحالة، انظر.

مقدمة

وفي هذا السياق، الخصائص الفيزيائية الوحيدة المثيرة للاهتمام للزمن المكاني (مثل التفردات) هي تلك الخصائص المستقرة، أي تلك الخصائص التي لا تزال تحدث عندما تكون البيانات الأولية مضطربة قليلاً. من الممكن أن تكون التفرد مستقرًا ولكنها ليست ذات فائدة مادية: الاستقرار ضروري ولكنه ليس شرطًا كافيًا للأهمية المادية. مثلًا، يمكن أن يكون التفرد مستقرًا فقط في جوار مجموعات البيانات الأولية المقابلة لأكوان متباينة الخواص. نظرًا لأن الكون الفعلي يبدو الآن شبه متناحي الخواص، فإن مثل هذه التفرد لا يمكن أن تحدث في كوننا. الشرط الكافي ليكون التفرد المستقر ذا فائدة جسدية هو شرط أن تكون التفرد عامة (أو عامة). بشكل تقريبي، يكون التفرد المستقر عامًا إذا حدث بالقرب من كل مجموعة من الظروف الأولية وكانت الحقول غير الجاذبية مقيدة بطريقة معينة إلى الحقول "الواقعية فيزيائيًا" بحيث تكون معادلات أينشتاين، ومعادلات الحالة المختلفة، وما إلى ذلك، يفترض أنه يحتفظ بأزمنة الفضاء المتطورة. قد يحدث أن تكون التفرد مستقرًا في ظل اختلافات صغيرة في درجات الجاذبية الحقيقية للحرية، ومع ذلك فهي ليست عامة لأن التفرد يعتمد بطريقة ما على نظام الإحداثيات، أو بالأحرى على اختيار السطح الفائق الأولي الذي ينطلق منه الزمكان. يتطور.

إضافةً إلى ذلك، من المستحيل العثور على جزء لا يتجزأ من جميع الأماكن وفي كل الأوقات. ومع ذلك، هذا ليس ضروريًا لحل المشكلة: يكفي دراسة الحل بالقرب من التفرد. وهذا من شأنه حل كذلك جانبا آخر للمشكلة: خصائص الزمكان المتري تطور في الحل العام عندما يصل إلى التفرد المادي، تفهم على أنها نقطة حيث كثافة المادة والثوابت لل انحناء ريمان الموتر تصبح لانهائية.

وفي هذا السياق، بالنسبة لنظام المعادلات التفاضلية غير الخطية، مثل معادلات أينشتاين، لا يتم تحديد الحل العام بشكل لا لبس فيه. من حيث المبدأ، قد يكون هناك تكاملات عامة متعددة، وقد يحتوي كل منها على مجموعة فرعية محدودة فقط من جميع الشروط الأولية الممكنة. قد تحتوي كل من هذه التكاملات على جميع الوظائف المستقلة المطلوبة والتي، مع ذلك، قد تخضع لبعض الشروط (مثلًا، بعض عدم المساواة ). لذلك، فإن وجود حل عام ذو تفرد لا يمنع وجود حلول عامة إضافية أخرى لا تحتوي على تفرد. مثلًا، لا يوجد سبب للشك في وجود حل عام بدون تفرد يصف جسمًا منعزلًا بكتلة صغيرة نسبيًا.

وعلى صعيد آخر، خاصية أخرى مهمة للنموذج الخواص هي الوجود الحتمي لتفرد الوقت : تدفق الوقت ليس مستمرًا، ولكنه يتوقف أو ينعكس بعد أن يصل الوقت إلى قيمة كبيرة جدًا أو صغيرة جدًا. بين التفردات، يتدفق الوقت في اتجاه واحد: بعيدًا عن التفرد ( سهم الوقت ). في النموذج المفتوح، يوجد تفرد لمرة واحدة، لذا يكون الوقت محدودًا في أحد طرفيه ولكنه غير محدود في الطرف الآخر، بينما في النموذج المغلق، هناك نوعان من التفردات التي تحدد الوقت عند كلا الطرفين ( الانفجار العظيم والأزمة الكبيرة ).

في هذا الإطار، أساس علم الكونيات الحديث هو الحلول الخاصة لمعادلات مجال أينشتاين التي وجدها ألكسندر فريدمان في 1922-1924. يُفترض أن الكون متجانس (الفضاء له نفس الخصائص (المقاييس) المترية في جميع النقاط) ومتساوي الخواص (الفضاء له نفس المقاييس في جميع الاتجاهات). تتيح حلول فريدمان شكلين هندسيين محتملين للفضاء: نموذج مغلق بمساحة تشبه الكرة، منحنية للخارج (انحناء إيجابي ) ونموذج مفتوح مع مساحة تشبه السرج، منحنية إلى الداخل (انحناء سلبي ). في كلا النموذجين، لا يقف الكون ساكنًا، فهو إما يتوسع باستمرار (يصبح أكبر) أو يتقلص (يتقلص، ويصبح أصغر). وهذا ما أكده إدوين هابل الذي أسس انزياح هابل الأحمر للمجرات المتراجعة. الإجماع الحالي هو أن النموذج الخواص، بشكل عام، يعطي وصفًا مناسبًا للحالة الحالية للكون ؛ ومع ذلك، فإن الخواص في الكون الحالي بحد ذاته ليس سببًا لتوقع أنه كافٍ لوصف المراحل الأولى من تطور الكون . في الوقت نفسه، من الواضح أن التجانس في العالم الحقيقي، في أحسن الأحوال، مجرد تقريب. حتى لو كان بإمكان المرء التحدث عن توزيع متجانس لكثافة المادة على مسافات كبيرة مقارنة بالفضاء بين المجرات، فإن هذا التجانس يتلاشى عند المقاييس الأصغر. من ناحية أخرى، يذهب افتراض التجانس بعيدًا جدًا في الجانب الرياضي: فهو يجعل الحل متماثلًا للغاية والذي يمكن أن ينقل خصائص محددة تختفي عند النظر في حالة أكثر عمومية.

الوضع المتذبذب نحو التفرد

من جانب آخر، حسب eq. 33، إحدى الوظائف أ، ب، ج، التي تمر بحد أقصى أثناء الانتقال بين فترات كاسنر، في ذروة الحد الأقصى لها هيحيث من المفترض أن الحد الأقصى هو كبير مقارنة ب 0 ج 0؛ في eq. 38 u هي قيمة المعلمة في حقبة كاسنر قبل الانتقال. يمكن أن نرى من هنا أن قمم الحدود القصوى المتتالية خلال كل عصر تنخفض تدريجياً. في الواقع، في حقبة كاسنر التالية، يكون لهذه المعلمة القيمة u = u - 1، ويتم استبدال Λ بحسب ـ eq. 36 مع Λ '= Λ (1-2 | ص 1 ( ش ) |). لذلك، فإن نسبة 2 حد أقصى متتالي هي

من جهة ثانية، يحدد تحليل سلوك النموذج تحت تأثير الاضطراب، الذي أجرته بي كي إل، وضعًا تذبذبًا معقدًا عند الاقتراب من التفرد. لم يتمكنوا من إعطاء كل التفاصيل عن هذا الوضع في الإطار العريض للحالة العامة. ومع ذلك، أوضح بي كي إل أهم خصائص وخصائص الحل على نماذج محددة تسمح بدراسة تحليلية بعيدة المدى.

وفي هذا الصدد، يمكن بسهولة ملاحظة أن تقارب الوظائف eq. 33 في t → 0 يساوي eq. 30 . التعبيرات المقاربة لهذه الوظائف والوظيفة t (τ) في τ → −∞ هي

في هذا الإطار، يتم تجنب هذه الصعوبة إذا قام المرء بتضمين المصطلحات الرئيسية للمقياس المحدد (عند t → 0) فقط في النموذج وكتب فيه مسألة بتوزيع أولي تعسفي للكثافات والسرعات. ثم يتم تحديد مسار تطور المادة من خلال قوانينها العامة للحركة eq. 17 eq. 18 ينتج عنه eq. 21 . خلال كل حقبة كاسنر، تزداد الكثافة حسب القانونحيث p 3، على النحو الوارد أعلاه، أكبر الأعداد ص 1، ص 2، ص 3 . تزداد كثافة المادة بشكل رتيب خلال كل تطور نحو التفرد.

في هذا الإطار، وأخيراًما سبق حلول لمعادلات أينشتاين في الفراغ. أما بالنسبة لصيغة كاسنر الخالصة، فإن الأمر لا يغير الخصائص النوعية لهذا الحل ويمكن كتابته فيه بغض النظر عن رد فعله على الميدان. ومع ذلك، إذا فعل المرء هذا للنموذج قيد المناقشة، والذي يُفهم على أنه حل دقيق لمعادلات أينشتاين، فإن الصورة الناتجة لتطور المادة لن يكون لها طابع عام وستكون محددة للتماثل العالي الوشيك للنموذج الحالي. رياضياً، ترتبط هذه الخصوصية بحقيقة أنه بالنسبة للهندسة الفضائية المتجانسة التي تمت مناقشتها هنا، فإن مكونات موتر Ricci هي أصفار متطابقة، وبالتالي فإن معادلات أينشتاين لن تسمح بحركة المادة (التي تعطي إجهادًا غير صفريًا لمكونات موتر الطاقة والزخم ). بمعنى آخر، يجب أن يكون الإطار المتزامن كذلك متحركًا بشكل مشترك فيما يتعلق بالمادة. إذا كان أحد البدائل في eq. 19 u α = 0، u 0 = 1، يصبح ε ~ ( abc ) −4/3 ~ t −4/3 .

علاوةً على ذلك، يطلق بي كي إل على هذا الانقلاب في القوة السلبية بين الاتجاهات حقبة كاسنر . إن المفتاح لفهم طبيعة التطور المتري عند الاقتراب من التفرد هو بالضبط عملية تناوب حقبة كاسنر مع تقليب القوى 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 تستمر عملية التناوب هذه غير محدودة.

ومن ناحية أخرى، معادلات أينشتاين للنماذج الفضائية من النوع الثامن والنوع التاسع هي (المكونات المتبقية و و و و و هي أصفار متطابقة). تحتوي هذه المعادلات على وظائف الوقت فقط ؛ هذا شرط يجب الوفاء به في جميع المساحات المتجانسة. هنا، 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 هما ثابتان إضافيتان.

وفي هذا السياق، يوضح ما سبق أن الاضطراب يعمل بطريقة تجعله يغير أحد أوضاع Kasner مع وضع Kasner آخر، وفي هذه العملية تنقلب القوة السلبية لـ t من الاتجاه l إلى الاتجاه m : إذا كانت قبل ذلك p l <0، فهي الآن كذلك ص ' م <0. أثناء هذا التغيير، تمر الوظيفة a ( t ) عبر الحد الأقصى و b ( t ) يمر عبر الحد الأدنى ؛ ب، الذي كان يتناقص من قبل، يزداد الآن: أ من الزيادة يصبح تناقصًا ؛ ونقص c ( t ) يتناقص أكثر. الاضطراب نفسه (λ 2 a 4α في eq. 29 )، والذي كان يتزايد من قبل، يبدأ الآن في الانخفاض ويموت. يؤدي التطور الإضافي بالمثل إلى زيادة الاضطراب من الشروط مع μ 2 (بدلاً من λ 2 ) في eq. 26، التغيير التالي لوضع كاسنر، وهكذا.

إضافةً إلى ذلك، الحل العام بالتعريف مستقر تمامًا ؛ وإلا لما كان الكون موجودًا. أي اضطراب يعادل تغيير في الظروف الأولية في وقت ما ؛ نظرًا لأن الحل العام يسمح بشروط أولية عشوائية، فإن الاضطراب غير قادر على تغيير طابعه. بالنظر إلى هذه الزاوية، فإن الشروط الأربعة المفروضة على وظائف الإحداثيات في الحل eq. 7 أنواع مختلفة: ثلاثة شروط تنشأ من المعادلات = 0 هي "طبيعية" ؛ هم نتيجة لهيكل معادلات آينشتاين. ومع ذلك، فإن الشرط الإضافي λ = 0 الذي يتسبب في فقدان وظيفة مشتقة واحدة، هو من نوع مختلف تمامًا: عدم الاستقرار الناجم عن الاضطرابات يمكن أن يكسر هذا الشرط. يجب أن يؤدي عمل هذا الاضطراب إلى إحضار النموذج إلى وضع آخر أكثر عمومية. لا يمكن اعتبار الاضطراب صغيراً: الانتقال إلى وضع جديد يتجاوز نطاق الاضطرابات الصغيرة جدًا.

من جهة ثانية، تعتمد هذه النماذج على مقياس فضاء متجانس من نوع معين. إن افتراض تجانس المساحة دون أي تناظر إضافي يترك حرية كبيرة في اختيار المقياس. يتم تصنيف جميع المساحات المتجانسة الممكنة (ولكن متباينة الخواص)، بحسب بيانكي، في عدة أنواع بيانكي (من النوع الأول إلى التاسع) . (انظر كذلك الحل المتجانس المعمم ) يبحث بي كي إل فقط في مساحات من أنواع بيانكي الثامن والتاسع.

التعبير عن a، b، c كوظائف لـ t، يكون بـحيثثم

وفي هذا الصدد، الفترات الأكبر التي تتأرجح فيها مقاييس المسافات الفضائية على محورين بينما تتناقص المسافات على طول المحور الثالث بشكل رتيب، تسمى العصور ؛ تقل الأحجام بقانون قريب من ~ ر . عند الانتقال من عصر إلى آخر، ينقلب الاتجاه الذي تتناقص فيه المسافات بشكل رتيب من محور إلى آخر. يكتسب ترتيب هذه التحولات الصفة المقاربة لعملية عشوائية . نفس الترتيب العشوائي هو كذلك سمة من سمات تناوب أطوال العصور المتتالية (حسب طول العصر، تفهم بي كي إل عدد حقبة كاسنر التي تحتوي عليها العصر، وليس الفاصل الزمني).

كذلك، وبالتالي تقتصر دراسة تأثير الاضطراب على "وضع كاسنر" على دراسة تأثير المصطلحات المحتوية على λ في معادلات أينشتاين. تعد الفراغات من النوع الثامن والتاسع أكثر النماذج ملاءمة لمثل هذه الدراسة. نظرًا لأن جميع الكميات الثلاثة λ و μ و في أنواع بيانكي هذه تختلف عن الصفر، فإن الشرط λ = 0 لا ينطبق بغض النظر عن الاتجاه l، m، n له اعتماد سالب على وقت قانون الطاقة.

كذلك، إذا كان المقياس على شكل eq. 7 الشكل 7، لكل نوع من المساحات المتجانسة توجد علاقة وظيفية بين المتجهات المرجعية l و m و n وإحداثيات الفضاء. الشكل المحدد لهذه العلاقة ليس مهما. الحقيقة المهمة هي أنه بالنسبة للمسافات من النوع الثامن والتاسع، فإن الكميات λ و μ و ν eq. 10 عبارة عن ثوابت بينما جميع المنتجات "المختلطة" l rot m و l rot n و m rot l وما إلى ذلك . هي أصفار. بالنسبة للمسافات من النوع IX، فإن الكميات λ و μ و لها نفس العلامة ويمكن للمرء أن يكتب λ = μ = ν = 1 (تغيير الإشارة المتزامن للثوابت الثلاثة لا يغير شيئًا). بالنسبة للمسافات من النوع VIII، يكون للثوابتين إشارة معاكسة لعلامة الثابت الثالث ؛ يمكن للمرء أن يكتب، مثلًا، λ = - 1، μ = ν = 1.

ومن جهة أخرى، لكل حقبة تتوافق مع سلسلة من قيم المعامل u بدءًا من الأعظم، ومن خلال القيم - 1، - 2، ...، الوصول إلى الأصغر، <1. ثمأي أن k ( s) = [ ] حيث تعني الأقواس الجزء الكامل من القيمة. الرقم k ( s ) هو طول العصر، ويقاس بعدد فترات كاسنر التي تحتوي عليها تلك الحقبة للعصر القادم.في السلسلة اللامحدودة من الأرقام u، التي تتكون من هذه القواعد، توجد قيم صغيرة متناهية الصغر (ولكن ليست صفرية أبدًا) x ( s ) وأطوال كبيرة بشكل غير محدود بالمقابل k ( s ) .

وفي هذا السياق، في الحل الدقيق لمعادلات أينشتاين، تفقد القوى p l، p m، p n معناها الأصلي الدقيق. هذا الظرف يقدم بعض "غموض" في تحديد هذه الأرقام (ومعهم، إلى المعلمة ش) التي، وإن كانت صغيرة، يجعل معنى تحليل أي (مثلًا، محددة عقلانية ) قيم ش. لذلك، فقط هذه القوانين التي تهم التعسفي القيم غير المنطقية من ش لها أي معنى خاص.

كذلك، تصبح سلسلة العصر أكثر كثافة عند الاقتراب من t = 0. ومع ذلك، فإن المتغير الطبيعي لوصف المسار الزمني لهذا التطور ليس الوقت العالمي t، ولكن لوغاريتمه، ln t، والذي من خلاله يتم تمديد العملية الكاملة للوصول إلى التفرد إلى −∞.

وفي السياق ذاته، من الملائم كتابة قاعدة استبدال الطاقة eq. 35 بمساعدة البارامترات eq. 5 :تظل القوة الأكبر من القوتين الموجبتين موجبة.

الاستنتاجات

وعلى صعيد آخر، في هذا الصدد، فإن خاصية نموذج "مكسماستر" الموضحة بواسطة ميزنر، ذات الصلة بانتشار الإشارات الضوئية، لها أهمية كبيرة. في النموذج الخواص، يوجد "أفق ضوئي"، مما يعني أنه لكل لحظة من الزمن، توجد مسافة أطول، يكون فيها تبادل الإشارات الضوئية، وبالتالي، الارتباط السببي، أمرًا مستحيلًا: لا يمكن للإشارة أن تصل إلى مثل هذه المسافات من أجل الوقت منذ التفرد t = 0.

ملحوظات

من جهة ثانية، يتم تحديد انتشار الإشارة بواسطة المعادلة ds = 0. في النموذج الخواص بالقرب من التفرد t = 0، يكون عنصر الفاصل الزمني ، أين هو شكل تفاضلي مكاني مستقل عن الزمن. الاستبدال عائدات.المسافة" وصلت إليها الإشارةنظرًا لأن η، مثل t، يمر عبر القيم التي تبدأ من 0، وحتى "اللحظة"، لا يمكن للإشارات أن تنتشر إلا على مسافة التي تحدد المسافة الأبعد إلى الأفق.

وفي هذا السياق، تعتبر نظرية بي كي إل في التطور المتري في اتجاه تناقص الوقت متماثلة مع معادلات أينشتاين فيما يتعلق بعلامة الوقت بحيث يكون التطور المتري في اتجاه زيادة الوقت ممكنًا بشكل متساوٍ. ومع ذلك، فإن هاتين الحالتين تختلفان اختلافًا جوهريًا لأن الماضي والمستقبل ليسا متكافئين بالمعنى المادي. يمكن أن تكون التفردات المستقبلية ذات مغزى ماديًا فقط إذا كان ذلك ممكنًا في الظروف الأولية التعسفية الموجودة في اللحظة السابقة. لا يتوافق توزيع المادة والحقول في لحظة ما من تطور الكون بالضرورة مع الشروط المحددة المطلوبة لوجود حل خاص معين لمعادلات أينشتاين.

من جهة ثانية، يطرح وجود أفق ضوئي في النموذج الخواص مشكلة في فهم أصل الخواص الملحوظة في الوقت الحالي في الإشعاع المتبقي. بحسب النموذج المتناحي الخواص، فإن الخواص المتناحية الملحوظة تعني الخصائص المتناحية للإشعاع التي تأتي إلى المراقب من مناطق الفضاء التي لا يمكن ربطها سببيًا ببعضها البعض. يمكن أن يكون الوضع في نموذج التطور التذبذب بالقرب من التفرد مختلفًا.

من جانب آخر، مثلًا، في النموذج المتجانس لفضاء النوع IX، تنتشر الإشارة في اتجاه تتغير فيه المقاييس لعصر طويل بقانون قريب من ~ t . مربع عنصر المسافة في هذا الاتجاه هو dl 2 = t 2 ، والعنصر الخاص بالفاصل الزمني رباعي الأبعاد هو . الاستبدال يضع هذا في النموذجوبالنسبة لانتشار الإشارة، يوجد معادلة من النوع eq. 128 مرة أخرى. الاختلاف المهم هو أن المتغير يعمل الآن من خلال القيم التي تبدأ من (إذا كان المقياس eq. 129 صالحًا لجميع t بدءًا من t = 0).

وفي هذا السياق، مع مرور الوقت ويبتعد المرء عن التفرد، يزداد تأثير المادة على التطور المتري، الذي كان ضئيلاً في المراحل الأولى من التطور، تدريجياً ويصبح في النهاية مهيمناً. من المتوقع أن يؤدي هذا التأثير إلى "تماثل" تدريجي للفضاء، ونتيجة لذلك تقترب خصائصه من نموذج فريدمان الذي يصف بشكل مناسب الحالة الحالية للكون.

من جهة ثانية، لذلك، بالنسبة لكل "لحظة" معينة، تم العثور على فترات وسيطة كافية للإشارة لتغطية كل مسافة محدودة.

إضافةً إلى ذلك، يعطي الوضع التذبذب لمقاربة التفرد جانبًا جديدًا لمصطلح "محدودية الوقت". بين أي لحظة محدودة من الزمن العالمي t واللحظة t = 0 يوجد عدد لا حصر له من التذبذبات. بهذا المعنى، تكتسب العملية طابعًا لا نهائيًا. بدلاً من الوقت t، يكون المتغير الأكثر ملاءمة لوصفه هو ln t الذي يتم من خلاله تمديد العملية .

في هذا الإطار، تم ترك المشكلة المرتبطة بالقيود المحتملة على هندسة الفضاء الناتجة عن التفرد جانبًا لمزيد من الدراسة. من الواضح منذ البداية، مع ذلك، أن نموذج بي كي إل الأصلي ينطبق على كل من المساحة المحدودة أو اللانهائية ؛ يتضح هذا من خلال وجود نماذج تفرد متذبذبة لكل من الزمكانات المغلقة والمفتوحة.

وفي هذا السياق، أساس هذا البيان هو حقيقة أن الوضع التذبذب في نهج التفرد ناتج عن الاضطراب الفردي الذي يتسبب كذلك في عدم الاستقرار في حل كاسنر المعمم. تأكيد عمومية النموذج هو البناء التحليلي لعصر طويل مع التذبذبات الصغيرة. على الرغم من أن هذا السلوك الأخير ليس عنصرًا ضروريًا للتطور المتري بالقرب من التفرد، إلا أنه يحتوي على جميع الخصائص النوعية الرئيسية: التذبذب المتري في بعدين مكانيين وتغيير رتيب في البعد الثالث مع اضطراب معين لهذا الوضع في نهاية بعض الوقت فترة. ومع ذلك، فإن التحولات بين عهود كاسنر في الحالة العامة للمقياس المكاني غير المتجانس لم يتم توضيحها بالتفصيل.

من جانب آخر، بهذه الطريقة، خلال حقبة طويلة، يتم فتح أفق ضوئي في اتجاه فضائي معين. على الرغم من أن مدة كل حقبة طويلة لا تزال محدودة، إلا أنه خلال مسار تطور العالم، تغيرت العصور عددًا لا حصر له من المرات في اتجاهات فضائية مختلفة. هذا الظرف يجعل المرء يتوقع أنه في هذا النموذج، من الممكن وجود علاقة سببية بين الأحداث في الفضاء بأكمله. بسبب هذه الخاصية، أطلق ميزنرعلى هذا الطراز "مكسماستر يونيفرس" باسم علامة تجارية لآلة خلط العجين.

وفي هذا السياق، يرتبط اختيار الحلول المطابقة للعالم الحقيقي بالمتطلبات الفيزيائية العميقة التي يستحيل العثور عليها باستخدام نظرية النسبية الحالية فقط والتي يمكن العثور عليها كنتيجة للتوليف المستقبلي للنظريات الفيزيائية. وبالتالي، قد يتضح أن هذا الاختيار يفرد نوعًا خاصًا (مثل الخواص) من التفرد. ومع ذلك، فمن الطبيعي أن نفترض أنه بسبب طابعه العام، يجب أن يكون الوضع التذبذب هو السمة الرئيسية لمراحل التطور الأولية.

وفي هذا الصدد، يصف تفرد بي كي إل التفردات في الحل الكوني لمعادلات أينشتاين التي لها طابع تذبذب معقد. على الرغم من أن هذه التفردات قد درست في المقام الأول على نماذج متجانسة مكانيًا، إلا أن هناك أسبابًا مقنعة لافتراض أن التفردات في الحل العام لمعادلات أينشتاين لها نفس الخصائص ؛ هذا الظرف يجعل نموذج بي كي إل مهمًا لعلم الكونيات.

علاوةً على ذلك، أخيرًا، يطرح تفرد بي كي إل مشكلة حول جدوى التفكير في "حالة فردية" لعالم به مادة كثيفة للغاية على أساس نظرية النسبية الحالية. يمكن توضيح التطبيق المادي لمعادلات أينشتاين في شكلها الحالي في هذه الظروف فقط في عملية التركيب المستقبلي للنظريات الفيزيائية، وبهذا المعنى لا يمكن حل المشكلة في الوقت الحاضر.

وفي هذا السياق، من المهم ألا تفقد نظرية الجاذبية نفسها تماسكها المنطقي (أي لا تؤدي إلى خلافات داخلية) مهما كانت كثافات المادة. بمعنى آخر، هذه النظرية غير مقيدة بالشروط التي تفرضها، والتي يمكن أن تجعل تطبيقها غير مقبول منطقيًا ومثيرًا للجدل في كثافات كبيرة جدًا ؛ يمكن أن تظهر القيود، من حيث المبدأ، فقط كنتيجة لعوامل "خارجية" لنظرية الجاذبية. هذا الظرف يجعل دراسة التفردات في النماذج الكونية مقبولة رسميًا وضرورية في إطار النظرية الحالية.

تخمين بي كي إل

كذلك، من خلال فصل مشتقات الوقت والمكان في معادلات أينشتاين، مثلًا، بالطريقة المستعملة أعلاه لتصنيف المساحات المتجانسة، ثم تحديد المصطلحات التي تحتوي على مشتقات فضائية تساوي الصفر، يمكن للمرء تحديد ما يسمى بالنظرية المقطوعة لـ نظام (معادلات مبتورة). فيما بعد، يمكن جعل تخمين بي كي إل أكثر تحديدًا:

من جهة ثانية، التخمين الضعيف : مع اقتراب التفرد، فإن المصطلحات التي تحتوي على مشتقات الفضاء في معادلات أينشتاين لا تكاد تذكر مقارنة بالمصطلحات التي تحتوي على مشتقات زمنية. وهكذا، عندما يتم الاقتراب من التفرد، تقترب معادلات أينشتاين من تلك التي تم العثور عليها عن طريق تعيين شروط مشتقة إلى الصفر. وهكذا، فإن التخمين الضعيف يقول أن معادلات أينشتاين يمكن تقريبها جيدًا من خلال المعادلات المقطوعة في جوار التفرد. لاحظ أن هذا لا يعني أن حلول معادلات الحركة الكاملة ستقترب من حلول المعادلات المقطوعة مع اقتراب التفرد. تم التقاط هذا الشرط الإضافي في الإصدار القوي على النحو التالي.

من جانب آخر، في عملهم عام 1970، ذكر بي كي إل أنه عندما يقترب المرء من التفرد، فإن المصطلحات التي تحتوي على مشتقات زمنية في معادلات أينشتاين تهيمن على تلك التي تحتوي على المشتقات المكانية . عُرف هذا منذ ذلك الحين باسم تخمين بي كي إل ويشير إلى أن المعادلات التفاضلية الجزئية لأينشتاين (PDE) يتم تقريبها جيدًا بواسطة المعادلات التفاضلية العادية (ODEs)، ومن هنا تصبح ديناميكيات النسبية العامة محلية ومتذبذبة بشكل فعال. يتم تقريب التطور الزمني للحقول في كل نقطة مكانية جيدًا بواسطة علم الكونيات المتجانسة في تصنيف بيانكي.

من جانب آخر، تخمين قوي : مع اقتراب التفرد، تقترب معادلات أينشتاين من نظريتها المقتطعة فضلًا عن أن حلول المعادلات الكاملة تقترب جيدًا من خلال حلول المعادلات المقطوعة.

وفي هذا السياق، أظهر التحليل اللاحق الذي أجراه عدد كبير من المؤلفين أن تخمين بي كي إل يمكن أن يكون دقيقًا والآن هناك مجموعة رائعة من الأدلة العددية والتحليلية التي تدعمها. من الإنصاف القول إننا ما زلنا بعيدين تمامًا عن إثبات التخمين القوي. ولكن كان هناك تقدم ملحوظ في نماذج أبسط. على وجه الخصوص، أظهر بيرجر وجارفينكل ومونكريف وإيزنبرج وويفر وآخرون أنه في فئة من النماذج، مع اقتراب التفرد، تقترب حلول معادلات مجال أينشتاين الكاملة من "مصطلح السرعة المسيطر" (المقطوع) التي تم الحصول عليها بواسطة إهمال المشتقات المكانية. أظهر أندرسون وريندال أنه بالنسبة للجاذبية المقترنة بحقل عددي عديم الكتلة أو سائل صلب، لكل حل للمعادلات المقطوعة يوجد حل كامل معادلات المجال التي تتقارب مع الحل المبتور مع اقتراب التفرد، حتى في حالة عدم وجود تماثلات. تم تعميم هذه النتائج لتشمل كذلك حقول قياس النموذج p. في هذه النماذج المبتورة، تكون الديناميكيات أبسط، مما يسمح ببيان دقيق للتخمين يمكن إثباته. في الحالة العامة، يأتي أقوى دليل حتى الآن من التطورات العددية. بدأ بيرغر ومونكريف برنامجًا لتحليل التفردات الكونية العامة. بينما ركز العمل الأولي على حالات التناظر المخفّضة، مؤخرًا، تطورًا عدديًا لأزمنة الزمكان مع عدم وجود تماثلات يظهر فيها سلوك مكسماستر مرة أخرى. أخيرًا، جاء دعم إضافي للتخمين من دراسة عددية لسلوك حقول الاختبار بالقرب من تفرد ثقب أسود شوارزشيلد.

وفي هذا الصدد، في البداية، بدا أن تخمين بي كي إل يعتمد على التنسيق وغير قابل للتصديق إلى حد ما. فمثلًا من بين الانتقادات العشرة لدراسات بي كي إل، يتضمن الاختيار غير المناسب بحسب بارو وتيبلير للإطار المتزامن كوسيلة لفصل مشتقات الزمان والمكان. تم إعادة صياغة حدسية بي كي إل في بعض الأحيان في الأدبيات كبيان أنه بالقرب من التفرد فقط مشتقات الوقت مهمة. مثل هذا البيان، المأخوذ بالقيمة الاسمية، خاطئ أو مضلل في أفضل الأحوال لأنه، كما هو موضح في تحليل بي كي إل نفسه، لا يمكن إهمال التدرجات الشبيهة بالفضاء للموتر المتري للحلول العامة لجاذبية أينشتاين الصافية في أبعاد الزمكان الأربعة، وفي تلعب الحقيقة دورًا مهمًا في ظهور النظام التذبذب. ومع ذلك، توجد إعادة صياغة لنظرية أينشتاين من حيث المتغيرات الجديدة التي تتضمن التدرجات ذات الصلة، مثلًا في المتغيرات الشبيهة بأشتيكار، والتي يكون فيها بيان الدور المهيمن لمشتقات الوقت صحيحًا. صحيح أن المرء يحصل في كل نقطة مكانية على وصف فعال للتفرد من حيث النظام الديناميكي ذي الأبعاد المحدودة الموصوف بواسطة المعادلات التفاضلية العادية فيما يتعلق بالوقت، لكن التدرجات المكانية تدخل هذه المعادلات بشكل غير تافه.

حل عام مع الذبذبات الصغيرة

من جهة ثانية، طور تفرد بي كي إل كذلك نموذجًا مستقلًا عن توزيع المادة (متجانس أو غير متجانس) لعصر طويل مع تذبذبات صغيرة. تبين أن الاعتماد على الوقت لهذا الحل مشابه جدًا لتلك الموجودة في الحالة الخاصة للنماذج المتجانسة ؛ يمكن الحصول على الأخير من نموذج التوزيع المستقل عن طريق اختيار خاص للوظائف التعسفية الواردة فيه.

إضافةً إلى ذلك، وبالتالي، عند التذبذبات الصغيرة للوظائف، تتوقف γ ab بينما تبدأ الوظيفة γ 33 في الزيادة عند التناقص ξ. هذا هو وضع Kasner وعندما تتم مقارنة γ 33 مع γ ab، فإن التقريب أعلاه لا ينطبق.

من جهة ثانية، eq. 97 تعطي ، وبالتالي،حالات مختلفة ممكنة اعتمادًا على متغير G. في الحالة أعلاه، g 00 = γ 33 γ أب و . الحالة N > 0 (الكمية N تشبه الوقت) تؤدي إلى تفردات زمنية ذات أهمية. استبدال في eq. 101 f 1 = 1/2 (ξ + z ) sin y، f 2 = 1/2 (ξ - z ) ينتج عن sin y G من النوعهذا الاختيار لا يقلل من عمومية الاستنتاجات ؛ يمكن إثبات أن العمومية ممكنة (في التقريب الأول) فقط بسبب التحولات المتبقية المسموح بها للمتغيرات. عند N <0 (الكمية N تشبه الفضاء) يمكن استبدال G = z الذي يعمم مقياس أينشتاين-روزن المعروف. عند N = 0 يصل المرء إلى مقياس موجة روبنسون – بوندي الذي يعتمد فقط على + z أو فقط على ξ - z (راجع ). العامل sin y في eq. 102 للمقارنة المريحة مع النماذج المتجانسة. مع الأخذ في الاعتبار eq. 102، المعادلات eq. 97 - eq. 99 يصبحالمعادلات الرئيسية هي eq. 103 تحديد مكونات γ ab ؛ إذن، يتم العثور على الوظيفة ψ من خلال تكامل بسيط لـ eq. 104 - eq. 105 .

إضافةً إلى ذلك، التالي لتفرد بي كي إل النظر في الحالة ξ 1. التقريب الأول لحل eq. 103 خلال الافتراض (الذي أكدته النتيجة) أنه في هذه المعادلات يمكن استبعاد المصطلحات المتعلقة بالمشتقات بالإحداثيات:هذه المعادلة مع الشرط eq. 102 يعطيحيث λ a، μ a، s 1، s 2 هي وظائف تعسفية لجميع الإحداثيات الثلاثة x، y، z، المرتبطة بشروط أخرىالمعادلات eq. 104 - eq. 105 أعط الآنالمشتقات ، محسوبة بواسطة eq. 118، تتضمن شروطا ~ ξ 4 ثانية 1-2 و~ ξ 4 الصورة 2-2 بينما حيث غادر في eq. 117 ~ ξ −2 . لذلك، تطبيق eq. 103 بدلاً من eq. 117 مسموحًا بشروط s 1 > 0، s 2 > 0 ؛ ومن ثم 1 - > 0.

ومن ناحية أخرى، عدم المساواة eq. 94 يعني أن المكونات a 3 صغيرة بمعنى أنه في أي نسبة من الإزاحات dx a و dz، يمكن حذف مصطلحات حاصل الضرب dx a dz في مربع عنصر الطول المكاني dl 2 . لذلك، فإن أول تقريب تقريبي للحل هو مقياس متري eq. 92 مع γ a 3 = 0: Note that this metric allows arbitrary transformations of type ξ′ + z″ = f1 (ξ + z), ξ′ − z′ = f2 (ξ − z), x′a = fa (x1, x2).يمكن حساب مكونات موتر ريتشي و و و باستخدام eq. 95 والشرط eq. 93 أن جميع المصطلحات التي تحتوي على مشتقات بواسطة الإحداثيات x a صغيرة مقارنة بالمصطلحات ذات المشتقات بـ و z (نسبتها هي ~ γ 33 / γ ab ). بمعنى آخر، للحصول على معادلات التقريب الرئيسي، γ 33 و ab في eq. 95 كما لو أنها لا تعتمد على x a . التعيينيتم الحصول على المعادلات التالية: The equation is a direct result of – if or . The case does not require a special treatment: it can be shown that the spacetime metric in this case converges (in first approximation) to Galilean.يتم رفع المؤشر وخفضه هنا بمساعدة γ ab . الكميات و λ هي الانقباضات و بواسطةأما مكونات موتر ريتشي و ، من خلال هذا الحساب فهي متطابقة صفر. في التقريب التالي (مثلًا، مع مراعاة الصغير a 3 والمشتقات بواسطة x، y )، يحددان الكميتين a 3 بواسطة 33 و γ ab المعروفين بالفعل.

من جانب آخر، ويترتب على ذلك أن كلاً من نموذج النوع التاسع وتعميمه يحتويان على وضع تذبذب بمقياس مكاني واحد بحجم تعسفي لم يتم اختياره من بين أمور أخرى بواسطة أي ظروف فيزيائية. ومع ذلك، فمن المعروف أنه في الأنظمة غير الخطية ذات درجات الحرية اللانهائية، يكون هذا الوضع غير مستقر ويتبدد جزئيًا إلى اهتزازات أصغر. في الحالة العامة للاضطرابات الصغيرة ذات الطيف التعسفي، سيكون هناك دائمًا بعض الذين تزيد اتساعهم من التغذية على إجمالي طاقة العملية. نتيجة لذلك، تظهر صورة معقدة للحركات متعددة المقاييس مع توزيع معين للطاقة وتبادل الطاقة بين التذبذبات ذات المقاييس المختلفة. لا يحدث ذلك فقط في الحالة التي يكون فيها تطور التذبذبات على نطاق صغير مستحيلًا بسبب الظروف المادية. بالنسبة للأخير، يجب أن يوجد بعض الطول المادي الطبيعي الذي يحدد الحد الأدنى للمقياس الذي تخرج فيه الطاقة من نظام بدرجات ديناميكية من الحرية (والتي، مثلًا، تحدث في سائل مع لزوجة معينة). ومع ذلك، لا يوجد مقياس مادي فطري لحقل الجاذبية في الفراغ، وبالتالي، لا يوجد عائق أمام تطور التذبذبات للمقاييس الصغيرة بشكل تعسفي.

من جانب آخر، من أجل التحقق من توافق هذا التحليل، قامت BKL بدراسة المعادلات = 0، = 0، وحساب المكونات γ a 3 منها، أكد أن eq. 94 يحدث. أظهرت هذه الدراسة أنه في كلا المنطقتين المتقاربتين، كانت المكونات γ a 3 ~ 33 . لذلك، فإن صحة عدم المساواة eq. 93 يشير على الفور إلى صحة عدم المساواة eq. 94 .

من جهة ثانية، يحتوي الحل كذلك على عدد من الوظائف التعسفية الأخرى للإحداثيات x و y . تظهر مثل هذه الوظائف التعسفية ثنائية الأبعاد، بشكل عام، لأن العلاقات بين الوظائف ثلاثية الأبعاد في حلول معادلات أينشتاين تفاضلية (وليست جبرية)، تاركة جانباً المشكلة الأعمق حول المعنى الهندسي لهذه الوظائف. لم يحسب تفرد بي كي إل عدد الوظائف ثنائية الأبعاد المستقلة لأنه في هذه الحالة من الصعب التوصل إلى استنتاجات لا لبس فيها لأن الوظائف ثلاثية الأبعاد يتم تعريفها بواسطة مجموعة من الوظائف ثنائية الأبعاد (راجع لمزيد من التفاصيل). The regular decomposition of the general solution of Einstein equations contains (in addition to the four three-dimensional functions) three independent functions of two coordinates (cf. ; )

في هذا الإطار، إذا حاول المرء إيجاد حل لهذه المعادلات مثل سلسلة فورييه بواسطة إحداثي z، فعندئذٍ بالنسبة لمعاملات السلسلة، كوظائف، يحصل المرء على معادلات Bessel. المصطلحات المقاربة الرئيسية للحل بشكل عام هي It is possible to look for a solution in the form of Fourier integrals; this issue has not been studied in detail. Therefore, BKL do not require Fourier series decomposition as a mandatory condition for the coordinate dependence of functions σ and φ

وفي السياق ذاته، يحتوي هذا الحل، كما ينبغي للحالة العامة للمجال في الفراغ، على أربع وظائف عشوائية للإحداثيات الفضائية الثلاثة x، y، z . في المنطقة ξ 1 هذه الوظائف هي، مثلًا، 1، λ 2، μ 1، s 1 . في المنطقة ξ 1 يتم تعريف الوظائف الأربع بواسطة سلسلة فورييه عن طريق إحداثيات z من eq. 115 ذات معاملات هي دوال في x، y ؛ على الرغم من أن تحلل سلسلة فورييه (أو التكامل؟) يميز فئة خاصة من الوظائف، فإن هذه الفئة كبيرة بما يكفي لتشمل أي مجموعة فرعية محدودة من مجموعة جميع الشروط الأولية الممكنة.

وفي هذا الصدد، تتم كتابة المكونات المستقلة للمصفوفة H بالشكل σ و بحيثاستبدال eq. 111 في eq. 103 وترك فقط المصطلحات الخطية بواسطة H، يشتق أحدهما لـ و

وفي السياق ذاته، استبدال النواقل الأساسية لمساحة متجانسة من نوع بيانكي من النوع IX في eq. 7 يأخذ مقياس الزمكان في هذا النموذج الشكلعندما ج 2 أ 2، ب 2، يمكن للمرء أن يتجاهل ج 2 في كل مكان باستثناء المصطلح ج 2 دز 2 . للانتقال من الإطار المتزامن المستعمل في eq. 121 إلى إطار بشروط eq. 91، تم إجراء التحويل dt = cd ξ / 2 والاستبدال z → z / 2. بافتراض أن χ ≡ ln ( أ / ب ) 1، يحصل المرء من eq. 121 في أول تقدير تقريبي:وبالمثل، مع نواقل الأساس لمساحة متجانسة من النوع الثامن من بيانكي، يحصل المرء عليهاوفقًا لتحليل المساحات المتجانسة أعلاه، في كلتا الحالتين ab = ξ (تبسيط = ξ 0 ) و من eq. 51 ؛ يتم إعطاء الوظيفة ج (ξ) بواسطة الصيغ eq. 53 eq. 61، على التوالي، للطرازين من النوعين التاسع والثامن.

إضافةً إلى ذلك، لذلك، عند قيم الكبيرة، تتأرجح مكونات الموتر المتري γ ab عند تناقص على خلفية انخفاض بطيء ناتج عن تناقص عامل ξ في eq. 111 . وγ مكون 33 ه = ψ ينخفض بسرعة عن طريق وثيقة القانون إلى إكسب (ρ 2 ξ 2)؛ هذا يجعل من الممكن لشرط eq. 93 . Squared H terms in result only in small (≈1/ξ) corrections in σ and φ. Calculation with cubic terms leads to appearance of a weak dependence of A, B from ξ that can be presented as an appearance of logarithmic phases in the oscillating factors in . These calculations for the case ρ = 0 are given in (cf. the analogous situation for homogeneous models, ).

إضافةً إلى ذلك، يتم الحصول على المقياس المتطابق للنوع الثامن من eq. 112، eq. 115، eq. 116 اختيار متجه ثنائي الأبعاد l a و m a بالشكلوالاستعاضة عنهاللحصول على مقياس النوع التاسع، يجب استبداله(لحساب c (ξ) التقريب في eq. 116 غير كافٍ والمصطلح في خطي بمقدار ξ يتم حسابه )

ومن ناحية أخرى، من الملائم، مع ذلك، بناء حل عام في نظام إحداثيات يختلف نوعًا ما عن الإطار المرجعي المتزامن: g 0α = 0 كما هو الحال في الإطار المتزامن، ولكن بدلاً من g 00 = 1 أصبح الآن g 00 = - g 33 . تحديد موتر الفراغ المترية γ αβ = - g αβ واحد، لذلكيتم كتابة إحداثي الفضاء الخاص كـ x 3 = z ويتم كتابة إحداثي الوقت كـ x 0 = ξ (يختلف عن الوقت المناسب t ) ؛ سيظهر أن ξ يتوافق مع نفس المتغير المحدد في النماذج المتجانسة. يُشار إلى التفاضل بـ ξ و z، على التوالي، بالنقطة والرئيسية. تأخذ المؤشرات اللاتينية أ، ب، ج القيم 1، 2، المقابلة لإحداثيات الفضاء x 1، x 2 والتي ستكتب كذلك كـ x، y . لذلك، فإن المقياس هويجب أن يلبي الحل المطلوب عدم المساواة(تحدد هذه الشروط أن إحدى الوظائف a 2، b 2، c 2 صغيرة مقارنة بالوظيفتين الأخريين، وهو ما حدث كذلك مع النماذج المتجانسة).

ومن ناحية أخرى، المتغير ξ يمر عبر القيم من 0 إلى ∞. حل eq. 103 تعتبر حدين، ξ 1 و 1. في القيم ξ كبيرة، يمكن للمرء أن نبحث عن الحل الذي يأخذ شكل 1 / التحلل:بواسطة(المعادلة 107 تحتاج إلى الشرط 102 ليكون صحيحاً). استبدال eq. 103 في eq. 106، يتم الحصول على الترتيب الأولحيث الكميات a ac تشكل مصفوفة معكوسة للمصفوفة a ac . حل eq. 108 لديه الشكلحيث l a، m a،، هي وظائف عشوائية للإحداثيات x، y مرتبطة بالشرط eq. 110 مشتق من eq. 107 .

من جانب آخر، للعثور على شروط أعلى لهذا التحلل، من الملائم كتابة مصفوفة الكميات المطلوبة ab في النموذجحيث الرمز ~ يعني تبديل المصفوفة. المصفوفة H متماثلة وأثرها صفر. عرض eq. 111 يضمن تناظر γ ab واستيفاء شرط eq. 102 . إذا تم استبدال exp H بـ 1، فسيحصل المرء من eq. 111 γ ab = ξ a ab مع a ab من eq. 109 . بمعنى آخر، المصطلح الأول لتحلل γ ab يتوافق مع H = 0 ؛ يتم الحصول على الشروط الأعلى من خلال تحلل القوى للمصفوفة H التي تعتبر مكوناتها صغيرة.

كذلك، في النماذج المذكورة أعلاه، تمت دراسة التطور المتري بالقرب من التفرد على مثال مقاييس الفضاء المتجانسة. يتضح من خاصية هذا التطور أن البناء التحليلي للحل العام لتفرد من هذا النوع يجب أن يتم بشكل منفصل لكل من مكونات التطور الأساسية: لعصور كاسنر، من أجل عملية الانتقال بين العصور التي تسببها " الاضطرابات "، لفترات طويلة مع اضطرابين يعملان في وقت واحد. خلال حقبة كاسنر (أي عند الاضطرابات الصغيرة)، يتم إعطاء المقياس بواسطة eq. 7 بدون الشرط λ = 0.

ومن جهة أخرى، تم إجراء هذا التحليل للمساحة الفارغة. إن تضمين المادة لا يجعل الحل أقل عمومية ولا يغير خصائصه النوعية.

علاوةً على ذلك، المعاملتان A و B هي وظائف معقدة عشوائية للإحداثيات x و y وتفي بالشروط اللازمة لـ σ و الحقيقيين ؛ التردد الأساسي ω هو دالة حقيقية تعسفية لـ x، y . الآن من eq. 104 - eq. 105 من السهل الحصول على الحد الأول من الوظيفة ψ:(يختفي هذا المصطلح إذا كانت = 0 ؛ في هذه الحالة، المصطلح الرئيسي هو الخطي الوحيد لـ ξ من التحلل: ψ = ξ q ( x، y ) حيث q دالة موجبة ).

كذلك، أحد القيود ذات الأهمية الكبيرة للحل العام هو أن جميع الوظائف ثلاثية الأبعاد الواردة في المقاييس eq. 122 eq. 123 على فترة تغيير مميزة واحدة ومشتركة. هذا فقط يسمح بالتقريب في معادلات أينشتاين لجميع مشتقات المكونات المكانية المترية مع منتجات بسيطة من هذه المكونات بأرقام موجية مميزة مما ينتج عنه معادلات تفاضلية عادية من النوع الذي تم الحصول عليه للنموذج المتجانس من النوع IX. هذا هو سبب التطابق بين الحلول المتجانسة والحلول العامة.

ومن ناحية أخرى، أخيرًا، يستمر تفرد بي كي إل في إظهار أن الحل العام يحتوي على الحل الخاص الذي تم الحصول عليه أعلاه للنماذج المتجانسة.

محلول متجانس معمم

إضافةً إلى ذلك، في مساحة متجانسة وخواص الخواص، يتم تحديد المقياس تمامًا، تاركًا مجانًا فقط علامة الانحناء. بافتراض تجانس المساحة فقط مع عدم وجود تناظر إضافي مثل الخواص، يترك قدرًا أكبر من الحرية في اختيار المقياس. يتعلق ما يلي بالجزء المكاني من المقياس في لحظة معينة من الوقت t بافتراض إطار متزامن بحيث يكون t هو نفس الوقت المتزامن للمساحة بأكملها.

وطول العصر اللوغاريتمي

ومن جهة أخرى، حيث، باختصار، f ( u ) = 1 + u + u 2 . يتم الحصول على مجموع أطوال الحقبة n بواسطة الصيغة

وفي هذا الصدد، سعة التذبذب الأخيرة للوظائف α أو في عصر معين مرتبطة بسعة التذبذب الأول بالعلاقة | α k −1 | = | α 0 | ( ك + س ) / (1 + س ). حتى في ك الصورة صغيرة مثل عدة وحدات س يمكن تجاهلها في المقارنة إلى k بحيث زيادة α وسعة التذبذب بيتا تصبح متناسبة مع طول الحقبة. لوظائف 'وه = α و ب ه = β يعني ذلك أنه إذا كانت السعة من التذبذبات في بداية عصر كان A 0، في نهاية هذا العصر السعة ستصبح .

إضافةً إلى ذلك، كما يزداد طول فترات كاسنر (في الوقت اللوغاريتمي) داخل عصر معين ؛ من السهل حساب من eq. 69 أن Δ ن +1 > Δ ن . Epoch lengths are great in comparison to transitions between epochs. According to transition lengths are great at small |p1| (i.e. large u) and are ∝ 1/|p1| ∝ u. But even in this case Δn ∝ un|αn| un. الطول الإجمالي للعصر هو(المصطلح مع 1 / x ينشأ من الحقبة الأخيرة، k -th، التي يكون طولها كبيرًا عند x الصغيرة ؛ راجع. الصورة 2). لحظة Ω ن عندما ك -th الحقبة من نهايات عصر معين هو في نفس الوقت لحظة Ω '0 من بداية الحقبة المقبلة.

من جانب آخر، حسب eq. 40 الزيادة في كثافة المادة خلال العهود الأولى (ك - 1) تعطى بواسطة الصيغة

علاوةً على ذلك، حتى آخر k لعصر معين، في u = x <1 أعظم قوة هو P 2 (x) (لا P 3 (x)). لذلك، من أجل زيادة الكثافة خلال العصر بأكمله، يحصل المرءلذلك، حتى مع عدم وجود قيم k كبيرة جدًا، . خلال العصر التالي (بطول k ') ستزداد الكثافة بشكل أسرع بسبب زيادة سعة البداية A 0 ': ، إلخ. توضح هذه الصيغ الزيادة الحادة في كثافة المادة.

ومن ناحية أخرى، في حقبة كاسنر الأولى من العصر الجديد، كانت الدالة γ هي الأولى التي ارتفعت من أدنى قيمة γ ك = - Ω ك (1 - δ ك ) التي وصلت إليها في العصر السابق ؛ تلعب هذه القيمة دور سعة البداية δ ' 0 Ω' 0 لسلسلة التذبذبات الجديدة. من السهل الحصول على ما يلي:من الواضح أن δ ' 0 Ω' 0 > 0 Ω 0 . حتى في ك يست كبيرة جدا في زيادة السعة مهمة جدا: وظيفة ج = ه γ يبدأ ذبذبة من السعة . يتم ترك المسألة المتعلقة بالحالات "الخطيرة" المذكورة أعلاه من الانخفاض الحاد في حد التذبذب العلوي جانبًا في الوقت الحالي.

وفي هذا السياق، يمكن رؤيته من eq. 68 أن | α n + 1 | > | α n |، أي، تزداد اتساع التذبذب للوظائف α و خلال العصر بأكمله على الرغم من أن العوامل δ n قد تكون صغيرة. إذا كان الحد الأدنى في بداية العصر عميقًا، فلن يصبح الحد الأدنى التالي أقل ضحالة ؛ بمعنى آخر، البقايا | α - β | في لحظة الانتقال بين عهود كاسنر لا تزال كبيرة. لا يعتمد هذا التأكيد على طول العصر k لأن الانتقالات بين العصور يتم تحديدها من خلال القاعدة المشتركة eq. 37 كذلك لعصور طويلة.

تطور متري

وفي هذا السياق، تتوافق قيم u الكبيرة جدًا مع قوى كاسنرالتي هي قريبة من القيم (0، 0، 1). قيمتان قريبتان من الصفر، قريبتان كذلك من بعضهما البعض، وبالتالي فإن التغييرات في نوعين من الأنواع الثلاثة "للاضطرابات" (المصطلحات مع λ و μ و في الجوانب اليمنى من eq. 26 ) هي كذلك متشابهة جدا. إذا كانت هذه المصطلحات في بداية مثل هذا العصر الطويل قريبة جدًا من القيم المطلقة في لحظة الانتقال بين حقبتين من عهود كاسنر (أو تم إجراؤها بشكل مصطنع من خلال تعيين الشروط الأولية)، فستظل قريبة خلال الجزء الأكبر من طول الحقبة. في هذه الحالة (وتسمى حالة التذبذبات الصغيرة)، يصبح التحليل القائم على عمل نوع واحد من الاضطرابات غير صحيح ؛ يجب على المرء أن يأخذ في الاعتبار التأثير المتزامن لنوعين من الاضطراب.

لذلك

ومن جهة أخرى، يؤدي تغيير التسلسل X بخطوة واحدة إلى التحول التالي T لمربع الوحدة:

كذلك، وأخيرايحتوي هذا التعبير لδ الصورة اثنين فقط (بدلا من ثلاثة في ) كميات عشوائية و ، يفترض كل منها قيمًا في الفترة [0، 1].

ومن جهة أخرى، الكميات و لها توزيع ثابت مشترك P ( x +، x - ). منذ eq. 79e عبارة عن تحويل واحد إلى واحد، ويتم التعبير عن شرط أن يكون التوزيع ثابتًا ببساطة بواسطة معادلة دالةحيث J هو جاكوبي من التحول.

إضافةً إلى ذلك، من الواضح أن ST لديها أول متكامل H = 1 / x + y . على السطر H = const ≡ c، يكون للتحويل الشكل

في هذا الإطار، (مع و ، راجع. eq. 79e ). تحدد الكثافة P ( x، y ) المقياس الثابت لهذا التحول. من الطبيعي أن نفترض أن P ( x، y ) دالة متماثلة لـ x و y . هذا يعني أن المقياس ثابت فيما يتعلق بالتحول S ( x، y ) = ( y، x ) وبالتالي فيما يتعلق بالمنتج ST مع ST ( x، y ) = ( x ″، y ″ )،

كذلك، عند تقييم هذا التكامل (لـ 0 δ ≤ 1/2 ثم الاستفادة من التناظر المذكور أعلاه)، أخيرًا

إضافةً إلى ذلك، ومن ثم يجب أن تكون كثافة القياس الثابتة لـ ST من الشكلعند حساب التناظر P ( x، y ) = P ( y، x )، يصبح هذا f ( c ) = c −2 وبالتالي (بعد التطبيع)(تكامله على x + أو x - ينتج عنه الدالة w ( x ) eq. 74 ). تم استخدام تقليل التحول إلى رسم الخرائط واحد لواحد بالفعل بواسطة تشيرنوف وبارو وحصلوا على صيغة على شكل eq. 79g لكن للمتغيرات الأخرى ؛ ورقتهم لا تحتوي على تطبيقات للمشكلات التي تم النظر فيها في صيغة خلاتنيكوف.

(في حسابه يجب على المرء أن يلاحظ ذلك ).

ومن ناحية أخرى، يتبع من تعريف eq. 79c ذلك . ومن ثم فإن تحول التسلسل X بأكمله بخطوة واحدة إلى اليمين يعني تحولًا مشتركًا للكميات و وفقهذا تعيين واحد لواحد في مربع الوحدة . وبالتالي لدينا الآن تحويل واحد إلى واحد لكميتين بدلاً من تحويل ليس واحد إلى واحد Tx = {1 / x } لكمية واحدة.

ومن جهة أخرى، القيمة المتوسطة = 1/2 بالفعل نتيجة لتماثل الوظيفة P (δ). وبالتالي، فإن القيمة المتوسطة للسعة الأولية (في كل عصر) للتذبذبات للوظائف α، β، تزداد مثل Ω / 2.

كذلك، (w ( x) من eq. 74)،الذي يحدد وقت مضاعف لوغاريتمي يعني الفاصلة التي تحتوي على الصورة العصور المتعاقبة.للقيم والصور الكبيرة عدد من المصطلحات في eq. 81 كبير وبحسب النظريات العامة لنظرية إرغوديك، يتم توزيع قيم τ s حولها بحسب قانون جاوس مع الكثافةيعد حساب التباين D τ أكثر تعقيدًا لأنه ليس فقط معرفة و هناك حاجة كذلك ولكن كذلك من الارتباطات . يمكن تبسيط الحساب عن طريق إعادة ترتيب المصطلحات في مجموع eq. 81 . باستخدام eq. 81a يمكن إعادة كتابة المجموع كـ

وفي هذا السياق، eq. 79g يتم التحقق منها كذلك عن طريق الحساب المباشر؛ اليعقوبي من التحول eq. 79e هو

إضافةً إلى ذلك، بواسطة eq. 79d δ s من حيث الكميات العشوائية x + و x -، تتيح معرفة التوزيع المشترك بينهما حساب التوزيع الإحصائي P (δ) من خلال دمج P ( x +، x - ) على أحد المتغيرات بقيمة ثابتة δ. بسبب تناظر وظيفة eq. 79g فيما يتعلق بالمتغيرات x + و x -، P = P (1 - δ)، أي أن الوظيفة P (δ) متناظرة بالنسبة للنقطة δ = 1/2. ثم

علاوةً على ذلك، لا يزيد المصطلحان الأخيران مع زيادة s ؛ هذه الشروط يمكن أن يتم حذف مثل القوانين التي تحد عن الصورة الكبيرة هي التي تسيطر. ثم( eq. 79d for p في الاعتبار). إلى نفس الدقة (أي حتى الشروط التي لا تزيد مع ق ) المساواة

وعلى صعيد آخر، تم العثور على علاقة ذات دلالة إحصائية بين فترات زمنية كبيرة Ω وعدد من عصور الصورة الواردة فيها من خلال تطبيق المتكررة من eq. 77 :ومع ذلك، فإن حساب المتوسط المباشر لهذه المعادلة لا معنى له: بسبب الانخفاض البطيء في الوظيفة W ( k ) eq. 76، فإن متوسط قيم كمية exp ( s ) غير مستقرة بالمعنى أعلاه - تزداد التقلبات بسرعة أكبر من متوسط القيمة نفسها مع زيادة منطقة المتوسط. يتم التخلص من عدم الاستقرار هذا بأخذ اللوغاريتم: الفاصل الزمني "اللوغاريتمي المزدوج"يتم التعبير عنها بمجموع الكميات ξ ( p ) التي لها توزيع إحصائي ثابت. متوسط قيمة τ هو . لكي يحسب لاحظ أن eq. 77 يمكن إعادة كتابة eq. 77للتوزيع الثابت وبفضل تناظر الوظيفة P (δ) كذلك . لذلك

التحليل الإحصائي قرب التفرد

وفي السياق ذاته، الصيغ المتكررة تحديد الانتقالات بين العصور هي إعادة مكتوبة مع مؤشر الصورة ترقيم العصور المتعاقبة (وليس العهود كاسنر في حقبة معينة!)، ابتداء من عصر بعض (ق = 0) تعرف بأنها الأولي. Ω ( s ) و ε ( s ) هي، على التوالي، اللحظة الأولية وكثافة المادة الأولية في العصر s ؛ δ ( s ) Ω ( s ) هي سعة التذبذب الأولية لهذا الزوج من الوظائف α، β،، والتي تتأرجح في عصر معين: k ( s ) هو طول العصر s، و x ( s ) يحدد طول (عدد عهود كاسنر) للعصر التالي بحسب ـ k ( s +1) = [1 / x ( s ) ]. بحسب ـ eqs. 71 - 73.تم تقديم (ξ ( s ) في eq. 77 لاستخدامها لاحقًا).

وفي هذا الصدد، من أجل أن يكون للعصر s طولًا k، يجب أن ينتهي العصر السابق برقم x في الفاصل الزمني بين 1 / ( k + 1) و 1 / k . لذلك، فإن احتمال أن يكون للعصر طول ك يساوي (في الحد الثابت)عند قيم كبيرة لـ kفي ربط الخصائص الإحصائية للنموذج الكوني مع ارجوديك خصائص التحول س ق +1 = {1 / س ق} يجب ذكر نقطة مهمة. في تسلسل لا نهائي من الأرقام x التي تم إنشاؤها بحسب هذه القاعدة، ستتم ملاحظة قيم x الصغيرة (ولكن لا تتلاشى أبدًا) بشكل تعسفي مقابل أطوال كبيرة بشكل تعسفي k. يمكن لمثل هذه الحالات (بأي حال من الأحوال بالضرورة!) أن تؤدي إلى بعض المواقف المحددة عندما تتبادل فكرة العصور، كما هو الحال في تسلسل عهود كاسنر، بعضها البعض بحسب القاعدة eq. 37، يفقد معناه (على الرغم من أن الوضع التذبذب لتطور النموذج لا يزال قائماً). يمكن أن يتجلى مثل هذا الوضع "الشاذ"، مثلًا، في ضرورة الاحتفاظ بالجانب الأيمن من eq. 26 مصطلحًا ليس فقط مع إحدى الوظائف أ، ب، ج (مثلًا، أ 4 )، كما هو الحال في التبادل "العادي" لعصر كاسنر، ولكن في نفس الوقت مع اثنين منهم (مثلًا، أ 4، ب 4، أ 2 ب 2 ).

في هذا الإطار، حيث λ a، μ a، s 1، s 2 هي وظائف تعسفية لجميع الإحداثيات الثلاثة x، y، z، المرتبطة بشروط أخرى

وعلى صعيد آخر، من الملائم متوسط التعبيرات التي تعتمد في وقت واحد على 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، يتم الحصول على

في هذا الإطار، إذا كان التوزيع w s ( x ) يميل إلى زيادة s إلى توزيع محدد ثابت (مستقل عن s ) w ( x )، فيجب أن يفي الأخير بمعادلة تم الحصول عليها من eq. 73c بإسقاط مؤشرات الدوالين w s −1 ( x ) و w s ( x ). هذه المعادلة لها حل(تم تطبيعه إلى الوحدة ويؤخذ إلى الدرجة الأولى من x ). was known already to Gauss, and an equation of type was considered in this connection by Rodion Kuzmin (see Gauss–Kuzmin distribution). Further information on the chaotic behaviour and entropy of continued fractions in Linas Vepstas. 2008. Entropy of Continued Fractions (Gauss-Kuzmin Entropy)

علاوةً على ذلك، قيمة X (s) = X، والتي تنتهي في ليالي عصر s-th، يمكن أن تنجم عن الأولي (لهذا العصر) القيم ، حيث ك = 1، 2، ... ؛ هذه القيم تتوافق مع القيم x ( s –1) = 1 / ( k + x ) للعصر السابق. مع ملاحظة ذلك، يمكن للمرء أن يكتب علاقة التكرار التالية، والتي تعبر عن توزيع الاحتمالات w s (x) من حيث التوزيع w s –1 ( x ):

ومن جهة أخرى، القيمة المتوسطة ، المحسوبة من هذا التوزيع، تتباعد لوغاريتميًا. للحصول على تسلسل، مقطوع عند عدد كبير جدًا، ولكنه لا يزال محدودًا، N، واحد لديه . فائدة المتوسط في هذه الحالة محدودة للغاية بسبب عدم استقراره: بسبب الانخفاض البطيء لـ W ( k )، تتباعد التقلبات في k أسرع من متوسطها. السمة الأكثر ملاءمة لهذا التسلسل هي احتمال أن ينتمي الرقم المختار عشوائيًا منه إلى عصر بطول K حيث يكون K كبيرًا. هذا الاحتمال هو ln K / ln N. إنه صغير إذا . في هذا الصدد، يمكن للمرء أن يقول إن رقمًا تم اختياره عشوائيًا من تسلسل معين ينتمي إلى عصر طويل مع احتمال كبير.

كذلك، من الممكن التحول إلى وصف احتمالي لمثل هذا التسلسل من خلال عدم مراعاة قيمة أولية محددة x (0) ولكن القيم x (0) = x الموزعة في الفترة من 0 إلى 1 بحسب قانون توزيع احتمالي معين ث 0 ( x ). ثم قيم x (s) التي تنتهي كل عصر سيكون لها كذلك توزيعات تتبع قوانين معينة w s (x) . لنفترض أن w s (x) dx هو احتمال أن ينتهي العصر s بالقيمة الكذب في فترة زمنية محددة dx .

علاوةً على ذلك، يتوافق هذا التوسيع مع تحويل الفاصل الزمني [0، 1] إلى نفسه بواسطة الصيغة Tx = {1 / x }، أي x s +1 = {1 / x s }. ينتمي هذا التحول إلى ما يسمى بتحولات التوسع للفاصل الزمني [0، 1]، أي التحويلات x → f ( x ) مع | و ′ ( س ) | > 1. تمتلك هذه التحولات خاصية عدم الاستقرار الأسي: إذا أخذنا في البداية نقطتين قريبتين، فإن المسافة المتبادلة بينهما تزداد إلى حدّ كبير في ظل تكرارات التحولات. من المعروف أن عدم الاستقرار الأسي يؤدي إلى ظهور خصائص عشوائية قوية.

في هذا الإطار، إن عملية استرخاء النموذج الكوني إلى النظام الإحصائي "الثابت" (مع بدء t → 0 من "لحظة أولية" معينة) أقل إثارة للاهتمام، مع ذلك، من خصائص هذا النظام نفسه مع أخذ الاعتبار الواجب للخرسانة. قوانين تغير الخصائص الفيزيائية للنموذج خلال العصور المتعاقبة.

من جانب آخر، عند الخروج من سلسلة "شاذة" من التذبذبات، يتم استعادة سلسلة من العصور المنتظمة. التحليل الإحصائي لسلوك النموذج الذي يعتمد بالكامل على التكرارات المنتظمة للتحولات eq. 42 من خلال نظرية مهمة: يميل احتمال ظهور الحالات الشاذة بشكل مقارب إلى الصفر حيث أن عدد التكرارات s → ∞ (أي الوقت t → 0) الذي تم إثباته في نهاية هذا القسم. تعود صحة هذا التأكيد إلى حد كبير إلى المعدل السريع جدًا للزيادة في اتساع التذبذب خلال كل عصر وخاصة في الانتقال من عصر إلى آخر.

ومن ناحية أخرى، يتم الحصول على فكرة عن المعدل الذي يتم به تعيين التوزيع الثابت من المثال التالي. دع القيم الأولية x (0) توزع في فاصل زمني ضيق للعرض δ x (0) حول بعض الأرقام المحددة. eq. 73c علاقة التكرار. eq. 73c (أو مباشرة من التوسع eq. 73a ) من السهل استنتاج أن عروض التوزيعات w s ( x ) (حول أرقام محددة أخرى) ستكون عندئذٍ مساوية لـ(هذا التعبير صالح فقط طالما أنه يحدد الكميات δ x (s) 1).

في هذا الإطار، يكتسب تسلسل أطوال الحقبة k ( s )، المقاسة بعدد فترات كاسنر الموجودة فيها، طابع عملية عشوائية مقاربًا. الأمر نفسه يتعلق كذلك بتسلسل تقاطعات أزواج الوظائف المتذبذبة عند الانتقال من عصر إلى آخر (يعتمد ذلك على ما إذا كانت الأرقام k ( s ) زوجية أو فردية). مصدر هذه العشوائية هو eqs. 41 - 42 التي بموجبها يتم تحديد الانتقال من عصر إلى آخر في تسلسل عدد لا نهائي من قيم u. تنص هذه القاعدة، بعبارة أخرى، على أنه إذا بدأ التسلسل اللانهائي بأكمله بقيمة أولية معينة ، ثم أطوال العصور ك (0)، ك (1)، ...، هي الأرقام في توسيع الكسر المستمر.

إضافةً إلى ذلك، جمع هذا التوزيع على k يعيدنا إلى eq. 74، والتكامل فيما يتعلق dx إلى eq. 75.

وعلى صعيد آخر، الكميات δ ( 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 ككسر مستمر لانهائي.(راحة إدخال الترميز مع تحويل الفهرس بمقدار 1 سيصبح واضحًا في ما يلي). للتدوين المختصر، يُشار إلى الكسر المستمر ببساطة عن طريق تعداد قواسمه (بين قوسين معقوفين) ؛ ثم تعريف يمكن كتابتها كـيتم تحديد الكميات العكسية بواسطة كسر مستمر مع تسلسل إلى الوراء (في اتجاه المؤشرات المتناقصة) من القواسمeq. 78 علاقة التكرار. eq. 78 عن طريق إدخال التدوين η s = (1 - δ s ) / δ s مؤقتًا. ثم eq. 78 يمكن إعادة كتابة eq. 78

عن طريق التكرار يتم الحصول على جزء مستمر لانهائي

من eq. 50 واحد يحصل

ومن جهة أخرى، يتم الحصول على قانون تغيير الكثافة خلال الحقبة الطويلة قيد المناقشة عن طريق استبدال eq. 52 في eq. 20 :عندما تتغير من ξ 0 إلى ξ ≈1، تزداد الكثافة مرات.

وفي هذا الصدد، هذه النتائج تصور تطورًا مشابهًا نوعيًا لذلك الموصوف أعلاه. خلال فترة زمنية طويلة تتوافق مع قيمة ξ متناقصة كبيرة، تتأرجح الوظيفتان 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. 48 eq. 51 وتوسيع ه α و β الإلكترونية في سلسلة بحسب تقريب أعلاه، واحد يحصل أخيرا: In a more precise calculation, a slowly changing logarithmic term appears in the sine argument, and a multiplier appears in front the exponent in the expression for с(ξ), see .يتم الحصول على العلاقة بين المتغير ξ والوقت t من خلال تكامل التعريف dt = abc d τ الذي يعطييجب أن يكون الثابت c 0 (قيمة с عند ξ = ξ 0 ) الآن c 0 α 0 ·

وفي السياق ذاته، كما كان من قبل، لدى المرء معادلة 49 بنفس الرموز، وبالتالي، التعابير السابقة eq. 52 للوظائف a (ξ) و b (ξ)، ولكن تم استبدال 50

ومن جهة أخرى، إذا خلال حقبة طويلة، وظيفة خفض مفردة النغمة هي، لا شيء يتغير في التحليل السابق: تجاهل 2 على الجانب الأيمن من المعادلات 26 و 28، ويعود إلى نفس المعادلات 49 و 50 (مع تدوين تغير). ومع ذلك، تحدث بعض التغييرات إذا كانت الوظيفة المتناقصة بشكل رتيب هي b أو c ؛ فليكن c.

من جهة ثانية، حيث k ثابت في النطاق - 1 < ك <1 ؛ يضمن هذا الشرط أن المصطلح الأخير في eq. 49 صغير (يحتوي sh 2χ على ξ 2 ك و ξ −2 ك ). ثم، بعد تحديد α و و t، يحصل المرء علىهذا مرة أخرى هو وضع كاسنر مع وجود قوة t السالبة في الوظيفة c ( t ). If in , one substitutes sh 2χ with 2χ and solves it for all values of ξ, one obtains χ = c1J0(ξ) + c2N0(ξ) where J0, N0 are Bessel functions of the I and II kind. This solution interpolates between the two limiting cases and allows to relate by an order of magnitude the constant parameters in and .

من جهة ثانية، دعونا ننظر الآن في المجال ξ 1. هنا المصطلحات الرئيسية في حل eq. 49 هم:

وعلى صعيد آخر، يجب التأكيد على أنه على الرغم من أن الوظيفة 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.

مجال الوقت الصغير

إضافةً إلى ذلك، خلال كل حقبة كاسنر 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 n هي n . في كل لحظة أولية، تكون إحدى القيمتين α أو صفرًا، بينما تحتوي الأخرى على حد أدنى. القيم α أو في الحدود الدنيا المتتالية، أي في اللحظات n

وفي هذا السياق، فقط مع المصطلحات التي تتوافق مع القيم الكبيرة لـ u مكتوبة. عندما يزيد k، يزداد هذا المجموع بمقدار ln k . لكن احتمالية ظهور حقبة ذات طول كبير k تقل بمقدار 1 / k 2 بحسب ـ eq. 76 ؛ ومن ثم فإن القيمة المتوسطة للمبلغ أعلاه محدودة. وبالتالي، فإن الاختلاف المنهجي للكمية ln Λ على مدى عدد كبير من العصور سيكون متناسبًا مع هذا الرقم. ولكن يتم رؤيته في eq. 85 أنه مع t → 0، يزيد الرقم s فقط مثل ln | ln t |. وبالتالي في الحد المقارب لـ t صغير بشكل تعسفي، يمكن بالفعل إهمال المصطلح ln Λ بالمقارنة مع ln t . في هذا التقريب Since a, b, c have the dimension of length, their logarithms are defined only up to an additive constant which depends on the choice of the length units; in this sense has a conditional meaning corresponding to a certain choice of the zero value of α, β, γ.

في هذا الإطار، بالنظر إلى مثل هذا التغيير الفوري للعصور، يتم تجاهل الفترات الانتقالية على أنها صغيرة مقارنة بطول الحقبة ؛ تم استيفاء هذا الشرط في الواقع. According to , transitions are large with small |p1| (i. e. large u) and are ≈1/|p1| ~ u. But even in this case Δn ~ un |αn| un يتطلب استبدال α و β و الحد الأقصى بأصفار أن تكون الكميات ln (| p 1 | Λ) صغيرة بالمقارنة مع اتساع تذبذبات الوظائف المعنية. كما ذكر أعلاه، أثناء الانتقال بين العصور | ص 1 | يمكن أن تصبح القيم صغيرة جدًا بينما لا يرتبط حجمها واحتمال حدوثها بمدى التذبذب في اللحظة المعنية. لذلك، من حيث المبدأ، من الممكن الوصول إلى هذا الحجم الصغير | ص 1 | القيم التي تم انتهاك الشرط أعلاه (صفر حد أقصى). يمكن أن يؤدي هذا الانخفاض الحاد في α max إلى مواقف خاصة مختلفة يكون فيها الانتقال بين فترات كاسنر بواسطة القاعدة eq. 37 غير صحيح (بما في ذلك الحالات المذكورة أعلاه ). هذه المواقف "الخطيرة" يمكن أن تخرق القوانين المستعملة في التحليل الإحصائي أدناه. ومع ذلك، وكما ذكرنا، فإن احتمال مثل هذه الانحرافات يتقارب بشكل مقارب إلى الصفر ؛ سيتم مناقشة هذه المسألة أدناه.

ومن جهة أخرى، ضع في اعتبارك حقبة تحتوي على فترات k كاسنر مع وجود معلمة u تعمل عبر القيمولنفترض أن α و هما الوظيفتان المتذبذبتان خلال هذا العصر (الشكل 4). Fixing the limits of the era according to eq. is meaningful because in such case the era contains all epochs in which the third function, γ(t) decreases monotonously. If the era is defined by the sequence of u values from k + x to 1 + x, then the monotonous decrease of γ(t) will continue during the first epoch of the next era.

علاوةً على ذلك، تنتهك العصور الطويلة المسار "المنتظم" للتطور مما يجعل من الصعب دراسة تطور الفترات الزمنية التي تمتد عبر عدة عصور. ومع ذلك، يمكن إثبات أن مثل هذه الحالات "غير الطبيعية" تظهر في التطور التلقائي للنموذج إلى نقطة مفردة في الأوقات الصغيرة المتقاربة t على مسافات كبيرة بما يكفي من نقطة البداية ذات الظروف الأولية التعسفية. حتى في العصور الطويلة، تظل كلتا الوظيفتين المتذبذبتين أثناء التحولات بين عهود كاسنر مختلفة تمامًا لدرجة أن الانتقال يحدث تحت تأثير اضطراب واحد فقط. جميع النتائج في هذا القسم تتعلق بنفس القدر بنماذج من النوعين الثامن والتاسع.

ومن ناحية أخرى، حيث Ω تشير إلى "الوقت اللوغاريتمي"ويمكن اعتبار عملية تحولات الحقبة على أنها سلسلة من الومضات الزمنية القصيرة. تخضع مقادير الحد الأقصى لوظائف المقياس المتذبذب كذلك لتغير منهجي. من eq. 39 أجل u ≫ 1 يتبع ذلك . بالطريقة نفسها التي تم إجراؤها أعلاه للكمية ln Λ، يمكن للمرء بالتالي أن يستنتج أن متوسط الانخفاض في ارتفاع الحد الأقصى خلال حقبة ما محدود وأن الانخفاض الكلي على مدى عدد كبير من العصور يزداد مع t → 0 فقط مثل ln Ω. في الوقت نفسه، يتم تخفيض الحد الأدنى، وبنفس الطريقة، زيادة سعة التذبذبات، ( eq. 77 ) بما يتناسب مع Ω. بالتوافق مع التقريب المعتمد، يتم إهمال خفض الحد الأقصى بالمقارنة مع زيادة السعات بحيث تكون α max = 0، β max = 0، γ max = 0 للقيم القصوى لجميع الوظائف المتذبذبة والكميات α،، γ قم بتشغيل فقط من خلال القيم السالبة التي ترتبط ببعضها البعض في كل لحظة من الوقت بواسطة العلاقة eq. 63 .

ومن ناحية أخرى، (لا يميز الحدود الدنيا α و β). يمكن للقيم δ n التي تقيس تلك الحدود الدنيا في وحدات n ذات الصلة أن تعمل بين 0 و 1. الوظيفة γ تتناقص بشكل رتيب خلال هذا العصر ؛ حسب eq. 63 قيمتها باللحظة Ω n هيخلال الحقبة التي تبدأ من اللحظة Ω n وتنتهي في اللحظة Ω n +1 تزيد إحدى الوظائف α أو β من −δ n Ω n إلى الصفر بينما تقل الأخرى من 0 إلى −δ n +1 Ω n +1 بالخطي القوانين، على التوالي:

ما رأيك في هذه المقالة؟

📝 هل في هذه المقالة خطأ؟

إذا وجدت معلومة تحتاج تصحيحاً أو إضافة، أو أردت حذف المقالة، أرسل لنا طلباً وسنراجعه.