هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها

قوس بواسون

من أرابيكا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
سيمون دينيس بواسون

في الرياضيات والميكانيكا الكلاسيكية قوس بواسون هو عملية ثنائية مهمة في الميكانيكا الهاملتونية، حيث يلعب دورًا مركزيًا في معادلات هاملتون للحركة التي تؤثر في تحول الوقت في نظام هاملتون الديناميكي، كما يميز قوس بواسون فئة معينة من التحولات الإحداثية تسمى التحولات الكنسية، والتي بدورها تحول الأنظمة الإحداثية الكنسية إلى أنظمة إحداثية أساسية، حيث يتكون «النظام الإحداثي الكنسي» من متغيران هما: الموقع الكنسي والزخم، ويرمز إليهما أدناه ب: qi وpi على التوالي حيث يخضعان لعلاقات قوس بواسون الكنسي، كما أن هناك دائمًا مجموعة من التحولات الكنسية المحتملة ذات قيمة عالية، على سبيل المثال غالبًا ما يكون من الممكن اختيار دالة هاملتونيان نفسها H=H(q,p;t) كأحد إحداثيات الزخم الكنسي الجديدة.

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

كل هذه المواضيع سُميت تكريمًا لسيمون دينيس بواسون.

خصائص

الاقترانان المُعطيان  f وg اللذان يعتمدان على فضاء الطور والوقت، قوس بوايسون لهما هو {f,g}: اقتران آخر يعتمد على فضاء الطور والوقت، والقواعد الآتية تنطبق لأي ثلاث اقترانات على سبيل المثال: f,g,h حيث أنهم يعتمدون على فضاء الطور والوقت، والقواعد هي:

عكس تبديلية

{f,g}={g,f}

ثنائية الخطية

{af+bg,h}=a{f,h}+b{g,h},{h,af+bg}=a{h,f}+b{h,g},a,bR

قاعدة ليبنيز

{fg,h}={f,h}g+f{g,h}

متطابقة ياكوبي

{f,{g,h}}+{g,{h,f}}+{h,{f,g}}=0

أيضًا إذا كانت الدالة k ثابت على فضاء الطور لكن من الممكن أن تعتمد الدالة على الوقت، فإن {f,k}=0 لأي اقتران f.

التعريف في الإحداثيات الكنسية

في الإحداثيات الكنسية المعروفة أيضًا بإحداثيات داربو (qi,pi) في فضاء الطور، الاقترانان المُعطيان: f(pi,qi,t) وg(pi,qi,t) يأخذ قوس بوايسون لهما الشكل الآتي:[تعليق 1]

{f,g}=i=1N(fqigpifpigqi).

أقواس بواسون للإحداثيات الكنسية هم:

{qi,qj}=0{pi,pj}=0{qi,pj}=δij

حيث δij: هي دالة دلتا كرونكر.

معادلات هاملتون للحركة

معادلات هاملتون للحركة تمتلك تعبير مكافئ عند كتابتها باستخدام قوس بواسون، وهذا من الممكن توضيحهُ مباشرةً في إطار إحداثي واضح، لنفترض أن f(p,q,t): هو اقتران يعتمد على مسار الحل المتعدد، ثم باستخدام قاعدة السلسلة متعددة المتغيرات فإننا نحصل على:

ddtf(p,q,t)=fqdqdt+fpdpdt+ft.

بالإضافة إلى هذا، من الممكن اعتبارp=p(t) وq=q(t) حلولًا لمعادلات هاملتون، حيث أن:

{=Hp={q,H};=Hq={p,H}.

ثم ينتج لدينا:

ddtf(p,q,t)=fqHpfpHq+ft={f,H}+ft.

من الممكن أن يُعطى التحول الزمني للاقتران f في المشعب التماسكي كمجموعة معامل واحد من التماثل حيث أنه في التحولات الكنسية هناك حفاظ على منطقة اختلاف الأشكال، ومع اعتبار الوقت t عامل فإن حركة هاملتونيان تمثل تحول كنسي أُنشئ بواسطة دالة هاملتونيان، أي أن قوس بواسون محفوظ في  دالة هاملتونيان لذلك فإن أي وقت t عند حل معادلات هاملتون يمكن أن يكون بمثابة إحداثيات القوس:

q(t)=exp(t{H,})q(0),p(t)=exp(t{H,})p(0),

إذًا أقواس بواسون هي الثوابت الكنسية، ومن خلال إسقاط الإحداثيات:

ddtf=(t{H,})f.

فإن العامل في الجزء الحراري من المشتقة هو: iL^={H,} يُشار إليه أحيانًا باسم ليوفيليان (انظر إلى نظرية ليوفيلي (هاملتونيان)).

ثوابت الحركة

النظام الديناميكي المتكامل سيملك ثوابت الحركة بالإضافة إلى الطاقة، كهذه الثوابت من الحركة ستُستبدل مع دالة هاملتونيان في قوس بواسون، لتوضيح ذلك فلنفترض الاقتران التالي: f(p,q) هو ثابت الحركة، وهذا يُوحي أنه إذا كان p(t),q(t) مسارًا أو حلًا لمعادلات هاملتون للحركة، فإن:

0=dfdt

على طول ذلك المسار، إذًا:

0=ddtf(p,q)={f,H}+ft

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

إذا كان قوس بواسون للاقترانين f وg  يتلاشى أي أن: {f,g}=0؛ فإن الاقترانين: f وg يُقال أنهما في التفاف ، ولكي يكون نظام هاملتونيان قابلًا للتكامل تمامًا يجب أن تكون n من ثوابت الحركة المستقلة في الالتفاف المتبادل، حيث تمثل n عدد درجات الحرية.

وعلاوةً على ذلك وفقًا لنظرية بواسون، إذا كان هناك اثنتين من الكميات A وB لا تعتمدان على الوقت بشكل واضح (A(p,q),B(p,q)) ومن ثوابت الحركة، فإن قوس بواسون الخاص بهم هو: {A,B}، وهذا لا يوفر دائمًا نتيجةً مفيدة حيث أن عدد الثوابت المحتمل للحركة محدود مثلًا يساوي 2n1 لنظام يملك n من درجات الحرية، وبالتالي فإن النتيجة قد تكون عديمة الأهمية كثابت أو دالة بدلالة A وB.

قوس بواسون في لغة خالية من الإحداثيات

لنفترض أن M متشعب تماسكي، كما أن المتشعب مزود بنموذج  تماسك: نموذجين ω كلاهما متقاربان حيث أن المشتق الخارجي dω يختفيK و آخر غير منحل، على سبيل المثال في المعالجة أعلاه نأخذ M لتكون R2n ولنأخذ أيضًا أن:

ω=i=1ndqidpi.

إذا كان ιvω هو الضرب الداخلي أو عملية الانكماش المُعرّف من خلال (ιvω)(w)=ω(v,w)؛ فإن عدم الانحلال يعادل قول أن لكل نموذج α هناك مجال متجه مميز هو Ωα، بحيث يكون عوضًا عن ΩdH=ω1(dH)، وإذا كان H اقتران ناعم في M فإن مجال المتجه هاملتونيان XH يمكن تعريفه على أنه ΩdH، حيث من السهل ملاحظة أن:

Xpi=qiXqi=pi.

قوس بواسون {,} في (M, ω) يمثل عملية ثنائية الخطية في دالة قابلة للاشتقاق معرفة من خلال: {f,g}=ω(Xf,Xg)، وقوس بواسون لاقترانين في M هو نفسه اقتران في M، و كما أن قوس بواسون غير متماثل لأن:

{f,g}=ω(Xf,Xg)=ω(Xg,Xf)={g,f}

ضف إلى ذلك أن:

{f,g}=ω(Xf,Xg)=ω(Ωdf,Xg)=(ιΩdfω)(Xg)=df(Xg)=Xgf=LXgf.

 

 

 

 

(1)

هنا Xgf تدل أن المجال المتجه Xg طُبِق للاقتران f كمشتق اتجاهي ،حيث أن

LXgf

تُشير إلى مشتقة لاي للاقتران f بشكل مكافئ بالكامل.

إذا كان α نموذج تعسفي أحادي في M فإن المجال المتجه Ωα يُنتج محليًا على الأقل تدفق ϕx(t) يُطبق الشروط الحدية ϕx(0)=x والمعادلة التفاضلية من الرتبة الأولى:

dϕxdt=Ωα|ϕx(t).

ϕx(t) سيكون هناك تماثل لكل t كاقتران في x إذا وفقط إذا كان LΩαω=0، حيث أنه عندما يكون هذا الشرط صحيح فإن Ωα تُسمى مجال متجه تماسكي، باستدعاء متطابقة كارتان (الضرب الداخلي): LXω=d(ιXω)+ιXdω وأن: dω = 0، هذا يتبعه أن: LΩαω=d(ιΩαω)=dα، لذلك Ωα: هو مجال متجه تماسكي إذا وفقط إذا كان α شكل مغلق، وبما أن d(df)=d2f=0، فهذا يتبعه أن كل مجال متجه هاملتوني Xf هو مجال متجه تماسكي وأن تدفق هاملتونيان يحوي تحولات كنسية، ومن XH أعلاه وتحت تدفق هاملتونيان نستنتج أن:

ddtf(ϕx(t))=XHf={f,H}.

هذه نتيجة أساسية في الميكانيكا الهاملتونية التي تحكم التحول الزمني للاقترانات المُعرفة في فضاء الطور، كما هو موضح أعلاه عندما يكون {f,H} = 0؛ فإن f هو ثابت حركة النظام، بالإضافة إلى ذلك في الإحداثيات الكنسية باعتبار

{pi,pj}={qi,qj}=0

و

{qi,pj}=δij

: هي معادلات هاملتون لتحول وقت النظام مُتْبَعةً مباشرةً من هذه الصيغة، كما يُتبع من (1) أن قوس بواسون هو اشتقاق، وهذا يعني أنه يوافق الصيغة غير التبديلة لقاعدة ضرب لايبنز:

{fg,h}=f{g,h}+g{f,h}, and {f,gh}=g{f,h}+h{f,g}

 

 

 

 

(2)

قوس بواسون متصل بشكلٍ وثيق بقوس لاي لمتجه مجالات هاملتونيان لأن مشتق لاي هو اشتقاق حيث أن:

Lvιwω=ιLvwω+ιwLvω=ι[v,w]ω+ιwLvω

لذلك إذا كان v وw تماسكيين وباستخدام: Lvω=0 ومتطابقة كارتان، وحقيقة أن ιwω متماثلين:

ι[v,w]ω=Lvιwω=d(ιvιwω)+ιvd(ιwω)=d(ιvιwω)=d(ω(w,v)).

هذا يتبعه أن:

[v,w]=Xω(w,v)

إذًا:

[Xf,Xg]=Xω(Xg,Xf)=Xω(Xf,Xg)=X{f,g}.

 

 

 

 

(3)

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

على نطاق واسع من المؤكد أن متطابقة ياكوبي لقوس بواسون تابعٌ توافقها مع قوس لاي للمجالات المتجهة:

{f,{g,h}}+{g,{h,f}}+{h,{f,g}}=0

لكن هذا صحيح فقط للاقتران المحلي الثابت، ومع ذلك لإثبات متطابقة ياكوبي لقوس بواسون فإنه يكفي إثبات أن:

ad{f,g}=[adf,adg]

حيث adg: هو عامل في الاقترانات الناعمة في M يُعرف ب adg()={,g} والقوس في الجانب الأيمن هو مبدل العوامل [A,B]=ABBA، بواسطة (1) فإن العامل adg مساوي للعامل Xg، وإثبات متطابقة ياكوبي تُتبع من (3)؛ لأن قوس لاي لمتجه المجالات هو فقط مبدلهم كالعوامل التفاضلية.

جبر الاقترانات الناعمة في M بجانب قوس بواسون يُشكل جبر بواسون؛ لأنه هو جبر لاي في قوس بواسون الذي يوافق قاعدة لايبنز (2)، كما أظهرنا أن كل متشعب تماسكي هو متشعب بواسون وهو متشعب مع عامل الحاصرتان في الاقترانات الناعمة، حيث أن الاقترانات الناعمة تُشكل جبر بواسون، ومع ذلك ليس كل متشعب بواسون ينشأ بهذه الطريقة؛ لأن متشعبات بواسون تسمح للانحلال الذي لا يمكن أن ينشأ في حالة التماسك.

نتيجة الزخم المرافق

أُعطي X كمجال متجه سَلِس في فضاء التكوين، وجُعل PX هو الزخم المرافق له؛ فإن الزخم المرافق الذي وُضع يُمثل جبر لاي العاكس للتشابه الشكلي من قوس بواسون لقوس لاي:

{PX,PY}=P[X,Y].

هذه النتيجة المهمة تستحق إثبات قصير، فلنكتب أن المجال المتجه X عند النقطة q في فضاء التكوين هو كالآتي:

Xq=iXi(q)qi

حيث أن qi:هو الإطار الإحداثي المحلي، فالعزم المرافق لِX يمتلك التعبير التالي:

PX(q,p)=iXi(q)pi

حيث أن pi: هم اقترانات العزم المرافقة للإحداثيات، أما الآن فلنكتب التعبيرات السابقة للنقطتين (q,p) في فضاء الطور، حاصلين على التالي:

{PX,PY}(q,p)=ij{Xi(q)pi,Yj(q)pj}=ijpiYj(q)XiqjpjXi(q)Yjqi=ipi[X,Y]i(q)=P[X,Y](q,p).

النتيجة التي تم الحصول عليها أعلاه صحيحة لجميع النقاط (q,p) مُعطيًا النتيجة المطلوبة.

تكميم

تشوه أقواس بواسون لأقواس مويال عند القياس الكمي (التكميم) تُعمم لجبر لاي مختلف أو جبر مويال أو ما يكافئ ذلك في فضاء هيلبرت وهو مبدل الكم، حيث أن مجموعة انكماش ويغنر- إينون لهم مع اعتبار أن نهاية الحد الكلاسيكي تصبح: ħ → 0فإن هذا يُسفرُ عن جبر لاي أعلاه.

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

انظر أيضًا

تعليقات

  1. ^ f(pi,qi,t) يعني أن f هو اقتران يحوي عدد 2N+1 من المتغيرات المستقلة وهم: الزخم 1…Np، والموقع 1…Nq، والوقت t.

ملاحظات

مراجع

  • Arnold، Vladimir I. (1989). Mathematical Methods of Classical Mechanics (ط. 2nd). New York: Springer. ISBN:978-0-387-96890-2. مؤرشف من الأصل في 2022-04-21.
  • Landau، Lev D.؛ Lifshitz، Evegeny M. (1982). Mechanics. Course of Theoretical Physics (ط. 3rd). Butterworth-Heinemann. ج. Vol. 1. ISBN:978-0-7506-2896-9. {{استشهاد بكتاب}}: |المجلد= يحوي نصًّا زائدًا (مساعدة)
  • Karasëv، Mikhail V.؛ Maslov، Victor P. (1993). Nonlinear Poisson brackets, Geometry and Quantization. Translations of Mathematical Monographs. ترجمة: Sossinsky، Alexey؛ Shishkova، M.A. Providence, RI: American Mathematical Society. ج. 119. ISBN:978-0821887967. MR:1214142.

روابط خارجية