Mappa esponenziale

In geometria differenziale, la mappa esponenziale è una funzione che mappa lo spazio tangente in un punto di una varietà riemanniana o pseudo-riemanniana sulla varietà stessa. La mappa esponenziale è utile a rappresentare un intorno di un punto tramite coordinate geodetiche.

Definizione

Sia $p$ un punto in una varietà riemanniana o pseudo-riemanniana $M$ . La mappa esponenziale è una mappa

{\rm {exp}}_{p}:U\to M

definita su un insieme aperto $U$ dello spazio tangente $T_{p}$ in $p$ contenente l'origine, nel modo seguente.

Per ogni vettore $v$ non nullo dello spazio tangente, esiste un'unica geodetica

\gamma _{v}:(-a,b)\to M

tale che $\gamma _{v}(0)=p$ e $\gamma '_{v}(0)=v$ . La geodetica è qui descritta nel suo dominio massimale: i numeri $a$ e $b$ sono positivi o $+\infty$ . Se $b>1$ , si definisce ${\rm {exp}}_{p}(v)=\gamma _{v}(1)$ .

Si estende infine la mappa esponenziale all'origine, ponendo ${\rm {exp}}_{p}(0)=p$ . I vettori su cui ${\rm {exp}}_{p}$ è definita formano un aperto $U$ contenente l'origine.

Proprietà

Geodetiche

La mappa esponenziale mappa ogni retta passante per l'origine sulla geodetica avente come tangente quella retta. Se la geodetica può essere estesa fino ad avere lunghezza infinita in ambo i sensi, la mappa è definita su tutta la retta; altrimenti, la mappa è definita solo sul segmento aperto massimale su cui la geodetica può essere estesa.

Completezza

Il teorema di Hopf-Rinow fornisce varie nozioni equivalenti di completezza per una varietà riemanniana. Tra queste, c'è la possibilità di prolungare indefinitivamente ogni geodetica. Segue quindi che se $M$ è completa la mappa esponenziale è definita su tutto lo spazio tangente

{\rm {exp}}:T_{x}\to M\,\!

per ogni punto $x$ di $M$ .

Invertibilità locale

La mappa esponenziale è continua e differenziabile, con differenziale invertibile nell'origine. Per il teorema di invertibilità locale, esiste un intorno $V$ dell'origine in $T_{x}$ tale che

f|_{V}:V\to f(V)\,\!

è un diffeomorfismo. La mappa esponenziale è cioè un diffeomorfismo locale nell'origine, ed è quindi utile a modellare la varietà $M$ localmente vicino a $x$ .

Raggio di iniettività

Benché lo sia in un intorno dell'origine, la mappa esponenziale non è però necessariamente globalmente iniettiva: il raggio di iniettività di una varietà riemanniana $M$ in $x$ è il massimo numero $R$ tale che la mappa

f|_{B_{R}}:B_{R}\to M

ristretta alla palla di raggio $R$ centrata in zero è iniettiva. La palla è

B_{R}={\big \{}x\in T_{x}\ {\big |}\ |x|<R{\big \}}

ove la norma $|x|$ di $x$ è data dal prodotto scalare definito dal tensore metrico.

Esempi

Varietà non completa

Se

M=\mathbb {R} ^{n}\setminus \{0\}

è lo spazio euclideo privato dell'origine, e $x$ è un qualsiasi punto di $M$ , la mappa esponenziale non è mai definita su tutto il piano tangente $T_{x}$ . Infatti non risulta definita sul vettore $-x$ , poiché la geodetica uscente da $x$ in direzione $-x$ è definita soltanto fino a che questa non incontra l'origine. L'aperto $U$ è quindi tutto lo spazio privato di una semiretta.

Coordinate geodetiche

Le coordinate geodetiche in un intorno di un punto $p$ sono definite tramite la mappa esponenziale.

Definizione

Sia $p$ un punto di una varietà (pseudo-)riemanniana $M$ . Lo spazio tangente $T_{p}M$ è dotato di un prodotto scalare definito positivo, dato dal tensore metrico. Lo spazio è quindi identificabile con lo spazio euclideo $\mathbb {R} ^{n}$ : per ottenere questa identificazione è sufficiente scegliere una base ortonormale.

Sia $U$ un intorno dell'origine nello spazio tangente $T_{p}M$ su cui la mappa esponenziale è un diffeomorfismo. Questo aperto è identificato con un aperto di $\mathbb {R} ^{n}$ . Conseguentemente, l'immagine $\operatorname {exp} (U)$ è identificata con questo aperto. L'identificazione fornisce un sistema di coordinate, detto geodetico o normale.

Proprietà

Le coordinate geodetiche identificano un intorno aperto di $p$ con un intorno aperto dello spazio euclideo $\mathbb {R} ^{n}$ . Valgono le proprietà seguenti.

Geodetiche

Il punto $p$ è identificato con l'origine. Le geodetiche uscenti da $p$ sono identificate con le rette uscenti dall'origine.

Tensore metrico

Il tensore metrico $g$ in $p$ è rappresentato dalla matrice identità. Questo avviene però generalmente solo in $p$ : se avviene in tutto l'intorno, la metrica in questo intorno è piatta, cioè senza curvatura.

Più precisamente, il tensore metrico è approssimato dalla metrica Euclidea al primo ordine:

g_{ij}=\delta _{ij}+O(|x|^{2}).

In particolare, si annullano le derivate prime del tensore metrico:

{\frac {\partial g_{ij}}{\partial x^{k}}}(p)=0.

Simboli di Christoffel e derivata covariante

I simboli di Christoffel si annullano in $p$ :

\Gamma _{jk}^{i}(p)=0.

La derivata covariante nel punto $p$ quindi coincide con la derivata parziale.

Bibliografia

(EN) Manfredo Perdigao do Carmo, Riemannian Geometry, 1994.
(EN) Shoshichi Kobayashi, Katsumi Nomizu, Foundations of Differential Geometry, Vol. 1, Wiley-Interscience, 1996 (Nuova edizione), ISBN 0-471-15733-3.

Voci correlate

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica