سبينور ديراك
في الفيزياء ، وتحديدًا في نظرية الحقل الكمومي ، يُعدّ سبينور ديراك بناءً رياضيًا يُستخدم لوصف بعض الجسيمات الأساسية في الطبيعة ، بما في ذلك الكواركات والإلكترونات . وهو تجسيدٌ خاص للسبينور ، بُني خصيصًا ليتوافق مع متطلبات النسبية الخاصة . تتحول سبينورات ديراك بطريقة "سبينورية" معينة تحت تأثير مجموعة لورنتز ، التي تصف تناظرات فضاء مينكوفسكي . وتظهر هذه السبينورات في حلول دالة الموجة النسبية ذات اللف المغزلي 1/2 لمعادلة ديراك .
تُبنى هذه الجسيمات من مكونين أبسط، وهما سبينورات فايل . يتحول كل من هذين المكونين بشكل مختلف تحت تمثيلي لورنتز المختلفين المترافقين المعقدين ذوي اللف المغزلي 1/2 . هذا الاقتران ذو أهمية جوهرية، إذ يسمح للجسيم المُمَثَّل بأن يمتلك كتلة ، ويحمل شحنة ، ويمثل تدفق الشحنة كتيار ، وربما الأهم من ذلك، أن يحمل زخمًا زاويًا . بتعبير أدق، الكتلة هي ثابت كازيمير لمجموعة لورنتز (حالة ذاتية للطاقة)، بينما يحمل التركيب المتجهي الزخم والتيار، وهو متغير مع نفسه تحت تأثير مجموعة لورنتز. أما الزخم الزاوي فيحمله متجه بوينتينغ ، المصمم خصيصًا لحقل اللف المغزلي. [ 1 ]
يُستخدم هنا اصطلاحٌ مفاده أن المقالة المتعلقة بحلول الموجات المستوية لمعادلة ديراك ، باستخدام اصطلاح ديراك لمصفوفات غاما ، تُركز بشكل أساسي على تمثيل فايل، أو التمثيل الكيرالي، وهي أقل تركيزًا على معادلة ديراك، وأكثر تركيزًا على البنية الهندسية، بما في ذلك هندسة مجموعة لورنتز . وبالتالي، يمكن تطبيق الكثير مما سيُذكر أدناه على معادلة ماجورانا .
تعريف
تُعتبر سبينورات ديراك عناصر من تمثيل فضاء متجهي معقد رباعي الأبعاد ( 1 / 2 , 0) ⊕ (0, 1 / 2 ) لمجموعة لورنتز . [ 2 ]
في أساس فايل ، سبينور ديراك
يتكون من اثنين من سبينورات ويل (ثنائية المكونات)ووالتي تتحول، تبعًا لذلك، تحت تمثيلات ( 1 / 2 , 0) و (0, 1 / 2 ) لـالمجموعة (مجموعة لورنتز بدون تحويلات التكافؤ ). تحت تحويل التكافؤ، تتحول سبينورات فايل إلى بعضها البعض.
يرتبط سبينور ديراك بسبينور فايل عن طريق تحويل وحدوي إلى أساس ديراك ،
تُعد قاعدة ديراك هي الأكثر استخدامًا على نطاق واسع في الأدبيات.
تحويلات لورنتز
حقل سبينور ديراكيتحول وفقًا للقاعدة
أينهو تحويل لورنتز . هنا يتم تحويل إحداثيات النقاط الفيزيائية وفقًا لـ، بينما، وهي مصفوفة، هي عنصر من عناصر التمثيل الدوراني (للدوران 1/2 ) لمجموعة لورنتز.
في أساس ويل، مصفوفات التحويل الصريحة للرفعوللدورانوهي كالتالي: [ 3 ]
هنايمثل معامل التعزيز، وهو حاصل ضرب السرعة في اتجاه السرعة المعياري، ويمثل الدوران حولمحور،هي مصفوفات باولي وهل المتجه مكون من مصفوفات غاما؟الدالة الأسية هي الخريطة الأسية ، وفي هذه الحالة الدالة الأسية المصفوفية المعرفة بوضع المصفوفة في متسلسلة القوى المعتادة للدالة الأسية.
ملكيات
يمكن اختزال الشكل الثنائي الخطي لسبينورات ديراك إلى خمسة كائنات غير قابلة للاختزال (تحت مجموعة لورنتز):
- كمية قياسية ،؛
- شبه قياسي ،؛
- متجه ،؛
- متجه زائف ،؛
- الموتر المتناظر المضاد ،،
أينوهي مصفوفات غاما . ترتبط هذه الكميات الخمس فيما بينها بواسطة متطابقات فيرز . تُستخدم قيمها في تصنيف لونستو لحقول السبينورات المختلفة، ومنها سبينور ديراك؛ أما الأنواع الأخرى فهي: سبينور العلم (الذي يُعد سبينور ماجورانا حالة خاصة منه)، وسبينور العلم ثنائي القطب ، وسبينور فايل . تتميز سبينورات العلم وثنائي القطب وفايل بكتلة معدومة وحقول شبه قياسية معدومة؛ كما يتميز سبينور العلم بحقل شبه متجه معدوم، بينما تتميز سبينورات فايل بموتر مضاد للتناظر معدوم (حقل زخم زاوي معدوم).
يمكن بناء لاغرانجيان مناسب لحقل اللف المغزلي النسبي 1/2 انطلاقًا من هذه ، ويُعطى على النحو التالي :
يمكن اشتقاق معادلة ديراك من هذه اللاغرانجية باستخدام معادلة أويلر-لاغرانج .
اشتقاق تمثيل سبينور ديراك
يصف هذا الموجز نوعًا واحدًا من سبينورات ديراك كعناصر في فضاء تمثيلي محدد لتمثيل ( 1/2 ، 0 ) ⊕ (0، 1/2 ) لمجموعة لورنتز. يرتبط هذا الفضاء التمثيلي بفضاء ( 1/2 ، 0 ) ⊕ (0، 1/2 ) الموجود في جبر كليفورد على فضاء مينكوفسكي ، كما هو موضح في مقالة " السبينورات " ، ولكنه ليس مطابقًا له . تُستخدم اللغة والمصطلحات كما في " نظرية تمثيل مجموعة لورنتز" . الخاصية الوحيدة لجبر كليفورد الأساسية لهذا العرض هي الخاصية المحددة الواردة في D1 أدناه. تُسمى عناصر الأساس لـ so (3,1) بـ Mμν .
سيظهر تمثيل لجبر لي SO (3,1) لمجموعة لورنتز O(3,1) من بين المصفوفات التي ستُختار كأساس (كفضاء متجهي) لجبر كليفورد المركب على الزمكان. ثم تُرفع هذه المصفوفات 4×4 إلى أسٍّ ، ما يُنتج تمثيلًا لـ SO(3,1) + . هذا التمثيل، الذي يتضح أنه تمثيل ( 1/2 , 0) ⊕ (0, 1/2 ) ، سيؤثر على فضاء متجهي مركب رباعي الأبعاد عشوائي ، والذي سيُختار ببساطة على أنه C₄ ، وستكون عناصره عبارة عن سبينورات ديراك .
للعلم، علاقات التبادل لـ so (3,1) هي
| M1 |
باستخدام مقياس الزمكان η = diag(−1, 1, 1, 1) .
مصفوفات جاما
لنفترض أن γ μ تمثل مجموعة من أربع مصفوفات غاما رباعية الأبعاد، تُسمى هنا مصفوفات ديراك . تحقق مصفوفات ديراك الشروط التالية:
| [ 4 ] | D1 |
حيث { , } هو مضاد التبديل ، و I₄ هي مصفوفة الوحدة 4×4 ، و ημν هو مقياس الزمكان ذو الإشارة (+, − , − , − ) . هذا هو الشرط المحدد لمجموعة مولدة لجبر كليفورد . تُعطى عناصر الأساس الإضافية σμν لجبر كليفورد بواسطة
| [ 5 ] | ج1 |
ستة فقط من المصفوفات σ μν مستقلة خطيًا. يتبع هذا مباشرة من تعريفهم منذ σ μν = − σ νμ . إنهم يعملون على الفضاء الفرعي V γ γ μ يمتد بالمعنى السلبي ، وفقًا لـ
| [ 6 ] | C2 |
في (C2) ، تأتي المساواة الثانية من الخاصية (D1) لجبر كليفورد.
تضمين جبر لي لـ so(3,1) في Cl 4 (C)
الآن، عرّف تأثيرًا لـ so (3,1) على σ μν ، والفضاء الخطي V σ ⊂ Cl 4 ( C ) الذي يمتدانه في Cl 4 ( C ) ≈ M n C ، المعطى بواسطة
| C4 |
تُظهر المساواة الأخيرة في (C4) ، والناتجة عن (C2) والخاصية (D1) لمصفوفات غاما، أن σ μν تُمثل تمثيلًا لـ so (3,1) لأن علاقات التبادل في (C4) هي نفسها علاقات التبادل في so (3,1) . يمكن اعتبار تأثير π(M μν ) إما كمصفوفات سداسية الأبعاد Σ μν تضرب متجهات الأساس σ μν ، لأن الفضاء في M n ( C ) الذي تُغطيه σ μν سداسي الأبعاد، أو كتأثير التبادل على σ ρσ . فيما يلي، π ( M μν ) = σ μν
تُعدّ كلٌّ من γμ و σμν مجموعتين جزئيتين (منفصلتين) من عناصر أساس Cl₄ ( C ) ، مُولَّدتين بواسطة مصفوفات ديراك رباعية الأبعاد γμ في أربعة أبعاد مكانية-زمانية. وبالتالي ، فإن جبر لي لـ so ( 3,1) مُضمَّن في Cl₄ ( C ) بواسطة π باعتباره الفضاء الجزئي الحقيقي لـ Cl₄ ( C ) المُمتد بواسطة σμν . للاطلاع على وصف كامل لعناصر الأساس المتبقية غير γμ و σμν لجبر كليفورد، يُرجى مراجعة مقالة جبر ديراك .
تم تقديم سبينورات ديراك
الآن، لنُعرّف أي فضاء متجهي مُركّب رباعي الأبعاد U حيث تعمل γ و μ عن طريق ضرب المصفوفات. هنا ، U = C⁴ مناسب تمامًا. ليكن Λ = e ω μν M μν تحويل لورنتز، ولنُعرّف تأثير مجموعة لورنتز على U على النحو التالي:
بما أن σ μν وفقًا لـ (C4) تشكل تمثيلًا لـ so (3,1) ، فإن الخريطة المستحثة
| C5 |
وفقًا للنظرية العامة، إما أن يكون تمثيلًا أو تمثيلًا إسقاطيًا لـ SO(3,1) + . وسيتضح أنه تمثيل إسقاطي. تُسمى عناصر U ، عند تطبيق قاعدة التحويل المعطاة بواسطة S ، سبينورات ديراك أو ببساطة سبينورات .
اختيار مصفوفات ديراك
يبقى اختيار مجموعة من مصفوفات ديراك γ μ للحصول على تمثيل اللف المغزلي S. أحد هذه الخيارات، المناسب للحد النسبي الفائق ، هو
| [ 7 ] | E1 |
حيث تمثل σ i مصفوفات باولي . في هذا التمثيل لمولدات جبر كليفورد، تصبح σ μν
| [ 8 ] | E23 |
من الواضح أن هذا التمثيل غير قابل للاختزال، لأن جميع المصفوفات قطرية كتلية . ولكن نظرًا لعدم قابلية اختزال مصفوفات باولي، لا يمكن اختزال التمثيل أكثر من ذلك. ولأنه رباعي الأبعاد، فإن الاحتمال الوحيد هو أنه تمثيل ( 1 / 2 ,0)⊕(0, 1 / 2 ) ، أي تمثيل سبينور ديراك. الآن، باستخدام طريقة رفع تمثيل جبر لي إلى الأس للحصول على تمثيل لـ SO(3,1) + ،
| E3 |
يتم الحصول على تمثيل إسقاطي ثنائي القيم. هنا، φ هو متجه معاملات الدوران حيث 0 ≤ φ i ≤ 2 π ، و χ هو متجه معاملات التعزيز . باستخدام الاصطلاحات المستخدمة هنا، يمكن كتابة
| E4 |
بالنسبة لحقل سبينور ديراك. هنا، يتوافق المكون العلوي مع سبينور فايل الأيمن . لإدراج انعكاس تكافؤ الفضاء في هذه الصيغة، يتم وضع
| [ 9 ] | E5 |
كمثال تمثيلي لـ P = diag(1, −1, −1, −1) . يُلاحظ أن التمثيل غير قابل للاختزال عند تضمين انعكاس تكافؤ الفضاء.
مثال
ليكن X = 2πM 12 بحيث يُولّد X دورانًا حول المحور z بزاوية 2π . عندئذٍ Λ = e iX = I ∈ SO(3,1) + ولكن e iπ ( X ) = − I ∈ GL( U ) . هنا، I يرمز إلى العنصر المحايد . إذا تم اختيار X = 0 بدلاً من ذلك، فسيظل Λ = e iX = I ∈ SO(3,1) + ، ولكن الآن e iπ ( X ) = I ∈ GL( U ) .
يوضح هذا الطبيعة ثنائية القيمة لتمثيل الدوران. يتم تحويل العنصر المحايد في SO(3,1) + إلى إما −I ∈ GL( U ) أو I ∈ GL( U ) اعتمادًا على اختيار عنصر جبر لي لتمثيله. في الحالة الأولى، يمكن التكهن بأن دورانًا بزاوية 2π ينفي دوران ديراك، وأنه يتطلب دورانًا بزاوية 4π لإعادة دوران ديراك إلى حالته الأصلية. ما يحدث فعليًا هو أن العنصر المحايد في SO(3,1) + يُحوّل إلى −I في GL ( U ) باختيار غير مناسب لـ X.
يستحيل اختيار X بشكل مستمر لجميع g ∈ SO(3,1) + بحيث يكون S تمثيلًا مستمرًا. لنفترض أننا نُعرّف S على طول حلقة في SO(3,1) بحيث يكون X ( t ) = 2πtM 12 ، حيث 0 ≤ t ≤ 1. هذه حلقة مغلقة في SO(3,1) ، أي دورانات تتراوح من 0 إلى 2π حول المحور z تحت تأثير التحويل الأسي، لكنها "نصف" حلقة فقط في GL( U ) ، وتنتهي عند −I . إضافةً إلى ذلك، فإن قيمة I ∈ SO(3,1) غامضة، لأن t = 0 و t = 2π تعطيان قيمًا مختلفة لـ I ∈ SO(3,1) .
جبر ديراك
يُنتج التمثيل S على سبينورات ديراك تمثيلًا لـ SO(3,1) + على End( U ) ، وهي مجموعة المؤثرات الخطية على U. يتوافق هذا الفضاء مع جبر كليفورد نفسه، بحيث تكون جميع المؤثرات الخطية على U عناصر من هذا الجبر. هذا التمثيل، وكيفية تحلله كمجموع مباشر لتمثيلات SO(3,1) + غير القابلة للاختزال ، موصوف في مقالة جبر ديراك . من نتائج ذلك تحلل الأشكال الثنائية الخطية على U × U. يشير هذا التحلل إلى كيفية ربط أي حقل سبينور ديراك بحقول أخرى في لاغرانجيان لإنتاج كميات لورنتز القياسية .
جبر ديراك
مصفوفات ديراك هي مجموعة من أربع مصفوفات 4×4 تشكل جبر ديراك ، وتستخدم لربط اتجاه الدوران مع الإطار المرجعي المحلي (إطار الإحداثيات المحلي للزمكان)، وكذلك لتحديد الشحنة ( التناظر C )، والتكافؤ ، وعوامل انعكاس الزمن .
الاتفاقيات
توجد عدة خيارات للتوقيع والتمثيل شائعة الاستخدام في الأدبيات الفيزيائية. تُكتب مصفوفات ديراك عادةً على النحو التالي :أينتتراوح من 0 إلى 3. في هذه الصيغة، يمثل 0 الوقت، وتمثل الأرقام من 1 إلى 3 قيم x و y و z .
يُطلق على التوقيع + − − − أحيانًا اسم مقياس الساحل الغربي ، بينما يُطلق على التوقيع − + + + اسم مقياس الساحل الشرقي . في الوقت الحالي، يُستخدم التوقيع + − − − بشكل أكثر شيوعًا، وسنستخدمه في مثالنا. للانتقال من مثال إلى آخر، اضرب جميعبواسطة.
بعد اختيار التوقيع، توجد طرق عديدة لإنشاء تمثيل في المصفوفات 4×4، والعديد منها شائع الاستخدام. ولجعل هذا المثال عامًا قدر الإمكان، لن نحدد تمثيلًا إلا في الخطوة الأخيرة. عندئذٍ سنستبدله بالتمثيل "الكيرالي" أو تمثيل فايل .
بناء باتجاه دوران وشحنة محددين
أولًا، نختار اتجاه دوران الإلكترون أو البوزيترون. وكما هو الحال في مثال جبر باولي المذكور أعلاه، يُحدد اتجاه الدوران بواسطة متجه وحدة في ثلاثة أبعاد، (أ، ب، ج). ووفقًا لاتفاقية بيسكين وشرودر، يُعرَّف مؤثر الدوران في اتجاه (أ، ب، ج) بأنه حاصل الضرب القياسي لـ (أ، ب، ج) مع المتجه.
لاحظ أن ما سبق هو جذر للوحدة ، أي أنه مربع يساوي 1. وبالتالي، يمكننا إنشاء عامل إسقاط منه يقوم بإسقاط الجبر الفرعي لجبر ديراك الذي له دوران موجه في اتجاه (a, b, c):
الآن يجب علينا اختيار شحنة، إما +1 (بوزيترون) أو -1 (إلكترون). وفقًا لاصطلاحات بيسكين وشرودر، فإن عامل الشحنة هوأي أن حالات الإلكترون ستأخذ قيمة ذاتية −1 بالنسبة لهذا العامل بينما ستأخذ حالات البوزيترون قيمة ذاتية +1.
لاحظ أنوهو أيضًا الجذر التربيعي للواحد. علاوة على ذلك،التنقل معتشكل هذه المؤثرات مجموعة كاملة من المؤثرات التبادلية لجبر ديراك . بالاستمرار في مثالنا، نبحث عن تمثيل للإلكترون ذي اللف المغزلي في الاتجاه ( أ ، ب ، ج ) .عند تحويل الشحنة إلى عامل إسقاط، نحصل على:
وبالتالي فإن عامل الإسقاط للسبينور الذي نبحث عنه هو ناتج عاملي الإسقاط اللذين وجدناهما:
عند تطبيق عامل الإسقاط المذكور أعلاه على أي سبينور، فإنه يُعطي الجزء من السبينور الذي يُطابق حالة الإلكترون المطلوبة. لذا، يُمكننا تطبيقه على سبينور بقيمة 1 في أحد مكوناته، و0 في المكونات الأخرى، مما يُعطي عمودًا من المصفوفة. وبمتابعة المثال، نضع ( a , b , c ) = (0, 0, 1) فنحصل على
وبالتالي فإن عامل الإسقاط المطلوب هو
مصفوفات غاما 4×4 المستخدمة في تمثيل ويل هي
لـ k = 1، 2، 3 وحيثهي مصفوفات باولي المعتادة من الرتبة 2×2 . وباستبدالها بـ P نحصل على
إجابتنا هي أي عمود غير صفري في المصفوفة أعلاه. القسمة على اثنين هي مجرد عملية توحيد. يعطي العمودان الأول والثالث نفس النتيجة.
وبشكل أعم، بالنسبة للإلكترونات والبوزيترونات ذات اللف المغزلي الموجه في الاتجاه ( أ ، ب ، ج )، يكون عامل الإسقاط هو
حيث تمثل الإشارات العلوية الإلكترون والإشارات السفلية البوزيترون. ويمكن اعتبار السبينور المقابل أي عمود غير صفري.تمثل الأعمدة المختلفة مضاعفات لنفس المتجه الدوراني. ويمكن الحصول على تمثيل المتجه الدوراني الناتج في أساس ديراك باستخدام القاعدة الواردة في مقالة متجه ديراك الدوراني.
انظر أيضاً
ملحوظات
- ↑ هانز سي. أوهانيان (1986) "ما هو الدوران؟"، المجلة الأمريكية للفيزياء ، 54 ، صفحة 500. doi: 10.1119/1.14580
- ^ كابان وريمبيلينسكي 2005 ، ص. 2
- ↑ ديفيد تونغ، محاضرات في نظرية الحقل الكمومي (2012)، المحاضرة 4
- ↑ واينبرغ 2002 ، المعادلة 5.4.5
- ↑ واينبرغ 2002 ، المعادلة 5.4.6
- ↑ واينبرغ 2002 ، المعادلة 5.4.7
- ↑ واينبرغ 2002 ، المعادلات (5.4.17)
- ↑ واينبرغ 2002 ، المعادلات (5.4.19) و(5.4.20)
- ↑ واينبرغ 2002 ، المعادلة (5.4.13)
مراجع
- كابان، باويل؛ ريمبيلينسكي، جاكوب (5 يوليو 2005). "مصفوفة كثافة اللف المغزلي المختزلة المتغيرة لورنتز وارتباطات أينشتاين-بودولسكي-روزن-بوم". مجلة Physical Review A. 72 ( 1) 012103. arXiv : quant-ph/0507056v1 . Bibcode : 2005PhRvA..72a2103C . doi : 10.1103/physreva.72.012103 . S2CID 119105796 .
- واينبرغ، إس (2002)، نظرية الكم للحقول، المجلد الأول ، رقم ISBN 0-521-55001-7.
- نظرية الحقل الكمومي
- سبينورز
