Liouvilles sætning om integralet af Hamilton-Jacobi-ligningen

Liouville-sætningen om integralet af Hamilton-Jacobi-ligningen er et udsagn om tilstrækkelige betingelser for integrerbarhed i kvadraturer (eksistensen af en løsning i form af en kombination af elementære funktioner og integraler af dem) af Hamilton-Jacobi-ligningen .

Ordlyd

Hvis i et holonomisk system med frihedsgrader har den kinetiske energi formen $s$ $T$

T={\frac {1}{2}}f\sum _{m=1}^{s}A_{m}(q_{m}){\dot {q}}_{m}^ {2}

og den potentielle energi har formen $\Pi$

\Pi ={\frac {1}{f}}\sum _{m=1}^{s}\Pi _{m}(q_{m})

hvor , så fører integrationen af Hamilton–Jacobi-ligningen til kvadraturer (løsningen kan repræsenteres som en kombination af elementære funktioner og integraler af dem). [en] $f=\sum _{{m=1}}^{{s}}F_{{m}}(q_{{m}})$

Bevis

Hamilton-funktionen for sætningens betingelser har formen:

H=T+\Pi ={\frac {1}{2}}f\sum _{m=1}^{s}A_{m}(q_{m}){\dot {q}}_ {m}^{2}+{\frac {1}{f}}\sum _{m=1}^{s}\Pi _{m}(q_{m})=h

De generaliserede momenta er

p_{m}={\frac {\partial T}{\partial {\dot {q}}_{m}}}=fA_{m}(q_{m}){\dot {q}} _{m}

Med dette i tankerne, Hamilton-funktionen:

H={\frac {1}{f}}\sum _{m=1}^{s}\venstre[{\frac {p_{m}^{2}}{2A_{m}(q_ {m})}}+\Pi _{m}(q_{m})\right]=h

Vi laver en erstatning . Hamilton-Jacobi-ligningen vil have formen [2] : ${\displaystyle p_{m}={\frac {\partial W}{\partial q_{m))))$

\sum _{m=1}^{s}\left[{\frac {1}{2A_{m}(q_{m))}}\left({\frac {\partial W}{\ delvis q_{m}}}\right)^{2}+\Pi _{m}(q_{m})-hF_{m}(q_{m})\right]=0

Vi vil lede efter det fulde integral af denne ligning i formen:

W=W_{1}(q_{1})+W_{2}(q_{2})+...+W_{s}(q_{s})

Hamilton-Jacobi-ligningen vil have formen:

∑ m = en s [ en 2 EN m ( q m ) ( ∂ W m ∂ q m ) 2 + Π m ( q m ) − h F m ( q m ) ] = 0 ( en ) {\displaystyle \sum _{m=1}^{s}\left[{\frac {1}{2A_{m}(q_{m))}}\left({\frac {\partial W_{m} }{\partial q_{m))}\right)^{2}+\Pi _{m}(q_{m})-hF_{m}(q_{m})\right]=0\qquad (1 )}

\sum _{m=1}^{s}\left[{\frac {1}{2A_{m}(q_{m))}}\left({\frac {\partial W_{m} }{\partial q_{m))}\right)^{2}+\Pi _{m}(q_{m})-hF_{m}(q_{m})\right]=0\qquad (1 )

Hvert led i venstre side af denne ligning afhænger kun af én generaliseret koordinat , så metoden til adskillelse af variabler kan anvendes. Denne ligning er opfyldt, hvis hver af termerne er lig med en konstant værdi: ${\displaystyle q_{m))$

{\frac {1}{2A_{m}(q_{m})}}\left({\frac {\partial W_{m}}{\partial q_{m}}}\right)^{ 2}+\Pi _{m}(q_{m})-hF_{m}(q_{m})=\alpha _{m}

og betingelsen skal være opfyldt . Hver af ligningerne (1) er en førsteordens differentialligning, hvis integration reduceres til kvadratur: $\alpha _{1}+\alpha _{2}+...\alpha _{s}=0$

W_{m}=\int {\sqrt {2A_{m}(q_{m})\venstre[\alpha _{m}+hF_{m}(q_{m})-\Pi _{m }(q_{m})\right]}}dq_{m}

Således er det fulde integral af Hamilton-Jacobi-ligningen lig med:

W=\sum _{m=1}^{s}\int {\sqrt {2A_{m}(q_{m})\venstre[\alpha _{m}+hF_{m}(q_{ m})-\Pi _{m}(q_{m})\right]}}dq_{m}

Dette integral indeholder vilkårlige konstanter og en konstant [3] $s$ ${\displaystyle h,\alpha _{1},\alpha _{2},...,\alpha _{s-1))$ $\alpha _{s}=-(\alpha _{1}+\alpha _{2}+...+\alpha _{s-1})$

Noter

↑ Butenin, 1971 , s. 167.
↑ Butenin, 1971 , s. 168.
↑ Butenin, 1971 , s. 169.

Litteratur

Butenin N.V. Introduktion til analytisk mekanik. - M. : Nauka, 1971. - 264 s.