Notemos - Cimat

Notemos - Cimat Notemos - Cimat

13.05.2013 Views

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

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!