Problem As Re Sueltos

Mtodos Matemticos para la Fsica II
Departamento de Fsica
USACH
Lautaro Vergara Cofr
Problemas resueltos
EDOs con puntos regulares
1. Exprese la solucin general de cada una de las siguientes EDOs como una serie de potencias
en x :
i)
(x
2
+ 1)y
00
6y = 0 (1)
ii)
y
00
+ x
2
y
0
+ 2xy = 0 (2)
Investique en cada caso la convergencia de la serie que obtiene.
Solucin:
i)Qu podemos esperar? Como (x
2
+1)
1
posee una representacin en serie de potencias
para |x| < 1, podemos esperar una solucin en serie de potencias. El punto x = 0 es un
punto regular, as que hacemos
y(x) =

X
n=0
a
n
x
n
Entonces, reemplazando en la ecuacin (1) obtenemos
X
n=2
a
n
n(n 1)x
n
+

X
n=0
a
n+2
(n + 2)(n + 1)x
n
6

X
n=0
a
n
x
n
= 0.
De aqu obtenemos la relacin de recurrencia
(n + 2)(n 3)a
n
+ (n + 2)(n + 1)a
n+2
= 0,
o bien,
a
n+2
=
(n 3)
(n + 1)
a
n
.
Por lo tanto, para n impar encontramos que los coecientes se anulan comenzando en a
5
.
Por lo tanto, la solucin en este caso es
y
1
(x) = a
1
(x + x
3
).
1
Lautaro Vergara, 2004
En el caso de n par, tenemos que
a
2m
=
(2m5)
(2m1)
a
2m+2
= 3a
0
(1)
m
(2m1)(2m3)
.
As, la segunda solucin l.i. es
y
2
(x) = 3a
0
X
m=0
(1)
m
(2m1)(2m3)
x
2m
= a
0
1 + 3x
2
+ x
4
x
6
5
+
3x
8
35

.
Cul es el radio de convergencia? Por el test de la razn tenemos que
a
n+2
a
n
=
(n 3)
(n + 1)
1,
luego esta serie tiene un radio de convergencia 1.
ii) Es claro que la EDO (2) posee puntos regulares para todo x nito.
Consideremos
y(x) =

X
n=0
a
n
x
n
.
Reemplazando en la ecuacin, obtenemos
X
n=0
a
n
n(n 1)x
n2
+

X
n=0
a
n
nx
n+1
+ 2

X
n=0
a
n
x
n+1
= 0,
que al reetiquetar los ndices queda
X
n=1
a
n+3
(n + 3)(n + 2)x
n+1
+

X
n=1
a
n
nx
n+1
+ 2

X
n=0
a
n
x
n+1
= 0.
De aqu,
si n = 1, entonces a
2
= 0
si n = 0, entonces 6a
3
+ 2a
0
= 0. De aqu, a
3
=
1
3
a
0
Para n > 1 tenemos la relacin de recurrencia
a
n+3
(n + 3)(n + 2) + a
n
(n + 2) = 0,
o bien,
a
n+3
=
a
n
(n + 3)
.
Por lo tanto, como era de esperar, tenemos dos series; una que comienza con a
0
y la otra,
con a
1
.
2
a) De la relacin de recurrencia vemos que la serie que comienza con a
0
slo tiene trminos
con n = 3m. Luego,
a
3m
=
a
3(m1)
3m
=
(1)
m
3
m
m!
a
0
.
b) En el caso que la serie que comienza con a
1
slo tiene trminos con n = 3m + 1,
tenemos
a
3m
=
a
3(m1)+1
3m + 1
=
(1)
m
(
4
3
)
3
m
(m +
4
3
)
a
1
.
As, la solucin general es
y(x) = a
0
X
m=0
(1)
m
3
m
(m + 1)
x
3m
+ a
1
X
m=0
(1)
m
(
4
3
)
3
m
(m +
4
3
)
x
3m+1
.
Notar que la serie con a
0
representa a la funcin exp[x
3
/3]. Es claro que ambas series
convergen para todo x (, ).
2. Resuelva la ecuacin
(1 x
2
)y
00
6xy
0
4y = 0
cerca del punto x = 0.
Solucin:
Es claro que el punto x = 0 es un punto regular de la ecuacin, as que supongamos
y(x) =

X
n=0
a
n
x
n
.
Reemplazando en la ecuacin, obtenemos
X
n=0
a
n
n(n 1)(1 x
2
)x
n2
6

X
n=0
a
n
nx 4

X
n=0
a
n
x
n
= 0,
es decir,

X
n=0
a
n
(n + 1)(n + 4)x
n
+

X
n=0
a
n+2
(n + 2)(n + 1)x
n
= 0.
Por la tanto, la ecuacin de recuerrencia es
a
n+3
=
(n + 4)
(n + 2)
a
n
.
Por simple inspeccin de esta relacin, para valores pequeos de n obtenemos que la
relacin de recurrencia se divide para valores pares e impares de n. Esto es, si a
0
6= 0
a
2n
= (n + 1)a
0
,
y
a
2n+1
=
(2n + 3)
3
a
1
,
3
donde en ambos casos n = 1, 2, 3, .
Luego, la solucin general es
y(x) = a
0
(1 + 2x
2
+ 3x
4
+ 4x
6
+ 5x
8
+ )
+a
1
x(3 + 5x
2
+ 7x
4
+ 9x
6
+ 11x
8
+ )
Como en ambas series
a
n+2
a
n
1,
entonces ambas covergen para |x| < 1.
14. Encuentre las soluciones en serie de las siguiente EDO:
y
00
xy
0
y = 0, (3)
Determine el dominio de convergencia y muestre que las soluciones individuales son lin-
ealmente independientes (excepto cuando se use alguna frmula especial para general la
segunda solucin).
Solucin:
Esta ecuacin no posee puntos singulares para x nito. Usando
y(x) =

X
n=0
a
n
x
n
encontramos que
X
n=2
a
n
n(n 1)x
n2

X
n=1
a
n
nx
n

X
n=0
a
n
x
n
= 0.
Arreglando los ndice y colectando los trminos obtenemos que
{a
2
2 1 a
0
} x
0
+

X
n=1
{a
n+2
[n + 2(n + 1)] a
n
(n + 1)} x
n
= 0,
luego, la relacin de recurrencia es
a
n+2
a
n
=
1
n + 2
.
Claramente el dominio de convergencia es x (, ). Igual que siempre, trabajando con
los primeros trminos de la relacin de recurrencia, encontramos la frmula general
a
2n
a
0
=
1
2
n
n!
y
a
2n+1
a
1
=
1
(2n + 1)(2n 1) 1
=
2n(2n 2)(2n 4) 2
(2n + 1)!
=
2
n
n!
(2n + 1)!
.
4
Por lo tanto, la solucin ms general es
y(x) = a
0
X
n=0
1
2
n
n!
x
2n
+ a
1
X
n=0
2
n
n!
(2n + 1)!
x
2n+1
. (4)
Es fcil ver que el Wronskiano es
W(y
1
, y
2
) = 1
en x = 0. De aqu, debido a que los coecientes de la ODE son continuos, las soluciones son
siempre linealmente independientes y (4) es la solucin general.
16. Encuentre la solucin general para la siguiente ODE. Encuentre el dominio de con-
vergencia de las series y muestre que las dos partes de la solucin general son linealmente
independientes en este dominio.
y
00
xy
0
2y = 0.
Solucin:
a) Esta ODE no es singular as que suponemos como solucin
y(x) =

X
n=0
a
n
x
n
.
Entonces, reemplazando en la ecuacin diferencial obtenemos
X
n=2
a
n
n(n 1)x
n2

X
n=1
a
n
nx
n
2

X
n=0
a
n
x
n
= 0.
Arreglando los ndices de suma obtenemos que
X
n=0
a
n+2
(n + 2)(n + 1)x
n

X
n=0
a
n
nx
n
2

X
n=0
a
n
x
n
=

X
n=0
[a
n+2
(n + 2)(n + 1) a
n
(n + 2)] x
n
= 0.
Luego, la relacin de recurrencia es
a
n+2
a
n
=
1
n + 1
lo que claramente indica que el dominio de convergencia es x (, ). Consideramos los
primeros coecientes en la relacin de recurrencia; obtenemos
a
2
a
0
= 1;
a
4
a
0
=
1
3
;
a
6
a
0
=
1
3 5
a
3
a
1
=
1
2
;
a
5
a
1
=
1
2 4
;
a
7
a
1
=
1
2 4 6
5
etc. Luego, en general,
a
2k
a
0
=
1
(2k 1)(2k 3) 1
a
2k+1
a
1
=
1
2k(2k 2) 2
.
Por lo tanto, la solucin general es
y(x) = a
0
"
1 +

X
k=1
x
2k
(2k 1)(2k 3) 1
#
+ a
1
x
"
1 +

X
k=1
x
2k
2k(2k 2) 2
#
siempre y cuando ambas series son linealmente independientes. Para comprobar esto basta
calcular el Wronskiano
W(y
1
, y
2
) = y
1
y
0
2
y
0
1
y
2
=

1 + x
2
+
x
4
3
+
1 +
3x
2
2
+
5x
4
6
+
x +
x
3
2
+
x
5
6
+
2x +
4x
3
3
+
Notar que W(y

1
, y
2
) = 1 para x = 0. Como x = 0 est dentro del dominio de convergencia y
dado que P(x) y Q(x) son funciones continuas en este dominio, sabemos que W(y
1
, y
2
) 6= 0
en todo este dominio. Por lo tanto, las soluciones encontradas siempre son linealmente
independientes.
EDOs con puntos singulares regulares
xxxx. Resuelva la ecuacin
2x(x + 1)y
00
+ 3(x + 1)y
0
y = 0
en una serie de potencias en x, estableciendo la regin de validez de las soluciones obtenidas.
Solucin:
Como x = 0 es un punto singular regular, ponemos
y(x) =

X
n=0
a
n
x
n+
.
Luego la ecuacin resulta ser
X
n=0
a
n
2n(n + )(n + 1)(1 + x)x
n+1
+ 3

X
n=0
a
n
(n + )(1 + x)x
n+1

X
n=0
a
n
x
n+
= 0
De aqu,
X
n=0
a
n
[2(n + )(n + 1) + 3(n + ) 1] x
n+
+

X
n=0
a
n
[2(n + )(n + 1) + 3(n + )] x
n+1
= 0.
6
Esta ecuacin puede escribirse a se vez como
X
n=0
a
n
[2(n + )(n + 1) + 3(n + ) 1] x
n+
+

X
n=1
a
n+1
[2(n + )(n + + 1) + 3(n + + 1)] x
n+
= 0.
Por lo tanto, la ecuacin indicial resulta ser
( +
1
2
) = 0,
con soluciones = 0 y =
1
2
.
Para = 0, tenemos la relacin de recurrencia
a
n+1
=
2n 1
2n + 3
a
n
y de aqu se deduce que
a
n+2
a
n
1, cuando n ;
el radio de convergencia es 1.
Para =
1
2
, tenemos la relacin de recurrencia
a
n+1
=
n 1
n + 1
a
n
y termina en n = 1.
Por lo tanto, la solucin nal es
y(x) = A(1 +
1
3!!
x
1!!
5!!
x
2
+
3!!
7!!
x
3
) +
B
x
(1 + x)
con A y B constantes arbitrarias.
xy
00
+ (x + 1)y
0
+ 2y = 0
en una serie de potencias en x.
Solucin:
Como x = 0 es un punto singular regular, ponemos
y(x) =

X
n=0
a
n
x
n+
.
Luego la ecuacin resulta ser
X
n=0
a
n
(n + )(n + 1)x
n+1
+

X
n=0
a
n
(n + )(1 + x)x
n+1
+ 2

X
n=0
a
n
x
n+
= 0,
7
es decir,
X
n=0
a
n
(n + )
2
x
n+1
+

X
n=0
a
n
(n + + 2)x
n+
= 0.
Luego, la ecuacin indicial es
2
= 0,
es decir, posee dos raices iguales.
Luego, para = 0, la relacin de recurrencia es
a
n+1
=
n + 2
(n + 1)
2
a
n
.
As, una de las soluciones es
y
1
(x) = a
0
1 2x +
3
2!
x
2
4
3!
x
3
+
5
4!
x
4
+
Encontrar la segunda solucin es ms difcil. Sabemos por el teorema que la segunda

solucin debe ser de la forma
y
2
(x) = y
1
(x) log(x) + serie
Veamos cmo podemos obtener esta solucin.
Denamos
y
1
(, x) = x
1
+ 2
( + 1)
2
x +
+ 3
( + 1)
2
( + 2)
x
2

(5)
que claramente satisface la relacin de recurrencia, pero no ha sido especicado an. Esto
implica que
y
1
(, x)
|
=0
tambien satisface la equacin diferencial.
Derivemos (5) con respecto a :
y
1
(, x)
= y
1
(, x) log(x)
+x
[
+ 2
( + 1)
2
1
+ 2

2
+ 1
x
+
+ 3
( + 1)
2
( + 2)
1
+ 3

2
+ 1

1
+ 2
x
2
]
Si ahora evaluamos en = 0, obtenemos la segunda solucin:
y
2
(, x) = y
1
(, x) log(x) 2
1
2
2
x +
3
2
1
3
2
1
2
x
2
+ ,
que es de la forma esperada.
8
8. Muestre que la ecuacin de Laguerre
xy
00
+ (1 x)y
0
+ y = 0
tiene una solucin de la forma
y(x) = 1 x +
( 1)
(2!)
2
x
2
( 1)( 2)
(3!)
2
x
3
+
an cuando los coecientes P(x) y Q(x) no satisfacen las condiciones para una simple serie de
potencias. Si es un entero no negativo, m, las soluciones normalizadas tales que y(0) = m!,
son los POLINOMIOS DE LAGUERRE, L
m
(x). Verique que los primeros cuatro polinomios
son 1, 1 x, 2 4x + x
2
, 6 18x + 9x
2
x
3
.
Solucin:
Tenemos que
xy
00
+ (1 x)y
0
+ y = 0.
Claramente el punto x = 0 es un punto singular regular, as que hacemos
y(x) =

X
n=0
a
n
x
n+
.
Luego, la ecuacin es
X
n=0
a
n
(n+)(n+ 1)x
n+1
+

X
n=0
a
n
(n+)x
n+1

X
n=0
a
n
(n+)x
n+
+

X
n=0
a
n
x
n+
= 0,
es decir,
X
n=0
a
n
(n + )
2
x
n+1

X
n=1
a
n1
(n + 1 )x
n+
= 0.
Luego, al hacer n = 0 obtenemos la ecuacin indicial:
2
= 0,
i.e., = 0.
Considerando n > 1 tenemos
a
n
n
2
a
n1
(n 1 ) = 0,
esto es, la relacin de recurrencia
a
n+1
=
n
(n + 1)
2
a
n
.
Jugando un poco con esta relacin, obtenemos nalmente que una solucin es
y(x) = a
0
1 x +
( 1)
(2!)
2
x
2
( 1)( 2)
(3!)
2
x
3
+
.
9
Obviamente, si es un entero m, la serie se trunca y obtenemos un polinomio.
Normalizamos de modo tal que y(0) = m!; esto conduce a que a
0
= m! y tenemos
L
0
(x) = a
0
= 1
L
1
(x) = a
0
(1 x) = 1 x
L
2
(x) = a
0
(1 2x +
x
2
2
) = 2 4x + x
2
L
3
(x) = a
0
(1 3x +
3
2
x
2
x
3
6
) = 6 18x + 9x
2
x
3
,
etc.
13. Encuentre dos soluciones linealmente independientes para cada una de las siguientes
ODEs, estableciendo para que valores de x es vlida su solucin:
i)
2xy
00
+ 3y
0
1
1 x
y = 0
ii)
x
2
y
00
+ xy
0
+ (x
2
1
9
)y = 0
En ambos casos, encuentre las serie de potencias alrededor del origen.
Solucin:
i) Como la a EDO se puede escribir
2x(x 1)y
00
+ 3(x 1)y
0
y = 0,
es claro que x = 0 y x = 1 son puntos singulares regulares.
Miremos primero qu sucede en el caso x = 0: consideremos
y(x) =

X
n=0
a
n
x
n+
.
Substituyendo en la ecuacin obtenemos que
2x(x 1)

X
n=0
a
n
(n + )(n + 2)x
n+2
+ 3(x 1)

X
n=0
a
n
(n + )x
n+1

X
n=0
a
n
x
n+
= 0.
De este modo, la ecuacin indicial es
2( 1) + 3 = 0
y tiene entonces soluciones = 0 y =
1
2
.
La relacin de recurrencia es
a
n+1
=
(n + )(2n + 2 + 1) 1
(n + + 1)(2n + 2 + 3)
a
n
10
as que para = 0 obtenemos
a
n+1
=
n(2n + 1) 1
(n + 1)(2n + 3)
a
n
=
2n 1
2n + 3
a
n
,
mientras que para =
1
2
obtenemos
a
n+1
=
n 1
n + 1
a
n
.
Luego, en el caso = 0 tenemos una serie innita con
a
n+1
=
2n 1
2n + 3
2n 3
2n + 1
2n 5
2n 1

1
5
1
3
a
0
=
1
(2n + 1)(2n + 3)
a
0
,
Por lo tanto, la solucin es
y(x) = a
0
"
1

X
n=0
1
(2n + 1)(2n + 3)
x
n+1
#
.
Es claro que el radio de convergencia es 1.
Para =
1
2
la serie termina porque todo coeciente a
n
= 0, con n > 2; a
1
= a
0
. Por
lo tanto, la solucin en este caso es
y(x) = A
,
que es valida para todo x > 0.
El punto x = 1 es un tambin un punto singular regular. Para encontra la solucin, una
posibilidad es poner x = t + 1 y luego escribir
y(t) =

X
n=0
a
n
t
n+
,
que tiene ecuacin indicial
( 1) = 0,
y continuar con el procedimiento ya aprendido.
Otra posibilidad es reconocer que una de las soluciones es
y(t) =
1
t + 1

t + 1
y luego encontrar la siguiente solucin suponiendo que
y(t) =

1
t + 1

t + 1
f(t).
11
Esto implica que se debe resolver la ecuacin de primer orden para f(t).
ii) El punto x = 0 es un punto singular regular para esta ecuacin, entonces ponemos
y(x) =

X
n=0
a
n
x
n+
y substituimos en la ecuacin. Del procedimiento conocido resulta que la ecuacin indicial
es
( 1) +
1
9
= 0
que tiene soluciones =
1
3
. Luego, procedemos de la manera usual o notamos que la
ecuacin es la ecuacin de Bessel con p =
1
3
, de modo que su solucin es
y(x) = AJ1
3
(x) + BJ
1
3
(x).
Esto es,
y(x) = y(x) = A

X
m=0
(1)
m
(m + 1)(m +
3
4
)
x
2
2m+
1
3
+ B

X
m=0
(1)
m
(m + 1)(m
2
3
)
x
2
2m
1
3
.
La primera serie, J1
3
(x), es convergente para todo x (, ).
14. Encuentre las soluciones en serie de las siguiente EDO:
xy
00
+ y
0
y = 0. (6)
Determine el dominio de convergencia y muestre que las soluciones individuales son lin-
ealmente independientes (excepto cuando se use alguna frmula especial para general la
segunda solucin).
Solucin:
Esta ecuacin posee un punto singular regular en x = 0. Usamos
y(x) =

X
n=0
a
n
x
n+
y obtenemos
X
n=0
a
n
(n + )(n + 1)x
n+1
+

X
n=0
a
n
(n + )x
n+1

X
n=0
a
n
x
n+
= 0.
Haciendo los arreglos usuales y factorizando x
obtenemos
a
0
{( 1) + } x
1
+

X
n=0
{[a
n+1
(n + + 1)(n + ) + (n + + 1)] a
n
} x
n
= 0.
Luego la ecuacin indicial posee raices repetidas an = 0 y la relaciin de recurrencia es
a
n+1
a
n
=
1
(n + + 1)
2
. (7)
12
Una serie basada en esta relacin converger para todo x. Poniendo = 0 en (7) y
haciendo uso de un poco de lgebra da fcilmente la solucin
y
1
(x) =

X
n=0
1
(n!)
2
x
n
.
La segunda solucin proviene de la frmula para raices repetidas
y
2
(x) =
d
d
[y(x)]
=0
.
De aqu obtenemos
dy(x)
d
=
d
d
(

X
n=0
x
n+
[(n + + 1)!]
2
)
=

X
n=0
F

f
0
n
f
n
+
f
0
n1
f
n1
+
f
0
0
f
0
donde
F = f
n
f
n1
f
0
= (n + )
2
(n + 1)
2
(1)
2
x
n+
.
Por lo tanto,
dy(x)
d
=

X
n=0
x
n+
[(n + + 1)!]
2

2
n +

2
n + 1

2
1
+ ln(x)
.
Evaluendo en = 0 encontramos que
y
2
(x) = 2

X
n=0
x
n
[(n + 1)!]
2

1
n
+
1
n 1
+ +
1
2

ln(x)
2
.
Dado que y
2
fue generada a partir de y
1
por medio de la frmula para raices dobles,
se garantiza que ambas soluciones son linealmente independientes. Por lo tanto la solucin
general es
y(x) = Ay
1
(x) + By
2
(x).
16. Encuentre la solucin general para la siguiente ODE. Encuentre el dominio de con-
vergencia de las series y muestre que las dos partes de la solucin general son linealmente
independientes en este dominio.
x
2
y
00
+ 5xy
0
+ (4 + x)y = 0.
Solucin:
Dividiendo la ecuacin por x
2
obtenemos
y
00
+
5
x
y
0
+ (
4
x
2
+
1
x
)y = 0.
13
Esto signica que P(x) y Q(x) contiene puntos singulares regulares, luego usamos
y(x) =

X
n=0
a
n
x
n+
como una posible solucin. Substitucin, rearreglo y divisin por x
da
a
0
{( 1) + 5 + 4} x
2
+

X
n=0
{[a
n+1
(n + + 1)(n + ) + 5(n + + 1) + 4] + a
n
} x
n1
= 0.
Luego, la relacin de recurrencia es
a
n+1
a
n
=
1
(n + )
2
+ 6(n + ) + 9
. (8)
La ecuacin indicial es
a
0
{( 1) + 5 + 4} = 0,
que implica (a
0
6= 0)
( + 2)
2
= 0;
esto es,
= 2
es una raiz repetida.
Entonces, para = 2 la relacin de recurrencia es
a
n+1
a
n
=
1
(n + 1)
2
,
lo que indica que el dominio de convergencia es x (, ). Observando el compor-
tamiento de los primeros coecientes y usando la induccin se obtiene que
a
n
a
0
=
(1)
n
n
2
(n 1)
2
(n 2)
2
1
.
Luego la primera parte de la solucin es
y
1
(x) = a
0
X
n=0
(1)
n
n
2
(n 1)
2
(n 2)
2
1
x
n2
.
Debido a que la ecuacin indicial posee raices repetidas, la segunda parte de la solucin est
dada por
y
2
(x) =
d
d
[y
1
(x)]
=2
.
De la relacin de recurrecia Ec. (17), teniendo el cuidado de no poner = 2 obtenemos
a
n
a
0
=
(1)
n
[(n + 1)
2
+ 6(n + 1) + 9] [(n + 2)
2
+ 6(n + 2) + 9] [n
2
+ 6n + 9]
.
Luego, la parte de la solucin que depende de es
14
F() =
x
n+
[(n + 1)
2
+ 6(n + 1) + 9] [(n + 2)
2
+ 6(n + 2) + 9] [n
2
+ 6n + 9]
f
0
f
1
f
2

Denamos f
0
= x
n+
sean f
1,
f
2
, cada uno de los trminos en el denominador. En-
tonces,
dF()
d
= F

f
0
0
f
0
+
f
0
1
f
1
+
= F{ ln(x) 2(
n + 1 + 3
(n + 1)
2
+ 6(n + 1) + 9
+
n + 2 + 3
(n + 2)
2
+ 6(n + 2) + 9
+
+
n + 3
n
2
+ 6n + 9
)}.
Ahora ponemos = 2 y obtenemos
dF()
d
|
=2
= 2F{ ln(x) 2(
n
(n 3)
2
+ 6(n 3) + 9
+
n 1
(n 4)
2
+ 6(n 4) + 9
+ + 1)}
=
x
n2
n
2
(n 1)
2
(n 2)
2
1
ln(x) 2(
1
n
+
1
n 1
+
1
n 2
+ + 1
.
Por lo tanto, la segunda parte de la solucin es
y
2
(x) = a
0
X
n=0
(1)
n
x
n2
n
2
(n 1)
2
(n 2)
2
1
ln(x) 2(
1
n
+
1
n 1
+
1
n 2
+ + 1
.
Debido al procedimiento usado, ambas soluciones son linealmente independientes y la
solucin general es
y(x) = Ay
1
(x) + By
2
(x).
17. Un anlisis mecnico cuntico del efecto Stark (en coordenadas parablicas) con-
duce a la ecuacin diferencial
d
dx
x
dy
dx
1
2
Ex +
m
2
4x

1
4
Fx
2
y = 0.
Aqu, es la cosntante de separacin, E es la energa total y F es una constante, donde
F z es la energa potencial agregada al sistema por el hecho de estar en un campo elctrico.
Encuentre la ecuacin indicial. Usando la raiz mayor de esta ecuacin, desarrolle una
serie de potencias alrededor de x = 0. Evalue los primeros tres coecientes en trminos de
a
0
. Muestre que la perturbacin E no aparece sino hasta que se incluye el trmino a
3
.
Solucin:
Comenzamos como siempre suponiendo que la solucin en serie de potencias es
y(x) =

X
n=0
a
n
x
n+
.
15
Realizando las derivadas correspondientes y luego reemplazando en le EDO encontramos que
X
n=0
a
n
(n+)
2
x
n+1
+
E
2
X
n=0
a
n
x
n++1
+

X
n=0
a
n
x
n+
m
2
4
X
n=0
a
n
x
n+1
F
4
X
n=0
a
n
x
n++2
= 0.
(9)
Para encontra la ecuacin indicial, examinamos el coeciente de la potencia menor de x
en esta ecuacin. Esto ocurre para n = 0 en el primer y tercer trminos; encontramos
a
0
2
a
0
m
2
4
= 0.
Como por denicin a
0
6= 0, debemos tener
m
2
4
= 0,
que es la ecuacin indicial.
Dado que los coecientes de cada una de las potencias en la Ec. (9) deben anularse
individualmente (a partir de un examen de la unicidad de la serie de potencias), podemos
escribir en general, despus de un reetiquetamiento de los ndice de suma.
a
n+1
(n + + 1)
2
+
E
2
a
n1
+ a
n
m
2
4
a
n+1
F
4
a
n2
= 0. (10)
Si ahora hacemos el cambio n n + 2 obtenemos la relacin de recurrencia para nuestra
solucin en series:
a
n+1
=
F
4
a
n
E
2
a
n+1
a
n+2
(n + + 3)
2
m
2
4
.
Esta es una relacin de recurrencia que involucra cuatro trminos y permite determinar los
coecientes en la solucin en serie a partir de a
3
.
Sin embargo, dado que en el problema se solicitan los primeros tres trminos, la relacin
de recurrencia tal como est no es til. Para ello utilicemos mejor la Ec. (10) la cual nos
permite determinar a
1
y a
2
en trminos de a
0
.
Sabemos que nuestra serie de potencias no tiene coecientes para n < 0, luego si ponemos
n = 0 en esta ecuacin obtenemos, subtituyendo por
m
2
(la raiz mayor de la ecuacin
indicial):
a
1
(
m
2
+ 1)
2
+
E
2
a
1
+ a
0
m
2
4
a
1
F
4
a
2
= 0,
donde el segundo y ltimo trminos se anulan. Entonces
a
1
=

m + 1
a
0
.
Del mismo modo, poniendo n = 1 obtenemos
a
2
=

2
2(m + 1)(m + 2)

E
4(m + 2)
a
0
.
Por lo tanto, la solucin en series para los primeros tres trminos luce como
y(x) = a
0
x
m
2
1

m + 1
x +

2
2(m + 1)(m + 2)

E
4(m + 2)
x
2
+
16
Polinomios de Legendre
9. Pruebe que
Z
1
1
dxP
n
(x)x
l
= 0, si l < n,
donde P
n
(x) es el ensimo polinomio de Legendre y l es un entero.
Solucin:
Para solucionar este problema se debe tener en cuenta que los polinomios de Legendre,
P
k
(x), forman un CONJUNTO COMPLETO de polinomios. Esto signica que podemos
expandir cualquier funcin en trminos de ellos. En particular, x
l
puede ser expandido como
x
l
=
l
X
k=0
a
k
P
k
(x).
Pero los polinomios de Legendre tambin son ortogonales entre s y en particular,
Z
1
1
dxP
n
(x)P
k
(x) = 0
cuando n 6= k. De este modo, es obvio que
Z
1
1
dxP
n
(x)x
l
= 0.
10. Demuestre que
a) xP
0
n
P
0
n1
= nP
n
b) P
0
n+1
xP
0
n
= (n + 1)P
n
c) P
0
n+1
P
0
n1
= (2n + 1)P
n
d) nxP
n
nP
n1
= (x
2
1)P
0
n
e) n(n 1)P
n
2P
0
n1
= (x
2
1)P
00
n
,
donde P
n
es el polinomio de Legendre de grado n.
Solucin:
Sabemos que estas relaciones se pueden demostrar fcilmente usando la funcin generatriz
de los polinomios de Legendre:
F(x, t) =
1
1 2xt + t
2
=

X
n=0
P
n
(x)t
n
; |t| < 1, |x| 6 1.
De aqu, obtenemos que F(x, t) satsiface la PDE
(1 2xt + t
2
)
F
t
= (x t)F.
Reemplazando la expansin de F, obtenemos
(1 2xt + t
2
)

X
n=0
nP
n
(x)t
n1
= (x t)

X
n=0
P
n
(x)t
n
,
17
esto es,
X
n=0
(n+1)P
n+1
(x)t
n1
+2x

X
n=1
nP
n
(x)t
n
+

X
n=2
(n1)P
n1
(x)t
n
= x

X
n=0
P
n
(x)t
n

X
n=1
P
n1
(x)t
n
.
Por lo tanto, para n > 1 obtenemos
(n + 1)P
n+1
(x) (2n + 1)xP
n
(x) + nP
n1
(x) = 0. (11)
Del mismo modo, la funcin generatriz tambin satisface
(1 2xt + t
2
)
F
x
= tF
y luego
(1 2xt + t
2
)

X
n=0
P
0
n
(x)t
n
= t

X
n=0
P
n
(x)t
n
.
Por lo tanto, para n > 1 obtenemos
P
0
n+1
(x) 2xP
0
n
(x) + P
0
n1
(x) = P
n
(x). (12)
a) Es fcil ver que
d
dx
(Ec.(11)) (n + 1)(12)
da
[(n + 1) (n + 1)] P
0
n+1
[(2n + 1) 2(n + 1)] xP
0
n
= [n (n + 1)] P
0
n1
+(2n + 1)P
n
(n + 1)P
n
.
As, encontramos que
xP
0
n
(x) nP
n
(x) P
0
n1
(x) = 0. (13)
b) Es fcil ver que
d
dx
(Ec.(11)) n(12)
da
[n + 1 n] P
0
n+1
[2n + 1 2n] xP
0
n
(n n)P
0
n1
(2n + 1)P
n
+ nP
n
= 0.
Luego, encontramos que
P
0
n+1
(x) xP
0
n
(x) (n + 1)P
n
(x) = 0. (14)
c) Sumando las Ecs. (13) y (14) obtenemos
P
0
n+1
(x) P
0
n1
(x) = (2n + 1)P
n
(x).
d) Consideremos la Ec. (13) para el caso con subndice n + 1 y restmosla a xEc.(14).
Entonces, es fcil ver que
(x
2
1)P
0
n
= nxP
n
nP
n1
.
18
e) Finalmente, usemos la ecuacin de Legendre
(x
2
1)P
00
n
+ 2xP
0
n
n(n + 1)P
n
= 0
y la ecuacin (13). De aqu obtenemos
(x
2
1)P
00
n
= n(n 1)P
n
2P
0
n1
.
11. a) Pruebe que
Z
1
1
dxP
n
(x)x
n
=
2
n+1
(n!)
2
(2n + 1)!
(15)
y
b) calcule a mano la integral
Z
1
1
dx
P
n
(x)
1 x
Solucin:
Recordemos que la frmula de Rodrigues para los polinomios de Legendre es
P
n
(x) =
1
2
n
n!
d
n
dx
n
(x
2
1)
n
.
Reemplacemos sta en la integral Ec. (15) y denamos
I
n

Z
1
1
dxx
n
d
n
dx
n
(x
2
1)
n
.
Integremos por partes:
I
n
=

x
n
d
n1
dx
n2
(x
2
1)
n
1
1
Z
1
1
dxnx
n1
d
n1
dx
n1
(x
2
1)
n
= = (1)
n
n!
Z
1
1
dx(x
2
1)
n
.
Luego,
I
n

Z
1
1
dxP
n
(x)x
n
=
(1)
n
2
n
Z
1
1
dx(x
2
1)
n
=
(1)
n
2
n
x(x
2
1)
1
1
Z
1
1
dxx2n(x
2
1)
n1
=
(1)
n
2
n
(2n)
Z
1
1
dx
(x
2
1)
n
+ (x
2
1)
n1
.
Es decir,
I
n
= 2nI
n
+ nI
n1
19
o bien
I
n
=
nI
n1
2n + 1
= 2
k
(n!)
2
(2n 2k)!
((n k)!)
2
(2n + 1)!
I
nk
= 2
n
(n!)
2
(2n + 1)!
I
0
.
Pero,
I
0
=
Z
1
1
dx = 2,
luego
I
n
= 2
n+1
(n!)
2
(2n + 1)!
.
b) Ahora usemos la funcin generatriz de los P
n
:
F(x, t) =
1
1 2xt + t
2
=

X
n=0
P
n
(x)t
n
; |t| < 1, |x| 6 1.
Hagamos t = 1 , con || 1, luego
1
r
2(1 )
h
1 x +

2
2(1)
i
=

X
n=0
P
n
(x)(1 )
n
. (16)
Luego, multiplicando por P
m
(x) integrando esta ecuiacin entre -1 y 1 encontramos que
Z
1
1
dx
P
m
(x)
r
2(1 )
h
1 x +

2
2(1)
i
=
Z
1
1
dxP
m
(x)

X
n=0
P
n
(x)(1 )
n
.
Pero, por la relacin de ortogonalidad para los polinomios de Legendre
Z
1
1
dxP
m
(x)P
n
(x) =
2
2n + 1
mn
encontramos que
Z
1
1
dx
P
m
(x)
r
2(1 )
h
1 x +

2
2(1)
i
=
2
2n + 1
(1 )
n
.
As, en el lmite 0 encontramos que
Z
1
1
dx
P
n
(x)
1 x
=
2
2
2n + 1
.
20
Obs: La eleccin t = 1 puede parecer extraa, pero es para defenderse de posibles
singularidades. En la prctica, si uno desea, uno puede poner t = 1 en la Ec. (16) y
se obtendr la respuesta correcta, porque si bien
1
1x
diverge cuando x 1, la integral
R
1
1
dx
1
1x
es convergente.
12. Evalue P
n
(0) y P
0
n
(0)
Solucin:
Usamos la frmula de Rodrigues
P
n
(x) =
1
2
n
n!
d
n
dx
n
(x
2
1)
n
.
De aqu es claro que
P
n
(x) = (1)
n
P
n
(x).
Si n es impar, P
n
es una funcin impar, luego P
2l+1
(0) = 0, para l = 0, 1, 2, . . . Tambin,
P
n
(x) =
1
2
n
n!
d
n
dx
n
k
X
n=0
(1)
k
n!
k!(n k)!
x
2n2k
.
Cuando n = 2l, esto es, un entero par, P
n
(0) es el trmino independiente de x, que se
obtiene diferenciando x
n
(i.e. 2n 2k = n, i.e. k = l). De aqu,
P
2l
(0) =
1
2
2l
(2l)!
(2l)!
(l!)
2
(1)
l
(2l)!
= (1)
l
(2l)!
2
2l
(l!)
2
.
Por supuesto, esto tambin se puede obtener de la forma explcita que tenemos para los
P
n
(x).
El otro caso se piuede obtener usando la relacin de recurrencia
P
0
n+1
xP
0
n
= (n + 1)P
n
.
De aqu,
P
0
n+1
(0) = (n + 1)P
n
(0).
Luego,
P
0
2l+1
(0) = (1)
l
(2l + 1)!
2
2l
(l!)
2
, l = 0, 1, 2, . . .
y P
0
2l
(0) = 0.
21
Funciones de Bessel
15. Pruebe las siguientes identidades por diferenciacin trmino a trmino de la expresin
en series para las funciones de Bessel.
a)
d
dx
[x
(x)] = x
J
1
(x). (17)
b)
d
dx
(x)
= x
J
+1
(x). (18)
c) Usando (17) y (18), demuestre que
dJ
(x)
dx
=
J
1
(x) J
+1
(x)
2
.
Solucin:
a)
d
dx
[x
(x)] =
d
dx
"
x

X
n=0
(1)
n
n!(n + + 1)
x
2
2n+
#
= 2

X
n=0
(1)
n
n!(n + + 1)
d
dx
x
2
2n+2
= 2

X
n=0
(1)
n
n!(n + + 1)
1
2
2(n + )
x
2
2n+21
Pero
(n + + 1) = (n + )(n + 1 + ( 1))
luego
d
dx
[x
(x)] = 2

X
n=0
(1)
n
n!(n + 1 + ( 1))
x
2
2n+(1)
x
2
= x

X
n=0
(1)
n
n!(n + 1 + ( 1))
x
2
2n+(1)
= x
J
1
(x).
b) En este caso tenemos
d
dx
(x)
=
d
dx
"
x

X
n=0
(1)
n
n!(n + + 1)
x
2
2n+
#
= 2
d
dx
"

X
n=0
(1)
n
n!(n + + 1)
x
2
2n
#
.
22
Notemos que el primero trmino en la serie (n = 0) es una constante, luego podemos
despreciarlo al momento de tomar la derivada. As,
d
dx
(x)
= 2

X
n=1
(1)
n
n!(n + + 1)
1
2
2n
x
2
2n1
.
Reetiquetemos el ndice de suma deniendo n = m + 1 de modo que la suma comience
en cero:
d
dx
(x)
= 2

X
m=0
(1)
m+1
(m + 1)!(m + + 2)
(m + 1)
x
2
2m+1
= x

X
m=0
(1)
m
(m + 1)m!(m + 1 + ( + 1))
(m + 1)
x
2
2m++1
= x
J
+1
(x).
c) Usando estos resultados obtenemos que
1
2
[J
1
(x) J
+1
(x)] =
1
2
d
dx
[x
(x)] + x
d
dx
(x)
=
1
2

x
1
J
(x) + x
J
0
(x)
+ x

x
1
J
(x) + x
J
0
(x)
=
1
2
n
x
J
(x) + J
0
(x)

x
J
(x) + J
0
(x)
o
= J
0
(x).
67123. Demuestre que
N
n
(x) = (1)
n
N
n
(x)
Solucin:
Sabemos que
N
v
(x) =
cos()J
v
(x) J
v
(x)
sin()
.
Por otra parte,
sin()J
v
(x) + cos()N
v
(x) = sin()J
v
(x) +
cos
2
()J
v
(x) cos()J
v
(x)
sin()
=
sin
2
()J
v
(x) + cos
2
()J
v
(x) cos()J
v
(x)
sin()
=
J
v
(x) cos()J
v
(x)
sin()
.
Hacemos luego
sin()J
v
(x) + cos()N
v
(x) =
J
v
(x) cos()J
v
(x)
sin()
.
23
Por lo tanto,
N
v
(x) = sin()J
v
(x) + cos()N
v
(x).
Si ahora n, entonces
sin(n) = 0
cos(n) = (1)
n
,
luego obtenemos
N
n
(x) = (1)
n
N
n
(x)
5123. Usando la funcin generatriz, demuestre que
a)
J
n
(x + y) =

X
k=
J
k
(x)J
nk
(y)
b)
J
0
(x + y) = J
0
(x)J
0
(y) + 2

X
k=1
J
k
(x)J
k
(y)
Solucin:
Previamente es fcil demostrar que que la funcin generatriz F(x, t) satisface
F(x, t) = F(u + v, t) = F(u, t) F(v, t) (19)
a) Tenemos que
e
u
2
(t
1
t
)
=

X
n=
J
n
(u)t
n
y
e
v
2
(t
1
t
)
=

X
n=
J
n
(v)t
n
.
Pero
e
(u+v)
2
(t
1
t
)
=

X
n=
J
n
(u + v)t
n
.
As, usando la propiedad (19) podemos escribir
e
(u+v)
2
(t
1
t
)
=

X
n=
J
n
(u)t
n

X
m=
J
m
(v)t
m
=

X
n=
X
k=
J
n
(u)J
nk
(v)t
n
.
Por lo tanto, por la unicidad de la expansin en serie obtenemos que
J
n
(u + v) =

X
k=
J
n
(u)J
nk
(v)
24
b) En la relacin anterior, n = 0, entonces
J
0
(u + v) =

X
k=
J
n
(u)J
k
(v)
= J
0
(x)J
0
(y) +
1
X
k=
J
k
(x)J
k
(y) +

X
k=1
J
k
(x)J
k
(y)
= J
0
(x)J
0
(y) +

X
k=1
J
k
(x)J
k
(y) +

X
k=1
J
k
(x)J
k
(y).
Pero es fcil demostrar que
J
k
(x)J
k
(y) = J
k
(x)J
k
(y), k
Luego,
J
0
(x + y) = J
0
(x)J
0
(y) + 2

X
k=1
J
k
(x)J
k
(y)
18. Si y(x) = x es solucin de la ecuacin
xy
00
+ x y = 0,
encuentre la solucin general.
Solucin:
Es fcil chequear que y
1
(x) = x es solucin. Entonces, dada una primera solucin y
comocido el Wronskiano, podemos encontrar la segunda solucin.
El Wronskiano se dene, salvo una constante multiplicativa, por
W(x) = W(a) exp
Z
x
a
dx
0
P(x
0
)
.
En este caso, P(x) = 1. Luego,
W(x) = e
x
= y
1
y
0
2
y
0
1
y
2
,
que da
y
0
2
(x)
y
2
x
=
e
x
x
.
Esta es una ecuacin fcil de resolver; su solucin es:
y
2
(x) = y
1
(x)
Z
x
dx
0
W(x
0
)
y
1
(x
0
)
2
= x
Z
x
dx
0
e
x
0
x
02
.
Luego, la solucin general es
y(x) = Ax + Bx
Z
x
dx
0
e
x
0
x
02
.
25
Obs: la integral no se puede resolver analticamente. Est relacionada con la integral
exponencial (ver Gradshteyn and Ryzhik).
y
00
+ y
0
2
y
x
2
= 0
usando la expansin de Frobenius alrededor de x = 0. Muestre que una de las series termina
y exprese la otra en forma cerrada.
Solucin:
Suponemos
y(x) =

X
n=0
a
n
x
n+
,
con a
0
6= 0. Subtituyendo en la ODE obtenemos
X
n=0
a
n
[(n + )(n + 1) 2] x
n+
+

X
n=0
a
n
(n + )x
n++1
= 0.
para todo x.
De aqu se obtiene que la ecuacin indicial es
a
0
[( 1) 2] = 0.
Luego, sus soluciones son = 1 y = 2.
As tambin, es claro que la relacin de recurrencia es
a
n
=
(n + 1)
(n + )(n + 1) 2
a
n1
, n > 0.
Es claro que que si elegimos la solucin = 1, la relacin de recurrencia da
a
n
=
(n 2)
n(n 3) 2
a
n1
, n > 0.
Luego, encontramos que
a
1
= a
0
/2
a
2
= 0,
a
n
= 0, n > 2.
Por lo tanto, la primera solucin es
y
1
(x) =
1
x

1
2
.
Eligiendo = 2 obtenemos que
a
n
=
(n + 1)
n(n + 3)
a
n1
,
es decir
a
n
= (1)
n
3!
(n + 1)
(n + 3)
a
0
.
26
Luego,
y
2
(x) = x
2
3!
2x
3
4!

3x
4
5!
+
4x
5
6!
+
.
Teniendo en cuenta que
e
x
= 1 x +
x
2
2!

x
3
3!
+
podemos escribir
y
2
(x) = 3!x
2
d
dx
1 x e
x
x
2
= 2 3! y
1
(x) + 3!e
x
1 +
2
x
.
20.
PDEs
1. Encuentre la solucin para la ecuacin de onda unidimensional
u
tt
c
2
u
yy
= 0
para < x < ; t > 0, con siguientes condiciones iniciales
u(x, 0) = sin x
u(x, t)
t
|
t=0
= 0
usando el mtodo de separacin de variables y el mtodo de dAlembert.
SOLUCIN:
Con el mtodo de separacin de variables, muy conocido para Usted en este momento,
obtenemos rpidamente que la solucin es (hgalo)
u(x, t) = sin xcos(ct)
Mtodo de dAlembert:
Sabemos que la solucin general de la ecuacin de onda unidimensional es
u(x, t) = f(x ct) + g(x + ct),
donde f y g son funciones arbitrarias de sus argumentos, dos veces diferenciables.
A partir de la condicin inicial a t = 0 tenemos que
f() + g() = sin() (20)
cf() + cg() = 0
donde el argumento en () debe ser el mismo en ambos lados de la ecuacin, pero se puede
elegir en forma arbitraria.
27
Integrando la tlima ecuacin con respecto a su argumento obtenemos que
f() + g() = K, (21)
donde K es una constante. Resolviendo para f y g a partir de las Ecs. (20) y (21) obtenemos
f() =
1
2
[sin() K]
y
g() =
1
2
[sin() + K] .
Vemos que la constante de integracin K se anula cuando sumamos ambos trminos en
la solucin. Luego,
u(x, t) =
1
2
[sin(x ct) + sin(x + ct)]
Analice cmo se correlacionan las soluciones obtenidas por ambos mtodos.
Encuentre la temperatura en el rgimen estacionario en un problema de conduccin de
calor con una conductividad trmica dependiente de la posicin. En este caso la PDE se
transforma en la EDO:
d
dx
(A + Bx)
du
dx
= 0,
donde A, B son constantes, 0 < x < L y u(x) satisface las siguientes condiciones de contorno:
u(0) = 0
u(L) = T
1
SOLUCIN:
Integramos una vez la EDO y obtenemos
(A + Bx)
du
dx
= C.
Integramos una vez ms y usamos la BC
u(0) = 0.
Luego obtenemos
u =
Z
x
0
C
(A + Bx
0
)
dx
0
u(x) =
C
B
ln [A + Bx]
C
B
ln A
=
C
B
ln
1 +
B
A
x
La BC
u(L) = T
1
28
da
T
1
=
C
B
ln
1 +
B
A
L
i.e.
C =
BT
1
ln
1 +
B
A
L
.
Por lo tanto, la temperatura en rgimen estacionario es
u(x) = T
1
ln[A + Bx]
ln[A + BL]
.
1. Sea
u(x, t) =
1
t
exp[
x
2
4t
]. (22)
a) Verique que u satsiface la ecuacin de calor unidimensional
u
xx
= u
t
para t > 0, < x < .
b) Muestre que la integral
I =
Z

dxu
es independiente del tiempo y calcule a mano su valor.
c) Encuentre una solucion similar para la ecuacin de calor tridimensional.
Solucin:
a) Un lgebra directa muestra que u(x, t) =
1
t
exp[
x
2
4t
] resuelve la ecuacin (??) puesto
que ambos trminos dan
u
xx
= u
t
=
1
1
2t
+
x
2
4t
2
exp[
x
2
4t
].
b) Tenemos que
I =
Z

dxu(x, t) =
Z

dx
1
t
exp[
x
2
4t
].
Denimos
z =
x
2
t
.
Luego, la integral vale
I = 2
Z

dz exp[z
2
] = 2
y por tanto es independiente de t.

c) Se puede ver fcilmente que la solucin a la ecuacin
2
u = u
t
en D dimensiones es
u(x, t) =
1
t
D/2
exp[
x
2
4t
]
29
ya que en este caso
2
u = u
t
=
1
t
D/2
D
2t
+
x
2
4t
2
exp[
x
2
4t
].
2. Encuentre las soluciones univaluadas u(r, ) de la ecuacin de Laplace en coordenadas
polares planas que satisfacen la condicin de contorno
u(a, ) = {
u
0
, 0 < <

2
0,

2
< < 2
(23)
i) En la regin r < a, con u(r, ) nita cuando r 0,
ii) En la regin r > a, con u(r, ) nita cuando r .
Solucin:
Tenemos que en la ecuacin de Laplace en coordenadas polares es:
2
u(r, ) = 0,
esto es,
1
r

r
r
u
r
+
1
r
2
2
u
2
= 0. (24)
Usamos separacion de variables:
u(r, ) = R(r)();
luego
r
R
d
dr
(rR
0
) +

00
= 0 (25)
As, () satisface
00
+ m
2
= 0,
cuya solucin es:
() = Asin(m) + B cos(m).
Para que la solucin sea univaluada, se debe requerir que
( + 2) = (),
lo que implica que m debe ser un entero.
De (25) encontramos entonces que
r
R
(rR
00
+ R
0
) m
2
= 0,
es decir,
R
00
+
R
0
r

m
2
r
2
R = 0.
Esta es una ecuacin homognea en r, as que suponemos una solucin de la forma
R r
.
30
Entonces obtenemos que
( 1) + = m
2
,
que tiene como solucin
= m.
Por lo tanto,
R(r) = Cr
m
+ Dr
m
.
Entonces, la solucin general de (24) es:
u(r, ) =

X
m=0
C
m
r
m
+ D
m
r
m
(A
m
sin(m) + B
m
cos(m)) .
i) Si r < a, entonces u(r, ) debe ser nita cuando r 0. De aqu, D
m
= 0.
ii) Si r > a, entonces u(r, ) debe ser nita cuando r . De aqu, C
m
= 0.
Veamos el caso
i) Aqu,
u(r, ) =

X
m=1
(A
m
sin(m) + B
m
cos(m))
r
a
m
+
B
0
2
Cuando r = a, los valores de u(a, ) estn dados por (23). De este modo, las constantes
de integracin estn dadas por
A
n
=
1
Z
2
0
du(a, ) sin(n)
=
u
0
Z
/2
0
d sin(n)
=
u
0
n
h
1 cos(
n
2
)
i
Por lo tanto,
A
2m
=
u
0
2m
[1 (1)
m
]
y
A
2m1
=
u
0
(2m1)
De un modo similar se puede demostra facilmente que
B
2m
= 0
y
B
2m1
=
u
0
(2m1)
(1)
m+1
.
Finalmente, es claro que
B
0
=
1
Z
2
0
du(a, ) =
u
0
2
.
31
Por consiguiente, la solucin que satisface las condiciones de contorno es:
u(r, ) =
u
0
X
m=1
r
a
2m1
1
2m1
sin[(2m1)] + (1)
m+1
cos [(2m1)]
+
u
0
X
k=1
r
a
2(2k1)
sin[2(2k 1)]
2k 1
+
u
0
4
.
El caso ii) es igual al caso i), con
r
a

a
r
.
3. Exprese como una serie innita la temperatura de estado estacionario en un disco
circular de radio a que tiene una mitad de su circunferencia a 0
o
C y la otra mitada 100
o
C.
Solucin:
Nuevamente tenemos que este problema se describe por la ecuacin de Laplace
2
u(r, ) = 0.
Haciendo separacin de variables, obtenemos que
r
R
d
dr
(rR
0
) +

00
= 0.
La exigencia de una solucin univaluada implica que en
() = Asin(m) + B cos(m),
m debe ser un entero.
La solucin debe ser nita cuando r 0, luego en la solucin de la ecuacin radial
R
00
+
R
0
r

m
2
r
2
R = 0,
R(r) = Cr
m
+ Dr
m
, la constante D = 0. Por lo tanto,
u(r, ) =

X
m=1
r
a
m
(A
m
sin(m) + B
m
cos(m)) .
La condicin de contorno es tal que
u(a, ) = {
100, 0 < <
0, < < 2
,
luego la solucin es:
u(r, ) =

X
m=1
(A
m
sin(m) + B
m
cos(m))
r
a
m
+
B
0
2
32
donde
A
n
=
1
Z
2
0
du(a, ) sin(n)
=
100
Z

0
d sin(n)
=
100
n
[1 cos(n)]
=
100
n
[1 (1)
n
]
y
B
n
=
1
Z
2
0
du(a, ) cos(n)
=
100
Z

0
d cos(n)
=
100
n
sin(n)
= 100
n0
Por lo tanto, la solucin es
u(r, ) = 50 +
200
X
m=1
r
a
2m1
1
2m1
sin[(2m1)] .
c Lautaro Vergara, agosto 2004
33

Problem As Re Sueltos

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Problem As Re Sueltos

Diunggah oleh

Hak Cipta:

Format Tersedia

Mtodos Matemticos para la Fsica II

Notar que W(y

Encontrar la segunda solucin es ms difcil. Sabemos por el teorema que la segunda

y por tanto es independiente de t.

Anda mungkin juga menyukai