Taller1 de EDP

FABIO MORANTE

1. Resolver {
+ = (0, )
= 0 { = 0}
Donde es constante.
Solucin
Fijando (, ) (0, ) y definiendo () = ( + , + ) tenemos
()
= ( + , + ) + ( + , + ) = ( + , + )

en (0, ).
Luego
()
= ( + , + )

De aqu
0 0
()
= ( + , + )

As
(0) () = ( + , + )
0
Luego, haciendo el cambio de variable = ; tenemos

(, ) ( , 0) = ( + ( ), )
0

es decir,

(, ) = ( + ( ), ).
0
Pues ( , 0) = 0, ya que = 0 en { = 0}.

1
2. Escriba una formula explicita para una funcin resolviendo el P.V.I
{
+ + = (0, )
= 0 { = 0}
Donde y son constantes.
Solucin
Fijando s y t, y considerando () = ( + , + ) tenemos
()
= +

= ( + , + )
= ()
Por tanto () = , para alguna constante . Resolviendo para dejando
= .
Entonces
() = ( , 0)
= ( )
=
es decir, = ( ) luego ( + , + ) = ( )(+) y as cuando
= 0,tenemos
(, ) = ( )

3. Probar que la ecuacin de Laplace = 0 es invariante bajo rotaciones, es decir;

si es una matriz ortogonal y definimos

() = () ( )

entonces = 0
Solucin
Sea = [ ]. Calculemos:

() = =1
()
.

() = =1 =1
()
Como es ortogonal = , donde es la matriz identidad . As para
todo , = 1, ,
{

1 si =
= =
=1
0 si

2
 Luego
() = =1 =1 =1
()

= =1 =1
()( )
=1

.
= =1 =1
()

= () = 0

4. Modificar la prueba de las formulas del valor medio para mostrar para 3 que

1 1 1 1
(0) = + ( 2 2 ) ,
() 1 (0,) ( 2)() (0,) ||

siempre que {
= 0 (0, )
= (0, )

Solucin
Consideremos
1
() = () (), 0 <
()1 (0,)
y
1 1
() = () () =
() 1 (0,) ()1 (0,)

Entonces (siguiendo la demostracin del teorema del valor medio para la ecuacin
de Laplace), tenemos que

1 1
() = ( () ) = ( )
() (0,)
() (0,)
.
1
=
()1 (0,)

Sea > 0 dado y

1
() = () () = () ()
()1 (0,)

3
 Usando integracin por partes, tenemos

1 1 1
() = =
()1 (0,) () (0,)
1
[ ]
1 1 1
= ( )
() (2 ) (0,)
2

(2 )2 (0,)

1 1 1
= ( + 2

( 2)() 2 (0,) (0,)


1
).
2 (0,)

Observemos que
1
= 2
2 (0,)
para alguna constante > 0
y

1 1
() = .
(0,) ||2 0 (0,) 2
1
Ahora + (0,) 2 () , cuando 0. Luego,
||

1 1 1
0 ( ()) = ( () 2 )
( 2)() (0,) || 2 (0,)

1 1 1
= ( 2 2 ) .
( 2)() (0,) ||
Por lo tanto haciendo 0 en () tenemos
1 1 1 1
(0) = (0) = + ( ) ,
()1 (0,) ( 2)() (0,) ||2 2

5. Se dice que 2 ( ) es subarmonica si

0 en U.
a) Probar para subarmonica que

() para toda (, ) .
(,)

4
b) Probar que por tanto = .
c) Sea suave y convexa. Asumamos armnica y = (). Probar
que es subarmonica.
d) Probar que = ||2 es subarmonica, siempre que sea armnica.
Solucin
a) Como en la prueba del teorema del valor medio para la ecuacin de Laplace,

consideremos () = (), de donde () = () 0.
(,) (,)
Para 0 < < , tenemos

() = () () 0

De aqu, () 0 () = ().
Por lo tanto,

1
= ( ()())
(,) () 0 (,)

1 1
= ()1 () 1 () = ()
() 0
0
b) Supongamos que es abierto, acotado y ademas conexo y supongamos
que 0 es tal que (0 ) = = . As para 0 < < (0 , ),
tenemos
= (0 ) .
(,)
Por la continuidad de , una igualdad se cumple solo si = dentro de (0 , ).
Consecuentemente, el conjunto 1 ({}) = { () = } es abierto
y cerrado en . Por la conexidad de , es constante dentro de , de aqu que
sea constante dentro de y por tanto, = .
Ahora, sea { } el conjunto de componentes conexas de . Al escoger
cualquier y hallando tal que .
Obtenemos
()
y as = .
c) Para = (1 , , ) y 1 , ,
2 () 2 (()) () () 2 ()
= = (()) + (())

5
 Puesto que es convexa, () 0 para cualquier . Y ya que es arm-
nica, tenemos que

() 2
() 2

= () ( ) + = () ( ) 0
=1
=1

2
d) Consideremos = ||2 = =1
( ) . Para = (1 , , ) y 1

, ,
2 ()
2 () 2 () () 3 ()
=2 [ + ].
=1

Por lo tanto
2
2 2 2
= 2 [( ) + ( )],
2 =1
2
2 2

2 2
= 2 ( ) + () = 2 ( ) 0.
1,
=1
1,

6. Probar que existe una constante , dependiente solo de , tal que

(0,1) || ((0,1) || + (0,1) | |)

Siempre que es una solucin suave de

{
= 0 (0, 1)
= (0, 1)

Solucin
Sea = (0,1) | |, y definamos

() = () + ||2 y () = () + ||2
2 2
Consideremos primero (), notemos que = = 0.
As, es una funcin subarmonica. Por el problema 5 b), tenemos que

(0,1) () = (0,1) () (0,1) || + ,
2
es decir
1
(0,1) () (0,1) () (0,1) || + (0,1) | | ().
2

6
 Por otro lado para (), tenemos = = 0.
De donde obtenemos

(0,1) () = (0,1) () (0,1) || + ,
2
es decir
1
(0,1) () (0,1) () (0,1) || + (0,1) | | ().
2

As combinando () y () obtenemos la desigualdad buscada.

7. Use la formula de Poisson para la bola para probar
|| + ||
2 (0) () 2
(0)
( + ||)1 ( ||)1

cuando es positiva y armnica en 0 (0, ). Esta es una forma explicita de la

desigualdad de Harnacks.
Solucin
Como (0, ), entonces | | + ||.
Por tanto
2 ||2 ()
() = ()
() (0,) | |

2 ||2 () 2 || 1
() = ()()
() (0,) ( + ||) ( + ||)1 ()1 (0,)
|| ||
= 2 ()() = 2 (0).
( + ||)1 (0,) ( + ||)1

+ ||
De manera similar se prueba la desigualdad () 2 (0).
( ||)1