S OLUCIN DE EDP S POR SEPARACIN DE VARIABLES Y TEOREMA DE S TURM -L IOUVILLE .

UNIVERSIDAD PEDAGGICA Y TECNOLGICA DE COLOMBIA.

FACULTAD DE CIENCIAS
ESCUELA DE FSICA.
Fsica Matemtica.

Cristian F. Rodrguez C, Angie N Acero H

15 de marzo de 2015

Ejercicio, ecuacin del calor.

cos x, as B = 0, la segunda implica que para que la solucin

no sea trivial sen 2 = 0, o bien 2 = n, con lo cual se sigue

Considere una varilla uniforme que satisface la ecuacin del

calor de la forma
u 2u
= 2
t
x
sujeta a las condiciones contorno e iniciales
u(0, t ) = 0,

n =

La solucin para h(t ) es de la forma h(t ) = C e n t , entonces

por superposicin

u(x, 0) = f (x) = sen x

u(2, t ) = 0.

u(x, t ) =

2
A n sen n x e n t

n=1

a) Muestre que la solucin es de la forma

u(x, t ) =

n
,
2

donde A n = A C . La condicin inicial con la condicin inicial

u(x, 0) = sen x se tiene que

2
A n sen n x e n t

n=1

con n = n/2, donde A n son coeficientes de Fourier

del desarrollo en senos de la condicin inicial f (x), como sigue
2
n
x d x.
An =
f (x) sen
2
0

u(x, 0) =

A n sen n x = sen x

n=1

entonces la sumatoria corresponde al desarrollo de Fourier

en senos de sen x, y el clculo de A n es de la forma

b) Calcule los coeficientes de Fourier A n , y grafque la solucin hasta n = 10.

f (x) sen n xd x.

An =
0

c) Desde la serie obtenga valores numricos para u(0.5, 0),

u(1, 0), u(1.5, 0), u(0.5, 5), u(1, 5) & u(1.5, 5) con valores
de n hasta 10.
d) Desde la serie grafque las soluciones para u(0.5, t ),
u(1, t ) & u(1.5, t ), con valores de n hasta 10.

b) Solucin.

a) Solucin. Considere que u pueda expresarse como

)=
u(x, t ) = (x)h(t ), al sustituir en la EDP, se tiene (x)h(t
00
(x)h(t ), al separar variables se obtienen dos EDO de la forma,
00 k = 0 h kh = 0,

f (x) sen n xd x =

An =
0

sen x sen
0

n
x dx
2

para resolver la integral se emplea integracin por partes, con

u = sen x & d v = sen n xd x, se tiene

para que la solucin temporal sea acotada k debe ser positiva, o bien poder expresarse como 2 . La solucin para
puede escribirse de la forma

n
x dx
2
0
2
n 2
n
2
2
=
sen x cos
x +
cos x cos
x dx
n
2
n 0
2
0
2

n
2
=
sen 2 cos n +
cos x cos
x dx
n
2
0

An =

(x) = A sen x + B cos x.

Para que la solucin satisfaga las condiciones de contorno y
no sea trivial se requiere que (0) = 0 & (2) = 0, la primera condicin implica que la solucin no puede depender de
1

sen x sen

empleando integracin por partes denuevo, con u = cos x &

d v = cos n xd x, se tiene que la integral

u(x, t )
t =0
t =5

n
x dx
2
0
2
2

n

2
+ 2
n
cos
x
sen
x
sen x sen
x d x.
=




n
2
n 0
2

0
2
=
An
n
cos x cos

x = 0.5
0.4521
3.019 106

x = 1.0
0.8702
4.269 106

x = 1.5
1.0172
3.019 106

Tabla 0.1: Algunos valores numricos para u(x, t ).

d) Solucin. La serie de Fourier para u, con los 10 primeros

trminos de la suma da una buena representacin del comportamiento de un punto especfico en le tiempo

n
10 2 1 n n
X
2
sen 2 sen
x e n t .
u(x, t )
2
2
2
n=1 4 n

as, para A n se sigue que

2
2
2
4
An =
sen 2(1)n +
An =
sen 2(1)n + 2 2 A n ,
n
n
n
n

2(1)n
4
An 1 2 2 =
sen 2
n
n

2 2
2(1)n
n 4
=

An
sen 2
n 2 2
n
n
2 1 n
An =
sen 2.
4 n 2 2
De esta forma se tiene que

2 1 n n
X

2
u(x, t ) =
sen 2 sen n x e n t ,
2
2
4

n=1

Grfica 2: u(0.5, t ) vs t con rango de trazado para t de 0-5, y rango

de trazado para u de 0 0.5.

y su grfica para n = 10,

Grfica 3: u(1.0, t ) vs t con rango de trazado para t de 0-5, y rango

de trazado para u de 0-1.

Grfica 1: Temperatura u(x, t ) para una varilla uniforme asilada con

condicin inicial u(x, 0) = sen x y desarrollo de Fourier de 10 primeros trminos. (z u y x)

c) Solucin. Es posible obtener un valor aproximado de u si

se consideran los 10 primeros trminos de la serie, tal que

10 2 1 n n
X

2
sen 2 sen n x e n t .
u(x, t )
2
2
n=1 4 n
Grfica 4: u(1.5, t ) vs t con rango de trazado para t de 0-5, y rango
de trazado para u de 0-1.2.

as, pues se tiene la siguiente tabla para algunos valores de x

& t,
2

entonces A n senh n H corresponde al coeficiente de Fourier

nsimo del desarrollo en senos de dicha condicin, as

Ejercicio, ecuacin de Laplace.

A n senh n H =

2
L

Considere una placa rectangular con sus extremos aislados,

exceptuando uno el cual se encuentra conectado a un potencial que se comporta de forma parablica, como se muestra
en la siguiente figura; calcule el potencial en cada uno de los
puntos de la placa, y en particular para el punto (1, 2) y realice
la representacin grfica del potencial.

(x 2 2x) sen n xdx

0
2

(x 2 2x) sen

=
0

n
x dx
2

Considere primero la siguiente integral cuya solucin es por

partes con u = x, d v = sen n xdx

n
x dx,
2
0

n 2
2
2

x cos
x +
=
n
2
n
x sen

n
x dx,
2
0
0

n 2

2
4
=
2 cos n + 2 2 sen
x
n
n
2

x 2 2x

cos

4 n
1 ,
=
n
Considere ahora la siguiente integral
cuya
solucin es tambin por partes con u = x 2 , d v = sen n x dx

H =4

n
x dx,
2
0
2
n 2
n
2 2
4
=
x cos
x +
x cos
x dx,
n
2
n 0
2
0

n 2 2x 2
n
8 n
4
2x
=
1 +
sen
x
sen
x dx
n
n n
2
n 0
2
0
n 2
16
8 n
=
1 + 3 3 cos
x
n
n
2
0
n
8 n 16 1
16
=
1 +
3 3.
n
n 3 3
n

L=2

Grfica 5: Placa con potencial en uno de sus extremos

Solucin. El potencial (x, y) de la placa. satisface la Ecuacin de Laplace tal que,

2 = 0

Y 00 (y) = 2 Y (y)

X = A sen x + B cos x
Y = C senh y + D cosh y.
La condicin de frontera (0, y) = 0 implica X (0) = 0 y a su
vez B = 0. La condicin (L, y) = 0 implica X (L) = 0 y a su vez
L = n. La condicin (x, 0) = 0 implica Y (0) = 0 y a su vez
D = 0; entonces, por superposicin la solucin para es

A n senh n y sen n x.

La ultima condicin de frontera (x, H ) = x 2 2x implica

(x 2 2x) sen

y por lo cual se tiene la solucin para

n

n
n

X
16 1 1

senh
(x, y) =
y
sen
x .
3 3
2
2
n=1 n senh 2n

n=1

(x, H ) =

n
x dx
2
0
2
2
n
n
=
x 2 sen
x dx 2
x sen
x dx
2
2
0
0

!
n
16
8 n
8 n 16 1
=
1 +
3 3 +
1
n
n 3 3
n
n
n
8 n 16 1
16
8 n
=
1 +
3 3+
1
3
3
n
n
n
n
n

16 1 1
=
n 3 3
n

16 1 1

,
An = 3 3
n senh 2n

A n senh n H =

con soluciones,

(x, y) =

x 2 sen

As para A n se sigue que

Para el Clculo de la solucin suponga que puede expresarse como = X (x)Y (y), surgen dos EDO
X 00 (x) = 2 X (x)

A n senh n H sen n x = x 2 2x

y su representacin grfica es

n=1

 puede ser expresado como = 2 , de sta forma se tienen

soluciones para X y para T de la forma
X (x) = A sen x + B cos x
T (t ) = C sen t + D cos t ,
Las condiciones de contorno requieren que X (0) = 0 = X (L),
lo cual implica que B = 0 L = n, suponiendo A contenido en las constantes de T , se obtiene por superposicin una
expresin para u de la forma
u(x, t ) =

C n sen n t + D n cos n t sen n x,

n=1

La condicin inicial u(x, 0) = x x 2 , implica

u(x, 0) =

D n sen n x = x x 2 ,

n=1

Donde D n es un coeficiente del desarrollo en series de Fourier de senos para x x 2 ,

Grfica 6: Potencial (x, y) de una placa con condiciones de frontera nulas exceptuando en una de las aristas en las que se le aplica un
potencial con comportamiento parablico.

2
Dn =
L

Se emplea un desarrollo hasta n = 10, para una aproximacin numrica de (1, 2)

n
n
n
10
X
16 1 1

senh
(1, 2)
2 sen
1 ,
3
3
2
2
n=1 n senh 2n

(x x 2 ) sen

puesto que la integral es una aplicacin lineal, se sigue que

2
L

Dn =

x sen
0

n
n
2 L 2
x sen
x dx
x d x,
L
L 0
L

considerando resultados anlogos a los de las integrales del

ejercicio anterior, y el hecho que L = 1

0.0455.

Dn =

Ejercicio, ecuacin de Onda

la condicin inicial

Considere la deflexin u(x, t ) de una cuerda uniforme con

longitud L = 1 y sus extremos
fijos sujeta a condiciones inicia

les u(x, 0) = x x 2 , & u

=
cos
2x, resuelva (por separacin
t

n 3 3

implica,

C n n sen n x,

n=1

t =0

con lo cual C n n corresponden al coefciente del desarrollo

en senos de cos 2x, por lo cual

Solucin. Si la cuerda es uniforme y se desprecian fuerzas externas, dicha cuerda satisface la ecuacin unidimensional de
onda
2u 2u
=
.
x 2 t 2
Suponga que la deflexin u puede expresarse de la forma
u(x, t ) = X (x)T (t ), entonces se sigue que,

2
C n n =
L

Cn

n
L

2
L

cos 2x sen(n x)dx

0

cos(2x) sen
0

n
x dx
L

como L = 1

X 00 (x)T (t ) = X (x)T (t ),

n
Cn =
2

y se obtienen dos EDO de la forma

n
4 1 1

u
= cos 2x
t t =0

cos 2x =

de variables) el problema de valores iniciales y de contorno, y

grafique los modos de oscilacin de la cuerda para t [0, 2].

X 00 X = 0

n
x dx
L

T T = 0,

cos(2x) sen (nx) d x

0

es fcil ver por razones fsicas que < 0, para que la cuerda
tome su carcter oscilatorio o vibratorio, de ac se tiene que

=
4

1
1

1
2
cos(2) cos nx
sen 2x cos(nx)d x
n
n 0
0

1
1
2
cos(2)(1)n +

n
n n

sen 2x cos(nx)d x.
0

n=2

Considere ahora la siguiente integral cuyo desarrollo es por

partes

sen 2x cos(nx)d x
0

= sen 2x

1
1

2
1
sen(nx) cos 2xdx
sen(nx)
n
n 0
0

1
2
sen(nx) cos 2xdx
n 0
2 n
=
C n = C n ,
n 2

as
n
1
1
2
Cn =
cos(2)(1)n +
+
Cn
2
n
n n

2
1 cos(2)(1)n
n

=
Cn
2
n
n

2 2
1 cos(2)(1)n
n 4
Cn
=
2n
n
1 cos(2)(1)n
Cn = 2
.
n 2 2 4
Las grficas de las tres primeras auto funciones de u, para distintos valores de t son

n=1

n=3

Si se considera el caso en que < 0 es posible expresarlo

como = p 2 , as pues
q
= A e i 0 t ; 0 p 2 / 0 R

Ejercicio 4.4.2

a) Muestre que si < 0, la fuerza de cuerpo es recuperadora (dirigida hacia u = 0). Muestre que si > 0, la fuerza de cuerpo tiende a empujar la cuerda de su posicin
de equilibrio u = 0.

con lo cual se consigue una expresin oscilatoria para , fenmeno que requiere la existencia de una fuerza dirigida al
punto de equilibrio u = 0, ya que la oscilacin ocurre cuando
la fuerza hala la cuerda hacia el punto de equilibrio, pero la
inercia lleva a que la cuerda salga de dicha posicin, acto seguido, la fuerza recuperadora desacelera la cuerda y la trata
de llevar de nuevo al origen donde el fenmeno se repite.
As que para un desplazamiento positivo, queremos una
fuerza de cuerpo negativa que la dirija a u = 0. Para un desplazamiento negativo, necesitamos una fuerza positiva. Si se
consigue ste tipo de fuerza se demuestra que locamente
u 0 est en la parte inferior de un pozo de potencial y por
lo tanto un punto de equilibrio estable.

b) Separe variables si 0 = 0 (x) & = (x) pero T0 es

constante por razones fsicas. Analice la EDO dependiente del tiempo.

b) Solucin. Por separacin de variables, u = (x)h(t ), se tiene

) = T0 00(x)h(t ) + (x)(x)h(t )
0 (x)(x)h(t

c) Para el caso particular de coeficientes constantes. Resolver el PVI si > 0:

o bien,

En la seccin 4.2, se mostr que el desplazamiento u de una

cuerda no uniforme satisface
0

2u
2u
= T0 2 +Q,
2
t
x

donde Q representa la componente vertical de la fuerza externa por unidad de longitud. Si Q = 0, la EDP es homognea.
Una EDP homognea ocurre cuando Q = u.

u(0, t ) = 0

u(x, 0) = 0

u(L, t ) = 0

u
(x, 0) = f (x).
t

d 2h
= h
dt2

T0

d 2
+ ( + 0 ) = 0,
d x2

donde lleva el signo menos para que la solucin en el tiempo sea acotada, y dicha solucin puede ser expresada como
una superposicin de senos y cosenos.

a) Solucin. Por la segunda ley de Newton, es posible analizar la fuerza de cuerpo1 sobre la cuerda por separado a la
tensin, tal que
2u
0 2 = u,
t

c) Solucin. Para el caso de coeficientes constantes la solucin para toma la forma

(x) = A e i kx
q
+ 0
con k =
T0 , la condicin de contorno u(0, t ) = 0 implica
(0) = 0, y a su vez A + = A con lo cual

al realizar separacin de variables con u(x, t ) = (x)(t )

) = (x)(t ),
0 (x)(t
o bien

(x)= 2i A + sen(kx).
La condicin de contorno u(L, t ) = 0 implica (L) = 0, o bien
2i A + sen(kL) = 0, para que la solucin no sea trivial sen(kL) =
0 y esto se cumple si K L = n para todo n en los enteros, as
s
+ 0
= n/L
T0

=
0

con solucin directa

p
p
p
= A + e / 0 t + A e / 0 t A e / 0 t .

as = sen(nx/L). De aqu se tiene

Si se considera a > 0 entonces es posible escribirlo de la forma = p 2 , y se tiene en cuenta que 0 es siempre positivo por
razones fsicas, entonces
q
= A e 0 t ; 0 p 2 / 0 R

n =

(n/L)2 T0
0

p
En p
general h(t ) es una combinacin lineal de sen t &
cos t , pero la condicin inicial u(x, 0) = 0 implica que la
solucin carece de cosenos. Entonces, por superposicin
p
X
u(x, t ) = A n sen n t sen(nx/L),

expresin siempre distinta de cero, y carente de carcter oscilatorio. Por lo cual una vez ha actuado sobre el cuerpo, lo
mantiene fuera de su posicin de equilibrio.

1 Las fuerzas de masa o fuerzas de cuerpo (body force) estn asociadas con el cuerpo propio en estudio y se distribuyen en toda la amplitud del mismo a

diferencia de las fuerzas de contacto que se aslan en un nico punto. Las fuerzas de cuerpo no son consecuencia de un contacto directo con otros cuerpos. Se
especifican en trminos de fuerzas por unidad de volumen, superficie o longitud, entre ellas es posible citar las fuerzas gravitacionales, de inercia, rgidas, etc.

donde las frecuencias de vibracin 0 =

s
p

n =

n son,

Son ecuaciones homogneas, de segundo orden. la ecuacin

caracterstica asociada a (1) es r 2 + / 0 r + 2 / 0 = 0, y solucionando
r

(n/L)2 T0
.
0

Ejercicio 4.4.3

r =
i
2 0

u
u
u
= T0 2 .
t 2
t
t

Puesto que (/ 0 )2 4(/ 0 )2 < 0,

Considere una cuerda vibrante ligeramente amortiguada

que satisface la ecuacin
0

2
2
4 0
0

r=
2 0

(1)

2 0

La solucin
p para la variable dependiente del tiempo, haciendo = (/ 0 )2 (/2 0 )2

a) Explicar brevemente por qu > 0

(t ) = e 2 t (D cos(t ) + E sen(t )).

b) Calcular (por separacin de variables) la solucin que

cumple las condiciones de contorno
u(0, t ) = 0;

la ecuacin caracterstica asociada a (2) es m 2 + 2 /T0 = 0

p
despejando m = i / T0 , se define 0 tal que, la solucin
de la ecuacin para la variable dependiente del espacio es,

u(L, t ) = 0,

y las condiciones iniciales

u(x, 0) = f (x);

h(x) = A cos(0 x) + B sen(0 x).

u(x, 0)
= g (x).
t

Reemplazando en la solucin producto, se obtiene :

Supnganse que el coeficiente de friccin es relativamente pequeo (2 < 42 0 T0 /L 2 ).

u(x, t ) =

A cos(0 x) + B sen(0 x) e 2 t (D cos(t ) + E sen(t )) .

n=1

a) Solucin. > 0, El coeficiente de friccin expresa la oposicin, del movimiento que el aire hace a la cuerda, por eso
la cuerda pierde energa y se va frenando, si > 0 indica que
efectivamente el aire esta interactuando con la cuerda.

Aplicando condiciones de contorno,

u(0, t ) = 0 = A(e 2 t (D cos(t ) + E sen(t )))

implica A = 0,entonces para u(L, t ) = 0, as

b) Solucin. Empleando separacin de variables

u(L, t ) = 0 = B sen(L0 )(e 2 t (D cos(t ) + E sen(t )))

u(x, t ) = h(x)(t ).

con lo cual sen(0 L) = 0, entonces 0 n = (n/L), quedando una solucin de la forma

Sustituyendo en (1) se obtiene

)h(x) = T0 h"(x)(t ) (t
)h(x).
0 (t

u(x, t ) =

sen(n x)(e 2 t (D n cos(t ) + E n sen(t )))

n=1

Separando variables:
Aplicando condiciones iniciales,
)
)
(t
(t
h"(x)
0
+
= T0
(t )
(t )
h(x)

u(x, 0) = f (x) =

D n sen(n x).

n=1

puesto que x es independiente de t ,

0

)
)
(t
h"(x)
(t
+
= T0
= 2
(t )
(t )
h(x)

Ejercicio 5.3.1

Obteniendo dos ecuaciones diferenciales ordinarias:

)+
(t

2
)+
(t
(t ) = 0
0
0

T0 h"(x) + 2 h(x) = 0

Haga el ejericio 4.4.2(b). Demostrar que la ecuain en derivadas parciales se puede escribir como una ecuacin de
Sturn-Liouville.

(1)

0 (x)

(2)
7

2 u
2 u
= T0 2 + (x)u
2
t
x

(3)

Solucin. Usando una solucin de la forma u(x, t ) = (x)h(t )),

reemplazando en (3), se tiene

Usando el mtodo
u(x, t ) = (x)h(t )

)(x) = T0 "(x)h(t ) + (x)(x)h(t ),

0 (x)h(t

(x)

Por separacin de variables, con 0 (x) y (x)

0

de

separaricn

de

variables

h
h
(x) = T0 " + (x)
h
h

si = c, se obtiene

"
h
= T0
+
h

h
T0
h
c =
+
h
h (x)

El tiempo y el espacio son variables independientes y por tanto constantes,

despejando e igualando a h
h c h = h
T0 + =

"
h
+ =
0 = T0
h

(4)
(5)

En donde (4), es una ecuacin diferencial ordinaria que se

puede expresar en su forma homogenea, se asocia una ecuacion caracterstica r 2 cr + = 0, permitiendo la solucin de
h dependiente del tiempo,

Para la ecuacin dependiente del tiempo,

dh
=
hd t

h(t ) = e 2 t (D cos(t ) + E sen(t ))

La soluacin
p
t

h(t ) = C 1 e

Ejercicio 5.3.3

Para la ecuacin dependiente del espacio,

d
d
T0
+ + 0 = 0
dx
dx

Considrese la ecuacin diferencial (que no es de tipo

Sturn-Louville)
d 2
d
+ (x)
+ [(x) + (x)] = 0.
d x2
dx

Comprobando una ecuacin de la forma Sturm-Liouville.

Multiplicar esta ecuacin por H (x) y calcular H (x) de tal manera que la ecuacin se convierta en una ecuacin SturnLiouville:

Ejercicio 5.3.2
Considere

d
d
p(x)
+ [(x) + q(x)] = 0
x
dx

2 u
u
2 u
2 = T0 2 + u +
t
x
t

Dadas (x), (x) y (x), Cmo son p(x), (x) y q(x)?

a) Dar una breve interpretacin fsica.Qu signo tienen

y segn esta interpretacin?

Solucin. Mutiplicando por H

b) Supongamos que , , son funciones de x. Demostrar

que se pueden separar variables slo si = c, donde c
es una constante.

H (x)

Teniendo en cuenta la regla del producto,

d H d
d
d
d
+H
=
H (x)
dx dx
dx dx
dx

c) Si = c, demostrar que la ecuacin espacial es

una ecuacin diferencial de sturn-Liouville. Resolver la
ecuacin dependiente del tiempo. Solucionando:

d 2

Encontrando H (x) d x 2 y reemplazando

d
d
d H d
d
H

+ (x)H
+ [ + ]H = 0
dx
dx
dx dx
dx

a) Solucin. La ecuacin diferencial parcial, describe el movimiento de un sistema Amortiguado, con > 0 el coeficiente
de friccin, que representa la interaccin con el medio. Ac
cumple las mismas propiedades estudiadas en el ejercicio
4.4.2.

Agrupando trminos semejantes

d
d
d
dH
H
+
(x)H (x)
dx
dx
dx
dx

b) & c) Solucin.
(x)

d 2
d
+ (x)H (x)
+ [(x) + (x)] = 0
d x2

2 u
2 u
u
= T0 2 + (x)u + (x)
2
t
x
t

+ [(x)H (x) + (x)H (x)] = 0,

8

la cual claramente no es una ecuacin del tipo Sturmd

Liouville regular debido a la presencia del trmino d x . Tox
mando una solucin de la forma (x) = e la ecuacin caracterstica para (8) ser:

para el propsito actual se requiere,

dH
H = 0,
dx
separando variables

dH
=
H

k2 V0 + = 0 ,

d x.

con solucin para :

= i.

Una EDO lineal con solucin

H (x) = C 1 e

= p(x)

r
donde =

V0 2
2k

y =

V0
2k .

(9)

Luego, la solucin para

(x) se escribir como:

Obteniendo una ecuacin de tipo Sturn-Louville

d
d
p(x)
+ [(x) + q(x)] = 0,
dx
dx

i x
(x) = e x (A +
),
e

(10)

i x
donde hemos notado A +
= A + e i x + A e i x . Bajo las
e
condiciones de frontera dadas se tiene que cumplir:

Siendo p(x) = H (x),(x) = (x)H (x),q(x) = (x)H (x).

(0) = 0 = A + + A

A + = A = A ,
n
A An ,
(L) = 0 = Ae L sen(L) = n =
L
(x) n (x) ,

Ejercicio 5.3.4
Consideremos el flujo de calor con :
u
2 u
u
= k 2 V0
.
t
x
x

(6)

luego:

(a) Demostrar que la ecuacin diferencial ordinaria espacial obtenida por separacin de variables no es una
ecuacin de Sturm-Liouville.

(x) =

A n e x sen(n x) .

(11)

Por otro lado, de la Ec. (7) para h se recibe:

(b) Resolver el problema de valores iniciales y de contorno
correspondiente a los datos:

h(t ) = B e n t ,
teniendo em cuenta que n n . Con B siendo absorbida
por A n la solucin para u(x, t ) ser:

u(0, t ) = 0 ,
u(L, t ) = 0 ,
u(x, 0) = f (x) .

u(x, t ) =

A n e x sen(n x)e n t .

(12)

(c) Resolver el problema de valores iniciales y de contorno:

Ahora, de la condicin inicial se cumple:

u
(0, t ) = 0 ,
t
u
(L, t ) = 0 ,
t
u(x, 0) = f (x) .

u(x, 0) = f (x) =

y as, desarrollando por Fourier de senos:

An =

d 2
d
V0
+ = 0 ,
d x2
dx

2
L

e x f (x) sen(n x)d x ,

0

y finalmente la solucin al problema planteado es:

> 0,

(7)
u(x, t ) =

y as, la componente espacial de (6) se convierte en:

A n e x sen(n x) ,

Solucin. Tomemos u(x, t ) = (x)h(t ), de tal forma que la Ec.

(6) toma la forma:
1 d h k d 2 V0 d
=

= ,
h dt
d x2
dx

2 x X
e
sen(n x)e n t
L
n

e x f (x) sen(n x)d x .

0

(13)
r
con n =

(8)
9

n
k

V0 2
2k

y=

V0
2k .

Ejercicio 5.3.5

toma la forma gracias a las condiciones de contorno:

L d 2

Para el problema de autovalores se Sturm-Liouville:

d
+ = 0 ,
dx

d
con
(0) = 0 y
dx

d
(L) = 0 ,
dx

= b
(14)

(a) Existe una cantidad finita de autovalores; existe un valor mnimo pero no uno mximo.

Rehacer el ejercicio anterior para el siguiente problema de

autovalores de Sturm-Liouville:

(c) Las autofunciones son ortogonales y forman un sistema completo.

d
+ = 0 ,
dx

(d) Qu informacin da el cociente de Rayleigh con relacin a la existencia de autovalores negativos o cero?

con

d
(0) = 0 y (L) = 0 .
dx

(20)

Solucin. La solucin para la Ec. (20) es igual a la Ec. (15) y

as mismo su derivada ser igual a la Ec. (16). Por lo tanto, las
condiciones de contorno conducen a:
p
=
A+ = A = A ,
0 (0) = 0 = i (A + A )

Solucin. La solucin a la Ec. (14) es de la forma:

,

> 0,

2 (x)d x

Ejercicio 5.3.6

(b) La autofuncin n-sima tiene n 1 ceros.

p
x

dx

ya que el integrando es siempre positivo y para = 0 se tendra que n (x) = 0 la cual no es una autofuncin.

comprobar las siguientes propiedades generales:

i
(x) = A +
e

dx

(15)

y
que al derivar respecto a x se convierte en:
p
p
i x
0 (x) = i (A
),
e
p
i x
A
e

p
i x

donde
= A+e
Ae
diciones de contorno tenemos:

p
i x

(16)
=

. Utilizando las con-

de esta manera los autovalores forman un conjunto infinito

sin cota superior pero con la existencia de un mnimo para

n = 0, 1 = 2L
, y las autofunciones toman la forma:

p
0 (0) = 0 = i (A + A ) = A + = A = A ,
p
p
p
p
0 (L) = 0 = i A(e i x e i x ) = sen( L) = 0 ,
n 2
= n =
A A n , (x) n (x) .
L

n (x) = cos

cos

2n + 1
x ,
2 L

2n + 1
2m + 1
x cos
x d x = nm ,
2 L
2
L

donde nm es la delta de Kronecker y adems, para cualquier

funcin f (x) se cumple que:

sen(nx/L) sen(mx/L)d x = 0 ,

la cual tiene n 1 ceros en (a, b), y forma un conjunto ortogonal y completo como sigue:

As los autovalores de (14) forman un conjunto infinito no

acotado superiormente pero con mnimo dado por 1 = /L,
cuya autofuncin asociada es n (x) = sen(nx/L) con n 1
ceros en (0, L), y adems, todas estas autofunciones forman
un conjunto ortogonal y completo, pues, para n 6= m se tiene:

p
L

p
p
+ e i L ) = A cos( L) ,

(2n + 1) 2
,
n =
2L

(L) = 0 = A(e i

(17)

f (x) = a 0 +

y cualquier funcin f (x) se puede escribir como combinacin lineal de la base sen(nx/L):
f (x) =

C n sen(nx/L) .

L d 2
0

= b
a

2
d b b
d
p(x)(x) d x + a p(x) d x q(x)2 (x) d x

b
a

2 (x)(x)d x

dx

dx

2 (x)d x

> 0,

cumplindose la desigualdad estricta por las mimas razones

que en el ejercicio anterior.

,
(19)

2n 1
x .
2 L

El cociente de Rayleigh dado por (19) adopta la forma, para

las condiciones de frontera dadas:

(18)

El cociente de Rayleigh dado por:

C n cos

n=1

10

Ejercicio 5.3.7

Ejercicio 5.3.8
Demostrar que 0 en el problema de autovalores

Cules de los apartados 1-5 del teorema de Sturm-Liouville

son vlidos para el siguiente problema de autovalores?

d 2
+ x 2 = 0,
2
dx

d 2
+ = 0,
dx 2
(L) = (L),

= 0 es un autovalor?

d
d
(L) =
(L).
dx
dx

Solucin. Considere el cociente de Rayleigh por las condiciones de contorno la funcin est definida en [0, 1], entonces

Solucin. La solucin de la EDO puede escribirse de la forma

p
p
(x) = A cos x + B sen x.
La condicin (L) = (L), implica
p
p
p
p
A cos L + B sen L = A cos L + B sen L ,

Anlogamente, la condicin de contorno

plica
p
2A sen L = 0.

(21)

2 dx

1
d
d
(0) dx (0) + (1) dx (1) + 0
1

1 d 2

d
d
dx (L) = dx (L) im-

dx

dx +

1
0

(22)

Lospvalores de que satisfacen las (21) & (22) son todos tales
que L = n con n Z, o bien
n 2
n =
n Z
L

1
0

d 2
+ x 2 2
dx

dx

2 dx

x 2 2 d x

2 dx

Puesto que se tratan de los integrandos son funciones no negativas en el intervalo de integracin, 0. Puesto que la integral del segundo trmino del numerador, no es nula entonces 6= 0.

pero puesto que el argumento que contiene a n se encuentra

elevado a una potencia par, los autovalores de n < 0 se repiten, lo cual indica que es suficiente considerar n N
n 2
n =
n N
L

Ejercicio 5.3.9
Considere el problema de autovalores

Desde ac se nota que R, entonces satisface la el primer

item del teorema. Existe un mnimo para n = 0, y no existe una cota mxima, con lo cual satisface el segundo item del
teorema. Al llevar a la solucin de la EDO se nota que la
autofuncin n es nica para cada ,
n = A n cos

ac p = 1, = 1 & q = x 2 , as

p
2B sen L = 0.

d 1 1
d 2
p dx + 0 p dx q2 d x
0

puesto que el coseno es par, y el seno impar, se sigue que

p
p
p
p
A cos L + B sen L = A cos L B sen L,
con lo cual

d
d
(0) = 0,
(1) = 0.
dx
dx

x2

d 2
d
+x
+ = 0,
2
dx
dx

(1) = 0, (b) = 0.

(23)

a) Demostrar que multiplicado por 1/x el problema se

transforma en uno de Sturm-Liouville.

n
n
x + B n sen
x.
L
L

b) Demostrar que 0.

puesto que
de contorno
que est de las condiciones

exigen

finida en L, L , regin en la cual cos L x posee dos ceros en

L/2 entonces la la auto funcin posee dos cortes, y el tercer
item del teorema no se cumple para ste caso. Las autofunciones se forman un conjunto completo ya que mediante su
superposicin se forma una serie de Fourier en senos y cosenos, y por el Teorema de Fourier cumple todas las condiciones que se requieren en el cuarto item. Dado que para ste
problema (x) = 1, y el hecho que las funciones senos y cosenos son una base ortogonal, el apartado 5 se cumple para
ste caso.
De esta forma ste caso cumple los items o apartados 1,2,3
& 5 del teorema de Sturm-Liouville.

c) Usando el hecho de que (23) es una ecuacin equidimensional, calcular todos los autovalores positivos. Es
= 0 un autovalor? Demostrar que hay infinitos autovalores con uno mnimo, pero que no existe autovalor
mximo.
d) De acuerdo con el Teorema de Sturm-Liouville con
respecto a qu peso son ortogonales las autofunciones?
Comprobar la ortogonalidad directamente mediante
integracin.
e) Demostrar que la autofuncin n-sima tiene n 1 ceros.
11

a) Solucin. Dividiendo (23) por 1/x, se tiene

x

que la proyeccin sobre dos elementos de la base est dada

por:

d 2 d
1
+
+ = 0
dx 2 dx
x

n
dx
ln x sen
ln x
,
ln b
ln b
x
1
ln b
m
n
=
sen
u sen
u du,
ln b
ln b
0
ln b
=
n,m .
2

empleando la regla del producto,

d
1
d
x
+ = 0,
dx
dx
x
un problema autovalores de Sturm-Liouville con p = x, q = 0
& = 1/x.

Rehacer el ejercicio anterior con las condiciones de contorno

d
d
(1) = 0
(b) = 0,
dx
dx
Solucin. La solucin de los incisos a & b son idnticas al
desarrollo anterior, en el el inciso c las soluciones son de la
forma
p

(
A cos ln x + B sen ln x si > 0
=
A ln x + B
si = 0
para el caso en que = 0, se tiene que

c) Solucin. Dado que (23) es equidimensional, se trata de

una ecuacin de Cachy-Euler, por lo cual se emplea una solucin de la forma = x r , entonces
en (23), se obtie al sustituir

ne la ecuacin caracterstica, r r 1 + r + = 0 = r 2 =
p
p
.pSi > 0, r = i , donde x i se puede escribir como
e i ln x . Entonces la solucin general es
p

= C 1 cos ln x +C 2 sen ln x

d
dx (1)

d
dx

A
x,

con lo que la

condicin
= 0 implica que A = 0, entonces para = 0
= B , como B es una constante aditiva y las condiciones son
de tipo Neuman, dicha constante es arbitraria y B = 0 y en
consecuencia = 0 no es un autovalor. Para el caso > 0 se
tiene
p

= A cos ln x + B sen ln x
con lo cual
p
p

p
p

d
= A
sen ln x + B
cos ln x
dx
x
x

La condicin de contorno
p (1) = 0 implica C 1 = 0, y la condicin (b) = 0 implica ln b = n o bien
ln b

Ejercicio 5.3.10

puesto que los integrandos son positivos en la regin de integracin, 0.

n =

sen

con lo cual si n 6= m la proyeccin se anula, lo cual indica que

la base es ortogonal.

b) Solucin. Desde el cociente de Rayleigh

d b b
d 2
2
p dx + a p dx q d x
a
=
,
b
2
a dx

2
d b b
d
x dx + 1 x dx d x
1
=
,
b 2
1 x dx
b d 2
1 x dx d x
= 2
.
b
dx
1 x

n 2

m | n =

la condicin de contorno dx (1) = 0 implica B = 0, la condip

d
cin dx (b) = 0 implica ln b = n, con lo cual la autofuncin es
n
n = cos
x .
ln b
Teniendo en cuenta que la funcin de peso est dada por
= 1/x, y empleando un cambio de variable u = ln x, se tiene
que la proyeccin sobre dos elementos de la base est dada
por:

Si = 0, la EDO toma la forma

d
d
x
=0
dx
dx
con solucin
= A ln x + B.

La condicin (1) = 0 implica B = 0, y la condicin (b) = 0

implica A = 0, por lo tanto = 0 no es un autovalor.

d) Solucin. Las autofunciones tienen la forma

p

n = sen ln x

n
dx
ln x cos
ln x
,
ln b
ln b
x
1
ln b
m
n
=
cos
u cos
u du,
ln b
ln b
0
ln b
=
n,m .
2

m | n =

cos

con lo cual si n 6= m la proyeccin se anula, lo cual indica que

la base es ortogonal.

Teniendo en cuenta que la funcin de peso est dada por

= 1/x, y empleando un cambio de variable u = ln x, se tiene
12

A. Grficas 3D
La grfica 1 ha sido generada con Microsoft Mathematics
4.0 y puede ser reproducida con el comando

show3d(
ploteq3d(
z=(
seriesSum(2pin(-1)^n/(4-pi^2n^2)sin(2)
sin(npi/2x)e^(-(n*(pi/2))^2y), n, 1, 10)
),
{x, 0, 2},{y, 0, 2},{z, 0, 1.2}
),
{ShowWireframe, false},
{ViewAngle, 60.679, -121.852, 62.848},
{x, 0, 2},{y, 0, 2},{z, 0, 1.2}
)
La grfica 6 ha sido generada con Microsoft Mathematics
4.0 y puede ser reproducida con el comando

show3d(
ploteq3d(
z=(
seriesSum(16((-1)^n-1)/(n^3pi^3sinh(2npi))
sinh(npi/2y)sin(npi/2x), n, 1, 10)
),
{x, 0, 2},{y, 0, 4},{z, -1, 1}
),
{ShowWireframe, false},
{ViewAngle, 34.552, -124.818, 67.539},
{x, 0, 2},{y, 0, 4},{z, -1, 1}
)
Las grficas 3D de las autofunciones de la ecuacin de onda
han sido generadas con Microsoft Mathematics 4.0 y pueden ser reproducidas con el siguiente comando remplazando
el respectivo valor de n

show3d(
ploteq3d(
z=(
2(1-cos(2)(-1)^n)/(n^2pi^2-4)sin( n pi(y))
+4(1-(-1)^n)/(n^3pi^3)cos(n pi(y))
)sin(n pix),
{x, 0, 1},{y, 0, 2},{z, -0.021, 0.021}
),
{ShowWireframe, false},
{ViewAngle, 62.389, -132.47, 67.671},
{x, 0, 1},{y, 0, 2},{z, -0.021, 0.021}
)

13