Immersioni aperte in dimensione infinita - Dipartimento di Matematica
Immersioni aperte in dimensione infinita - Dipartimento di Matematica
Immersioni aperte in dimensione infinita - Dipartimento di Matematica
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
110 Spray<br />
Calcoliamo (T h) ′ (x, v):<br />
(T h) ′ (x, v) =<br />
<br />
∂h(x)<br />
∂x<br />
∂h ′ (x)(v)<br />
∂x<br />
∂h(x)<br />
∂v<br />
∂h ′ (x)(v)<br />
∂v<br />
<br />
′ h (x) 0<br />
=<br />
h ′′ (x)(v) h ′ (x)<br />
e qu<strong>in</strong><strong>di</strong> (T h) ′ <br />
′ h (x) 0<br />
(x, v)(u, w) =<br />
h ′′ (x)(v) h ′ <br />
u<br />
=<br />
(x) w<br />
h ′ (x)(u), h ′′ (x)(v, u)+h ′ (x)(w) ,<br />
per cui, <strong>in</strong> def<strong>in</strong>itiva, sostituendo <strong>in</strong> (F.3.5) si ottiene<br />
T T h (x, v), (u, w) = h(x), h ′ (x)(v), h ′ (x)(u), h ′′ (x)(v, u) + h ′ (x)(w) . (F.3.6)<br />
Le rappresentazioni locali s U e s V dello spray sono legate dalla formula F.3.7 seguente (si consideri<br />
il seguente circuito commutativo dedotto dal <strong>di</strong>agramma precedente)<br />
(U × E) × (E × E)<br />
<br />
Id U×E ×s U<br />
U × E<br />
(T h) ′<br />
<br />
T h=(h,h ′ )<br />
<br />
<br />
E × <br />
E<br />
s V<br />
<br />
V × E<br />
<br />
′ ′ ′<br />
sV T h(x, v) = sV h(x), h (x)(v) = h (x)(v), sV,2 h(x), h (x)(v)<br />
= (T h) ′ x, v; sU (x, v) = (T h) ′ x, v; v, sU,2(x, v) <br />
= h ′ (x)(v), h ′′ (x)(v, v) + h ′ (x) ◦ s U,2(x, v) , (F.3.7)<br />
da cui si deduce la formula <strong>di</strong> cambiamento <strong>di</strong> variabile per la parte quadratica <strong>di</strong> uno spray:<br />
′ ′′ ′<br />
sV,2 h(x), h (x)(v) = h (x)(v, v) + h (x) ◦ sU,2(x, v) (F.3.8)<br />
In particolare, dalla formula F.3.8 <strong>di</strong> cambiamento <strong>di</strong> variabile per la parte pr<strong>in</strong>cipale <strong>di</strong> uno spray,<br />
si ottiene la corrispondente legge <strong>di</strong> trasformazione per il simbolo <strong>di</strong> Christoffel:<br />
′ ′ ′′ ′<br />
ΓV h(x); h (x)(v), h (x)(w) = −h (x)(v, w) + h (x) ΓU (x; v, w).<br />
Si noti che Γ non trasforma come un tensore.<br />
Alcune proprietà più f<strong>in</strong>i riguardanti gli spray sono state <strong>in</strong>trodotte nella sottosezione 2.1.3.<br />
F.4 La mappa esponenziale <strong>di</strong> uno spray<br />
La con<strong>di</strong>zione SPR 1 che abbiamo considerato per def<strong>in</strong>ire uno spray è equivalente ad altre<br />
riguardanti le curve <strong>in</strong>tegrali dei campi vettoriali del second’ord<strong>in</strong>e F . Elencheremo nel seguito<br />
queste con<strong>di</strong>zioni.<br />
Se v è un vettore <strong>in</strong> T M, denoteremo con σv l’unica curva <strong>in</strong>tegrale <strong>di</strong> F con con<strong>di</strong>zione <strong>in</strong>iziale<br />
v (i.e. tale che σv(0) = v): <br />
F (σv) = σ ′ v<br />
σv(0) = v.<br />
Proposizione F.10. Per ogni v <strong>in</strong> T M la con<strong>di</strong>zione espressa da SPR 1 è equivalente ad una<br />
qualunque delle seguenti:<br />
SPR 2. La curva σrv è def<strong>in</strong>ita <strong>in</strong> t se e solo se rt appartiene al dom<strong>in</strong>io <strong>di</strong> σv ed <strong>in</strong> tal caso<br />
σrv(t) = rσv(rt).<br />
IMMERSIONI APERTE IN DIMENSIONE INFINITA