Curva nello spazio

Da Wikipedia.

In matematica una curva nello spazio è una curva che giace nello spazio ed è identificabile da una funzione continua:

$\alpha: I \longrightarrow \R^3$

dove $I$ è un intervallo nell'insieme dei numeri reali.

L'immagine di una curva viene anche chiamata supporto della curva. Talvolta si usa l'espressione curva anche per indicare il supporto di una curva.

Indice

1 Rappresentazione in forma cartesiana esplicita
2 Rappresentazione in forma cartesiana implicita
3 Rappresentazione parametrica
4 Lunghezza di una curva
5 Voci correlate

[modifica] Rappresentazione in forma cartesiana esplicita

[modifica] Rappresentazione in forma cartesiana implicita

[modifica] Rappresentazione parametrica

La migliore rappresentazione della curva è sicuramente quella parametrica, del tipo:

$\alpha (t) : \begin{cases} x = \phi(t) \\ y = \psi(t) \\ z = \chi (t) \end{cases}$

oppure: $α(t) = (φ(t),ψ(t),χ(t))$

dove $t \in I$ si chiama parametro.

La condizione di continuità non basta per rappresentare e studiare le curve intese come oggetti filiformi ad una dimensione con le caratteristiche di regolarità volute. La condizione aggiuntiva è che la curva piana sia differenziabile entro I.

Una curva nello spazio parametrizzata: $α(t) = (φ(t),ψ(t),χ(t))$ si dice differenziabile in ogni punto di I se le funzioni $φ(t)$ , $ψ(t)$ e $χ(t)$ hanno derivate continue in ogni punto dell'intervallo.

Una curva nello spazio differenziabile si dice regolare in un punto $t 0$ se $\alpha'(t_0) = (\phi'(t_0), \psi'(t_0), \chi'(t_0)) \ne (0,0,0)$ e regolare in I se $\alpha'(t) \ne (0,0,0)$ in ogni punto di I.

Un punto in cui si abbia $α'(t 0) = (0,0,0)$ si dice che è un punto singolare per la curva.

Una curva piana si dice semplice se non si autointerseca, ovvero se

$\forall \ t_1 \ne t_2 \in I \Longrightarrow \alpha(t_1) \ne \alpha(t_2)$ .

[modifica] Retta tangente

La regolarità della curva permette di definire la retta tangente alla curva. Sia $α(t)$ una curva differenziabile e $P 0 = α(t 0)$ un punto regolare. Si può definire la retta tangente (chiamata anche velocità) alla curva nel punto $P 0$ , la retta parallela al vettore:

α'(t 0) = (φ'(t 0),ψ'(t 0),χ'(t 0))

Chiamiamo versore tangente:

$T (t_0) = \frac{\alpha'(t_0)}{|\alpha'(t_0)|}$ .

La retta tangente ha equazione cartesiana nel punto $t 0$ :

Da fare

e equazioni parametriche:

$\begin{cases} \phi = \phi'(t_0) u + \phi(t_0) \\ \psi = \psi'(t_0) u + \psi(t_0) \\ \chi = \chi'(t_0) u + \chi(t_0) \end{cases}$

[modifica] Coseni direttori

Da fare

[modifica] Retta normale

Da fare

[modifica] Riparametrizzazione

Data una curva $\alpha : I \longrightarrow \R^3$ differenziabile e una funzione $t = t (s)$ definita sull'intervallo $S \longrightarrow I$ allora la curva:

$\beta = \alpha \circ t : S \longrightarrow \R^3,$

tale che per ogni $s \in S \longrightarrow \beta(s) = \alpha(t(s)),$ è una riparametrizzazione della curva $α$ . La riparametrizzazione è regolare se: $t (S) = I$ e se $t'(s) \ne 0$ .

Vale il seguente teorema: se $\beta = \alpha \circ t$ è una riparametrizzazione di

α

tramite

t = t (s)

allora:

$\beta' (s) = \frac {dt}{ds} \alpha' (t(s))$

Dimostrazione

α(t) = (φ(t),ψ(t),χ(t)) a l l o r a β(s) = (φ(t (s)),ψ(t (s)),χ(t (s)))

e per la regola di derivazione delle funzioni composte si ottiene:

$\frac {d\phi(t(s))}{ds} = \frac {d\phi}{dt} \cdot \frac {dt}{ds}$

$\frac {d\psi(t(s))}{ds} = \frac {d\psi}{dt} \cdot \frac {dt}{ds}$

$\frac {d\chi(t(s))}{ds} = \frac {d\chi}{dt} \cdot \frac {dt}{ds}$

e così si ottiene:

$\beta'(s) = \frac {dt}{ds} \left(\frac {d\phi}{dt} , \frac {d\psi}{ds} , \frac {d\chi}{ds} \right) = \frac {dt}{ds} \alpha'(t(s))$

[modifica] Parametrizzazione in coordinate sferiche

Da fare

[modifica] Lunghezza di una curva

[modifica] Lunghezza di una curva in forma cartesiana esplicita

Da fare

[modifica] Lunghezza di una curva in forma cartesiana implicita

Da fare

[modifica] Lunghezza in forma parametrica

Sia data $α(t) = (φ(t),ψ(t),χ(t))$ differenziabile e $[a,b] \subseteq I$ . Allora la lunghezza dell'arco di curva compreso tra $[α(a),α(b)]$ vale:

$\mbox{Lungh}(\alpha) = \int_{a}^{b} \| \alpha'(t) \| dt = \int_{a}^{b} \sqrt{\phi'(t)^2 + \psi'(t)^2 + \chi'(t)^2} \cdot dt$

Si aggiunga che, se $β(s)$ è una riparametrizzazione della curva, allora:

$\mbox{Lungh}(\alpha) = \mbox{Lung}(\beta) = \int_{a}^{b} \| \alpha'(t) \| dt = \int_{a}^{b} \| \beta'(s) \| ds$ .

[modifica] Ascissa curvilinea

Si definisce ascissa curvilinea oppure parametro lunghezza arco la riparametrizzazione particolare ottenuta fissando l'estremo inferiore di integrazione a in modo che l'integrale:

$s(t) =\int_{a}^{t} \| \alpha'(u) \| du = \int_{a}^{b} \sqrt{\phi'^2+\psi'^2 + \chi'^2} du$

dipenda solo dall'estremo superiore t inteso come variabile. Questa funzione è la lunghezza dell'arco di curva a partite da un punto fisso a e può avere segno. Si può sempre riparametrizzare la curva nell'ascissa curvilinea. Si dimostra che si può sempre riparametrizzare una curva tramite l'ascissa curvilinea nel modo seguente:

dato che $s'(t) = \| \alpha'(t) \| > 0$ allora si può invertire s(t) e se la sua inversa è 't = t(s) allora si ha la riparametrizzazione ascissa curvilinea o naturale data da:

β(s) = α(t (s))

[modifica] Curvatura

Data una parametrizzazione ascissa curvilinea della curva $α(s)$ definiamo curvatura il vettore:

$\vec k(s) = \vec T'(s)$

e curvatura scalare il suo modulo.

[modifica] Formule di Frenet

Per approfondire, vedi la voce geometria differenziale delle curve.

Una curva nello spazio (sufficientemente regolare) ha in ogni punto un sistema di riferimento detto triedro di Frenet, dato da una terna di versori tangente, normale e binormale. Da notare che il poter definire il triedro di Frenet in ogni punto della curva è subordinato al fatto che la curva abbia versore tangente e normale in ogni punto della curva: per questo motivo si parlerà d'ora in poi di campo dei versori tangenti e campo dei versori normali. Inoltre la curva deve essere due volte derivabile e questa è una condizione aggiuntiva non prevista nella definizione precedente.

Sia $α(s) = (φ(s),ψ(s),χ(s))$ una curva parametrizzata secondo l'ascissa curvilinea. Il campo dei versori tangenti alla curva è dato da:

$\vec T(s) = \frac{\alpha'(s)}{\|\alpha'(s)\|}$

Il campo dei versori normali è dato da:

$\vec N(s) = \frac{T'(s)}{\|T'(s)\|}$

Sfruttando la definizione di curvatura si può dare un'altra forma al campo dei versori normali:

$\vec N(s) = \frac {T'(s)}{\| T'(s) \|} = \frac {T'(s)}{k(s)}$

Si dimostra che il vettore $T'$ è ortogonale a T e quindi parallelo ad N.

Si definisce ancora il campo dei versori binormali:

$\vec B (s) = \vec T (s) \times \vec N(s)$

L'importanza del triedro di Frenet è che esso è un sistema di riferimento ortonormale "mobile", cioè al muoversi del punto P lungo la curva $α(s)$ , il triedro di Frenet si muove in modo solidale con P e rimane sempre un sistema ortonormale. In altre parole il triedro di Frenet è una base ortormale e quindi si hanno le formule di Frenet:

$\begin{cases} \vec T'(s) = a_1 \cdot \vec T(s) + b_1 \cdot \vec N(s) + c_1 \cdot \vec B(s) \\ \vec N'(s) = a_2 \cdot \vec T(s) + b_2 \cdot \vec N(s) + c_2 \cdot \vec B(s) \\ \vec B'(s) = a_3 \cdot \vec T(s) + b_3 \cdot \vec N(s) + c_3 \cdot \vec B(s)\end{cases}$

La matrice:

$C = \begin{bmatrix} a_1 & b_1 & c_1 \\ a_2 & b_2 & c_2 \\ a_3 & b_3 & c_3 \end{bmatrix}$

si chiama matrice di Cartan della base del triedro. I suoi coefficienti sono chiaramente nulli al di fuori della diagonale principale poiché il loro prodotto scalare è nullo per l'ortonormalità della base. Utilizzando la definizione di curvatura e introducendo la definizione di torsione come quella funzione:

$\tau (s) = - B'(s) \cdot \vec N (s)$ .

Abbiamo così le formule di Frenet per la parametrizzazione dell'ascissa curvilinea:

$\begin{cases} \vec T' = k(s) \cdot \vec N(s) \\ \vec N'(s) = - k(s) \cdot \vec T(s) + \tau (s) \cdot \vec B(s) \\ \vec B'(s) = -\tau(s) \cdot \vec N(s) \end{cases}$

cioè la matrice di Cartan è simmetrica:

$C = \begin{bmatrix} 0 & k(s) & 0 \\ -k(s) & 0 & \tau(s) \\ 0 & -\tau(s) & 0 \end{bmatrix}$

Se abbiamo una parametrizzazione qualsiasi della curva: $α(t) = (φ(t),ψ(t),χ(t))$ , formalmente il triedro di Frenet è uguale e si hanno le formule di Frenet:

$\begin{cases} \vec T'(t) = k(t) \cdot \|\alpha'(t)\| \cdot \vec N(t) \\ \vec N'(t) = - k(t) \cdot \|\alpha'(t)\| \cdot \vec T(t) + \tau (t) \cdot \|\alpha'(t)\| \cdot \vec B(t) \\ \vec B'(t) = -\tau(t) \cdot \|\alpha'(t)\| \cdot \vec N(t) \end{cases}$

questo perché se per esempio $\vec T(s(t))$ è il campo tangente della parametrizzazione qualsiasi allora la sua derivata rispetto a t:

$\frac{\vec T'(s(t))}{ds} \cdot \frac{ds(t))}{dt} = k(s(t)) \cdot \vec N(s(t)) \cdot \|\alpha'(t)\|$

e così via per le altre due formule di Frenet.

[modifica] Curvatura e torsione

Una curva nello spazio è quindi interamente definita dai due parametri curvatura e torsione. Fondamentale a questo punto è il loro calcolo esplicito sia in parametrizzazione ascissa curvilinea, che in parametrizzazione qualsiasi.

[modifica] Curvatura e torsione in parametrizzazione naturale

Sia $α(s) = (φ(s),ψ(s),χ(s))$ la parametrizzazione naturale di una curva due volte differenziabile. Allora per ogni punto è definito il triedro di Frenet

$1) \ \vec T(s) = \frac{\alpha'(s)}{\|\alpha'(s)\|}$