Trasformata inversa di scattering
In matematica, la trasformata inversa di scattering è un metodo per risolvere alcune equazioni alle derivate parziali non lineari. Può essere visto come un analogo non lineare, e in un certo senso una generalizzazione, della trasformata di Fourier, che viene ampiamente usata per risolvere molte equazioni alle derivate parziali lineari. Il nome "trasformata inversa di scattering" deriva dall'idea chiave di ricavare l'evoluzione temporale di un potenziale dall'evoluzione temporale dei suoi dati di scattering: lo scattering inverso si riferisce al problema di ricavare un potenziale di interazione partendo dalla matrice di scattering, in contrapposizione al problema di scattering diretto, in cui si calcola la matrice di scattering conoscendo il potenziale.
La trasformata inversa di scattering può essere applicata a molti dei cosiddetti modelli esattamente risolvibili, vale a dire sistemi completamente integrabili con uno spazio delle soluzioni a infinite dimensioni.
Introduzione
[modifica | modifica wikitesto]La trasformata inversa di scattering fu introdotta per la prima volta da Clifford S. Gardner, John M. Greene, e Martin D. Kruskal per l'equazione di Korteweg-de Vries,[1][2] e presto estesa ad altri modelli come l'equazione di Schrödinger non lineare, l'equazione di sine-Gordon e il reticolo di Toda. In seguito fu utilizzata per risolvere molte altre equazioni, come l'equazione di Kadomtsev-Petviashvili, l'equazione di Ishimori, l'equazione di Dym e così via. Un'ulteriore famiglia di esempi è fornita dalle equazioni di Bogomolny (per un dato gruppo di gauge e una varietà riemanniana orientata), le cui soluzioni (a quadrato sommabile) sono monopoli magnetici. In relatività generale tale metodo è stato applicato da Zacharov e Belinskij alle equazioni di campo di Einstein.[3]
Una caratteristica delle soluzioni ottenute con il metodo dello scattering inverso è l'esistenza di solitoni, soluzioni che assomigliano sia a particelle che a onde, che non hanno analoghi per le equazioni differenziali lineari.
Il problema inverso di scattering può essere scritto come un problema di fattorizzazione di Riemann-Hilbert, almeno nel caso di equazioni in una dimensione spaziale. Questa formulazione può essere generalizzata ad operatori differenziali di ordine maggiore di 2 ed anche a potenziali periodici. In un numero maggiore di dimensioni spaziali si ha invece un problema di fattorizzazione di Riemann-Hilbert "non locale" (con convoluzioni al posto di semplici moltiplicazioni).
Esempio: l'equazione di Korteweg–de Vries
[modifica | modifica wikitesto]L'equazione di Korteweg–de Vries è un'equazione alle derivate parziali non lineare, dispersiva, per una funzione di due variabili reali, una spaziale e una temporale :
con e che denotano derivate parziali rispetto a e .
Per risolvere il problema ai valori iniziali associato a questa equazione, dove quindi è una funzione nota di , si associa a questa equazione l'equazione agli autovalori di Schrödinger
dove è una funzione incognita di e e è la soluzione dell'equazione di Korteweg–de Vries, incognita tranne che in . La costante è un autovalore.
Dall'equazione di Schrödinger si ottiene
Sostituendo questo nell'equazione di Korteweg-de Vries, e integrando, si ottiene l'equazione
in cui e sono delle costanti.
Metodo di risoluzione
[modifica | modifica wikitesto]Passo 1. Determinare l'equazione differenziale parziale non lineare, analizzando la fisica del sistema studiato.
Passo 2. Calcolare lo scattering diretto. Consiste nel trovare la coppia di Lax, composta da due operatori lineari, e , tali per cui e . È estremamente importante che l'autovalore sia indipendente dal tempo; cioè Le condizioni necessarie e sufficienti affinché ciò si verifichi sono determinate come segue: prendere la derivata temporale di per ottenere:
Sostituendo al posto di :
Riorganizzare il termine al membro di destra:
Per cui,
Poiché , questo implica che se e solo se
Questa è l'equazione di Lax. è la derivata temporale di , rispetto alla dipendenza esplicita . La ragione per definire la differenziazione in questo modo è motivata dall'istanza più semplice di , che è l'operatore di Schrödinger:
Passo 3. Determinare l'evoluzione temporale delle autofunzioni s associate a ogni autovalore , le costanti di normalizzazione, e il coefficiente di riflessione, che formano i cosiddetti dati di scattering. Quest'evoluzione temporale è data da un sistema di equazioni differenziali ordinarie lineari, che può essere risolto analiticamente
Passo 4. Svolgere la procedura di scattering inverso risolvendo l'equazione integrale di Gelfand-Levitan-Marchenko (Israel Moiseevich Gelfand and Boris Moiseevich Levitan;[4] Vladimir Aleksandrovich Marchenko[5]), un'equazione integrale lineare, per ottenere la soluzione definitiva dell'originale PDE non lineare.
Tutti i dati di scattering sono necessari per fare ciò. Il procedimento è nullo se il coefficiente di riflessione è nullo. Questo passaggio funziona se è un operatore differenziale di ordine due, ma non necessariamente se di ordine superiore. In generale comunque il problema di scattering inverso è riconducibile a un problema di fattorizzazione di Riemann-Hilbert.[6][7]
Esempi di equazioni integrabili
[modifica | modifica wikitesto]- Equazione di Korteweg-de Vries
- Equazione di Schrödinger non lineare
- Equazione di Camassa-Holm
- Equazione Sine-Gordon
- Reticolo di Toda
- Equazione di Ishimori
- Equazione di Dym
Note
[modifica | modifica wikitesto]- ^ (EN) Clifford S. Gardner, John M. Greene e Martin D. Kruskal, Method for Solving the Korteweg-deVries Equation, in Physical Review Letters, vol. 19, n. 19, 6 novembre 1967, pp. 1095–1097, DOI:10.1103/PhysRevLett.19.1095. URL consultato il 26 agosto 2021.
- ^ (EN) Clifford S. Gardner, John M. Greene e Martin D. Kruskal, Korteweg-devries equation and generalizations. VI. methods for exact solution, in Communications on Pure and Applied Mathematics, vol. 27, n. 1, 1974, pp. 97–133, DOI:10.1002/cpa.3160270108. URL consultato il 27 agosto 2021.
- ^ V. Belinski e V. E. Zakharov, Integration of the Einstein Equations by Means of the Inverse Scattering Problem Technique and Construction of Exact Soliton Solutions (PDF), in Sov. Phys. JETP, 48(6), 1978. URL consultato il 27 agosto 2021 (archiviato dall'url originale il 6 maggio 2021).
- ^ Gel’fand, I. M. & Levitan, B. M., "On the determination of a differential equation from its spectral function". American Mathematical Society Translations, (2)1:253–304, 1955.
- ^ V. A. Marchenko, "Sturm-Liouville Operators and Applications", Birkhäuser, Basel, 1986.
- ^ Mark J. Ablowitz e Harvey Segur, Solitons and the Inverse Scattering Transform, Society for Industrial and Applied Mathematics, 1981-01, ISBN 978-0-89871-174-5. URL consultato il 27 agosto 2021.
- ^ Vladimir A. Marchenko, The Sturm-Liouville Equation and Transformation Operators, Birkhäuser Basel, 1986, pp. 1–100. URL consultato il 27 agosto 2021.
Collegamenti esterni
[modifica | modifica wikitesto]- (EN) Eric W. Weisstein, Trasformata inversa di scattering, su MathWorld, Wolfram Research.