Me gustaría entender un pequeño detalle de la prueba. ¿Cómo es que terminamos con un factor de $\frac{-1}{\pi}$ . 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.
$\bar\partial$ -Lema de Poincaré en una variable. Dado $g(z)\in C^\infty(\bar\Delta)$ la función $$f(z)=\frac{1}{2\pi\sqrt{-1}}\int_\Delta\frac{g(w)}{w-z}dw\wedge d\bar w$$ se define y $C^\infty$ en $\Delta$ y satisface $$\frac{\partial f}{\partial\bar z}=g.$$
Prueba. Para $z_0\in\Delta$ elija $\varepsilon$ de manera que el disco $\Delta(z_0,2\varepsilon)\subset\Delta$ y escribir $$g(z)=g_1(z)+g_2(z),$$ donde $g_1(z)$ se desvanece en el exterior $\Delta(z_0,2\varepsilon)$ y $g_2(z)$ se desvanece en el interior $\Delta(z_0,\varepsilon)$ . La integral $$f_2(z)=\frac{1}{2\pi\sqrt{-1}}\int_\Delta g_2(w)\frac{dw\wedge d\bar w}{w-z}$$ está bien definido y $C^\infty$ para $z\in\Delta(z_0,\varepsilon)$ allí tenemos $$\frac{\partial}{\partial\bar z}f_2(z)=\frac{1}{2\pi\sqrt{-1}}\int_\Delta\frac{\partial}{\partial\bar z}\left(\frac{g_2(w)}{w-z}\right)dw\wedge d\bar w=0.$$ Desde $g_1(z)$ tiene un soporte compacto, podemos escribir \begin{align*} \frac{1}{2\pi\sqrt{-1}}\int_\Delta g_1(w)\frac{dw\wedge d\bar w}{w-z} & =\frac{1}{2\pi\sqrt{-1}}\int_\mathbb{C} g_1(w)\frac{dw\wedge d\bar w}{w-z}\\ & =\frac{1}{2\pi\sqrt{-1}}\int_\mathbb{C} g_1(u+z)\frac{du\wedge d\bar u}{u}, \end{align*} donde $u=w-z$ . Cambio a coordenadas polares $u=re^{i\theta}$ esta integral se convierte en $$f_1(z)=-\frac{1}{\pi}\int_\mathbb{C}f_1(z+re^{i\theta})e^{-i\theta}dr\wedge d\theta,$$ que está claramente definida y $C^\infty$ en $z$ . Entonces \begin{align*} \frac{\partial f_1(z)}{\partial\bar z} & =-\frac{1}{\pi}\int_\mathbb{C}\frac{\partial g_1}{\partial\bar z}(z+re^{i\theta})e^{-i\theta}dr\wedge d\theta\\ & =\frac{1}{2\pi\sqrt{-1}}\int_\Delta\frac{\partial g_1}{\partial\bar w}(w)\frac{dw\wedge d\bar w}{w-z}; \end{align*}
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?