التسلسل الهرمي لكورتيويج-دي فريس

في الرياضيات ، تُعرف متسلسلة كورتيغ-دي فريس (KdV) بأنها سلسلة لانهائية من معادلات التطور غير الخطية المتوافقة، والتي تحتوي على معادلة كورتيغ-دي فريس كأول عنصر غير تافه فيها. وهي من الأمثلة المحورية في نظرية الأنظمة التكاملية ومعادلات السوليتون ، لأنها تجمع بين عدة خصائص مميزة للتكامل: صياغة لاكس ، وعدد لا نهائي من التدفقات المتبادلة والكميات المحفوظة ، وبنى هاميلتونية وثنائية هاميلتونية، وطرق حل دقيقة مثل تحويل التشتت العكسي والتكامل ذي الفجوة المحدودة. [ 1 ] [ 2 ] [ 3 ]

تُصاغ هذه المعادلة عادةً على شكل عائلة من معادلات لاكس لمؤثر شرودنغر أحادي البعدل=x2+u(x)،{\displaystyle L=\partial _{x}^{2}+u(x),} أو، على نحو مماثل وفقًا لاتفاقيات الإشارات،ل=-x2+u(x){\displaystyle L=-\partial _{x}^{2}+u(x)}يتكون التسلسل الهرمي من تدفقات التنقل في المتغيرات المساعدةت0،ت1،ت2،...{\displaystyle t_{0},t_{1},t_{2},\dots }، كل منها يحتفظ بالبيانات الطيفية لـل{\displaystyle L}في السياقات الدورية وشبه الدورية، يؤدي هذا التفسير الطيفي إلى نظرية الحلول ذات الفجوة المحدودة والحلول الجبرية الهندسية، بينما على نطاق أوسع، يعمل التسلسل الهرمي كنموذج أولي للعديد من التسلسلات الهرمية القابلة للتكامل والاختزالات اللاحقة مثل تسلسلات KdV و KP المعدلة . [ 1 ] [ 2 ]

تعريف

يترك ل=x2+u(x،ت0،ت1،ت2،...).{\displaystyle L=\partial _{x}^{2}+u(x,t_{0},t_{1},t_{2},\dots ).} يمكن تعريف التسلسل الهرمي لمعادلة كورتيغ-دي فريس (KdV) من خلال اشتراط ما يلي:ل{\displaystyle L}تتطور وفقًا لمجموعة معادلات لاكس لتن=[P2ن+1،ل]،ن=0،1،2،...،{\displaystyle {\frac {\partial L}{\partial t_{n}}}=[P_{2n+1},L],\qquad n=0,1,2,\dots ,} حيث كلP2ن+1{\displaystyle P_{2n+1}}هو مؤثر تفاضلي من الرتبة الفردية يتم تحديده بواسطةل{\displaystyle L}. هناك طريقة مختصرة لإنشاء هذه المؤثرات تستخدم المؤثرات التفاضلية الزائفة الرسمية : لتن=[(ل(2ن+1)/2)+،ل]،{\displaystyle {\frac {\partial L}{\partial t_{n}}}={\big [}(L^{(2n+1)/2})_{+},L{\big ]},} أين()+{\displaystyle (\cdot )_{+}}يرمز إلى الجزء التفاضلي لمؤثر تفاضلي زائف رسمي. هذه الصيغة تعني أن التدفقات تتبادل: تملتن=تنلتم،{\displaystyle {\frac {\partial }{\partial t_{m}}}{\frac {\partial L}{\partial t_{n}}}={\frac {\partial }{\partial t_{n}}}{\frac {\partial L}{\partial t_{m}}},} لذا يمكن اعتبار التسلسل الهرمي نظامًا متوافقًا ومحددًا بشكل زائد لـu{\displaystyle u}يعتمد ذلك على عدد لا نهائي من المرات. [ 1 ] [ 4 ]

يمكن تقديم أوصاف مكافئة باستخدام حقول متجهات هاميلتونية تبادلية أو مخطط لينارد-ماغري التكراري. في جميع هذه الصيغ، تتمثل السمة المميزة للتسلسل الهرمي في أنه ينتج عددًا لا نهائيًا من التدفقات المتوافقة، وكلها مرتبطة بنفس مؤثر شرودنغر. [ 1 ] [ 2 ]

التدفقات الأولى

على الرغم من أن عامل لاكس مكتوب هنا على النحو التاليل=x2+u{\displaystyle L=\partial _{x}^{2}+u}من المعتاد عرض المعادلات غير الخطية وفقًا لاتفاقية مكافئة يتم الحصول عليها عن طريق استبدالu{\displaystyle u}بواسطة-u{\displaystyle -u}وإعادة قياس متغيرات الزمن. وفقًا لهذا الاصطلاح، فإن المعادلات القليلة الأولى من التسلسل الهرمي هي uت0=ux،uت1=6uux-uxxx،uت2=uxxxxx-10uuxxx-20uxuxx+30u2ux.{\displaystyle {\begin{aligned}u_{t_{0}}&=u_{x},\\u_{t_{1}}&=6uu_{x}-u_{xxx},\\u_{t_{2}}&=u_{xxxxx}-10uu_{xxx}-20u_{x}u_{xx}+30u^{2}u_{x}.\end{aligned}}} الت0{\displaystyle t_{0}}التدفق هو تدفق الترجمة.ت1{\displaystyle t_{1}}-flow هي معادلة كورتيغ-دي فريس نفسها، حتى الاستبدال التقليديت1=ت{\displaystyle t_{1}=t}تُسمى المعادلات الأعلى بمعادلات KdV الأعلى . توجد اصطلاحات إشارة مختلفة لـل{\displaystyle L}وتؤدي عمليات التطبيع المختلفة للأوقات إلى صيغ مكافئة بمعاملات أو إشارات مختلفة. [ 2 ] [ 1 ]

حساب التدفقات الأولى

يمكن اشتقاق المعادلات القليلة الأولى من التسلسل الهرمي بشكل صريح من تعريف التفاضل الزائف. ليكن ل=2+u،=x،{\displaystyle L=\partial ^{2}+u,\qquad \partial =\partial _{x},} وحدد ب2ن+1=(ل(2ن+1)/2)+،{\displaystyle B_{2n+1}=\left(L^{(2n+1)/2}\right)_{+},} أين()+{\displaystyle (\cdot )_{+}}يشير إلى الجزء التفاضلي من مؤثر تفاضلي زائف رسمي . ويكون التسلسل الهرمي لـ KdV هو لتن=[ب2ن+1،ل]،ن=0،1،2،....{\displaystyle {\frac {\partial L}{\partial t_{n}}}=[B_{2n+1},L],\qquad n=0,1,2,\dots .}

لحساب التدفقات الأولى، يبدأ المرء بالجذر التربيعي الرسمي ل1/2=+أ1-1+أ2-2+أ3-3+أ4-4+،{\displaystyle L^{1/2}=\partial +a_{1}\partial ^{-1}+a_{2}\partial ^{-2}+a_{3}\partial ^{-3}+a_{4}\partial ^{-4}+\cdots ,} يتم تحديد معاملاتها من خلال المتطلبات (ل1/2)2=ل.{\displaystyle \left(L^{1/2}\right)^{2}=L.}

قاعدة الضرب الأساسية هي مو=ك0(مك)و(ك)م-ك،{\displaystyle \partial ^{m}f=\sum _{k\geq 0}{\binom {m}{k}}f^{(k)}\partial ^{\,mk},} صالحة لجميع الأعداد الصحيحةم{\displaystyle m}، حيث تُستخدم معاملات ذات الحدين المعممة للقيم السالبةم{\displaystyle m}. بخاصة، و=و+وx،-1و=و-1-وx-2+وxx-3-.{\displaystyle \partial f=f\partial +f_{x},\qquad \partial ^{-1}f=f\partial ^{-1}-f_{x}\partial ^{-2}+f_{xx}\partial ^{-3}-\cdots .}

استبدال السلسلة بـل1/2{\displaystyle L^{1/2}}داخل(ل1/2)2=ل{\displaystyle (L^{1/2})^{2}=L}ومقارنة معاملات قوى{\displaystyle \partial }يُعطي المعاملات بشكل تكراري. معامل0{\displaystyle \partial ^{0}}يكون 2أ1=u،{\displaystyle 2a_{1}=u,} لذا أ1=12u.{\displaystyle a_{1}={\frac {1}{2}}u.} معامل-1{\displaystyle \partial ^{-1}}يكون 2أ2+أ1،x=0،{\displaystyle 2a_{2}+a_{1,x}=0,} لذا أ2=-14ux.{\displaystyle a_{2}=-{\frac {1}{4}}u_{x}.} معامل-2{\displaystyle \partial ^{-2}}يكون 2أ3+أ2،x+أ12=0،{\displaystyle 2a_{3}+a_{2,x}+a_{1}^{2}=0,} لذا أ3=18(uxx-u2).{\displaystyle a_{3}={\frac {1}{8}}(u_{xx}-u^{2}).} معامل-3{\displaystyle \partial ^{-3}}يكون 2أ4+أ3،x+2أ1أ2-أ1أ1،x=0،{\displaystyle 2a_{4}+a_{3,x}+2a_{1}a_{2}-a_{1}a_{1,x}=0,} لذا أ4=116(6uux-uxxx).{\displaystyle a_{4}={\frac {1}{16}}(6uu_{x}-u_{xxx}).}

هكذا ل1/2=+12u-1-14ux-2+18(uxx-u2)-3+116(6uux-uxxx)-4+.{\displaystyle L^{1/2}=\partial +{\frac {1}{2}}u\,\partial ^{-1}-{\frac {1}{4}}u_{x}\,\partial ^{-2}+{\frac {1}{8}}(u_{xx}-u^{2})\,\partial ^{-3}+{\frac {1}{16}}(6uu_{x}-u_{xxx})\,\partial ^{-4}+\cdots .}

التدفق t 0

منذ ب1=(ل1/2)+=،{\displaystyle B_{1}=(L^{1/2})_{+}=\partial ,} معادلة لاكس الأولى هي لت0=[،ل].{\displaystyle {\frac {\partial L}{\partial t_{0}}}=[\partial ,L].} الآن [،2+u]=ux،{\displaystyle [\partial ,\partial ^{2}+u]=u_{x},} وبالتالي فإن مقارنة الحدود من الرتبة الصفرية تعطي uت0=ux.{\displaystyle u_{t_{0}}=u_{x}.} هذا هو مسار الترجمة.

التدفق t 1

التالي، ب3=(ل3/2)+=(لل1/2)+.{\displaystyle B_{3}=(L^{3/2})_{+}=(L\cdot L^{1/2})_{+}.} باستخدام التوسع أعلاه والاحتفاظ فقط بالقوى غير السالبة لـ{\displaystyle \partial }أعطِ ب3=3+32u+34ux.{\displaystyle B_{3}=\partial ^{3}+{\frac {3}{2}}u\,\partial +{\frac {3}{4}}u_{x}.}

لحساب معادلة التطور المقابلة، قم بتوسيع المبدل: [ب3،ل]=[3+32u+34ux،2+u].{\displaystyle [B_{3},L]=\left[\partial ^{3}+{\frac {3}{2}}u\,\partial +{\frac {3}{4}}u_{x},\partial ^{2}+u\right].} استخدام [3،u]=uxxx+3uxx+3ux2،{\displaystyle [\partial ^{3},u]=u_{xxx}+3u_{xx}\partial +3u_{x}\partial ^{2},}[u،2]=-2ux2-uxx،{\displaystyle [u\partial ,\partial ^{2}]=-2u_{x}\partial ^{2}-u_{xx}\partial ,}[u،u]=uux،{\displaystyle [u\partial ,u]=uu_{x},} و [ux،2]=-2uxx-uxxx،{\displaystyle [u_{x},\partial ^{2}]=-2u_{xx}\partial -u_{xxx},} يجد المرء أن2{\displaystyle \partial ^{2}}و{\displaystyle \partial }يتم إلغاء الشروط و [ب3،ل]=14uxxx+32uux.{\displaystyle [B_{3},L]={\frac {1}{4}}u_{xxx}+{\frac {3}{2}}uu_{x}.} منذل/ت1{\displaystyle \partial L/\partial t_{1}}له جزء من الرتبة الصفريةuت1{\displaystyle u_{t_{1}}}وهذا ينتج عنه uت1=14(uxxx+6uux).{\displaystyle u_{t_{1}}={\frac {1}{4}}(u_{xxx}+6uu_{x}).}

كتابةv=-u{\displaystyle v=-u}وs1=-ت1/4{\displaystyle s_{1}=-t_{1}/4}ثم إعادة التسمية(v،s1){\displaystyle (v,s_{1})}مثل(u،ت1){\displaystyle (u,t_{1})}، يعطي الشكل الأكثر شيوعًا uت1=6uux-uxxx.{\displaystyle u_{t_{1}}=6uu_{x}-u_{xxx}.}

التدفق t 2

بصورة مماثلة، ب5=(ل5/2)+=(ل2ل1/2)+.{\displaystyle B_{5}=(L^{5/2})_{+}=(L^{2}\cdot L^{1/2})_{+}.} عملية حسابية بسيطة تعطي ب5=5+52u3+154ux2+(158u2+258uxx)+1516(2uux+uxxx).{\displaystyle B_{5}=\partial ^{5}+{\frac {5}{2}}u\,\partial ^{3}+{\frac {15}{4}}u_{x}\,\partial ^{2}+\left({\frac {15}{8}}u^{2}+{\frac {25}{8}}u_{xx}\right)\partial +{\frac {15}{16}}(2uu_{x}+u_{xxx}).}

استبدال هذا لت2=[ب5،ل]{\displaystyle {\frac {\partial L}{\partial t_{2}}}=[B_{5},L]} ومرة أخرى، مقارنة الحدود من الرتبة الصفرية تعطي uت2=116(uxxxxx+10uuxxx+20uxuxx+30u2ux).{\displaystyle u_{t_{2}}={\frac {1}{16}}\left(u_{xxxxx}+10u\,u_{xxx}+20u_{x}u_{xx}+30u^{2}u_{x}\right).}

كتابةv=-u{\displaystyle v=-u}وs2=ت2/16{\displaystyle s_{2}=t_{2}/16}ثم إعادة التسمية(v،s2){\displaystyle (v,s_{2})}مثل(u،ت2){\displaystyle (u,t_{2})}، يعطي uت2=uxxxxx-10uuxxx-20uxuxx+30u2ux.{\displaystyle u_{t_{2}}=u_{xxxxx}-10u\,u_{xxx}-20u_{x}u_{xx}+30u^{2}u_{x}.}

ملاحظات حول الاتفاقيات

تعتمد المعاملات المذكورة أعلاه على اصطلاح الإشارة لمؤثر شرودنغر وعلى تطبيع متغيرات الزمن. تستخدم العديد من المراجعل=-2+u{\displaystyle L=-\partial ^{2}+u}بدلاً منل=2+u{\displaystyle L=\partial ^{2}+u}أو إعادة قياس المتغيراتتن{\displaystyle t_{n}}هذه التغييرات تغير بعض العلامات والعوامل العددية ولكن ليس التسلسل الهرمي الأساسي.

توضح هذه الحسابات بشكل صريح كيف تنشأ العناصر الأولى في التسلسل الهرمي من أنصاف القوى الرسمية لـل{\displaystyle L}يتوسع المرءل1/2{\displaystyle L^{1/2}}يستخرج الأجزاء التفاضلية للقوى الفردية، ثم يقرأ معادلة التطور المستحثة لـu{\displaystyle u}من المبدل[ب2ن+1،ل]{\displaystyle [B_{2n+1},L]}.

بنية هاميلتونية

يُعدّ التسلسل الهرمي لمعادلة كورتيغ-دي فريس (KdV) أيضًا تسلسلًا هرميًا هاميلتونيًا . تسمح معادلة KdV بعدد لا نهائي من الدوال المحفوظة ، ويؤدي اختيار هذه الدوال تباعًا كدوال هاميلتونية إلى إنتاج التدفقات الأعلى. في صيغة بواسون القياسية ، يمكن كتابة التسلسل الهرمي بشكل تخطيطي كما يلي: uتن=xدلتاأناندلتاu،{\displaystyle u_{t_{n}}=\partial _{x}{\frac {\delta I_{n}}{\delta u}},} أينأنان[u]{\displaystyle I_{n}[u]}تُعدّ هذه الكميات محفوظة في عملية الالتفاف. ترتبط وجهة النظر الهاميلتونية هذه ارتباطًا وثيقًا بصيغة جيلفاند-ديكي وبنية KdV ثنائية الهاميلتونية. [ 1 ] [ 2 ] [ 5 ]

الهاميلتونيان وتكرار لينارد-ماجري

في معايرة الإشارة والزمن للمعادلة المعروضةuت1=6uux-uxxx{\displaystyle u_{t_{1}}=6uu_{x}-u_{xxx}}، يقدم أحدهما عاملين متوافقين من نوع بواسون P0=x،P1=-x3+2ux+2xu.{\displaystyle P_{0}=\partial _{x},\qquad P_{1}=-\partial _{x}^{3}+2u\,\partial _{x}+2\partial _{x}u.} لوحن[u]{\displaystyle H_{n}[u]}هي هاميلتونيات تحقق مشتقاتها التغيرية علاقة لينارد-ماغري التكرارية P1دلتاحندلتاu=P0دلتاحن+1دلتاu،{\displaystyle P_{1}{\frac {\delta H_{n}}{\delta u}}=P_{0}{\frac {\delta H_{n+1}}{\delta u}},} ثم تكون تدفقات KdV uتن=P0دلتاحن+1دلتاu=P1دلتاحندلتاu.{\displaystyle u_{t_{n}}=P_{0}{\frac {\delta H_{n+1}}{\delta u}}=P_{1}{\frac {\delta H_{n}}{\delta u}}.} هذه هي الصيغة ثنائية الهاميلتونية للتسلسل الهرمي. [ 6 ] [ 4 ] [ 1 ]

يمكن أيضًا بناء الهاميلتونيان مباشرةً من مؤثر لاكس. في النهج التفاضلي الزائف الرسمي، يُنظر أولاً في أنصاف القوى الفردية لـ ل=x2+u{\displaystyle L=\partial _{x}^{2}+u} ويأخذ بواقيها، أي معاملاتx-1{\displaystyle \partial _{x}^{-1}}باستثناء العوامل العددية التقليدية وإضافة المشتقات الكلية، فإن الدوال resل(2ن+1)/2دx،ن=0،1،2،...،{\displaystyle \int \operatorname {res} L^{(2n+1)/2}\,dx,\qquad n=0,1,2,\dots ,} هي كميات محفوظة في التسلسل الهرمي. بتطبيق تغيير الإشارة المحتمل وإعادة قياس الزمن الموصوفة أعلاه، نحصل على الهاميلتونيان للاتفاقية المعروضة. كثافات البقايا المقابلة هي متعددات حدود جيلفاند-ديكي المرتبطة بـل{\displaystyle L}[ 4 ] [ 7 ]

باستخدام هذا التوحيد، يمكن للمرء أن يأخذ، على سبيل المثال، ح0=12uدx،ح1=12u2دx،ح2=(u3+12ux2)دx.{\displaystyle H_{0}={\frac {1}{2}}\int u\,dx,\qquad H_{1}={\frac {1}{2}}\int u^{2}\,dx,\qquad H_{2}=\int \left(u^{3}+{\frac {1}{2}}u_{x}^{2}\right)\,dx.} ثم uت0=P0دلتاح1دلتاu=ux،{\displaystyle u_{t_{0}}=P_{0}{\frac {\delta H_{1}}{\delta u}}=u_{x},} تدفق الترجمة، بينما uت1=P0دلتاح2دلتاu=x(3u2-uxx)=6uux-uxxx،{\displaystyle u_{t_{1}}=P_{0}{\frac {\delta H_{2}}{\delta u}}=\partial _{x}(3u^{2}-u_{xx})=6uu_{x}-u_{xxx},} وهي معادلة كورتيغ-دي فريس نفسها. وتولد الهاميلتونيات الأعلى معادلات كورتيغ-دي فريس الأعلى بنفس الطريقة. [ 2 ] [ 1 ]

في هذه الصيغة، تكون الكميات المحفوظة في حالة انعكاس بالنسبة لكلا قوسَي بواسون، وتوافقP0{\displaystyle P_{0}}وP1{\displaystyle P_{1}}يشير ذلك إلى أن حقول المتجهات الهاميلتونية تتبادل. وبالتالي، فإن صيغ الهاميلتونية والتكرارية ولاكس هي أوصاف متكافئة لنفس التسلسل الهرمي. [ 4 ] [ 6 ] [ 7 ]

التفسير الطيفي

معادلة لاكس تعني أن المؤثرل{\displaystyle L}يتطور بشكل متساوي الطيف. وبالتالي، تُحفظ البيانات الطيفية لمسألة شرودنغر المساعدة على طول كل تدفق KdV. [ 3 ] [ 1 ] في حالة الكمونات الدورية، يمكن التعبير عن ذلك بدلالة البيانات الطيفية لفلوكي أو بلوخ. ليكنتي{\displaystyle T}كن عامل الترجمةتيψ(x)=ψ(x+1){\displaystyle T\psi (x)=\psi (x+1)}بالنسبة لجهد دوري أحاديu{\displaystyle u}، أحد الدراسات أزواج(λ،α){\displaystyle (\lambda ,\alpha )}والتي يوجد لها حل غير صفري (x2+u)ψ=λψ،تيψ=αψ.{\displaystyle (\partial _{x}^{2}+u)\psi =\lambda \psi ,\qquad T\psi =\alpha \psi .}يظل طيف بلوخ-فلوكي الناتج ثابتًا تحت تدفقات KdV. تُعدّ هذه المسألة الطيفية الدورية إحدى نقاط الانطلاق الرئيسية للتكامل ذي الفجوة المحدودة. [ 5 ] [ 8 ]

دالة تاو

لأغراض عديدة، يتم ترميز حل التسلسل الهرمي لـ KdV بواسطة دالة تاوτ(ت0،ت1،ت2،...){\displaystyle \tau (t_{0},t_{1},t_{2},\dots )}، مُعرَّفة حتى الضرب بالدالة الأسية لدالة خطية اختيارية للأزمنة. في عملية التوحيدل=x2+2u{\displaystyle L=\partial _{x}^{2}+2u}يُستخدم في تركيب المصفوفة والمذيب أدناه، u=x2سجلτ،x=ت0.{\displaystyle u=\partial _{x}^{2}\log \tau ,\qquad x=t_{0}.} وبشكل أعم، المشتقات اللوغاريتمية العليا لـτ{\displaystyle \tau }أعطِ دوال الارتباط أون{\displaystyle n}دوال النقاط في التسلسل الهرمي. يوفر هذا طريقة مختصرة لتنظيم تدفقات KdV التبادلية وهوياتها الثنائية الخطية، وهو لغة قياسية للحلول الدقيقة للتسلسلات الهرمية القابلة للتكامل. [ 7 ] [ 9 ]

تعبر الأعمال الحديثة لدوبروفين ويانغ وزاغير عن السلسلة المولدة للمشتقات اللوغاريتمية لدالة تاو بدلالة محلل المصفوفة الأساسي لمؤثر شرودنغر، وبشكل مكافئ بدلالة دالة موجية مرتبطة ودالة موجية ثنائية. [ 9 ]

ومن الأمثلة البارزة دالة تاو لـ Witten–Kontsevich ، التي يمثل لوغاريتمها الدالة المولدة لأعداد التقاطع لـψ{\displaystyle \psi }- فئات على فضاءات معامل ديلين-مامفوردم¯ز،ن{\displaystyle {\overline {\mathcal {M}}}_{g,n}}افترض إدوارد ويتن أن هذه الدالة المولدة هي دالة تاو لتسلسل KdV الهرمي تحقق معادلة الأوتار، وأثبت مكسيم كونتسيفيتش هذا الافتراض باستخدام دالة آيري المصفوفية . وقد أرست هذه النتيجة صلةً جوهريةً بين تسلسل KdV الهرمي، والجاذبية ثنائية الأبعاد ، ونظرية التقاطع على فضاءات المعاملات للمنحنيات. [ 10 ] [ 11 ]

نهج محلل المصفوفة والدالة الموجية

تستخدم صيغة أخرى لتسلسل KdV مُحلِّل مصفوفة مرتبطًا بمؤثر شرودنغر. في عملية التطبيع الشائعة، يُكتب مؤثر لاكس القياسي على النحو التالي:ل=x2+2u{\displaystyle L=\partial _{x}^{2}+2u}ويقدم الرتبة الأولى المقابلة2×2{\displaystyle 2\times 2}عامل المصفوفة ل=x+Λ(λ)+q،Λ(λ)=(01λ0)،q=(00-2u0).{\displaystyle {\mathcal {L}}=\partial _{x}+\Lambda (\lambda )+q,\qquad \Lambda (\lambda )={\begin{pmatrix}0&1\\\lambda &0\end{pmatrix}},\qquad q={\begin{pmatrix}0&0\\-2u&0\end{pmatrix}}.}محلل المصفوفة الأساسي هو الشكل الرسمي الفريدsل2{\displaystyle {\mathfrak {sl}}_{2}}سلسلة لوران ذات القيمة العاليةR(λ){\displaystyle R(\lambda )}مُرضٍ [ل،R(λ)]=0،R(λ)=Λ(λ)+الحدود ذات الرتبة الأدنى،trR(λ)2=2λ.{\displaystyle [{\mathcal {L}},R(\lambda )]=0,\qquad R(\lambda )=\Lambda (\lambda )+{\text{lower-order terms}},\qquad \operatorname {tr} R(\lambda )^{2}=2\lambda .} يشير الترتيب الأدنى هنا إلى التصنيف الرئيسي القياسي، والذيدرجةλ=2{\displaystyle \deg \lambda =2}والمولدات المثلثية العلوية والسفلية لـsل2{\displaystyle {\mathfrak {sl}}_{2}}حاصل على شهادات جامعية1{\displaystyle 1}و-1{\displaystyle -1}، على التوالي. المدخل العلوي الأيمنب(λ){\displaystyle b(\lambda )}يحتوي على توسيع تكراري تحدد معاملاته مشتقات KdV التبادلية. [ 9 ] [ 4 ]

في هذا النهج، يتم ترميز دالة تاو عن طريق توليد متسلسلات مبنية منR(λ){\displaystyle R(\lambda )}أظهر دوبروفين ويانغ وزاغير أنه بالنسبة لأي حل للتسلسل الهرمي، يمكن كتابة المشتقات اللوغاريتمية لدالة تاو بدلالة محلل المصفوفة الأساسي، ثم قدموا صيغًا مكافئة بدلالة دالة موجية.ψ(z،ت){\displaystyle \psi (z,t)}وثنائيتهψ*(z،ت){\displaystyle \psi ^{*}(z,t)}[ 9 ] هذه تفي بالمسائل الخطية المساعدة للتسلسل الهرمي ، ويستعيد ناتجها مدخل الحل: ψ(z،ت)ψ*(z،ت)=ب(z2،ت).{\displaystyle \psi (z,t)\psi ^{*}(z,t)=b(z^{2},t).} ومنها تتشكل النواة د(z،w،ت)=ψ(z،ت)xψ*(w،ت)-ψ*(w،ت)xψ(z،ت)w2-z2،{\displaystyle D(z,w,t)={\frac {\psi (z,t)\,\partial _{x}\psi ^{*}(w,t)-\psi ^{*}(w,t)\,\partial _{x}\psi (z,t)}{w^{2}-z^{2}}},} وسلسلة التوليد لـن{\displaystyle n}دوال الارتباط النقطي لـسجلτ{\displaystyle \log \tau }يتم الحصول عليها كمجموع دوري لحاصل ضرب هذه النوى. وتستخدم صيغة مكافئة نواة ثابتة المقياس مبنية فقط منب(z2،ت){\displaystyle b(z^{2},t)}[ 9 ]

لا يحل هذا محل تعريفات لاكس أو التفاضلية الزائفة المعتادة للتسلسل الهرمي، ولكنه يوفر طريقة فعالة أخرى لحساب بيانات دالة تاو الخاصة به. على وجه الخصوص، بعد التخصيص إلىت1=ت2==0{\displaystyle t_{1}=t_{2}=\cdots =0}، ينتج عن زوج من الدوال الموجية المحددة بواسطة البيانات الأولية جميع المشتقات اللوغاريتمية لـτ{\displaystyle \tau }من رتبة اثنين على الأقل، وبالتالي يحددτ{\displaystyle \tau }حتى غموضها الأسي الخطي. وهذا ما يجعل الطريقة مفيدة للحلول الصريحة مثل حلول ويتن-كونتسيفيتش، وبريزين-جروس-ويتن المعممة، وحلول لاميه التي ناقشها دوبروفين ويانغ وزاغير. [ 9 ]

كتابة مُحلِّل المصفوفة الأساسي على النحو التالي: R(λ)=(أ(λ)ب(λ)ج(λ)-أ(λ))،{\displaystyle R(\lambda )={\begin{pmatrix}a(\lambda )&b(\lambda )\\c(\lambda )&-a(\lambda )\end{pmatrix}},} المعادلة[x+Λ(λ)+q،R(λ)]=0{\displaystyle [\partial _{x}+\Lambda (\lambda )+q,R(\lambda )]=0}أعطِ أ=12بx،ج=(λ-2u)ب-12بxx،{\displaystyle a={\frac {1}{2}}b_{x},\qquad c=(\lambda -2u)b-{\frac {1}{2}}b_{xx},} وبالتالي المعادلة العددية من الدرجة الثالثة بxxx-4(λ-2u)بx+4uxب=0.{\displaystyle b_{xxx}-4(\lambda -2u)b_{x}+4u_{x}\,b=0.} التطبيعtrR(λ)2=2λ{\displaystyle \operatorname {tr} R(\lambda )^{2}=2\lambda }يعادل ببxx-12بx2-2(λ-2u)ب2=-2λ.{\displaystyle b\,b_{xx}-{\frac {1}{2}}b_{x}^{2}-2(\lambda -2u)b^{2}=-2\lambda .} التوسع ب(λ)=ك-1بكλ-ك-1،ب-1=1،{\displaystyle b(\lambda )=\sum _{k\geq -1}b_{k}\,\lambda ^{-k-1},\qquad b_{-1}=1,} نحصل على العلاقة التفاضلية المتكررة xبك=2uxبك-1+uxبك-1+14x3بك-1،ك0،{\displaystyle \partial _{x}b_{k}=2u\,\partial _{x}b_{k-1}+u_{x}\,b_{k-1}+{\frac {1}{4}}\,\partial _{x}^{3}b_{k-1},\qquad k\geq 0,} بالإضافة إلى تكرار جبري يحدد كلبك{\displaystyle b_{k}}بشكل فريد عن المعاملات السابقة. الحدود الأولى هي ب0=u،ب1=32u2+14uxx.{\displaystyle b_{0}=u,\qquad b_{1}={\frac {3}{2}}u^{2}+{\frac {1}{4}}u_{xx}.} تُنشئ هذه المعاملات التسلسل الهرمي بشكل تكراري: فبعد اختيار نفس معايير التطبيع الزمني المستخدمة في مواضع أخرى من هذه المقالة، تُعيد إنتاج تدفق الإزاحة، ومعادلة كورتيغ-دي فريس (KdV)، ومعادلات كورتيغ-دي فريس الأعلى. وبهذا الشكل، يكون التكرار التفاضلي هو تكرار لينارد-ماغري مكتوبًا بلغة مُحلِّل المصفوفات. [ 9 ] [ 4 ] [ 6 ]

حلول السوليتون

من بين الحلول الدقيقة الأكثر شهرة لتسلسل KdV حلول السوليتون الخاصة به . في عملية توحيد شائعة، تُكتب هذه الحلول بدلالة دالة تاو بواسطة u=-2x2سجلτ.{\displaystyle u=-2\,\partial _{x}^{2}\log \tau .} بالنسبة لمعادلة Korteweg-de Vries نفسها، uت1=6uux-uxxx،{\displaystyle u_{t_{1}}=6uu_{x}-u_{xxx},} الحل أحادي السوليتون هو u(x،ت1)=-2κ2سيش2(κ(x-4κ2ت1-x0))،{\displaystyle u(x,t_{1})=-2\kappa ^{2}\operatorname {sech} ^{2}\!{\big (}\kappa (x-4\kappa ^{2}t_{1}-x_{0}){\big )},} أينκ>0{\displaystyle \kappa >0}وx0{\displaystyle x_{0}}هي ثوابت. إنها موجة متحركة موضعية ذات شكل ثابت، وسرعتها تتناسب مع سعتها. [ 12 ] [ 13 ]

وبشكل عام، فإنشمال{\displaystyle N}يمكن كتابة حلول السوليتون على النحو التالي: τ=μأنا{0،1}خبرة(أنا=1شمالμأناηأنا+1أنا<جشمالμأناμجأأناج)،{\displaystyle \tau =\sum _{\mu _{i}\in \{0,1\}}\exp \!\left(\sum _{i=1}^{N}\mu _{i}\eta _{i}+\sum _{1\leq i<j\leq N}\mu _{i}\mu _{j}A_{ij}\right),} أين هـأأناج=(κأنا-κجκأنا+κج)2.{\displaystyle e^{A_{ij}}=\left({\frac {\kappa _{i}-\kappa _{j}}{\kappa _{i}+\kappa _{j}}}\right)^{2}.} بالنسبة لمعادلة KdV، يمكن للمرء أن يأخذ ηأنا=2κأناx-8κأنا3ت1+دلتاأنا،{\displaystyle \eta _{i}=2\kappa _{i}x-8\kappa _{i}^{3}t_{1}+\delta _{i},} مع الثوابتدلتاأنا{\displaystyle \delta _{i}}تصف الحلول الناتجة تراكبات غير خطية لموجات منفردة. بعد التفاعل، تعود الموجات المنفردة للظهور بنفس السعات والسرعات، وتختلف فقط في إزاحات الطور؛ يُعد سلوك التشتت المرن هذا إحدى السمات المميزة للأنظمة القابلة للتكامل. [ 13 ] [ 14 ] [ 1 ]

وينطبق شكل دالة تاو نفسه على التسلسل الهرمي الكامل لمعادلة كورتيغ-دي فريس. نترك كل مرحلةηأنا{\displaystyle \eta _{i}}تعتمد خطيًا على جميع أوقات التسلسل الهرمي ت0=x،ت1،ت2،...،{\displaystyle t_{0}=x,\;t_{1},\;t_{2},\dots ,} بمعاملات تتناسب مع القوى الفردية لـκأنا{\displaystyle \kappa _{i}}وبالتالي، فإن اختيارًا واحدًا لمعاملات السوليتون يُحدد حلًا متوافقًا لجميع تدفقات KdV التبادلية. وبهذا المعنى، فإن حلول السوليتون الهرمية هي حلول السوليتون المتزامنة لمجموعة المعادلات بأكملها، وليس فقط لتدفق KdV الأول. [ 1 ] [ 7 ]

من وجهة نظر طيفية، تتوافق حلول السوليتون مع مؤثرات شرودنغر عديمة الانعكاس. وتحدد القيم الذاتية المنفصلة لمسألة شرودنغر أحادية البعد المرتبطة بها معلمات السوليتون.κأنا{\displaystyle \kappa _{i}}بينما يُعزى غياب الانعكاس إلى خصائص النقل والتشتت المرن الدقيقة. [ 12 ] [ 14 ]

تحويل التشتت العكسي

بالنسبة للبيانات الأولية المتلاشية بسرعة على خط الأعداد الحقيقية، يمكن حل معادلة KdV باستخدام تحويل التشتت العكسي . ويتم دراسة مؤثر شرودنغر أحادي البعد المرتبط بها. ل=-x2+u(x،ت)،{\displaystyle L=-\partial _{x}^{2}+u(x,t),} أو بعد ضرب المعادلة الطيفية بـ-1{\displaystyle -1}، الاتفاقية المكافئةل~=x2+u~{\displaystyle {\widetilde {L}}=\partial _{x}^{2}+{\widetilde {u}}}معu~=-u{\displaystyle {\widetilde {u}}=-u}ويتم عكس إشارة المعامل الطيفي. ثم تُحسب بيانات التشتت: معامل الانعكاس، والقيم الذاتية المنفصلة، ​​وثوابت التطبيع المقابلة. التطور غير الخطي لـu{\displaystyle u}يتم تحويلها إلى تطور خطي لبيانات التشتت هذه. [ 12 ] [ 14 ]

في لغة Lax-pair، المعاملل{\displaystyle L}يتطور بشكل متساوي الطيف، لذا فإن قيمه الذاتية مستقلة عن الزمن. بالنسبة لتدفق KdV، يكون التغير الزمني لبيانات التشتت المتبقية بسيطًا: يكتسب معامل الانعكاس عامل طور أسي بسيط، بينما تظل القيم الذاتية المنفصلة ثابتة وتتطور ثوابت التطبيع بشكل أسي. الجهدu(x،ت){\displaystyle u(x,t)}ثم يتم استخلاصها من بيانات التشتت عن طريق حل معادلة جيلفاند-ليفيتان-مارشينكو التكاملية. [ 3 ] [ 14 ] [ 15 ]

تُفسّر هذه الطريقة الدور الخاص لحلول السوليتون. تُنتج بيانات التشتت عديمة الانعكاس حلولًا دقيقة متعددة السوليتونات، بينما تُنتج بيانات التضاؤل ​​الأكثر عمومية حلولًا تشتتية بالإضافة إلى أي مُكوّن سوليتون مُحدد بواسطة الطيف المنفصل. وبهذه الطريقة، يلعب تحويل التشتت العكسي في معادلة كورتيغ-دي فريس دورًا مُماثلًا لدور تحويل فورييه في المعادلات التشتتية الخطية. [ 12 ] [ 14 ]

تكمن مشكلة التشتت نفسها وراء التسلسل الهرمي الكامل لمعادلة كورتيغ-دي فريس (KdV). تحافظ التدفقات الأعلى على طيف مؤثر شرودنغر نفسه، وتؤثر من خلال تطورات طورية خطية مختلفة على بيانات التشتت نفسها. وبالتالي، يوفر تحويل التشتت العكسي طريقة حل مشتركة لجميع تدفقات التسلسل الهرمي، وليس فقط لمعادلة كورتيغ-دي فريس الأولى. [ 3 ] [ 14 ]

حلول الفجوة المحدودة

يمكن اعتبار التسلسل الهرمي نظامًا محددًا بشكل مفرط لـ u=u(x=ت0،ت1،ت2،...).{\displaystyle u=u(x=t_{0},t_{1},t_{2},\dots ).} يتميز جهد الفجوة المحدودة بوجود مؤثر تفاضلي فردي غير صفري يتبادل معل{\displaystyle L}بصورة مكافئة، يُحقق هذا معادلة ثابتة لمزيج خطي مناسب من تدفقات KdV. تقتصر تدفقات التسلسل الهرمي المتبقية على الإزاحات التبادلية على مشعب الطيف المتساوي الأبعاد المقابل. في الحالة الدورية، تُوصف كمونات الفجوة المحدودة بمنحنيات طيفية زائدية، ويمكن كتابة الحلول المقابلة بدلالة دوال ريمان ثيتا . بالنسبة لكمونات الفجوة المحدودة الدورية الملساء، يكون الجنس0{\displaystyle 0}يُعطي حلولاً ثابتة، بينما الجنس1{\displaystyle 1}[ 5 ] [ 16 ] [ 17 ]

تُشكّل حلول الفجوات المحدودة فئةً مهمةً وقابلةً للوصف بوضوح من الحلول الدورية وشبه الدورية، لكنها لا تُغطي تعريف التسلسل الهرمي نفسه. وعلى وجه الخصوص، ينبغي اعتبارها حلولًا خاصة تتميز بشروط طيفية أو شروط استقرار إضافية، وليست الشكل العام لحل دوري لمعادلة كورتيغ-دي فريس. [ 5 ] [ 17 ]

تحويل ميورا والتسلسل الهرمي المعدل لـ KdV

يُعد التسلسل الهرمي المتكامل المُعدَّل ( mKdV hierarchy ) لدالة ما، ذا صلة وثيقة بهذا النوع من التسلسلات.v=v(x،ت0،ت1،ت2،...){\displaystyle v=v(x,t_{0},t_{1},t_{2},\dots )}باستخدام التطبيع المستخدم في هذه المقالة، فإن أول تدفق غير تافه لها هو vت1=6v2vx-vxxx،{\displaystyle v_{t_{1}}=6v^{2}v_{x}-v_{xxx},} بالإضافة إلى تدفقات متوافقة أعلى في المتغيراتت2،ت3،...{\displaystyle t_{2},t_{3},\dots }بينما تُكتب تسلسلات KdV عادةً بدلالة مؤثر شرودنغر من الدرجة الثانية، فإن التسلسلات المعدلة تُصاغ بشكل طبيعي بواسطة مؤثر من الدرجة الأولى2×2{\displaystyle 2\times 2}عامل متساهل، ويمكن اعتباره أيضًاsل2{\displaystyle {\mathfrak {sl}}_{2}}التسلسل الهرمي لدرينفيلد-سوكولوف. [ 1 ] [ 7 ]

تُحدد العلاقة بين التسلسلين الهرميين بواسطة تحويل ميوراu=vx+v2.{\displaystyle u=v_{x}+v^{2}.} لوv{\displaystyle v}إذا كانت تحقق معادلة KdV المعدلة، فعندئذٍu{\displaystyle u}يحقق معادلة KdV uت1=6uux-uxxx.{\displaystyle u_{t_{1}}=6uu_{x}-u_{xxx}.} وبشكل أعم، يُحوّل تحويل ميورا كل تدفق من تسلسل mKdV إلى التدفق المقابل له في تسلسل KdV. وبما أن معادلة KdV المُعدّلة ثابتة تحت هذا التحويل، فإن تحويل ميورا يُحوّل كل تدفق من تسلسل mKdV إلى التدفق المقابل له في تسلسل KdV.v-v{\displaystyle v\mapsto -v}كما يحصل المرء على التحويل المصاحب u=-vx+v2.{\displaystyle u=-v_{x}+v^{2}.} غالباً ما تُعتبر هاتان الخريطتان معاً خريطة ميورا. [ 18 ] [ 1 ] [ 7 ]

في اتفاقية الإشارة البديلةل=-x2+u{\displaystyle L=-\partial _{x}^{2}+u}ينعكس تحويل ميورا في عملية التحليل إلى عوامل -x2+u=(x+v)(-x+v){\displaystyle -\partial _{x}^{2}+u=(\partial _{x}+v)(-\partial _{x}+v)} أو -x2+u=(-x+v)(x+v)،{\displaystyle -\partial _{x}^{2}+u=(-\partial _{x}+v)(\partial _{x}+v),} مما ينتج عنهu=vx+v2{\displaystyle u=v_{x}+v^{2}}وu=-vx+v2{\displaystyle u=-v_{x}+v^{2}}على التوالي. يساعد هذا التحليل على تفسير سبب وجود نسخ متوازية للعديد من بنى تسلسل KdV لـ mKdV، وسبب مناقشة التسلسلين معًا في كثير من الأحيان. [ 18 ] [ 7 ]

تُفسّر إعادة الصياغة الهندسية تحويل ميورا على أنه انتقال من بيانات الاتصال من الدرجة الأولى إلى الاتصال الإسقاطي المرتبط بها ؛ فيsل2{\displaystyle {\mathfrak {sl}}_{2}}في هذه الحالة، ينعكس ذلك في تحليل عامل شرودنغر إلى عوامل من الدرجة الأولى. [ 18 ] [ 19 ]

التسلسل الهرمي لمصفوفة KdV

يتم الحصول على التسلسل الهرمي غير التبادلي أو المصفوفي لـ KdV من خلال السماح للمتغير التابع بأخذ قيم في جبر ترابطي، وخاصة في جبرشمال×شمال{\displaystyle N\times N}المصفوفات. في أحد الاصطلاحات القياسية، يكون أول عنصر غير تافه فيها هو معادلة KdV للمصفوفة يوت=يوxxx+3(يويوx+يوxيو)،{\displaystyle U_{t}=U_{xxx}+3(UU_{x}+U_{x}U),} حيث يتم تماثل الحد غير الخطي لأن ضرب المصفوفات ليس تبادليًا. بعد تغيير إشارات المتغير التابع والزمن، فإن الاصطلاح المستخدم للمعادلة العددية المعروضة يعطي يوت1=3(يويوx+يوxيو)-يوxxx.{\displaystyle U_{t_{1}}=3(UU_{x}+U_{x}U)-U_{xxx}.} متىيو{\displaystyle U}التنقل معيوx{\displaystyle U_{x}}وخاصة في الحالة العددية، يختزل هذا إلى معادلة KdV العددية. [ 20 ] [ 21 ]

قام كاريلو وشيبولد بتطوير تسلسلات KdV ذات القيم المؤثرة وتسلسلات KdV المعدلة باستخدام أساليب الاستدعاء الذاتي، حيث تظهر حالة المصفوفة كحالة خاصة محدودة الأبعاد لنفس الإطار غير التبادلي. يقدم عملهما عوامل استدعاء ذاتي صريحة وصيغ حلول لتسلسلات KdV وKdV الكامنة وKdV المعدلة في كل من السياقين القياسي والمصفوفي. [ 22 ] [ 20 ]

وبشكل أوسع، المصفوفةر{\displaystyle r}تظهر التسلسلات الهرمية لـ KdV في نظرية التسلسلات الهرمية لمصفوفات Gelfand–Dikii واختزالات Drinfeld–Sokolov المعممة. في هذا السياق، يتم التعامل مع مؤثرات Lax شبه التفاضلية للمصفوفات، ويتم استعادة التسلسل الهرمي القياسي لـ KdV كحالةص=1{\displaystyle p=1}[ 23 ] [ 24 ]

العلاقة بالتسلسلات الهرمية الأخرى

يُعدّ التسلسل الهرمي لـ KdV اختزالاً للتسلسل الهرمي لـ KP . كما يظهر أيضاً في نظرية المؤثرات التفاضلية العادية التبادلية، وفي تحويل التشتت العكسي ، وفي المناهج الجبرية الهندسية للأنظمة التكاملية. [ 1 ] [ 4 ] [ 16 ]

تفسر المناهج القائمة على نظرية التويستور التسلسل الهرمي لـ KdV على أنه اختزال تناظري لنظرية يانغ-ميلز المضادة للازدواجية الذاتية ؛ في عمل ماسون وسبارلينغ، ينشأ التسلسل الهرمي لـ KdV وشرودنغر غير الخطي من التسلسل الهرمي لبوغومولني بعد فرض تناظر إضافي، ويتم تفسير تحويل التشتت العكسي على أنه تحقيق إحداثي لتوافق التويستور . [ 25 ]

تاريخ

تبدأ النظرية الحديثة باكتشاف أن معادلة كورتيغ-دي فريس تقبل تمثيل لاكس، الذي يفسر وجود عدد لا نهائي من الكميات المحفوظة وثوابتها الطيفية. [ 3 ] وقد طُوِّرت نظرية الطيف الدوري وبناء الفجوة المحدودة في أعمال لاكس، ونوفيكوف، ودوبروفين، وماتفييف، وكريتشيفر في سبعينيات القرن العشرين. [ 5 ] [ 8 ] [ 16 ]

انظر أيضاً

مراجع

  1. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 بابيلون، أوليفييه؛ برنارد، دينيس؛ تالون، ميشيل (2003). "11". مقدمة في الأنظمة التكاملية الكلاسيكية . مطبعة جامعة كامبريدج. ISBN 9780521822671.
  2. 1 2 3 4 5 6 دوناجسكي، ماسيج (2010). Solitons، Instantons، وTwistors . مطبعة جامعة أكسفورد. ص 56 – 57. ISBN  9780198570639.
  3. 1 2 3 4 5 لاكس، بيتر د. (1968). "تكاملات المعادلات غير الخطية للتطور والموجات الانفرادية". مجلة الاتصالات في الرياضيات البحتة والتطبيقية . 21 (5): 467-490 . doi : 10.1002/cpa.3160210503 .
  4. 1 2 3 4 5 6 7 جيلفاند، آي إم؛ ديكي، إل إيه (1977). "أنظمة المُحلِّل والهاملتوني". التحليل الوظيفي وتطبيقاته . 11 (2): 93-105 . doi : 10.1007/BF01081887 .
  5. 1 2 3 4 5 لاكس، بيتر د. (1975). "حلول دورية لمعادلة KdV". مجلة الاتصالات في الرياضيات البحتة والتطبيقية . 28 (1): 141-188 . doi : 10.1002/cpa.3160280105 .
  6. 1 2 3 ماغري، فرانكو (1978). "نموذج بسيط لمعادلة هاميلتون القابلة للتكامل". مجلة الفيزياء الرياضية . 19 (5): 1156-1162 .
  7. 1 2 3 4 5 6 7 ديكي، إل إيه (2003). معادلات السوليتون وأنظمة هاميلتون (الطبعة الثانية ). وورلد ساينتيفيك. ISBN  9789812383990.
  8. 1 2 نوفيكوف، إس بي (1978). "طريقة لحل المسألة الدورية لمعادلة كورتيغ-دي فريس وتعميماتها". مجلة روكي ماونتن للرياضيات . 8 (1): 95-116 .
  9. 1 2 3 4 5 6 7 دوبروفين، بوريس؛ يانغ، دي. زاجير دون (2021). “في وظائف tau للتسلسل الهرمي لـ KdV”. اختر الرياضيات . نس 27 . المادة 12. دوى : 10.1007/s00029-021-00620-x .
  10. ويتن، إدوارد (1991). "الجاذبية ثنائية الأبعاد ونظرية التقاطع على فضاء المعاملات". دراسات في الهندسة التفاضلية . 1 : 243-310 .
  11. كونتسيفيتش، ماكسيم (1992). "نظرية التقاطع على فضاء معاملات المنحنيات ودالة آيري المصفوفية". الاتصالات في الفيزياء الرياضية . 147 (1): 1-23 . doi : 10.1007/BF02099526 .
  12. 1 2 3 4 غاردنر، سي إس؛ غرين، جي إم؛ كروسكال، إم دي؛ ميورا، آر إم (1967). "طريقة لحل معادلة كورتيغ-دي فريس". رسائل المراجعة الفيزيائية . 19 (19): 1095-1097 . doi : 10.1103/PhysRevLett.19.1095 .
  13. 1 2 هيروتا، ريوغو (1971). "الحل الدقيق لمعادلة كورتيغ-دي فريس للتصادمات المتعددة للسوليتونات". رسائل المراجعة الفيزيائية . 27 (18): 1192-1194 . doi : 10.1103/PhysRevLett.27.1192 .
  14. 1 2 3 4 5 6 أبلوويتز، مارك جيه؛ سيجور، هارفي (1981). السوليتونات وتحويل التشتت العكسي . سيام. ISBN 9780898711745.
  15. مارشينكو، ف. أ. (2011). مؤثرات ستورم-ليوفيل وتطبيقاتها . الجمعية الأمريكية للرياضيات. ISBN 9780821853160.
  16. 1 2 3 كريتشيفر، آي إم (1977). "تكامل المعادلات غير الخطية باستخدام طرق الهندسة الجبرية". التحليل الوظيفي وتطبيقاته . 11 (1): 12-26 . doi : 10.1007/BF01081579 .
  17. 1 2 جيزتسي، فريتز؛ هولدن، هيلج (2003). معادلات السوليتون وحلولها الجبرية الهندسية. المجلد الأول . مطبعة جامعة كامبريدج. ISBN 9780521753074.
  18. 1 2 3 ميورا، آر إم (1968). "معادلة كورتويج-دي فريس وتعميماتها. الجزء الأول: تحويل غير خطي صريح ملحوظ". مجلة الفيزياء الرياضية . 9 (8): 1202-1204 . doi : 10.1063/1.1664700 .
  19. فرينكل، إدوارد (2003). "جبر كاك-مودي الأفيني، والأنظمة التكاملية وتشوهاتها". المجموعة 24: الجوانب الفيزيائية والرياضية للتناظرات . سلسلة مؤتمرات معهد الفيزياء. المجلد 173. منشورات معهد الفيزياء. الصفحات 21-32 . arXiv : math/0305216 .  
  20. 1 2 كاريلو، ساندرا؛ شيبولد، كورنيليا (2011). “مصفوفة Korteweg-de Vries والتسلسلات الهرمية المعدلة لـ Korteweg-de Vries: حلول سوليتون غير تبادلية”. مجلة الفيزياء الرياضية . 52 (5): 053507. دوى : 10.1063/1.3576185 .
  21. شيبولد، كورنيليا (2021). "حول السلوك التقاربي لـ 2-سوليتون لـد×د{\displaystyle d\times d}-مصفوفة معادلة Korteweg-de Vries". وقائع الرياضيات المعاصرة في كيلسي 2020. مطبعة جامعة جان كوتشانوفسكي.
  22. ^ كاريلو ، ساندرا. شيبولد، كورنيليا (2009). “Noncommutative Korteweg-de Vries والتسلسلات الهرمية Korteweg-de Vries المعدلة عبر طرق العودية”. مجلة الفيزياء الرياضية . 50 (7): 073510. دوى : 10.1063/1.3155080 .
  23. فيهير، لازلو؛ هارناد، جون؛ مارشال، إيان (1993). "اختزالات درينفيلد-سوكولوف المعممة والتسلسلات الهرمية من نوع KdV". الاتصالات في الفيزياء الرياضية . 154 : 181-214 . arXiv : hep-th/9210037 . doi : 10.1007/BF02096838 .
  24. فيهير، لازلو؛ مارشال، إيان (1997). "امتدادات التسلسل الهرمي لمصفوفة جيلفاند-ديكي من اختزال درينفيلد-سوكولوف المعمم". اتصالات في الفيزياء الرياضية . 183 (2): 423-461 . arXiv : hep-th/9503217 . doi : 10.1007/BF02506414 .
  25. ماسون، إل جيه؛ سبارلينغ، جي إيه جيه (1992). "مطابقات التويستور لتسلسلات السوليتون". مجلة الهندسة والفيزياء . 8 ( 1-4 ): 243-271 . doi : 10.1016/0393-0440(92)90051-2 .
  • التسلسل الهرمي لمعادلة KdV في ويكي المعادلات التفاضلية الجزئية التشتتية.