Notemos - Cimat
Notemos - Cimat Notemos - Cimat
Conversamente, si ψ satisface estas tres propiedades y ||µ||∞ = k < 1 entonces podría esperarse que f(z) = z + ψ(z) sea un homeomorfismo cuasiconforme en QC(k, R). Esto motiva la siguiente definición: Definición: Sean ψ, ν funciones en L ∞ . La ecuación ∂ψ = ν + µ∂ψ, se conoce como la ecuación generalizada de Beltrami. 7 Paso 5: En esta sección resolveremos la ecuación generalizada de Beltrami valiéndonos de un resultado que enunciaremos sin demostración. Comenzaremos notando algunas cosas que motivarán nuestra necesidad de cierto teorema. Supongamos que ψ es una solución a la ecuación generalizada de Beltrami con µ, ν de soporte compacto y ∂ψ, ∂ψ ∈ Lp (C), entonces tenemos que: ψ(z) = 1 2πi C ∂ψ(η) dη ∧ (η). η − z Si consideramos el operador T definido por: T φ(z) = 1 φ(η) dη ∧ η, 2πi η − z estamos diciendo que ψ = T (∂ψ). Este es un operador no acotado, lo cual dificulta trabajar con él. Sin embargo, podemos escribir: ∂ψ = ∂(T (∂ψ)) = S(∂ψ), donde S es la transformada de Beurling, dada por: Sφ(z) = 1 φ(η) dη ∧ dη 2πi (η − z) 2 donde entendemos esta integral como: 1 Sφ(z) = lim ɛ→0 2πi C C |η−z|>ɛ φ(η) dη ∧ dη. (η − z) 2 Tenemos el siguiente teorema que enunciamos sin demostración: Teorema de Calderón-Zygmund: La transformada de Beurling se extiende a un operador acotado S : L p (C) → L p (C) para cualquier 1 < p < ∞. Más precisamente, existe una función continua logarítmicamente convexa p ↦→ Cp > 0 con C2 = 1 tal que ||Sφ||p ≤ Cp||φ||p 8
para toda φ ∈ L p (C). Con este teorema a la mano podremos resolver la ecuación de Beltrami: Teorema (Beltrami Generalizado): Sean µ, ν ∈ Lp (C) con soporte compacto y ||µ||∞ < 1. Entonces existe una único mapa continuo ψ : C → C que es holomorfo cerca de ∞, satisface ψ(z) = O( 1 z ) y tal que: ∂ψ = ν + µ∂ψ casi en todas partes. Más aún, ∂ψ, ∂ψ ∈ L p (C) para algun p > 2. Demostración: Sea k = ||µ||∞ < 1 y sea p > 2 tal que kCp < 1, donde Cp es la constante dada por el teorema de Calderón-Zygmund(C-Z). Supongamos que ψ es una solución, entonces la ecuación: φ = ν + µS(φ) debe ser resuelta por ∂ψ en L p (por hipótesis del teorema). Así que lo que haremos será resolver esta ecuación en L p . Sea φ0 = µS(ν) y definamos inductivamente φn+1 = µS(φn) ∈ L p (C). Utilizando la desigualdad dada en C-Z tenemos: De aquí obtenemos que: ||φn+1||p = ||µS(φn)|| ≤ ||µ||∞||S(φn)||p ≤ kCp||φn||. ||φn+1|| ≤ (kCp) n ||φ0|| y por la elección de Cp obtenemos que estas normas convergen geométricamente. Por lo tanto, la serie de Neumann: ∞ φ = ν + converge pues sus sumas parciales forman una sucesión de Cauchy. Más aún, n=0 µS(φ) = µS(ν) + = φn ∞ µS(φn) n=0 ∞ µS(φn) n=0 = φ − ν y por lo tanto, φ es la única solución a la ecuación dada en el espacio L p . Por la definición de φn se tiene que su soporte se encuentra contenido en el soporte de 9
- Page 1 and 2: 1 Preliminares Teorema de Ahlfors -
- Page 3 and 4: Λ × C → D, (λ, z) ↦→ µλ(
- Page 5 and 6: 1. f es tangente a la identidad en
- Page 7: De forma análoga obtenemos una est
- Page 11 and 12: . Recordemos que en el Lema 2 la co
- Page 13: subsucesión se tiene que: Por lo t
Conversamente, si ψ satisface estas tres propiedades y ||µ||∞ = k < 1 entonces<br />
podría esperarse que f(z) = z + ψ(z) sea un homeomorfismo cuasiconforme<br />
en QC(k, R). Esto motiva la siguiente definición:<br />
Definición:<br />
Sean ψ, ν funciones en L ∞ . La ecuación<br />
∂ψ = ν + µ∂ψ,<br />
se conoce como la ecuación generalizada de Beltrami.<br />
7 Paso 5:<br />
En esta sección resolveremos la ecuación generalizada de Beltrami valiéndonos<br />
de un resultado que enunciaremos sin demostración. Comenzaremos notando<br />
algunas cosas que motivarán nuestra necesidad de cierto teorema. Supongamos<br />
que ψ es una solución a la ecuación generalizada de Beltrami con µ, ν de soporte<br />
compacto y ∂ψ, ∂ψ ∈ Lp (C), entonces tenemos que:<br />
ψ(z) = 1<br />
2πi<br />
<br />
C<br />
∂ψ(η)<br />
dη ∧ (η).<br />
η − z<br />
Si consideramos el operador T definido por:<br />
T φ(z) = 1<br />
<br />
φ(η)<br />
dη ∧ η,<br />
2πi η − z<br />
estamos diciendo que ψ = T (∂ψ). Este es un operador no acotado, lo cual<br />
dificulta trabajar con él. Sin embargo, podemos escribir:<br />
∂ψ = ∂(T (∂ψ)) = S(∂ψ),<br />
donde S es la transformada de Beurling, dada por:<br />
Sφ(z) = 1<br />
<br />
φ(η)<br />
dη ∧ dη<br />
2πi (η − z) 2<br />
donde entendemos esta integral como:<br />
<br />
1<br />
Sφ(z) = lim<br />
ɛ→0 2πi<br />
C<br />
C<br />
|η−z|>ɛ<br />
φ(η)<br />
dη ∧ dη.<br />
(η − z) 2<br />
Tenemos el siguiente teorema que enunciamos sin demostración:<br />
Teorema de Calderón-Zygmund:<br />
La transformada de Beurling se extiende a un operador acotado S : L p (C) →<br />
L p (C) para cualquier 1 < p < ∞. Más precisamente, existe una función continua<br />
logarítmicamente convexa p ↦→ Cp > 0 con C2 = 1 tal que ||Sφ||p ≤ Cp||φ||p<br />
8