Universidad Tecnica Federico Santa Mar a Departamento de Matematica.

Certamen I de EDP
Profesor: Leonelo Iturriaga

Nombre:

Fecha: 25 - 05 - 2012

1. Pruebe la desigualdad de Harnack en una bola. Sea u C 2 en |x| < R, u C en |x| R, u 0 y u = 0 en |x| < R. Entonces, si |x| < R, se tiene que Rn2 (R |x|) Rn2 (R + |x|) u(0) u(x) u(0). (R + |x|)n1 (R |x|)n1 Solucin: Como u es armnica, entonces u verica la primera propiedad de la o o media, es decir, 1 u(y)d(y), u(x) = n(n)Rn1 |xy|=R entonces u(0) = 1 n(n)Rn1 u(y)d(y).
|y|=R

(1)

Por otro lado, si |y| = R tenemos que R |x| = |y| |x| |x y| |x| + |y| = R + |x|. Ahora aplicando el teorema de Poisson y aplicando (1) y (2) obtenemos u(x) = R2 |x|2 Rn(n) u(y) d(y) |x y|n (2)

|y|=R

R2 |x|2 u(y) d(y) Rn(n) |y|=R (R |x|)n R + |x| = u(y)d(y) Rn(n)(R |x|)n1 |y|=R (R + |x|)Rn2 1 = n1 (R |x|) n(n)Rn1 = (R + |x|)Rn2 u(0). (R |x|)n1 u(y)d(y)
|y|=R

Anlogamente, obtenemos a u(x) = R2 |x|2 Rn(n)

2 2

|y|=R

u(y) d(y) |x y|n

u(y) R |x| d(y) Rn(n) |y|=R (R + |x|)n R |x| = u(y)d(y) Rn(n)(R + |x|)n1 |y|=R 1 (R |x|)Rn2 (R + |x|)n1 n(n)Rn1 (R |x|)Rn2 u(0). (R + |x|)n1 u(y)d(y)
|y|=R

= = Por lo tanto,

(R |x|)Rn2 (R |x|)Rn2 u(0) u(x) u(0) (R + |x|)n1 (R + |x|)n1 como quer amos probar.

Nombre: 2. Suponga que u C(RN [0, T )) es tal que ut , uxi xj C(RN (0, T )), i, j = 1, . . . , N , y a) ut u = 0 en RN [0, T ) b) u(x, t) 0 en RN [0, T ). Muestre que u verica 1 (4t) 2
N

exp
RN

|x y|2 4t

u(y, 0)dy u(x, t).

Concluya que si t1 (0, T ), entonces 1 (4t) 2

N

exp
RN

|x y|2 4t

u(y, t1 )dy u(x, t + t1 ),

si 0 < t < T t1 .

Sugerencia: Considere f (x) = u(x, 0), R > 1, R : RN R una funcion suave con soporte en BR (0) tal que R (x) = 1 si |x| (R 1). Estudie la solucin de la o ecuacin del calor vR con condicin inicial f (x)R (x). o o Solucin: Con las hiptesis que tenemos, no es claro que la integral o o 1 (4t) 2
N

exp
RN

|x y|2 4t

u(y, 0)dy

sea nita. Siguiendo la sugerencia, llamemos f (x) = u(x, 0), R > 1 y consideremos la funcin R : RN R dada por o 1, si |x| (R 1) R (x) = R |x|, si (R 1) R R 0, si R |x|. Si denimos ahora vR (x, t) = 1 (4t)
N 2

exp
RN

|x y|2 4t

f (y)R (y)dy,

(3)

la cual es nita, pues f R es continua con funcin vR denida por (3) es solucin del o o vR v = 0, R t vR (x, t) 0, vR (x, 0) = f (x)R (x),

soporte en una bola. De esta forma, la problema (x, t) RN (0, T ) (x, t) RN (0, T ) x RN .

Sea MR = mx|y|<R f (y) y sea |x| > R, entonces, a 0 vR (x, t) MR (4t) 2 MR

N 2 N

exp
|y|<R
N 2

|x y|2 4t N 2 N 2 N 2 1 dy |x y|N 1 dy ||x| R|N

N 2 N 2 N 2

exp
N 2

|y|<R

MR
N 2

exp
N 2

|y|<R

MR 2
N

exp

N (N )RN ||x| R|N

=: C(N, MR ) Sea > 0 y >R 1+ Entonces, tenemos que

R . ||x| R|N
1 N

C(N, MR )

a) 0 vR (x, t) + u(x, t) si |x| = , 0 < t < T , ya que por hiptesis u es o positiva en toda la banda. b) vR (x, 0) f (x) = u(x, 0) u(x, 0) + si |x| . Combinando lo anterior con el principio del mximo obtenemos que a vR (x, t) u(x, t) + , Haciendo tender a +, se obtiene que vR (x, t) u(x, t) + , De esta forma, vR (x, t) u(x, t), x RN , 0 t < T. Finalmente, si notamos que vR y R son funciones no decrecientes en funcin de o R, utilizando el teorema de la convergencia montona, se sigue que o 0 v(x, t) = l vR (x, t) = m
R

si |x| < , 0 t < T.

x RN , 0 t < T.

1 (4t)
N 2

exp
RN

|x y|2 4t

u(y, 0)dy u(x, t).

La ultima parte sigue de realizar una la traslacin en el tiempo a la expresin o o anterior.

Nombre: 3. Sea u una funcin armnica en . Sea A un dominio acotado tal que su o o e clausura, A, est contenida en . Entonces existe una constante dependiendo de , A y n, C = C(, A, n), tal que: sup u(x) C u(x). nf
xA xA

Solucin: Consideremos x y r > 0 tal que B4r (x) y si y, z Br (x), o entonces por la propiedad triangular, B3r (y) y B3r (z) y adems: a Br (y) B2r (x) B3r (z). Ahora aplicando la propiedad de la media a u, tenemos: u(y) = y u(z) = 1 (n)(3r)n u(s)ds
B3r (z)

1 (n)rn

u(s)ds
|xy|=r

1 (n)rn

u(s)ds
B2r (x)

(4)

1 (n)(3r)n

u(s)ds
B2r (x)

(5)

Por lo tanto, como las estimaciones anteriores son vlidas para cada y, z Br (x), a por (4) se tiene que 1 (n)rn

sup u(y)
yBr (x)

u(s)ds
B2r (x)

y de (5) resulta: 1 (n)(3r)n de donde: sup u(y) 3n nf u(z).

yBr (x) zBr (x)

u(s)ds nf u(z)
B2r (x) zBr (x)

(6)

Ahora consideremos A bajo las hiptesis, es decir, A es un compacto de . Sean o y, z A tales que u alcanza su mximo y m a nimo en A respectivamente. Tales puntos pueden ser unidos por una curva contenida en A, por ser conexo. Si tomamos 0 < 4r = dist(A, ) se tiene que todas las bolas con centro en los puntos de la curva y radio 4r estn contenidas en . Por otro lado por la compacidad a de la curva que une a y e z, se tiene que basta una cantidad nita, digamos m , de tales bolas para cubrirla. De esta forma empezando por el punto mximo y a aplicando (6) de forma reiterada, se tiene que sup u(y) 3nm u(y) nf
yA yA

como quer amos demostrar. 5

Nombre: 4. Calcule una solucin del problema u = 1 en el disco de radio R con valor de o contorno en |x| = R cero. Es unica? Solucin: Busquemos soluciones radiales del problema u = 1, es decir, o u (r) + (n 1) u (r) = 1. r (7)

Consideremos y(r) = u (r), entonces la ecuacin (7) se reduce a: o y (r) + (n 1) y(r) = 1 r

la cual es una ecuacin lineal cuya solucin est dada por: o o a y(r) = e
(n1) dr r

(n1) dr r

dr + c

= r(1n) = entonces

rn +c n

r + cr(1n) , n

cr(2n) r2 + + c1 . 2n 2n Tomando c = 0 para eliminar la singularidad y por la condicin de borde se debe o R2 tener que c1 = . 2n Por lo tanto, |x|2 R2 u(|x|) = 2n 2n es la solucin radial de u = 1. La unicidad est garantizada por el principio del o a mximo. a u(r) =