FUNCION DE GREEN Un resultado bastante relevante a partir de la frmula de Green es la derivacin de la funcin de Green, la cual relaciona el trmino no homogneo

de la ecuacin no homognea y la solucin correspondiente a la ecuacin homognea. Para esto supngase que se tiene un sistema lineal de ecuaciones diferenciales no homognea (1.1)

si nosotros tenemos que se cumple

(1.2)

entonces (1.3)

si nosotros consideramos el sistema auto-adjunto referido en la pag ( ), (1.4)

entonces se tiene que (1.5) de donde se desprende que

y usando lo anteriormente dicho se tiene

(1.6)

De la condicin (a) se puede implicar lo siguiente

cuya ecuacin checa con la mencionada anteriormente, ecu. (VI.1.9) y muestra que G es la solucin al sistema de ecuaciones diferenciales homogneo. (1.7) Resolviendo el problema de Sturm-Liouville y aplicando los valores a la frontera se tiene

(1.8)

en donde adems se cumplen las siguientes propiedades para la funcin de Green

(1.9)

Como se mencion en los primeros captulos, la conveniencia de tomar como una matriz, depende del aprovechamiento de todo el aparato matricial, esto es reflejado precisamente en la forma que deber tomar . Proceder a tomar Z como una matriz de un cierto nmero de vectores columnas, ofrece una gran flexibilidad considerando un conjunto de condiciones, y no el aspecto restringido de haber tomado un vector fijo. Ahora bien, imponiendo las condiciones a la frontera respectivas

0 0 cuando y son matrices de y columnas

Por lo tanto, el problema de Sturm-Liouville se reduce al siguiente par de ecuaciones 0 (1.10) 0

Se puede formar una ecuacin matricial con estos sistemas de ecuaciones, los cuales quedan en la siguiente forma (1.11)

para invertir la primer matriz izquierda se va a considerar lo siguiente

Lo que implica que la matriz inversa queda como

(1.12)

Finalmente aplicando la matriz inversa a la ecuacin (VI.2.11) se tiene

(1.13)

Cuando son cumplidas las siguientes proposiciones:

Figura (VI.2.1) cambiando lmites y agrupando, se tiene (1.14)

Entonces Z(t) queda expresado finalmente como (1.15) cuando r (t, ) es definido como (1.16)

es la versin matricial de la funcin de Green para el problema de valores a la frontera y la cual sirve como el Kernel para la ecuacin integral de tipo Fredholm, al respecto volveremos en un captulo posterior con ms de talle. Definiendo en trminos de operadores proyectores

(1.17)

se tienen las siguientes propiedades

(1.18)

Si tomamos en cuenta las propiedades (VI.2.9) la ecuacin anterior se reduce a p . En resumen si se considera el mismo procedimiento para otras combinaciones, se tiene por conclusin las siguientes propiedades.

(1.19)

dando como resultado un par de operadores de proyeccin idempotentes y ortogonales . Estas propiedades de los operadores ofrecen otra propiedad adicional con su suma. El resultado es obtenido por la observacin directa a la derivacin de la ecuacin (VI.2.12), la cual quiere decir que

(1.20) en donde

Finalmente de (VI.2.20) y considerando la definicin de los operadores proyeccin se tiene (1.21) Una consecuencia importante de los operadores relacionados con la propiedad de composicin (VI.2.9), es la relacin que se tiene del tipo Sturm-Liouville y tipo Volterra

(1.22)

Lo cual significa que la funcin de Green del problema de Sturm-Liouville, es el producto de la funcin de Green para el problema de valores iniciales (tipo volterra), por un operador de proyeccin con respecto a una matriz mtrica forma con la siguiente

(1.23)

Otra consecuencia relevante es que la ecuacin (VI.2.21) da la condicin necesaria en verificar que la solucin expresada en trminos de la matriz de Green da una solucin a la ecuacin diferencial no-homognea observando tambin la descontinuidad de la matriz de Green que existe en . La comparacin puede ser hecha para el caso de funcin de Green en su forma escalar, la cual tiene su descontinuidad en el orden de la derivada. (ver Courant-Hilbert [6] ). Algunas simplificaciones o resultados adicionales pueden ser obtenidos a partir de algunas propiedades. La frmula de Green y la invarianza de la forma bilinealantisimtrica pueden ser usadas entre otras. Si mismo eigenvalor, entonces resuelve la ecuacin y la ecuacin adjunta perteneciendo ambas al

Tambin se nota que cuando

satisface la ecuacin en

con especificacin inicial en

, entonces

satisface la ecuacin adjunta.

Si nosotros tomamos de la ecuacin adjunta en

como una solucin en del punto inicial de valor en . Entonces

y valor

, y tambin

como una solucin

tal que se cumple

como resultados particulares tenemos los dos siguientes:

1.
para cualquier punto intermedio

2. Recordando que a y b son las condiciones a la frontera y que A y B son los vectores que cumplen con estas condiciones, nosotros tendremos

donde esos vectores pueden ser considerados como soluciones de las condiciones a la frontera dadas. Por un razonamiento similar

son soluciones a la ecuacin adjunta al punto Z

En estos trminos nosotros tenemos

el cual es de valor independiente de Z.

De una forma similar podemos escribir los operadores de proyeccin

Finalmente obtenemos

(1.24)

Estos resultados se aplicarn a cualquier ecuacin diferencial auto-adjunta o no y con cualquier distribucin de valores a la frontera. Algunas condiciones de elegancia surgiran cuando. a) La ecuacin diferencial es auto adjunta b) Las condiciones a la frontera son cannicas Por condiciones a la frontera cannicas nosotros queremos decir que la dimensin es y que ; en otras palabras los vectores expresan las condiciones a la frontera de un subespacio isotrpico maximal en una geometra simplectica definida por (ver apndice A.2). En tales circunstancias podemos elegir .

con el resultado

El cual nos relacionar los dos denominadores en la matriz de Green.

(1.25)

el cual demuestra que

MTODO DE VARIACIN DE CONSTANTES(Formula de Green): Vamos a buscar el mtodo para . Ser anlogo para cualquier valor de .

Hallamos la solucin de la homognea:

Hacemos:

Imponemos Tenemos entonces:

Hacemos ahora:

Sustituyendo , , en la ecuacin:

Teniendo en cuenta que

Nos queda:

Y junto con la condicin impuesta: :

Cuyo wronskiano es distinto de cero. Es, pues, un sistema compatible determinado:

Luego basta hacer:

Esto se puede resumir mediante la llamada formula de Green:

Ya se le llama funcin de Green. Veamos un ejemplo:

Resolvemos la homognea.

Con lo que:

Hacemos la variacin de constantes:

Buscamos:

Operando:

Eliminando :

Nos queda:

Integrando:

Luego:

Por tanto: