Problemas Lineales de Contorno

( J.J. Anza, J. Albizuri, C. Bastero, M. Martnez-Nebreda)

INTRODUCCIN
Hasta el momento se han estudiado ecuaciones diferenciales de segundo orden lineales de la
forma:
y" + p(x)y' + q(x)y = r(x)
(1)
verificando la condicin inicial
y(a) = A
(2)
y'(a) = B
(3)
que tena solucin nica si a [,], intervalo en el que las funciones p(x), q(x) y r(x) son
continuas. El problema que se plantea ahora es averiguar si es posible determinar la solucin a
la ecuacin diferencial (1), sabiendo que la funcin solucin ha de pasar por los puntos (,A) y
(,B), lo que puesto de otra forma ms usual se expresa como
y() = A
(4)
y() = B
(5)
Para aclarar ms lo que se pretende hacer considrense los ejemplos siguientes.
Ejemplo 1
y" + y = 0
(6a)
con las condiciones:
y(0) = 0
(6b)
y(1) = 0
(6c)
Se pretende determinar una solucin distinta de la trivial (obviamente la funcin y = 0, verifica la
ecuacin diferencial y las condiciones de contorno).
La solucin general de esta ecuacin diferencial es
y = C1 sin(x )+ C2 cos(x )
(6d)
teniendo en cuenta (6b) y (6c) la nica funcin que cumple estas condiciones a la par que la
ecuacin diferencial es la funcin trivial. En este caso se dice que la ecuacin diferencial con
las condiciones de contorno en dos puntos propuesta no tiene solucin -se sobreentiende
'distinta de la trivial'-.
Ejemplo 2

y
+ 2 y = 0
(7a)
con las condiciones:
y(0) = 0
(7b)
y(1) = 0
(7c)
Se pretende determinar una solucin distinta de la trivial (obviamente la funcin y = 0, verifica la
ecuacin diferencial y las condiciones de contorno).
La solucin general de esta ecuacin diferencial es
y = C1 sin( x ) + C2 cos( x )
(7d)
teniendo en cuenta (7b) y (7c) no existe una nica funcin que cumple estas condiciones a la
par que la ecuacin diferencial. Cualquier funcin de la forma
y = C1 sin( x )
(7e)
es solucin del problema de contorno en dos puntos.
Ejemplo 3

CAMPUS TECNOLGICO DE LA UNIVERSIDAD DE NAVARRA. NAFARROAKO UNIBERTSITATEKO CAMPUS TEKNOLOGIKOA

Paseo de Manuel Lardizbal 13. 20018 Donostia-San Sebastin. Tel.: 943 219 877 Fax: 943 311 442 www.esi.unav.es informacion@tecnun.com


y
+ 2 y = 0
(8a)
con las condiciones:
y(0) + y(1) = 0
(8b)
y'(0) + y'(1) = 0
(8c)
Se pretende determinar una solucin distinta de la trivial (obviamente la funcin y = 0, verifica la
ecuacin diferencial y las condiciones de contorno).
La solucin general de esta ecuacin diferencial es
y = C1 sin( x ) + C2 cos( x )
(8d)
teniendo en cuenta (7b) y (7c) no existe una nica funcin que cumple estas condiciones a la
par que la ecuacin diferencial. Cualquier funcin de la forma
y = C1 sin( x ) + C2 cos( x )
(8e)
es solucin del problema de contorno en dos puntos.
Se ha visto en el ejemplo 1 cmo no hay ms que una solucin al problema de contorno y sta
es la trivial. En el ejemplo 2, existe una simple infinitud de soluciones al problema de contorno y
en el ejemplo 3, una doble infinitud de soluciones.
Con los ejemplos expuestos se ha pretendido introducir el problema y al mismo tiempo se ha
tratado de expresar qu se entiende con el concepto de condicin de contorno y condicin de
contorno en dos puntos.
Las condiciones de contorno de la forma:
a1 y( ) + b1 y() + c1 y
( ) + d1 y
() = A 1
(9a)
a2 y( ) + b2 y() + c 2 y
( ) + d2 y
() = A 2
(9b)
se conocen con el nombre de condiciones de contorno lineales en dos puntos.
Si las constantes A 1 y A 2 son simultneamente nulas, entonces las condiciones de contorno se
dicen homogneas.
AUTOVALORES Y AUTOFUNCIONES
Considrese la ecuacin diferencial lineal homognea de segundo orden de la forma

y
+ p( x, ) y
+ q( x, ) y = 0
(10)
donde es un parmetro y las funciones p( x, ) y q( x, ) son continuas en el intervalo cerrado
[,].
El problema que se va a plantear es ver para qu valores de la ecuacin diferencial (10) tiene
solucin distinta de la trivial, cuando se le obliga a verificar a la solucin las condiciones de
contorno homogneas en dos puntos, definidas por las expresiones vistas previamente:
a1 y( ) + b1 y() + c 1 y
( ) + d1 y
() = 0
(11a)
a2 y( ) + b2 y() + c 2 y
( ) + d2 y
() = 0
(11b)
La solucin general de la ecuacin diferencial ser la combinacin lineal de dos soluciones
linealmente independientes, que necesariamente han de ser funcin del parmetro . As:
y = C1 y1 ( x, ) + C 2 y 2 ( x, )
(12)
Teniendo en cuenta las condiciones de contorno (11), se obtienen dos ecuaciones de la forma:
C1 {a1 y1(, ) + b1 y1(, ) + c1 y1
(, ) + d1 y1
(, )}+
+ C2 {a1 y 2 (, ) + b1 y 2 (, ) + c1 y
2 (, ) + d1 y
2 (, )}= 0
C1 {a2 y1(, ) + b2 y1(, ) + c 2 y1
(, ) + d2 y1
(, )}+
+ C 2 {a 2 y 2 (, ) + b 2 y 2 (, ) + c 2 y
2 (, ) + d 2 y
2 (, )}= 0
(13)
Obsrvese que estas dos ecuaciones constituyen un sistema de ecuaciones lineales
simultneas homogneas. Para que tengan solucin -las incgnitas son C1 y C2 - distinta de la
trivial el determinante del sistema ha de ser idnticamente nulo. As
2

A() B()
=0
C() D()

(14)

donde

A () = a1 y1 (, ) + b1 y1(, ) + c1 y1
(, ) + d1 y1
(, )
B() = a1 y 2 (, ) + b1 y 2 (, ) + c1 y
2 (, ) + d1 y
2 (, )
C() = a 2 y1 (, ) + b 2 y1 (, ) + c 2 y1
(, ) + d 2 y1
(, )
D() = a 2 y 2 (, ) + b 2 y 2 (, ) + c 2 y
2 (, ) + d 2 y
2 (, )

(15a)
(15b)
(15c)
(15d)

La resolucin de la ecuacin (14) conducir a los valores de que dan solucin distinta de la
trivial al problema homogneo de contorno. A dichos valores de se les conoce con el nombre
de autovalores. A aquellas funciones linealmente independientes asociadas a cada autovalor como mximo dos- que verifican la ecuacin diferencial y las condiciones de contorno
homogneas descritas en (11), se les da el nombre de autofunciones.
Lo que resulta obvio es que si una funcin (x) es autofuncin la funcin A(x), siendo A una
constante cualquiera, tambin es una autofuncin.
La determinacin de los valores de a partir de la ecuacin (14) resulta bastante complicada y
por consiguiente el procedimiento usual, aunque se pudiera realizar del modo expresado
tericamente, se va a explicar a continuacin con unos ejemplos.
Ejemplo 1
Determinar los autovalores y autofunciones del problema de contorno homogneo de la
ecuacin diferencial:
y" + y = 0
(16)
con las condiciones:
y(0) = 0
(17)
y(1) = 0
(18)
Aunque se justificar ms adelante, el problema a estudiar slo admite autovalores reales.
Como la solucin general de la ecuacin diferencial cambia con el signo de , se van a estudiar
los tres casos siguientes:
1) = 2 < 0 con R 0
La ecuacin queda de la forma
y
2 y = 0
(19a)

La solucin general tiene la forma

y = C1 e x + C 2 ex
(19b)
Aplicando las condiciones de contorno resulta que, segn (17)
C1 + C2 = 0
(19c)
de acuerdo con (18)
C1 e + C2 e = 0
(19d)
Las ecuaciones (19c) y (19d) constituyen un sistema homogneo. Los valores de que hagan
el determinante igual a cero permitirn que haya valores de C1 y C2 solucin del sistema
distintos de los nulos.
Obsrvese que el determinante del sistema vale
1
1
(19e)
=0
e e
como ha de ser distinto de cero, no es posible obtener valores de C1 y C2 no nulos que
verifiquen (19c) y (19d) simultneamente. Esto quiere decir que no hay autovalores negativos
en el problema de contorno planteado.
2) = 0
3

Con este valor la ecuacin diferencial queda de la forma:

y" = 0
(20a)
La solucin general tiene la forma
y = C1 x + C 2
(20b)
Aplicando las condiciones de contorno resulta que, segn (17)
C2 = 0
(20c)
de acuerdo con (18)
C1 = 0
(20d)
Por tanto la solucin que verifica la ecuacin diferencial y las condiciones de contorno con = 0
es la funcin y = 0. Esto permite decir que este valor de tampoco es un autovalor del
problema de contorno.
3) = 2 > 0 con R 0
La ecuacin queda de la forma

y
+ 2 y = 0
(21a)
La solucin general tiene la forma
y = C1 sin( x ) + C2 cos( x )
(21b)
Aplicando las condiciones de contorno resulta que, segn (17)
C2 = 0
(21c)
de acuerdo con (18)
C1 sin = 0
(21d)
Se busca una solucin distinta de la trivial, es decir C1 no puede ser idnticamente nulo. Por
ello, los valores de que hacen la ecuacin (21d) igual a cero son
= n
(con n N)
(21e)
Por consiguiente los autovalores del problema planteado son
= n 2 2
(con n N)
(21f)
y las autofunciones tienen la forma:
n ( x ) = sin(n x )
(21g)
(recurdese que si se multiplica por una constante tambin es una autofuncin).
Ejemplo 2
Determinar los autovalores y autofunciones del problema de contorno homogneo de la
ecuacin diferencial:
y" + y = 0
(22)
con las condiciones:
y(1) - y(-1) = 0
(23)
y'(1) - y'(-1) = 0
(24)
Aunque se justificar ms adelante, el problema a estudiar slo admite autovalores reales.
Como la solucin general de la ecuacin diferencial cambia con el signo de , se van a estudiar
los tres casos siguientes:
1) = 2 < 0 con R - 0
La ecuacin queda de la forma

y
2 y = 0
(25a)
La solucin general tiene la forma
y = C1 e x + C2 ex
Aplicando las condiciones de contorno resulta que, segn (23)
C1 e + C2 e C1 e C 2 e = 0
de acuerdo con (24)
C1 e + C2 e + C1 e C2 e = 0
4

(25b)
(25c)
(25d)

Las ecuaciones (25c) y (25d) constituyen un sistema homogneo. Los valores de que hagan
el determinante igual a cero permitirn que haya valores de C1 y C2 solucin del sistema
distintos de los nulos.
Obsrvese que el determinante del sistema vale
e e
e e
=0
(25e)
e + e e e
como ha de ser distinto de cero, no es posible obtener valores de C1 y C2 no nulos que
verifiquen (25c) y (25d) simultneamente. Esto quiere decir que no hay autovalores negativos
en el problema de contorno planteado.
2) = 0
Con este valor la ecuacin diferencial queda de la forma:
y" = 0
(26a)
La solucin general tiene la forma
y = C1 x + C 2
(26b)
Aplicando las condiciones de contorno resulta que, segn (23)
C1 + C 2 ( C1 + C 2 ) = 0
(26c)
de acuerdo con (24)
C1 C1 = 0
(26d)
La ecuacin (26c) define que C1 = 0 C 2 y la (26d) es una tautologa. Por tanto la solucin que
verifica la ecuacin diferencial y las condiciones de contorno con = 0 es la funcin
y=C
(26e)
Por consiguiente = 0 es un autovalor y la funcin (x) = 1 es una autofuncin (recurdese que
si se multiplica por una constante tambin es una autofuncin).
3) = 2 > 0
con R - 0
La ecuacin queda de la forma
y
+ 2 y = 0
(27a)

La solucin general tiene la forma

y = C1 sin ( x ) + C 2 cos( x )
(27b)
Aplicando las condiciones de contorno resulta que, segn (23)
C 1 sin + C 2 cos ( C 1 sin + C 2 cos ) = 0
(27c)
de acuerdo con (24)
C 1 cos C 2 sin (C 1 cos + C 2 sin ) = 0
(27d)
La ecuacin (27c) conduce a que
C 1 sin = 0 ( C 2 R )
(27e)
Por otro lado, la ecuacin (27d) conduce a que
C 2 sin = 0 ( C 1 R )
(27f)
Los valores de que hacen se verifiquen (27e) y (27f) vienen definidos por
= n (con n N)
(27g)
Por consiguiente los autovalores del problema planteado son
= n2 2 (con n N)
(27h)
y las autofunciones tienen la forma:
n1( x ) = sin(n x )
n2 ( x ) = cos(n x )

(27i)
(27j)

Represe que en este ejemplo a un mismo autovalor ( = n2 2 ) se le asocian dos

autofunciones linealmente independientes, sin (nx) y cos (nx).
5

EL PROBLEMA HOMOGNEO DE STURM-LIOUVILLE

Considrese la ecuacin diferencial
p(x)y" + p'(x)y' - q(x)y + w(x)y = 0
(28)
donde las funciones p(x), p'(x), q(x) y w(x) son continuas en el intervalo cerrado [,], con la
caracterstica supletoria de que las funciones p(x) y w(x) son mayores que cero para todos los
valores de x de ese intervalo cerrado.
Por sencillez de notacin la ecuacin (28) se suele representar como
[p(x)y'] ' - q(x)y + w(x)y = 0
(29)
o tambin como
L( y ) = w ( x ) y
(30)
donde
d2
d
L p( x )
p
(31)
( x ) + q( x )
dx
dx 2
Obsrvese que L es un operador lineal.
El problema homogneo de Sturm-Liouville es un problema de contorno en dos puntos,
constituido por la ecuacin (28) -o sus equivalente (29) y (30)- con las condiciones de contorno:
a1 y ( ) + a 2 y
( ) = 0
(32a)
b 1 y () + b 2 y
() = 0
(32b)
(a1, a 2 , b1,b 2 R)
Alguno de los ejemplos que se han visto en la pregunta precedente -en concreto, el ejemplo 1responde a este tipo de ecuacin diferencial que se est estudiando ahora de una forma
general. Son muchos los fenmenos estudiados en la Fsica que conducen a esta ecuacin
diferencial y que han de verificar las condiciones de contorno (32a y b).
El objetivo de esta pregunta es determinar qu propiedades cumplen los autovalores y
autofunciones de este problema. Para ello ser necesario establecer previamente algunas
definiciones y teoremas.
DEFINICION 1
Sean las funciones u(x) y v(x), en el caso ms general funciones complejas de una variable
real, continuas en el intervalo cerrado [,]. Se define como producto escalar de estas dos
funciones, y se expresa como <u,v>, a la integral
u, v =

u( x) v ( x) dx

(33)

siendo v ( x ) la compleja conjugada de v(x).

De acuerdo con esta definicin, se pueden ver una propiedades de esta definicin del producto
escalar:
a) u( x ), v ( x ) = u( x ), v ( x )
b) u ( x ), v ( x ) = v ( x ), u ( x )
c) u1 + u 2 , v = u1 , v + u 2 , v
d) u, v1 + v 2 = u, v1 + u , v 2
e) Si k R o C, entonces k u, v = k u, v
f) Si k R o C, entonces u, k v = k u, v
g) Si u(x) y v(x) son funciones reales, entonces u, v = v , u
IDENTIDAD DE LAGRANGE
Sean dos funciones u(x) y v(x) que, siendo continuas en el intervalo [,], verifican las
condiciones de contorno, expresadas por (32a) y (32b). Se va a continuacin a determinar el
6

producto escalar de u(x) por L[v(x)], siendo L el operador diferencial definido previamente en la
frmula (31).
u, L( v ) =

u(x) L( v (x))dx

(34)

integrando por partes dos veces, se llega a que:

(35)
u , L ( v ) = ( u v
p + u
v p) + L( u), v
Ahora bien, como u(x) verifica las condiciones de contorno
a1 u ( ) + a 2 u
( ) = 0
(36a)
b 1 u () + b 2 u
() = 0
(36b)
y, al ser a 1 , a 2 , b1 , b 2 reales y v(x) cumplir las condiciones de contorno, v(x) tambin las satisfar,
basta con tomar los complejos con-jugados de las expresiones (32a) y (32b),
a1 v ( ) + a 2 v
( ) = 0
(37a)
b 1 v () + b 2 v
() = 0
(37b)
De acuerdo con estas expresiones
( u v p + uv p) = 0
(38)
Por tanto de aqu se deduce que
u, L( v ) = L ( u ), v
(39)
que se conoce con el nombre de identidad de Lagrange.

TEOREMA 1
Todos los autovalores del problema de Sturm-Liouville son nmeros reales.
Demostracin.- Sea la funcin (x) una de las autofunciones (en principio puede haber dos
linealmente independientes como mximo) asociada a un autovalor complejo . Como la
funcin (x) es una solucin de la ecuacin diferencial que verifica las condiciones de
contorno, cumplir la identidad de Lagrange. Por tanto,
, L( ) = L ( ),
(40)
Al ser solucin de la ecuacin diferencial
L( ) = w ( x )
(41)
Reescribiendo la expresin (40) y con las propiedades e) y f) del producto escalar entre
funciones se llega a que
, w ( x ) = w ( x ) ,
(42)
se convierte en
, w ( x ) = w ( x ) ,
(43)
Como w(x) es una funcin real
( x ), w ( x ) ( x ) =

w( x) ( x) ( x) dx =

w ( x) ( x ), ( x )

Por consiguiente la expresin (43) se puede escribir en la forma:

( ) ( x), w( x) (x) = 0
Si (x) es una funcin compleja de variable real, (x) = u(x) + i v(x).
Por tanto,
( x ), w ( x ) ( x ) =

w(x) ( u

( x) + v 2 ( x)) dx 0

(44)
(45)

(46)

ya que w(x) > 0 x [,], y u(x) y v(x) no son funciones simultneamente nulas. De acuerdo
con (46), la conclusin lgica que se desprende de (45) es que = , o lo que es lo mismo los
autovalores son nmeros reales. (q.e.d.)
Como las funciones p(x) y q(x) son funciones reales, L L . Por tanto, si v(x) es una funcin compleja de variable real, se
verificar que L( v ) = L ( v ) .
7

COROLARIO 1
Las autofunciones asociadas a un autovalor son funciones reales.
La justificacin de esta afirmacin est en que si (x) es una autofuncin compleja asociada al
autovalor , que, como se acaba de demostrar, es un nmero real, su compleja conjugada
tambin ser autofuncin, pues cumplir la ecuacin diferencial, en la que todas las funciones
que aparecen son reales, y las condiciones de contorno, pues los coeficientes son nmeros
reales. Por consiguiente la semisuma de ambas funciones tambin ser una autofuncin y la
semidiferencia dividida por i, tambin lo ser; es decir la parte real y la parte imaginaria sern
autofunciones.
TEOREMA 2
A cada autovalor le corresponde una nica autofuncin en el problema de Sturm-Liouville.
Demostracin.- Sea un autovalor y sean 1 ( x ) y 2 ( x ) dos autofunciones linealmente
independientes asociadas al mismo autovalor. Por ser autofunciones satisfarn las condiciones
de contorno, es decir:
1 ( ) = a 2 1
( ) / a1
(47a)
1 () = b 2 1
() / b1
(47b)
2 ( ) = a 2
(48a)
2 ( ) / a 1
2 () = b 2 2
() / b 1
(48b)
Si las dos funciones son linealmente independientes en el intervalo [,], su wronskiano ha de
ser distinto de cero.
W( 1 , 2 ) = 1 ( x )
( x)
(49)
2 ( x ) 2 ( x ) 1
Si se calcula el valor del wronskiano en x = , teniendo en cuenta los valores expresado en las
frmulas (47a) y (48a), se concluye en que el valor es cero; de igual manera si se evala en x =
, por (47b) y (48b), se observa que el valor es cero. Esto contradice la condicin de
independencia lineal. Por tanto, a cada autovalor slo se le puede asociar una autofuncin.
TEOREMA 3
El conjunto de los autovalores de un problema de Sturm-Liouville constituye una sucesin
infinita que puede ser ordenada de modo creciente. Adems n , cuando n .
Este teorema se aceptar sin demostracin.
TEOREMA 4
Si k ( x ) y r ( x ) son autofunciones asociadas a autovalores distintos k y r , entonces se
verifica que

w ( x ) k ( x ) r ( x ) dx = 0
(50)

o lo que es lo mismo las autofunciones son ortogonales con respecto a la funcin de peso w(x).
Demostracin.- Si las funciones k ( x ) y r ( x ) son autofunciones, verifican necesariamente la
ecuacin diferencial y, por cumplir las condiciones de contorno, han de satisfacer la identidad
de Lagrange. Expresando estas afirmaciones matemticamente;
L( k ( x) ) = k w ( x ) k ( x )
(51a)

L( r ( x )) = r w ( x ) r ( x )

(51b)

k ( x ) L( r ( x ))dx = r ( x ) L( k ( x ))dx

sustituyendo (51a) y (51b) en (52), se obtiene

(52)

k w ( x ) k ( x ) r ( x ) dx = r w ( x ) r ( x ) k ( x ) dx

pasando todo al primer miembro resulta que

(k r ) w( x ) r (x ) k ( x ) dx = 0

como los autovalores son distintos (k r ) 0 . Por consiguiente

w ( x ) r ( x ) k ( x ) dx = 0

(c.q.d.)

(53)

(54)

(55)

EL PROBLEMA SINGULAR DE STURM-LIOUVILLE

Sea un ecuacin diferencial homognea de segundo orden de la forma de Sturm-Liouville, es
decir
[p(x ) y
] q( x ) y + w( x ) y = 0
(57)
Al estudiar la identidad de Lagrange, la condicin que deba cumplirse para que sta tuviera
lugar era que
(58)
( u v p + uv p) = 0
que es lo mismo que decir que
p() [
u
() v() u() v
()] p( ) [
u
( ) v ( ) u( ) v
( )]= 0
(59)
Para que (39) se verificara, se haba exigido que las funciones u(x) y v(x) satisficieran las
condiciones de contorno (32a) y (32b). Obsrvese, por otro lado, que la identidad de Lagrange
tambin se cumplira en los siguientes supuestos:
a)
b)

c)

p() = 0
p() = 0
p() = 0
b 1 u () +
b 1 v () +
a1 u ( ) +
a1 v ( ) +
p() = 0

b 2 u
() = 0
b2 v
() = 0
a 2 u
( ) = 0
a2 v
( ) = 0

Represe que en cada uno de estos casos se vulnera la condicin de que p(x) fuera mayor que
cero para todos los valores del intervalo [,]. En todos estos casos los puntos x = y/o x =
constituyen puntos singulares de la ecuacin diferencial: puntos en los que no se puede
establecer la existencia y unicidad de solucin para un problema de valor inicial. Por esta razn
a estos problemas se les conoce con el nombre de problemas singulares de Sturm-Liouville

$ r ( x) - de modo que
Lo dicho anteriormente sugiere la idea de "normalizar" las autofunciones -

w ( x ) r ( x ) k ( x ) dx = rk

(56)

w ( x ) n ( x ) n ( x ) dx = F(n)

(56')

siendo rk la delta de Kronecker de segundo orden.

Tambin en algunas ocasiones, y por motivos razonados, se definen unas normas standard y las funciones normalizadas
cumplen alguna condicin distinta a la que su norma sea igual a 1. As

De todos modos algo de lo visto es aplicable al problema que ahora se plantea.

La funcin p(x) es positiva en todos los puntos del intervalo (,), analizando la ecuacin
diferencial
L( y ) = w ( x ) y
(60)
Si (x) y (x) son dos funciones reales, soluciones de la ecuacin diferencial asociadas a los
valores y , se va a estudiar el valor de la integral
, L( ) =

(x) L( ( x)) dx

(61)

siendo ' y ' ( + ) y ( - ), donde y son magnitudes muy pequeas pero que tienen la
virtualidad de evitar los puntos de singularidad -en los que p(x) se anula- en los que las
funciones (x) y (x) no estn definidas. Operando de igual modo que en la pregunta
precedente se llega a que
) p)
, L( ) = L( ), + ( ( +

(62)

La identidad de Lagrange se cumplir en funcin del valor que reciba

lim ((
+
) p )

, 0

(63)

Si este lmite es nulo, entonces se verifica la identidad de Lagrange y se puede decir,

basndose en el teorema 4 de la pregunta precedente que las soluciones de la ecuacin
diferencial son ortogonales respecto a la funcin de peso w(x).
Se pueden ver algunos ejemplos que ilustran lo que se acaba de decir:
Ejemplo 1
Ecuacin diferencial de Legendre:
2 x y+ y = 0
(1 x 2 ) y
(64a)
en el intervalo (-1,1)
Puede ser escrita de la forma:
= y
(1 x 2 ) y
(64b)

donde = ( + 1), p ( x ) = (1 x 2 ) , q(x) = 0 y w(x) = 1.

Se observa que p(-1) = p(1) = 0. Cuando recibe valores naturales -incluyendo el cero-, se
puede recordar que una de las soluciones se truncaba en un polinomio de grado . Esto daba
origen a los polinomios de Legendre. La condicin, que han de satisfacer los polinomios de
Legendre para que sean ortogonales, es que cumplan la identidad de Lagrange. La prueba
crucial, que determina esta identidad, es si el lmite marcado en la expresin (63) es nulo o no.
En x = +1 y en x = -1 los valores de los polinomios de Legendre estn acotados y tambin el
valor de sus derivadas, ya que un polinomio es una funcin continua en toda la recta real. Por
tanto el lmite antes mencionado es idnticamente nulo. Por consiguiente, los polinomios de
Legendre son ortogonales en el intervalo [-1,1] con respecto a la funcin de peso w(x) = 1.
Ejemplo 2
Ecuacin diferencial de Tchebycheff:
(1 x 2 ) y
x y + y = 0
en el intervalo (-1,1)
Puede ser escrita de la forma:
12

12
(1 x 2 ) y = (1 x 2 ) y

(65a)

(65b)

donde = 2 , p( x ) = (1 x 2 ) , q(x) = 0 y w ( x ) = (1 x 2 )

12

12

10

Se observa que p(-1) = p(1) = 0. Cuando recibe valores naturales, incluyendo el cero, se
puede recordar que una de las soluciones se truncaba en un polinomio de grado . Esto daba
origen a los polinomios de Tchebycheff. La condicin, que han de satisfacer los polinomios de
Tchebycheff para que sean ortogonales, es que cumplan la identidad de Lagrange. La prueba
crucial, que determina esta identidad, es si el lmite marcado en la expresin (63) es nulo o no.
En x = +1 y en x = -1 los valores de los polinomios de Tchebycheff estn acotados y tambin el
valor de sus derivadas, ya que un polinomio es una funcin continua en toda la recta real. Por
tanto el lmite antes mencionado es idnticamente nulo. Por consiguiente, los polinomios de
Tchebycheff son ortogonales en el intervalo (-1,1) con respecto a la funcin de peso

w ( x ) = (1 x 2 )

12

Ejemplo 3
Ecuacin diferencial de Laguerre:
xy" + (1- x)y' + y = 0
en el intervalo (0, )
Puede ser escrita de la forma:
= e x y
e x x y

donde p( x ) = e x x , q(x) = 0 y w ( x ) = e x .

(66a)

(66b)

lim p( x ) = 0 . Cuando recibe valores naturales -incluyendo el

n
cero-, se puede recordar que una de las soluciones se truncaba en un polinomio de grado .
Esto daba origen a los polinomios de Laguerre. La condicin, que han de satisfacer los polinomios de Laguerre para que sean ortogonales, es que cumplan la identidad de Lagrange. La
prueba crucial, que determina esta identidad, es si el lmite marcado en la expresin (63) es
nulo o no. En x = 0, los valores de los polinomios de Laguerre estn acotados y tambin el
valor de sus derivadas, ya que un polinomio es una funcin continua en toda la recta real.
Cuando x tiende a infinito obsrvese que p(x) tiende a cero y es un infinitsimo tal que su
producto por el valor de un polinomio, o de su derivada, cuando x tiende a infinito hace
prevalecer su valor tendente a cero. Por tanto el lmite antes mencionado es idnticamente
nulo. Por consiguiente, los polinomios de Laguerre son ortogonales en el intervalo [0, ) con
respecto a la funcin de peso w ( x ) = e x .

Se observa que p(0) = 0 y

Ejemplo 4
Ecuacin diferencial de Hermite:
y" - 2xy' + y = 0
en el intervalo (- , )
Puede ser escrita de la forma:
2

x 2 y
e x y
= e

(67a)

(67b)

2
2
donde p ( x ) = e x , q(x) = 0 y w ( x ) = e x .

lim p( x ) = 0 y que
lim p( x ) = 0 . Cuando recibe valores naturales,
x
x
incluyendo el cero, se puede recordar que una de las soluciones se truncaba en un polinomio
de grado . Esto daba origen a los polinomios de Hermite. La condicin, que han de satisfacer
los polinomios de Hermite para que sean ortogonales, es que cumplan la identidad de
Lagrange. La prueba crucial, que determina esta identidad, es si el lmite marcado en la

Se observa que

11

expresin (63) es nulo o no. Cuando x tiende a (ms o menos) infinito obsrvese que p(x)
tiende a cero y es un infinitsimo tal que su producto por el valor de un polinomio, o de su
derivada, cuando x tiende a (ms o menos) infinito hace prevalecer su valor tendente a cero.
Por tanto el lmite antes mencionado es idnticamente nulo. Por consiguiente, los polinomios
de Hermite son ortogonales en el intervalo (- , ) con respecto a la funcin de peso
2
w ( x ) = e x .

DESARROLLO EN SERIE DE AUTOFUNCIONES

TEOREMA DE FOURIER GENERALIZADO
Sean $ r ( x) las autofunciones normalizadas de un problema de Sturm-Liouville. Considrese
ahora la funcin f(x) definida en el intervalo cerrado [,]. Si esta funcin (f) y su derivada (f')
son continuas a trozos en dicho intervalo, existe una serie de la forma

f (x ) =

a n n ( x )

(68)

n =1
que converge en cada punto del intervalo abierto (,) a
[f(x+) + f(x-)]/2
(69)
Si la funcin y su derivada son continuas en [,] y verifican en los extremos del intervalo las
mismas condiciones de contorno que las autofunciones, las condiciones de contorno
expresadas en (32a) y (32b), entonces la serie descrita por la frmula (68) converge en cada
punto de dicho intervalo cerrado (convergencia puntual).
El modo de determinar los coeficientes a n de la serie se basa en lo visto en la pregunta
precedente. Si f(x) es continua a trozos en el intervalo [,], de acuerdo con la hiptesis del
teorema, multiplicando ambos miembros de la expresin (68) por w(x) y por $ k ( x ) e integrando
entre los extremos del intervalo, se llega a

a k = w ( x ) f ( x ) k ( x ) dx
(70)

Vase que este desarrollo en serie de funciones asegura una convergencia puntual en los
puntos en que la funcin f(x) sea continua.

NOTA
Con el fin de extender un poco ms estos conceptos, considrese ahora un conjunto de n
funciones continuas ortonormadas - r ( x ) - en un inter-valo [,] con respecto a una funcin de
peso w(x) -que permanece positiva para todos los valores de x de dicho intervalo. Pueden ser n
autofunciones de un problema de Sturm-Liouville o pueden ser arbitrariamente elegidas, con la
condicin de que sean ortogonales.
Considrese la funcin f(x) continua en el intervalo [,] y la serie constituida por las funciones
ortogonales, definida por
n
Sn ( x ) =

ar r ( x )

(71)

r =1
El problema que ahora se plantea es determinar los coeficientes a (r = 1,2,3,...n) para que la
funcin S n ( x ) sea la mejor aproximacin de f(x) en el intervalo [,].
Al llegar a este estadio es preciso definir qu se entiende con el concepto de mejor
aproximacin de f(x) en [,]
Hay varios significados a esa frase:

12

1) Se pueden elegir n puntos de ese intervalo x 1 , x 2 ,..., x n y se exige que S n ( x ) tenga los
mismos valores que f(x) en cada uno de esos puntos. Los coeficientes a r se obtienen
resolviendo las ecuaciones algebraicas
n
f (x j ) =

ar r ( x j )

j=1,2,3,...,n

(72)

r =1
Este procedimiento se denomina 'mtodo de colocacin'. Su ventaja estriba en que es muy
sencillo establecer las n ecuaciones algebraicas y resolverlo. Si los puntos estn bien elegidos
y n es suficientemente elevado, presumiblemente S n ( x ) no slo ser igual a f(x) en los puntos
elegidos, sino que dar valores razonablemente prximos en el resto de los puntos del
intervalo.
Este mtodo, sin embargo, tiene mltiples deficiencias. Por un lado, aunque su justificacin se
har en prximos cursos, el sistema algebraico (72) est mal condicionado. Adems, si se
aade una nueva funcin ortogonal n + 1 ( x ) se han de recalcular todos los coeficientes. Por otro
lado, los valores de a r dependen de los puntos x 1 , x 2 ,..., x n y no est claro cul es el criterio de
seleccin de los puntos para que la aproximacin sea buena.
2) Considrese ahora la diferencia entre f(x) y S n ( x ) . Obviamente la aproximacin ser mejor
cuanto menor sea la diferencia:
f ( x) Sn ( x )
(73)
El problema ahora estriba en que esta diferencia es funcin de x y de los coeficientes a r y no
es obvio el criterio para seleccionar los valores de a r . Una eleccin de ellos que haga la
expresin (73) pequea en un punto puede hacerla grande en otro. Un procedimiento es
obligar a que el mximo error sea mnimo (least upper bound). A esta tcnica se le conoce con
el nombre de minimax.

E n (a1, a 2 ,..., an ) =

l.u.b. f ( x ) S ( x )
n
x

(74)

Elegir los a r es minimizar la funcin E n (a 1 , a 2 ,..., a n ). esta aproximacin es tericamente muy

buena. Sin embargo, en la prctica, escribir una frmula explcita de la funcin E n (a 1 , a 2 ,..., a n )
es algo muy costoso, si no imposible. Adems este mtodo comparte la desventaja del anterior
de tener que recalcular la funcin E n cuando se aade una nueva funcin ortogonal.

3) Otro procedimiento es considerar la integral

In (a1, a2,..., an )= w ( x ) f ( x ) Sn ( x ) dx
(75)

Si w(x) fuera la funcin unidad, In (a1, a 2 ,..., a n ) medira el rea entre las curvas f(x) y S n ( x ) . La
minimizacin de dicha rea sera el criterio para determinar los valores de los coeficientes a r .
Para evitar los inconvenientes de evaluar la integral de la funcin valor absoluto es ms til
definir una nueva funcin

R n (a1, a 2 ,..., a n ) =
w ( x ) [
f ( x ) S n ( x )]2 dx
(76)

como una medida de la calidad de la aproximacin lineal de las funciones ortogonales S n (x) a la
funcin f(x). Mientras R n (a1, a 2 ,..., a n ) es semejante en algn aspecto a In (a1, a 2 ,..., an ), no

se puede hablar de una interpretacin geomtrica clara de R n (a 1 , a 2 ,..., a n ). Sin embargo, es

mucho ms fcil trabajar matemticamente con R n que con I n . La cantidad R n se conoce con
13

el nombre de error cuadrtico de la aproximacin S n ( x ) a f(x). Si los a j se eligen del modo que
R n sea mnima, entonces S n ( x ) aproxima a f(x) en el sentido de la media mnimo cuadrtica.
Nos interesa por tanto que
R n (a1, a 2 ,..., an )
= 0 r = 1,2,..., n
(77)
ar
es decir

R n
= 2 w ( x ) [
f ( x ) S n ( x )] r ( x ) dx = 0
(78)
a r

teniendo en cuenta la ortogonalidad de las funciones k ( x ) con respecto a la funcin de peso

w(x), se llega a que

a k = w ( x ) f ( x ) k ( x ) dx
k = 1,2,3,...n
(79)

Estos coeficientes se llaman coeficientes de Fourier de f con respecto al conjunto de funciones

ortogonales { i ( x ) , i = 1, 2, ..., n} y la funcin de ponderacin w(x).
Rn
Como la condicin
= 0 es necesaria pero no suficiente para que R n sea mnima, se
ar
precisa establecer la condicin suficiente.
Si se llama
n

Sn ( x ) =

cr r ( x )

(80)

r =1

y se definen

a k = w ( x ) f ( x ) k ( x ) dx
k = 1,2,3,...n
(81)

desarrollando R n , de acuerdo con la definicin (76), resulta que

n
n
n
n

Rn( x ) =
w ( x ) f ( x )2 dx +
cr2 2
cr ar
ar2 +
ar2 (82)

r =1
r =1
r =1
r =1
es decir,
n
n

Rn ( x ) =
w ( x ) f ( x )2 dx +
(cr ar )2
ar2
(82')

r =1
r =1
El primer sumando es mayor que cero, ya que w(x) es mayor que cero. Si c i fuera distinto que
a i para algn i, entonces existira otro R menor posible que el planteado, luego ste no sera
mnimo. Por tanto

c k = ak = w ( x ) f ( x ) k ( x ) dx k = 1,2,3,...n
(83)

Se puede remarcar, por ltimo, que si se aade otra funcin ortogonal n + 1 ( x ) , al haber
obtenido los distintos coeficientes de un modo separado, no hay que recalcular los coeficientes
previamente obtenidos.

DESARROLLO EN SERIE DE FOURIER

Considrese ahora el siguiente problema de contorno:
14

Determinar los autovalores y autofunciones del problema de contorno homogneo de la

ecuacin diferencial:
y" + y = 0
(84)
con las condiciones:
y(l) - y(-l) = 0
(85)
y'(l) - y'(-l) = 0
(86)
Antes de resolverlo se va a justificar que las autofunciones verifican la identidad de Lagrange.
Sean dos funciones u(x) y v(x) que son continuas en el intervalo [-l,l] y verifican las condiciones
de contorno, expresadas por (85) y (86). Se va a continuacin a determinar el producto escalar
de u(x) por L(v(x)), siendo L el operador diferencial definido por
d2
(87)
L 2
dx
u, L( v ) =

u(x) L( v( x))dx

(88)

integrando por partes dos veces, se llega a que:

u, L( v ) = ( u v + u
v ) + L( u), v
(89)
Ahora bien, como u(x) verifica las condiciones de contorno
u(l) - u(-l) = 0
(90a)
u'(l) - u'(-l) = 0
(90b)
y, al cumplir v(x) las condiciones de contorno, v(x) tambin las satisfar, basta con tomar los
complejos conjugados de las expresiones (85) y (86),
v( ) v( ) = 0
(91a)
v
( ) v
( ) = 0
(91b)
De acuerdo con estas expresiones
( u v + u
v) = 0
(92)
Por tanto de aqu se deduce que
u, L( v ) = L ( u ), v
(93)
Esto implica que las autofunciones asociadas a autovalores distintos van a ser ortogonales, de
acuerdo con lo demostrado en el teorema 4 de la pregunta del problema de Sturm-Liouville
homogneo y adems los autovalores van a ser reales y las autofunciones tambin.
Como la solucin general de la ecuacin diferencial cambia con el signo de , se van a estudiar
los tres casos siguientes:
1) = 2 < 0
con R - 0
La ecuacin queda de la forma
y
2 y = 0
(94)

La solucin general tiene la forma

y = C1 e x + C 2 ex
(95)
Aplicando las condiciones de contorno resulta que, segn (85)
C1 e l + C 2 el C1 el C 2 e l = 0
(96)
de acuerdo con (86)
C1 e l + C 2 el + C1 el C2 e l = 0
(97)
Las ecuaciones (96) y (97) constituyen un sistema homogneo. Los valores de que hagan el
determinante igual a cero permitirn que haya valores de C1 y C2 solucin del sistema distintos
de los nulos.
Obsrvese que el determinante del sistema vale
e l el
el e l
=0
(98)
e l + el el e l
15

como ha de ser distinto de cero, no es posible obtener valores de C1 y C2 no nulos que

verifiquen (96) y (97) simultneamente. Esto quiere decir que no hay autovalores negativos en
el problema de contorno planteado.
2) = 0
Con este valor la ecuacin diferencial queda de la forma:
y" = 0
(99)
La solucin general tiene la forma
y = C1 x + C 2
(100)
Aplicando las condiciones de contorno resulta que, segn (85)
C1 l + C 2 ( C1 l + C 2 ) = 0
(101)
de acuerdo con (86)
C1 C1 = 0
(102)
La ecuacin (101) define que C1 = 0 C 2 y la (102) es una tautologa. Por tanto la solucin
que verifica la ecuacin diferencial y las condiciones de contorno con = 0 es la funcin
y=C
(103)
Por consiguiente l = 0 es un autovalor y la funcin (x) = 1 es una autofuncin (recurdese que
si se multiplica por una constante tambin es una autofuncin).
3) = 2 > 0
con R 0
La ecuacin queda de la forma
y
+ 2 y = 0
(104)

La solucin general tiene la forma

y = C1 sin( x )+ C 2 cos( x )
(105)
Aplicando las condiciones de contorno resulta que, segn (85)
C 1 sin( ) + C 2 cos( ) ( C 1 sin ( ) + C 2 cos( )) = 0
(106)
de acuerdo con (86)
C1 cos( l ) C 2 sin( l ) (C1 cos( l )+ C 2 sin( l )) = 0
(107)
La ecuacin (106) conduce a que
C1 sin( l ) = 0( C 2 R )
(108)
Por otro lado, la ecuacin (107) conduce a que
C 2 sin( l ) = 0( C1 R )
(109)
es decir, como C1 y C2 no pueden ser simultneamente cero, ya que se trata de obtener los
autovalores y autofunciones del problema, los valores de que verifican las ecuaciones (108) y
(109) simultneamente son
= n / l(con n N)
(110)
Por consiguiente los autovalores del problema planteado son
= n 2 2 / l 2 (con n N)
(111)
y las autofunciones tienen la forma:
n1( x ) = sin(n x / l )
n2 ( x ) = cos(n x / l )

(112)
(113)

Represe que en este caso a un mismo autovalor ( = n2 2 / l 2 ) se le asocian dos

autofunciones linealmente independientes, sin ( n x / ) y cos( n x / ) .
Estas autofunciones, para un mismo valor de n, son ortogonales en el intervalo [-l,l], como
puede ser fcilmente comprobado.
Se ha obtenido por tanto un conjunto de funciones ortogonales, constituido por {1,
sin(n x / l ), cos(n x / l ) / n N}.
En estas condiciones se puede enunciar el siguiente:
TEOREMA
16

Sean las autofunciones {1, sin ( n x / ) , cos( n x / ) / n N}. Considrese ahora la

funcin f(x) definida en el intervalo cerrado [-l,l]. Si esta funcin (f) y su derivada (f') son
continuas a trozos en dicho intervalo, existe una serie de la forma

a0
f (x ) =
+
a n cos(n x / l )+
b n sin(n x / l )
(114)
2
n =1
n =1
que converge en cada punto del intervalo abierto (-l,l) a
[f(x+) + f(x-)]/2
(115)
A este desarrollo en serie se le conoce con el nombre de desarrollo en serie de Fourier de la
funcin f(x). Los coeficientes se determinan teniendo en cuenta la ortogonalidad de las
autofunciones. As
l
1
a 0 = f ( x ) dx
(116)
l -l
l
1
a k = f ( x ) cos(k x / l )dx
k=1,2,3,...,n
(117)
l -l
y
l
1
b k = f ( x ) sin(k x / l )dx
k = 1,2,3,...n
(118)
l -l
Supngase ahora que la funcin f(x) est definida en toda la recta real y, manteniendo las
mismas caractersticas descritas en el teorema de Fourier, adems es peridica de perodo 2l,
es decir
f(x) = f(x + 2l) x R
(119)
en este caso, como las autofunciones {1, sin ( n x / ) , cos( n x / ) / n N} son tambin
funciones peridicas de perodo 2l, el desarrollo en serie de Fourier es vlido para todo x R.

TEOREMA DE FOURIER
Toda funcin peridica de perodo 2l continua a trozos, tanto ella como su derivada, puede ser
desarrollada en serie de la forma expresada en (114) y la suma de la serie converge en cada
punto de la recta real a
[f(x+) + f(x-)]/2
(120)
Los coeficientes vienen determinados por las frmulas (116), (117) y (118).
Una consecuencia de lo anterior es que si una funcin es impar su desarrollo en serie de
Fourier vendr definido en una serie de senos, mientras que si es par su desarrollo en serie
tendr el trmino constante ms la serie de cosenos:
a) Funcin impar

f (x ) =

b n sin(n x / l )

(121)

n =1

b) Funcin par
a
f (x ) = 0 +
2

a n cos(n x / l )

(122)

n =1

NOTA
Supngase ahora una funcin f(x), definida en el intervalo [,], continua a trozos y con
derivada tambin continua a trozos, siendo -l y l y que quiere ser desarrollada en serie
de Fourier de la forma expresada en (114).
Se puede definir una nueva funcin de la forma:
17

F(x) = m(x)
-l x <
f(x)
x
n(x)
x l
donde m(x) y n(x) son funciones arbitrarias, continuas a trozos y con derivadas tambin
continuas a trozos en los correspondientes intervalos de definicin. El desarrollo en serie de
Fourier de la funcin F(x) definir una serie convergente,del modo establecido en el teorema,
que evaluar la funcin f(x) en el intervalo (,). Obviamente si no hay discontinuidad en la
funcin F(x) en los puntos x = y x = , el suma de la serie definir f(x) en [,].
Esto trae consigo que se pueda obtener 'la extensin impar de una funcin f(x)', es decir que se
pueda desarrollar en serie de senos, segn la forma de la expresin (121). Para ello basta con
que la funcin F(x) anteriormente definida sea una funcin impar en el intervalo [-l,l]. De igual
modo, la extensin par -expresin (122)-, haciendo que la funcin F(x) sea par en el intervalo [l,l].
Una consecuencia de todo lo que se acaba de decir es que es posible encontrar infinitos
desarrollos en serie de Fourier que evalan la misma funcin en el mismo intervalo de longitud
finita.
Obviamente si la funcin est definida en toda la recta real, nicamente existe desarrollo en
serie si esta funcin es peridica. En este caso el desarrollo es nico.
EL PROBLEMA DE STURM-LIOUVILLE NO HOMOGNEO
Considrese la ecuacin diferencial no homognea del problema de Sturm-Liouville:
L(y) = w(x)y + f(x)
(123)
con las condiciones de contorno homogneas en dos puntos
a1 y( ) + a2 y
( ) = 0
(124a)
b1 y() + b 2 y
() = 0
(124b)
La funcin f(x) es continua en el intervalo [,] y es una constante real dada.
Sean r los autovalores y r ( x ) las autofunciones del problema homogneo de SturmLiouville. Como la funcin f(x) es continua y con derivada continua, al menos a trozos, en el
intervalo [,] y la funcin w(x) es continua y positiva en dicho intervalo, la funcin f(x)/w(x)
admitir un desarrollo en serie de las autofunciones del problema de contorno. Por tanto se
podr escribir que

f(x)
=
dn n ( x )
(125)
w(x )
n =1
y la funcin solucin admitir un desarrollo -si existe- en serie en de las autofunciones, que
tendr la forma:

y( x ) =

cn n ( x )

(126)

n =1
Llevando (125) y (126) a (123), y teniendo en cuenta que las $ n ( x ) son las autofunciones
normalizadas del problema homogneo, se concluye que

c n n w ( x ) n ( x ) =

c n w ( x ) n ( x ) + w ( x )

n =1
n =1
como las autofunciones son linealmente independientes
c n (n )w ( x ) n ( x ) = dn n ( x ) w ( x )
siendo w(x) mayor que cero, resulta que
c n (n ) = dn
18

dn n ( x )

(127)

n =1
(128)
(129)

Obsrvese que las incgnitas de este problema son las c n . Pueden tener lugar los siguientes
casos:
a) La constante no coincide con ningn autovalor. En tal caso,
n 0
n. Por consiguiente es posible despejar c n y obtener todos los coeficientes de la funcin
solucin, que ser nica.
b) La constante coincide con el autovalor r . En tal caso,
r = 0
b.1) Si dr es distinto de cero, no es posible obtener un valor para cr que verifique la
ecuacin (129). Por tanto no existe solucin.
b.2) Si dr es igual a cero, esto significa que la funcin f(x)/w(x) es ortogonal a la
autofuncin r ( x ) . Por tanto se puede elegir cualquier valor para cr . Esto significa que existe
una simple infinitud de soluciones del problema de contorno no homogneo.
LA FUNCIN DE GREEN
Sea la ecuacin diferencial
y" + p(x)y' + q(x)y = f(x)
(130)
donde p(x), q(x) y f(x) son continuas en el intervalo [,]. Esta ecuacin diferencial se puede
expresar de modo simblico como:
L(y) = f(x)
(130')
donde
d
d2
(131)
L
+ p( x )
+ q( x )
2
dx
dx
Obsrvese que L es un operador lineal.
Se desea obtener la solucin de esta ecuacin diferencial, si existe, que verifique las
condiciones de contorno homogneas:
a1 y ( ) + a 2 y
( ) = 0
(132a)
b 1 y () + b 2 y
() = 0
(132b)
El estudio es distinto del realizado hasta ahora, aunque se demostrar formalmente que no va
a ser posible obtener la solucin del problema si sta o no existe o no es nica. En la pregunta
precedente se vieron esos casos, que van a volver a surgir aqu.
El procedimiento de la funcin de Green es definir una funcin G(x,a), donde a es un valor
perteneciente al intervalo (,). Dicha funcin cumple la siguientes propiedades
a1 G ( , a ) + a 2 G
( , a ) = 0
(133a)
b 1 G (, a ) + b 2 G
(, a ) = 0
(133b)
G
( x, a ) + p( x ) G
( x , a ) + q ( x ) G ( x , a ) = ( x a )
(134)

o lo que es lo mismo
L(G ( x , a )) = ( x a )
(134')
siendo (x-a) la delta de Dirac.
Obsrvese que una vez que se determina la funcin de Green , la solucin de la ecuacin
diferencial propuesta se calcula mediante la integral

y(x) = f( a ) G(x, a ) da
(135)
-
La funcin y(x), as definida, cumple las condiciones de contorno, al verificarlas G(x,a) y
adems, como se va a comprobar, tambin es solucin de la ecuacin diferencial.

19

L(y(x) ) = f( a ) L(G(x, a) )da = f( a ) (x - a ) da = f ( x )

-
-

(136)

Nota
Es necesario recordar ahora que, al introducir la funcin delta de Dirac, la propiedad que se haba puesto de
manifiesto era que

f( x ) (x - a) dx = f ( a )
-

Esta integral no coincide exactamente con la que aparece en la ecuacin (136). Hay dos medios para probar que
lo establecido en (136) es cierto. Uno es hacer un cambio de variable en dicha integral, pasando de la variable a a
la variable t mediante
a = 2x - t
en cuyo caso

f( a ) (x - a) da = f(2 x t ) (t - x) dx = f ( x ) .
-
-
El otro procedimiento es demostrando que:
f(x - a ) (x) = f( x ) (x - a ) x R

Si se conocen dos soluciones, y 1 ( x ) e y 2 ( x ) , de la ecuacin diferencial homognea linealmente

independientes, tal como se ha definido G(x,a), se puede afirmar que G(x,a) es una funcin que
verifica la ecuacin diferencial homognea cuando x a. Por consiguiente:
G ( x , a ) = A 1 y 1 ( x) + A 2 y 2 ( x) x < a
(137)
G ( x , a ) = B1 y 1 ( x ) + B2 y 2 ( x ) a < x
(138)
Fijando ahora la atencin en la ecuacin (134), el primer miembro ha de ser discontinuo
cuando x = a. Dicho primer miembro est constituido por la suma de tres sumandos.
Obviamente si cuando x tiende a a, el primer miembro tiende a infinito, esto ha de significar que
G"(x,a) ha de tender a infinito como la funcin delta de Dirac. Pero

( t a ) dt = H ( x a )

(139)

Por tanto G'(x,a) ha de ser tambin discontinuo cuando x tiende a a, es decir ha de tener un
valor cuando se accede a a por la derecha y otro distinto cuando se va por la izquierda como la
funcin de Heaviside. Pero
x
(140)
H( t a) dt = R( x a)

Por tanto G(x,a) ha de ser continuo en x = a. De lo dicho se puede resumir que:

lim G ( x , a ) = lim G ( x , a )
(141)
x a+
x a

lim G
( x , a ) lim G
( x, a ) = 1
(142)
x a+
x a
Queda, por ltimo, demostrar que, si no existe solucin al problema no homogneo o sta no
es nica, no es posible obtener la funcin de Green.
Sea la ecuacin diferencial homognea de la que se est estudiando:
y" + p(x)y' + q(x)y = 0
(143)
siempre es posible encontrar una funcin r(x) de modo que se convierta en una ecuacin de
Sturm-Liouville:
r(x) = F(x)
(144a)
r(x)p(x) = F'(x)
(144b)
De donde se obtiene

20

p( x )dx

r( x ) = F( x ) = e
(145)
Como p(x) es continua, r(x) nunca se anula en el intervalo [,] y, habiendo elegido como
constante de integracin la unidad, r(x) es mayor que cero en todos los puntos de dicho
intervalo. Por tanto la ecuacin diferencial (143) se ha convertido en un problema homogneo
de Sturm-Liouville con las condiciones de contorno (132a) y (132b). Se define
r(x)q(x) = -s(x) + w(x)
(146)
con w(x) esencialmente positiva en el intervalo [,]. Si es un autovalor, slo existe una
funcin (la autofuncin correspondiente) que verifica las condiciones de contorno en el
intervalo. Por tanto no se puede distinguir entre una funcin que verifica las condiciones de
contorno en x = (es decir x < a) y otra en x = (o lo que es lo mismo en a < x ).
Consiguientemente no existe la funcin de Green.

21