Modelo matemático de olas en una superficie de agua poco profunda
En matemáticas , la ecuación de Korteweg–De Vries (KdV) es una ecuación diferencial parcial (EDP) que sirve como modelo matemático de olas en superficies de aguas poco profundas. Es particularmente notable como el ejemplo prototípico de una EDP integrable y exhibe muchos de los comportamientos esperados para una EDP integrable, como una gran cantidad de soluciones explícitas, en particular soluciones de solitones , y una cantidad infinita de cantidades conservadas , a pesar de la no linealidad que típicamente hace que las EDP sean intratables. La KdV se puede resolver mediante el método de dispersión inversa (ISM). [2] De hecho, Clifford Gardner , John M. Greene , Martin Kruskal y Robert Miura desarrollaron el método clásico de dispersión inversa para resolver la ecuación KdV.
La ecuación KdV fue introducida por primera vez por Joseph Valentin Boussinesq (1877, nota al pie en la página 360) y redescubierta por Diederik Korteweg y Gustav de Vries en 1895, quienes encontraron la solución más simple, la solución de un solitón. [3] [4] La comprensión de la ecuación y el comportamiento de las soluciones avanzó enormemente gracias a las simulaciones por computadora de Norman Zabusky y Kruskal en 1965 y luego al desarrollo de la transformada de dispersión inversa en 1967.
donde tiene en cuenta la dispersión y el elemento no lineal es un término de advección .
Para modelar olas en aguas poco profundas, es el desplazamiento de altura de la superficie del agua desde su altura de equilibrio.
La constante delante del último término es convencional pero no tiene gran importancia: se puede multiplicar , , y por constantes para hacer que los coeficientes de cualquiera de los tres términos sean iguales a cualquier constante dada distinta de cero.
Soluciones de solitones
Solución de un solitón
Consideremos soluciones en las que una forma de onda fija (dada por ) mantiene su forma a medida que viaja hacia la derecha a una velocidad de fase . Tal solución está dada por . Sustituyéndola en la ecuación KdV se obtiene la ecuación diferencial ordinaria
o, integrando con respecto a ,
donde es una constante de integración . Si interpretamos la variable independiente anterior como una variable de tiempo virtual, esto significa que satisface la ecuación de Newton de movimiento de una partícula de masa unitaria en un potencial cúbico.
.
Si
entonces la función potencial tiene un máximo local en ; hay una solución en la que comienza en este punto en el 'tiempo virtual' , finalmente se desliza hacia abajo hasta el mínimo local , luego vuelve a subir por el otro lado, alcanzando una altura igual, y luego invierte la dirección, terminando nuevamente en el máximo local en el tiempo . En otras palabras, se aproxima a . Esta es la forma característica de la solución de onda solitaria .
Más precisamente, la solución es
donde representa la secante hiperbólica y es una constante arbitraria. [6] Esto describe un solitón que se mueve hacia la derecha con velocidad .
norte-solución solitón
Existe una expresión conocida para una solución que es una solución de -solitón, que en tiempos posteriores se resuelve en solitones individuales separados. [7] La solución depende de un conjunto decreciente de parámetros positivos y un conjunto de parámetros no nulos . La solución se da en la forma
donde los componentes de la matriz se dan por
Esto se obtiene utilizando el método de dispersión inversa.
Integrales de movimiento
La ecuación KdV tiene infinitas integrales de movimiento que no cambian con el tiempo. [8] Se pueden dar explícitamente como
donde los polinomios se definen recursivamente por
Las primeras integrales del movimiento son:
La masa
El impulso
La energía .
Sólo los términos impares dan como resultado integrales de movimiento no triviales (es decir, distintas de cero). [9]
donde es el conmutador tal que . [10] El par Lax explica el número infinito de primeras integrales de la ecuación KdV. [11]
De hecho, es el operador de Schrödinger independiente del tiempo (sin tener en cuenta las constantes) con potencial . Se puede demostrar que debido a esta formulación de Lax, de hecho los valores propios no dependen de . [12]
Representación de curvatura cero
Establecer los componentes de la conexión Lax como
la ecuación KdV es equivalente a la ecuación de curvatura cero para la conexión Lax.
Se implica una suma, por lo que la ecuación (2) realmente se lee:
( 3 )
Evalúe los cinco términos de la ecuación (3) reemplazando la ecuación (1),
Recuerde la definición y utilícela para simplificar los términos anteriores.
Finalmente, inserte estos tres términos distintos de cero en la ecuación (3) para ver
que es exactamente la ecuación KdV
Asintóticos de largo plazo
Se puede demostrar que cualquier solución suave con una descomposición suficientemente rápida acabará por dividirse en una superposición finita de solitones que se desplazan hacia la derecha más una parte dispersiva en descomposición que se desplaza hacia la izquierda. Esto fue observado por primera vez por Zabusky y Kruskal (1965) y se puede demostrar rigurosamente utilizando el análisis no lineal de descenso más empinado para problemas oscilatorios de Riemann-Hilbert . [13]
Historia
La historia de la ecuación KdV comenzó con los experimentos de John Scott Russell en 1834, seguidos por las investigaciones teóricas de Lord Rayleigh y Joseph Boussinesq alrededor de 1870 y, finalmente, Korteweg y De Vries en 1895.
La ecuación KdV no se estudió mucho después de esto hasta que Zabusky y Kruskal (1965) descubrieron numéricamente que sus soluciones parecían descomponerse en tiempos largos en una colección de "solitones": ondas solitarias bien separadas. Además, los solitones parecen no verse casi afectados en su forma al pasar unos a través de otros (aunque esto podría causar un cambio en su posición). También hicieron la conexión con experimentos numéricos anteriores de Fermi, Pasta, Ulam y Tsingou al demostrar que la ecuación KdV era el límite continuo del sistema FPUT . El desarrollo de la solución analítica por medio de la transformada de dispersión inversa fue realizado en 1967 por Gardner, Greene, Kruskal y Miura. [2] [14]
Ahora se ve que la ecuación KdV está estrechamente relacionada con el principio de Huygens . [15] [16]
Aplicaciones y conexiones
La ecuación KdV tiene varias conexiones con problemas físicos. Además de ser la ecuación que gobierna la cuerda en el problema de Fermi-Pasta-Ulam-Tsingou en el límite del continuo, describe aproximadamente la evolución de ondas largas y unidimensionales en muchos entornos físicos, entre ellos:
Ondas de aguas poco profundas con fuerzas restauradoras débilmente no lineales ,
Considerando las soluciones simplificadas de la forma
obtenemos la ecuación KdV como
o
Integrando y tomando el caso especial en el que la constante de integración es cero, tenemos:
que es el caso especial de la ecuación estacionaria generalizada de Gross-Pitaevskii (GPE)
Por lo tanto, para la clase determinada de soluciones de la ecuación general general ( para el condensado unidimensional verdadero y mientras se utiliza la ecuación tridimensional en una dimensión), dos ecuaciones son una. Además, tomando el caso con el signo menos y el real, se obtiene una autointeracción atractiva que debería producir un solitón brillante. [ cita requerida ]
Variaciones
Se han estudiado muchas variaciones diferentes de las ecuaciones de KdV. Algunas de ellas se enumeran en la siguiente tabla.
^ Polyanin y Zaitsev 2003, Capítulo 9.1.1. Ecuación de Korteweg-de Vries.
^ Vakakis 2002, págs. 105-108.
^ Dunajski 2009.
^ Miura, Gardner y Kruskal 1968.
^ Dingemans 1997, pág. 733.
^ Polyanin y Zaitsev 2003, Capítulo S.10.1. Método del par laxo.
^ Laxo 1968.
^ Dunajski 2009, págs. 31-32.
^ Grunert y Teschl 2009.
^ Dauxois y Peyrard 2006.
^ Chalub y Zubelli 2006.
^ Berest y Loutsenko 1997.
Referencias
Berest, Yuri Y.; Loutsenko, Igor M. (1997). "Principio de Huygens en espacios de Minkowski y soluciones de Solitón de la ecuación de Korteweg-de Vries". Comunicaciones en Física Matemática . 190 (1): 113-132. arXiv : solv-int/9704012 . doi :10.1007/s002200050235. ISSN 0010-3616.
Boussinesq, J. (1877), Essai sur la theorie des eaux courantes, Mémoires presentes par divers savants `l'Acad. des ciencia. Inst. Nat. Francia, XXIII, págs. 1–680
Chalub, Fabio ACC; Zubelli, Jorge P. (2006). "Principio de Huygens para operadores hiperbólicos y jerarquías integrables" (PDF) . Physica D: Nonlinear Phenomena . 213 (2): 231–245. doi :10.1016/j.physd.2005.11.008.
Darrigol, Olivier (2005). Mundos de flujo. Oxford ; Nueva York: Oxford University Press. ISBN978-0-19-856843-8.
Dauxois, Thierry; Peyrard, Michel (2006). Física de solitones . Cambridge, Reino Unido; Nueva York: Cambridge University Press. ISBN0-521-85421-0.OCLC 61757137 .
Dingemans, MW (1997). Propagación de ondas de agua sobre fondos irregulares . River Edge, NJ: World Scientific. ISBN981-02-0427-2.
Dunajski, Maciej (2009). Solitones, Instantones y Twistores . Oxford; Nueva York: OUP Oxford. ISBN978-0-19-857063-9.OCLC 320199531 .
Gardner, Clifford S.; Greene, John M.; Kruskal, Martin D.; Miura, Robert M. (1967). "Método para resolver la ecuación de Korteweg-deVries". Physical Review Letters . 19 (19): 1095–1097. doi :10.1103/PhysRevLett.19.1095. ISSN 0031-9007.
Grunert, Katrin; Teschl, Gerald (2009), "Asintótica de largo plazo para la ecuación de Korteweg–De Vries mediante el descenso más empinado no lineal", Math. Phys. Anal. Geom. , vol. 12, no. 3, págs. 287–324, arXiv : 0807.5041 , Bibcode :2009MPAG...12..287G, doi :10.1007/s11040-009-9062-2, S2CID 8740754
Korteweg, DJ; de Vries, G. (1895). "XLI. Sobre el cambio de forma de las ondas largas que avanzan en un canal rectangular, y sobre un nuevo tipo de ondas largas estacionarias". Revista filosófica y revista científica de Londres, Edimburgo y Dublín . 39 (240): 422–443. doi :10.1080/14786449508620739. ISSN 1941-5982.
Lax, Peter D. (1968). "Integrales de ecuaciones no lineales de evolución y ondas solitarias". Communications on Pure and Applied Mathematics . 21 (5): 467–490. doi :10.1002/cpa.3160210503. ISSN 0010-3640. OSTI 4522657.
Miura, Robert M.; Gardner, Clifford S.; Kruskal, Martin D. (1968), "Ecuación de Korteweg-De Vries y generalizaciones. II. Existencia de leyes de conservación y constantes de movimiento", J. Math. Phys. , 9 (8): 1204–1209, Bibcode :1968JMP.....9.1204M, doi :10.1063/1.1664701, MR 0252826
Polyanin, Andrei D.; Zaitsev, Valentin F. (2003). Manual de ecuaciones diferenciales parciales no lineales . Boca Raton, Fla.: Chapman and Hall/CRC. ISBN978-1-58488-355-5.
Vakakis, Alexander F. (2002). Modos normales y localización en sistemas no lineales . Dordrecht; Boston: Springer Science & Business Media. ISBN978-0-7923-7010-9.
Zabusky, NJ; Kruskal, MD (1965). "Interacción de "solitones" en un plasma sin colisiones y la recurrencia de estados iniciales". Physical Review Letters . 15 (6): 240–243. doi :10.1103/PhysRevLett.15.240. ISSN 0031-9007.
Enlaces externos
Wikimedia Commons tiene medios relacionados con la ecuación de Korteweg-de Vries .
Ecuación de Korteweg-De Vries en EqWorld: El mundo de las ecuaciones matemáticas.
Ecuación de Korteweg-De Vries en NEQwiki, la enciclopedia de ecuaciones no lineales.
Ecuación cilíndrica de Korteweg-De Vries en EqWorld: El mundo de las ecuaciones matemáticas.
Ecuación de Korteweg-De Vries modificada en EqWorld: El mundo de las ecuaciones matemáticas.
Ecuación de Korteweg-De Vries modificada en NEQwiki, la enciclopedia de ecuaciones no lineales.