كثافة الموتر

في الهندسة التفاضلية ، تُعدّ كثافة الموتر أو الموتر النسبي تعميمًا لمفهوم حقل الموتر . تتحول كثافة الموتر كحقل موتر عند الانتقال من نظام إحداثيات إلى آخر (انظر حقل الموتر )، باستثناء أنها تُضرب أو تُوزن بمعامل إضافي.دبليو{\displaystyle W}يُعرَّف مُحدِّد جاكوبي لدالة انتقال الإحداثيات أو قيمته المطلقة. تُسمى كثافة الموتر ذات المؤشر الواحد كثافة متجهة . ويُفرَّق بين كثافات الموتر (الحقيقية)، وكثافات الموتر الزائفة، وكثافات الموتر الزوجية، وكثافات الموتر الفردية. أحيانًا تكون كثافات الموتر ذات الوزن السالبدبليو{\displaystyle W}تُسمى هذه السعة بسعة الموتر. [ 1 ] [ 2 ] [ 3 ] ويمكن اعتبار كثافة الموتر أيضًا مقطعًا من حاصل ضرب الموتر لحزمة موتر مع حزمة كثافة .

تحفيز

في الفيزياء والمجالات ذات الصلة، من المفيد غالبًا التعامل مع مكونات الكائن الجبري بدلًا من الكائن نفسه. ومن الأمثلة على ذلك تحليل متجه إلى مجموع متجهات أساسية مُرجّحة بمعاملات معينة، مثل: v=ج1هـ1+ج2هـ2+ج3هـ3{\displaystyle {\vec {v}}=c_{1}{\vec {e}}_ {1}+c_{2}{\vec {e}}_{2}+c_{3}{\vec {e}}_{3}} أينv{\displaystyle {\vec {v}}}هو متجه في الفضاء الإقليدي ثلاثي الأبعاد ،جأناR1 و هـأنا{\displaystyle c_{i}\in \mathbb {R} ^{1}{\text{ and }}{\vec {e}}_{i}}هي متجهات الأساس القياسية المعتادة في الفضاء الإقليدي. وهذا ضروري عادةً لأغراض الحساب، وقد يكون مفيدًا عندما تمثل الكائنات الجبرية تجريدات معقدة ولكن لمكوناتها تفسيرات محددة. مع ذلك، عند استخدام هذا التعريف، يجب توخي الحذر لتتبع تغييرات الأساس الذي تُوسّع فيه الكمية؛ فقد يصبح من المناسب أثناء الحساب تغيير الأساس بينما يكون المتجهv{\displaystyle {\vec {v}}}يظل ثابتًا في الفضاء الفيزيائي. وبشكل أعم، إذا مثّل كائن جبري كائنًا هندسيًا، ولكن تم التعبير عنه بدلالة أساس معين، فمن الضروري، عند تغيير الأساس، تغيير التمثيل أيضًا. غالبًا ما يُطلق الفيزيائيون على هذا التمثيل للكائن الهندسي اسم " موتر" إذا تحوّل تحت سلسلة من التحويلات الخطية عند تغيير الأساس خطيًا (مع أن البعض الآخر، بشكل مُربك، يُطلق على الكائن الهندسي الأساسي الذي لم يتغير تحت تحويل الإحداثيات اسم "موتر"، وهو اصطلاح تتجنبه هذه المقالة تمامًا). بشكل عام، توجد تمثيلات تتحول بطرق عشوائية اعتمادًا على كيفية إعادة بناء الثابت الهندسي من التمثيل. في بعض الحالات الخاصة، يكون من الملائم استخدام تمثيلات تتحول تقريبًا مثل الموترات، ولكن مع عامل إضافي غير خطي في التحويل. مثال نموذجي على ذلك هو مصفوفة تمثل الضرب الاتجاهي (مساحة متوازي الأضلاع الممتد) علىR2.{\displaystyle \mathbb {R} ^{2}.} يتم تمثيل ذلك في الأساس القياسي بواسطة u×v=[u1u2][01-10][v1v2]=u1v2-u2v1{\displaystyle {\vec {u}}\times {\vec {v}}={\begin{bmatrix}u_{1}&u_{2}\end{bmatrix}}{\begin{bmatrix}0&1\\-1&0\end{bmatrix}}{\begin{bmatrix}v_{1}\\v_{2}\end{bmatrix}}=u_{1}v_{2}-u_{2}v_{1}}

إذا حاولنا الآن التعبير عن هذا التعبير نفسه في أساس آخر غير الأساس القياسي، فإن مركبات المتجهات ستتغير، على سبيل المثال وفقًا لـ[u1u2]تي=أ[u1u2]تي{\textstyle {\begin{bmatrix}u'_{1}&u'_{2}\end{bmatrix}}^{\textsf {T}}=A{\begin{bmatrix}u_{1}&u_{2}\end{bmatrix}}^{\textsf {T}}}أينأ{\displaystyle A}هي مصفوفة من الأعداد الحقيقية بحجم 2×2. وبما أن مساحة متوازي الأضلاع الممتد ثابتة هندسياً، فلا يمكن أن تتغير بتغيير الأساس، وبالتالي فإن التمثيل الجديد لهذه المصفوفة يجب أن يكون: (أ-1)تي[01-10]أ-1{\displaystyle \left(A^{-1}\right)^{\textsf {T}}{\begin{bmatrix}0&1\\-1&0\end{bmatrix}}A^{-1}} والتي، عند توسيعها، هي مجرد التعبير الأصلي ولكن مضروبًا في محددأ-1،{\displaystyle A^{-1},}وهو أيضاً1المحققأ.{\textstyle {\frac {1}{\det A}}.} في الواقع، يمكن اعتبار هذا التمثيل بمثابة تحويل موتر ذي مؤشرين، ولكن بدلاً من ذلك، من الأسهل حسابيًا اعتبار قاعدة تحويل الموتر بمثابة ضرب في1المحققأ،{\textstyle {\frac {1}{\det A}},}بدلاً من ضرب المصفوفات مرتين (في الواقع، في الأبعاد الأعلى، يكون الامتداد الطبيعي لذلك هون،ن×ن{\displaystyle n,n\times n}عمليات ضرب المصفوفات، والتي بالنسبة للمصفوفات الكبيرةن{\displaystyle n}(غير ممكن تمامًا). تسمى الكائنات التي تتحول بهذه الطريقة بكثافات الموتر لأنها تنشأ بشكل طبيعي عند النظر في المشكلات المتعلقة بالمساحات والأحجام، وبالتالي يتم استخدامها بشكل متكرر في التكامل.

تعريف

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

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

في هذه المقالة، اخترنا الاصطلاح الذي يُخصص وزنًا قدره +2 لـز=المحقق(زρσ){\displaystyle g=\det \left(g_{\rho \sigma }\right)}، وهو محدد موتر القياس المُعبَّر عنه بمؤشرات متغيرة . وبهذا الاختيار، تُمثَّل الكثافات الكلاسيكية، مثل كثافة الشحنة، بكثافات موترية وزنها +1. يستخدم بعض المؤلفين اصطلاح إشارة للأوزان وهو عكس الاصطلاح المُقدَّم هنا. [ 4 ]

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

كثافات الموتر وكثافات الموتر الزائف

على سبيل المثال، كثافة موتر من الرتبة الثانية المختلطة (الأصلية) ذات وزندبليو{\displaystyle W}يتحول إلى: [ 5 ] [ 6 ]

تيβα=(المحقق[x¯أناxγ])دبليوxαx¯دلتاx¯ϵxβتي¯ϵدلتا،{\displaystyle {\mathfrak {T}}_{\beta }^{\alpha }=\left(\det {\left[{\frac {\partial {\bar {x}}^{\iota }}{\partial {x}^{\gamma }}}\right]}\right)^{W}\,{\frac {\partial {x}^{\alpha }}{\partial {\bar {x}}^{\delta }}}\,{\frac {\partial {\bar {x}}^{\epsilon }}{\partial {x}^{\beta }}}\,{\bar {\mathfrak {T}}}_{\epsilon }^{\delta }\,,}    كثافة الموتر (الأصلية) ذات الوزن (الصحيح)دبليو{\displaystyle W})

أينتي¯{\displaystyle {\bar {\mathfrak {T}}}}هي كثافة الموتر من الرتبة الثانية فيx¯{\displaystyle {\bar {x}}}نظام الإحداثيات،تي{\displaystyle {\mathfrak {T}}}هي كثافة الموتر المحولة فيx{\displaystyle {x}}نظام إحداثيات؛ ونستخدم محدد جاكوبي . ولأن المحدد قد يكون سالبًا، كما هو الحال في تحويل الإحداثيات الذي يعكس الاتجاه، فإن هذه الصيغة قابلة للتطبيق فقط عندمادبليو{\displaystyle W}هو عدد صحيح. (مع ذلك، انظر كثافات الموترات الزوجية والفردية أدناه.)

نقول إن كثافة الموتر هي كثافة شبه موتر عندما يحدث انعكاس إضافي للإشارة تحت تحويل إحداثيات يعكس الاتجاه. كثافة شبه موتر مختلطة من الرتبة الثانية وزنهادبليو{\displaystyle W}يتحول مع

تيβα=علامة(المحقق[x¯أناxγ])(المحقق[x¯أناxγ])دبليوxαx¯دلتاx¯ϵxβتي¯ϵدلتا،{\displaystyle {\mathfrak {T}}_{\beta }^{\alpha }=\operatorname {sgn} \left(\det {\left[{\frac {\partial {\bar {x}}^{\iota }}{\partial {x}^{\gamma }}}\right]}\right)\left(\det {\left[{\frac {\partial {\bar {x}}^{\iota }}{\partial {x}^{\gamma }}}\right]}\right)^{W}\,{\frac {\partial {x}^{\alpha }}{\partial {\bar {x}}^{\delta }}}\,{\frac {\partial {\bar {x}}^{\epsilon }}{\partial {x}^{\beta }}}\,{\bar {\mathfrak {T}}}_{\epsilon }^{\delta }\,,}    (كثافة الموتر الزائف للوزن (الصحيح)دبليو{\displaystyle W})

حيث sgn ({\displaystyle \cdot }) هي دالة تُرجع +1 عندما يكون وسيطها موجبًا أو −1 عندما يكون وسيطها سالبًا.

كثافات الموترات الزوجية والفردية

تتميز التحويلات الخاصة بكثافات الموترات الزوجية والفردية بأنها محددة جيدًا حتى عندمادبليو{\displaystyle W}ليس عددًا صحيحًا. وبالتالي يمكن للمرء أن يتحدث، على سبيل المثال، عن كثافة موتر فردية بوزن +2 أو كثافة موتر زوجية بوزن -1/2.

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

تيβα=|المحقق[x¯أناxγ]|دبليوxαx¯دلتاx¯ϵxβتي¯ϵدلتا.{\displaystyle {\mathfrak {T}}_{\beta }^{\alpha }=\left\vert \det {\left[{\frac {\partial {\bar {x}}^{\iota }}{\partial {x}^{\gamma }}}\right]}\right\vert ^{W}\,{\frac {\partial {x}^{\alpha }}{\partial {\bar {x}}^{\delta }}}\,{\frac {\partial {\bar {x}}^{\epsilon }}{\partial {x}^{\beta }}}\,{\bar {\mathfrak {T}}}_{\epsilon }^{\delta }\,.}    (كثافة الوزن الموترية الزوجية)دبليو{\displaystyle W})

وبالمثل، يتحول موتر الكثافة الفردي كما يلي. على الرغم من أن الصيغة تعمل مع أي وزن حقيقي W ، إلا أن التسمية تنبع من كون التحويل مكافئًا لتحويل موتر الكثافة (الحقيقي) عندما يكون وزنه فرديًا.

تيβα=علامة(المحقق[x¯أناxγ])|المحقق[x¯أناxγ]|دبليوxαx¯دلتاx¯ϵxβتي¯ϵدلتا.{\displaystyle {\mathfrak {T}}_{\beta }^{\alpha }=\operatorname {sgn} \left(\det {\left[{\frac {\partial {\bar {x}}^{\iota }}{\partial {x}^{\gamma }}}\right]}\right)\left\vert \det {\left[{\frac {\partial {\bar {x}}^{\iota }}{\partial {x}^{\gamma }}}\right]}\right\vert ^{W}\,{\frac {\partial {x}^{\alpha }}{\partial {\bar {x}}^{\delta }}}\,{\frac {\partial {\bar {x}}^{\epsilon }}{\partial {x}^{\beta }}}\,{\bar {\mathfrak {T}}}_{\epsilon }^{\delta }\,.}    (كثافة وزن موتر فردي)دبليو{\displaystyle W})

أوزان صفر وواحد

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

إذا لم يتم تحديد وزن ولكن تم استخدام كلمة "نسبي" أو "كثافة" في سياق يتطلب وزنًا محددًا، فمن المفترض عادةً أن الوزن هو +1 .

الخصائص الجبرية

  1. التركيبة الخطية (المعروفة أيضًا باسم المجموع المرجح ) لكثافات الموترات من نفس النوع والوزندبليو{\displaystyle W}وهي مرة أخرى كثافة موتر من ذلك النوع والوزن.
  2. حاصل ضرب كثافتين موتريتين من أي نوع، وبأوزاندبليو1{\displaystyle W_{1}}ودبليو2{\displaystyle W_{2}}، هي كثافة موتر الوزندبليو1+دبليو2.{\displaystyle W_{1}+W_{2}.}علاوة على ذلك، يكون حاصل ضرب كثافات الموترات الحقيقية وكثافات الموترات الزائفة كثافة موترات حقيقية عندما يكون عدد زوجي من العوامل كثافات موترات زائفة؛ ويكون كثافة موترات زائفة عندما يكون عدد فردي من العوامل كثافات موترات زائفة. وبالمثل، يكون حاصل ضرب كثافات الموترات الزوجية وكثافات الموترات الفردية كثافة موترات زوجية عندما يكون عدد زوجي من العوامل كثافات موترات فردية؛ ويكون كثافة موترات فردية عندما يكون عدد فردي من العوامل كثافات موترات فردية.
  3. انكماش المؤشرات على كثافة موتر مع الوزندبليو{\displaystyle W}وينتج عن ذلك مرة أخرى كثافة موتر للوزندبليو.{\displaystyle W.}[ 7 ]
  4. إن رفع وخفض المؤشرات باستخدام موتر القياس (وهو أصلي وزوجي ووزنه 0) يترك الوزن دون تغيير، [ 8 ] كما يمكن إثباته من خلال الجمع بين (2) و(3).

معكوس المصفوفة ومحدد المصفوفة لكثافات الموتر

لوتيαβ{\displaystyle {\mathfrak {T}}_{\alpha \beta }}هي مصفوفة غير منفردة وكثافة موتر من الرتبة الثانية ذات وزندبليو{\displaystyle W}إذا كانت المؤشرات متغايرة، فإن معكوس مصفوفتها سيكون كثافة موتر من الرتبة الثانية بوزن-دبليو{\displaystyle -W}مع مؤشرات متغايرة. تنطبق عبارات مماثلة عندما يكون المؤشران متغايرين أو مختلطين متغايرين ومتغايرين.

لوتيαβ{\displaystyle {\mathfrak {T}}_{\alpha \beta }}هي كثافة موتر من الرتبة الثانية للوزندبليو{\displaystyle W}باستخدام المؤشرات المتغيرة، فإن محدد المصفوفةالمحققتيαβ{\displaystyle \det {\mathfrak {T}}_{\alpha \beta }}سيكون له وزنشمالدبليو+2،{\displaystyle NW+2,}أينشمال{\displaystyle N}هو عدد أبعاد الزمكان. إذاتيαβ{\displaystyle {\mathfrak {T}}^{\alpha \beta }}هي كثافة موتر من الرتبة الثانية للوزندبليو{\displaystyle W}باستخدام المؤشرات المتغايرة، فإن محدد المصفوفةالمحققتيαβ{\displaystyle \det {\mathfrak {T}}^{\alpha \beta }}سيكون له وزنشمالدبليو-2.{\displaystyle NW-2.} محدد المصفوفةالمحققتي βα{\displaystyle \det {\mathfrak {T}}_{~\beta }^{\alpha }}سيكون له وزنشمالدبليو.{\displaystyle NW.}

النسبية العامة

العلاقة بين محدد جاكوبي وموتر القياس

أي موتر عادي غير منفردتيμν{\displaystyle T_{\mu \nu }}يتحول مع تيμν=x¯κxμتي¯κλx¯λxν،{\displaystyle T_{\mu \nu }={\frac {\partial {\bar {x}}^{\kappa }}{\partial {x}^{\mu }}}{\bar {T}}_{\kappa \lambda }{\frac {\partial {\bar {x}}^{\lambda }}{\partial {x}^{\nu }}}\,,}

حيث يمكن اعتبار الطرف الأيمن بمثابة حاصل ضرب ثلاث مصفوفات. بأخذ محدد طرفي المعادلة (باستخدام حقيقة أن محدد حاصل ضرب المصفوفات هو حاصل ضرب المحددات)، ثم قسمة كلا الطرفين علىالمحقق(تي¯κλ)،{\displaystyle \det \left({\bar {T}}_{\kappa \lambda }\right),}وبأخذ جذرها التربيعي نحصل على |المحقق[x¯أناxγ]|=المحقق(تيμν)المحقق(تي¯κλ).{\displaystyle \left\vert \det {\left[{\frac {\partial {\bar {x}}^{\iota }}{\partial {x}^{\gamma }}}\right]}\right\vert ={\sqrt {\frac {\det({T}_{\mu \nu })}{\det \left({\bar {T}}_{\kappa \lambda }\right)}}}\,.}

عندما يكون الموترتي{\displaystyle T}هو موتر القياس ،زκλ،{\displaystyle {g}_{\kappa \lambda },}وx¯أنا{\displaystyle {\bar {x}}^{\iota }}هو نظام إحداثيات قصوري محلي حيثز¯κλ=ηκλ={\displaystyle {\bar {g}}_{\kappa \lambda }=\eta _{\kappa \lambda }=} diag(−1,+1,+1,+1)، مقياس مينكوفسكي ، ثمالمحقق(ز¯κλ)=المحقق(ηκλ)={\displaystyle \det \left({\bar {g}}_{\kappa \lambda }\right)=\det(\eta _{\kappa \lambda })=} -1 وهكذا |المحقق[x¯أناxγ]|=-ز،{\displaystyle \left\vert \det {\left[{\frac {\partial {\bar {x}}^{\iota }}{\partial {x}^{\gamma }}}\right]}\right\vert ={\sqrt {-{g}}}\,,}

أينز=المحقق(زμν){\displaystyle {g}=\det \left({g}_{\mu \nu }\right)}هو محدد موتر القياسزμν.{\displaystyle {g}_{\mu \nu }.}

استخدام موتر القياس لمعالجة كثافات الموتر

وبالتالي، كثافة موتر زوجية،تيν...μ...،{\displaystyle {\mathfrak {T}}_{\nu \dots }^{\mu \dots },}وزندبليو{\displaystyle W}، ويمكن كتابتها بالشكل تيν...μ...=-زدبليوتيν...μ...،{\displaystyle {\mathfrak {T}}_{\nu \dots }^{\mu \dots }={\sqrt {-g}}\;^{W}T_{\nu \dots }^{\mu \dots }\,,}

أينتيν...μ...{\displaystyle T_{\nu \dots }^{\mu \dots }\,}هو موتر عادي. في نظام إحداثيات قصوري محلي، حيثزκλ=ηκλ،{\displaystyle g_{\kappa \lambda }=\eta _{\kappa \lambda },}سيكون الأمر كما يلي:تيν...μ...{\displaystyle {\mathfrak {T}}_{\nu \dots }^{\mu \dots }}وتيν...μ...{\displaystyle T_{\nu \dots }^{\mu \dots }\,}سيتم تمثيلها بنفس الأرقام.

عند استخدام الاتصال المتري ( اتصال ليفي-سيفيتا )، يُعرَّف المشتق المتغير لكثافة موتر زوجية على النحو التالي: تيν...؛αμ...=-زدبليوتيν...؛αμ...=-زدبليو(-ز-دبليوتيν...μ...)؛α.{\displaystyle {\mathfrak {T}}_{\nu \dots ;\alpha }^{\mu \dots }={\sqrt {-g}}\;^{W}T_{\nu \dots  ;\alpha }^{\mu \dots }={\sqrt {-g}}\;^{W}\left({\sqrt {-g}}\;^{-W}{\mathfrak {T}}_{\nu \dots }^{\mu \dots }\right)_{;\alpha }\,.}

بالنسبة لأي اتصال، يتم تعريف المشتق المتغير بإضافة حد إضافي، وهو -دبليوΓ دلتاαدلتاتيν...μ...{\displaystyle -W\,\Gamma _{~\delta \alpha }^{\delta }\,{\mathfrak {T}}_{\nu \dots }^{\mu \dots }} إلى التعبير الذي سيكون مناسبًا للمشتق المتغير للموتر العادي.

وبالمثل، يتم اتباع قاعدة الضرب. (تيν...μ...Sτ...σ...)؛α=(تيν...؛αμ...)Sτ...σ...+تيν...μ...(Sτ...؛ασ...)،{\displaystyle \left({\mathfrak {T}}_{\nu \dots }^{\mu \dots }{\mathfrak {S}}_{\tau \dots }^{\sigma \dots }\right)_{;\alpha }=\left({\mathfrak {T}}_{\nu \dots ;\alpha }^{\mu \dots }\right){\mathfrak {S}}_{\tau \dots }^{\sigma \dots }+{\mathfrak {T}}_{\nu \dots }^{\mu \dots }\left({\mathfrak {S}}_{\tau \dots  ;\alpha }^{\sigma \dots }\right)\,,}

حيث، بالنسبة للاتصال المتري، يكون المشتق المتغير لأي دالة منزκλ{\displaystyle g_{\kappa \lambda }}دائماً ما تكون قيمتها صفراً، زκλ؛α=0(-زدبليو)؛α=(-زدبليو)،α-دبليوΓ دلتاαدلتا-زدبليو=دبليو2زκλزκλ،α-زدبليو-دبليوΓ دلتاαدلتا-زدبليو=0.{\displaystyle {\begin{aligned}g_{\kappa \lambda ;\alpha }&=0\\\left({\sqrt {-g}}\;^{W}\right)_{;\alpha }&=\left({\sqrt {-g}}\;^{W}\right)_{,\alpha }-W\Gamma _{~\delta \alpha }^{\delta }{\sqrt {-g}}\;^{W}={\frac {W}{2}}g^{\kappa \lambda }g_{\kappa \lambda ,\alpha }{\sqrt {-g}}\;^{W}-W\Gamma _{~\delta \alpha }^{\delta }{\sqrt {-g}}\;^{W}=0\,.\end{aligned}}}

أمثلة

التعبير-ز{\displaystyle {\sqrt {-g}}}هي كثافة قياسية. وبحسب اصطلاح هذه المقالة، فإن وزنها +1.

كثافة التيار الكهربائيجμ{\displaystyle {\mathfrak {J}}^{\mu }}(على سبيل المثال،ج2{\displaystyle {\mathfrak {J}}^{2}}هي كمية الشحنة الكهربائية التي تعبر العنصر ثلاثي الحجمدx3دx4دx1{\displaystyle dx^{3}\,dx^{4}\,dx^{1}}القسمة على ذلك العنصر (لا تستخدم المقياس في هذه الحسابات) هي كثافة متجهة متغايرة ذات وزن +1. وغالبًا ما تُكتب على النحو التالي:جμ=جμ-ز{\displaystyle {\mathfrak {J}}^{\mu }=J^{\mu }{\sqrt {-g}}}أوجμ=εμαβγجαβγ/3!،{\displaystyle {\mathfrak {J}}^{\mu }=\varepsilon ^{\mu \alpha \beta \gamma }{\mathcal {J}}_{\alpha \beta \gamma }/3!,}أينجμ{\displaystyle J^{\mu }\,}والصيغة التفاضليةجαβγ{\displaystyle {\mathcal {J}}_{\alpha \beta \gamma }}هي موترات مطلقة ، وحيثεμαβγ{\displaystyle \varepsilon ^{\mu \alpha \beta \gamma }}هو رمز ليفي-تشيفيتا ؛ انظر أدناه.

كثافة قوة لورنتزوμ{\displaystyle {\mathfrak {f}}_{\mu }}(أي الزخم الخطي المنتقل من المجال الكهرومغناطيسي إلى المادة داخل عنصر حجمي رباعي الأبعاد)دx1دx2دx3دx4{\displaystyle dx^{1}\,dx^{2}\,dx^{3}\,dx^{4}}مقسومًا على ذلك العنصر - لا تستخدم المقياس في هذه العملية الحسابية) هو كثافة متجهة متغايرة الوزن +1.

فيشمال{\displaystyle N}في فضاء-زمن ذي أبعاد، يمكن اعتبار رمز ليفي-تشيفيتا إما رتبة-شمال{\displaystyle N}الكثافة الموترية الأصلية المتغايرة (الفردية) ذات الوزن +1 (ϵα1ϵαشمال{\displaystyle \epsilon ^{\alpha _{1}\cdots \epsilon _{\alpha _{N}}}}) أو رتبة-شمال{\displaystyle N}كثافة الموتر الأصلي المتغير (الفردي) للوزن -1 (ϵα1ϵαشمال{\displaystyle \epsilon _{\alpha _{1}\cdots \epsilon _{\alpha _{N}}}}) : ϵα1ϵαشمال=ϵ¯β1ϵβشمالxα1x¯β1xαشمالx¯βشمال(المحقق[x¯βxα])+1{\displaystyle \epsilon ^{\alpha _{1}\cdots \epsilon _{\alpha _{N}}}={\bar {\epsilon }}^{\beta _{1}\cdots \epsilon _{\beta _{N}}}{\frac {\partial x^{\alpha _{1}}}{\partial {\bar {x}}^{\beta _{1}}}}\cdots {\frac {\partial x^{\alpha _{N}}}{\partial {\bar {x}}^{\beta _{N}}}}\left(\det \left[{\frac {\partial {\bar {x}}^{\beta }}{\partial x^{\alpha }}}\right]\right)^{+1}}ϵα1ϵαشمال=ϵ¯β1ϵβشمالx¯β1xα1x¯βشمالxαشمال(المحقق[x¯βxα])-1.{\displaystyle \epsilon _{\alpha _{1}\cdots \epsilon _{\alpha _{N}}}={\bar {\epsilon }}_{\beta _{1}\cdots \epsilon _{\beta _{N}}}{\frac {\partial {\bar {x}}^{\beta _{1}}}{\partial x^{\alpha _{1}}}}\cdots {\frac {\partial {\bar {x}}^{\beta _{N}}}{\partial x^{\alpha _{N}}}}\left(\det \left[{\frac {\partial {\bar {x}}^{\beta }}{\partial x^{\alpha }}}\right]\right)^{-1}\,.} لاحظ أن رمز ليفي-تشيفيتا (بهذا المعنى) لا يتبع الاصطلاح المعتاد لرفع أو خفض المؤشرات مع موتر القياس. أي أنه صحيح أن εαβγدلتازακزβλزγμزدلتاν=εκλμνز،{\displaystyle \varepsilon ^{\alpha \beta \gamma \delta }\,g_{\alpha \kappa }\,g_{\beta \lambda }\,g_{\gamma \mu }g_{\delta \nu }\,=\,\varepsilon _{\kappa \lambda \mu \nu }\,g\,,} لكن في النسبية العامة، حيثز=المحقق(زρσ){\displaystyle g=\det \left(g_{\rho \sigma }\right)}دائمًا ما تكون القيمة سالبة، وهذا لا يساوي أبدًاεκλμν.{\displaystyle \varepsilon _{\kappa \lambda \mu \nu }.}

محدد موتر القياس ،ز=المحقق(زρσ)=14!εαβγدلتاεκλμνزακزβλزγμزدلتاν،{\displaystyle g=\det \left(g_{\rho \sigma }\right)={\frac {1}{4!}}\varepsilon ^{\alpha \beta \gamma \delta }\varepsilon ^{\kappa \lambda \mu \nu }g_{\alpha \kappa }g_{\beta \lambda }g_{\gamma \mu }g_{\delta \nu }\,,} هي كثافة قياسية أصلية (زوجية) من الوزن +2، وهي انكماش ناتج ضرب كثافتين موترية أصلية (فردية) من الوزن +1 وأربع كثافات موترية أصلية (زوجية) من الوزن 0.

انظر أيضاً

ملحوظات

  1. واينرايش، غابرييل (6 يوليو 1998). المتجهات الهندسية . مطبعة جامعة شيكاغو. ص  112، 115. ISBN 978-0226890487.
  2. باباستافريديس، جون ج. (18 ديسمبر 1998). حساب الموترات والديناميكا التحليلية . مطبعة سي آر سي . رقم ISBN 978-0849385148.
  3. رويز-تولوسا، خوان ر.؛ كاستيلو، إنريكي (30 مارس 2006). من المتجهات إلى الموترات . سبرينغر ساينس آند بيزنس ميديا. ISBN 978-3540228875.
  4. Eg Weinberg 1972 ص 98. يتضمن الاصطلاح المختار في الصيغ أدناه محدد جاكوبي للانتقال العكسي xx ، بينما يعتبر الاصطلاح المعاكس الانتقال الأمامي xx مما يؤدي إلى انعكاس إشارة الوزن.
  5. إم آر شبيغل؛ إس. ليبشوتز؛ دي. سبلمان (2009). تحليل المتجهات ( الطبعة الثانية). نيويورك: سلسلة شوم أوتلاين. ص 198. ISBN   978-0-07-161545-7.
  6. سي بي باركر (1994). موسوعة ماكجرو هيل للفيزياء (الطبعة الثانية ) . ماكجرو هيل. ص 1417. ISBN   0-07-051400-3.
  7. واينبرغ 1972 ص 100.
  8. واينبرغ 1972 ص 100.

مراجع