Problema de Dirichlet

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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 \R^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:

Dada una función f cuyos valores están por todo el contorno de un región en \R^n. ¿Existe una única función continua u dos veces continuamente diferenciable en el interior y continua en el contorno, tal que u es armónica en el interior y u = f en el contorno?

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[editar]

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 prescriptos.

Solución general[editar]

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

u(x)=\int_{\partial D} \nu(s) \frac{\partial G(x,s)}{\partial n} ds

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} = \widehat{n} \cdot \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 \widehat{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,

f(x) = -\frac{\nu(x)}{2} + \int_{\partial D} \nu(s)
\frac{\partial G(x,s)}{\partial n} ds.

La función de Green a utilizar en la integral de arriba desaparece en el contorno:

G(x,s)=0\,

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[editar]

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:

\partial D \in C^{(1,\alpha)}

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[editar]

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


\Delta u_1=\Delta u_2 \qquad \forall x\in R\qquad y \qquad u_1|_{\delta R}=u_2|_{\delta R}=f(x)\qquad \forall x\in \delta R

Se construye la siguiente función:


u_0=u_1-u_2\qquad\forall x\in R

Por construcción la función dada cumple:

\Delta u_0 = \Delta (u_1-u_2) = \Delta u_1 - \Delta u_2 = 0\qquad y \qquad 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:


\int_R \nabla u_0\cdot\nabla u_0 dV=\int_R \nabla\cdot (u_0\nabla u_0)dV-\int_R u_0\Delta u_0 dV=\int_{\delta R}u_0\nabla u_0\cdot dS-\int_R u_0\Delta u_0 dV

pero

 \Delta u_0=0 \qquad \Rightarrow \qquad \int_R u_0\Delta u_0 dV=0
 u_0|_{\delta R}=0 \qquad \Rightarrow \qquad \int_{\delta R}u_0\nabla u_0\cdot dS=0

de modo que:


\int_R \nabla u_0\cdot\nabla u_0 dV=\int_R ||\nabla u_0||^2 dV=0\qquad \Rightarrow \qquad \nabla u_0=0\qquad\forall x \in R\qquad \Rightarrow \qquad u_0=cte \qquad \forall x\in R

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


u_0=0 \qquad \forall x \in R\qquad \Rightarrow \qquad u_1=u_2 \qquad \forall x\in R

Construcción de Perron[editar]

Cuando el problema de Dirichlet se plantea sobre un conjuto abierto \scriptstyle \Omega y acotado de \scriptstyle \R^n y \scriptstyle f denota una función real continua sobre la frontera \scriptstyle \part\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 \scriptstyle S_f para \scriptstyle f como el conjunto de funciones reales continuas \scriptstyle u definidas sobre \scriptstyle \bar\Omega que son subarmónicas sobre \scriptstyle \Omega y que satisfacen que \scriptstyle u \le f sobre \scriptstyle \part\Omega. Nótese que este conjunto es no vacío ya que contiene la función constante para \scriptstyle u(x)= m, siendo para \scriptstyle m el mínimo de la función \scriptstyle f sobre la frontera. Puede probarse que la siguiente función:

\bar{f} = \sup\{u(x)| u\in S_f\}

es solución del problema de Dirichlet buscado cuando la frontera es tal que el problema admite solución única. Aún 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 \scriptstyle \Omega.

Ejemplo: el disco unitario en dos dimensiones[editar]

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 \R^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:

u(z) = \begin{cases} \cfrac{1}{2\pi}\int_0^{2\pi} f(e^{i\psi})
\cfrac {1-\vert z \vert ^2}{\vert z-e^{i\psi}\vert ^2} d \psi & \mbox{if }z \in D \\
 f(z) & \mbox{if }z \in \partial D. \end{cases}

La solución u es continua en el disco unitario cerrado \bar{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:

G(z,x) = -\frac{1}{2\pi} \log \vert z-x\vert + \gamma(z,x)

donde \scriptstyle \gamma(z,x) es armónica

\Delta_x \gamma(z,x)=0\,

y elegida tal que \scriptstyle G(z,x)=0 para x\in \partial D.

Generalizaciones[editar]

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[editar]

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 tamnbién[editar]

Referencias[editar]

Bibliografía[editar]

Enlaces externos[editar]