• No se han encontrado resultados

Demostrar que el l´ımite uniforme de funciones arm´onicas en un dominio es una funci´on arm´onica

N/A
N/A
Protected

Academic year: 2023

Share "Demostrar que el l´ımite uniforme de funciones arm´onicas en un dominio es una funci´on arm´onica"

Copied!
3
0
0

Texto completo

(1)

Ecuaciones Diferenciales y Aplicaciones (Grado de Matem´aticas, UAM) Curso 2020/21

Hoja de problemas 3: La ecuaci´on de Laplace

1. Demostrar que el l´ımite uniforme de funciones arm´onicas en un dominio es una funci´on arm´onica.

2. Sea F = [0,1]. Dar ejemplos de familias L ⊂CR(F) tales que (a)L es acotada, pero no equicontinua;

(b)L es equicontinua, pero no es acotada;

(c)L es infinita, acotada y equicontinua.

Demostrar que, de hecho, toda familia finitaL ⊂CR(F) es acotada y equicontinua.

Determinar, en cu´ales de estos ejemplos,Les relativamente compacta enCR(F). En cada caso cuando no lo sea, encontrar una sucesi´on de funciones {fn} ⊂ L, que no tiene subsucesiones convergentes en la norma deCR(F).

3. Demostrar el Lema de Arzel`a-Ascoli (o una parte de ella) para el caso de un intervalo compacto en R.

4. Sea F es un conjunto compacto y convexo en RN tal que F 6= ∅ y F = intF. Sea L es una familia acotada de funciones enCR(F), que cumple la condici´on

|∇f(x)| ≤K, x∈F, f ∈ L,

dondeK es una constante absoluta. Demostrar que entonces la familiaL es equicontinua.

5. Sea (uk)k=1 una sucesi´on creciente de funciones arm´onicas definidas en un abierto conexo Ω tal que (uk(x))k=1 converge para alg´un puntox ∈Ω. Demostrar que la sucesi´on converge uniformemente en cada subconjunto cerrado y acotado de Ω y que el l´ımite es una funci´on arm´onica.

Nota: Esto da un m´etodo alternativo para demostrar la existencia de soluciones del problema de Dirichlet para la ecuaci´on de Laplace sin utilizar Arcel`a-Ascoli.

Indicaci´on. Usar la desigualdad de Harnack para demostrar que la sucesi´on es de Cauchy enCR(K) para cualquier subconjunto compacto K de Ω.

6. Sean R1 > R0 > 0 y N ≥ 2. Consid´erese el dominio Ω = {x ∈ RN : R0 < |x| < R1}. Calcular la probabilidad de que una part´ıcula Browniana que inicia su movimiento en unx ∈Ω, salga de Ω por la parte interior de su frontera.

7. Se considera la funci´on

u(x, y, z) =x2(x2+ay2+ 1) +y2(y2+bz2+ 1) +z2(z2+cx2+ 1).

Determinar, para qu´e valores de par´ametros a, b, c es esta funci´on subarm´onica en R3.

1

(2)

8. Sea Ω un dominio enRN. Demostrar lo siguiente.

(a)Siu1, u2, . . . , um son continuas en Ω, entonces v:= m´ax(u1, u2, . . . , um) es tambi´en continua.

(b)Si u1, u2, . . . , um son subarm´onicas en Ω, entonces v:= m´ax(u1, u2, . . . , um) es tambi´en subarm´onica.

(c) Si u es subarm´onica en Ω, A = u(Ω) ⊂ R es su imagen y ϕ : A → R es continua, creciente y convexa, entonces la composici´on f◦v es subarm´onica en Ω.

Nota:Observar queA es un intervalo.

9. (a) Sean Ω un dominio enRN,u una funci´on arm´onica en Ω yA:=u(Ω) su imagen. Seaϕ:A7→R una funci´on continua y convexa. Demostrar quev:=ϕ◦u es subarm´onica.

(b) Demostrar quex7→log|x|es subarm´onica enRN \ {0} siN ≥2.

(c) Demostrar quev:=|Du|2 es subarm´onica siu es arm´onica.

10. Sean Ω⊂RN un dominio acotado yu∈C2(Ω)∩C(Ω) una soluci´on de

∆u=−1 en Ω, u|∂Ω = 0.

Demostrar que para todox0 ∈Ω se tiene queu(x0)≥ 1 2N m´ın

x∈∂Ω|x−x0|2.

11. (Dependencia continua) Seau∈C2(B1(0))∩C(B1(0)) una soluci´on suave de

−∆u=f en B1(0), u=g en∂B1(0).

Demostrar que existe una constanteC, independiente deu, tal que m´ax

B1(0)|u| ≤C( m´ax

∂B1(0)|g|+ m´ax

B1(0)|f|).

12. (a) SeaE ⊂RN abierto yu∈C2(E) tal que ∆u=uen E. Demostrar queuno puede tener m´aximos positivos ni m´ınimos negativos enE.

(b) SeaE ⊂RN abierto, yc∈C(E),c <0 enE. Demostrar que el problema

∆u+cu= 0 en Ω, u=g en ∂Ω, tiene a lo sumo una soluci´on u∈C2(E)∩C(E).

13. Hemos visto en la Teor´ıa que la soluci´on u∈C2(Ω)∩C( ¯Ω) del problema (∆u+cu=f en Ω,

u=ϕ en∂Ω (1)

es ´unica sices una funci´on continua en Ω yc(x)≤0,∀x∈Ω.

Consideremos el caso del parallelep´ıpedo: Ω = [0, `1]× · · · ×[0, `N], donde`1, . . . , `N >0. Aplicando el m´etodo de separaci´on de variables, demostrar que existe una sucesi´on infinita de constantespositivas cj → +∞ tales que en los correspondientes problemas (1) no hay unicidad, si ponemos c(x) ≡ cj, x∈Ω.

2

(3)

14. (a)Consideramos la semibola abiertaB+ ={x∈RN : x∈B1(0), xN >0}. Sea u∈C2(B+)∩C(B1(0)∩ {xN ≥0})

arm´onica enU+ conu= 0 en B1(0)∩ {xN = 0}. Dadox∈B1(0), definimos v(x) :=

u(x) sixN ≥0,

−u(x1, . . . , xN−1,−xN) sixN <0.

Probar queves arm´onica enB1(0). Este resultado se conoce comoPrincipio de reflexi´on de Schwartz. (b)Resu´elvase el problema

∆u= 0 six2+y2 <1, y >0, u(x,0) = 1 si −1< x <1, u(x, y) = 0 six2+y2 = 1, y >0.

15. SeaE ⊂RN abierto. Demostrar que v∈C(E) pertenece aσ(E) si y solo si para todo abiertoE0 ⊂E tal queE0⊂E y toda funci´on arm´onica u tal queu=v en∂E0 se tiene quev≤u enE0.

16. Sea Ω⊂RN (N ≥2) un dominio suave yu ∈C2(Ω) tal que ∆u= 0 en Ω. Demostrar que cualquier esfera de radio suficientemente peque˜no centrada en un punto dondeu se anule contiene al menos un cero deu.

17. (a) (Principio de comparaci´on) Sea Ω ⊂ RN abierto y acotado. Decimos que u ∈ C2(Ω)∩C(Ω) es subsoluci´ondel problema

−∆u=f en Ω, u=g en∂Ω,

si−∆u≤f en Ω, u≤g en ∂Ω,y que es supersoluci´onsi−∆u≥f en Ω, u≥gen ∂Ω.

Demostrar que siu es subsoluci´on del problema yv es supersoluci´on, entonces u≤v en Ω.

(b) Demostrar que siϕ:R→Res una funci´on continua estrictamente decreciente, entonces el principio de comparaci´on para subsoluciones y supersoluciones es v´alido para el problema no lineal

−∆u=ϕ(u) en Ω, u= 0 en ∂Ω.

18. SeaN = 2 y sea Ω un dominio acotado enR2, cuya frontera es una uni´on finita de curvas de claseC1. Demostrar que todo Problema de Dirichlet para la ecuaci´on de Laplace (PDL) en ¯Ω tiene una ´unica soluci´on.

Indicaci´on:Utilizando la expresi´on para la soluci´on fundamental de la ecuaci´on de Laplace, demostrar que cada puntox de la frontera de Ω posee una funci´on barrera.

19. Demostrar que lo mismo se cumple para todo dominio enR2, acotado por una curva de Jordan.

Indicaci´on: Utilizar el Teorema de Jordan (es sobre las propiedades topol´ogicas de las curvas de Jordan en el plano),

3

Referencias

Documento similar

Como Profesor Asociado a la Cátedra de geotecnia de la carrera de Ingeniero Civil, se realizan tareas de investigación, y desarrollo en Laboratorio de Ingeniería Civil, de