قوس بواسون

[تصغير|[سيميون بواسون|سيمون دينيس بواسون]]
في الرياضيات والميكانيكا الكلاسيكية **قوس بواسون** هو عملية ثنائية مهمة في الميكانيكا الهاملتونية، حيث يُؤدي دورًا مركزيًا في معادلات هاملتون للحركة التي تَصِفُ التطور الزمني للنظام الديناميكي الهاملتوني، كما يميز قوس بواسون فئة معينة من التحويلات الإحداثية تسمى التحويلات القانونية، والتي بدورها تحول الأنظمة الإحداثية الكنسية إلى أنظمة إحداثية أساسية، حيث يتكون «النظام الإحداثي الكنسي» من متغيران هما: الموقع الكنسي والزخم، ويرمز إليهما أدناه ب: q_i وp_i على التوالي حيث يخضعان لعلاقات قوس بواسون الكنسي، كما أن هناك دائمًا مجموعة من التحويلات القانونية المحتملة ذات قيمة عالية، على سبيل المثال غالبًا ما يكون من الممكن اختيار دالة هاملتونيان نفسها 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\}, \quad \{h, af + bg\} = a\{h, f\} + b\{h, g\}, \quad a, b \in \mathbb R

قاعدة ليبنيز

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

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

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

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

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

\{f, g\} = \sum_{i=1}^{N} \left( \frac{\partial f}{\partial q_{i}} \frac{\partial g}{\partial p_{i}} - \frac{\partial f}{\partial p_i} \frac{\partial g}{\partial q_i}\right).

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

\begin{align}
  \{q_i,q_j\} &= 0 \\
  \{p_i,p_j\} &= 0 \\
  \{q_i,p_j\} &= \delta_{ij}
\end{align}

حيث *<math>\delta_{ij}</math>*: هي دالة دلتا كرونكر.

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

\frac{d}{dt} f(p, q, t) = \frac{\partial f}{\partial q} \frac{dq}{dt} + \frac {\partial f}{\partial p} \frac{dp}{dt} + \frac{\partial f}{\partial t}.

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

\begin{cases}
  \dot{q} =  \frac{\partial H}{\partial p} = \{q, H\}; \\ 
  \dot{p} = -\frac{\partial H}{\partial q} = \{p, H\}.
\end{cases}

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

\begin{align}
  \frac {d}{dt} f(p, q, t) &= \frac{\partial f}{\partial q} \frac{\partial H}{\partial p} - \frac{\partial f}{\partial p} \frac{\partial H}{\partial q} + \frac{\partial f}{\partial t} \\
                                             &= \{f, H\} + \frac{\partial f}{\partial t} ~.
\end{align}

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

 q(t) = \exp (-t \{ H, \cdot \} ) q(0), \quad  p(t) = \exp (-t \{ H, \cdot \}) p(0), 

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

\frac{d}{dt} f = \left(\frac{\partial}{\partial t} - \{H, \cdot\}\right)f.

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

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

0 = \frac{df}{dt}

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

0 = \frac{d}{dt} f(p,q) = \{f, H\} + \frac{\partial f}{\partial t}

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

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

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

## قوس بواسون في لغة خالية من الإحداثيات
لنفترض أن M متشعب تماسكي، كما أن المتشعب مزود بنموذج  تماسك: نموذجين \omega كلاهما متقاربان حيث أن المشتق الخارجي d \omega يختفيK و آخر غير منحل، على سبيل المثال في المعالجة أعلاه نأخذ M لتكون \mathbb{R}^{2n} ولنأخذ أيضًا أن:

\omega = \sum_{i=1}^{n} d q_i \wedge d p_i.

إذا كان  \iota_v \omega هو الضرب الداخلي أو عملية الانكماش المُعرّف من خلال  (\iota_v \omega)(w) =  \omega(v,\, w)؛ فإن عدم الانحلال يعادل قول أن لكل نموذج \alpha هناك مجال متجه مميز هو \Omega_\alpha، بحيث يكون عوضًا عن  \Omega_{d H} = \omega^{-1}(d H)، وإذا كان H اقتران ناعم في M فإن مجال المتجه هاملتونيان X_H يمكن تعريفه على أنه  \Omega_{d H}، حيث من السهل ملاحظة أن:

\begin{align}
  X_{p_i} &=  \frac{\partial}{\partial q_i} \\
  X_{q_i} &= -\frac{\partial}{\partial p_i}.
\end{align}

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

\{f, g\} = \omega(X_f, X_g) = -\omega(X_g, X_f) = -\{g, f\} 

ضف إلى ذلك أن:\omega)(X_g) = df(X_g) \\
           &= X_gf = \mathcal{L}_{X_g} f
\end{align}.|}}هنا *X<sub>g</sub>f* تدل أن المجال المتجه *X<sub>g</sub>* طُبِق للاقتران *f* كمشتق اتجاهي ،حيث أن \mathcal{L}_{X_g} f تُشير إلى مشتقة لاي للاقتران *f* بشكل مكافئ بالكامل.

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

\frac{d\phi_x}{dt} = \left. \Omega_\alpha \right|_{\phi_x(t)}.

 \phi_x(t) سيكون هناك تماثل لكل *t* كاقتران في *x* إذا وفقط إذا كان  \mathcal{L}_{\Omega_\alpha}\omega \;=\; 0، حيث أنه عندما يكون هذا الشرط صحيح فإن Ωα تُسمى مجال متجه تماسكي، باستدعاء متطابقة كارتان (الضرب الداخلي):   \mathcal{L}_X\omega \;=\; d (\iota_X \omega) \,+\, \iota_X d\omega وأن: *d*ω = 0، هذا يتبعه أن:  \mathcal{L}_{\Omega_\alpha}\omega \;=\; d\left(\iota_{\Omega_\alpha} \omega\right) \;=\; d\alpha، لذلك Ωα: هو مجال متجه تماسكي إذا وفقط إذا كان α شكل مغلق، وبما أن  d(df) \;=\; d^2f \;=\; 0، فهذا يتبعه أن كل مجال متجه هاملتوني *X<sub>f</sub>* هو مجال متجه تماسكي وأن تدفق هاملتونيان يحوي تحولات كنسية، ومن *X<sub>H</sub>* أعلاه وتحت تدفق هاملتونيان نستنتج أن:

\frac{d}{dt}f(\phi_x(t)) = X_Hf = \{f,H\}.

هذه نتيجة أساسية في الميكانيكا الهاملتونية التي تحكم التحول الزمني للاقترانات المُعرفة في فضاء الطور، كما هو موضح أعلاه عندما يكون *{f,H} = 0؛* فإن *f* هو ثابت حركة النظام، بالإضافة إلى ذلك في الإحداثيات الكنسية باعتبار  \{p_i,\, p_j\} \;=\; \{q_i,q_j\} \;=\; 0 و\{q_i,\, p_j\} \;=\; \delta_{ij}: هي معادلات هاملتون لتحول وقت النظام مُتْبَعةً مباشرةً من هذه الصيغة، كما يُتبع من  أن قوس بواسون هو اشتقاق، وهذا يعني أنه يوافق الصيغة غير التبديلة لقاعدة ضرب لايبنز:قوس بواسون متصل بشكلٍ وثيق بقوس لاي لمتجه مجالات هاملتونيان لأن مشتق لاي هو اشتقاق حيث أن:

\mathcal L_v\iota_w\omega = \iota_{\mathcal L_vw}\omega + \iota_w\mathcal L_v\omega = \iota_{[v,w]}\omega + \iota_w\mathcal L_v\omega

لذلك إذا كان *v* و*w* تماسكيين وباستخدام:  \mathcal{L}_v\omega \;=\; 0 ومتطابقة كارتان، وحقيقة أن \iota_w\omega متماثلين:

\iota_{[v,w]}\omega = \mathcal L_v\iota_w\omega = d(\iota_v\iota_w\omega) + \iota_vd(\iota_w\omega) = d(\iota_v\iota_w\omega) = d(\omega(w,v)).

هذا يتبعه أن: [v,w] = X_{\omega(w,v)} إذًا:.|}}لذلك فإن قوس بواسون في الاقترانات يتوافق مع قوس لاي لمتجه لمجالات هاملتونيان والمرتبطة به، وكما أظهرنا أن قوس لاي يتكون من مجالين متجهين تماسكيين هما عبارة عن مجال متجه هاملتوني وبالتالي هو أيضًا تماسكي. في لغة الجبر المجرد تشكل المجالات المتجهة التماسكية جبرًا جزئيًا لجبر لاي لمتجه المجالات الناعمة في *M*، كما يُشكل متجه المجالات هاملتونيان مثالًا مثاليًا لهذا الجبر الجزئي، ومتجه المجالات التماسكية هو جبر لاي لمجموعة لاي اللانهائية الأبعاد من التماثل في *M*.

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

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

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

\operatorname{ad}_{\{f,g\}}=[\operatorname{ad}_f,\operatorname{ad}_g]

حيث \operatorname{ad}_g: هو عامل في الاقترانات الناعمة في *M* يُعرف ب \operatorname{ad}_g(\cdot) \;=\; \{\cdot,\, g\} والقوس في الجانب الأيمن هو مبدل العوامل  [\operatorname A,\, \operatorname B] \;=\; \operatorname A\operatorname B - \operatorname B\operatorname A، بواسطة  فإن العامل \operatorname{ad}_g مساوي للعامل *X<sub>g</sub>*، وإثبات متطابقة ياكوبي تُتبع من ؛ لأن قوس لاي لمتجه المجالات هو فقط مبدلهم كالعوامل التفاضلية.

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

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

\{P_X, P_Y\} = -P_{[X, Y]}.\,

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

X_q = \sum_i X^i(q) \frac{\partial}{\partial q^i}

حيث أن \scriptstyle \frac{\partial}{\partial q^i}:هو الإطار الإحداثي المحلي، فالعزم المرافق لِX يمتلك التعبير التالي:

P_X(q, p) = \sum_i X^i(q) \;p_i

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

\begin{align}
  \{P_X,P_Y\}(q,p) &=  \sum_i \sum_j \left\{ X^i(q) \;p_i, Y^j(q)\; p_j \right\} \\
                   &=  \sum_{ij} p_i Y^j(q) \frac{\partial X^i}{\partial q^j} -  p_j X^i(q) \frac{\partial Y^j}{\partial q^i} \\
                   &= -\sum_i p_i \; [X, Y]^i(q) \\
                   &= - P_{[X, Y]}(q, p). 
\end{align}

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

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

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

## انظر أيضًا

* مبدل رياضي
* قوس بيرلز
* فضاء الطور

## تعليقات

## ملاحظات

## مراجع

* 
* 
* 

## روابط خارجية

* 
* 

تصنيف:تقانات الكم
تصنيف:فراغ
تصنيف:فضاء رياضي
تصنيف:فضاء هيلبرت
تصنيف:فيزياء
تصنيف:فيزياء الجسم الصلب
تصنيف:مفاهيم فيزيائية
تصنيف:ميكانيك هاملتوني
تصنيف:هندسة تماسكية
تصنيف:كميات فيزيائية
تصنيف:ميكانيكا الكم
تصنيف:ميكانيكا المواد الصلبة
تصنيف:تعليم الفيزياء