Equazione di Korteweg-de Vries

In fisica matematica, l'equazione di Korteweg-de Vries (abbreviata in KdV) è un'equazione differenziale alle derivate parziali nonlineare utilizzata per modellare, tra le altre cose, le onde marine. Il sistema da essa descritto è integrabile.

Introdotta inizialmente da Joseph Boussinesq nel 1877[1], fu poi riscoperta da Diderik Korteweg e Gustav de Vries nel 1895.[2][3]

Lo studio dell'equazione si è notevolmente sviluppato dopo che Norman Zabusky e Martin D. Kruskal (1965) scoprirono, attraverso un algoritmo di integrazione numerica dell'equazione, la scomposizione delle soluzioni in solitoni. L'equazione ha trovato un gran numero di applicazioni alla fisica e ad altre scienze: dalle onde marine ai periodi di piena dei fiumi, fino alle onde sonore nei plasmi e nei cristalli. Può essere inoltre ottenuta nel limite continuo del problema di Fermi-Pasta-Ulam-Tsingou.

Soluzione di onda cnoidale per l'equazione di Korteweg–de Vries, in termini del quadrato della funzione ellittica di Jacobi con parametro .
Soluzione numerica dell'equazione KdV () con condizione iniziale . Il calcolo è stato effettuato con il metodo di Zabusky-Kruskal.[4] L'onda cosinusoidale iniziale evolve in un pacchetto di onde solitoniche.

Definizione modifica

La KdV è un'equazione nonlineare e dispersiva per una funzione   a due variabili (spaziale e temporale):[5]

 

In cui   e   indicano le derivate parziali rispetto a   e a  .

La costante   posta di fronte all'ultimo termine è presente per ragioni storiche, ma può essere semplicemente eliminata riscalando le variabili.

L'equazione KdV può essere ricavata a partire da quella di Boussinesq, imponendo un verso preciso nella propagazione dell'onda.

Solitoni modifica

Soluzioni in cui un'onda di forma data   mantiene la propria geometria spostandosi con velocità di fase   sono dette solitoni. Tali soluzioni si scrivono nella forma

 

Sostituendo nella KdV si ottiene l'equazione differenziale ordinaria

 

o, integrando rispetto a  ,

 

dove   è una costante d'integrazione. Interpretando la variabile   come un parametro temporale, la funzione   soddisfa l'Equazione del moto di Newton per una particella di massa unitaria in presenza di un potenziale cubico.

 

Se i parametri vengono impostati in modo tale che il potenziale   ha massimo locale per   esiste una soluzione in cui   partendo da  , scorre verso il minimo locale, poi riprende dall'altro lato, raggiungendo lo stesso valore, quindi torna indietro al massimo locale al tempo  . In altre parole,   per  . Questa è la forma caratteristica del solitone[6]

Si può dimostrare che la soluzione vale

 

dove   è la secante iperbolica e   è una costante arbitraria.[7] Questo è un solitone che si propaga verso destra.

Integrali del moto modifica

La KdV ha un numero infinito di integrali primi[8], costanti nel tempo. Essi si scrivono

 

dove i polinomi   sono definiti ricorsivamente

 

I primi integrali del moto sono dunque:

  • la massa  
  • la quantità di moto  
  • l'energia  

Solo i polinomi di indice dispari ( ) corrispondono a integrali non-banali (diversi da zero)[9].

Coppie di Lax modifica

L'equazione KdV

 

può essere riformulata in termini dell'equazione di Lax

 

in cui L è un operatore di Sturm–Liouville:

 

e questo vale per ognuno degli infiniti integrali dell'equazione KdV[10].

Principio di minima azione modifica

L'equazione KdV

 

è l'equazione di Eulero–Lagrange derivata dalla densità di Lagrangiana,  

 

in cui   è definita come

 

Dimostrazione modifica

Poiché la lagrangiana contiene le derivate seconde, l'equazione di Eulero-Lagrange per il campo si scrive

 

dove   è una derivata rispetto alla componente  .

Scrivendo per esteso la precedente equazione si ottiene

 

e, sostituendo l'espressione della lagrangiana in ciascun termine della relazione,

 
 
 
 
 

Ora, ricordando che si è definito  ,

 
 
 

Sostituendo nuovamente nell'equazione di Eulero-Lagrange si ottiene

 

che corrisponde esattamente alla KdV

 

Asintoti modifica

Si può mostrare che ogni soluzione liscia che decada abbastanza velocemente si divide sempre in una sopvrapposizione finita di solitoni che si muovono verso destra più una parte dispersiva che decade velocemente che si muove verso sinistra. Questo fenomeno è stato osservato per la prima volta da Zabuski e Kruskal nel 1965[11][12].

Note modifica

  1. ^ Boussinesq.
  2. ^ Korteweg-de Vries.
  3. ^ O. Darrigol, Worlds of Flow: A History of Hydrodynamics from the Bernoullis to Prandtl, Oxford University Press, 2005, p. 84, ISBN 978-0-19-856843-8.
  4. ^ N.J. Zabusky and M. D. Kruskal, Phy. Rev. Lett., 15, 240 (1965)
  5. ^ Cfr. Alan C. Newell, Solitons in mathematics and physics, SIAM, 1985, ISBN 0-89871-196-7., p. 6. e Lax (1968), senza il fattore 6.
  6. ^ Vladimir Igorevič Arnold, Metodi matematici della meccanica classica, Roma, Editori Riuniti University Press, 2010, p. 471.
  7. ^ Alexander F. Vakakis, Normal Modes and Localization in Nonlinear Systems, Springer, 31 gennaio 2002, pp. 105–108, ISBN 978-0-7923-7010-9. URL consultato il 27 ottobre 2012.
  8. ^ Miura-Gardner-Kruskal.
  9. ^ Dingemans, p. 733.
  10. ^ Lax.
  11. ^ Zabusky-Kruskal.
  12. ^ Grunert-Teschl.

Bibliografia modifica

Voci correlate modifica

Altri progetti modifica

Collegamenti esterni modifica