Loading [MathJax]/jax/element/mml/optable/BasicLatin.js

1 votos

Comprensión del lema de Poincaré en una variable Griffith y Harris

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)wzdwdˉ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)dwdˉwwz está bien definido y C para zΔ(z0,ε) allí tenemos ˉzf2(z)=12π1Δˉz(g2(w)wz)dwdˉw=0. Desde g1(z) tiene un soporte compacto, podemos escribir 12π1Δg1(w)dwdˉwwz=12π1Cg1(w)dwdˉwwz=12π1Cg1(u+z)dudˉuu, donde u=wz . Cambio a coordenadas polares u=reiθ esta integral se convierte en f1(z)=1πCf1(z+reiθ)eiθdrdθ, que está claramente definida y C en z . Entonces f1(z)ˉz=1πCg1ˉz(z+reiθ)eiθdrdθ=12π1Δg1ˉw(w)dwdˉwwz;

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?

1voto

Khushi Puntos 1266

Si u=reiθ entonces du=eiθdr+ireiθdθ , mientras que ˉu=reiθ así que dˉu=eiθdrireiθdθ . Así que

dudˉu=(eiθdr+ireiθdθ)(eiθdrireiθdθ)=irdrdθ+irdθdr=2irdrdθ

y por lo tanto 1ududˉu=2irreiθdrdθ=2ieiθdrdθ.

Por ello, el coeficiente 12πi en g1 se convierte en 1π en f1 .

0 votos

Muchas gracias.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X