Trabajo de exposición: Sobre la tercera identidad de Green en el plano

Alumno : Aycho Flores Milton Angelino

Curso : Ecuaciones en derivadas parciales
Profesor : Dr. Alfonso Perez Salvatierra

Consideremos la ecuación de Laplace u  0 en  2 .

Definición:

La solución fundamental de u  0 en  2 se define como una funcion F:

 2   0   definida como:
1
F(  )  ln  donde   0 y  =(x,y)  2
2

2 F 1 y 2  x2 2F 1 x2  y 2
En efecto desde que  y  se tiene que
x 2 2 ( x 2  y 2 )2 y 2 2 ( x 2  y 2 )2

2 F 2 F
 0
x 2 y 2

Luego se tiene que F  0 .

Sea F la solución fundamental de u  0 en  2 para cada   2 denotemos

1
F (  )  F(    )  ln       (1)
2

Para demostrar la tercera identidad de Green en el plano, debemos enunciar tres lemas
importantes para su prueba:

Lema 1

Sea   2 , R>0 y g : B(  ,R )  2 . Si g es acotada y F g es integrable en relación

a la longitud de arco a lo largo de cualquier círculo centrado en  y radio r  ( 0 ,R )
entonces:
lim  ( F g )ds =0
r 0
 ( B(  ,r ))

Demostración:

Como g es acotada en B(  ,R ) existe M>0 tal que g(  )  M   B(  ,R ) Luego si

0<r<R existe la integral
 F g ds
 ( B(  ,r ))

Ahora como ( B(  ,r ))      /     r se tiene que:

2
 
 ( B(  ,r ))
F g ds  
   r
F(    )g(  ) ds(  )

1

2 
   r
ln    g(  ) ds(  )

1
 ln( r )  g(  ) ds(  )
2    r

Por lo tanto

1 M M ln( r ) 2 r
0 
 ( B(  ,r ))
F g ds 
2
ln( r )  g(  ) ds(  ) 
   r 2
ln( r ) 
   r
ds(  ) =
2
 Mr ln( r )

Si r  0 la función r ln( r ) tiende a cero por lo tanto:

lim
r  0

 ( B(  ,r ))
( F g )ds =0

Lema 2

Sea   2 ; R>0 y g  C B(  ,R ) entonces  

F
lim
r 0

 ( B(  ,r ))
n
g ds =g(  )

Demostración:

Sea   ( a,b )   2 fijo pero arbitrario y denotemos   ( x, y ) .

Por definición:

F (  )  F(    ) 
1
2
ln    =
1
2
ln  ( x  a )2  ( y  b ) 2 
Pero las derivadas parciales son:

F
x
( )   
1 
2 x
ln ( x  a )2  ( y  b )2 =  1 x-a
2    2
F

y
( ) 
2 y 
1 
ln  ( x  a )2  ( y  b )2 =  1 y-b
2    2

Por lo tanto por la definición de gradiente:

 1  -
F ( ) 
2    2
Ahora para r  (0,R) si     B(  ,r ) entonces    =r es decir la normal exterior a
dicha frontera es:
 
n(  ) 
 

Asi tenemos que:

F 1 1  -   1 g(  ) 1

 ( B(  ,r )) n
g ds 
2 
   r
F ( )  n(  )g(  ) ds =
2 
   r  
2

 
g(  ) ds =
2 
   r  
ds =
2 r    r
g(  ) ds

Donde la ultima integral representa el valor medio de g sobre la circunferencia

   =r

Ahora bastara probar que esta ultima integral converga a g(  ) si r  0+ . En efecto:

Como g es continua en la region compacta B(  ,R ) entonces g es uniformente continua
en B(  ,R ) .Dado   0 existe   0 tal que si:

 ,   B(  ,R ) y  -     g(  )  g(   )  

Luego si 0<r<R donde    =r desde que

   =r< y 
  =r
g(  ) ds( )=2 rg(  )

se tiene que:

F 1 1 1

 ( B(  ,r ))
n
g ds  g(  ) 
2 r 
   r
g( )-g(  ) ds(  ) 
2 r 
   r
g(  )-g(  ) ds(  ) <
2 r
( 2 r )=

Por lo tanto:
F
lim
r 0

 ( B(  ,r ))
n
g ds =g(  )

Lema 3

Sea  un dominio acotado en el plano y    . Consideremos R>0 tal que

B(  ,R )   . Para cada r  (0,R) , sea  r    B(  ,r ) . Entonces para cualquiera
que sea g  C  existe el límite 
lim
r  0
 F ( )g(  )d
r


Demostración:
Para cada r  (0,R) definamos la funcion
I( r )   F ( )g( )d .Como la region de
r


integración en I(r) no contiene a    y g  C  para 0<r<R el producto en la  

integral es continuo y por lo tanto integrable sobre  es decir I(r) esta bien definida.

 
Como g  C  y  es compacto existe M>0 tal que g(  )  M    .

Tomando 0<s<t<R se tiene que

M
I( t )  I( s )   F (  )g(  )d   F (  )g(  )d

  F (  )g(  )d  2 
  s   t
ln    d
t s t s

Para calcular esta ultima integral consideraremos un sistema de coordenadas polares

centrado en  .

Sea
    ( r cos  ,rsen ) donde s<r<t y 0    2 .
Como
    ( r cos  ,rsen )      r

Luego:

2 t t

s     t
ln    d  
0 
s
ln( r )rdrd  2  r ln( r )dr
s

Desde que rlim r ln( r )  0 la funcion h(r)= r ln( r ) es acotada en un entorno lateral
 0

derecho a cero es decir existe N>0 tal que si 0<r<1 entonces 0<r ln( r )  N .


Sea   0 tomenos  = , consideremos cualquier sucesion en los reales
MN
 rn    0,R  tal que (rn )  0 si n   . Como  rn  es de Cauchy se tiene que:

 n0   tal que si m,n  n0  rn  rm  

Luego:
M
I( rn )  I( rm ) 
2 
rn     rm
ln    d

M rm
= ( 2 ) r ln( r )dr
2 rn

rm 
 MN  dr  MN rn  rm  MN( )
rn MN
Asi por el criterio de Cauchy para sucesiones existe nlim

I( rn ) como I(rn ) tiene límite

para cualquier sucesión  rn    0 ,R  que converge a cero entones existe

lim I( r )  lim
r  0 r 0
 F (  )g(  )d
r


Denotaremos:  F ( )u( ) d  lim  F ( )u( ) d



r 0
r


Ahora estamos en condiciones de enunciar y demostrar la tercera identidad de Green

Teorema (Tercera identidad de Green en el plano)

Sea  un dominio acotado en el plano y    . Supongamos que en  se cumpla el

teorema de la divergencia es decir

 div( f )  
 
f .n ds

con f  C1(  , 2 ) . Supongamos que u  C 2 (  ) entonces se cumple que:

F u
u(  ) 

 u



F ds +  F (  )u(  )d



Observación:

Recordando la definición de F (  ) esta función diverge si    esto significa que la

segunda integral del teorema es una integral impropia.

Demostración:

Sea    y consideremos R>0 tal que

B(  ,R )   . Tomenos 0<r<R y sea
    B(  ,r ) .
r

Como  r    B(  ,r ) y la
orientación positiva de  r coincide con
la orientación positiva de  y la
orientación negativa de B(  ,r ) entonces si n* es la normal exterior unitaria a  r y
n es la normal exterior unitaria a B(  ,r ) se tiene que n*=-n en B(  ,r ) . Como
F (  )  0 si    r por la segunda identidad de Green en el plano tomando v= F
tenemos que:
  F u d   F u-uF
r
d
r

u F
= 
 r
F
n
 u  ds
n (*)

u F u F
= 

F
n
 u  ds 
n 
 ( B(  ,r ))
F
n
 u  ds
n

u u
Como  es compacto y  u  n es continua en  entonces es acotada en 
n n
por el lema 1 el limite
u
lim
r 0

 ( B(  ,r ))
F
n
ds  0

Ademas como u es continua en  por el lema 2 se tiene que:

F
lim
r 0

 ( B(  ,r ))
u
n
ds  u(  )

y por el lema 3 siendo u  C 2 (  ) tenemos que:

lim
r  0
 F u d   F u d
r




Luego en las integrales de (*)

u F u F
 F u d   F
r



n
 u  ds   F ds   u  ds
n  ( B(  ,r ))
n ( B(  ,r ))
n

Tomando el limite cuando r  0 y por las igualdades anteriores tenemos que

u F
 F u d 
 
 F
n
 u  ds  0  u(  )
n

Por lo tanto:
 u
u(  )   u    F

 ds +  F (  )u(  )d



Bibliografía:

Weimberger Ecuaciones en derivadas parciales con Aplicaciones EdAdisson

Iorio Valeria EDP un curso de graduación (IMCA)
Ortiz Fernandez Aspectos basicos en Ecuaciones en derivadas parciales UNT