09.05.2013 Views

Immersioni aperte in dimensione infinita - Dipartimento di Matematica

Immersioni aperte in dimensione infinita - Dipartimento di Matematica

Immersioni aperte in dimensione infinita - Dipartimento di Matematica

SHOW MORE
SHOW LESS

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

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

Saved successfully!

Ooh no, something went wrong!