10.05.2013 Views

Silvia Vilari˜no Fernández NUEVAS APORTACIONES AL ESTUDIO ...

Silvia Vilari˜no Fernández NUEVAS APORTACIONES AL ESTUDIO ...

Silvia Vilari˜no Fernández NUEVAS APORTACIONES AL ESTUDIO ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

8.1.2 Ecuaciones en derivadas parciales de segundo orden. 319<br />

En el siguiente lema demostraremos que cada sopde ξ nos permite definir un<br />

campo de k-vectores en Rk × k<br />

⊕ E.<br />

Lema 8.13 Sea ξ = (ξ1, . . . , ξk): Rk × k<br />

⊕ E → (TE ) 1 k (Rk × k<br />

⊕ E) una sección de<br />

(TE ) 1 k (Rk × k<br />

⊕ E). Entonces<br />

(ρ p (ξ1), . . . , ρ p (ξk)): R k × k<br />

⊕ E → T 1 k (R k × k<br />

⊕ E)<br />

es un campo de k-vectores en R k × k<br />

⊕ E.<br />

Recordemos que<br />

ρ p : T E (R k × k<br />

⊕ E) ≡ E ×T Q T (R k × k<br />

⊕ E) → T (R k × k<br />

⊕ E)<br />

es el ancla del algebroide T E (R k × k<br />

⊕ E).<br />

Demostración:<br />

Es una consecuencia directa del Lema 5.7 y del hecho de que cada ξA es una<br />

sección de TE (Rk × k<br />

⊕ E).<br />

En un sistema local de coordenadas se verifica que si<br />

entonces<br />

ξA = Y A + y α AXα + (ξA) α BV B α ∈ Sec(R k × k<br />

⊕ E)<br />

ρ p (ξA) = ∂<br />

∂tA + ρiαy α ∂<br />

A<br />

∂<br />

∂qi + (ξA) α B<br />

∂yα B<br />

<br />

∈ X(R k × k<br />

⊕ E) . (8.18)<br />

Para finalizar esta subsección vamos a introducir el concepto de sección integral<br />

de un sopde en el contexto de algebroides de Lie.<br />

Definición 8.14 Una aplicación<br />

η: U ⊂ R k → R k × k<br />

⊕ E

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

Saved successfully!

Ooh no, something went wrong!