Bessel

Gutierres Sosa Carlos

S anchez Hernandez Edgar Anuar
Vergara Espinosa Omar
Universidad Aut onoma Metropolitana - Iztapalapa. Marzo 2012
El problema de la cadena que cuelga de un ex-
tremo conduce a la siguiente ecuacion diferencial en
derivadas parciales

2
y
t
2
= g
y
x
+ gx

2
y
x
2
(1)
La cual puede resolverse mediante el metodo de
separacion de variables proponiendo una solucion del
tipo y(x, t) = X(x)T(t). Sustituyenyo esto en la EDP
obtenemos dos ecuaciones diferenciales
T

+
2
T = 0 xX

+ X

+

2
g
X = 0
La ecuacion para X puede reescribirse si se hace el
cambio de variable x = gz
2
/4 como
z
2
W

+ zW

+
2
z
2
W = 0
Por lo tanto una solucion de la EDP (1) es
y(x, t) = AJ
0
_
2
_
x
g
_
cos (t) (2)
Con la condicion de frontera y(l, t) = 0 se obtiene
J
0
_
2

l
g
_
= 0
Es decir
2

l
g
=
n
Donde
n
representa el n-esimo cero de la funcion
de Bessel de orden 0. Entonces ahora la solucion (2)
se puede reescribir como
y
n
(x, t) = A
n
J
0
_

n
_
x
l
_
cos
_

n
1
2
_
g
l
t
_
Y por el principio de superposicion, la solucion gen-
eral de (1) se puede expresar de la forma
y(x, t) =

n=1
A
n
J
0
_

n
_
x
l
_
cos
_

n
1
2
_
g
l
t
_
Ahora la condicion inicial y(x, 0) = f(x) donde
f(x) =
_
x
5
0 < x <
l
2

1
5
(x l)
l
2
< x < l
(3)
equivale a la expresion
f(x) =

n=1
A
n
J
0
_

n
_
x
l
_
(4)
Lo cual es un desarrollo de la funcion f(x) en serie
de Bessel.
Para encontrar los coecientes A
n
multiplicamos
ambos miembros de la ecuacion (4) por J
0
_

m
_
x
l
_
e integramos desde x = 0, hasta x = l

l
0
f(x)J
0
_

m
_
x
l
_
dx =

n=1
A
n

l
0
J
0
_

n
_
x
l
_
J
0
_

m
_
x
l
_
dx
1
Ahora, haciendo el cambio de variable u =
_
x
l
en
segundo miembro, se obtiene

l
0
f(x)J
0
_

m
_
x
l
_
dx =

n=1
A
n
2l

1
0
J
0
(
n
u) J
0
(
m
u) udu
Pero la integral del segundo miebro no es nada mas
que la relaci on de ortogonalidad de las funciones de
Bessel, entonces

l
0
f(x)J
0
_

m
_
x
l
_
dx =

n=1
A
n
2l
1
2
J
2
1
(
n
)
mn
o bien

l
0
f(x)J
0
_

m
_
x
l
_
dx = A
m
lJ
2
1
(
m
)
Por lo tanto los coecientes de la serie de Bessel
(4) estan dados por
A
m
=
1
lJ
2
1
(
m
)

l
0
f(x)J
0
_

m
_
x
l
_
dx (5)
Calculando A
m
, sustituyendo la funcion (3) en (5)
A
m
=
1
5lJ
2
1
(
m
)

l/2
0
xJ
0
_

m
_
x
l
_
dx +

1
5lJ
2
1
(
m
)

l
l/2
(x l) J
0
_

m
_
x
l
_
dx
Con ayuda de Mathematica
1
, tenemos que la inte-
gral anterior equivale a
1
Ver cuaderno adjunto Calculo coecientes a).nb
A
m
=
1
5lJ
2
1
(
m
)
l
2
32
8

F
0,1
(3;
1
8

2
m
) +

1
5lJ
2
1
(
m
)
l
2
32

2
m

F
0,1
(4;
1
8

2
m
) +
+
1
5lJ
2
1
(
m
)
l
2
4
16

2
m
+

1
5lJ
2
1
(
m
)
l
2
4

F
0,1
(2;
1
8

2
m
) +

1
5lJ
2
1
(
m
)
l
2
4

F
0,1
(3;
1
8

2
m
)
Donde

F
0,1
(b; z) es la funcion hipergeometrica reg-
ularizada, denida por

F
0,1
(b; z) :=

k=0
z
k
(b + k)k!
Ahora, simplicando la expresion de A
m
con Math-
ematica, se obtiene
A
m
=
4
5
l
J
2
(
m
) J
2
(
m

2
)
J
2
1
(
m
)
2
m
Por lo tanto la solucion general y(x, t) del problema
(1), con (3) es
4
5
l

n=1
J
2
(
n
) J
2
(
n

2
)
J
2
1
(
n
)
2
n
J
0
_

n
_
x
l
_
cos
_

n
1
2
_
g
l
t
_
Ahora, si la condicion inicial se cambia por la sigu-
iente
y(0, x) = f(x) =
_

1
10
(3x l) 0 < x <
l
3
0
l
3
< x < l
, (6)
Lo unico que cambia es la expresion de los coe-
cientes A
n
. Calculandolos con (5) se tiene
A
n
=
1
10lJ
2
1
(
m
)

l/3
0
(3x l)J
0
_

m
_
x
l
_
dx
2
Con ayuda de Mathematica
2
resulta
A
n
=
l
30J
2
1
(
n
)

F
0,1
(3;
1
12

2
n
)
Es decir, la solucion general y(x, t) del problema
(1) con (6) esta dada por
l
30

n=1

F
0,1
(3;
1
12

2
n
)
J
2
1
(
n
)
J
0
_

n
_
x
l
_
cos
_

n
1
2
_
g
l
t
_
2
Ver cuaderno adjunto Calculo coecientes b).nb
3