نظرية التشعب

التشعب في الرياضيات (بالإنجليزية: bifurcation)‏ هي التغير النوعي في سلوك نظام ديناميكي ما نتيجة تغيير أحد معاملاته parameter. مثال فزيائي على هذا السلوك هومثلا عندما تضغط على بترة خشبية في منتصفها وتعتبر القوة التي تضغط بها هي المعامل فترى حتى الخشبة تتقوس وتغير شكلها إلى حتى تصل القوة إلى قيمة معينة تسمى قيمة التشعب bifurcation value يتغير عندها سلوك الخشبة فتكسر. وتسمى النقطة التي يظهر فيها هذا السلوك أي في مثالنا نقطة تكسر الخشبة تسمى نقطة التشعب bifurcation point. ويتم عادة رسم هذا السلوك في مخطط يسمى مخطط التشعب bifurcation diagramm. أما طريقة حساب مكان ظهور هذا التغير في السلوك فهي مبينة أسفله. وتوجد الكثير من الأنواع من التشعب أهمها:

تفرع عقدة سرج saddel node
تفرع حرج متعدي transcritical
تفرع فرشاتي pitchfork
تفرع هوبف Hopf bifurcation

إذا اعتبرنا المعادلة التفاضلية التالية:
${\displaystyle {\dot {x =f(x,\mu )$
فإن النقطة التي يحدث فيها تغير نوعي في سلوك هذا النظام الديناميكي أوما يعبر عنه رياضيا بمصطلح نقطة التشعب هي أولا نقطة توازن equilibrium point وثانيا نقطة يصير فيها تخطيط النظام أي مصفوفة جاكوبي التابعة له صفرا (في حالة تشعب في ال ${\displaystyle R^{1$ ) أوتحتوي على قيمة ذاتية ذات جزئ حقيقي يساوي صفرا(في حالة تشعب في ال ${\displaystyle R^{2$ ). أي رياضياتيا:
${\displaystyle f(x)=0$
و
${\displaystyle {\frac {\partial f {\partial x =0$

إذا لم يمكن إيجاد مثل هذه النقطة أوالنقاط فإن النظام لا يحتوي على تشعب.

مخطط التشعب هورسم لنقاط التوازن أوالاستقرار التي يحتلها النظام حسب قيمة المعامل

تشعب في ال ${\displaystyle R^{1$

يمكن اعتبار أنواع التشعبات التالية أبرز التشعبات في ال ${\displaystyle R^{1$ :

تشعب عقدة سرج saddel node bifurcation
تشعب حرج متعدي transcritical bifurcation
تشعب فرشاتي pitchforck bifurcation

تشعب عقدة سرج

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

${\displaystyle {\dot {x =\mu -x^{2 +...+HOT$

حيث Hot اختصار ل Higher Order Terms وعامة يمكن قول حتى النظام

${\displaystyle {\dot {x =f(x,\mu )$
حيث
${\displaystyle f(x_{0 ,\mu _{0 )=0$
و
${\displaystyle f_{x |_{x_{0 =0$
يحتوي على تشعب عقدة سرج إذا توفرت الشروط التالية:
${\displaystyle f_{\mu |_{x_{0 \neq 0$

${\displaystyle f_{xx |\neq 0$

تشعب حرج متعدي

يكون الشكل العام لمعادلة التشعب الحرج المتعدي كالآتي:

${\displaystyle {\dot {x =\mu x-x^{2 +...+HOT$

وعامة يمكن قول حتى النظام

${\displaystyle {\dot {x =f(x,\mu )$
حيث
${\displaystyle f(x_{0 ,\mu _{0 )=0$
و
${\displaystyle f_{x |_{x_{0 =0$
يحتوي على تشعب متعدي حرج إذا توفرت الشروط التالية:
${\displaystyle f_{\mu |_{x_{0 =0$

${\displaystyle f_{xx |_{x_{0 \neq 0$
${\displaystyle f_{x\mu |_{x_{0 \neq 0$

تشعب فرشاتي

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

${\displaystyle {\dot {x =\mu x-x^{3 +...+HOT$ وعامة يمكن قول حتى النظام

${\displaystyle {\dot {x =f(x,\mu )$
حيث
${\displaystyle f(x_{0 ,\mu _{0 )=0$
و
${\displaystyle f_{x |_{x_{0 =0$
يحتوي على تشعب فرشاتي إذا توفرت الشروط التالية:
${\displaystyle f_{\mu |_{x_{0 =0$

${\displaystyle f_{xx |_{x_{0 =0$
${\displaystyle f_{x\mu |_{x_{0 \neq 0$
${\displaystyle f_{xxx |_{x_{0 \neq 0$

تشعب في ال ${\displaystyle R^{2$ تشعب هوبف

إذا اعتبرنا المعادلة التالية:

${\displaystyle {\dot {x_{1 =f_{1 (x_{1 ,x_{2 ,\mu )$ ${\displaystyle {\dot {x_{2 =f_{2 (x_{1 ,x_{2 ,\mu )$

حيث

${\displaystyle f_{1 =f_{2 =0$

و

${\displaystyle f_{x |_{0 ={\begin{pmatrix 0&-\omega \\\omega &0\end{pmatrix$

وإذا قمنا بحساب القيم التالية:

تشعب في ال ${\displaystyle R^{n$

تعتبر دراسة التشعبات في ال ${\displaystyle R^{n$ أصعب من الحالات المذكورة أعلاه إلا أنه إذا في بعض الحالات يمكن إرجاع نظام ما ينتمي إلى ${\displaystyle R^{n$ إلى نظام ينتمي إلى ال ${\displaystyle R^{1$ أوال ${\displaystyle R^{2$ باستعمال نظرية متعدد الفروع الوسطي center manifold theory حيث يمكن اختزال النظام المعقد في نظام ذا أبعاد أصغر ومن ثم دراسة التشعب على متعدد الفروع الوسطي center manifold . أي باختصار إرجاع هذه الحالة إلى الحالات المذكورة أعلاه

مراجع

^ Peters, A. D.; Jaffé, C.; Delos, J. B. (1994). "Quantum Manifestations of Bifurcations of Classical Orbits: An Exactly Solvable Model". Phys. Rev. Lett. 73 (21): 2825–2828. Bibcode:1994PhRvL..73.2825P. doi:10.1103/PhysRevLett.73.2825. PMID 10057205.
^ Courtney, Michael; Jiao, Hong; Spellmeyer, Neal; Kleppner, Daniel; Gao, J.; Delos, J. B.; et al. (1995). "Closed Orbit Bifurcations in Continuum Stark Spectra". Phys. Rev. Lett. 74 (9): 1538–1541. Bibcode:1995PhRvL..74.1538C. doi:10.1103/PhysRevLett.74.1538. PMID 10059054.
^ Founargiotakis, M.; Farantos, S. C.; Skokos, Ch.; Contopoulos, G. (1997). "Bifurcation diagrams of periodic orbits for unbound molecular systems: FH2". Chemical Physics Letters. 277 (5–6): 456–464. Bibcode:1997CPL...277..456F. doi:10.1016/S0009-2614(97)00931-7.