Grupo # 4 Tema: Problema de Dirichlet Integrantes: Diego Chiluisa Diana Sigcha Edison Tatayo

Los fsicos llaman al movimiento de un punto en una cuerda vibrante movimiento armnico.
Tal movimiento puede ser descrito por medio de las funciones seno y coseno; en este contexto las funciones seno y coseno son llamadas armnicas. A principios de 1900 la palabra armnica fue aplicada no solo para polinomios homogneos con Laplaciano cero 2 = 0, sino tambin a las soluciones de la ecuacin de Laplaces.

 Una funcin armnica en D queda determinada en cualquier punto z D por los valores que toma en la frontera , y de hecho esta condicin caracteriza a las funciones armnicas en D. La Ecuacin de Laplace en dos dimensiones est definida como una funcin armnica, para ello tenemos: + = Y para tres dimensiones: + + = , Cambiando de nomenclatura: =
+

+ +

Se la conoce tambin como la ecuacin del estado estacionario del calor.

 Sirve para encontrar la distribucin de temperatura en un slido cuando se especifica la temperatura en la superficie.

Sirve para calcular potenciales en el interior de conductores, siempre y cuando se especifique el potencial en la superficie del conductor.
Un problema de contorno en el que buscamos una solucin de una ecuacin diferencial parcial elptica, tal como la ecuacin de Laplace, dentro de una regin tal que toma valores prescritos en toda la frontera de la regin se llama un problema de Dirichlet.

Existe dificultad dependiendo de la forma de la regin D, para ello se analiza regiones con simetra.

Principio de superposicin:
Un problema de Dirichlet para un rectngulo puede ser resuelto fcilmente por separacin de variables cuando se especifican las condiciones de contorno homogneas en dos lmites paralelos. Sin embargo, l mtodo de separacin de variables no es aplicable a un problema de Dirichlet cuando las condiciones de contorno en los cuatro lados del rectngulo son no homognea.

Resolviendo el problema de Dirichlet para un disco de radio R entrado en el origen. En coordenadas polares, el problema es: 2 , = 0 0 < ,

, = ()

La ecuacin de Laplace en coordenadas polares es: 1 1 2 + + 2 2=0 2 Es fcil verificar que las funciones 1, cos Son armnicas en todo el plano. Entonces para encontrar una solucin usamos 1 , = 0 + 2

cos + ()
=1

Para satisfacer la condicin en la frontera, necesitamos elegir los coeficientes de manera que 1 , = () = 0 + cos + () 2
=1

Pero esto es precisamente el desarrollo de Fourier de () en [, ], que conduce a elegir 1 0 = () 1 = () cos() Y 1 = () sen()

Entonces

1 = 1 = 1 , = 2 1 + +

() cos()

() sen()

La solucin es

()

=1

() cos() cos

() sen() ()

Esto tambin puede escribirse

1 , = 2
O

1 () +

=1

() cos(( ))

, =

+
=

(( )) ()

Ecuacin (1.1)

Resuelva el problema de Dirichlet 2 , = 0 0 < 4, 4, = = 2 La solucin es 1 2 1 , = + 2 , = + 3

2

=1

2 cos(( ))

=1

4 1 2

cos()

Resuelva el problema de Dirichlet

2 , = 0 0 < 4, 4, = = 2
Convertir el problema a coordenadas polares, usando = cos y = (). Sea , = cos , = (, )

La condicin en la frontera, donde = 3, se convierte en

3, = 9cos 2 92 = 81cos2 2 = ()
1 , = 2 1 +

=1

81cos 2 2 cos cos

81 cos 2 2

Ahora

81 81 cos = 4
2 2

81cos 2

0 2 cos = 81 8

4 = 4

81cos 2 2 sen = 0

Por tanto

1 81 1 81 , = 2 4 8 3

81 1 4 cos 4 = cos 4 8 8

Para regresar esta solucin a coordenadas rectangulares, use el hecho de que

cos 4 = 8 4 8 2 +1
Entonces

81 1 4 , = ( 4 8 4 2 + 4 8 8
2

81 1 (, ) = (8 4 8 2 + 2 2 + 2 + 2 8 8

Existe una frmula en serie para la solucin del problema de Dirichlet para un disco. En esta seccin obtendr una frmula integral para esta solucin. El problema para un disco de radio 1, en coordenadas polares, es 2 , = 0 0 < 1, 1, = () La solucin en serie de la seccin anterior, con R=1, es 1 , = 2

1+2
=1

cos(( )) ()

La cantidad
1 1+2 2

cos()
=1

Se llama el ncleo de Poisson y se denota por (, ). En trminos del ncleo de Poisson, la solucin es

, =

(, )()

Ahora obtendremos una forma cerrada para el ncleo de Poisson, llegando a una frmula integral para la solucin. Sea = . Por la frmula de Euler
= = cos +

As cos , que aparece en el ncleo de Poisson, es la parte real de , denotada ( ).

Entonces 1+2

cos() = 1 + 2
=1 =1

Pero = < 1 en el disco unitario, de manera que la serie geomtrica =1 converge. Ms an, = 1
=1

Entonces

1+2
=1

cos() = 1 + 2
=1

1 + 1 + = 1 + 2 = = 1 1 1

El resto son slo clculos para extraer esta parte real: 1 + 1 + = 1 1 1 1

1 2 + 1 2 + 2 = = 2 1 + 2 2 cos 1 + + Por tanto, 1+2

=1

cos() = 1 + 2
=1

1 2 = 1 + 2 2 cos

As la solucin dada por las ecuacin (1.1) es 1 , = 2

1 2 () 1 + 2 2 cos

La ecuacin anterior es la frmula de la integral de Poisson para la solucin del problema de Dirichlet para el disco unitario. Para un disco de radio R, un simple cambio de variable conduce a la solucin

, 1 = 2

2 2 () 2 2 + 2 cos

Esta integral, para el disco de radio R, tambin se conoce como la frmula de Poisson.

De nuevo al problema 2 , = 0 0 < 4, 4, = = 2 Que fue resuelto en la seccin anterior mediante la serie de Fourier. La frmula integral de Poisson para la solucin es 1 , = 2

16 2 2 16 + 2 8 cos 2 2 8 cos 16 +

16 2 , = 2

Esta integral no puede ser evaluada en la forma cerrada, pero frecuentemente es ms conveniente para las aproximaciones numricas que la solucin en serie infinita.

Considere el problema de Dirichlet para algunas regiones que no estn acotadas en el sentido de contener puntos arbitrariamente lejanos del origen. Para tales problemas, la integral de Fourier, la transformada de Fourier, o la transformada de Fourier en senos o cosenos pueden ser buenos recursos para su solucin.

Considere el problema 2 , = 0 < < , > 0 , 0 = < <

Busque una funcin que sea armnica en el semiplano superior y tome valores dados a lo largo del eje x. Sea , = ()() y se separan las variables en la ecuacin de Laplace para obtener + = 0 + = 0
Para buscar una solucin acotada consideramos casos sobre .

Caso 1 = 0 Ahora = + , y obtiene un solucin acotada eligiendo = 0. As 0 es un valor propio de este problema, con funciones propias constantes.
Caso 2 = 2 < 0 Ahora = + . Pero conforme , de manera que se debe elegir = 0. Y conforme , de manera q tambin debe hacer = 0, llegando a la solucin trivial.

Este problema no tiene valor propio negativo.

Caso 3 = 2 > 0 Ahora = cos + (), una funcin acotada para y constantes cualesquiera. La ecuacin para ahora se convierte en 2 = 0, con solucin general = + . Como > 0 y > 0, conforme , de manera que necesita = 0. Sin embargo, est acotada para > 0, as = . Para cada 0, ahora tiene una funcin , = [ cos + ()] Que satisface la ecuacin de Laplace. Intente una solucin del problema con la superposicin

, =
0

cos +

Para satisfacer las condiciones en la frontera, elija los coeficientes de manera que

, 0) = ( =
0

cos +

Este es el desarrollo integral de Fourier de (), asi

1 =
Y

cos +

1 =

Con estos coeficientes, tiene la solucin, que puede escribirse en una forma compacta, involucrando solo una integral, de la siguiente manera. Escriba 1 , = cos 0

1 [ cos , = 0 + ] 1 , =
0

cos(( ))

La integral interna puede ser evaluada explcitamente:

cos(( )) = 2 2 + ( ) + 0

cos((
0

))

= 2 + ( )2

Por tanto, la solucin del problema de Dirichlet para el semiplano superior es

(1.3)

, =

2 +

Para ilustrar la tcnica, resolveremos nuevamente el problema usando la transformada de Fourier.

Aplique la transformada de Fourier en la variable x para la ecuacin de Laplace. Ahora sale de la transformada, y puede usar la regla operacional para aplicar la transformada a la derivada respecto a . Obtiene 2 2 2 2 , = 0 + = , 2 2 2

La solucin general de la ecuacin diferencial en la variable es

, = +

Tenga presente aqu que vara sobre toda la recta real (a diferencia de la solucin mediante la integral de Fourier, donde era una variable de integracin sobre la semirecta). Debido a que conforme , debe tener = 0 para positivo. Pero conforme si < 0, as = 0 para negativo. As, 0 , = < 0 Simplificando esta notacin escribiendo , = Para resolver , use el hecho de que , 0 = () para obtener , 0 = =

La transformada de Fourier de la solucin es , = Para obtener , , aplicamos la transformada inversa de Fourier de esta funcin: , = 1 () 1 , = 2

1 , = 2
1 , = 2

()

()

Ahora
() = cos

Y mediante una integracin rutinaria da

2 = 2 +

La solucin por la transformada de Fourier es

, = 2 +

Que coincide con la solucin obtenida usando separacin de las variables.

UN PROBLEMA DE POTENCIAL ELECTROSTTICO Consideremos el problema 2 ( , ) = 0 < < , > 0

u(0, y) = 0, u(, y) = 1 para y > 0, u(x, 0) = 0 para 0 < x < . ste es un problema de Dirichlet si h = O, pero supondremos que h es una constante positiva. Este problema modela el potencial electrosttico en la banda que consiste en todos los (x, y) con 0<x< y y > 0, suponiendo una distribucin uniforme de la carga con densidad
4

en toda esta regin. La ecuacin diferencial

parcial 2 ( , ) = se llama la ecuacin de Poisson. La frontera de la banda consiste en las semirrectas x = 0 y x = con y > 0 y el segmento en el eje x con 0 < x < . En la figura 6.4 se muestran la banda y su frontera.

Consideramos las posibilidades para resolver este problema. Como y > O, debemos considerar una transformada de Fourier en senos o en cosenos en y. La dificultad aqu es que al transformar la ecuacin de Poisson, tendramos que tomar la transformada de -h, y una constante no tiene transformada en senos o cosenos. Por ejemplo, si intentamos calcular la transformada de Fourier en senos, debemos evaluar

()
0

y esta integral diverge.

Como x vara de 0 a , podramos intentar una transformada de Fourier finita en senos o cosenos en x. Si intentamos la transformada de Fourier finita en cosenos, entonces la frmula operacional requiere que tengamos informacin acerca de la derivada de la funcin en el origen, y no tenemos dicha informacin. Sin embargo, la frmula operacional de la transformada finita en senos requiere de informacin acerca de la funcin en los extremos del intervalo, y esto est dado en las condiciones en la frontera para y > 0. Intentaremos, por tanto, una solucin usando esta transformada. Denotamos la transformada de Fourier finita en senos en la variable x como = [( , )]() = (, ) Ahora aplicamos la transformada respecto a x a la ecuacin de Poisson: 2 2 + = [] 2 2 Por la frmula operacional, 2 () = 2 (, ) (1) (, ) + (0, ) 2 Debido a que x y y son independientes, 2 = 2
0

2 2 ( , )(, ) = 2 2

2 ( , )( ) = 2 (, )

Finalmente, [] =
0

(, ) = [1 (1) ]

Por lo tanto, la ecuacin de Poisson se transforma en:

2 2 (, ) (1) (, ) + (0, ) + 2 (, ) = [1 (1) ]

Ahora u(, y) = 1 y u(0, y) = 0, de manera que esta ecuacin se puede escribir como: 2 2 (, ) (, ) = (1) [1 (1) ] 2 Para n = 1 , 2 , . . . , esta ecuacin tiene solucin general (, ) = + (1) +1 + + 3 [1 (1) ]

Para que esta funcin permanezca acotada para y > 0, elegimos an = 0 para n = 1,2, Entonces (, ) =

(1) +1 + + 3 [1 (1) ]

Para resolver bn, aplicamos la transformada de la condicin u(x, 0) = 0 y sea y = 0 en la ecuacin anterior para obtener

(1) +1 0 = (, 0) = + + 3 [1 (1) ] Entonces, (1) = 3 [1 (1) ] Tenemos, por lo tanto (1) (1) +1 (, ) = 3 [1 (1) ] + + 3 [1 (1) ] (1) (, ) = 3 [1 (1) ] ( 1) Por la frmula de la inversin, estos son los coeficientes en la serie de Fourier en senos (en x) de la solucin, as la solucin es 2 ( , ) =

=1

(1) 3 [1 (1) ] ( 1)()

EL PROBLEMA DE DIRICHLET PARA UN CUBO Ilustraremos el problema de Dirichlet en el espacio de tres dimensiones. Consideramos: 2 ( , , ) = 0 0 < < , 0 < < , 0 < <

u(x, y,0) = u( , y, C) = 0 u(0,y,z) = u(A, y, z) = 0 u(x,0,z) = 0, u(x, B, z) = f(x, z)

Queremos una funcin que sea armnica en el cubo (el cual puede tener lados de distintas longitudes), y cero en cinco lados, pero con los valores prescritos f ( x , z) en el sexto lado. Sea u(x, y, z) = X(x)Y(y)Z(z) para obtener = = = y entonces, despus de una segunda separacin, = =

Entonces,

+ = 0,

+ = 0,

( + ) = 0

A partir de las condiciones en la frontera, X(0)=X(A)=0 Z(0)=Z(C)=0 Y(0)=0 Los problemas para X y Z son familiares, y obtenemos los valores y funciones propios: 2 2 = 2 , y =
2 2 2

( ) = ,

() =

con n y m variando independientemente sobre los enteros positivos.

La ecuacin diferencial para Y(y) se convierte en 2 2 2 + 2 = 0, 2

(0) = 0

sta tiene soluciones que son mltiplos constantes se senh( ), donde = 2 2 2 + 2 2

Para cada n y m positivo, tenemos ahora una funcin ( , , ) = ( )

que satisface la ecuacin de Laplace y las condiciones cero en la frontera dadas en cinco de las caras del cubo. Para satisfacer la condicin en la sexta cara, generalmente debemos usar una superposicin

( , , ) =
=1 =1

( )

Ahora debemos elegir los coeficientes de manera que

( , , ) = (, ) =
=1 =1

( )

Hemos encontrado previamente esta clase de desarrollos dobles de Fourier en senos, en el tratamiento de vibraciones en una membrana elstica, rectangular y fija a un marco. A partir de esa experiencia, podemos escribir

4 = ( )

( , )

Como es usual, si hay ms de una cara con valores distintos de cero, entonces dividimos el problema de Dirichlet en una suma de problemas, en cada uno de los cuales hay slo una cara con valores distintos de cero.

LA ECUACIN DE CALOR EN ESTADO ESTACIONARIO PARA UNA ESFERA SLIDA. Consideramos una esfera slida de radio R, centrada en el origen. Queremos resolver para la distribucin de temperatura en estado estacionario, dada la temperatura en la superficie en todo tiempo. En el caso de estado estacionario,

= 0 y la ecuacin de calor es la ecuacin de Laplace

2 = 0. Usaremos coordenadas esfricas (, , ), en donde es la distancia desde el origen a (x, y, z), es el ngulo polar entre el eje x positivo y la proyeccin en el plano x y de la recta que va del origen a (x, y, z), y es el ngulo de declinacin desde el eje z positivo a esta recta (figura 6.5). Tambin supondremos la simetra alrededor del eje z, as u es una funcin solamente de y . Entonces = 0, y la ecuacin de Laplace se vuelve 2 2 1 2 () (, ) = 2 + + 2 + =0 2 2
2

La temperatura en la superficie es (, ) = () Para separar las variables en la ecuacin diferencial, sea (, ) = ()() para obtener 2 1 cot () + + 2 + = 0 2

Entonces 2 + cot() = 2 = Despus 2 + 2 = 0 + cot() + = 0 La ecuacin diferencial para puede escribirse 1 [ ()] + = 0 ()

Cambiamos variables haciendo = cos () Entonces, = arccos( ). Sea ( ) = (arccos ()) Como 0 , entonces 1 1. Calculamos )() = () = () ( )[()]
(

= 2 () ( ) = [1 2 ()] ( ) = 1(1 2 ) () Entonces, [ ()()] = [(1 2 ) ()] 2) [( ] = 1 () = [(1 2 ) ( )](())

Entonces, 1 [ ()()] = [(1 2 ) ( )] ()

Y la ecuacin [ ()] + = 0 ( )
1

se transforma en:

[(1 2 ) ( )] + ( ) = 0 sta es la ecuacin diferencial de Legendre . Para las soluciones acotadas, elegimos = ( + 1) para n =0,1,2, ... Estos son los valores propios de este problema. Las funciones propias son mltiplos constantes distintos de cero de los polinomios de Legendre Pn(x). Para n = 0,1,2, .... tenemos ahora la solucin de la ecuacin diferencial para : () = (cos()) = (cos())

Ahora que conocemos los valores admisibles para , la ecuacin diferencial para X se vuelve 2 + 2 ( + 1) = 0 sta es una ecuacin diferencial de Euler de segundo orden, con solucin general () = + 1 Debemos elegir b =0 para tener una solucin acotada en el centro de la esfera, ya que 1 conforme 0+. As () = Para cada entero no negativo n, tenemos ahora una funcin (, ) = (cos()) Que satisface la ecuacin de Laplace. Para satisfacer las condiciones en la frontera, escribimos una superposicin de estas funciones:

(, ) =
=0

(())

Debemos elegir los coeficientes para que satisfagan

( , ) =
=0

( ( )) = ( )

Para poner esto en el contexto de los desarrollos de Fourier-Legendre, sea = arccos(x) para escribir

( ) = (arccos( ))
=0

sta es una serie de Fourier-Legendre para la funcin conocida f(arccos (x)). Los coeficientes son: 2 + 1 = 2 2 + 1 = 2
1 1 1 1

( ( ))

( ( )) ( )

Por lo tanto, la distribucin de temperatura en estado estacionario es

(, ) =
=0

2 + 1 2

( ( )) ( ) 1

(cos())

 Es necesario mantener muy claros los conocimientos de las herramientas matemticas como como resolucin de ecuaciones diferenciales, transformadas de Fourier y Laplace. Los ncleos de Poisson se encuentran a menudo en aplicaciones en la teora de control y problemas en dos dimensiones en la electrosttica. Frecuentemente, en la prctica, la definicin de ncleos de Poisson se extiende a problemas ndimensionales. El problema de Dirichlet ayuda a el estudio de la transferencia de calor en dos y tres dimensiones, simplificando su desarrollo.

 Para encontrar las soluciones que necesitamos, usamos la tcnica de separacin de variables. Este mtodo se basa en la idea de encontrar ciertas soluciones de la ecuacin diferencial plateada, de la forma , = ()(). Este problema ha sido fructfero para la Matemtica, debido que al intentar resolverlo se han desarrollado distintas ramas de anlisis tales como Ecuaciones Diferenciales Parciales, Ecuaciones Integrales, Clculo de Variaciones y Clculo de Probabilidad. El problema fundamental de la conduccin del calor es encontrar u(x,t), que satisfaga la ecuacin Diferencial, la condicin inicial y las condiciones en la frontera, por lo tanto hablamos de un problema de Dirichlet.