1

MTODOS MATEMTICOS I
hgvalqui

2007-1

(05) La funcin de Green uni-dimensional, para ecuaciones ordinarias de segundo

orden, no homogneas (sin recurrir a la funcin delta de Dirac). Una familia Gz de
funciones que deben cumplir exigencias especficas para poder despejar la funcin
f(z) , y calcular su valor, segn las condiciones iniciales o de contorno que deba
satisfacer. Ejemplo del resorte amortiguado y forzado.

01) Sea la ecuacin diferencial ordinaria, de segundo orden, D2 f + w2 f = H

o, si se prefiere, f (x) + w2 f(x) = H(x), donde H es una funcin conocida,
definida en una intervalo (a , b). Consideremos una familia de funciones
Gz(x), donde a z b; y definamos la familia de funciones z(x) = f Gz
f Gz z(x) = f Gz f Gz . Multiplicando la ecuacin dada por Gz ,
y reemplazando, obtenemos
f [Gz + w2 Gz] + z = H Gz . Aqu la idea es caracterizar la funcin Gz ,
tanto su ecuacin diferencial como sus condiciones iniciales o de contorno,
de manera que podamos construir la solucin de la funcin f , cuyas
condiciones iniciales o de contorno han sido dadas.

o
z

La primera condicin que

exigiremos de la funcin Gz(x)
es que ella satisfaga la ecuacin diferencial homognea en todos los puntos,
excepto x = z ; es decir,
Gz(x) + w2 Gz(x) = 0 para x z
[01]
Entonces, para x < z obtendremos Gz(x) = A(z) senwx + B(z) coswx ,
Para x > z tendremos
Gz(x) = M(z) senwx + N(z) coswx
Por otra parte, para x z se cumple que z(x) = H(x) Gz(x). Integrando
esta igualdad en (a , z 0) y en (z+0 , b), podemos escribir,
z(z 0) z(a) + z(b) z(z+0) = az0 HGz + z+0b HGz
Pero H es una funcin continua, y la segunda condicin que exigiremos de
Gz es que ella sea continua en todo el intervalo; es decir, Gz(z 0) =
Gz(z+0) = Gz(z) [02]
Entonces, podemos escribir,
z(z 0) z(a) + z(b) z(z+0) = ab HGz
[03]
o, en forma desarrollada,
f (z)Gz(z0) f (z) Gz(z 0) f (a) Gz(a) + f(a) Gz(a) + f (b) Gz(b)
f(b)Gz(b)
f (z) Gz(z+0) + f(z) Gz(z + 0) = ab HGz & Gz(z+ 0) =
Gz(z 0)

f (z)[Gz(z+ 0) Gz(z 0)] f (a)Gz(a) + f(a)Gz(a) + f (b)Gz(b) f(b)Gz(b) = ab HGz

[04]

Qu significa la ecuacin anterior?

i) Gz(z+ 0) Gz(z 0) 0 podemos despejar la funcin incgnita f
ii) Si como condiciones iniciales de la ecuacin principal se diesen f(a) y f
(a), no sabramos los valores de f(b) y f (b); en tal caso conviene exigir
que Gz(b) = 0, Gz(b) = 0 Gz(x) = 0 en el intervalo [z , b]
iii) Si como condiciones iniciales (mejor dicho, de contorno) se diesen f(a)
y f(b), entonces conviene eliminar f (a) y f (b) , lo cual conseguimos
exigiendo que Gz(a) = Gz(b) = 0
iv) Para despejar la funcin f , exigiremos en este caso, que Gz(z+ 0)
Gz(z 0) = 1 ,
es decir, la derivada de cada una de las funciones Gz da un salto de una
unidad en el punto x = z. (con lo cula Gz se quiebra en dicho punto).
02) Sea f(a) = yo , f (a) = vo . Por comodidad, designemos con Gz1 y Gz2
a la funcin Gz en el primer intervalo y en el segundo intervalo,
respectivamente; entonces,
Gz1(x) = A senwx + B coswx , Gz2(x) = Msenwx + N coswx
Para eliminar f(b) y f (b) exigimos Gz2(b) = Gz2(b) = 0 M = N = 0
Gz1(z) = 0 , Gz1(z0) = 1 Asen wz + B coswz = 0, wA coswz
wBsenwz = 1
A = (1/w) coswz , B = (1/w) senwz
G1z(x) = (1/w) senw(z x) , G1z(x) = cosw(zx) G1z(a) = (1/w)
senw(z a) , Gz1(a) = cosw(za). Entonces,
f (z) vo Gz(a) + yo Gz(a) = az H(x)Gz(x) dx = Aaz H(x)senwx dx + Baz
H(x)coswx dx
finalmente,
f (z) = vo Gz(a) yo Gz(a) + Aaz H(x)senwx dx + Baz H(x)coswx dx
Aplicar esto para el caso H(x) = e x
{e x [ senw(x z) w cosw(x z) ] } = (2 + w2) e x senw(x z)
{e x [w senw(x z) + cosw(x z) ] } = (2 + w2) e x cosw(x z)

03) Veamos ahora el caso general. Consideremos el operador

= D(pD) + q
[05]
donde p y q son funciones que no se anulan en el intervalo [a , b] ; y la
ecuacin diferencial
f = H ; H es una funcin dada
[06]
03.1) Sea Gz una familia monoparamtrica de funciones, con a z b ,
cuyas propiedades iremos definiendo poco a poco, con el fin de poder

despejar la funcin f de la ecuacin [06]. Tambin definiremos la

familia de funciones
z = p(GzDf f DGz)
[07]
de donde obtenemos que,
Dz = Gz D(pDf) f D(pDGz)
[07.1]
lo que reemplazado en [06] produce la ecuacin,
f [D(pDGz) + qGz] + Dz = HGz
[06.1]
Ahora impondremos la primera condicin a la funcin Gz ,
D(pDGz) + qGz = 0 en x z
[08]
con lo cual, la ecuacin para f se reduce a
Dz = HGz
Integrando en [a , b], obtenemos:
z(z 0) z(a) + z(b) z(z+0) = az0 HGz + z+0b HGz

(I)

[08.1]

La funcin H es continua ; a la funcin Gz le imponemos la segunda

condicin.
Gz es continua en todo el intervalo; es decir, Gz(z 0) = Gz(z + 0) ( II )
[09]
Entonces podemos escribir,
z(z 0) z(a) + z(b) z(z+0) = ab HGz
[10]
y, teniendo presente que f , f , p , Gz son funciones continuas
z(z0) z(z+0) = p(z) [Gz(z) f (z) f(z) Gz(z0)] p(z) [Gz(z) f(z)
f(z)Gz(z+0)]
es decir,
z(z0) z(z+0) = p(z) f(z) [Gz(z0)] Gz(z+0)]
lo que reemplazado en [10] da,
p(z) f(z) [Gz(z0)] Gz(z+0)] + z(b) z(z+0) = ab HGz
[10.1]
Ahora, con el objeto de despejar al funcin f(z) , exigiremos que
p(z) [Gz(z0)] Gz(z+0)] = 1
(III)
[11]
entonces,
f(z) = z(a) z(b) + ab GzH
[12]
y la (el valor de) la funcin f(z) quedar bien determinado cuando se
conozca la funcin Gz . Esta funcin debe ser solucin de [08]

03.2) Para poder hallar la funcin Gz , debemos especificar sus condiciones

iniciales o de contorno, las mismas que se encuentran en z(b) z(a).
Desarrollando,
z(b) z(a) = p(b) [Gz(b) f (b) f(b) Gz(b)] p(a) [Gz(a) f (a)
f(a)Gz(a)]
Consideremos dos casos:
Caso 1. Las condiciones iniciales para f son f(a) = yo , f (a) = vo
Aqu debemos eliminar los valores desconocidos f(b) , f (b); para ello
imponemos a Gz las condiciones:
Gz(b) = Gz(b) = 0
(IV,1)
[13]
con lo cual z(b) z(a) = p(a) [Gz(a) vo yoGz(a)]
Notemos que las condiciones impuestas en (13) implican que la funcin Gz
se anula en el intervalo (z + 0 , b], por los que, segn (II) y (III), Gz(z 0) =
0 , Gz(z 0) = 1/p(z) lo que constituyen las condiciones iniciales para
Gz en el intervalo inferior, con lo cual ya podemos hallar una nica
solucin para Gz , y consecuentemente, podemos hallar los valores de Gz(a)
y Gz(a). De esta manera tendremos
f(z) = p(a) [Gz(a) vo yoGz(a)] + az GzH
[13.1]
Caso 2. Las condiciones iniciales para f son f(a) = yo , f (b) = y1
Aqu debemos eliminar los valores desconocidos f (a) , f (b); para ello
imponemos a Gz las condiciones:
Gz(a) = Gz(b) = 0
(IV,2)
[14]
con lo cual z(b) z(a) = y1 p(b) Gz(b) + yo p(a) Gz(a)
Ahora, la ecuacin diferencial D(pDGz) + qGz = 0 para x z , y las
condiciones de empate (II) y (III), y las condiciones de contorno (IV,2)
permiten hallar la solucin Gz en todo el intervalo [a , b]. Luego podemos
obtener Gz(a) y Gz(b); y
f(z) = y1 p(b) Gz(b) yo p(a) Gz(a)+ ab GzH
[14.1]
03.2) Hallar la solucin de f + 2f + wo2 f = r , con f(a) = yo , f (a) =
vo
i) Esta ecuacin no tiene la forma que nos permita aplicar los resultados del
Caso 1. Sea p(x) = exp(2x), entonces pf + 2pf + wo2 pf = rp (p f
) + wo2 pf = rp , o tambin, (p f ) + q f = H , donde q wo2 p , H r p .
Entonces, Gz deber satisfacer la ecuacin, (pGz) + q Gz = 0 para x z
2pGz + pGz + qGz = 0
Gz + 2 Gz + wo2 Gz = 0 (que es la ecuacin para f cuando r = 0)

ii) Si ensayamos una solucin de la forma Gz(x) = u(x) sen(wx + ) , tanto

para el intervalo x < z , como para el intervalo x > z , las dos
correspondientes soluciones se diferenciarn en las dos constantes de
integracin. Ahora tenemos Gz = usen + wu cos Gz = (u w2
u)sen + 2wu cos (u w2 u)sen + 2wu cos + 2(u sen + wu cos) +
wo2 u sen = 0 (u w2 u + wo2 u + 2 u) sen + 2 w ( u + u) cos = 0
Por qu ? u w2 u + wo2 u + 2 u = 0 & u + u = 0 u(x) =
M e x u(x) = N e x , para x > z para x > z , respectivamente.
Tambin, 2 u w2 u + wo2 u 22 u = 0
w2 = wo2 2 [*] .
iii) As tenemos,
Gz(x) = M e x sen(wx + ) , para x < z ; Gz(x) = N e x sen(wx + ) ,
para x > z , donde aparecen 4 constantes de integracin. M , N , , ; las
mismas que deben ser determinadas por las condiciones sobre la funcin Gz
. Efectivamente
iv) Dos ecuaciones surgen de las condiciones de empate en x = z 0 z +
0
M e z sen(wz + ) = N e z sen(wz + ) ,
M e z sen(wz + ) + w M e z cos(wz + ) [N e z sen(wz + ) +
w N e z cos(wz + )] = 1/e2 z = e2 z . O tambin, simplificando los
exponenciales,
M sen(wz + ) = N sen(wz + ) ,
M [ sen(wz + ) + w cos(wz + )] + N [ sen(wz + ) w cos(wz + )]
= e z .
De donde obtenemos
M(z) = (1/w) e z sen(wz + )/sen()
, N(z) = (1/w) e z sen(wz +
)/sen().
v) Las otras dos ecuaciones surgen de las condiciones iniciales de Gz
.Tenemos, en este caso Gz(b) = 0 , Gz(b) = 0 Gz(x) = 0 para x> z
Gz(z+0) = 0 , Gz(z + 0) = 0 Gz (z 0) = 0 , Gz(z 0) = e2 z . Es
decir, M e z sen(wz + ) = 0 ,
Gz(z0) + w M e z cos(wz
+ ) = e 2 z
M sen(wz + ) = 0 , w M cos(wz + ) = e z
Pero M no debe anularse, entonces = w z , M = (1/w) e z
(verificacin) sen(wz + )/sen() = 1.
As, Gz(x) = (1/w) e (z + x) sen w(x z) para a x < z , Gz(x) = 0
para z < x b . Entonces,
p(a) [Gz(a) vo yoGz(a)] = e2 a [ vo (1/w) e (z+a) sen w(a z) yo {
(/w) e (z + a) senw(a z) e (z+a) cosw(a z)]
* p(a) [Gz(a) vo yoGz(a)] = e (a z) [ (vo + yo)/w) sen w(a z) + yo
cosw(a z)]
Por otra parte,

* ab GzH = az GzH = (1/w) e z az e x senw(x z) e2 x r(x) dx

con lo cual, segn (13.1), ya podemos obtener f(z)
03.3) Hallar la solucin de f + 2f + wo2 f = r , con f(a) = yo , f (b) =
y1
i) De ms arriba tenamos, para w2 = wo2 2 , las soluciones
Gz(x) = M e x sen(wx + ) , para x < z ; Gz(x) = N e x sen(wx + ) ,
para x > z , donde aparecen 4 constantes de integracin. M , N , , ; las
mismas que deben ser determinadas por las condiciones sobre la funcin Gz
. Las condiciones de empate dan, como antes,
M(z) = (1/w) e z sen(wz + )/sen()
, N(z) = (1/w) e z sen(wz +
)/sen().
ii) Las otras dos ecuaciones surgen de las condiciones iniciales de Gz
.Tenemos, en este caso que anular los coeficientes de f (a) y f (b); es
decir, Gz(a) = Gz(b) = 0, con lo cual
z(b) z(a) = p(b) y1 Gz(b)] + p(a)yo Gz(a) = e2 b y1 Gz(b) + e 2 a yo
Gz(a) [&]
De las condiciones de contorno, Gz(a) = Gz(b) = 0 , obtenemos
M e a sen(wa + ) = 0 , Gz(b) = N e b sen(wb + ) = 0
O tambin M sen(wa + ) = 0 , N sen(wb + ) = 0
Descartando la anulacin simultnea de M y N, tenemos 3 posibilidades:
A) M = 0 , = wb , B) = wa , N = 0,
C) = w a ,
=wb
A) M = 0 = wz = wb z = b ; que no conviene, pues fija el valor
de z.
B) N = 0 = wz = wa z = a , tampoco conviene.
C) = w a , = w b
M(z) = (1/w) e z senw(z b)/senw(b a) , N(z) = (1/w) e z senw(z
a)/senw(b a)

Gz(x) = (1/w) e z [senw(z b)/senw(b a)] e x senw(x a) , para x <

z
Gz(x) = (1/w) e z [senw(z a)/senw(b a)] e x senw(x b) , para x >
z
que, como puede verificarse, para todo z satisface las condiciones de
contorno y las condiciones de empate. Adems,
Gz(a) = e (a + z ) [senw(z b)/senw(b a)]
Gz(b) = e (b + z ) [senw(z a)/senw(b a)] , con lo cual , [&]

z(b) z(a) = e (b z) y1 [senw(z a)/senw(b a)] + e (a z) yo [senw(z

b)/senw(b a)]
Por otra parte,
[*]
ab GzH = (1/w) e z [senw(z b)/senw(b a)] az H(x)e x senw(x a) dx
+
(1/w) e z [senw(z a)/senw(b a)] zb H(x) e x senw(x b) dx
o, con H(x) = e2 x r(x)
ab GzH = (1/w) e z [senw(z b)/senw(b a)] az r(x)e x senw(x a) dx +
(1/w) e z [senw(z a)/senw(b a)] zb r(x) e x senw(x b) dx
con lo cual ya tenemos todos los elementos para calcular f(z).

FIN DEL CAPTULO

[e x senw(x a) senx] = e x [ senw(x a) senx + w cosw(x a) senx +
senw(x a) cosx]
x
x
[e cosw(x a) senx] = e [ cosw(x a) senx w senw(x a) senx +
cosw(x a) cosx]
[e x senw(x a) cosx] = e x [ senw(x a) cosx + w cosw(x a) cosx
senw(x a) senx]
x
x
[e cosw(x a) cosx] = e [ cosw(x a) cosx w senw(x a) cosx
cosw(x a) senx]

[p(GF FD) + u GF] = G[(pF) uF + q F ] F [(pG) (uG) + q G]

(pF) uF + q F = H
[p(GF FD) + u GF] + F [(pG) (uG) + q G] = GH

PARA LA PRCTICA:
00) Sea el operador = D(p D) + q , donde p 0 , q son infinitamente
diferenciables; y f tiene desarrollo de Taylor convergente i) Para las funciones f
de N() verifique que f(xo) = f (xo) = 0 f(k)(xo) = 0 para k = 0 , 1 , 2 , 3..
ii) f(xo) = f (xo) = 0 f(x) = 0 , en todo el intervalo donde se ha definido la
ecuacin.
01) Calcule las funciones de Green y las soluciones de cada una de las siguientes
ecuaciones:
02) f w2 f = e sen , con f(a) = 0 , f (a) = 1 ; e (x) = e x , sen(x) = senx
03) f w2 f = sen , con f(a) = 0 , f (b) = 1
04) f f + w2 f = sen , con f(a) = 0 , f (a) = 1
05) f f + w2 f = sen , con f(a) = 0 , f (b) = 1

8
P = exp(x p) P = pP
f = D2f + pDf + qf P f = P D2f + P Df + qPf = D(PDf) + q Pf
Por otra parte, definimos = P(GDf f DG) D = G D(PDf) f D(PDG)
Entonces,
GP f = f D(PDG) + D + f qPG = f [D(PDG) + q PG] + D
Para la ecuacin f = H [01], podemos escribir, f [D(PDG) + q PG] + D = GPH
D(PDG) + q PG = pP DG + P D2G + qPG = P(D2G + pDG + qG)
o tambin,
P f [D2 G + pDG + q G] + D = GPH [no conviene dividir entre P]
Ahora consideremos una familia de funciones Gz , donde a z b. Entonces,
P f [D2 Gz + pDGz + q Gz] + D = GzPH
(I) D2 Gz + pDGz + q Gz = 0 para x z [02] Dz = GzPH para x z ; luego,
integrando,
az0 Dz + z+0b Dz = az0GzPH + z+0b GzPH ,
pero P y H son continuas; adems, exigimos
(II) Gz(z 0) = Gz(z + 0) ; es decir, Gz es continua en todo el intervalo [03]
Es decir,
z(z0) z(a) + z(b) z(z+0) = ab PGzH
[04]
Pero, Teniendo presente que P, f , Df y Gz son continuas en todo el intervalo,
z(z0) z(z+0) = P(z) [Gz(z) f (z) f(z) Gz(z0)] P(z) [Gz(z) f(z) f(z)Gz(z+0)]

z(z0) z(z+0) = P(z) f(z) [Gz(z0)] Gz(z+0)]

lo que reemplazado en [04], da
P(z) f(z) [Gz(z0)] Gz(z+0)] + z(b) z(a) = ab PGzH
(III) P(z) [Gz(z0)] Gz(z+0)] = 1 [05]
f(z) + z(b) z(a) = ab PGzH
[06]
donde la funcin f ha sido despejada; y podemos calcularla si se conociese Gz . Para
Gz tenemos la ecuacin diferencial que debe satisfacer, [I] ; pero nos falta especificar
sus condiciones iniciales o de contorno. Tenemos,
z(b) z(a) = P(b) [Gz(b) f (b) f(b) Gz(b)] P(a) [Gz(a) f (a) f(a)Gz(a)]
Caso 1: f(a) = yo , f (a) = vo ; entonces, para eliminar f(b) y f (b), que no conocemos,
exigimos [IV] Gz(b) = Gz(b) = 0 Gz(x) = 0 en (z , b] Gz(z+0) = Gz(z+0) = 0
Gz(z 0) = 0 , Gz(z 0) = 1/P(z) , que sern las condiciones iniciales para Gz(x) en
el intervalo [a, z)
f(z) + =
Caso 2: f(a) = yo , f(b) = y1 ; entonces, para eliminar f (a) y f (b) , que no conocemos,
exigimos [IV]
Gz(b) = Gz(a) = 0
z(b) z(a) = P(b) y1 Gz(b)] + P(a) yo Gz(a)