Korteweg–de Vries lygtis

Matematinėje fizikoje Kortevego–de Vryso (Korteweg – de Vries) (KdV) lygtis naudojama kaip matematinis modelis, apibūdinantis bangas, sklindančias seklaus vandens paviršiumi. Ji žinoma kaip tiksliai sprendžiamo netiesinio modelio pavyzdys, t. y. kaip netiesinė diferencialinė dalinių išvestinių lygtis, kurios sprendiniai gali būti pavaizduoti analiziniu būdu. Vienas iš šios lygties analizinių sprendinių yra solitonas. KdV lygtis yra viena išsamiausiai išnagrinėtų lygčių matematinėje fizikoje; ji gali būti išspręsta (ASUM). Matematinė KdV lygties teorija turininga ir įdomi, ji iki šiol aktyviai tiriama. Lygtis pavadinta Dyderiko Kortevego (Diederik Korteweg) ir Gustavo de Vryso (Gustav de Vries) vardais. Jie nagrinėjo šią lygtį 1895 metais [1], nors pirmą kartą šią lygtį paskelbė Džozefas Busineskas (Joseph Boussinesq) 1877 m. [2].

Apibrėžimas

KdV lygtis – tai netiesinė diferencialinė dalinių išvestinių lygtis funkcijai dviejų realių kintamųjų - koordinatės ${\displaystyle _{\!x\!}}$ ir laiko ${\displaystyle _{\,\!t\,\!}}$ – ${\displaystyle _{\phi \,\!=\,\!\phi (x,t)}}$:

${\displaystyle \partial _{t}^{}\phi +6\,\phi \,\partial _{x}^{}\phi +\partial _{x}^{3}\phi =0,\,}$

${\displaystyle (1)}$

čia ${\displaystyle _{\partial _{x}\,}}$ ir ${\displaystyle _{\partial _{t}\,}}$ – dalinės išvestinės ${\displaystyle _{\,\!x\,\!}}$ ir ${\displaystyle _{\,\!t\,\!}}$ atžvilgiu. KdV lygtis (1) – tai bedimensė išraiška lygties

${\displaystyle {\frac {\partial \eta }{\partial t}}={\frac {3}{2}}{\sqrt {\frac {g}{h}}}{\frac {\partial }{\partial x}}{\biggl (}{\frac {2}{3}}\alpha \eta +{\frac {1}{2}}\eta ^{2}+{\frac {1}{3}}\sigma {\frac {\partial ^{2}\eta }{\partial x^{2}}}{\biggr )},\,}$

${\displaystyle (2)}$

apibūdinančios netiesinis bangos sklidimą seklaus vandens artėjime, čia ${\displaystyle {}_{\sigma =h^{3}\!/3-Th/(g\rho )}}$, ${\displaystyle h}$ - kanalo gylis, α – konstanta, ${\displaystyle T}$ – paviršinio įtempimo koeficientas, ${\displaystyle g}$ – laisvojo kritimo pagreitis, ρ - vandens tankis.

KdV lygtis yra universalus modelis vienmatėms apibūdinti aplinkose su dispersijos dėsniu ${\displaystyle \omega =ak+bk^{3}}$ , tačiau be disipacijos.

Lygties (1) vidinio nario konstanta 6 yra sąlyginė: padauginęs ${\displaystyle _{\,\!t\,\!}}$, ${\displaystyle _{\,\!x\,\!}}$ ir ${\displaystyle _{\,\!\phi \,\!}}$ iš atitinkamų konstantų, galime prilyginti koeficientų reikšmes kiekviename iš narių bet kokioms iš anksto užduotoms nenuliniam reikšmėms. Pvz., nenormuota KdV lygtis su konstantomis ${\displaystyle a}$ ir ${\displaystyle b}$

${\displaystyle \partial _{\tau }^{}\varphi +a\varphi \partial _{x}^{}\varphi +b\partial _{x}^{3}\varphi =0,}$

${\displaystyle (3)}$

atlikus pakeitimus

${\displaystyle \varphi (x,\tau )={\frac {6b}{a}}\phi (x,t),\quad t=b\tau ,}$

${\displaystyle (4)}$

įgauna kanoninę formą (1), pateiktą apibrėžime.

Sklindančios bangos sprendiniai

Apžvelkime pastovaus profilio bangos, sklindančios į dešinę, sprendinius. Tokie sprendiniai atitinka funkciją ${\displaystyle _{\,\!\phi (x,t)=\phi (x-ct)\,\!}}$. Perėjimas KdV lygtyje prie naujo kintamojo ${\displaystyle _{\,\!\xi =x-ct\,\!}}$ duoda paprastą diferencialinę lygtį

${\displaystyle -c{\frac {d\phi }{d\xi }}+6\phi {\frac {d\phi }{d\xi }}+{\frac {d^{3}\phi }{d\xi ^{3}}}=0,}$

${\displaystyle (5)}$

arba, integruojant ${\displaystyle _{\,\!\xi \,\!}}$,

${\displaystyle 3\phi ^{2}+{\frac {d^{2}\phi }{d\xi ^{2}}}-c\phi =A,}$

${\displaystyle (6)}$

čia ${\displaystyle A}$ – integravimo konstanta. Pastebėsime, kad interpretuodami nepriklausomąją kintamąją ${\displaystyle _{\,\!\xi \,\!}}$, kaip laiko kintamąją, matome, kad ${\displaystyle _{\,\!\phi =\phi (\xi )\,\!}}$ turi tenkinti , apibūdinančią dalelės judėjimą kubiniame potenciale. Lygties (6) sprendinį funkcijai ${\displaystyle _{\,\!\phi (\xi )\,\!}}$ rasime dar kartą integruodami su daugikliu ${\displaystyle \phi _{\xi }^{'}}$:

${\displaystyle {\phi '}^{2}=-2f(\phi ),\quad f(\phi )=\phi ^{3}-{\frac {c}{2}}\phi ^{2}-A\phi -B,}$

${\displaystyle (7)}$

Funkciją ${\displaystyle _{\,\!f(\phi )\,\!}}$ patogu pavaizduoti kaip ${\displaystyle _{\,\!f(\phi )=(\phi -\alpha )(\phi -\beta )(\phi -\gamma )\,\!}}$ , čia ${\displaystyle _{\,\!\alpha ,\beta ,\gamma \,\!}}$ ${\displaystyle _{\,\!(\alpha \geq \beta \geq \gamma )}}$ yra realios ${\displaystyle _{\,\!f(\phi )=0\,\!}}$ šaknys:

${\displaystyle {\begin{cases}\alpha \beta \gamma =B,\\\alpha \beta +\alpha \gamma +\beta \gamma =-A,\\\alpha +\beta +\gamma ={\frac {c}{2}}\end{cases}}}$

${\displaystyle (8)}$

Tuomet lygties (7) sprendinį galima pateikti neišreikšta forma,

${\displaystyle \int \!\!\!{\frac {d\phi }{\sqrt {2(\alpha -\phi )(\phi -\beta )(\phi -\gamma )}}}=(x-ct)+C,}$

${\displaystyle (9)}$

čia α, β, γ ir С – konstantos. Apžvelkime du svarbius atskirus atvejus, kai šios lygties sprendinius galima pateikti išreikšta forma: tai solitonas ir knoidalinė banga.

Solitonas – sklindančios bangos KdV lygties sprendinys [3]

${\displaystyle \phi (x,t)={\frac {c}{2}}{\rm {ch}}^{-2}{\biggl [}{\frac {\sqrt {c}}{2}}(x-ct-a){\biggr ]},}$

${\displaystyle (10)}$

Pav.1. Solitonas.

kuriame c/2 – solitono amplitudė ir ${\displaystyle a}$ – jo centro padėtis – pastovūs dydžiai. Lygtyje (9) toks sprendinys atitinka atveją, kai ${\displaystyle _{\,\!\beta =\gamma =0\,\!}}$, α =с/2. Toks solitonas yra sklindanti į dešinę pavienė banga. Būtent tokią bangą stebėjo Džonas Raselas () 1834 metais [3] (pav. 1).

Knoidalinė banga – kitas periodinis ir reguliarus sklindančios bangos sprendinys

${\displaystyle \phi (x,t)=A{\rm {cn}}^{2}[p(x-ct-a),k],}$

${\displaystyle (11)}$

čia ${\displaystyle A=2kp^{2},}$ ${\displaystyle c=4(2k-1)p^{2},}$ priklausantis nuo pastovaus ${\displaystyle k<1}$, kuriame ${\displaystyle cn(x,k)}$ – [11] . Bangos periodas ${\displaystyle T}$ išreiškiamas per pilna ${\displaystyle E(k)}$:

${\displaystyle T={\sqrt {\frac {8}{\alpha -\gamma }}}E(k),\quad k^{2}={\frac {\alpha -\beta }{\alpha -\gamma }},}$

${\displaystyle (12)}$

bangos greitis, pagal (8),

${\displaystyle \,\!c=2(\alpha +\beta +\gamma )\,\!.}$

${\displaystyle (13)}$

Pav. 2. Parametrui ${\displaystyle _{\,\!k\rightarrow 1\,\!}}$ knoidalinės bangos sprendinys pereina į solitoninį sprendinį.

Pav. 3. Parametrui ${\displaystyle _{\,\!k\rightarrow 0\,\!}}$ knoidalinės bangos sprendinys pereina į harmoninę bangą.

Kaip ir solitono atveju, knoidalinės bangos amplitudė susieta su jos sklidimo greičiu: aukštesnes bangos sklinda greičiau. Kai ${\displaystyle _{\,\!k\rightarrow 1\,\!}}$, knoidalinės bangos sprendinys (9) pereina į solitoninį sprendinį (8) (pav.2), o kai ${\displaystyle _{\,\!k\rightarrow 0\,\!}}$ – į paprastą harmoninę bangą (pav. 3).

Naudojant integralines ASUM lygtis, galima parodyti, kad laiptelio formos pradinis sužadinimas

${\displaystyle \phi (x)=\left\{{\begin{array}{ll}0,&x>0,\\-c,&x\leq 0,\end{array}}\right.}$

laikui bėgant fronto aplinkoje suskyla į nesąveikaujančius solitonus, t. y. laipteliai suyra.

Bet koks pradinis sužadinimas, gęstantis begalybėje, kai ${\displaystyle _{\,\!x\rightarrow \pm \infty \,\!}}$, ir evoliucionuojantis pagal KdV lygtį, suskyla į keletą nesąveikaujančių solitonų, sklindančių į dešinę, ir į osciliuojantį ir gęstantį foną, sklindantį į kairę. Sprendinio savybės, kai ${\displaystyle _{\,\!t\rightarrow \infty \,\!}}$, visiškai nusakomos pradinėmis sąlygomis.

ASUM leidžia konstruoti begalinį tikslių sprendinių kiekį, pvz., 2-, 3-, …, . Sąveikaujantys solitonai panašūs į daleles: pavienės bangos gali pasivyti viena kitą arba susidurti viena su kita baigtiniame laiko intervale, tačiau po susidūrimo atgauna pradinę formą ir tęsia judėjimą nesąveikaudamos. Sąveikos proceso metu solitonai patiria tamprų susidūrimą, keičiantį jų centrų padėtis. Kiekvieno solitono pilnas poslinkis lygus poslinkių sumai poriniuose susidūrimuose (pav. 4).

Pav. 4. Du sąveikaujantys solitonai.

KdV turi taip pat ir , kurie išreiškiami per sprendinius.

Konstruojant ir pertvarkant sprendinius, galima naudotis , kas susieta su KdV lygties simetrijų savybėmis.

Tvermės dėsniai

KdV lygtis turi begalinį tvermės dėsnių (judėjimo integralų) rinkinį [8]:

${\displaystyle I_{n}=\int _{-\infty }^{+\infty }P_{2n-1}(\phi ,\partial _{x}\phi ,\partial _{x}^{2}\phi ,...)\,dx,}$

${\displaystyle (14)}$

čia ${\displaystyle P_{n}^{}}$ – polinomas nuo funkcijos φ ir jos erdvinių išvestinių,

${\displaystyle {\begin{aligned}&P_{0}=\phi ,\\&P_{1}=\phi ^{2},\\&P_{2}=\phi ^{3}-(\partial _{x}^{}\phi )^{2}/2,\end{aligned}}}$

${\displaystyle {\begin{aligned}&P_{3}={\big [}{\big (}\partial _{x}^{2}\phi {\big )}^{2}+5\phi \partial _{x}\phi +5\phi ^{2}{\big ]}{\big /}2,\\&\vdots \\&P_{n}=-{\frac {dP_{n-1}^{}}{dx}}+\sum _{i=1}^{n-1}P_{i}^{}P_{n-1-i}^{},\quad n>1\end{aligned}}}$

${\displaystyle (15)}$

Taigi, keletas pirmųjų tvermės dėsnių atrodo taip:

• ${\displaystyle I_{1}=\int _{-\infty }^{+\infty }\phi \,dx\quad (mas{\dot {e}})}$

${\displaystyle I_{2}=\int _{-\infty }^{+\infty }\phi ^{2}\,dx\quad (impulsas)}$

${\displaystyle (16)}$

• ${\displaystyle I_{3}=\int _{-\infty }^{+\infty }{\big [}\phi ^{3}-(\partial _{x}^{}\phi )^{2}/2{\big ]}\,dx\quad (energija)}$
• ${\displaystyle \vdots }$

Deja, suteikti fizinę prasmę aukštesnių eilių tvermės dėsniams kol kas nepavyko.

Lakso poros

ASUM pagrįstas KdV atvaizdavimu Lakso lygties pavidalu [7], būtent: KdV lygtis

${\displaystyle \partial _{t}^{}\phi =6\phi \partial _{x}^{}\phi -\partial _{x}^{3}\phi }$

${\displaystyle (17)}$

gali būti performuluota Lakso lygties (L-A poros) pavidalu:

${\displaystyle \partial _{t}^{}L=[L,A]\equiv LA-AL,}$

${\displaystyle (18)}$

čia L – Šrėdingerio (Schrödinger) operatorius – atskiras (Sturm–Liouville operator) atvejis:

${\displaystyle {\begin{aligned}&L=-\partial _{x}^{2}+\phi ,\\&A=4\partial _{x}^{3}-3(\phi \partial _{x}^{}+\partial _{x}^{}\phi ),\end{aligned}}}$

${\displaystyle (19)}$

kas paaiškina begalinį KdV lygties tvermės dėsnių skaičių [7].

Iš lygčiu (18) ir (19) seka, kad sprendžiant , nežinomąją funkciją ${\displaystyle \phi (x,t)}$ galima interpretuoti kaip atitinkamos Šrėdingerio lygties potencialą. Potencialus, neturinčius atspindžio, atitinka viena-, du - ir N-solitoniniai KdV lygties sprendiniai.

Periodinių pradinių sąlygų ${\displaystyle _{\,\!\phi (x)=\phi (x+T)\,\!}}$ atveju atspindžiu neturinčiu potencialų analogu yra baigtiniai juostiniai potencialai, kuriems turi baigtinį draustinių juostų skaičių. Periodiniai ir beveik periodiniai baigtinių juostų potencialai yra stacionarūs aukštesniųjų KdV lygčių sprendiniai.

Lagranžianas

KdV lygtis (1) yra Oilerio–Lagranžo lygtis (Euler–Lagrange equation) dinaminei sistemai su lagranžiano tankiu ${\displaystyle {\mathcal {L}}}$:

${\displaystyle {\mathcal {L}}={\frac {1}{2}}\partial _{x}^{}\psi \partial _{t}^{}\psi +(\partial _{x}^{}\psi )^{3}-{\frac {1}{2}}(\partial _{x}^{2}\psi )^{2},}$

${\displaystyle (20)}$

kur ${\displaystyle \phi =\partial _{x}^{}\psi }$ .

Hamiltonianas ir integruojamumas

Antra vertus, būtent leido įrodyti kai kurių kitų KdV netiesinių lygčiu integruojamumą.

Pasinaudoję funkcine išvestine ${\displaystyle _{\,\!\delta /\delta \phi \,\!}}$, KdV lygtį galime užrašyti Hamiltono lygčių forma:

${\displaystyle \partial _{t}^{}\phi =\partial _{x}^{}{\frac {\delta H}{\delta \phi }},\quad H(\phi )=\int _{-\infty }^{+\infty }{\big [}\phi ^{3}+{\big (}\partial _{x}^{}\phi {\big )}^{2}/2{\big ]}\,dx,}$

${\displaystyle (21)}$

iš kur seka, jog KdV yra su ${\displaystyle _{\,\!H(\phi )\,\!}}$ ir funkcijoms ${\displaystyle _{\,\!f=f(\phi )\,\!}}$ ir ${\displaystyle _{\,\!g=g(\phi )\,\!}}$:

${\displaystyle \{f,g\}={\frac {1}{2}}\int _{-\infty }^{+\infty }{\biggl (}{\frac {\delta f}{\delta \phi }}{\frac {\partial }{\partial x}}{\frac {\partial g}{\partial \phi }}-{\frac {\partial g}{\partial \phi }}{\frac {\partial }{\partial x}}{\frac {\delta f}{\delta \phi }}{\biggr )}\,dx.}$

${\displaystyle (22)}$

KdV lygties integruojamumas seka iš to, kad bet kuriems ${\displaystyle m}$ ir ${\displaystyle n}$, ${\displaystyle I_{m}}$, ${\displaystyle I_{n}=0}$, kas leidžia įvesti . (21) nėra vienintelė galima: specialiai parinkus , bet koks iš ${\displaystyle I_{n}}$ gali būti .

Aukštesniosios KdV lygtys, τ-funkcija ir KdV hierarchija

Be klasikinės KdV lygties (1), galima nagrinėti aukštesnių erdvinių išvestinių lygtis. Esant pastoviems Puasono skliaustams ir laikant Hamiltono funkciją aukštesnės eilės tvermės integralu ${\displaystyle I_{n}}$, gauname vadinamąsias aukštesniąsias KdV lygtis – 5-osios, 7-osios, 9-osios ir aukštesniųjų eilių. Kiekviena šių lygčių taip pat pilnai integruojama ir turi analizinius sprendinius.

Kadangi visos KdV${\displaystyle ^{2n+1}}$ turi tą pačią judėjimo integralų sistemą, kyla natūrali mintis vietoje kiekvienos atskiros KdV lygties išnagrinėti visą jų begalinį rinkinį – vadinamąją KdV hierarchiją.

Detaliau:

tebūnie Lakso operatorius tokios formos:

${\displaystyle L={\frac {\varepsilon ^{2}}{2}}\partial _{x}^{2}+\phi ,}$

${\displaystyle (23)}$

čia funkcija ${\displaystyle \,\!\phi \,\!}$ priklauso nuo begalinių laikų ${\displaystyle t_{n},n=0,1,2,...}$ rinkinio ir parametro ${\displaystyle \varepsilon :\phi =\phi (x,t_{0},t_{1},t_{2},...,\varepsilon )}$. Kiekvienam laikui ${\displaystyle t_{n}}$ priskirkime savąjį hamiltonianą ${\displaystyle H_{n}}$:

${\displaystyle {\begin{aligned}&H_{0}=\varepsilon \partial _{x},\\&H_{1}={\frac {\varepsilon ^{3}}{3}}\partial _{x}^{3}+{\frac {\varepsilon }{2}}\phi \partial _{x}+{\frac {\varepsilon }{2}}\partial _{x}\phi ,\\&\vdots \\&H_{n}={\frac {2^{2n+1/2}}{(2n+1)!!}}(L^{2n+1/2})_{+},\\&\vdots \end{aligned}}}$

${\displaystyle (24)}$

čia «+» reiškia neneigiamą operatoriaus L trupmeninio laipsnio dalį. Tada ${\displaystyle n}$-ąją KdV hierarchijos lygtį galime užrašyti taip:

${\displaystyle \varepsilon {\partial _{t_{n}}}L=[H_{n},L]}$

${\displaystyle (25)}$

kai

${\displaystyle {\begin{aligned}&n=0:\quad {\phi _{t_{0}}}=\partial _{x}\phi ,\\&n=1:\quad {\phi _{t_{1}}}=\phi \partial _{x}\phi +{\frac {\varepsilon ^{2}}{12}}\partial _{x}^{3}\phi ,\\&n=2:\quad {\phi _{t_{2}}}={\frac {1}{2}}\phi ^{2}\partial _{x}\phi +{\frac {\varepsilon ^{3}}{12}}(2\partial _{x}\phi \partial _{x}^{2}\phi +\phi \partial _{x}^{3}\phi )+{\frac {\varepsilon ^{4}}{240}}\partial _{x}^{5}\phi .\\&\vdots \end{aligned}}}$

Pirmoji šioje hierarchijoje (${\displaystyle n=1}$) yra KdV lygtis. Ši lygtis duoda pavadinimą visai hierarchijai. Aukštesnių eilių hamiltonianai atitinka aukštesnių eilių KdV lygtis. Lygties (25) sprendiniai gali būti paskleisti parametro ${\displaystyle \varepsilon }$ eilute:

${\displaystyle \phi =\phi _{0}+\varepsilon ^{2}\phi _{1}+\varepsilon ^{4}\phi _{2}+\cdots }$

${\displaystyle (26)}$

ir išreikšti per ${\displaystyle \tau }$-funkciją:

${\displaystyle \phi =\varepsilon ^{2}\partial _{x}^{2}\log \tau ,}$

${\displaystyle (27)}$

čia ${\displaystyle \,\!\tau =\tau \,\!}$ ${\displaystyle \,\!(x,\,\!}$ ${\displaystyle \,\!t_{0},\,\!}$ ${\displaystyle \,\!t_{1},\,\!}$ ${\displaystyle \,\!t_{2},\,\!}$ ${\displaystyle \,\!...)\,\!}$.

Istorija

KdV lygties istorija prasidėjo nuo Džono Skoto Raselo (John Scott Russell) 1834 metų eksperimentų (pav. 5), kurie stimuliavo teorinius lordo Relėjaus (Lord Rayleigh) ir Džozefo Businesko (Joseph Boussinesq) (maždaug 1870 metais) ir pagaliau Kortevego bei de Vryso (1895 m.) tyrimus [3].

pav. 5 Solitoninės bangos sužadinimas ir sklidimas.

Po to KdV lygtis buvo beveik nenagrinėjama, kol Zabusky (Zabusky) ir Kruskalas (Kruskal) 1965 m. skaitmeniniuose eksperimentuose pastebėjo, kad asimptotiniai KdV lygties sprendiniai suskyla į „solitonu“ rinkinį – aiškiai išreikštas atskiras pavienes bangas [10]. Be to, solitonai, praktiškai nekeisdami formos, pereina vienas per kitą (nors tai gali pakeisti jų padėtį). Jie taip pat pastebėjo sąryšį tarp KdV lygties ir anksčiau atliktų skaitmeninių Fermi (Fermi), Pastos (Pasta) ir Ulamo (Ulam) eksperimentų. Analizinis KdV lygties sprendinys, pasinaudojus ASUM, buvo rastas Gardnerio (Gardner), Grino (Greene) ir Miuros (Miura) 1967 m. [8].

Taikymai ir sąryšiai

KdV lygties sąryšis su kitomis matematinėmis, fizinėmis ir kitų gamtos mokslų problemomis pakankamai gausus ir turiningas. Be jau minėto sąryšio tarp vienmačių ilgų bangų KdV lygties sprendinių ir Fermi–Pastos–Ulamo skaitmeninių eksperimentų vienmatėse grandinėse esant netiesinei sąveikai, KdV lygtis apibūdina

• magneto - akustines ir jonines - akustines bangas plazmoje
• akustines bangas kristalo gardelėje
• paviršines ir vidines bangas vandenyne.

KdV variacijos

Yra daugybė KdV lygties variacijų. Kai kurios pateiktos lentelėje:

Pavadinimas	Lygtis
Kortevego–de Vryso (KdV)	${\displaystyle \displaystyle \partial _{t}\phi +6\phi \partial _{x}\phi +\partial _{x}^{3}\phi =0}$
Cilindrinė KdV	${\displaystyle \displaystyle \partial _{t}u+\partial _{x}^{3}u-6\,u\,\partial _{x}u+u/2t=0}$
Deformuota KdV	${\displaystyle \displaystyle \partial _{t}u+\partial _{x}(\partial _{x}^{2}u-2\,\eta \,u^{3}-3\,u\,(\partial _{x}u)^{2}/2(\eta +u^{2}))=0}$
Apibendrinta KdV	${\displaystyle \displaystyle \partial _{t}u+\partial _{x}^{3}u=\partial _{x}^{5}u}$
Modifikuota KdV	${\displaystyle \displaystyle \partial _{t}u+\partial _{x}^{3}u\pm 6\,u^{2}\,\partial _{x}u=0}$
Dukart modifikuota KdV	${\displaystyle \displaystyle \partial _{t}u+\partial _{x}^{3}u-(\partial _{x}u)^{3}/8+(\partial _{x}u)(Ae^{au}+B+Ce^{-au})=0}$
Sferinė KdV	${\displaystyle \displaystyle \partial _{t}u+\partial _{x}^{3}u-6\,u\,\partial _{x}u+u/t=0}$
Super-KdV	${\displaystyle \displaystyle \partial _{t}u=6\,u\,\partial _{x}u-\partial _{x}^{3}u+3\,w\,\partial _{x}^{2}w}$, ${\displaystyle \displaystyle \partial _{t}w=3\,(\partial _{x}u)\,w+6\,u\,\partial _{x}w-4\,\partial _{x}^{3}w}$
Pereinamoji KdV	${\displaystyle \displaystyle \partial _{t}u+\partial _{x}^{3}u-6\,f(t)\,u\,\partial _{x}u=0}$
Kintamųjų koeficientų KdV	${\displaystyle \displaystyle \partial _{t}u+\beta \,t^{n}\,\partial _{x}^{3}u+\alpha \,t^{n}u\,\partial _{x}u=0}$
Biurgerso-KdV lygtis	${\displaystyle \displaystyle \partial _{t}u+\mu \,\partial _{x}^{3}u+2\,u\,\partial _{x}u-\nu \,\partial _{x}^{2}u=0}$

Disipacinėse aplinkose reikia nagrinėti KdV lygties modifikacijas, pvz., Biurgerso–KdV lygtį:

${\displaystyle \partial _{t}\phi +6\phi \partial _{x}\phi +\partial _{x}^{3}\phi =\nu \partial _{x}^{2}\phi .}$

${\displaystyle (28)}$

Tačiau disipacijos įtaka šiuo atveju sugriauna integruojamumą ir, nors lygtis turi keletą specialių sprendinių, analiziniai metodai, pvz., ASUM, šiai lygčiai netaikytini. Stacionarūs Biurgerso–KdV lygties sprendiniai apibūdina smūginių bangų struktūrą dispersinėse terpėse, įskaitant nesusiduriančių bangų plazmą.

Dvimačiu KdV lygties apibendrinimu yra Kadomcevo–Petviašvili (Kadomtsev–Petviashvili) lygtis [9].

Papildoma informacija

• Bendžamino–Bono–Mahoni (Benjamin–Bona–Mahony) lygtis
• Kadomcevo–Petviašvili (Kadomtsev-Petviashvili) lygtis
• Vandens bangų dispersija
• Urselo (Ursell) skaičius
• .

Pastabos

Pastebėsime, kad dispersinis linearizuotas KdV lygties sąryšis ${\displaystyle \omega =ak+bk^{3}}$ atitinka dispersijos dėsnį, būdingą seklaus vandens artėjimui. Gilaus vandens artėjimui būdingas dispersinis sąryšis ${\displaystyle \omega ^{2}=gk[1+(kA)^{2}]}$ (žr. Dispersija (paviršinės vandens bangos)). Tai reiškia, kad gilaus vandens artėjime pavienės bangos evoliucinė lygtis skiriasi nuo KdV lygties, ir sklidimo metu keičiasi ne tik pavienės bangos profilis, bet ir jos evoliucinė lygtis.

Nuorodos

1. Pastebėsime, kad elipsinių Jakobi funkcijų modulis vienuose žinynuose, pvz., populiariame pakete „Mathematica“, žymimas ${\displaystyle k}$, o kituose, pvz., [11] – ${\displaystyle k^{2}}$.
2. Two soliton solution of the KdV equation.
3. John Russell’s wave.

Literatūra

[1]Korteweg, D. J. & de Vries, G. (1895), "On the Change of Form of Long Waves Advancing in a Rectangular Canal, and on a New Type of Long Stationary Waves", Philosophical Magazine 39: 422–443 

[2]Boussinesq, J. (1877), Essai sur la theorie des eaux courantes, Memoires presentes par divers savants ` l’Acad. des Sci. Inst. Nat. France, XXIII, p. 1–680 

[3]Drazin, P. G. (1983), Solitons, London Mathematical Society Lecture Note Series, 85, Cambridge: Cambridge University Press, pp. viii+136, MR0716135, ISBN 0-521-27422-2

[4]de Jager, E.M., On the Origin of the Korteweg–de Vries Equation, arΧiv:math/0602661

[5]Dingemans, M.W. (1997), Water wave propagation over uneven bottoms, Advanced Series on Ocean Engineering, 13, World Scientific, Singapore,  , 2 Parts, 967 pages

[6]Kappeler, Thomas; Pöschel, Jürgen (2003), KdV & KAM, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], 45, Berlin, New York: Springer-Verlag, MR1997070, ISBN 978-3-540-02234-3

[7]Lax, P. (1968), "Integrals of nonlinear equations of evolution and solitary waves", Comm. Pure Applied Math. 21: 467-490, doi:10.1002/cpa.3160210503

[8]Miura, Robert M.; Gardner, Clifford S.; Kruskal, Martin D. (1968), "Korteweg - de Vries equation and generalizations. II. Existence of conservation laws and constants of motion", J. Mathematical Phys. 9: 1204–1209, doi:10.1063/1.1664701, MR0252826

[9]Takhtadzhyan, L.A. (2001), "Korteweg – de Vries equation", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Kluwer Academic Publishers,

[10]Zabusky, N. J.; Kruskal, M. D. (1965), "Interaction of "Solitons" in a Collisionless Plasma and the Recurrence of Initial States", Phys. Rev. Lett. 15: 240–243, doi:10.1103/PhysRevLett.15.240, http://link.aps.org/abstract/PRL/v15/p240

[11]Janke. E.; Emde F.; Lösch F. (1960) „Tafeln höherer functionen“. B. G. Teubner Verlag, Stutgart.

Informacija internete

• Korteweg – de Vries equation at EqWorld: The World of Mathematical Equations.
• Cylindrical Korteweg – de Vries equation at EqWorld: The World of Mathematical Equations.
• Modified Korteweg – de Vries equation at EqWorld: The World of Mathematical Equations.
• Weisstein, Eric W. "Korteweg - de Vries Equation." From MathWorld--A Wolfram Web Resource.
• Derivation 2008-10-06 iš Wayback Machine projekto. of the Korteweg - de Vries equation for a narrow canal.
• Three Solitons Solution of KdV Equation - [1]
• Three Solitons (unstable) Solution of KdV Equation - [2]
• Mathematical aspects of equations of Korteweg - de Vries type 2008-07-23 iš Wayback Machine projekto. are discussed on the Dispersive PDE Wiki 2007-04-25 iš Wayback Machine projekto..
• Solitons from the Korteweg - de Vries Equation by S. M. Blinder, The Wolfram Demonstrations Project.
• Solitons & Nonlinear Wave Equations 2008-12-02 iš Wayback Machine projekto.