Problema de Dirichlet

En matemáticas, el problema de Dirichlet es un problema que consiste en hallar una función que es la solución de una ecuación en derivadas parciales (EDP) en el interior de un dominio de ${ℝ}^n$ (o más generalmente una variedad diferenciable) que tome valores prescritos sobre el contorno de dicho dominio.

El problema de Dirichlet puede resolverse para muchas EDPs, aunque originalmente fue planteada para la ecuación de Laplace. En este caso el problema puede enunciarse como sigue: Plantilla:Definición

Este requisito se denomina condición de contorno de Dirichlet. En este problema es fundamental probar la existencia de la solución; la unicidad viene dada utilizando el principio del máximo.

Historia

El problema de Dirichlet debe su nombre a Lejeune Dirichlet, quien propuso una solución para un método variacional el cual se conoce como principio de Dirichlet. La existencia de una solución única es muy plausible por el 'argumento físico': cualquier distribución de carga sobre el contorno, para las leyes de la electrostática, deberá determinar un potencial eléctrico como solución.

Sin embargo, Weierstrass encontró una falla al argumento de Dirichlet, y una demostración rigurosa de la existencia fue encontrada recién en 1900 por Hilbert. Resultó entonces que la existencia de una solución depende delicadamente de la suavidad del contorno y de los datos prescritos.

Solución general

Para un dominio $D$ teniendo la suavidad suficiente sobre el contorno $\partial D$, la solución general al problema de Dirichlet es: Plantilla:Ecuación donde

$G(x,y)$ es la función de Green para la ecuación en derivadas parciales, y

$\frac{\partial G(x,s)}{\partial n}=\hat{n}\cdot {\mathrm{\nabla }}_{s}G(x,s)=\sum _i{n}_i\frac{\partial G(x,s)}{\partial s_i}$

es la derivada de la función de Green a lo largo del vector unitario normal apuntando hacia el interior $\hat{n}$. La integración se realiza sobre el contorno, con la medida $ds$. La función $\nu (s)$ está dada por la solución única de la ecuación integral de Fredholm de segunda clase, Plantilla:Ecuación La función de Green a utilizar en la integral de arriba desaparece en el contorno: Plantilla:Ecuación para $s\in \partial D$ y $x\in D$. Tal función de Green usualmente es una suma de las funciones de Green del campo libre una solución armónica a la ecuación diferencial.

Existencia

El problema de Dirichlet para funciones armónicas siempre tiene solución, y esa solución es única cuando el contorno es suficientemente suave y $f(s)$ es continua. Más precisamente, tiene solución cuando: Plantilla:Ecuación para $0<\alpha$, donde $C^{(1,\alpha )}$ es la condición de Hölder.

Las condiciones anteriores pueden relajarse pudiéndose probar que el problema de Dirichlet admite solución continua para un dominio convexo (sin requerir condiciones de suavidad) o cuando cada punto del contorno pertenece a una bola cerrada íntegramente contenida en el conjunto complementario del interior del dominio (condición de la bola cerrada exterior).

Unicidad

Supongase la existencia de dos funciones armónicas en una región R simplemente conexa que cumplen:

$\mathrm{\Delta }{u}_1=\mathrm{\Delta }{u}_2\mathrm{\forall }x\in Ry{u}_1{|}_{\delta R}=u_2{|}_{\delta R}=f(x)\mathrm{\forall }x\in \delta R$

Se construye la siguiente función:

$u_0=u_1-u_2\mathrm{\forall }x\in R$

Por construcción la función dada cumple:

$\mathrm{\Delta }{u}_0=\mathrm{\Delta }(u_1-u_2)=\mathrm{\Delta }{u}_1-\mathrm{\Delta }{u}_2=0y{u}_0{|}_{\delta R}=u_1{|}_{\delta R}-u_2{|}_{\delta V}=0$

Integrando la norma del gradiente de $u_0$ en todo el volumen delimitado por el contorno y aplicando el teorema de Green se tiene que:

$\underset{R}{\int }\mathrm{\nabla }{u}_0\cdot \mathrm{\nabla }{u}_{0}dV=\underset{R}{\int }\mathrm{\nabla }\cdot (u_0\mathrm{\nabla }{u}_0)dV-\underset{R}{\int }{u}_0\mathrm{\Delta }{u}_{0}dV=\underset{\delta R}{\int }{u}_0\mathrm{\nabla }{u}_0\cdot dS-\underset{R}{\int }{u}_0\mathrm{\Delta }{u}_{0}dV$

pero

$\mathrm{\Delta }{u}_0=0\Rightarrow \underset{R}{\int }{u}_0\mathrm{\Delta }{u}_{0}dV=0$

$u_0{|}_{\delta R}=0\Rightarrow \underset{\delta R}{\int }{u}_0\mathrm{\nabla }{u}_0\cdot dS=0$

de modo que:

$\underset{R}{\int }\mathrm{\nabla }{u}_0\cdot \mathrm{\nabla }{u}_{0}dV=\underset{R}{\int }||\mathrm{\nabla }{u}_0|{|}^{2}dV=0\Rightarrow \mathrm{\nabla }{u}_0=0\mathrm{\forall }x\in R\Rightarrow u_0=cte\mathrm{\forall }x\in R$

Dado que $u_0{|}_{\delta R}=0$ se tiene finalmente que:

$u_0=0\mathrm{\forall }x\in R\Rightarrow u_1=u_2\mathrm{\forall }x\in R$

Construcción de Perron

Plantilla:AP Cuando el problema de Dirichlet se plantea sobre un conjunto abierto $\mathrm{\Omega }$ y acotado de ${ℝ}^n$ y $f$ denota una función real continua sobre la frontera $\partial \mathrm{\Omega }$ puede definirse la llamada construcción de Perron que convierte el problema de Dirichlet en un problema de minimización. Si se define el conjunto de Perron $S_f$ para $f$ como el conjunto de funciones reales continuas $u$ definidas sobre $\overline{\mathrm{\Omega }}$ que son subarmónicas sobre $\mathrm{\Omega }$ y que satisfacen que $u\le f$ sobre $\partial \mathrm{\Omega }$. Nótese que este conjunto es no vacío ya que contiene la función constante para $u(x)=m$, siendo para $m$ el mínimo de la función $f$ sobre la frontera. Puede probarse que la siguiente función: Plantilla:Ecuación es solución del problema de Dirichlet buscado cuando la frontera es tal que el problema admite solución única. Aun cuando la función anterior no sea una solución del problema de Dirichlet por irregularidades en la frontera, puede probarse que sigue siendo una función armónica sobre para $\mathrm{\Omega }$.

Ejemplo: el disco unitario en dos dimensiones

En algunos casos simples el problema de Dirichlet puede resolverse en forma explícita. Por ejemplo, la solución para el problema de Dirichlet para un disco unitario en ${ℝ}^2$ está dado por la fórmula integral de Poisson.

Si $f$ es una función continua sobre el contorno $\partial D$ del disco unitario abierto $D$, entonces la solución al problema de Dirichlet es $u(z)$ dado por: Plantilla:Ecuación La solución $u$ es continua en el disco unitario cerrado $\overline{D}$ y armónica sobre $D.$

El integrando se conoce como kernel de Poisson; esta solución resulta de la función de Green en dos dimensiones: Plantilla:Ecuación donde $\gamma (z,x)$ es armónica Plantilla:Ecuación y elegida tal que $G(z,x)=0$ para $x\in \partial D$.

Generalizaciones

Los problemas de Dirichlet son típicos de las ecuaciones en derivadas parciales elípticas, la teoría del potencial, y la ecuación de Laplace en particular. Otros ejemplos son la ecuación biarmónica y las ecuaciones relacionadas con la teoría de la elasticidad.

Este es uno de los problemas de varios tipos de clases problemas de EDP definidos por la información dada en el contorno, entre los cuales están también el problema de Neumann y el problema de Cauchy.

Aplicaciones

El problema de Dirichlet ocurre en múltiples problemas físicos:

1. En teoría del potencial para regiones desprovistas de carga.
2. En teoría de la elasticidad cuando no aparecen densidades de fuerza.

Véase también

• Método de Perron

Referencias

• Plantilla:Springer
• S. G. Krantz, The Dirichlet Problem. §7.3.3 in Handbook of Complex Variables. Boston, MA: Birkhäuser, p. 93, 1999. ISBN 0-8176-4011-8.
• S. Axler, P. Gorkin, K. Voss, The Dirichlet problem on quadratic surfaces Mathematics of Computation 73 (2004), 637-651.
• Plantilla:Obra citada

Enlaces externos

• Plantilla:MathWorld
• Dirichlet Problem Module by John H. Mathews