Integrale primo

In matematica, in particolare in meccanica razionale, un integrale primo di un problema differenziale n-dimensionale del primo ordine è una funzione differenziabile con continuità che rimane costante lungo le soluzioni del problema. Si tratta di una funzione $E$ la cui parentesi di Poisson con l'hamiltoniana $\mathscr{H}$ è nulla:

$\{E,\mathscr{H}\}=0$

La conoscenza di un numero sufficiente di integrali primi di un problema differenziale fornisce delle informazioni aggiuntive. Ad esempio, nel caso unidimensionale:

$m\ddot{x}=f(x)x\in ℝ$

essi permettono (sotto opportune ipotesi) di trovare, a meno di integrazioni ed inversioni, espressioni esplicite dei moti tramite separazione delle variabili.

In fisica la traiettoria percorsa da un sistema è una soluzione dell'equazione del moto. Un integrale primo dell'equazione del moto è una funzione che rimane costante nel tempo se valutata lungo le possibili traiettorie (leggi orarie) del sistema. Considerando un sistema conservativo (descritto con un campo vettoriale conservativo) dipendente solo dalle coordinate spaziali, l'integrale primo del moto è dato dall'energia meccanica:

$E(x,v)=\frac{1}{2}m{v}^2+U(x)$

Una volta assegnati i dati iniziali $(x_0,v_0)$ ed individuato il relativo livello energetico $E(x_0,v_0)$, è possibile ridurre localmente il problema (nei punti in cui non si annulla la velocità) al calcolo e alla successiva inversione della funzione integrale:

$t(x)=\pm \underset{x_0}{\overset{x}{\int }}\frac{1}{\sqrt{\frac{2}{m}[E-U(z)]}}dz$

con il segno determinato univocamente dai dati iniziali.

Definizione

Siano $\mathrm{\Omega }\subseteq {ℝ}^n$ e $J\subseteq ℝ$ aperti e sia $f\in C^k(\mathrm{\Omega };{ℝ}^n)$ un campo vettoriale con $k\ge 1$. Si consideri il problema differenziale del primo ordine dato da:

$\dot{y}=f(y)$

L'integrale primo associato al problema è una qualsiasi funzione reale $H\in C^1(\mathrm{\Omega };ℝ)$ tale che per una qualunque soluzione $y\in C^1(J;{ℝ}^n)$ del problema risulti:

$H(y(t))=c\in ℝ\mathrm{\forall }t\in J$

Si tratta cioè di una qualsiasi quantità che si conserva lungo le soluzioni del problema. In fisica $H$ è detta costante del moto o quantità conservata.

Una funzione $H$ è integrale primo di un problema differenziale $\dot{y}=f(y)$ se e soltanto se il suo gradiente è ortogonale al campo vettoriale $f$. Ovvero, $H$ è integrale primo del problema se e solo se si verifica:

$⟨\mathrm{\nabla }H(y),f(y)⟩=\sum _{k=1}^n\frac{\partial H}{\partial x_k}(y)f_k(y)=0\mathrm{\forall }y\in \mathrm{\Omega }$

cioè il prodotto scalare di $f$ con il gradiente è nullo.

Infatti, si supponga che $H$ sia integrale primo del problema $\dot{y}=f(y)$. Grazie alla regolarità del campo vettoriale sono soddisfatte le ipotesi del teorema di Cauchy, che garantisce esistenza ed unicità locale della soluzione. Fissato quindi $y\in \mathrm{\Omega }$, esiste unico $\gamma :I\to \mathrm{\Omega }$ con $\dot{\gamma }=f(\gamma )$ e $\gamma (0)=y$. Per la definizione di integrale primo risulta:

$0=\frac{d}{dt}H(\gamma (t))\mathrm{\forall }t\in I$

In particolare, quindi:

$0=\frac{dH\circ \gamma }{dt}(0)=⟨\mathrm{\nabla }H(\gamma (0)),\dot{\gamma }(0)⟩=⟨\mathrm{\nabla }H(y),f(y)⟩$

e dall'arbitrarietà di $y$ segue l'implicazione diretta. Viceversa, si supponga che il gradiente di $H$ sia ortogonale a $f$, e si consideri una generica soluzione $\gamma :I\to \mathrm{\Omega }$. Per ogni $t\in I$ si ha:

$\frac{dH\circ \gamma }{dt}(t)=\sum _{k=1}^n\frac{\partial H}{\partial x_k}(\gamma (t)){\dot{\gamma }}_k(t)=⟨\mathrm{\nabla }H(\gamma (t)),\dot{\gamma }(t)⟩=⟨\mathrm{\nabla }H(\gamma (t)),f(\gamma (t))⟩=0$

e questo prova l'asserto.

Il problema differenziale

Sia $x\in C^1(I;ℝ)$ tale che $\dot{x}(t)\ne 0$ per ogni $t\in I$, con $I$ intervallo reale e $t_0\in I$. Sia $H$ integrale primo del problema vettoriale:

$(\genfrac{}{}{0ex}{}{\dot{x}}{\dot{v}})=(\genfrac{}{}{0ex}{}{v}{\frac{1}{m}F(x)})$

con $\mathrm{\nabla }H(x_1,x_2)\ne 0$ per ogni $(x_1,x_2)\in \mathrm{\Omega }$. Risulta:

$\{\begin{array}{c}m\ddot{x}=F(x)\\ x(t_0)=x_0\\ \dot{x}(t_0)=v_0\end{array}$

se e solo se:

$\{\begin{array}{c}H(x,\dot{x})=H(x_0,v_0)\\ x(t_0)=x_0\\ \dot{x}(t_0)=v_0\end{array}$

In altre parole, le soluzioni a derivata non nulla del problema differenziale sono tutte e sole le soluzioni dell'equazione data da:

$H(x,\dot{x})=H(x_0,v_0)$

ossia che gli insiemi di livello (nel piano delle fasi) dell'integrale primo sono "insiemi invarianti" su cui giacciono per intero le curve di fase.

Dimostrazione

Per mostrare l'implicazione diretta, è immediato verificare che $x$ è soluzione di:

$\{\begin{array}{c}m\ddot{x}=F(x)\\ x(t_0)=x_0\\ \dot{x}(t_0)=v_0\end{array}$

se e solo se $\gamma =(x,\dot{x})$ è soluzione di:

$\{\begin{array}{c}\dot{x}=v\\ \dot{v}=\frac{1}{m}F(x)\\ x(t_0)=x_0,v(t_0)=v_0\end{array}$

di cui $H$ è integrale primo, quindi:

$\{\begin{array}{c}H(x,\dot{x})=H(x_0,v_0)\\ x(t_0)=x_0\\ \dot{x}(t_0)=v_0\end{array}$

che prova l'implicazione diretta.

Per l'implicazione inversa, posto:

$H(x(t),\dot{x}(t))=H(x_0,v_0)\in ℝ\mathrm{\forall }t\in I$

il fatto che:

$\frac{d}{dt}H(x(t),\dot{x}(t))=0$

implica:

$\sum _{k=1}^2\frac{\partial H(x(t),\dot{x}(t))}{\partial x_k}{\dot{\gamma }}_k(t)=0$

e quindi:

$⟨\mathrm{\nabla }H(x(t),\dot{x}(t)),(\genfrac{}{}{0ex}{}{\dot{x}(t)}{\ddot{x}(t)})⟩=0$

Del resto, dato che un integrale primo è sempre ortogonale al campo vettoriale che definisce il problema differenziale cui è relativo, si ha anche:

$⟨\mathrm{\nabla }H(x(t),\dot{x}(t)),(\genfrac{}{}{0ex}{}{\dot{x}(t)}{\frac{1}{m}F(x)})⟩=0$

Si tratta ora di una questione geometrica, in quanto si utilizzano vettori in ${ℝ}^2$, e si sta affermando che i vettori:

$(\genfrac{}{}{0ex}{}{\dot{x}(t)}{\ddot{x}(t)})(\genfrac{}{}{0ex}{}{\dot{x}(t)}{\frac{1}{m}F(x)})$

sono entrambi ortogonali a:

$\mathrm{\nabla }H(x(t),\dot{x}(t))\ne 0\mathrm{\forall }t\in I$

Ma due vettori del piano entrambi ortogonali ad un terzo vettore assegnato non nullo sono necessariamente collineari; esiste cioè $k(t)\in ℝ$, con $k(t)\ne 0$, tale che:

$(\genfrac{}{}{0ex}{}{\dot{x}(t)}{\ddot{x}(t)})=k(t)(\genfrac{}{}{0ex}{}{\dot{x}(t)}{\frac{1}{m}F(x)})$

Del resto, per ipotesi:

$\dot{x}(t)\ne 0\mathrm{\forall }t\in I$

che implica:

$k(t)=1\mathrm{\forall }t\in I$

da cui:

$\ddot{x}(t)=\frac{1}{m}F(x(t))$

e portando $m$ al primo membro:

$m\ddot{x}(t)=F(x)\mathrm{\forall }t\in I$

Questo prova l'implicazione inversa.

Bibliografia

• Template:Cita libro

Voci correlate

• Campo vettoriale conservativo
• Campo vettoriale hamiltoniano
• Commutatore (matematica)
• Costante del moto
• Equazione del moto
• Equazione differenziale
• Forza conservativa
• Parentesi di Poisson
• Problema di Cauchy

Collegamenti esterni

• Template:Collegamenti esterni
• Template:Cita web