Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
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)
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)
(27i)
(27j)
u( x) v ( x) dx
(33)
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)
(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 )
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
(52)
k w ( x ) k ( x ) r ( x ) dx = r w ( x ) r ( x ) k ( x ) dx
(k r ) w( x ) r (x ) k ( x ) dx = 0
w ( x ) r ( x ) k ( x ) dx = 0
(c.q.d.)
(53)
(54)
(55)
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')
(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)
lim ((
+
) p )
, 0
(63)
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)
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 .
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)
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
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
a k = w ( x ) f ( x ) k ( x ) dx
k = 1,2,3,...n
(79)
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)
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.
u(x) L( v( x))dx
(88)
(112)
(113)
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
(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
( 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)
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