شكلية المفعول العدسي التثاقلي (بالإنجليزية: Gravitational lensing formalism) في النسبية العامة، تُحيد الكتلة النقطية المحددة شعاعًا من الضوء بمعامل صدم b وزاوية تعادل تقريبًا:
حيث G هي ثابت الجاذبية، وm هي كتلة الجسم العاكس وc هي سرعة الضوء. يمكن أن يؤدي التطبيق الساذج لقانون الجذب العام لنيوتن إلى نصف القيمة بالضبط، حيث يفترض شعاع الضوء كجسيم له كتلة وتبعثر بالقدرة التثاقلية. تكون تلك القيمة التقريبية جيدة عندما يكون معامل الصدم صغيرًا.
في المواقف التي تكون فيها النسبية العامة مقربة بالجاذبية الخطية، يمكن كتابة الانحراف نتيجة الكتلة الممتدة في المكان ببساطة كإجمالي معامل على الكتل النقطية. في التواصلية المقيدة، يصبح ذلك جزءً مكملا للكثافة ρ وإذا كان الانحراف صغيرًا يمكن تقريب القدرة التثاقلية بطول المسار المنحرف على القدرة بطول المسار غير المنحرف، كما في تقريب بورن في ميكانيكا الكم. يكون الانحراف إذًا:
حيث z هي إحداثي خط الرؤية، و b→ هو معامل الصدم لمسار الشعاع الفعلي من الكتلة متناهية الصغر (معادلة) الموضوعة على الإحداثي .[1]
تقريب العدسة النحيفة
[عدل] في حدود "العدسة النحيفة"، حيث تكون المسافات بين المصدر والعدسة والملاحظ أكبر كثيرًا حجم العدسة (وهذا صحيح بالنسبة لكل الأجسام الفلكية)، يمكننا تعريف كثافة الكتلة
حيث ξ→′هو متجه في مستوى السماء. فإن زاوية الانحراف هي:
كما يظهر في النموذج التوضيحي على اليمين، فإن الاختلاف بين الموقع الزاوي بلا عدسة β→ والموقع المرصود θ→ هو زاوية الانحراف، مخفضة بالنسبة بين المسافات، الموصوفة في معادلة العدسة.
حيث Dds هو المسافة من العدسة إلى المصدر، وDs هو المسافة من الملاحظ إلى المصدر، وDd هو المسافة من الملاحظ إلى العدسة. للعدسات العابرة للمجرات، يتحتم أن تكون تلك مسافات زاوية قطرية.
في العدسات التثاقلية القوية، يمكن أن يكون لهذه المعادلة حلولًا عدة، لأن المصدر الواحد عند β→ يمكن تصويره إلى عدة صور.
القدرة الانحرافية والتقريبية
[عدل] زاوية الانحراف المنخفضة يمكن كتابتها كالآتي:
حيث نعرِّف التقريب:
والسطح الحرج للكثافة (لا يجب الارتباك بينه وبين الكثافة الحرجة للكون)
يمكن تعريف قدرة الانحراف
مثل هذه الزاوية الانحرافية هي تدريج للقدرة والتقريب هو نصف لابلاسية القدرة:
يمكن كتابة القدرة الانحرافية كإسقاط مدرج للجاذبية النيوتنية Φ للعدسة[2]
المفعول العدسي الجاكوبي
[عدل] الجاكوبية بين النظم الإحداثية العدسية واللاعدسية هو:
حيث δij هو دلتا كرونكر. لأن مصفوفة المشتقات الثانوية يجب أن تكون متناظرة، يمكن تفكيك الجاكوبية إلى حد ثنائي يشمل التقريب وحد بلا أثر يشمل γ
حيث ϕ هو الزاوية بين α→ ومحور x. الحد المتضمن للتقريب يكبر الصورة بزيادة الحجم بينما يحافظ على سطوع السطح. الحد الذي يشمل القطع يؤدي إلى امتداد الصورة مماسيًّا حول العدسة.
القطع المُعرَّف هنا لا يساوي القطع المعرَّف تقليديًّا في الرياضيات، بالرغم من أن كلاهما يمد الصورة بطريقة غير متساوية.
هناك طريقة بديلة لاشتقاق معادلة العدسة، تبدأ من وقت وصول الإلكترون (سطح فيرمات)
حيث dz/c هو وقت السفر في خط متناه الصغر على مدى الخط المستقيم للمصدر-الملاحظ في الفراغ، والذي يُصحح بالعامل
للحصول على عنصر الخط بطول المسار المنحني
بزاوية صغيرة الدرجة متغيرة α(z) ومعامل الانحراف هو n للأثير؛ أي المجال التثاقلي. يمكن الحصول على الأخير من حقيقة أن الفوتون يسافر على جيوديسية لاغية لكون مينكوفسكي المستقر ضعيف الاضطراب
حيث تكون القدرة التثاقلية غير الفردية Φ≪c2 دافعة للتغيير في سرعة الضوء
الحد الأول هو زمن السفر في المسار المستقيم، والحد الثاني هو المسار الهندسي الإضافي، والحد الثالث هو التأخر التثاقلي. قم بالتقريب المثلثي ليكون للمسار بين الملاحظ والعدسة، و للمسار بين العدسة والمصدر. يصبح التأخر الهندسي (كيف؟ لا يوجد Ds على اليسار. لا يمكن إضافة المسافات الزاوية القطرية بطريقة بسيطة، عموما) وبالتالي يصبح سطح فيرمات كالآتي
حيث تكون τ التأخر الزمني اللابعدي، والقدرة العدسية ثنائية البعد
تقع الصور على أقصى هذا السطح، وبالتالي فإن الاختلاف في t بـθ→ يساوي صفر،
وفي معادلة العدسة. خذ معادلة بويسون للقدرة ثلاثية الأبعاد ونجد القدرة العدسية ثنائية الأبعاد
هنا نجد أن العدسة هي تجميع للكتل النقطية Mi في الإحداثيات الزاوية θ→i والمسافات (معادلة). استخدم (معادلة) للـx الصغيرة جدًا التي نجدها.
يمكن للمرء حساب التقريب بتطبيق اللابلاسية للقدرة العدسية ثنائية الأبعاد
بالاتفاق مع التعريف السابق كنسبة لكثافة المسقط مع الكثافة الحرجة. هنا نستخدم و يمكن تأكيد التعريف السابق لزاوية الانحراف المنخفضة حيث θEi هو ما يدعى القطر الزاوي لأينشتاين للعدسة النقطية Mi. لعدسة نقطية مفردة في النقطة الصفرية نسترجع النتيجة المعيارية بأنه يوجد صورتان لحلين للمعادلة التربيعية
يمكن الحصول على المصفوفة المضاعفة بمضاعفة المشتقات للتأخر الزمني اللابعدي
بينما نعرف المشتقات
والذي يأخذ معنى التقريب والقطع. التكبير هو عكس الجاكوبية
حيث A الموجبة تعني القيمة القصوى أو الدنيا والسالبة تعني نقطة سرجية في سطح الوصول. لنقطة عدسية مفردة يمكن أن يظهر التالي
وبالتالي فإن تكبير النقطة يُعطى كالآتي
تنحرف A للصور عند قطر أينشتاين θE.
في حالات أن هناك نقط عدسية متعددة علاوة على خلفية ناعمة للجسيمات (المظلمة) لكثافة السطح Σcrκsmooth، فإن وقت الوصول للسطح
لحساب التكبير، مثل: عند النقط الصفرية (0,0)، بسبب تماثل الكتل النقطية الموزعة عند (θxi,θyi)علينا أن نضيف القطع الكلي ونضمن تقريب الخلفية الناعمة
يخلق ذلك شبكة من المنحنيات الحرجة، الخطوط الموصلة لنقط الصور للتكبير اللامتناهي.
العدسات الضعيفة العامة
[عدل] في العدسية الضعيفة بالبناء واسع المدى، يمكن أن يتعطل تقريب العدسة النحيفة، والأبنية الممتدة ذات الكثافة المنخفضة لا تُقرب بالمستويات المتعددة نحيفة العدسة. في هذه الحالة، يمكن أن يشتق الانحراف بافتراض أن القدرة التثاقلية تختلف في كل مكان ببطء (لهذا السبب، لا يصح تطبيق هذا التقريب للعدسات القوية). تفترض تلك المقاربة أن الكون موصوف جيدًا بالقانون النيوتني لإحداثيات روبرتسون-ووكر، لكنها لا تضيف أي افتراضات أخرى عن توزيع الكتلة العدسية. كما في حالة العدسة النحيفة، يمكن كتابة التأثير كخريطة من الموقع الزاوي اللاعدسي β→ إلى الموقع العدسي θ→. جاكوبية الانتقال يمكن كتابتها كمكمل على القدرة التثاقلية Φ بطول خط الرؤية[3]
حيث r هي مسافة المسايرة، و xiهو المسافة المستعرضة، و
هي عدسية كيرنل، والتي تُعرِّف كفاءة العدسة لتوزيع المصادر W(r) الجاكوبية Aij يمكن تفكيكها إلى حدود التقريب والقطع كما حدث في حالة العدسة النحيفة، وفي حدود عدسة نحيفة وضعيفة في نفس الوقت، تكون التفسيرات الفيزيائية بالمثل.