P ROBLEMAS DE AUTOVALORES TIPO S TURM -L IOUVILLE .

UNIVERSIDAD PEDAGGICA Y TECNOLGICA DE COLOMBIA.

FACULTAD DE CIENCIAS
ESCUELA DE FSICA.
Fsica Matemtica.

Angie N Acero H, Cristian F. Rodrguez C.

22 de agosto de 2015

Ejercicios 5.4

del cociente de Rayleight es posible caracterizar , de la

forma
L 2

d
2
K0
dx
dx
= 0
,
L

Ejercicio 5.4.1

2 c dx

Considere la ecuacin
0

u
c
=
K0
+ u,
t
x
x

Como es estrictamente negativo < 0 , se puede escribir = 0

L 2

d
0 2
+ dx
K0
dx
0
,
=
L

donde c, , K 0 & son funciones de x, sujeta a las condiciones

u(0, t ) = 0,

2 c dx

u(L, t ) = 0,

Como K 0 , c, , & 0 son positivos1 se tiene que efectivamente los integrandos positivos y as se muestra que
0.

u(x, 0) = f (x),
y supngase que se conocen las autofunciones adecuadas.

b) Solucin. Las condiciones de contorno heredadas a

la parte espacial son (0) = (L) = 0; la ecuacin es de
tipo Sturm-Liouville; dado que p, q & son reales y continuos en todo el intervalo de [0, L], garantiza un problema Sturm-Liouville regular, de acuerdo a ste teorema se sabe que hay una sucesin infiita de autovalores,
n , y otra sucesin constituida por sus correspondientes autofunciones n (x) (en general n (x) son funciones especiales, para ste caso se suponen conocidas) as
se tiene que la n-sima solucin para la EDP es

(a) Demostrar que los autovalores son positivos si <

0.
(b) Resolver el problema de valores iniciales.
(c) Analizar brevemente el lm u(x, t ).
t

a) Solucin. Al solucionar por separacin de variables

se obtiene una solucin para la parte temporal de la forma
h(t ) = C e t ,

u n (x, t ) = a n n (x)e n t .
Usando el principio de superposicin, la solucin u a la
EDP es una combinacin lineal de stos productos,
X
u(x, t ) = a n n (x)e n t .

y una ecuacin de Sturm-Liouville

d
d
K0
+ + c = 0.
dx
dx

Imponiendo la condicin inicial,

X
u(x, 0) = f (x) = a n n (x),

Note que el problema es un problema de SturmLiouville con P = K 0 , q = & (x) = c(x). Por medio

1 Por medio de la propiedad de tricotoma de los nmeros reales se garantiza que 0 > 0

proyectando sobre un elemento de la base m ,

f (x)m (x)(x) dx =

n (x)m (x)(x) dx ,

an

y el problema de autovalores Sturm-Liouville,

dn
d
K0
+ n c = 0
dx
dx

con condiciones de frontera heredadas,

por la ortogonalidad de las autofunciones,

f (x)m (x)(x) dx = a m
0

d
d
(0) = 0 =
(L)
dx
dx

2m (x)(x) dx ,

as el cociente de Rayleight para ste problema es,

L

d L
d 2
dx
K 0 (x)
+
K0
dx 0
dx
0
,
=
L

como m es una variable muda

L
0

an =

f (x)n (x)(x) dx

L
0

2n (x)(x) dx

2 (x)c(x)(x)d x

por las condiciones de contorno

L 2
d
dx
K0
dx
0
= L
,

Con lo cual la solucin al problema de valores iniciales

es

f (x)n (x)(x) dx
u(x, t ) =

2 (x)c(x)(x)d x

n (x)e n t .

2n (x)(x) dx

Ejercicio 5.4.2

entonces 0. Si puede ser cero, entonces ste es el

mnimo autovalor que llamaremos 1 y el cociente para
ste autovalor toma la forma

L
d1 2
dx
K
0
0
dx
0= L
0 1 (x)c(x)(x) dx
L

d1 2
=
K0
dx
dx
0

Considere el problema

Como el integrando es no negativo,

c) Solucin. Si t
=
e n t 0, es decir la
respuesta u al sistema decae y tiende a cero cuando
t .

u
=
K0
,
t
x
x

0 = K0

d1
dx

d1
dx
C = 1 .

donde c, & K 0 son funciones de x, sujeta a las condiciones

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

Entonces efectivamente mn = 1 = 0, y su autofuncin

ms simple es 1 = 1. Con lo cual,
u(x, t ) =

a n n e n t ,

n=1

y supngase que se conocen las autofunciones correspondientes. Resolver el problema de valores iniciales y
analizar brevemente el el lm u(x, t ).

Imponiendo la condicin inicial,

Solucin. Usando el mtodo de separacin de variables, u(x, t ) = h(t )(x) se obtiene

proyectando sobre un elemento de la base respecto a

(x) = c(x)(x), se tiene,

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

hn = C n e

a n n ,

n=1

n t

an =

f (x)n (x)(x) dx

L
0

2n (x)(x) dx

Ejercicio 5.4.4

El termino para 1 en u independiente de t , tal que

L
u=

f (x)(x) dx

L
0

(x) dx

n=2

f (x)n (x)(x) dx

L
0

2n (x)(x) dx

Considrese el siguiente problema de contorno:

n e n t

u
2u
=k 2,
t
x

dado que n > 0; n N {0, 1}, en el lmite que t ,

e n t 0, y el nico trmino que sobrevive en u es

L
0

u(x, ) =

f (x)(x) dx

L
0

(x) dx

u
1
u
r
=k
t
r r
r

con u(r, 0) = f (r ), u(0, t ) M < , & u(a, t ) = 0. Se

puede suponer que las correspondientes autofunciones, que denotamos por n (r ), son conocidas y forman
un sistema completo.

La solucin a la ecuacin de Sturm-Liouville es

p
p
= A sen x + B cos x
Heredando las condiciones de frontera a tal que u no
sea trivial, se tiene
d
(0) = 0 = (L).
dx

Solucin. Usando el mtodo de separacin de variables, u(r, t ) = (r )h(t )

dh
h(t ) d
d
(r )
=k
r
dt
r dt
dr

Entonces,

h p
p
p
p i
d
=
A

cos
x

sen
x ,
0
dx 0
p
= A ,

0=

con lo cual

dh

= kh = h n = C e n kt

dt

d
d

r
+ r = 0,
Ec. Sturm-Liouville
dt
dr

= A.

p
(x) = B cos x

p
0 = (L) = B cos L,
p
0 = cos L

p
1
n = n
.
2 L

supuesta conocida la solucin a la ecuacin de SturmLiouville.

X
u(r, t ) = a n n (r )e kt ,

Con lo cual se tienen las autofunciones n , y por el principio de superposicin se tiene,

p
X
u(x, t ) = Bn cos n xe kt ,

Con la condicin inicial u(r, 0) = f (r ),

X
u(r, 0) = f (r ) = a n n (r ),

la condicin inicial

proyectando sobre un elemento de la base

u(x, 0) = sen

Bn cos

p
n x,

donde Bn son coeficientes de Fourier y se tiene,

x
p
2 L

Bn =
sen
cos n x dx
L 0
L

f (r )n (r )r dr
an =

d 2
dh
= k 2 h,
dt
dx

con lo cual

dh

= hk; h = C e kt

dt
d 2

+ = 0,
Ec. Sturm-Liouville.
dx 2

Resolver el problema

Solucin. Usando el mtodo de separacin de variables, u(r, t ) = (r )h(t ),

Ejercicio 5.4.3

u
(0, t ) = 0
x

u(L, t ) = 0.

Resolverlo con la condicin inicial u(x, 0) = sen x
L .
con

.
2n (r )r dr

Falta integrar
3

Ejercicio 5.4.5

Anlogamente al caso para B n

Considrese la ecuacin

g (x)n (x)(x) dx
.
A n = p0 L
n 0 2n (x)(x) dx

u
u
= T0 2 + u,
t 2
x

donde (x) > 0, (x) < 0 & T0 es constante, con las condiciones
u(0, t ) = 0,

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

u(L, t ) = 0,

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

Ejercicio 5.4.6
Resolver el problema de vibraciones de una cuerda no
uniforme de densidad de masa 0 (x), suponiendo que
el extremo izquierdo, x = 0, est fijo y el derecho, x = L,

Resolver el problema de valores iniciales suponiendo

conocidas las autofunciones adecuadas.

satisface la condicin de contorno elstica: T0

Solucin. Usando separacin de variables con u(x, t ) =

h(t )(x)
(x)

y que la cuerda est inicialmente en reposo con una posicin inicial conocida f (x). Hint: supngase que se conocen los autovalores y las autofunciones correspondientes, qu ecuaciones diferenciales cumplen y con qu
condiciones de contorno?, respecto a qu peso son ortogonales las autofunciones?

d 2h
d 2
(x)
=
T
h(t ) + (x)(x)h(t ),
0
dt 2
dx 2

Con lo cual
2
p
p
d h

+ h = 0; h n = A n sen n t + B n cos n t

2
dt
2

T d + + = 0, Ec. Sturm-Liouville.

0
dx 2

Solucin. El problema consta de una cuerda no uniforme, entonces sta satisface la EDP
0

Por el Teorema de Sturm-Liouville, existen infinitas autofunciones n con su correspondiente autovalor n

que satisfacen las condiciones de contorno heredadas,
donde el conjunto n es una base completa y por proposicin se supone conocida. La reunin de todos los n
hacen una sucesin en los reales, con un valor mnimo
que se denota por 1 ; con lo cual la solucin general al
problema puede ser escrita como:
u(x, t ) =

implicaT0

u
(L, t ) = ku(L, t ), ya que la cuerda parte del
x

du
(x, 0) = 0, y con una posicin inicial conocidt
da f (x) entonces u(x, 0) = f (x). Por proposicin se suponen conocidas las autofunciones que cumplen las
condiciones de contorno, entonces el problema se reduce al del inciso anterior, con lo cual,
reposo

n=1

La primera condicin inicial u(x, 0) = f (x) implica

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

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

una condicin de extremo fijo en x = 0 indica

u(0, t ) = 0 la condicin de contorno elstica en x = L

p
p
n (x) A n sen n t + B n cos n t ,

u
= ku ,
x

u(x, t ) =
B n n (x),

p
p
n (x) A n sen n t + B n cos n t .

n=1

n=1

Anlogamente al inciso anterior, los coeficientes se obtienen empleando la ortogonalidad de las autofunciones n respecto al peso que en ste caso es la funcin de
densidad de la cuerda,

la cual corresponde a una serie generalizada de Fourier

ya que n son ortogonales respecto al peso de la ecuacin de Sturm-Liouville, as

L
Bn =

f (x)n (x)(x) dx

2
0 n (x)(x) dx

g (x)n (x) 0 (x) dx

,
A n = p0 L
n 0 2n (x) 0 (x) dx

La Segunda condicin inicial u t (x, 0) = g (x) implica

p
X
u
(x, 0) = g (x) =
A n n n (x).
t
n=1

Bn =

f (x)n (x) 0 (x) dx

L
0

2n (x) 0 (x) dx

a) Solucin. (0) = 0

como la cuerda parte del reposo, se tiene el caso en que

g (x) es idnticamente nula, as A n = 0 y la solucin se
reduce a

u(x, t ) =

B n n (x)cos

0
0
L

7du
7dv

du
dv

v
(L) v(L)
(L)
=p(L) u(L)
p u



dx
dx 0
 dx
 dx

n t ,

n=1

con

L
0

Bn =

0
0
7
7


dv
du

p(0) u(0)
(0) v(0)
(0) = 0.


dx

 dx

f (x)n (x) 0 (x) dx

L
0

2n (x) 0 (x) dx

Entonces a uL(v) vL(u) d x = 0 y el problema de autovalores es autoadjunto.

Ejercicios 5.5
Ejercicio 5.5.1

b) Solucin.
Decimos que un problema de autovalores SturmLioville es autoadjunto si

ya que entonces a uL(v) vL(u) d x = 0 para cualquier par de funciones u y v que cumplan las condiciones de frontera . Demostrar que las siguientes condiciones dan lugar a un problemas de Sturm-Liouville autoadjuntos:

(b)

d
(0) = 0
dx

(c)

d
(0) h(0) = 0
dx

(d) (a) = (b)

(L) = 0.

0
0


dv
du

p(0) u(0) (0) v(0) (0) = 0.

dx
dx

Entonces a uL(v) vL(u) d x = 0 y el problema de autovalores es autoadjunto.

(L) = 0.

d
(0) = 0
dx

0
0
L

7


7

dv
dv
du
du

=p(L) u(L)
p u
v
(L) v(L)
(L)


dx
dx 0
dx

 dx

dv
du b
p u
v
= 0,
dx
dx a

(a) (0) = 0

(L) = 0.

(L) = 0.

(e) (a) = (b)

lo si p(a) = p(b)]

p(a)

d
(L) = 0.
dx

c) Solucin.

d
d
(a) = p(b)
(b).
dx
dx

d
(0) h(0) = 0
dx

d
(L) = 0.
dx

0
0
L



dv
du
dv
du

p u
v
=p(L) u(L) (L) v(L) (L)
dx
dx 0
dx
dx

d
d
(a) =
(b) [Autoadjunto sdx
dx

hu(0)



dv
du

p(0)
u(0) dx (0) v(0) dx (0)

(f) (L) = 0 [y en el caso que p(0) = 0, (0) acotado y

d
= 0]
lmx0 p(x)
dx

hv(0)

= p(0) u(0)hv(0) v(0)hu(0)

(((( (
(((( = 0.
= p(0) (
hu(0)v(0)
hu(0)v(0)

(g) En qu casos es autoadjunto un problema de

sturm-liouville? con p constante y las siguientes
condiciones de contorno:

(L) + (0) +
(0) = 0
dx

d (L) + (0) + d (0) = 0

dx
dx

Entonces a uL(v) vL(u) d x = 0 y el problema de autovalores es autoadjunto.

5

d
d
(a) = p(b)
(b).
dx
dx

dv
du b
du
dv
p u
v
=p(b) u(b) (b) v(b) (b)
dx
dx a
dx
dx

du
dv
p(a) u(a) (a) v(a) (a)
dx
dx
dv
du
=p(b)u(b) (b) p(b)v(b) (b)
dx
dx
dv
du
p(a)u(a) (a) + p(a)v(a) (a)
dx
dx

du
dv



 (a)
(a) p(a)v(a)
=p(a)u(a)






dx
dx

dv
du 

 (a) + p(a)v(a)
(a)
p(a)u(a)
 dx
 dx
=0.

d) Solucin. (a) = (b)

Como (0) es acotado el lmite existe y se tiene

p(a)

du L
du
dv
dv
v
p u
=u(0)lm p(x) +v(0)lm p(x) ,

x0
x0
dx
dx 0
dx
dx

como p(0) = 0, la expresin se anula el problema es aud

toadjunto siempre y cuando
no crezca ms rpido de
dx
d
= 0.
lo que p decrece, es decir si lm p(x)
x0
dx
g) Solucin. p constante &

(L) + (0) +
(0) = 0

dx
d
d

(L) + (0) +
(0) = 0.
dx
dx
Como p es constante, el problema es auto adjunto sii,

Entonces a uL(v) vL(u) d x = 0 y el problema de autovalores es autoadjunto.

e) Solucin. (a) = (b)

junto slo si p(a) = p(b)]

u(L)

du
dv
du
dv
(L) v(L) (L) = u(0) (0) v(0) (0).
dx
dx
dx
dv

Las condiciones en L pueden ser reducidas desde las

condiciones de contorno.

dv
du
dv
du
u(0) (0)v(0) (0) =u(0) (0)v(0) (0).
dx
dx
dx
dv

d
d
(a) =
(b) [Autoaddx
dx

dv
dv
du b
du
p u
=p(b)
u(b)
v
(b)

v(b)
(b)
dx
dx a
dx
dx

dv
du
p(a) u(a) (a) v(a) (a)
dx
dx
dv
du
=p(b)u(b) (b) p(b)v(b) (b)
dx
dx
dv
du
p(a)u(a) (a) + p(a)v(a) (a)
dx
dx
dv
du
=p(b)u(a) (a) p(b)v(b) (b)
dx
dx
dv
du
p(a)u(a) (a) + p(a)v(b) (b)
dx
dx

dv
=u(a) (a) p(b) p(a)
dx

du
v(b) (b) p(b) p(a) .
dx

Lo cul es cierto sii = 1.

Ejercicio 5.5.2
Probar que las autofunciones del siguiente problema
de autovalores correspondientes a autovalores distintos
son ortogonales:

d
d
p(x)
+ q(x) + (x) = 0,
dx
dx
con las condiciones de contorno

0 = (1)
0 = (2) 2 d (2)
dx
Cul es la funcin peso?

Para que el problema sea auto adjunto sta expresin se

debe anular y se anula slo si p(b) = p(a).

Solucin. El problema de autovalores es auto adjunto

ya que

0
0
2

7dv
7du

du
dv

v
=p(2) u(2)
(2) v(2)
(2)
p u



dx
dx 1
 dx
 dx

dv
du
p(1) u(1) (1) v(1) (1)
dx
dx

!


 v(1)u(1)

= 2p(1) u(1)v(1)
= 0.





f) Solucin. (L) = 0 [y en el caso que p(0) = 0, (0) acod

= 0]
tado y lmx0 p(x)
dx

0
0

L
7dv
7du

dv
du

p u
v
=p(L) u(L)
(L) v(L)
(L)



dx
dx 0
 dx
 dx

dv
du
lm p(x) u(x) (x) v(x) (x) ,
x0
dx
dx
6

Ejercicio 5.5.4

Como n & n cumplen las condiciones de contorno, la

primera identidad de Green para el problema autoadjunto es:
2

uL(v) vL(u) dx = 0,

Dar un ejemplo de un problema de autovalores en que a

un mismo autovalor corresponda ms de una autofuncin.

o bien,

n n m m n m dx = 0,

Solucin. El caso ms obvio es el caso peridico, un

ejemplo particular es

es decir

n m

n m dx = 0,

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

Como en general n 6= m si n 6= m,

n m dx = 0,

La solucin a la EDO es

n 6= m.

Por lo tanto n & m son ortogonales con respecto al

peso .

n = A n cos

la primera condicin de contorno implica

Ejercicio 5.5.3

p
p
A n cos( n ) + B n sen( n ) =
p
p
= A n cos( n ) + B n sen( n )

Consideremos el problema de autovalores L() =

con condiciones de contorno homogneas dadas. Supongamos que

p
p
n x + B n sen n x,

uL(v) vL(u) dx = 0,

p ((
p
(((
A n(cos(
n ) B n sen( n ) =
(
p ((
p
(((
A n(cos(
n ) + B n sen( n )
=(

para todas las funciones u & v que cumplan esas condiciones de contorno. Probar que las autofuncioes correspondientes a autovalores diferentes son ortogonales; Con qu peso?

= B n sen(

Solucin. Como las autofunciones deben cada una satisfacer las condiciones de contorno, tambin satisfacen,
1

n L(m ) m L(n ) dx = 0,

p
n ) = 0.

Similarmente con la segunda condicin de contorno

A n sen(

n ) = 0.

o bien,

Con lo cual ambas situaciones son satisfechas si

n (x)n m m (x)n m dx = 0,

es decir

n m

sen(
1

n m (x) dx = 0,
0

Con lo cual B n & A n no son necesariamente nulas, es

decir,

Como en general n 6= m si n 6= m,

p
n ) = 0 = n = n 2

n m (x) dx = 0,

n = A n cos nx + B n sen nx,

n 6= m.

Por lo tanto n & m son ortogonales con respecto al

peso (x).

un ejemplo en el que un nico autovalor posee dos autofunciones.

7

Ejercicio 5.5.5

d) Solucin. Si z = e r x ,

2
r x
z
=
r + 3 er x
L z =
L e
=
L
r
r
r
r

rx

2 r x
= 2 r +3 e +x r +3 e

= 2 + x r + 3 r + 3 er x .

Considere el operador
d
d2
+6
+9
2
dx
dx

2
(a) Demostrar que L e r x = r + 3 e r x
L=

(b) Utilizar el apartado (a) para obtener las soluciones de la ED de segundo orden con coeficientes
constantes L(y) = 0.

Ejercicio 5.5.6
Probar que si x es una raz de un polinomio de sexto grado con coeficientes, entonces x tambin es una raz.

(c) Si z depende de x & de un parmetro r , demostrar

que

z
L(z) = L
.
r
r

z
si z = e r x .
(d) Utilizando el apartado (c) evaluar L
r

Demostracin. Sea x una raz de un polinomio de coeficientes reales de sexto grado, es decir que x satisface
a0 + a1 x + a2 x 2 + a3 x 3 + a4 x 4 + a5 x 5 + a6 x 6 = 0
o de forma compacta,

(e) Obtener una segunda solucin de L(y) = 0, usando el apartado (d).

6
X

an x n = 0

n=0

a) Solucin.

L e

rx

Al aplicar conjugado a ambos miembros se tiene

d 2e r x
de r x
=
+
6
+ 9e r x
dx 2
dx
= r 2 e r + 6r e r x + 9e r x

= e r x r 2 + 6r + 9

2
= r + 3 er x

6
X

a n x n = 0,

n=0

dado que el conjugado de una suma es la suma de los

conjugados
6
X
a n x n = 0,
n=0

puesto que el conjugado de una multiplicacin es la

multiplicacin de los conjugados

b) Solucin. L(y) = 0. dado que la EDO es de coeficientes constantes, se propone una solucin de prueba y 1 =
e r x , es decir

L er x = 0

6
X

a n x n = 0,

n=0

desde el inciso anterior se tiene

r +3 e

rx

por proposicin los coeficientes a n son reales, como el

conjugado de un nmero real es el mismo real

=0

6
X

donde se obtiene una primera solucin con r = 3

a n x n = 0,

n=0

y 1 = e 3x .

dado que el conjugado de una multiplicacin es la multiplicacin de los conjugados, entonces el conjugado de
una potencia es la potencia del conjugado,

c) Solucin. La aplicacin en derivada parcial respecto

a r es lineal ya que z depende explicitamente de r , & x
es independiente de r . El operador de Sturm-Liouville,
es lineal, con lo cual el orden de aplicacin
se hace irre
z

.
levante y se sigue que L(z) = L
r
r

6
X

a n x n = 0.

n=0

Con lo cual se ha mostrado que x satisface la igualdad

por lo tanto tambin es una raz del polinomio.
8

Ejercicio 5.5.8

o bien,

du d 3v
=
dx dx 3

Consideremos el operador diferencial de orden cuarto ,

Con lo cual,

d4
L = 4.
dx

d 4v
d
d v
d du d 2v
d 2u d 2v
u 4=
u 3
+
.
dx
dx
dx
dx dx dx 2
dx 2 dx 2

(a) Demostrar que uL(v) vL(u) es una diferencial

exacta.
1

(b) Expresar 0 uL(v) vL(u) dx en trminos de

los datos de contorno, para funciones u & v cualesquiera.
1

(c) Demostrar que 0 uL(v) vL(u) dx = 0, si u &

v son funciones cualesquiera que cumplan las siguientes condiciones de contorno:
(0) = (1) =

Anlogamente, se tiene
3

d 4u
d
d u
d dv d 2u
d 2v d 2u
v 4=
v 3
+
.
dx
dx
dx
dx dx dx 2
dx 2 dx 2
Restando estas dos expresiones se tiene
3

d 4v
d 4u
d
d v
d du d 2v
d 2
v
d 2u 
u 4 v 4 =
u 3
+

2 dx 2
dx
dx
dx
dx
dx dx dx 2
dx

3

2
d
d u
d dv d u
d 2
u
d 2v 

v 3 +

.

2
2
dx
dx
dx dx dx
dx dx 2


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

Dado que la derivada es un operador lneal

3

d 4u
d
d 3u
d 4v
d v du d 2v dv d 2u
+

v
u 4 v 4 =
u 3
dx
dx
dx
dx
dx dx 2 dx dx 2
dx 3

(d) Dar otro ejemplo en que

d4
Por proposicin se considera el operador L =
, endx 4
tonces
3

d
d 3u
d v du d 2v dv d 2u
uL(v) vL(u) =
+
v 3
u 3
dx
dx
dx dx 2 dx dx 2
dx

uL(v) vL(u) dx = 0.

(e) Para el siguiente problema de autovalores

Con lo cual uL(v) vL(u) es una diferencial exacta.

d 4
+ e x = 0,
dx 4

b) Solucin. Por el teorema fundamental del clculo

demostrar usando las condiciones de contorno

del apartado (c), que las autofunciones correspondientes a autovalores distindos son ortogonales. Cul es la funcin peso?

uL(v) vL(u) dx =

1
3
d 3u
d v du d 2v dv d 2u
+
v 3
= u 3
dx
dx dx 2 dx dx 2
dx 0

a) Solucin. Considere la derivada de un producto

d
dg d f
+
g
f g = f
dx
dx dx

c) Solucin. (0) = (1) =

d 3v
si, f = u & g =
, entonces
dx 3
3
d
d v
d 4v du d 3v
u 3 =u 4 +
dx
dx
dx
dx dx 3
o bien,

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

uL(v) vL(u) dx =

1
3
d v du d 2v dv d 2u
d 3u
= u 3
+

v
dx
dx dx 2 dx dx 2
dx 3 0

0
0
0
0

7

7

d 3v
d 3u
du d 2v
dv d 2u

= u

+
v


3
dx dx 2
dx dx 2
dx 3
 dx


1
1
1
1

0
0
0
0

d 3v
d 3u
du
 d 2v
dv
d 2u

= 0.
u
+



+ v
3
2
2
3
dx
dx
dx
dx
dx
dx




3
d 4v
d
d v
du d 3v
u 4=
u 3
.
dx
dx
dx
dx dx 3

d 2v
du
&g=
dx
dx 2

d du d 2v
du d 3v d 2u d 2v
=
+
,
2
dx dx dx
dx dx 3 dx 2 dx 2

Si en cambio f =

d) Solucin. (0) =

d 2
d 3
d 2
(0)
=
(1)
=
(1) = 0.
dx 2
dx 2
dx 3

Solucin. Multiplicando la EDO por e integrando

e) Solucin. EL problema de Autovalores se puede escribir de la forma L() + e x = 0, entonces para un par
de autovalores distintos se tiene
x

L(n ) + n e n = 0 L(m ) + m e m = 0

con u = v =

2 2
d 4
d
d 3
d d d 2
d
4=
3
+
,
2
dx
dx
dx
dx dx dx
dx 2

En el inciso (c) se demostr que para ste operador, y

un par de funciones cuales quiera que satisfagan stas
condiciones de contorno se tiene

entonces, por el teorema fundamental del clculo,

uL(v) vL(u) dx = 0,

como las autofunciones deben cada una satisfacer las

condiciones de contorno, tambin satisfacen,

1
1
1 1

d 3
d 2
d d 2
dx
+

+
2 e x dx = 0,
dx 3 0 dx dx 2 0
dx
0
0

por las condiciones de contorno los dos primeros trminos se cancelan y se tiene,

n L(m ) m L(n ) dx = 0,

o bien,

2 e x dx = 0.

m L(n ) = n e n m n L(m ) = m e n m .

d
d v
d du d 2v
d 2u d 2v
d 4v
u 3
+
.
u 4=
dx
dx
dx
dx dx dx 2
dx 2 dx 2

multiplicando la primera por m y la segunda por n se

tiene

d 4
4 dx +
dx

Retomando la identidad encontrada,

d
dx

dx
,

2 x

e dx

n e x n m m e x n m dx = 0,

es decir

n m

Como todos los integrandos son no negativos en el intervalo de integracin, entonces 0. Desde el anlogo al cociente de Rayleigh se tiene que si = 0 se debe
cumplir que
d
= 0,
dx

n m e x dx = 0,

Como en general n 6= m si n 6= m,

n m e x dx = 0,

n 6= m.

es decir = C , pero por la condicin de contorno (1) =

0 entonces C = 0 es decir = 0 con lo cual se tiene un
aporte trivial, es decir = 0 no es un autovalor.

Por lo tanto n & m son ortogonales con respecto al

peso e x .

Ejercicios 5.6

Ejercicio 5.5.9
Dado el problema de autovalores

Ejercicio 5.6.1

d 4
+ e x = 0,
dx 4

Usar el cociente de Rayleigh para obtener una cota superior (razonablemente precisa) del autovalor mnimo
de los siguientes problemas:

con las condiciones de contorno

(0) = (1) =

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

demostrar que los autovalores son menores o iguales a

cero ( 0). Esto no es sorprendente, ya que en el contexto fsico es exactamente lo que se espera. Es = 0 un
autovalor?
10

(a)

d 2
d
+ x 2 = 0, con
(0) = 0 & (1) = 0.
2
dx
dx

(b)

d 2
d
d
+

x
= 0, con
(0) = 0 &
(1) +
dx 2
dx
dx
2(1) = 0.

(c)

d
d 2
+ = 0, con (0) = 0 &
(1) + (1) = 0.
2
dx
dx

Usando una funcin test u T = 3x 2x 2 , se tiene

a) Solucin. Por las condiciones de contorno el cociente asociado a la funcin test queda
1

du T 2
2 2
+ x u T dx
dx
1 0
1
0

0
1

25
4.16
6

u T2 dx

Ejercicio 5.6.2
Cnsiderese el problema de autovalores

2 i
4x 2 + x 2 x 2 1
dx

1h
0

(3 4x)2 dx

(3x 2x 2 )2 dx

Usando una funcin test u T = x 2 1, se tiene

1+

d 2
2
+

x
= 0,
dx 2

(x 1) dx
0

o bien,

0
1

d
d
(0) = 0 &
(1) = 0. Demostrar
dx
dx
que > 0, asegurndose de demostrar que 6= 0.
con las condiciones

x 6 2x 4 + 5x 2 dx

Solucin. Del ejercicio anterior se tiene que

x 4 2x 2 + 1 dx

con lo cual,
=

1 7 2 5 5 3 1
x x + x
7
5
3
37
0
1
2.64.
1 =

14
1 5 2 3
x x + x
5
3

d
dx

+ x 2 2 dx

dx
0

Suponga = 0, entonces desde el cociente de Rayleight

b) Solucin. Por las condiciones de contorno el cociente asociado a la funcin test queda
1

du T 2
+ xu T2 dx
dx
1 0
1
0

Probar de la forma siguiente que la frmula

1h

(x 4 3)2 dx

L(u) =

927
=
0.74
1246

X
n=1

a n L(n (x)),

con u =

a n n (x)

n=1

es vlida: supngase que L(u)/ es suave a trozos y por

ello

L(u) X
=
b n n (x);

n=1

c) Solucin. Por las condiciones de contorno el cociente

asociado a la funcin test queda
1

du T 2
2
+ xu T dx
dx
1 0
1
0

= x 2 2

Ejercicio 5.6.3

Usando una funcin test u T = x 4 3, se tiene

afirmacin que tiene sentido sii = 0, pero como

se descarta como autofuncin = 0 no es una autofuncin.

u T2 dx

2 i
(4x 3 )2 + x x 4 3
dx

d
dx

calclense los coeficiente b n . Hint: demostrar, utilizando la frmula de Green & la ecuacin (5.5.5), que b n =
du
a n n , si u &
son continuas y u cumple las mismas
dx
condiciones de contorno que las autofunciones n (x).

u T2 dx

11

Solucin. Si se considera la formula de Green, para un

par de funciones u & v, que satisfagan las mismas condiciones de contorno homogneas (es decir L es autoadjunto), entonces

Solucin. Justo antes de terminar la seccin 5.7 se mostr que

s
s
p
T0
T0

1
,
L max
L mn

uL(v) vL(u) dx = 0

ac L = 1 & por definicin c 2 =

Como es vlido para cualquier par de funciones, en particular v = m

c mn =

T0

entonces,
s

T0
max

c max =

T0
,
mn

uL(n ) n L(u) dx = 0

las cotas c max y c mn se pueden obtener con el criterio

de la primera derivada, per hay una cota mnima que se
puede obtener ms rpidamente si se considera el hecho que

1 2
2
4 x
0
2

por la Ec (5.5.5) L(n ) = n n , entonces

un + L(u) n dx = 0.

El integrando debe ser cero, entonces

un = L(u)

o bien

1 2
1 + 42 x
1
2

con el supuesto,

L(u) X
b n n (x),
=

n=1

es decir 1 c 2 con lo cual se tiene una cota mnima.

y el hecho
u=

c mn

a n n (x).

p
1 c max ,

n=1

a n n (x)n =

n=1

o bien,

b n n (x)

n=1

a n n (x)n =

n=1

b n n (x)

1 c max .

La funcin para c 2 es una parbola con cota mnima,

n=1

una cota mnima que se reproduce si x = 12 , lo cual quiere decir que c es decreciente montona por izquierda y
creciente montona por derecha en torno a 12 , para todo
el eje real, como 0 x 1 entonces se tiene un mximo
en 0 en 1, con lo cual el mximo ser alguno de stos
dos valores, per como la funcin es simtrica en torno a
1/2, cualquiera que se tome reproduce la cota mxima,
es decir
p
c max = c(1) = c(0) = 1 + 2 ,

Se tiene una serie de funciones linealmente independientes igualada a una serie de las mismas funciones
linealmente independientes, eso es vlido sii sus coeficientes uno a uno son iguales, es decir
a n n = b n
Con lo cual es vlida la ecuacin (5.6.11) y con ella la
(5.6.10).

Ejercicios 5.7

con lo cual

Ejercicio 5.7.1

1 + 2 .

p
Dado que 1 es la frecuencia angular del primer modo de vibracin,
p la frecuencia de dicho modo est dada
est dada por 1 /2, es decir que la cota para la frecuencia delhprimer modo i(frecuencia mnima) est en
p
el intervalo 1/2, 1/2 1 + 2

Obtener una cota superior y una cota inferior (no nula), para la frecuencia mnima de vibracin de una cuerda vibracin de una cuerda no uniforme, fija en x = 0 y

2
x = 1, tal que c 2 = 1 + 42 x 21 .

12

Ejercicio 5.7.2

sen i senh . Dado que la segunda condicin es
de tercer tipo, en general, la solucin de

Considrese el flujo de calor de una varilla unidimensional sin fuentes y con coeficientes trmicos constantes. Supngase que la temperatura es nula en x = 0 & en
x = L, y que mn max & K mn K 0 (x) K max . Obtener una cota superior y una cota inferior (no nula) de
la mnima tasa de decaimiento exponencial de la solucin producto.
Solucin.

tan z n =

establece n , bien sea positivo o negativo, pero con un

mnimo y se denota por 1 .
Si hL 1 no existen soluciones imaginarias para z n es
decir que n 0. Ms an si hL = 1 existe una primera solucin z 1 = 0 y las dems soluciones estn acotadas
por

1
(n 1) < z n < n , n 2.
2

u
u

c
K0
+Q
=
t
x
x

Como no hay fuentes Q = 0, & los coeficientes trmicos

son constantes, la ecuacin se reduce a(1.2.10) [pg. 8-9,
Haberman]
u
2u
=k 2,
t
x

Si hL > 1 la solucin para nula para z n , no forma un

autovalor ya que se anula al intentar satisfacer las condiciones de contorno. Para 0 > hL > 1 se tienen las cotas,

1
(n 1) < z n < n , n 1.
2

donde k se conoce como la constante de difusividad trmica, dado que para ste caso la ecuacin de SturmLiouville toma la misma forma que la ecuacin de
Sturm-Liouville para la ecuacin de onda con el anlogo k c 2 , se tiene que el mnimo auto valor est en el
intervalo
p
p
p
k mn 1
k max ,
L
L

para k en algn intervalo k mn , k max . Como

k=

p
zn
, z n = n L
hL

En el lmite que hL = 0 el problema se reduce a un tipo

Neuman, con lo cual

1
z n = n , n 1.
2

Para hL > 0 se tienen las cotas,

K0
,
c

1
n < z n < n + , n 1.
2

se puede escoger2 un k mn & un k max tal que

k mn =

K 0mn
c max

k max =

K 0max
c mn

Ejercicios 5.8.1
Considrese la ecuacin
u
2u
=k 2,
t
x

Ejercicios 5.8
Preliminar. Las autofunciones gracias a la primera condicin de contorno son

con condiciones u(0, t ) = 0,

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

n = a n sen

u
L, t = hu(L, t ) &
x

p
n , 6= 0 n = a n x, n = 0,

(a) Resolverla si hL > 1

bien sea positivo o negativo, en caso de ser negativo, n se puede expresar como seno hiperblico ya que

(b) Resolverla si hL = 1

2 Componer las desigualdades, en principio es bastante complejo, por lo cual se ha escogido esta visin, teniendo en cuenta que 1
max
p
p

1 1
, y que K mn K 0 (x) K max . Un aspecto algo extrao es que bajo estas condiciones es claro que
mn
definido, no es necesario encontrar una cota mxima, ni mnima.

13

1 = k/L, el valor es bien

Ejercicios 5.8.2

a) Solucin. Usando separacin de variables u(x, t ) =

(x)G(t ) se tiene
p
p
G n (t ) = e n kt (x)n = A n cos n x + B n sen n x

Considrese el problema de autovalores

d 2
+ = 0,
dx 2

para n se tiene la condicin de contorno, (0) = 0 con

d
lo cual A n = 0, la condicin
(L) = (L) implica
dx
p
zn
tan z n =
, z n = n L
hL

u(x, t ) =

(a) h > 0,
(b) h = 0,

p
a n sen n x e n kt

(c) 1 < hL < 0,

n=1

gracias a la condicin inicial los coeficientes a n , quedan

dados por,
p
L
0 f (x) sen n x dx
an = L
p
2
n x dx
0 sen

(d) hL = 1.
a) Solucin. Si h > 0, entonces hL > 0 > 1, entonces,
slo hay autovalores positivos. con cotas

n p
1
< n < n +
, n 1.
L
2 L

n requiere ms informacin para especificar siquiera

sus cotas.

ceros en el intervalo
La funcin sen n
L x tiene n 1

(0, L), al igual que la funcin

sen
n + 1/2 /L x , por lo
p
cual la autofuncin sen n x tiene n 1 ceros en el intervalo (0, L).

b) Solucin. Similarmente al caso anterior se tiene

p
p
G n (t ) = e n kt (x)n = A n cos n x + B n sen n x
para n se tiene la condicin de contorno, (0) = 0 con
d
lo cual A n = 0, la condicin
(L) = (L) implica
dx
p
zn
tan z n =
, z n = n L
hL

b) Solucin. Si h = 0 las autofunciones son especficamente

1
sen n +
x
2 L

Como hL = 1 los autovalores son estrictamente positivos, exceptuando el mnimo, el cual es nulo, entonces se
tiene una solucin para u

u(x, t ) = a 1 x +

a n sen

Las cuales poseen poseen n 1 ceros en el intervalo en

el intervalo (0, L).
c) Solucin. Si 1 < hL < 0, los autovalores estn acotados por

n x e n kt

n=2

a n es especificado por la condicin inicial, como todas

las autofunciones son ortogonales,

L
a1 =

&

(n 1)

x2

dx

L
an =

p
1
< n < n
, n 1.
L
2 L

el mximo 1 para ste caso es /2 en ste caso la autofuncin no tiene cortes,

para la segunda autofuncin
p
se tiene un corte en 2 x = y as sucesivamente, en
general se tienen n 1 ceros .

f (x)x dx

d
(L) + h(L) = 0.
dx

Demostrar que la n-sima autofuncin tiene n 1 ceros

en el interior del intervalo en los casos siguientes:

Como hL > 1 los autovalores son estrictamente positivos, se obtiene una solucin con lo cual

(0) = 0,

p
f (x) sen n x dx
n 2
p
L
2
sen

x
dx
n
0

d) Solucin. El primer autovalor es = 0 para el cual se

tiene una autofuncin proporcional a x, esta funcin slo tiene un corte en x = 0, como el corte no pertenece al
intervalo (0, L) entonces la primer autofuncin tiene cero ceros, y para las dems se tiene el caso ya descrito en
el inciso anterior.

donde 1 = 0 y las demas estn dadas por

1
(n 1) < z n < n , n 2.
2

14

Ejercicio 5.8.3

Como la hiperbola es asinttica al eje x para grandes

p
n (n 1) L .

Considrese el problema de autovalores,

d 2
+ = 0,
dx 2
sujeto a

d
d
(0) = 0 &
(L) + h(L) = 0, con h > 0.
dx
dx

(a) Probar que > 0 (sin resolver la EDO).

(b) Obtener grficamente todos los autovalores. Obtener cotas superiores e inferiores de los mismos. Dar una estimacin para los autovalores ms
grandes.

La autofuncin correspondiente al autovalor minimo

es p
el primer corte, no presenta acortes en el intervalo
(0, 1 L) 2 , presenta un corte, 3 dos cortes, por induccin la n-sima autofuncin tiene n 1 ceros.

(c) Demostrar que la n-sima autofuncin tiene n 1

ceros en el interior del intervalo.
Solucin.

d L L d 2

+ 0
dx
dx 0
dx

L
0

dx

h (L) +
=

L d

L
0

dx

Ejercicio 5.8.5

dx

Considrese la ecuacin
2u
u
=k 2,
t
x

dx

Como h > 0, y los integrandos positivos, 0.

Similarmente al caso anterior se tiene para n se tiene
d
la condicin de contorno,
(0) = 0 con lo cual B n = 0,
dx
d
la condicin
(L) = (L) implica
dx
tan z n =

u
u
(0, t ) = 0,
(L, t ) = hu(L, t ) & u(x, 0) = f (x).
x
x
(a) Resolverla si h > 0,

con

(b) Resolverla si h < 0.

a)Solucin. Usando separacin de variables u(x, t ) =
(x)G(t ) se tiene
p
p
G n (t ) = e n kt (x)n = A n cos n x + B n sen n x

p
hL
, z n = n L
zn

para n se tiene la condicin de contorno,

d
(0) = 0 con
dx

d
(L) = (L) implica
dx
p
hL
tan z n =
, z n = n L
zn

lo cual B n = 0, la condicin

si h > 0, z n slo posee valores reales, y la solucin a la

parte espacial se hace idntica a la estudiada en el ejercicio anterior, con lo cual
u(x, t ) =

A n cos

n x e n kt

n=1

Con

como hL > 0, la hiprbola siempre est en el primer cuadrante, y los cortes son fciles de acotar,

p
f
(x)
cos
n x dx
A n = 0 L
,
p
2
n x dx
0 cos

p
1
n 1
< n < n
, n 1.
L
2 L

15

Ejercicio 5.8.11
Determinar todos los autovalores negativos del problema:
d 2
+ 5 = , con (0) = 0 = ().
dx 2
Solucin. Sea s 2 = 5+, s puede ser real o imaginario tal
que contenga la informacin de negativos, entonces
d 2
+ s2 = 0
dx 2
con solucin
(x) = A n cos sx + B n sen sx,
as con la primera condicin de contorno A n = 0, con la
segunda condicin, para que no sea trivial
sen s = 0 = s = n n N
con lo cual se observa que s es real y que
+ 5 = n 2 = = n 2 5,
se tienen autovalores negativos si n = 1 2.
Sea s 2 = 5 + , s puede ser real o imaginario tal que
contenga la informacin de negativos, entonces
d 2
s2 = 0
dx 2
con solucin
(x) = A n cosh sx + B n senh sx,
as con la primera condicin de contorno A n = 0, con la
segunda condicin, para que no sea trivial
senh s = 0 = s = i n = s = i n n N
con lo cual se observa que s es imaginario y que
+ 5 = (i n)2 = = n 2 5,
se tienen autovalores negativos si n = 1 2.
Note que el signo de s 2 es irrelevante si se considera s
como real o imaginario.

16