Universidad de San Carlos de Guatemala

Escuela de Ciencias Fı́sicas y Matemáticas

Protocolo de Trabajo de
Graduación
Soluciones Solitónicas de la
Ecuación Kadomtsev Petviashvili
y Cuerpos de Newton Okounkov

Asesor:
Edgar Damián Ochoa Hernández

Autor:
Javier Alfonso de León Gómez
201603068

Junio 2023
Índice general

Introducción 2

Justificación 3

Marco Teórico 4

Índice Preliminar 8

Índice Preliminar 9

Objetivos 10
A. Objetivo General . . . . . . . . . . . . . . . . . . . . . . 10
B. Objetivos Especı́ficos . . . . . . . . . . . . . . . . . . . . 10

Metodologı́a 11

Índice Preliminar 12

Bibliografı́a 13

1
1. Introducción

La ecuación de Kadomtsev–Petviashvili puede interpretarse como la

generalización en una coordenada espacial extra de la famosa ecuación
de Korteweg–De Vries. Estas ecuaciones aparecen originalmente como
un modelo para estudiar los comportamientos no lineales del medio en
ondas de agua en superficies poco profundas. Pero han sido de interés
para la fı́sica y la matemática ya que son un caso de una ecuación dife-
rencial parcial exacta y no lineal, lo que de la mano de las aplicaciones
ha llevado a la invención de métodos para la resolución de las mismas
como el proceso de dispersión inversa y a la jerarquı́a KP [6].
Ya que las soluciones de interés fı́sico de estas ecuaciones presentan
un comportamiento caracterı́stico, se les ha llamado ondas solitarias o
solitones, debido a que estas se propagan sin deformarse y no suelen
interactuar con su entorno. Este tipo caracterı́stico de ondas han apa-
recido en distintas áreas de la fı́sica como lo es la fı́sica de plasmas,
óptica fı́sica, lineas de transmisión y en varios modelos de fı́sica teórica.
Nuestro problema de interés se sitúa en estudiar las propiedades de las
gráficas de las soluciones de una versión de la ecuación KP con poca
densidad superficial denominada KPII. Ya que debido a la dualidad de
las interpretaciones de las funciones solución τ , estas pueden ser estu-
diadas como los encajes de Plücker en una Grassmaniana [1, 5]. Además
ya que estos forman un anillo graduado mediante una valuación respec-
to a una función minimizadora, la envolvente convexa del anillo en un
espacio Euclidiano forma un cuerpo de Newton Okounkov. Y las pro-
piedades de estos cuerpos respecto a distintas condiciones del problema
son tema de investigación contemporánea y de nuestro interés.

2
2. Justificación

La ecuación de KP ha dado lugar a la creación de diferentes métodos

y lı́neas de investigación desde los años 70. A pesar de que esta sea
un área bastante estudiada existe una amplia gama de problemas de
interés fı́sico y matemático que todavı́a no han sido resueltos, como el
estudio de las soluciones de configuraciones n-solitónicas, el estudio de
las condiciones para obtener soluciones reales y conexiones con la teorı́a
cuántica de campos.

Además es un área fértil ya que se están produciendo resultados en

la actualidad como lo es en el caso de interés de estudio de este trabajo
de graduación. La idea detrás de este enfoque es que al tomar el lı́mite
tropical de las funciones solución de interés fı́sico de la ecuación KPII
que son de tipo solitónico, es posible por medio de una valuación y
una función minimizadora encontrar los cuerpos de Newton Okounkov
de las mismas. Para el interés de la fı́sica el estudio de las propieda-
des de estos cuerpos producidos por las funciones solución, proporciona
una nueva herramienta con la cual pueden encontrarse propiedades que
puedan ser de interés para un caso particular.

3
3. Marco Teórico

3.1 Sistemas Integrables

La motivación fı́sica detrás de los sistemas integrables se debe a que

existen sistemas Hamiltoneanos autónomos en los cuales no existen su-
ficientes cantidades conservadas o funciones del espacio de fase que
conmuten con la energı́a, como lo es el problema de los 3 cuerpos.

Definición 1. El corchete de Poisson de 2 funciones f, g se expresa

como.
n ∂f ∂g
X ∂f ∂g
{f, g} = − , (1)
i ∂q ∂p ∂p ∂q

Proposición 1. Si 2 funciones f, g están en involución con H, en-

tonces su corchete de Poisson conmuta con H.
{H, {f, g}} = {H, 0} = 0, (2)
En el sentido de la fı́sica clásica en dimensión finita, un sistema inte-
grable es un espacio de dimensión 2n en el cual existen n funciones las
cuales su corchete de Poisson este en involución con el Hamiltoneano.
Esto permite restringir el sistema del espacio total a un toro con n gra-
dos de libertad por medio de las variables de ángulo acción.

Nuestro interés de este tipo de sistemas se encuentra en el caso infinito

dimensional debido al comportamiento de la ecuación KP. Estudiare-
mos inicialmente la ecuación KdV, y mencionaremos la extensión de
este concepto en dimensión infinita.

4
3.1.1 Ecuación Korteweg–De Vries

La ecuación Korteweg–De Vries o KdV es una EDP que aparece

como una generalización de la ecuación de la ecuación de Euler para
fluidos en la que se toma en cuenta la tensión superficial en un fluido no
viscoso. Y que el fenómeno se sitúa en un sistema con poca profundidad
de agua, tomando en cuenta estas consideraciones es posible obtener la
ecuación original de KdV [7].
∂η 3g ∂ 1 2 3 1 ∂ 2η
= ( η + αη + σ 2 ), (3)
∂t 2 q0 ∂x 2 2 3 ∂x
Debido a que nuestro interés se enfoca en las propiedades matemáti-
cas de esta ecuación es posible realizar una escala adimensional y una
transformación para obtener la versión de la ecuación se estudiará.
ut (x, t) + uxxx (x, t) ± 6u(x, t)ux (x, t) = 0, (4)
Donde el cambio de signo depende de si el fenómeno posee una fuerza
gravitacional mayor o menor a la tensión superficial del fluido. Esta es
una ecuación diferencial parcial no lineal, pero de la que es posible rea-
lizar un proceso similar al realizado en mecánica clásica para obtener
las funciones que producen las simetrı́as del sistema.

Definición 2. Un par laxo es un par de operadores H, L dependientes

del tiempo en un espacio de Hilbert, los cuales respetan la siguiente
ecuación.
dL
= [H, L], (5)
dt

5
 De los resultados obtenidos por el estudio del espectro de los opera-
dores debido a la imagen de Heisenberg notamos que esta condición es
suficiente para obtener un conjunto de autovalores independientes del
tiempo, en dado caso no haya una dependencia explı́cita en el momento
inicial de nuestro operador L.

Proposición 2. La ecuación KdV puede ser formada por un par laxo.

[H, L] = [4∂ 3 − 6u∂ + 3∂u, −∂ 2 + u]x , (6)
= 4u∂ 3 + 4∂ 3 u + 3(2∂ 2 u∂ + 4∂ϕ∂ 2 + 2y∂ 3 − ∂ 3 u − 2u∂ 3 (7)
+∂u∂ 2 ) − 3(2u2 ∂ − u∂u − 2u∂u + ∂u(u)), (8)
= −4∂ 3 u + 3∂ 3 u − 6u∂u, (9)
= ∂ 3 u − 6u∂u, (10)
ut = [4∂ 3 − 6u∂ + 3∂u, −∂ 2 + u]x = uxxx − 6uux , (11)
Es posible obtener el operador H por medio de combinaciones lineales
de las derivadas ya que el operador de Sturm Liouville L debe tener
esa estructura para resolver el problema de auto valores del sistema. La
combinación lineal general de estos operadores produce una familia de
EDP las cuales se han llamado jerarquı́a KdV, siendo la ecuación de
nuestro interés el primer miembro de esta jerarquı́a.

Además esta contiene una cantidad infinita de cantidades conservadas,

las cuales pueden ser obtenidas por medio de relaciones de recurren-
cia obtenidas por linealidad de las series de potencia de un cambio de
variable de la ecuación KdV estándar.

6
 Proposición 3. La ecuación KdV posee una cantidad arbitraria de
cantidades conservadas, las cuales pueden ser encontradas por medio
de una representación en series de potencias [8].
u = w − ϵwx − ϵ2 w2 , (12)
(1 − ϵ∂x − 2ϵ2 w)(∂t w + 6(w − ϵ2 w2 )∂x w + ∂x3 w) = 0, (13)
X
w = ϵn wn , (14)
∂x wn = 0, (15)
n−2
X
wn = wk wn−1−k + ∂x wn−1 , (16)
1

3.1.2 Ecuación Kadomtsev–Petviashvil

La ecuación Kadomtsev–Petviashvili o KP es una generalización en

al menos una coordenada espacial de la ecuación KdV, en esta se toma
como eje principal x y se estudian las contribuciones cercanas al eje y.
Esta fue propuesta por los fı́sicos soviéticos por los cuales lleva su nom-
bre y ha sido aceptada como el estándar de la expansión dimensional
(1+1) a (1+n). La forma estándar para escribirla es la siguiente.
∂x (ut + 6uux + uxxx ) ± 32 uyy = 0, (17)
Donde el signo determina si el sistema es dominado por la gravedad o
la tensión superficial, nuestro interés es el caso con baja densidad su-
perficial llamada ecuación KPII donde se presenta el signo negativo.

7
 El conjunto de operadores laxos de la ecuación KP se obtienen por
medio de este sistema de ecuaciones lineales [4].
(∂x2 + (u + λ))ϕ = ϕy , (18)
ϕt + 4ϕxxx + 6uϕx + 3ux ϕ + αϕ = 3∂ −1 uy ϕ, (19)
α y λ son constantes donde la primera esta relacionada con el autosis-
tema, ϕ(t, x, y, λ) es una autofunción. Y el operador de derivada parcial
inverso está definido de la siguiente manera.
−1 1Z∞
∂ A(µ) = Adµ, (20)
2 −∞
Esto nos permite expresar la ecuación KP de la siguiente manera.
ut + 6uux + uxxx = 3∂ −1 uyy , (21)
Las soluciones de la ecuación KP pueden escribirse en términos de un
sistema bilineal y obtener soluciones en términos de cierto tipo de fun-
ciones llamadas funciones τ .

Definición 3. La solución de la ecuación KP para nuestro caso de

interés [3], es llamada función τ (x, y, t) y cumple con la siguiente rela-
ción.
u = 2∂x2 ln(τ ), (22)

8
3.1.3 Solitones

Las ecuaciones KdV y KP presentan cierto tipo de soluciones las

cuales han sido de bastante interés a la fı́sica contemporánea. Este ti-
po de soluciones las cuales a pesar de la naturaleza disipativa de estas
ecuaciones y el comportamiento esperado por la evolución temporal de
la naturaleza de la mayorı́a de sistemas fı́sicos que estudian ondas, pre-
sentan una gran resiliencia ante los cambios de amplitud y mantienen
una velocidad de fase constante. La ecuación KdV fue propuesta co-
mo un modelo para este tipo de fenómenos fı́sicos denominados como
solitones, debido a su naturaleza de mantenerse localizados en el es-
pacio, junto a otros detalles como la forma en que interactúan con su
entorno. En nuestra investigación nos centraremos en este tipo de solu-
ciones para encontrar los cuerpos de Newton Okounkov que producen
y estudiaremos sus caracterı́sticas. [9]

Definición 5. Un cuerpo de Newton Okounkov asociado a una fun-

ción de tipo solitónica τ , para el interés de esta investigación es la
cerradura de la envolvente convexa de la valuación minimal de la parte
exponencial de la solución solitónica divida por su grado. Donde la va-
luación minimal fue definida por Postnikov la cual se utilizará en este
trabajo tomando como guı́a la investigación de [2] que define al flujo
minimal con respecto de la cantidad de caras en su lado izquierdo.

9
Objetivos

A. Objetivo General

Estudiar las propiedades de los cuerpos de Newton Okounkov produ-

cidos por las funciones solución de interés para la fı́sica de la ecuación
KPII.

B. Objetivos Especı́ficos

1. Explicar la noción fı́sica que sustenta el objeto de estudio.

2. Explicar los fundamentos matemáticos que sustentan el objeto de
estudio.
3. Desarrollar los conceptos matemáticos necesarios de la y su cone-
xión con los cuerpos de Newton Okounkov producidos.
4. Describir el proceso de manera algorı́tmica de la producción de un
cuerpo de Newton Okounkov utilizando una función solución de la
ecuación KPII.

10
Metodologı́a

El presente trabajo de investigación se compondrá de dos etapas:

1. Se consultarán fuentes bibliográficas con el fin de documentar y

proporcionar las definiciones y teoremas necesarios sobre las es-
tructuras matemáticas y fı́sicas a estudiar.
2. Se utilizará el método deductivo para establecer la validez de los
teoremas para la producción de cuerpos de Newton Okounkov uti-
lizando las funciones τ de interés para la fı́sica.

11
Índice Preliminar

Índice de ilustraciones
Listado de sı́mbolos
Resumen
Introducción

1. Sistemas integrables
1.1 Ecuación Koerteweg-De Vries
1.2 Ecuación Kadomtsev-Petviashvili
1.3 Funciones τ
2. Geometrı́a Algebraica
2.1 Espacios Proyectivos
2.2 Grassmaniano
2.3 Encaje de plücker
2.4 Grassmaniano asociado a funciones tau
2.5 Geometrı́a Tropical
2.6 Lı́mite tropical de funciones τ
3. Cuerpos de Newton Okounkov
3.1 Definición
3.2 Construcción por medio de las funciones τ
3.3 Propiedades de casos particulares

12
Bibliografı́a

[1] Daniele Agostini et al. “KP solitons from tropical limits”. En: Journal of Symbolic Computation
(abr. de 2022). doi: 10.1016/j.jsc.2022.04.009. (Visitado 28-04-2022).
[2] Lara Bossinger et al. NEWTON-OKOUNKOV BODIES AND MINIMAL MODELS FOR CLUS-
TER VARIETIES. 2023. url: https://arxiv.org/pdf/2305.04903.pdf (visitado 22-06-2023).
[3] P.P. Goldstein. “Hints on the Hirota Bilinear Method”. En: Acta Physica Polonica A 112 (dic. de
2007), págs. 1171-1184. doi: 10.12693/aphyspola.112.1171. (Visitado 28-11-2020).
[4] Metin Gürses y Aslı Pekcan. The Method of Hirota Bilinearization. url: https://arxiv.org/
pdf/2304.06295.pdf (visitado 22-06-2023).
[5] Yuji Kodama y Lauren Williams. “KP solitons and total positivity for the Grassmannian”. En:
Inventiones mathematicae 198 (mar. de 2014), págs. 637-699. doi: 10 . 1007 / s00222 - 014 -
0506-3. (Visitado 25-03-2021).
[6] Richard Palais. “The symmetries of solitons”. En: Bulletin of the American Mathematical So-
ciety 34 (1997), págs. 339-403. doi: 10.1090/s0273-0979-97-00732-5. url: https://www.
ams.org/journals/bull/1997-34-04/S0273-0979-97-00732-5/S0273-0979-97-00732-
5.pdf (visitado 22-06-2023).
[7] Nicolas Schalch. The Korteweg-de Vries Equation. 2018. url: https://ethz.ch/content/dam/
ethz/special- interest/phys/theoretical- physics/itp- dam/documents/gaberdiel/
proseminar_fs2018/11_Schalch.pdf.
[8] Emanuel Schmidt. KdV-hierarchy and soliton solutions. 2011. url: http://www.emanuelschmidt.
eu/physik/KdV.pdf (visitado 22-06-2023).
[9] Terence Tao. “Why are solitons stable?” En: Bulletin of the American Mathematical Society 46
(sep. de 2008), págs. 1-33. doi: 10.1090/s0273-0979-08-01228-7. (Visitado 26-04-2023).

13