Me gustaría entender un pequeño detalle de la prueba. ¿Cómo es que terminamos con un factor de −1π . Entiendo dónde está el −1 de la que proviene, aunque no sé qué pasó con el 2 . Entiendo todo lo demás línea por línea.
ˉ∂ -Lema de Poincaré en una variable. Dado g(z)∈C∞(ˉΔ) la función f(z)=12π√−1∫Δg(w)w−zdw∧dˉw se define y C∞ en Δ y satisface ∂f∂ˉz=g.
Prueba. Para z0∈Δ elija ε de manera que el disco Δ(z0,2ε)⊂Δ y escribir g(z)=g1(z)+g2(z), donde g1(z) se desvanece en el exterior Δ(z0,2ε) y g2(z) se desvanece en el interior Δ(z0,ε) . La integral f2(z)=12π√−1∫Δg2(w)dw∧dˉww−z está bien definido y C∞ para z∈Δ(z0,ε) allí tenemos ∂∂ˉzf2(z)=12π√−1∫Δ∂∂ˉz(g2(w)w−z)dw∧dˉw=0. Desde g1(z) tiene un soporte compacto, podemos escribir 12π√−1∫Δg1(w)dw∧dˉww−z=12π√−1∫Cg1(w)dw∧dˉww−z=12π√−1∫Cg1(u+z)du∧dˉuu, donde u=w−z . Cambio a coordenadas polares u=reiθ esta integral se convierte en f1(z)=−1π∫Cf1(z+reiθ)e−iθdr∧dθ, que está claramente definida y C∞ en z . Entonces ∂f1(z)∂ˉz=−1π∫C∂g1∂ˉz(z+reiθ)e−iθdr∧dθ=12π√−1∫Δ∂g1∂ˉw(w)dw∧dˉww−z;
0 votos
Perdón por hacer una pregunta ingenua, pero ¿por qué se llama a esto el lema de Poincare? ¿No se supone que el lema de Poincare demuestra que las formas cerradas son localmente exactas? g anterior no es un (0,1) formulario y no está cerrado?