4.

STURM-LIOUVILLE

4. EL PROBLEMA DE STURM-LIOUVILLE

4.1 EDO DE 2 COMO OPERADORES LINEALES. 4.1.1 CONSIDERACIONES GENERALES 4.1.2 OPERADOR DIFERENCIAL ADJUNTO: IDENTIDAD DE GREEN 4.1.3 FORMA DE STURM-LIOUVILLE 4.2 FUNCIN DE GREEN. 4.2.1 LA FUNCIN DE GREEN. 4.2.2 PROPIEDADES DE LA FUNCIN DE GREEN. 4.2.3 CONSTRUCCIN, EXISTENCIA Y UNICIDAD DE LA FUNCIN DE GREEN (L DE 2 ORDEN). 4.2.4 FUNCIN DE GREEN GENERALIZADA 4.2.5 FUNCIN DE GREEN Y PROBLEMAS CON C.C. NO HOMOGNEAS. 4.2.6 APNDICE: EJEMPLOS 4.3 PROBLEMA DE STURM-LIOUVILLE. 4.3.1 AUTOVALORES Y AUTOVECTORES. 4.3.2 DESARROLLO DE LA FUNCINDE GREEN EN SERIE DE AUTOFUNCIONES. 4.3.3 RECOPILACIN Y TEOREMA DE LA ALTERNATIVA DE FREDHOLM. 4.4 MS SOBRE FUNCIONES DE GREEN (notas provisionales) Objetivos: Uno de los problemas matemticos ms extendidos en fsica es la de encontrar soluciones de ciertas ecuaciones diferenciales de segundo orden con condiciones de contorno referidas a los extremos de un intervalo (o en la superficie de un volumen). Este problema, conocido como problema de SturmLiouville, en contraste con el de las condiciones iniciales no siempre tiene solucin. Aqu analizar con detalle las condiciones de existencia y unicidad de las soluciones. Para ello introducir nuevos conceptos e ideas: identidad de Green, operador diferencial adjunto, operador diferencial hermtico, ... que permitirn conocer mejor las operadores diferenciales de segundo orden con coeficientes reales. Luego introducir el mtodo de las funciones de Green que transforma el problema diferencial en uno integral con la esperanza de que sea ms fcil, aunque no tiene porqu. Finalmente planteo la ecuacin de Sturm-Liouville y utilizo los resultados previos para obtener una solucin del problema. Ser vital adems contar con el teorema de operadores hermticos completamente continuos y los teoremas de convergencia vistos en el captulo anterior CUIDADO CON LAS ERRATAS !!!

ESTAS NOTAS NO PUEDEN SUSTITUIR A BUEN LIBRO, NI EL ESFUERZO PERSONAL CONTINUADO PARA ASIMILAR Y APLICAR LAS IDEAS EXPUESTAS !!!

G.NAVASCUS

Ultima revisin 08/11/2008

82

4. STURM-LIOUVILLE

4.1 EDO DE 2 COMO OPERADORES LINEALES 4.1.1 CONSIDERACIONES GENERALES Vimos en el captulo 1 que si L es un operador diferencial que representa a

L p n ( x)

d d n 1 dn + ( ) + ... + p1 ( x) + p 0 ( x) , p x n 1 n n 1 dx dx dx

[4.1.1]

entonces L es un operador lineal, es decir, si | f > y | g > son vectores que representan a dos funciones:

L[ . | f > + . | g >] = L | f > + L | g >

o en lenguaje de las funciones:

[4.1.2]

dn d n 1 d p x p x + + ... + p1 ( x) + p 0 ( x) ( f ( x) + .g ( x)) = ( ) ( ) n 1 n n n 1 dx dx dx dn d n 1 dn d n 1 = p n ( x) n + p n 1 ( x) n 1 + ... f ( x) + p n ( x) n + p n 1 ( x) n 1 + ... g ( x) dx dx dx dx

.

[4.1.3]

En adelante el operador L, que representa a una forma diferencial, lo aplicaremos a un espacio restringido de vectores, que representan a ciertas funciones, este espacio lo llamamos dominio. As L|f> slo tendr sentido cuando |u>, o la funcin que representa, pertenezca a ese dominio. Esto es independiente de que la forma diferencial [4.1.1] que podr tener sentido aplicada genricamente a una funcin cualquiera, pero ese es otro problema. Las siguientes definiciones son bastante generales pero nosotros podemos tener en mente que los operadores diferenciales que nos interesan son los de segundo grado. 4.1.2 OPERADOR DIFERENCIAL ADJUNTO: IDENTIDAD DE GREEN Dado un operador diferencial L, el operador diferencial L+ se dice que es adjunto de L con peso w(x) en el intervalo [a,b] si se verifica la igualdad

w( x) v * ( x) Lu ( x) u ( x)( L+ v( x)) * =

d {Q[u, v]} dx

[4.1.4]

donde u(x) y v(x) son dos funciones suficientemente diferenciables, w(x) una funcin peso definida positiva en un intervalo [a,b] y Q una forma bilineal en u, v y sus derivadas:

Q ( x) A( x)u ( x)v* ( x) + B ( x)u ' ( x)v* ( x) + C ( x)u ( x)v* ' ( x) + D ( x)u ' ( x)v* ' ( x) .

[4.1.5]

La expresin [4.1.4] se llama identidad de Lagrange. Integrando la identidad de Lagrange se obtiene la identidad de Green generalizada, que es una expresin bastante ms transparente:

dxw( x)v ( x) Lu ( x) dxw( x)[L v( x)] u( x) =Q( x)

b b * + * a a

b a

[4.1.6]

G.NAVASCUS

Ultima revisin 08/11/2008

83

4. STURM-LIOUVILLE

Esta expresin describe una integracin por partes, por eso a [4.1.4] y [4.1.6] se les denominan identidades. Al trmino del segundo miembro se le llama trmino de contorno o de superficie. Ejemplo 4.1. Obtenga el adjunto de L = p0 ( x )

d2 d + p1 ( x) + p2 ( x) con parte real de p0>0 y peso w(x)=1. 2 dx dx

Teniendo en cuenta la definicin de producto escalar, la identidad de Green generalizada se escribira ms concisamente en su forma algebraica:

< v | L | u > < u | L+ | v > * = Q ( x ) |b a

[4.1.7]

Sin embargo hay un punto esencial que debera ir aparejado implcitamente con [4.1.7] y que ya he comentado en la introduccin: aunque en el lenguaje de las funciones L tiene el sentido habitual de operador diferencial, en el lenguaje algebraico an no he mencionado cual es el dominio de los operadores L y L+. Observe tambin que en cualquier caso la definicin de adjunto no se ajusta a la usual en un espacio vectorial. En este punto no hay paralelismo entre operadores matriciales y operadores diferenciales. Volveremos a conectar otra vez cuando defina la condicin de hermiticidad de L. Se define a L como autoadjunto si el operadores diferenciales tiene la misma forma funcional L=L+ [4.1.8]

Lo que quiere decir que la expresin [4.1.1] es la misma para L y L+. Veremos que la igualdad [4.1.8] no basta para establecer esa misma igualdad en el lgebra de operadores ya que como he dicho antes los operadores algebraicos L y L+ actan sobre dominios distintos.

d Ejemplo 4.2: Obtenga el adjunto de L = dx respecto a w=1 en un intervalo [a,b], es autoadjunto?

Ejemplo 4.3: Obtenga el adjunto de autoadjunto? Las condiciones de contorno (c.c.) impuestas a las soluciones de las ecuaciones diferenciales exigen, usualmente, ciertas relaciones de estas soluciones en los extremos de un intervalo. Para operadores diferenciales L de segundo orden deben ser dos condiciones. La forma ms general de expresarlas es:

L = ih d

dx respecto a peso w=1 en un intervalo [a,b], es

Bi (u ) = i u (a ) + i u ' (a ) + i u (b) + i u ' (b) = i

siendo

i = 1,2

[4.1.9]

i , i , i , i

constantes; Bi (u ) = i es la forma abreviada para decir que la funcin u(x) verifica las

c.c. [4.1.9]. Estas expresiones se llaman condiciones de contorno NO HOMOGNEAS. Si

1 = 2 = 0 :

Bi (u ) = i u (a ) + i u ' (a ) + i u (b) + i u ' (b) = 0

i = 1,2

[4.1.10]

las c.c. se llamaran HOMOGNEAS. Observe que si dos funciones que cumplen las c.c. homogneas, tambin las cumple cualquier combinacin lineal de ellas, por lo tanto las c.c. Bi (u ) = 0 define un espacio vectorial lineal U. Esto no ocurre con las c.c. no homogneas. Con c.c. homogneas para u, si se fuerza a que el trmino de superficie Q ( x ) a se anule se llega a que v(x) debe cumplir tambin c.c. homogneas, aunque en general con otras constantes bi(v)=0 (i=1,2); estas condiciones se llaman c.c. adjuntas a B(u). Por la misma razn que antes, el conjunto de funciones que verifican las c.c. adjuntas forman otro espacio vectorial lineal V, llamado espacio adjunto. As que L, como operador algebraico slo tiene sentido actuando sobre el espacio U. Anlogamente L+ slo acta sobre el espacio adjunto V. Otra cosa es que en el lenguaje de las funciones estos operadores puedan aplicarse a cualquier funcin dos veces diferenciable.
b

G.NAVASCUS

Ultima revisin 08/11/2008

84

4. STURM-LIOUVILLE

Como vemos el operador L y su adjunto L+ tienen asociadas, en general, distintas c.c. si queremos que el trmino de superficie se anule; normalmente estaremos interesados en que esto ocurra. Por tanto, en general, L y L+ actan sobre dominios diferentes, los espacios vectoriales U y V respectivamente. En estas condiciones, trmino de superficie nulo, la identidad de Green generalizada se reduce a la identidad de Green:

dxw( x)v
a

( x) Lu ( x) dxw( x) L+ v( x) u ( x) = 0
a

[4.1.11]

En el lenguaje formal de vectores [4.1.11] es la diferencia entre dos productos escalares:

< v | L | u > < u | L+ | v > * = 0

[4.1.12]

que es la definicin usual de operador adjunto pero cuidado, una vez ms, el dominio sobre el que acta L y L+ son diferentes, como corresponde desde el punto de vista analtico a c.c. diferentes. Operador hermtico. Si L=L+ y U=V, es decir si L es autoadjunto y las c.c. homogneas son las mismas para u y v el operador se llama hermtico. En este caso:

< v | L | u > < u | L | v >* = 0

[4.1.13]

donde implcitamente se supone, ahora, que u y v pertenecen al mismo dominio. En el lenguaje de las funciones, la hermiticidad de L se escribe:

dxw( x)v ( x) Lu( x) dxw( x)[Lv( x)] u( x) = 0

* * a a

[4.1.14]

Fjese que la hermiticidad va ligada a las c.c.: no basta que L sea autoadjunto, las c.c. tambin deben ser autoadjuntas. Observe tambin que ahora la expresin [4.1.13] corresponde a la usual de operador hermtico. Ejemplo 4.4: Imponga distintas c.c. homogneas para definir los correspondientes espacios U donde acta L=d/dx y determine las correspondientes c.c.adjuntas (use un peso w=1 y un intervalo [a,b]). Es L hermtico para alguna de estas c.c.? Ejemplo4.5: Imponga distintas c.c. homogneas para definir los correspondientes espacios U donde acta L=-ihd/dx y determine las correspondientes c.c.adjuntas (use un peso w=1 y un intervalo [a,b]). Es L hermtico para alguna de estas c.c.?

4.1.3 FORMA DE STURM-LIOUVILLE Forma del adjunta de L respecto a un peso w=1.

d2 d + p 2 ( x) con Re( p0 ) > 0 : En el ejemplo 4.1 se ha obtenido el adjunto de L = p0 ( x ) 2 + p1 ( x ) dx dx * * * d d 2 p0 d 2 dp0 dp1 * * * L+ = p0 ( x) 2 + 2 p ( x ) ( x) + + p2 [4.1.15] 1 2 dx dx dx dx dx
quedando la identidad generalizada de Green:

du d dx v Lu ( L v) u = p0v* u ( p0v* ) + p1v*u dx dx a a

* + *

[4.1.16]

G.NAVASCUS

Ultima revisin 08/11/2008

85

4. STURM-LIOUVILLE

donde he suprimido las dependencias en x y reagrupado las dos integrales pare aligerar el aspecto de la identidad. Si las funciones pi son reales y p0=p1, es evidente de [4.1.15] que L es autoadjunta:

L+ = p0 ( x)

d2 d + p0 ' ( x) + p2 ( x) = L 2 dx dx

[4.1.17]

es decir: todo operador diferencial de 2 orden de coeficientes reales y p0=p1 es autoadjunto respecto w=1 Adems, en este caso, se puede rescribir la forma diferencial L de forma ms concisa como forma de Sturm-Liouville:

L = L+ =

d d p ( x ) + p2 ( x ) 0 dx dx

[4.1.18]

Cuando este operador se aplica a una funcin se suele escribir Lu = ( p0u ' )'+ p2u para abreviar. La identidad de Green generalizada para un operador Sturm-Liouville se reduce a

dxv ( x) Lu ( x) dx[Lv( x)] u ( x) = p ( x)(v ( x)u' ( x) u ( x)v ' ( x))

* * * * 0 a a

b a

[4.1.19]

o de forma ms light:
* * * dx v Lu [Lv] u = p0 (v u'uv ' ) * a b

b a

[4.1.20]

Forma autoadjunta de L respecto a un peso w=P/p0. Ahora voy a demostrar que: Todo L = p0 ( x )

d2 d + p1 ( x) + p2 ( x) 2 dx dx

de coeficientes pi ( x) reales ( p0 ( x) > 0)

es autoadjunto respecto al peso

w( x) =

p P 1 exp 1 dx , p0 p 0 p0

se puede rescribir L =

1 d d P ( x) + p2 ( x) (forma de Sturm-Liouville) w( x) dx dx

y el trmino de contorno es de la forma w( x ) p0 ( x ) v ( x ) u ' ( x ) u ( x )v ( x ) '

* *

}]

b a

[4.1.21] En efecto si:

L=
por lo tanto:

1 d d P d 2 P' d d2 d P ( x ) + p = + + p = p + p1 + p2 ( x) 2 0 2 2 2 w( x) dx dx w dx w dx dx dx p ( x) P( x) = exp 1 dx p0 ( x)
P( x) . p 0 ( x)

[4.1.22]

w( x) =

[4.1.23]

G.NAVASCUS

Ultima revisin 08/11/2008

86

4. STURM-LIOUVILLE

Por otra parte el operador wL,

w( x ) L =

d d P ( x ) + w( x) p2 ( x ) , dx dx

[4.1.24]

tiene la forma de Sturm-Liouville por lo que es autoadjunto de peso 1. Su adjunto, que es el mismo, aplicado a una funcin v(x) da:

wL+ v =

d dv P + wp 2 v dx dx

[4.1.25]

de donde:

L+ v =

1 d dv P + p2 v w dx dx

[4.1.26]

luego L es autoadjunto: L=L+. En este caso la identidad generalizada de Green es

* * * dxw( x)v ( x) Lu ( x) dxw( x)[Lv( x)] u( x) = w( x) p0 ( x)(v ( x)u' ( x) u ( x)v ' ( x)) . *
b a a a b b

[4.1.27]

Versin visualmente ms light:

dxw[v Lu ( Lv) u ] = [wp (v u'uv ' )]

b

b a

HERMITICIDAD Se puede demostrar fcilmente que las c.c. que aparecen en la tabla, muy importantes en problemas de fsica, anulan el trmino de superficie de un operador de Sturm-Liouville, no importa la cuales sean las funciones pi ( x ) del operador. Es ms las c.c. adjuntas son las mismas. En definitiva el operador algebraico correspondiente es Hermtico. Condiciones de Dirichlet Condiciones de Neumann Condiciones generales separadas Condiciones peridicas

u ( a ) = u (b ) = 0

du dx

=
x =a

du dx du dx

=0
x =b

u (a)

du dx

= u (b)
x=a

=0
x =b

reales

u (a ) = u (b) ,

du dx

=
x=a

du dx

(supuesto P ( a ) = P (b) )
x =b

Con cierta frecuencia en los problemas de fsica la propia ecuacin diferencial determina el intervalo [a,b] para el cul se cumple que p0(x) y w(x) sean positivos; este intervalo se suele llamar natural. Ejemplo 4.6: Ecuacin de Chebyshev: determinar el peso para el cual esta ecuacin es autoadjunta. Transformar la ecuacin a una de la forma de Sturm-Liouville (con peso w=1). Determinar el intervalo natural.

G.NAVASCUS

Ultima revisin 08/11/2008

87