Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P.

No 8
Ecuaciones Diferenciales en Derivadas Parciales

T. P. No 8 - EJERCICIOS RESUELTOS
Enunciado

 ,  

 0

B) ECUACION DE LAPLACE (en polares)



11. Distribucin de potencial

 0

|, |  
, 0 , 2


1
  0, 
1,  
0
  0, 

1
1

Resolucin
Resuelto por: Patricio Alejandro Tula (1 cuatrimestre de 2011)
Revisado por: Ariel Burman Eduardo G. Murmis Gustavo M. Murmis
Para resolver la ecuacin de la Laplace vamos a utilizar el mtodo de separacin de
variables, que parte de suponer que podemos expresar la funcin ,  como
producto de una funcin que depende slo de  y otra funcin que depende slo de
. Es decir:
,   

1

Se ve que  y  deben ser distintas de la funcin nula ya que de lo contrario
,  sera la funcin nula y eso no cumplira con las condiciones de contorno del
problema.
El Laplaciano expresado en coordenadas polares es el siguiente:
1
1

 ,  

 
  



2

El problema busca hallar una funcin que cumpla con
  0, entonces:

1
1


 
   0



3

A continuacin evaluaremos en la ecuacin 3 las distintas derivadas parciales de

, , a partir de la ecuacin 1:

 
2012

Pg. 1 de 9

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 8

Ecuaciones Diferenciales en Derivadas Parciales

Ahora reemplazamos en 3:

 
  

1
1
      0



Despejamos diviendo a ambos miembros por ,:

 1  1 



0
     
 1  1 


0
     

Separamos de cada lado de la igualdad las funciones de distinta variable:

 1 
1 


  
  






4




Habiendo quedado en (4) el miembro izquierdo de la igualdad dependiendo slo de

 y el miembro derecho dependiendo slo de , para que se cumpla la igualdad
"  0,1 y "  0,2, entonces ambos miembros deben ser iguales a una misma
constante $.






$ 5



De aqu se desprenden las siguientes ecuaciones diferenciales:

$ 6





$ 7



Operando a partir de la expresin 6:

 $ 
  $  0 8

2012

Pg. 2 de 9

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 8

Ecuaciones Diferenciales en Derivadas Parciales

A partir del enunciado del problema pueden deducirse condiciones del contorno que
nos ayuden a resolver la ecuacin diferencial 8. La primera condicin, impuesta
por el enunciado, es:
, 0 , 2 *
Entonces:

, 0 , 2 +  0  2

 no puede ser la funcin nula, pues en ese caso ,  tambin sera una
funcin nula y no cumplira con la ltima condicin de contorno del enunciado.
Entonces se deduce:
0 2 **

A partir de las caractersticas del recinto, observamos que al evaluar la funcin

,  en  0 y en  2 ( "  0,1 ), en realidad se la est evaluando en
valores que representan a los mismos puntos del recinto. Adicionalmente sabemos
que
  0 para lo cual en dichos puntos, las derivadas parciales de ,  deben
ser continuas. Esto nos permite enunciar la siguiente condicin de contorno:
 , 0  , 2

***

Operando en forma similar a lo hecho en la condicin anterior:

 , 0  , 2 ,  0  2

De la misma manera que antes y como  no puede ser la funcin nula,
tendremos:
0 2 *-

La ecuacin 8 junto con las condiciones de contorno II y IV forman un
problema de Sturm Liouville simplificado. Por lo tanto, los autovalores ($) cumplen
con $0 1 0.
Resolvemos primero el caso $ 0.
La ecuacin diferencial 8 se reduce a:

Integrando dos veces:

 0

2  32   42

A partir de la condicin de contorno II,

2012

9

Pg. 3 de 9

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 8

Ecuaciones Diferenciales en Derivadas Parciales

0 2 6 42 32 2  42 6 32 0

Como   32 0, la condicin IV no impone restricciones sobre 42, entonces:

2  42

10

Concluimos entonces que $ 0 es autovalor y est asociado a la autofuncin

2  1 .
Resolvemos el caso $ 7 0.
La ecuacin diferencial 8 es:

  $  0

La solucin de la ecuacin anterior es la siguiente:

 3 cos$  4 sen>$?

Utilizando la primera condicin de contorno II:

0 2

11

3 3 cos2$  4 sen2$
3@cos>2$? 1A  4 sen>2$? 0

12

Para aplicar la segunda condicin de contorno IV, hallamos previamente :



3$ sin$  4$ cos$

Utilizando IV, resulta lo siguiente:

4$

C0 C2

3$ sen2$  4$ cos2$

Siendo 7 0 podemos cancelar $ en ambos miembros de la ecuacin:

4$ 3$ sen2$  4$ cos2$
4 3 sen2$  4 cos2$
3 sen2$  4@cos>2$? 1A 0 13

2012

Pg. 4 de 9

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 8

Ecuaciones Diferenciales en Derivadas Parciales

Las ecuaciones 12 y 13 forman un sistema de dos ecuaciones homogneo con
incgnitas 3 y 4:
E

3 sen2$  4@cos>2$?

3@cos>2$?

1A 

4 FGH>2$?

1A 0
0

Expresado en forma matricial queda:

I

sen2$

cos>2$?

cos>2$?

1 3
0
JK L K L
0
4
sen2$

Dado que se trata de un sistema homogneo, si hay solucin nica, sta es la

solucin trivial. Para que haya solucin diferente de la trivial tiene que ser nulo el
determinante de la matriz de los coeficientes. Es decir:
det I

sen2$

cos>2$?

cos>2$?

sen2$

1
J 0

Entonces:
0 sen2$  Ocos>2$?
0 11


1P sen2$
 cos>2$?  1
QRRRRRRRRSRRRRRRRRT


2 cos>2$?

2 cos>2$? 6 2 cos>2$? 2 6 cos>2$? 1

$ H , "H  U

Volviendo a la expresin general de la solucin para $ 7 0 11, reemplazamos

$ H y obtenemos:
0  30 cosH  40 senH

"H  U

14

Concluimos que los autovalores son de la forma: $ H ; y que tendrn asociadas

las autofunciones cosH y senH.

Finalmente, debido a la tesis del Teorema de Sturm Liouville, podemos afirmar que
los autovalores son V0, H W " H  U y que la base ortogonal de autofunciones
asociada a dichos autovalores es V1, cos H,  sen HW "H  U X "  0,2.
Ahora buscaremos la solucin de , a partir de la ecuacin diferencial (7):





$ +     


2012

$ 0 15

Pg. 5 de 9

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 8

Ecuaciones Diferenciales en Derivadas Parciales

Primero analizamos el caso $ 0,

Resolveremos la ecuacin diferencial 15:
  2   2  0 + 

Y2

Y

2  +

Y2

2

Y


Integrando en ambos miembros:

Z

Y2

2

Y
+ ln2 


Integrando nuevamente,

\2
ln  ln \2  + ln2  ln ] ^

\2
2 


\2
Y

2  \2 ln  _2 16
Z 2 Y Z

Notamos en la expresin (16) que, si  tendiera a cero, 2  no estara acotada,

contradiciendo esto al enunciado que plantea que:
|, |   , | |  

A partir de la ecuacin (14) sabemos que  es distinta de la funcin nula y es

acotada, entonces nos queda:
||   17

Para que 2  quede acotada en la ecuacin (16) deber cumplirse que \2 0 .
Finalmente tendremos:
2  _2

18

Ahora analizamos el caso $ 7 0

La solucin general de la ecuacin diferencial (15) corresponde a la solucin general
de la ecuacin de Euler, con el parmetro $` menor a cero.
        $a  0
`
`
b 6  \ cde  _ dcde
$a  0

Dado que en nuestro caso es $

$` y $ H, la solucin de la ecuacin (15) es:

0  \ 0  _ d0
2012

Pg. 6 de 9

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 8

Ecuaciones Diferenciales en Derivadas Parciales

A partir de la ecuacin (17), 0  debe ser acotada. Para que esto suceda cuando
 f 0 , deber cumplirse que _ 0.
Quedar entonces como solucin general:

0  \0  0

19

Ya tenemos las dos funciones definidas para   0,2 y   0,1. Resta ahora
unir las soluciones generales de las ecuaciones diferenciales (8) y (15) para
encontrar la solucin general de , , tal que:
,  2 ,   g 0 , 

Siendo:

0h

2 ,  2  2 

0 ,  0  0 

20

21
22

Reemplazando en la ecuacin 21 los resultados obtenidos 10 y 18:

2 ,  42 _2 i2

23

De la misma forma reemplazando en la ecuacin 22 los resultados obtenidos 14

y 19:
0 ,  30 \0  0 cosH  40 \0  0 senH
0 ,  i0  0 cosH  j0  0 senH 24

Reemplazando 23 y 24 en 20 obtenemos:

,  i2  g i0  0 cosH  j0  0 senH

0h

25

Para la obtencin de los coeficientes, utilizamos la restante condicin de contorno

que nos presenta el problema:
1,  k 

1   0,  
0   , 2

i2  g i0 cosH  j0 senH k

0h

2012

26

Pg. 7 de 9

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 8

Ecuaciones Diferenciales en Derivadas Parciales

Esta ecuacin puede interpretarse como el desarrollo en serie de Fourier de la

funcin k. Por lo tanto, para obtener los coeficientes de la serie de Fourier se
plantear para cada uno:
lk, m0 n
\0
om0 o

Siendo \0 el coeficiente buscado y m0  la autofuncin que acompaa al coeficiente.

Entonces el coeficiente i2 lo hallamos haciendo:

i2

i2

q
p2 kY
q
p2 1 Y

lk, 1n
o1o

rssts
q su
1
1

Z 1Y 
Z 0Y
2
2
q

1
 1
 v 
i2
0 2
2

Para i0 se proceder de igual manera:

lk, cosHn
ocosHo

i0

i0

q
p2 k cosH Y
q
p2 cos H Y

i0

senH 
xv
H
0

1
sen2H 2
y2

QR
RRSR
2H RRT
2

Para obtener j0 hacemos:

i0 0

j0

q
rsssstssssu
 pq 0 cosH Y
sen2H 2
1
w 
x
2H
2
0

q
p2 1 cosH Y

sen2H 0
QRRSR
2H RTz
2

sen H sen 0
H

"H  U

lk, senHn
osenHo

2012

Pg. 8 de 9

Anlisis Matemtico III - Gua de Trabajos Prcticos - T.P. No 8

Ecuaciones Diferenciales en Derivadas Parciales

j0
j0

1
y2
2

q
p2 k senH Y
q
p2 sen H Y

q
p2 1 senH Y

1
O
2

p2 senH Y
q

sen2H 2
sen2H 0
0
z
QRRRRRRRRRSRRRRRRRRRT
2H
2H
2

j0

 10
H

Para los valores pares, es decir cuando H 2}:

j~

q
rsssstssssu
pq 0 senH Y


sen2H 2
P
2H
0

cos H 
|v
H
0


1
cos H
H

1

"H  U

 1~
0
2}

Para los valores impares, es decir cuando H 2}  1:

j~

 1~
2

6 j~
2}  1
2}  1

El resultado final del problema es entonces:

1
2
,   g
 ~ sen2}  1
2
2}  1

~h2

2012

Pg. 9 de 9