Mtodos matemticos para la fsica II

Ensayo Funcin de Green

Nombre: Rodrigo Donoso V

Resumen
En este ensayo, se plantea la funcin de Green, y se encuentra su forma para resolver ecuaciones diferenciales ordinarias, la forma que adquiere para la ecuacin de Poisson (haciendo una analoga a la electrodinmica clsica), para la ecuacin de ondas en 3 dimensiones y para la ecuacin de calor, con algunas condiciones de borde e iniciales.

La funcin de Green es un kernel integral que se utiliza para resolver ecuaciones diferenciales inhomogneas con condiciones de borde. Su nombre se debe al matemtico y fsico britnico George Green (14 Julio 1793 - 31 Mayo 1841) quien introdujo por primera vez un termino similar al teorema de Green, la idea de las funciones potencial comnmente utilizadas en fsica y el concepto conocido como funcin de Green

1. Funcin de Green 1.1. Denicin

La funcin de Green G(x, s) de un operador lineal L = L(x) actuando sobre una distribucin denida en Rn , es solucin de:
LG(x, s) = (x, s)

(1.1)

donde es la delta de Dirac. Se puede utilizar para resolver los problemas diferenciales de la forma: Lu(x) = f (x) (1.2) Si el ncleo de L no es trivial, entonces la funcin de Green no es nica, aunque en la prctica una combinacin de las simetras del problema, las condiciones de contorno y otros criterios prcticos externos nos proporcionan una nica funcin de Green. La funcin de Green usualmente no es una Funcin matemtica ordinaria sino que puede ser una distribucin o funcin generalizada. No cualquier operador diferencial lineal L admite funcin de Green. Son muy tiles en teora de la materia condensada donde permiten resolver la ecuacin de difusin y tambin en mecnica cuntica para el desarrollo de la teora cuntica de campos.

1 Funcin de Green

1.2. Planteamiento de la funcin de Green

Consideremos una ecuacin diferencial lineal escrita de la forma del problema de Sturm-Liuville. L(x)u(x) = f (x) (1.3) donde L(x) es un operador lineal autoadjunto u(x) es una funcin desconocida y f (x) es un trmino no homogneo. y L acta en un dominio que satisface ciertas condiciones de borde. La solucin del problema puede ser escrita de la forma: u(x) = L1 f (x) (1.4) donde L1 es el operador inverso de L(x). L satisface:
LL1 = L1 L = I I es el operador identidad. El operador Inverso se puede denir por: L1 f = G(x, x )f (x )dx

(1.5)

(1.6)

donde el kernel G(x, x ) es la funcin de Green asociada al operador diferencial L. El operador identidad I corresponde a la delta de Dirac. De acuerdo a las propiedades de la delta, la funcin de Green satisface:
L(x)G(x, x ) = (x x )

(1.7)

Para que una funcin corresponda a G(x, x ), debe satisfacer las condiciones de borde, la funcin debe ser continua en x = x , y su primera derivada debe ser discontinua en x = x La solucin de la ecuacin (1.3) se puede escribir en trminos de la funcin de Green: u(x) = G(x, x )f (x )dx (1.8)

comprobando que (1.8) es solucin de (1.3):

Lu(x) = L

G(x, x )f (x )dx

LG(x, x )f (x )dx

(x x )f (x )dx = f (x)

2 Funcin de Green para ecuaciones diferenciales ordinarias

1.3. Formas de la funcin de Green

La funcin de Green, adquiere una forma diferente dependiendo de las dimensiones del espacio en el que se trabaje, de los tipos de coordenadas, de la ecuacin que se desea resolver (elptica, hiperblica, parablica), de las condiciones de borde (Dirichlet, Neumann, Cauchy o Robin), y de las condiciones iniciales del problema que se desea resolver, siempre y cuando este problema tenga soluciones nicas y estables.

2. Funcin de Green para ecuaciones diferenciales ordinarias 2.1. Planteamiento

Consideremos el problema de valor inicial:
dn1 y dy dn y + a + ... + an1 + an y = f (t), 0 < t 1 n n 1 dt dt dt

(2.1)

donde a1 , a2 , ..., an son constantes y todos los valores de y , y , y , ..., y n1 son cero en t = 0. tomando la transformada de Laplace de la ecuacin (2.1):
(sn + a1 sn1 + a2 sn2 + ... + an )Y (s) = F (s)

(2.2)

donde Y (s) y F (s) son la transformada de laplace de y (t) y F (t) respectivamente. F (s) Y (s) = = G(s)F (s) (2.3) n1 n2
(sn + a1 s
n1

+ a2 s

+ ... + an )

donde G(s) = (sn + a1 s

+ ... + an )1 . Por el teorema de Convolucin: t y (t) = g (t) f (t) = g (x)f (t x)dx (2.4) + a2 s
n2 o

donde g (t) es la transformada inversa de G(s) Se ha asumido condiciones iniciales homogneas. Si se tiene condiciones iniciales no homogneas, se encuentra la solucin homognea y se adhieren las condiciones no homogneas a la solucin de la ecuacin diferencial (2.4) La funcin de Green de (2.1) es la solucin de la ecuacin diferencial:
dn g dn1 g dg + an g = t , 0 < t, + a1 n1 + ... + an1 n dt dt dt

(2.5)

Utilizando (2.1) y la ecuacin (2.5) como nuestra denicin fundamental de la funcin de Green, se tiene que resolver el problema de valor inicial:
dn u dn1 u du + a + ... + an1 + an u = 0, < t 1 dtn dtn dt

(2.6)

con las condiciones iniciales:

u( ) = u ( ) = . . . = un2 ( ) = 0, y un1 ( ) = 1

(2.7)

2 Funcin de Green para ecuaciones diferenciales ordinarias

la ecuacin (2.7) es un ejemplo de un sistema estacionario, La funcin de Green esta relacionada con u(t) como g (t, ) = u(t )H (t ).. Se puede introducir una nueva variable de tiempo t = t , observando que la transformada de Laplace de (2.7) y (2.6) son idnticas. Entonces la solucin esta dada por:

y (t) =
o

g (t, )f ( )d
t

(2.8)

Ahora vericando.
y (t) = g (t, t)f (t) +

g (t, )d
0 t

y (t) = g (t, t)f (t) +

0

g (t, )d

. . .
y (t) = g
n n1

(t, t)f (t) +

g (n) (t, )f ( )d

Ahora se impone que la funcin de Green debe satisfacer las condiciones g (t, t) = g (t, t) = g (t, t) = . . . = g (n2) (t, t) = 0 y g (n1) (t, t) = 1. Luego sustituyendo en (2.1).
dn1 y dy dn y + a + + an1 + an y = 1 n n 1 dt dt dt t n d g dn1 g dg f (t) + + a + + an1 + an g f ( )d 1 n n1 dt dt dt 0 = f (t)

2.1.1. Ejemplo
Encontrar la funcion de Green de:
y 3y + 2y = f (t)

(2.9) (2.10)

con y (0) = y (0) = 0. Primero se reemplaza en (2.9) con la funcin de Green.

g 3g + 2g = (t )

con g (0, ) = g (0, ) = 0 tomando la transformada de Laplace de (2.10), se encuentra: es G(s, ) = 2 (2.11)
s 3s + 2

La funcin de Green es igual al inverso de G(s, )

g (t, ) = [e2(t ) et ]H (t )

(2.12)

donde H (t) es la funcion de Heaviside.

H (t a) = 1 0 t>a t<a

(2.13)

2 Funcin de Green para ecuaciones diferenciales ordinarias

2.2. Expansin de autofunciones

Considere el problema no homogneo
y = f (x)

(2.14) (2.15)

con y (0) = y (l) = 0 La funcin de Green que satisface este problema es:
g = (x x ), con G(0, x ) = G(L, x ) = 0

Esto puede ser expandido, en trminos de series de Fourier de senos:

g (x, x ) =
n=1

Gn (x ) sin

nx L

(2.16)

Aunque tambin se puede expandir en trminos de otras series ortogonales. Observando este desarrollo:

g (x, x ) =
n=1

n2 2 L2

Gn (x )sin nx L

nx L

(2.17) (2.18)

(x x ) =
n=1

An (x )sin

donde
An (x ) = 2 L

(x x )sin

2 nx dx = sin L L

nx L

(2.19)

Ahora sustituyendo (2.17) y (2.18) en (2.15):

n2 2 L2 Gn (x ) = 2 sin L nx L

(2.20)

y la funcin de Green resulta:

g (x, x ) = 2L 1 sin 2 n=1 n2 y (x) =
0

nx L

sin

nx L

(2.21)

Ahora se puede utilizar series para reconstruir la ecuacin no homognea (2.14):

L

g (x, x )f (x )dx
0 L

(2.22)
nx L dx

y (x) =

1 nx 2L sin 2 n=1 n2 L y (x) = L2 2

f (x )sin

(2.23) (2.24)

an nx sin 2 n L n=1

donde an son los coecientes de fourier seno de f (x)

2 Funcin de Green para ecuaciones diferenciales ordinarias

2.2.1. Ejemplo
considere el problema de valores iniciales:
y + a2 y = f (x), con y (0) = y (l) = 0

(2.25)

La funcin de Green debe satisfacer:

g + a2 g = (x x ), con g (0, x ) = g (l, x ) = 0

(2.26)

Utilizando la serie de Fourier seno:

g (x, x ) =
n=1

Gn (x )sin

nx L

(2.27)

Reemplazando (2.27) en (2.26) y recordando la ecuacin de la delta en trminos de series de Fourier (2.18):
2 nx n2 2 Gn (x ) + a2 Gn (x ) = sin L2 L L Gn (x ) = 2 sin(nx /L) L n2 2 /L2 a2

(2.28) (2.29)

Luego la funcin de Green es:

sin(nx /L)sin(nx/L) 2 g (x, x ) = L n=1 n2 2 /L2 a2

(2.30)

2.3. Oscilador armnico amortiguado

Consideremos la ecuacin diferencial que describe la las fuerzas de interaccin en un oscilador armnico amortiguado.
my + cy + ky = f (t)

(2.31)

donde y (t) es el desplazamiento del oscilador desde la posicin de equilibrio, c es el coeciente de amortiguamiento, y f (t) es la fuerza que acta sobre el oscilador. La funcin de Green para (2.31):
mg + cg + kg = (t )

(2.32)

con las condiciones g (0, ) = g (0, ) = 0 y > 0 Se puede resolver (2.32) por transformada de laplace o de Fourier. Haciendo la transformada de Fourier de la ecuacin (2.32), se encuentra:
G(, ) = ei /m ei = 2 k + ic m k/m + ic/m 2

(2.33)

3 Funcin de Green para resolver el problema electrosttico en coordenadas esfricas

deniendo w0 como la frecuencia natural de oscilacin y aplicando la transformada inversa de Fourier

1 mg (t, ) = 2 = 1 2

ei(t ) 2 d 2 ic/m 0

ei(t ) d ( 1 )( 2 )

(2.34)

con 1,2 = 0 c2 /(2m)2 > 0 Evaluando (2.34) con el mtodo de los residuos. Para t < 0 los polos de (2.34) estn en la mitad superior del plano el integrando es analtico en el contorno cerrado g (t, ) = 0. Si t > 0, se integra a lo largo de un semicrculo de radio innito en el plano superior de . Para c/2m << 0 , los polos estn muy cerca del eje real, alrededor de los puntos 0 Como c/2m se incrementa desde cero hasta 0 los polos estn cerca del eje imaginario positivo movindose. Se mueve alrededor del semicrculo de radio 0 centrado en el origen.
mg (t, ) = 2i 1 2 = Res eiz(t ) eiz(t ) ; 1 + Res (z 1 )(z 2 ) (z 1 )(z 2 )

i ei1 (t ) ei2 (t ) 1 2 H (t )

2 (c/2m)2 ec/2m(t ) sin (t ) w0 2 (c/2m)2 w0

indica la funcin de Green para un oscilador dbilmente amortiguado. Cuando 1 = 2 , se tiene un oscilador crticamente amortiguado. La Funcion de Green que lo describe esta dada por:
mg (t ) = (t )ec/2m(t ) H (t )

Y por ultimo para un oscilador sobre amortiguado, cuando c/2m > 0

mg (t, ) =
2 + (c/2m)2 ec/2m(t ) sinh (t ) w0 2 + (c/2m)2 w0

H (t )

3. Funcin de Green para resolver el problema electrosttico en coordenadas esfricas

Consideremos la ecuacin de Poisson:
2 = 0

(3.1)

3 Funcin de Green para resolver el problema electrosttico en coordenadas esfricas

que en analoga con electrosttica representa el potencial en presencia de una densidad de cargas . si = 0, se tiene la ecuacin de Laplace.
2 = 0

(3.2)

de la ley de Coulomb, la fuerza de interaccin entre dos cargas puntuales esta dada por:
F = kq1 q2 1 r donde k r2 4 0

(3.3)

la superposicin lineal de fuerzas debida a varias cargas indica que el potencial en el punto r1 producido por estas cargas se puede expresar sumando los potenciales debido a cada una de las cargas.
=k
i

qi ri

(3.4)

Considerando una distribucin de carga de densidad , para el potencial en el punto r = r1 y la distribucin de cargas en r = r2
=k (r2 ) d2 |r1 r2 |

(3.5)

esta es la solucin particular de la ecuacin de Poisson (3.1) Eligiendo = 1/|r1 r2 | que es el potencial de la unidad de carga, y por lo tanto satisface:
2 1 |r1 r2 | = (r1 r2 )

(3.6)

Lo que se puede escribir en trminos de la funcin de Green

2 G(r1 , r2 ) = (r1 r2 )

(3.7)

donde la integral en un volumen pequeo que incluye el punto de la fuente esta descrito por: 1 1 G(r1 r2 )s1 = (r1 r2 )d1 (3.8) donde el subndice indica que se esta operando sobre r1 . Por el teorema de Gauss, y las propiedades de la delta de Dirac, la integral de la izquierda se transforma en
1 G(r1 , r2 ) d1 = 1

(3.9)

lo que en el espacio de 3 dimensiones, se satisface por:

1 1 G(r1 , r2 ) = |r1 r2 | 4 |r1 r2 |2

(3.10)

4 Funcin de Green para la ecuacin de Ondas en 3 dimensiones

al integrar alrededor de una supercie centrada en r2 :

G(r1 , r2 ) = 1 1 4 |r1 r2 |

(3.11)

Expandiendo G en armnicos esfricos:

l

G(r1 , r2 ) =
l=0 m=l

gl (r1 , r2 )Ylm (1 , 1 )Ylm (2 , 2 )

(3.12)

determinando gl (r1 , r2 ):
(r1 r2 ) = 1 2 (r1 r2 ) r1

1 2 (r1 r2 ) (cos1 cos2 ) (1 2 ) r1

l

(3.13) (3.14)

gl (r1 , r2 )Ylm (1 , 1 )Ylm (2 , 2 )

l=0 m=l

sustituyendo en (3.7) se obtiene:

r1 d2 2 [r1 g1 (r1 , r2 )] l(l + 1)gl (r1 , r2 ) = (r1 r2 ) dr1

(3.15)

se requiere que gl sea nito cuando r1 0 y que diverga cuando r1 as:

1 gl (r1 , r2 ) = 2l + 1
l r1 l+1 r2 l r2 l+1 r2

r1 < r2 r1 > r2

(3.16)

lo que se puede escribir:

gl (r1 , r2 ) =
l r< 1 l+1 2l + 1 r>

(3.17)

y luego la funcin de green es:

l

G(r1 , r2 ) =
l=0 m=l

l r< 1 Y m (1 , 1 )Ylm (2 , 2 ) 2l + 1 r <l+1 l

(3.18)

4. Funcin de Green para la ecuacin de Ondas en 3 dimensiones

La ecuacin de ondas tridimensional:
1 2 = 2 + f (x, t) c2 t2

(4.1)

4 Funcin de Green para la ecuacin de Ondas en 3 dimensiones

10

donde la radiacin puede viajar hacia espacios innitos donde f (x, t) = 0. La funcin de Green G(x, t; y, ) asociada a este problema debe satisfacer:
1 2G 2 x G = (t ) (x y ) c2 t2

(4.2)

con la condicin de que las ondas deben radiar fuera de los puntos x = y . La solucin de (4.1) es:

(x, t) =

G(x, t; y, )f (y, )d3 yd

(4.3)

1 2G 2 z G = (T ) (z ) c2 T 2 ademas (z ) = (r)/4r2 , r = |z |. 1 2G 1 2 1 rG = (T ) (r) c2 T 2 r r2 4r2

en:

Si ahora se introducen las variables, z = x y , y T = t , (4.2) se convierte (4.4)

(4.5)

Para r = 0, se tiene que (r) = 0, y la ecuacin resulta:

1 2G 1 2 rG = 0 c2 T 2 r r2

(4.6)

Que es una ecuacin unidimensional de ondas. Utilizando la solucin D'Alembert se puede encontrar la solucin.
G(r, T ) = 1 {F (T r/c) + E (T + r/c)} 4r

(4.7)

donde F (T /c) representa una onda que se mueve desde r = 0 y E (T + /c) una onda que se mueve hacia r = 0. Comparando con la condicin de que las ondas radian desde r = 0, se tiene que:
G(r, T ) = 1 F (T r/c) 4r

(4.8)

Generalizando este resultado, para r 0 cuando r = 0

G(r, T ) = lim
0

H (r )

1 F (T r/c) 4r

(4.9)

ahora usando la ecuacin:

2 z lim
0

H (r )f (r) 4r

= f racf (r)4r f (0) (z )

(4.10)

se encuentra:
2 z G = lim
0

H (r )

1 F (T r/c) 4r

5 Funcin de Green para la ecuacin de calor

11

F (T r/c) F (T ) (z ) 4rc2 diferenciando G con respecto a T : = G F (T r/c) = 2 T 4r

(4.11)

(4.12)

lo que indica que:

1 2G z G = F (T ) (z ) = (T ) (z ) c2 T 2 (T r/c) 4r recordando que T = t y que r = |z | = |x y | G(r, T ) = G(z, t; y, ) = 1 1 t |x y | 4 |x y | c

(4.13)

donde F (T ) = (T ) y

(4.14)

(4.15)

5. Funcin de Green para la ecuacin de calor

u a2 2 u = q (r , t) (5.1) t donde a2 es la difusividad, q (r, t) es la densidad de la fuente, t es el tiempo y r

la ecuacin de calor:

es la posicin. Para resolver este problema, se requiere de una condicin inicial u(r, t) = t0 y de condiciones de bordes, como condiciones de Dirichlet, Neumann, Robin o una combinacin lineal de estas. Expresando (5.1) en trminos de la funcin de Green, condiciones iniciales y de borde. g a2 2 g = (r r0 ) (t ) (5.2)
t

Por causalidad se debe hacer g (r, t; r0 ) = 0 si t < adems se requiere que la funcin de green satisfaga las condiciones de borde impuestas. Ahora resolviendo el problema de valor inicial:
u a2 2 u = 0 t

(5.3)

para t > u(r, ) = (r r0 ) Luego g (r, t; r0 ) = u(r, t )H (t ) Entonces estableciendo que la ecuacin no homognea de calor se puede expresar en trminos de la funcin de Green se tiene las ecuaciones:
a2 2 0 u(r0 , t0 ) u(r0 , t0 ) = q (r0 , t0 ) t0

(5.4)

5 Funcin de Green para la ecuacin de calor

12

a 2 2 0 g (r , t; r0 , t0 ) +

g (r , t; r0 , t0 ) = (r r0 ) (t t0 ) t0

(5.5)

multiplicando (5.4) con (5.5), restando e integrando en un volumen V0 desde t a t+ se encuentra que:
a
2 0 V0 t+

u2 0g =
0 V0 t+

g 2 0 u)dV0 dt0 +
0

t+

u
V0

u g +g t0 t0

dV0 dt0

q (r0 , t0 )g (r , t; r0 , t)dV0 dt0 u(r , t)

(5.6)

Aplicando teorema de Green (ver apndice ), se encuentra:

u(r , t) =
0 V0 t+

q (r0 , t0 )g (r , t; r0 , t0 )dV0 dt0

+a2
0

t+

(g (r , t; r0 , t0 )0 u(r0 , t0 ) u(r0 , t0 )0 g (r , t; r0 , t0 )) ndS0 dt0

S0

+
V0

u(r0 , 0)g (r , t; r0 , 0)dV0

(5.7)

Los dos primeros trminos incluyen el efecto de la supercie volumtrica y de las condiciones de borde y el ltimo trmino incluye las condiciones iniciales.

5.0.1. ecuacin de calor unidimensional para un dominio innito

2g g a2 2 = (x ) (t ) (5.8) t x sujeta a las condiciones de borde: lim|x| |g (x, t; , )| < y las condiciones inciales g (x, 0; , ) = 0.

tomando la transformada de Laplace de (5.8), se encuentra:

d2 G s (x ) 2 G) = = es 2 dx a a2

(5.9)

Ahora tomando la transformada de Fourier de (5.9):

(k 2 + b2 )G(k, s; , ) = eik es a2

(5.10)

donde b2 = s/a2 y G(k, s; , ) es la transformada de Fourier de G(x, s; , ) Usando la transformada Inversa de Fourier para encontrar G.
G(x, s; , ) = es 2a2

ei(x )k dk k 2 + b2

(5.11)

6 Apndice: Teorema de Green

13

Calculando sobre un contorno cerrado, y evaluando por teorema del residuo se encuentra:
G(x, s; , ) = e|x | s/as 2a s

(5.12)

y nalmente de una tabla de transformada de laplace se encuentra:

g (x, t; , ) = H (t ) 4a2 (t ) exp (x )2 4a2 (t )

(5.13)

6. Apndice: Teorema de Green

Asumiendo que el vector V y sus primeras derivadas son continuas en una regin simple y conectada de inters, el teorema de Gauss establece:
V d =
V V

V d

(6.1)

sea V = donde y son funciones escalares arbitrarias. Se tiene:

( ) = 2 =

(6.2) (6.3)

sustituyendo en el teorema de Gauss:

V

d =

(2 )d
V

(6.4)

que es llamado la primera identidad de Green. si en (4) se intercambia y , y se resta, los trminos desaparecen y se obtiene:

=
V

(2 2 )d

(6.5)

el cual es el teorema de Green. El teorema de Green se puede escribir de una forma equivalente cambiando la notacin:
(2 2 )d =
V V

( )d

(6.6)

6 Apndice: Teorema de Green

14

Bibliografa
George B. Arfken, Hans J. Weber, Mathematical Methods For Physicists, 4th ed., Academic Press 1995 Dean G. Duy Green's Function with Aplications , Chapman and Hall/CRC 2001 John david Jackson Classical Electrodinamics 1st ed., Wiley and Sans 1966 visitada 10/enero/2008 visitada 10/enero/2008 visitada 09/enero/2008 visitada 09/enero/2008 visitada 09/enero/2008 visitada 09/enero/2008
http://www.boulder.nist.gov/div853/greenfn/tutorial.html http://www.geocities.com/aboutwaves/node72.html http://mathworld.wolfram.com/GreensFunctionPoissonsEquation.html http://en.wikipedia.org/wiki/Green's_function http://mathworld.wolfram.com/GreensFunction.html http://en.wikipedia.org/wiki/George_Green