En matemáticas , los problemas de Riemann-Hilbert , llamados así en honor a Bernhard Riemann y David Hilbert , son una clase de problemas que surgen en el estudio de ecuaciones diferenciales en el plano complejo . Mark Kerin , Israel Gohberg y otros han elaborado varios teoremas de existencia para problemas de Riemann-Hilbert.
El problema de Riemann
Supongamos que es un contorno suave , simple y cerrado en el plano complejo . Dividir el plano en dos partes denotadas por (el interior) y (el exterior), determinadas por el índice del contorno respecto de un punto. El problema clásico, considerado en la tesis doctoral de Riemann, era el de encontrar una función![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma _{+}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma _{-}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M_{+}(t)=u(t)+iv(t),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
interior analítico , tal que los valores límite de a lo largo satisfacen la ecuación![{\displaystyle \Sigma _{+}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle M_ {+}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a(t)u(t)-b(t)v(t)=c(t),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
for , donde , y reciben funciones de valor real. [4] Por ejemplo, en el caso especial donde y es un círculo, el problema se reduce a derivar la fórmula de Poisson . ![{\displaystyle t\en \Sigma }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a(t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle b(t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle c(t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a=1,b=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Según el teorema de mapeo de Riemann , basta considerar el caso en el que es el grupo circular . [6] En este caso, se puede buscar junto con su reflejo de Schwarz
![{\textstyle \mathbb {T} =\{z\in \mathbb {C} :|z|=1\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M_{+}(z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M_{-}(z)={\overline {M_{+}\left({\bar {z}}^{-1}\right)}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Porque uno tiene y entonces![{\displaystyle z\in \mathbb {T} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle z=1/{\bar {z}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M_{-}(z)={\overline {M_{+}(z)}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Por lo tanto, el problema se reduce a encontrar un par de funciones analíticas y en el interior y exterior, respectivamente, del disco unitario , de modo que en el círculo unitario![{\displaystyle M_{+}(z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M_{-}(z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\frac {a(z)+ib(z)}{2}}M_{+}(z)+{\frac {a(z)-ib(z)}{2}}M_{- }(z)=c(z),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y, además, para que se cumpla la condición en el infinito:
![{\displaystyle \lim _{z\to \infty }M_{-}(z)={\overline {{M}_{+}(0)}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El problema de Hilbert
La generalización del problema de Hilbert intentó encontrar un par de funciones analíticas y en el interior y exterior, respectivamente, de la curva , tales que para uno tiene![{\displaystyle M_{+}(t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M_{-}(t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle t\en \Sigma }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha (t)M_{+}(t)+\beta (t)M_{-}(t)=\gamma (t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde , y reciben funciones de valores complejos (ya no solo conjugados complejos). ![{\displaystyle \alpha (t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \beta (t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma (t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Problemas de Riemann-Hilbert
Tanto en el problema de Riemann como en la generalización de Hilbert, el contorno era simple. Un problema completo de Riemann-Hilbert permite que el contorno pueda estar compuesto por una unión de varias curvas suaves orientadas, sin intersecciones. Los lados "+" y "-" del "contorno" pueden entonces determinarse según el índice de un punto con respecto a . El problema de Riemann-Hilbert consiste en encontrar un par de funciones analíticas y en el lado "+" y "-" de , respectivamente, tales que para uno tenga![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M_{+}(t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M_{-}(t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle t\en \Sigma }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha (t)M_{+}(t)+\beta (z)M_{-}(t)=\gamma (t).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde , y reciben funciones de valores complejos.![{\displaystyle \alpha (t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \beta (t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma (t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Problemas de la matriz Riemann-Hilbert
Dado un contorno orientado (técnicamente: una unión orientada de curvas suaves sin puntos de autointersección infinita en el plano complejo), un problema de factorización de Riemann-Hilbert es el siguiente.![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Dada una función matricial definida en el contorno , encuentre una función matricial holomorfa definida en el complemento de , tal que se cumplan las dos condiciones siguientes ![{\displaystyle G(t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M(z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si y denotan los límites no tangenciales de cuando nos acercamos a , entonces , en todos los puntos de no intersección en .
![{\ Displaystyle M_ {+}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle M_ {-}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M_{+}(t)=G(t)M_{-}(t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
tiende a la matriz identidad en cualquier dirección exterior .![{\ Displaystyle I_ {N}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle z\to \infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En el caso más sencillo es liso e integrable. En casos más complicados podría tener singularidades. Los límites y podrían ser clásicos y continuos o podrían tomarse en el sentido - . En los puntos finales o de intersección del contorno , la condición de salto no está definida; Se deben plantear restricciones al crecimiento de cerca de esos puntos para garantizar la unicidad (consulte el problema escalar a continuación).![{\displaystyle G(t)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle M_ {+}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle M_ {-}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ejemplo: problema de factorización escalar de Riemann-Hilbert
Supongamos y . Suponiendo que sea acotado, ¿cuál es la solución ?![{\displaystyle G=2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma =[-1,1]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Para resolver esto, tomemos el logaritmo de la ecuación .![{\displaystyle M_{+}=GM_{-}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \log M_{+}(z)=\log M_{-}(z)+\log 2.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Dado que tiende a , como .![{\displaystyle M(z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \log M\a 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle z\to \infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Un hecho estándar sobre la transformada de Cauchy es que dónde y están los límites de la transformada de Cauchy desde arriba y desde abajo ; por lo tanto, obtenemos![{\displaystyle C_{+}-C_{-}=I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C_{+}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle C_ {-}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\frac {1}{2\pi i}}\int _{\Sigma _{+}}{\frac {\log 2}{\zeta -z}}\,d\zeta -{\ frac {1}{2\pi i}}\int _{\Sigma _{-}}{\frac {\log {2}}{\zeta -z}}\,d\zeta =\log 2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
cuando . Debido a que la solución de un problema de factorización de Riemann-Hilbert es única (una fácil aplicación del teorema de Liouville (análisis complejo) ), el teorema de Sokhotski-Plemelj da la solución. Obtenemos![{\displaystyle z\en \Sigma }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \log M={\frac {1}{2\pi i}}\int _{\Sigma }{\frac {\log {2}}{\zeta -z}}d\zeta ={\ frac {\log 2}{2\pi i}}\int _{-1-z}^{1-z}{\frac {1}{\zeta }}d\zeta ={\frac {\log 2 }{2\pi i}}\log {\frac {z-1}{z+1}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y por lo tanto
![{\displaystyle M(z)=\left({\frac {z-1}{z+1}}\right)^{\frac {\log {2}}{2\pi i}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
que tiene una rama cortada al contorno .![{\displaystyle \Sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Controlar:
![{\displaystyle {\begin{aligned}M_{+}(0)&=(e^{i\pi })^{\frac {\log 2}{2\pi i}}=e^{\frac { \log 2}{2}}\\M_{-}(0)&=(e^{-i\pi })^{\frac {\log 2}{2\pi i}}=e^{- {\frac {\log 2}{2}}}\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
por lo tanto,
![{\displaystyle M_{+}(0)=M_{-}(0)e^{\log {2}}=M_{-}(0)2.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
ADVERTENCIA 1: Si el problema no es escalar, no es fácil tomar logaritmos. En general, las soluciones explícitas son muy raras.
ADVERTENCIA 2: La limitación (o al menos una limitación en la explosión) de cerca de los puntos especiales es crucial. De lo contrario, cualquier función de la forma![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle -1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M(z)=\left({\frac {z-1}{z+1}}\right)^{\frac {\log {2}}{2\pi i}}+{\frac {a}{z-1}}+{\frac {b}{z+1}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
También es una solución. En general, las condiciones de crecimiento son necesarias en puntos especiales (los puntos finales del contorno de salto o el punto de intersección) para garantizar que el problema esté bien planteado.
Generalizaciones
problema DBAR
Supongamos que hay algún dominio simplemente conexo del plano complejo . Entonces la ecuación escalar
![{\displaystyle z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\frac {\partial M(z,{\bar {z}})}{\partial {\bar {z}}}}=f(z,{\bar {z}}),\quad z\en D,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Es una generalización de un problema de Riemann-Hilbert, llamado problema DBAR (o problema ). Es la forma compleja de las ecuaciones no homogéneas de Cauchy-Riemann . Para mostrar esto, dejemos![{\displaystyle {\overline {\parcial }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M=u+iv,\quad f={\frac {g+ih}{2}},\quad z=x+iy,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
con , y todas las funciones con valores reales de variables reales y . Luego, usando![{\displaystyle u(x,y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v(x,y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g(x,y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h(x,y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\frac {\partial }{\partial {\bar {z}}}}={\frac {1}{2}}\left({\frac {\partial }{\partial x}}+ i{\frac {\partial }{\partial y}}\right),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
el problema DBAR produce
![{\displaystyle {\frac {\partial u}{\partial x}}-{\frac {\partial v}{\partial y}}=g(x,y),\quad {\frac {\partial u} {\partial y}}+{\frac {\partial v}{\partial x}}=h(x,y).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Como tal, si es holomórfico para , entonces deben satisfacerse las ecuaciones de Cauchy-Riemann. ![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle z\en D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En el caso de as y , la solución del problema DBAR es ![{\displaystyle M\a 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle z\to \infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D:=\mathbb {C} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M(z,{\bar {z}})=1+{\frac {1}{2\pi i}}\iint _{\mathbb {R} ^{2}}{\frac {f (\zeta ,{\bar {\zeta }})}{\zeta -z}}\,d\zeta \wedge d{\bar {\zeta }},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
integrado en todo el plano complejo; denotado por , y donde el producto de cuña se define como![{\displaystyle \mathbb {R} ^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d\zeta \wedge d{\bar {\zeta }}=(d\xi +id\eta )\wedge (d\xi -id\eta )=-2id\xi d\eta .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Funciones analíticas generalizadas
Si una función es holomorfa en alguna región compleja , entonces ![{\displaystyle M(z)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\frac {\partial M}{\partial {\bar {z}}}}=0,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
en . Para funciones analíticas generalizadas, esta ecuación se reemplaza por ![{\displaystyle R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\frac {\partial M}{\partial {\bar {z}}}}=A(z,{\bar {z}})M+B(z,{\bar {z}}) {\overline {M}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
en una región , donde es el complejo conjugado de y y son funciones de y . ![{\displaystyle R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {M}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A(z,{\bar {z}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B(z,{\bar {z}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\bar {z}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Las funciones analíticas generalizadas tienen aplicaciones en geometría diferencial , en la resolución de cierto tipo de ecuaciones diferenciales parciales no lineales multidimensionales y dispersión inversa multidimensional .
Aplicaciones a la teoría de la integrabilidad
Los problemas de Riemann-Hilbert tienen aplicaciones a varias clases de problemas relacionados.
- A. Modelos integrables
- El problema de dispersión inversa o espectral inverso asociado a los problemas de Cauchy para ecuaciones diferenciales parciales de 1+1 dimensiones sobre la recta, o a problemas periódicos, o incluso a problemas de valores en la frontera inicial (Fokas (2002)), se puede plantear como un problema de Riemann. –El problema de Hilbert. Asimismo, el problema de monodromía inversa para las ecuaciones de Painlevé puede plantearse como un problema de Riemann-Hilbert.
- B. Polinomios ortogonales , matrices aleatorias
- Dado un peso en un contorno, los polinomios ortogonales correspondientes se pueden calcular mediante la solución de un problema de factorización de Riemann-Hilbert (Fokas, Its y Kitaev (1992)). Además, la distribución de valores propios de matrices aleatorias en varios conjuntos clásicos se reduce a cálculos que involucran polinomios ortogonales (ver, por ejemplo, Deift (2000)).
- C. Probabilidad combinatoria
- El ejemplo más famoso es el teorema de Baik, Deift y Johansson (1999) sobre la distribución de la longitud de la subsecuencia creciente más larga de una permutación aleatoria. Junto con el estudio de B anterior, es una de las investigaciones rigurosas originales de la llamada "probabilidad integrable". Pero la conexión entre la teoría de la integrabilidad y varios conjuntos clásicos de matrices aleatorias se remonta al trabajo de Dyson (ver, por ejemplo, Dyson (1976)).
- D. Conexión con la teoría de Donaldson-Thomas
- El trabajo de Bridgeland Bridgeland (2019) estudia una clase de problemas de Riemann-Hilbert provenientes de la teoría de Donaldson-Thomas y establece conexiones con la teoría de Gromov-Witten y la WKB exacta .
El análisis numérico de los problemas de Riemann-Hilbert puede proporcionar una forma efectiva de resolver numéricamente PDE integrables (ver, por ejemplo, Trogdon & Olver (2016)).
Uso para asintóticos
En particular, los problemas de factorización de Riemann-Hilbert se utilizan para extraer valores asintóticos para los tres problemas anteriores (digamos, cuando el tiempo llega al infinito, o cuando el coeficiente de dispersión llega a cero, o cuando el grado del polinomio llega al infinito, o cuando el tamaño de la permutación va al infinito). Existe un método para extraer el comportamiento asintótico de soluciones de problemas de Riemann-Hilbert, análogo al método de fase estacionaria y al método de descenso más pronunciado aplicable a integrales exponenciales.
Por analogía con los métodos asintóticos clásicos, se "deforman" los problemas de Riemann-Hilbert que no se pueden resolver explícitamente en problemas que sí lo son. El llamado método "no lineal" de fase estacionaria se debe a Deift y Zhou (1993), ampliando una idea previa de Its (1982) y Manakov (1974) y utilizando resultados técnicos de fondo de Beals y Coifman (1984) y Zhou. (1989). Un ingrediente crucial del análisis de Deift-Zhou es el análisis asintótico de integrales singulares en contornos. El núcleo relevante es el núcleo estándar de Cauchy (ver Gakhov (2001); cf. también el ejemplo escalar a continuación).
Una extensión esencial del método no lineal de fase estacionaria ha sido la introducción de la llamada transformación de función g de espacio finito por Deift, Venakides y Zhou (1997), que ha sido crucial en la mayoría de las aplicaciones. Esto se inspiró en el trabajo de Lax, Levermore y Venakides, quienes redujeron el análisis del pequeño límite de dispersión de la ecuación KdV al análisis de un problema de maximización para un potencial logarítmico bajo algún campo externo: un problema variacional de tipo "electrostático" ( ver Lax y Levermore (1983)). La función g es la transformada logarítmica de la medida maximizadora del "equilibrio". De hecho , el análisis del pequeño límite de dispersión de la ecuación KdV ha proporcionado la base para el análisis de la mayor parte del trabajo sobre polinomios ortogonales "reales" (es decir, con la condición de ortogonalidad definida en la recta real) y matrices aleatorias hermitianas.
Quizás la extensión más sofisticada de la teoría hasta ahora es la aplicada al caso "no autoadjunto", es decir, cuando el operador Lax subyacente (el primer componente del par Lax ) no es autoadjunto , por Kamvissis, McLaughlin & Molinero (2003). En ese caso, se definen y calculan los "curvas de nivel de descenso más pronunciados" reales. El problema variacional correspondiente es un problema de máximo-mínimo: se busca un contorno que minimice la medida de "equilibrio". El estudio del problema variacional y la prueba de la existencia de una solución regular, bajo algunas condiciones en el campo externo, fue realizado en Kamvissis & Rakhmanov (2005); el contorno que surge es una "curva en S", tal como la definieron y estudiaron en la década de 1980 Herbert R. Stahl, Andrei A. Gonchar y Evguenii A Rakhmanov.
McLaughlin y Miller (2006) proporcionan un análisis asintótico alternativo de los problemas de factorización de Riemann-Hilbert, especialmente conveniente cuando las matrices de salto no tienen extensiones analíticas. Su método se basa en el análisis de problemas de barras d, en lugar del análisis asintótico de integrales singulares en contornos. Varzugin (1996) introdujo una forma alternativa de tratar con matrices de salto sin extensiones analíticas.
Otra extensión de la teoría aparece en Kamvissis y Teschl (2012), donde el espacio subyacente del problema de Riemann-Hilbert es una superficie de Riemann hiperelíptica compacta . El problema de factorización correcta ya no es holomórfico, sino más bien meromórfico , debido al teorema de Riemann-Roch . El núcleo singular relacionado no es el núcleo de Cauchy habitual, sino más bien un núcleo más general que involucra diferenciales meromórficos definidos naturalmente en la superficie (ver, por ejemplo, el apéndice en Kamvissis & Teschl (2012)). La teoría de la deformación del problema de Riemann-Hilbert se aplica al problema de estabilidad de la red de Toda periódica infinita bajo una perturbación de "corto alcance" (por ejemplo, una perturbación de un número finito de partículas).
La mayoría de los problemas de factorización de Riemann-Hilbert estudiados en la literatura son bidimensionales, es decir, las matrices desconocidas son de dimensión 2. Arno Kuijlaars y sus colaboradores han estudiado problemas de dimensiones superiores; véase, por ejemplo, Kuijlaars & López (2015).
Ver también
Notas
- ^ Pandey 1996.
- ^ Pandey 1996, §2.2.
Referencias
- Ablowitz, Mark J.; Fokas, AS (2003). Variables complejas . Cambridge: Prensa de la Universidad de Cambridge. ISBN 978-0-521-53429-1.
- Baik, J.; Deift, P.; Johansson, K. (1999), "Sobre la distribución de la longitud de la subsecuencia creciente más larga de permutaciones aleatorias", Journal of the American Mathematical Society , 12 (4): 1119–1178, doi : 10.1090/S0894-0347-99 -00307-0.
- Beals, R.; Coifman, RR (1984), "Dispersión y dispersión inversa para sistemas de primer orden", Communications on Pure and Applied Mathematics , 37 : 39–90, doi :10.1002/cpa.3160370105.
- Bitsadze, AV (2001) [1994], "Problemas de valores límite de la teoría analítica de funciones", Enciclopedia de Matemáticas , EMS Press
- Bridgeland, T. (2019), "Problemas de Riemann-Hilbert de la teoría de Donaldson-Thomas", Inventiones Mathematicae , 216 (1): 69–124, arXiv : 1611.03697 , Bibcode :2019InMat.216...69B, doi :10.1007/ s00222-018-0843-8.
- Clancey, K.; Gohberg, I. (1981), Factorización de funciones matriciales y operadores integrales singulares , Oper. Teoría: avances y aplicaciones, vol. 3, Basilea-Boston-Stuttgart: Birkhäuser Verlag.
- Deift, Percy A. (2000), Polinomios ortogonales y matrices aleatorias , Sociedad Matemática Estadounidense , ISBN 978-0-8218-2695-9.
- Deft, Percy; Venákides, S.; Zhou, X. (1997), Nuevos resultados en KdV de pequeña dispersión mediante una extensión del método de descenso más pronunciado para problemas de Riemann-Hilbert , Avisos internacionales de investigación matemática, págs..
- Deft, Percy ; Zhou, X. (1993), "Un método de descenso más pronunciado para problemas oscilatorios de Riemann-Hilbert; asintóticas para la ecuación MKdV", Annals of Mathematics , segunda serie, 137 (2): 295–368, arXiv : math/9201261 , doi :10.2307/2946540, JSTOR 2946540, S2CID 12699956.
- Dyson, Freeman (1976), "Determinantes de Fredholm y problemas de dispersión inversa", Comunicaciones en física matemática , 47 (3): 171–183, Bibcode :1976CMaPh..47..171D, doi :10.1007/BF01608375, S2CID 122511904.
- Fokas, AS (2002), "Ecuaciones de evolución no lineales integrables en la media línea", Comunicaciones en Física Matemática , 230 (1): 1–39, Bibcode :2002CMaPh.230....1F, doi :10.1007/s00220- 002-0681-8, S2CID 118630271.
- Fokas, AS; Es, AR; Kitaev, AV (1992), "El enfoque de isomonodromía para modelos matriciales en gravedad cuántica 2D", Comunicaciones en física matemática , 147 (2): 395–430, Bibcode :1992CMaPh.147..395F, doi :10.1007/BF02096594, S2CID 118343085.
- Gakhov, FD (2001) [1994], "Problema de Riemann-Hilbert", Enciclopedia de Matemáticas , EMS Press
- Khimshiashvili, G. (2001) [1994], "Factorización de Birkhoff", Enciclopedia de Matemáticas , EMS Press.
- Its, AR (1982), "Asintótica de soluciones de la ecuación de Schrödinger no lineal y deformaciones isomonodrómicas de sistemas de ecuaciones diferenciales lineales", Matemáticas soviéticas - Doklady , 24 (3): 14–18.
- Its, AR (2003), "El problema de Riemann-Hilbert y los sistemas integrables" (PDF) , Avisos de la AMS , 50 (11): 1389-1400.
- Kamvissis, S.; McLaughlin, K.; Miller, P. (2003), Conjuntos de solitones semiclásicos para la ecuación de Schrödinger no lineal de enfoque , Annals of Mathematics Study, vol. 154, Princeton: Prensa de la Universidad de Princeton.
- Kamvissis, S.; Rakhmanov, EA (2005), "Existencia y regularidad para un problema de maximización de energía en dos dimensiones", Journal of Mathematical Physics , 46 (8): 083505, arXiv : 0907.5571 , Bibcode : 2005JMP....46h3505K, doi : 10.1063/ 1.1985069, S2CID 17284652.
- Kamvissis, S.; Teschl, G. (2012), "Asintóticas de largo tiempo de la red periódica de Toda bajo perturbaciones de corto alcance", J. Math. Física. , 53 (7): 073706, arXiv : 0705.0346 , Bibcode : 2012JMP....53g3706K, doi : 10.1063/1.4731768, S2CID 2579238.
- Kuijlaars, Arno; López, Abey (2015), "Un problema de equilibrio vectorial para el modelo matricial normal y múltiples polinomios ortogonales en una estrella", No linealidad , 28 (2): 347–406, arXiv : 1401.2419 , Bibcode :2015Nonli..28.. 347K, doi :10.1088/0951-7715/28/2/347, S2CID 119171871.
- Lax, Peter D .; Levermore, CD (1983), "El límite de dispersión cero para la ecuación I-III de KdV", Comunicaciones sobre matemáticas puras y aplicadas , 36 (3): 253–290, 571–593, 809–829, doi :10.1002/cpa .3160360302.
- Manakov, SV (1974), "Difracción de Fraunnhofer no lineal", Sov. Física. JETP , 38 : 693–696, código bibliográfico : 1974JETP...38..693M.
- McLaughlin, K.; Miller, P. (2006), "El método de descenso más pronunciado de la barra d y el comportamiento asintótico de polinomios ortogonales en el círculo unitario con pesos no analíticos fijos y que varían exponencialmente", IMRP : 1–77.
- Noble, Ben (1958). Métodos basados en la técnica de Wiener-Hopf para la solución de ecuaciones diferenciales parciales . Nueva York, Nueva York: Taylor & Francis Estados Unidos. ISBN 978-0-8284-0332-0.
- Pandey, JN (1996), La transformada de Hilbert de distribuciones y aplicaciones de Schwartz , Wiley-Interscience.
- Varzugin, GG (1996), "Asintótica de problemas oscilatorios de Riemann-Hilbert", Journal of Mathematical Physics , 37 (11): 5869–5892, Bibcode :1996JMP....37.5869V, doi :10.1063/1.531706
- Vekua, IN (2014). Funciones analíticas generalizadas . ISBN 978-1-61427-611-1.
- Trogdón, Thomas; Olver, Sheehan (2016), Problemas de Riemann-Hilbert, su solución numérica y el cálculo de funciones especiales no lineales , SIAM.
- Zhou, Xin (1989), "El problema de Riemann-Hilbert y la dispersión inversa", SIAM J. Math. Anal. , 20 (4): 966–986, doi :10.1137/0520065.