Demostración del Lema de Poincaré en Dominios Estrellados
Enviado por Chuletator online y clasificado en Matemáticas
Escrito el en
español con un tamaño de 5,2 KB
Lema 5.3.9 (Poincaré para Abiertos Estrellados)
Sea Ω un **abierto estrellado** en Rn y sea ω : Ω → (Rn)* una **1-forma de clase C1 y cerrada**. Entonces, ω es **exacta** en Ω.
Demostración
Gracias a que Ω es un **abierto estrellado**, tenemos una forma clara de definir un candidato a **función potencial**. Fijemos a = (a1, ..., an) un **centro de Ω** y definimos:
f(x) = ∫[a,x] ω, x ∈ Ω.
Nuestra 1-forma ω = P1(x)dx1 + ··· + Pn(x)dxn cumple que sus **componentes son C1 en Ω** y que:
∂Pi / ∂xj = ∂Pj / ∂xi en Ω, para todo i, j. (Esta es la condición de que ω es **cerrada**).
Cálculo de las Derivadas Parciales de f
Fijemos un punto x = (x1, ..., xn) ∈ Ω y veamos que ∂f/∂x1(x) = P1(x) (para las otras coordenadas,... Continuar leyendo "Demostración del Lema de Poincaré en Dominios Estrellados" »