Geometria Differenziale: Parte 2

Documenti analoghi
Geometria Differenziale: Parte 2

Esercizi 2: Curve dello spazio Soluzioni

Geometria Differenziale: soluzioni test

Esercizi I : curve piane

Geometria Differenziale 2017/18 Esercizi I

Curve nel piano ane euclideo e nello spazio ane euclideo

Geometria Differenziale

Politecnico di Milano Corso di Analisi e Geometria 1. Federico Lastaria. Curve nello spazio Gennaio Lunghezza d arco

Esercizi su curvatura e torsione.

Curve parametrizzate. Esercizi. 1 Curve parametrizzate con parametri arbitrari. Curvatura. Torsione

0.1 Arco di curva regolare

Le curve differenziabili. (Appunti per il corso di geometria III) Vincenzo Ancona Una curva differenziabile regolare e un applicazione

Politecnico di Milano Corso di Analisi e Geometria 1. Federico Lastaria. Curve nello spazio 18 Gennaio 2016

Curve nello spazio Federico Lastaria, Analisi e Geometria 1. Politecnico di Milano Corso di Analisi e Geometria 1

Parte 1: Curve piane

Vi prego di segnalare ogni inesattezza o errore tipografico a

Capitolo 18 ELEMENTI DI GEOMETRIA DIFFERENZIALE Funzioni a valori vettoriali

CU. Proprietà differenziali delle curve

Prova scritta di Geometria differenziale - 27/2/2012

Geometria Differenziale: Parte 1

Curve e superfici parametrizzate. R. Notari

Esercizi 5 soluzioni

Politecnico di Milano Ingegneria Industriale Analisi e Geometria 1

Prodotto scalare e ortogonalità

VETTORIALE E PRODOTTO MISTO. PIANI E RETTE DI

Funzioni vettoriali di variabile scalare

Politecnico di Milano Ingegneria Industriale Analisi e Geometria 1 Terzo Appello 8 Settembre 2014

Prova scritta di Geometria differenziale - 27/9/2012

Es. 1 Es. 2 Es. 3 Es. 4 Totale Teoria. Punteggi degli esercizi: Es.1: 8 punti; Es.2: 8 punti; Es.3: 8 punti; Es.4: 8 punti.

Geometria Differenziale 2017/18 Esercizi 3

Geometria 3 A.A Esercizi. Irriducibilità di polinomi di più variabili. Discriminante.

I teoremi della funzione inversa e della funzione implicita

Geometria 3 A.A Esercizi. Irriducibilità di polinomi di più variabili. Discriminante.

GEOMETRIA svolgimento di uno scritto del 11 Gennaio 2012

Gennaio 17. January 24, 2017

Geometria 3 A.A Esercizi. Irriducibilità di polinomi di più variabili. Discriminante.

ESERCIZI SULLE CURVE

Parte 11. Geometria dello spazio II

P z. OP x, OP y, OP z sono le proiezioni ortogonali di v sugli assi x, y, z, per cui: OP x = ( v i) i. k j. P x. OP z = ( v k) k

Es. 1 Es. 2 Es. 3 Es. 4 Totale Teoria. Punteggi degli esercizi: Es.1: 8 punti; Es.2: 8 punti; Es.3: 8 punti; Es.4: 6 punti.

Curve. Geometria course, part 2/3 outline and diary of notes day by day. Warning: notes very likely contain typos! May 21, 2014.

Parte 8. Prodotto scalare, teorema spettrale

Esame di Complementi di Matematica (STC) e Parziale di Matematica II (SMat). 3 Maggio Soluzioni

21. (cenni di) Geometria analitica del piano.

x + 2y = 0 Soluzione. La retta vettoriale di equazione cartesiana x + 2y = 0.

Parte 10. Geometria dello spazio I

Esercizi di ripasso. 17 Dicembre Federico Lastaria. Analisi e Geometria 1. Esercizi di ripasso (1) 1/10

FONDAMENTI DI ALGEBRA LINEARE E GEOMETRIA INGEGNERIA INDUSTRIALE 27 GENNAIO 2014

Corso di Geometria Ing. Informatica e Automatica Test 1: soluzioni

Geometria analitica: rette e piani

1 Rette e piani nello spazio

Scuola Normale Superiore Ammissione al IV anno del corso ordinario Prova scritta di Algebra e Geometria per matematici

Esercizi di riepilogo sulle curve. 1. Si fornisca una parametrizzazione per le seguenti curve:

DEFINIZIONE. u (u; v); α 3. v (u; v); α 3. ha rango 2 in ogni punto della parametrizzazione. DEFINIZIONE

Dom. 1 Dom 2 Es. 1 Es. 2 Es. 3 Es. 4 Totale. Cognome: Nome: Matricola:

Cognome: Nome: Matricola: a. Si enunci e dimostri il teorema della media integrale per funzioni continue. (5 punti)

Curve. Hynek Kovarik. Analisi Matematica 2. Università di Brescia. Hynek Kovarik (Università di Brescia) Curve Analisi Matematica 2 1 / 28

Corso di Geometria BIAR, BSIR Esercizi 9: soluzioni

14 febbraio Soluzione esame di geometria - 12 crediti Ingegneria gestionale - a.a COGNOME... NOME... N. MATRICOLA...

Corso di Geometria BIAR, BSIR Esercizi 3: soluzioni

Analisi Matematica 2. Curve e integrali curvilinei. Curve e integrali curvilinei 1 / 29

Parte 12a. Trasformazioni del piano. Forme quadratiche

Parte 12b. Riduzione a forma canonica

Corso di Geometria BIAR, BSIR Esercizi 10: soluzioni

Rette e piani nello spazio

Cognome: Nome: Matricola: Prima parte

= (cioè le due terne di numeri direttori ( devono essere ) proporzionali). Tale uguaglianza non è verificata, poiché risulta ρ

GEOMETRIA B Esercizi

1 Esercizi di ripasso Nel piano con un riferimento RC(Oxy) siano dati i punti O(0, 0) e A(2, 4).

Esercitazioni del 11 marzo Ricerca della parametrizzazione di una curva γ in R 3

Coordinate cartesiane e coordinate omogenee

12 gennaio Commenti esame di geometria - Ing. gestionale - a.a

Analisi II, a.a Soluzioni 4

Circonferenze del piano

11 luglio Soluzione esame di geometria - Ing. gestionale - a.a COGNOME... NOME... N. MATRICOLA... ISTRUZIONI

Rette e piani nello spazio Federico Lastaria, Analisi e Geometria 1. Politecnico di Milano Corso di Analisi e Geometria 1

0.1 Spazi Euclidei in generale

ax 1 + bx 2 + c = 0, r : 2x 1 3x = 0.

a. Si enunci e dimostri il teorema della media integrale per funzioni continue. (5 punti)

Corso di Geometria, a.a Ing. Informatica e Automatica Esercizi VI: soluzioni

Risoluzione di sistemi lineari

Esercizi di geometria per Fisica / Fisica e Astrofisica

Es. 1 Es. 2 Es. 3 Totale Teoria. Punteggi degli esercizi: Es.1: 12= punti; Es.2: 12=5+5+2 punti; Es.3: 8 punti.

Equazioni Differenziali (4)

Massimi e minimi vincolati

Università degli Studi di Bergamo Matematica II (5 e 7,5 crediti) 18 febbraio 2010 Tema A

LEZIONE 12. Y = f(x) = f( x j,1 f(e j ) = x j,1 A j = AX = µ A (X),

Esame scritto di Geometria 2

NOTE DI ALGEBRA LINEARE v = a 1 v a n v n, w = b 1 v b n v n

Geometria BAER Canale I Esercizi 11

Geometria BAER Canale I Esercizi 12

1.[25 punti] Risolvere il seguente sistema di equazioni lineari al variare del parametro reale λ: X +Y +Z = 2. X 2Y +λz = 2

ax 1 + bx 2 + c = 0, r : 2x 1 3x = 0.

Corso di Geometria BIAR, BSIR Esercizi 4: soluzioni

ATTENZIONE: : giustificate le vostre argomentazioni! Geometria Canale 3. Lettere J-PE (Prof P. Piazza) Esame scritto del 12/02/2014. Compito A.

Transcript:

Geometria Differenziale: Parte 2 A. Savo Indice delle sezioni 1. Curve dello spazio 2. Curvatura e torsione, formule di Frenet 3. Teoremi di rigidità 4. Esercizi 1 Curve dello spazio La definizione di curva parametrizzata dello spazio si ottiene dall analoga definizione nel piano aggiungendo una terza coordinata. Definizione. Una curva parametrizzata dello spazio è un applicazione α : I R 3 di classe C definita su un intervallo I di R. Quindi α(t) = x(t) y(t) z(t) dove x(t), y(t), z(t) sono funzioni differenziabili di t I. Il vettore α (t) = x (t) y (t) z (t) è detto vettore velocità (o vettore tangente) della curva in t [a, b]. L insieme di punti {α(t) : t I} è detto traccia della curva α. La curva α è detta regolare in t se il vettore velocità in t non è nullo: α (t) 0. α(t) è regolare su un intervallo I se è regolare in tutti i punti di I. Le curve regolari hanno una retta tangente in ogni punto della loro traccia. 1

Diremo che α è una curva piana se la sua traccia è contenuta in un piano dello spazio (non necessariamente il piano z = 0!). La curva α è sghemba se non è piana. Esempi. La curva: α(t) = 1 + t 2t 2 + 3t definisce una retta dello spazio, che è ovviamente contenuta in un piano (in realtà, in infiniti piani diversi). La curva α(t) = 3 cos t 1 3 sin t definisce una circonferenza di raggio 3 che giace nel piano y = 1. Notiamo che α è piana se e solo se esistono numeri reali a, b, c, d, con a, b, c non tutti nulli, tali che: ax(t) + by(t) + cz(t) + d = 0 per ogni t I. Questo è anche un criterio che ci permette di determinare esplicitamente il piano contenente la curva. Esempio. La curva x = t α : y = t 2 z = t 3 è detta cubica gobba. Si verifica facilmente che α è sghemba, poiché l equazione: at + bt 2 + ct 3 + d = 0 è verificata (su un intervallo) se e solo se a = b = c = d = 0. Esercizio. Verificare che la curva α(t) = 1 + t 1 + t 2 t + t 2 è piana, e determinare l equazione del piano che la contiene. Soluzione. Dobbiamo studiare l equazione in a, b, c: a(1 + t) + b(1 + t 2 ) + c(t + t 2 ) + d = 0 che deve risultare valida per ogni t. La riscriviamo: (a + b + d) + (a + c)t + (b + c)t 2 = 0 2

e otteniamo il sistema omogeneo: a + b + d = 0 a + c = 0 b + c = 0 che ammette 1 soluzioni, tutte proporzionali a a = 1, b = 1, c = 1, d = 2. Dunque il piano cercato contenente la curva è: x + y z 2 = 0. Ascissa curvilinea. La lunghezza di una arco di curva, e la funzione ascissa curvilinea, sono definite in modo del tutto analogo al caso piano. In particolare, l ascissa curvilinea con origine in t = a è la funzione s(t) = t a α (u) du = t a x (u) 2 + y (u) 2 + z (u) 2 du, e ogni curva può essere riparametrizzata dall ascissa curvilinea, nel senso che, data α : [a, b] R 3, possiamo scrivere α(t) = ᾱ(s(t)) con ᾱ : [0, L] R 3 parametrizzata dall ascissa curvilinea (L è la lunghezza dell arco). 2 Curvatura e torsione, formule di Frenet Sia ora α : [0, L] R 3 una curva PAC. Il vettore: T (s). = α (s) ha norma unitaria costante, ed è detto versore tangente alla curva. Poniamo: k(s) = α (s) e definiamo k(s) curvatura di α in s. Se k(s) = 0, diremo che s è un punto di flesso di α. Se il vettore accelerazione T (s) = α (s) è non-nullo in s, diremo che la curva α è biregolare in s. Notiamo che, se una curva è biregolare su un intervallo I, si ha k(s) > 0 per ogni s I; dunque, contrariamente al caso piano: la curvatura di una curva biregolare dello spazio è sempre positiva. Poiché α (s) ha norma costante, si dimostra, come nel caso piano, che α (s) è ortogonale a α (s) = T (s). 3

Se la curva è biregolare (α (s) non nullo), allora il versore N(s) = 1 α (s) α (s). si dice versore normale alla curva in s. Infine, il vettore B(s). = T (s) N(s) ha norma unitaria ed è ortogonale sia a T (s) che a N(s); tale vettore è detto versore binormale in s. La terna ortonormale (T (s), N(s), B(s)) è detta riferimento di Frenet di α in s. Siccome α (s) = T (s) possiamo scrivere (come nel caso piano): T (s) = k(s)n(s), Ora deriviamo l identità B(s), T (s) = 0, ottenendo: B (s), T (s) + B(s), T (s) = 0. Siccome B(s), T (s) = k(s) B(s), N(s) = 0, si ha che B (s) è ortogonale a T (s): esso è anche ortogonale anche a B(s) (poichè B(s) ha norma costante). Dunque B (s) sarà parallelo a N(s) e possiamo scrivere per una funzione τ(s). τ(s) è detta torsione di α in s. B (s) = τ(s)n(s) Infine, da B(s) = T (s) N(s) si vede subito che N(s) = B(s) T (s). Derivando rispetto a s otteniamo: N (s) = B (s) T (s) + B(s) T (s). Dalle formule precedenti, otteniamo N (s) = τ(s)n(s) T (s) + k(s)b(s) N(s) = τ(s)b(s) k(s)t (s). Teorema 1. Sia (T (s), N(s), B(s)) il triedo di Frenet. Allora abbiamo le seguenti relazioni, dette Formule di Frenet: T (s) = k(s)n(s) N (s) = k(s)t (s) τ(s)b(s) (1) B (s) = τ(s)n(s) In forma matriciale: (T (s), N (s), B (s)) = (T (s), N(s), B(s)) 0 k(s) 0 k(s) 0 τ(s). 0 τ(s) 0 4

2.1 Piano osculatore Sia α(s) una curva parametrizzata dall ascissa curvilinea, che sia biregolare in s. Il piano generato dai vettori T (s), N(s) si dice piano osculatore in s. Tale piano coincide con il piano generato da α (s), α (s), ed è il piano passante per α(s) ortogonale al vettore B(s). Notiamo che, se la curva α è piana, contenuta nel piano π, allora il piano osculatore coincide, in tutti i punti, con il piano π. In generale, il piano osculatore di α in s 0 è il piano che meglio approssima α nelle vicinanze di α(s 0 ). Osserviamo innanzitutto che, se v = a b è un vettore unitario (quindi a 2 + b 2 + c 2 = 1), e se c π : ax + by + cz = 0 è il piano per l origine ortogonale a v allora la funzione f(x, y, z) = ax + by + cz esprime la distanza (con segno) del punto x y dal piano π (il segno è positivo nel z semispazio aperto definito dalla direzione di v, e negativo nel semispazio opposto). Proposizione 2. Sia α(s) una curva biregolare, e sia p = α(0). Fissato un piano π per α(0), si consideri la funzione ψ(s) = d(α(s), π). Allora π è il piano osculatore di α in α(0) se e solo se ψ(s) = o(s 2 ) per s 0. Dimostrazione. Fissiamo un sistema di riferimento cartesiano con origine nel punto α(0). Dunque α(s) si esprime α(s) = x(s) y(s). z(s) Il piano π ha equazione ax + by + cz = 0 dove v = a b è un versore normale al piano; c allora ψ(s) si esprime ψ(s) = ax(s) + by(s) + cz(s) = α(s), v. Ora α(0) appartene al piano, quindi ψ(0) = 0. Si ha poi ψ (s) = α (s), v e ψ (s) = α (s), v ; ricordando che α (0) = T (0) e α (0) = k(0)n(0) si ha: { ψ (0) = T (0), v ψ (0) = k(0) N(0), v 5

Dunque ψ (0) = ψ (0) = 0 se e solo se v è ortogonale a T (0) e N(0), dunque parallelo a B(0). In conclusione ψ (0) = ψ (0) = 0 s e solo se π è il piano osculatore di α in α(0). Sia ψ(s) la distanza, con segno, di α(s) dal piano osculatore in α(0). Verificare che, per s 0: ψ(s) = τ(0) 6 s3 + o(s 3 ). In particolare, se in α(0) la torsione di α è nulla allora ψ(s) = o(s 3 ). Determiniamo ora l equazione del piano osculatore in una parametrizzazione arbitraria. Proposizione 3. Sia α(t) una curva dello spazio, che risulti biregolare in t. Allora il piano osculatore di α in t è il piano passante per α(t) ortogonale al vettore α (t) α (t). Dimostrazione. Possiamo scrivere α(t) = ᾱ(s(t)) con ᾱ(s) parametrizzata dall ascissa curvilinea, cioè ᾱ (s) = 1. Derivando rispetto a t: α (t) = ᾱ (s) s (t) = α (t) T (s) α (t) = d dt α (t) T (s) + α (t) 2 T (s). Abbiamo dunque: α (t) α (t) = α (t) 3 T (s) T (s) = α (t) 3 k(s)t (s) N(s) = α (t) 3 k(s)b(s) Poichè la curva è biregolare, α (t) 3 k(s) è non nullo e il vettore α (t) α (t) è parallelo al vettore B(s). Poiché quest ultimo è ortogonale al piano osculatore nel punto dato, anche α (t) α (t) lo sarà. Osserviamo il seguente Teorema 4. Una curva è piana se solo se ha torsione identicamente nulla. Dimostrazione. Se una curva è piana, contenuta nel piano π, allora π è il piano osculatore di α in qualsiasi punto di α. Poiché il piano osculatore ha versore normale dato da B(s), si ha che B(s) deve essere costante, dunque B (s) = 0 e quindi τ(s) = 0. Viceversa, supponiamo che τ(s) sia identicamente nulla. Allora B(s) è costante e quindi. B(s) = B(0) = B. Vogliamo dimostrare che α(s) α(0), B = 0, cosicché α(s) è interamente contenuta nel piano passante per α(0) ortogonale a B. Poniamo: Si ha: ψ(s) = α(s) α(0), B. ψ (s) = α (s), B = T (s), B(0) = T (s), B(s) = 0 per ogni s; poiché ψ(0) = 0, abbiamo ψ(s) = 0 per ogni s, dunque l asserto. (2) 6

2.2 Formule in una parametrizzazione qualunque Si hanno le seguenti espressioni. Teorema 5. Sia α : I R 3 una curva regolare. Allora si ha: k(t) = α (t) α (t), τ(t) = α (t) α (t), α (t) α (t) 3 α (t) α (t) 2 Notiamo la seguente espressione equivalente: Dimostrazione. Possiamo scrivere τ(t) = det(α (t), α (t), α (t)) α (t) α (t) 2 α(t) = ᾱ(s(t)), con ᾱ parametrizzata dall ascissa curvilinea. Poniamo Dunque Si ha poi: Quindi: s (t) = α (t). = v(t). α (t) = v(t)t (s). α (t) = v (t)t (s) + v(t) 2 T (s) = v (t)t (s) + v(t) 2 k(s)n(s) da cui otteniamo, prendendo la norma ambo i membri: Derivando (3): α (t) α (t) = v(t) 3 k(s)b(s). (4) k(s) = α (t) α (t) α (t) 3. α (t) = v (t)t (s) + v (t)v(t)t (s) + (v(t) 2 k(s)) N(s) + v(t) 3 k(s)n (s) Considerato che T = kn, N = kt τb possiamo scrivere: α (t) = f(t)t + g(t)n + h(t)b dove f(t), g(t) sono opportune funzioni di t (che non ci interessa al momento calcolare esplicitamente), e dove h(t) = v(t) 3 k(s)τ(s). α (t) α (t), α (t) = v(t) 3 k(s)h(t) = v(t) 6 k(s) 2 τ(s). Dall espressione di k(s) precedente vediamo che e si ha dunque l asserto. v(t) 6 k(s) 2 = α (t) α (t) 2 (3) 7

2.3 Triedro di Frenet in una parametrizzazione arbitraria Il vettore α (t) è tangente alla curva; il vettore T (t) = 1 α (t) α (t) (5) è tangente e ha norma unitaria; dunque T (t) è il versore tangente della curva in α(t). Ora, sappiamo che α (t) α (t) è ortogonale al piano osculatore, dunque è parallelo al versore binormale; dalla (4) i vettori hanno lo stesso verso e dunque: B(t) = 1 α (t) α (t) α (t) α (t). (6) Infine, poichè (T, N, B) formano una base ortonormale orientata, dalla condizione B = T N avremo anche N(t) = B(t) T (t). (7) Le (5),(6),(7) permettono il calcolo esplicito del riferimento di Frenet in una qualsiasi parametrizzazione. 2.4 Esempio: elica circolare La curva: x = cos t y = sin t z = t è un esempio di elica circolare. La traccia della curva è contenuta nel cilindro dello spazio di equazione x 2 + y 2 = 1. Si ha: α(t) = cos t sin t, α (t) = sin t cos t, α (t) = cos t sin t. t 1 0 Si vede che la curva è regolare. Ora: α (t) α (t) = sin t cos t 1 dunque e la curvatura: α (t) = 2, α (t) α (t) = 2, k(t) = α (t) α (t) α (t) 3 = 1 2. 8

è costante. Per quanto riguarda la torsione, dobbiamo calcolare la derivata terza: α (t) = sin t cos t. 0 Risulta che dunque α (t) α (t), α (t) = 1, τ(t) = 1 2. Dunque, un elica circolare ha curvatura e torsione costanti. Verificare che la lunghezza di una spira dell elica è 2 2π. 2.5 Esempio: cubica gobba Un esempio di cubica gobba è dato dalla curva: x = t y = t 2 z = 2t 3 È una curva piana? Vediamo se è possibile trovare a, b, c, d tali che l equazione sia verificata per ogni t. Questa diventa ax(t) + by(t) + cz(t) + d = 0, at + bt 2 + 2ct 3 + d = 0 che è vera per ogni t solo se a, b, c, d sono tutti nulli. Dunque, la curva è sghemba, e verificheremo questa cosa in modo indipendente, calcolando la torsione. Abbiamo: Dunque: α(t) = t t 2, α (t) = 1 2t, α (t) = 0 2, α (t) = 0 0. 2t 3 6t 2 12t 12 α (t) 2 = 1 + 4t 2 + 36t 4 Notiamo che la curva è biregolare per ogni valore di t. Veniamo alla curvatura. Si ha: α (t) α (t) = 12t2 12t 2 9

quindi: Ora la torsione. Si ha: Dunque k(t) = 144t 4 + 144t 2 + 4 (1 + 4t 2 + 36t 4 ) 3. α (t) α (t), α (t) = 24. 24 τ(t) = 144t 4 + 144t 2 + 4. 2.6 Piano normale, piano rettificante Abbaimo già definito il piano osculatore di una curva dello spazio, in s, come il piano per α(s) generato dai vettori T (s) e N(s), quindi il piano per α(s) ortogonale al versore binormale B(s). Il piano per α(s) generato da N(s), B(s) (quindi ortogonale a T (s)) è detto piano normale; il piano per α(s) generato da T (s), B(s) (quindi ortogonale a N(s)) è detto piano rettificante. Esercizio. Determinare il triedro di Frenet e le equazioni dei piani: osculatore, normale rettificante, per il valore t = 1, ovvero nel punto α(1) = 1 1. 2 Esercizio. Verificare che la curva x = a 1 + b 1 t + c 1 t 2 y = a 2 + b 2 t + c 2 t 2 z = a 3 + b 3 t + c 3 t 2 è piana, per ogni scelta di a i, b i, c i. Soluzione. Basta osservare che α (t) è identicamente nulla, dunque la torsione è identicamente nulla e la curva è piana. Si poteva procedere anche algebricamente. 3 Teoremi di rigidità Come prima cosa, verifichiamo che la curvatura e il valore assoluto della torsione sono invarianti per isometrie dello spazio. Precisamente si ha : 10

Teorema 6. Sia α : [0, L] R 3 una curva biregolare, e sia f un isometria di R 3. Si consideri la curva β = f α : [0, L] R 3. Allora si ha per ogni s [0, L]: e inoltre La dimostrazione è lasciata per esercizio. k β (s) = k α (s) { τα (s) se f è diretta, τ β (s) = τ α (s) se f è inversa. In questa sezione dimostreremo che, a meno di isometrie, esiste un unica curva con curvatura e torsione assegnate. Data una curva biregolare α : [0, L] R sia (T (s), N(s), B(s)) il suo riferimento di Frenet in s. Allora si ha: (T (s), N (s), B (s)) = (T (s), N(s), B(s)) 0 k α(s) 0 k α (s) 0 τ α (s) 0 τ α (s) 0 Denotiamo con X(s) la matrice 3 3 di colonne T (s), N(s), B(s). Scriveremo dunque X(s) = (T (s), N(s), B(s)) identificando la terna di Frenet con la matrice X(s). Poichè il riferimento di Frenet è ortonormale, e positivamente orientato, la matrice X(s) è ortogonale, con det X(s) = 1 per ogni s. Le formule di Frenet si esprimono in forma matriciale: dove X (s) = X(s)A(s) (8) A(s) = 0 k α(s) 0 k α (s) 0 τ α (s) 0 τ α (s) 0 e dove X (s) denota la matrice che si ottiene derivando le entrate di X(s). Notiamo che la matrice A(s) è antisimmetrica per ogni s. Sia Mat(n n) lo spazio vettoriale delle matrici quadrate di ordine n. La (8) è dunque un equazione differenziale nell incognita X(s) Mat(n n). Sviluppando il prodotto righe per colonne a destra, e uguagliando le entrate corrispondenti, la (8) è equivalente un sistema omogeneo di equazioni differenziali lineari di n 2 equazioni in n 2 incognite, del primo ordine: il riferimento di Frenet X(s) è dunque una soluzione di tale sistema. In effetti, il seguente lemma, che è conseguenza della teoria delle equazioni differenziali, ci sarà utile. Lemma 7. 11

a) Sia A : [0, L] Mat(n n) una funzione matriciale di s [0, L], che assumeremo continua. Allora, l equazione differenziale { X (s) = X(s)A(s) X(0) = X 0 (9) nell incognita X(s) Mat(n n) e con dato iniziale X 0 Mat(n n), ammette un unica soluzione X(s). b) Se la matrice A(s) è antisimmetrica per ogni s, e se il dato iniziale X 0 è una matrice ortogonale (risp. X 0 SO(n)) allora la soluzione X(s) è una matrice ortogonale per ogni s [0, L] (risp. X(s) SO(n) per ogni s). Dimostrazione. a) L esistenza e unicità della soluzione del problema (9) è conseguenza della teoria delle equazioni differenziali. b) Supponiamo ora che A(s) sia antisimmetrica per ogni s. Vogliamo dimostrare che X(s)X(s) t = I per ogni s. Ora, prendendo la trasposta ad ambo i membri di (9) otteniamo: (X (s)) t = A(s) t X(s) t. Poichè la trasposta della derivata è uguale alla derivata della trasposta, si ha (X (s)) t = d ds (X(s)t ); siccome A(s) è antisimmetrica (A(s) t = A(s)) otteniamo Dunque: d ds (X(s)t ) = A(s)X(s) t. d ds (X(s)X(s)t ) = d ds X(s) X(s)t + X(s) d ds (X(s)t ) = X(s)A(s)X(s) t X(s)A(s)X(s) t = 0. Poichè X(0)X(0) t = I, si ha in effetti X(s)X(s) t = I per ogni s, dunque X(s) è ortogonale per ogni s. Infine, se det X(0) = 1 allora, per la continuità della funzione s det X(s), si deve avere det X(s) = 1 per ogni s. Dimostriamo ora il seguente teorema di rigidità. Teorema 8. Date due funzioni: k : [0, L] R, τ : [0, L] R (con k(s) > 0 per ogni s), dato un punto α 0 = x 0 e data una terna ortonormale (T 0, N 0, B 0 ) positivamente y 0 z 0 orientata, allora esiste un unica curva biregolare α : [0, L] R 3 tale che: 12

1) α(0) = α 0 ; 2) il riferimento di Frenet di α in s = 0 è (T 0, N 0, B 0 ); 3) k α (s) = k(s), τ α (s) = τ(s) per ogni s [0, L]. Dimostrazione. Lo schema è il seguente. In primo luogo determiniamo quello che dovra essere il riferimento di Frenet X(s) = (t(s), n(s), b(s)) della curva incognita α = α(s): questo si puo fare risolvendo il sistema di equazioni differenziali (8) con matrice Ā(s) determinata dai valori prescritti di curvatura e torsione. Al secondo passo, integriamo il versore velocità t(s) per ottenere il vettore posizione α(s). Il terzo passo consiste nel verificare che la curva α cosi ottenuta verifica i requisiti del teorema. Consideriamo quindi il sistema di equazioni differenziali nell incognita X(s) Mat(3 3): dove X (s) = X(s)Ā(s), (10) Ā(s) = 0 k(s) 0 k(s) 0 τ(s). 0 τ(s) 0 Dal lemma precedente, sappiamo che la soluzione X(s) di (10) esiste ed è univocamente determinata dalle condizioni iniziali. Come condizioni iniziali imponiamo: X(0) = (T 0, N 0, B 0 ), la matrice di colonne T 0, N 0, B 0. Dunque X(0) SO(3) e, ancora per il lemma precedente, X(s) SO(3) per ogni s. Indichiamo con t(s), n(s), b(s) le colonne di X(s) che dunque formano una base ortonormale positivamente orientata. Consideriamo ora la curva: α(s) = s 0 t(u) du + α 0. (11) Vogliamo dimostrare che α(s) è l unica curva che soddisfa i requisiti del teorema; in particolare α è biregolare e, se indichiamo con (T (s), N(s), B(s)) il riferimento di Frenet della curva α definita in (11), allora: (T (s), N(s), B(s)) = (t(s), n(s), b(s)) per ogni s. Notiamo che α (s) = t(s), che ha norma 1, e α(0) = α 0 ; dunque α è regolare, ed è parametrizzata dall ascissa curvilinea. Quindi: T (s) = t(s). Ora: α (s) = t (s) = k(s)n(s). 13

Poichè k(s) > 0 per ogni s, risulta che α (s) 0; dunque α è biregolare. Sappiamo che, per definizione di curvatura: α (s) = k α (s)n(s). Uguagliando otteniamo k(s)n(s) = k α (s)n(s) e siccome k α (s) e k(s) sono entrambi positivi, si ha necessariamente k α (s) = k(s) e N(s) = n(s). per ogni s. Infine, poichè (T (s), N(s), B(s)) e (t(s), n(s), b(s)) sono entrambe positivamente orientate, abbiamo necessariamente B(s) = b(s) Dunque i riferimenti (T (s), N(s), B(s)) e (t(s), n(s), b(s)) coincidono in ogni punto; in altre parole, la terna (t(s), n(s), b(s)) è il riferimento di Frenet di α. A questo punto, è immediato verificare che τ α (s) = τ(s) per ogni s, e l esistenza è dimostrata. Infine, l unicità è conseguenza dell unicità della soluzione con dato iniziale fissato. Il teorema è dunque dimostrato. Il seguente corollario mostra che due curve con curvatura e torsione uguali, punto per punto, differiscono per un isometria diretta. Corollario 9. Supponiamo che α : [0, L] R 3 e β : [0, L] R 3 siano due curve dello spazio aventi curvatura e torsione uguali punto per punto: k α (s) = k β (s), τ α (s) = τ β (s) per ogni s [0, L]. Allora esiste un isometria diretta f dello spazio tale che β(s) = f(α(s)). Dimostrazione. Detti F α (s) = (T α (s), N α (s), B α (s)) e F β (s) = (T β (s), N β (s), B β (s)) i riferimenti di Frenet, in s, di α e β, rispettivamente, sia A la matrice ortogonale che trasforma F α (0) in F β (0); notiamo che det A = 1, poichè il riferimento di Frenet di una curva è positivamente orientato per ogni s. Consideriamo l isometria diretta f(x) = Ax + b, dove b = β(0) Aα(0), e consideriamo la curva β : [0, L] R 3 definita da: β. = f α. Vogliamo dimostrare che β(s) = β(s). Notiamo che, siccome f è un isometria diretta, f α ha curvatura e torsione uguali a quelle di α, quindi anche uguali a quelle di β: k β(s) = k β (s), τ β(s) = τ β (s). 14

Inoltre: β(0) = f(α(0)) = β(0) e, per costruzione, il riferimento di Frenet di β = f α coincide, in s = 0, con quello di β. Per l unicità dimostrata nel teorema precedente, si deve avere β(s) = β(s) per ogni s. Concludiamo con il seguente enunciato, che riassume in modo sintetico i risultati che abbiamo appena dimostrato. Corollario 10. A meno di isometrie dirette, esiste un unica curva dello spazio con curvatura e torsione assegnate. 4 Esercizi Esercizio 1. Si consideri la curva (cubica gobba): α(t) = 6t 6t 2, t 0. 4t 3 Dopo aver osservato che α è regolare per ogni t R, determinare la funzione ascissa curvilinea s : [0, ) R e calcolare la lunghezza della curva da t = 0 a t = 2. Determinare inoltre: b) curvatura e torsione nel punto α(t); c) il triedro di Frenet nell origine; d) l equazione della retta tangente nel punto α(2); e) l equazione del piano osculatore e del piano normale nel punto α(0). Esercizio 2. È data la curva α(t) = 2 t2 1 + t 4 + 2t t 2 a) Dopo aver osservato che α è regolare per ogni t R, determinare l equazione della retta tangente nel punto α(0). b) Determinare curvatura e torsione della curva nel punto generico α(t). c) Determinare il triedro di Frenet per il valore t = 1 e l equazione di ciascuno dei piani: osculatore, normale,rettificante. d) È vero che α è piana? In tal caso, determinare l equazione del piano che la contiene. Esercizio 3. È data la curva α(t) = cos t 1 e t, t 0. sin t 15

a) Determinare la curvatura k(t) e la torsione τ(t) di α al variare di t [0, ). b) Stabilire se esistono i seguenti limiti: lim k(t), t + lim τ(t). t + c) Sia π t il piano osculatore di α nel punto α(t). È vero che π t tende a un piano limite quando t? Esercizio 4. È data la curva (elica circolare) α(t) = a cos t a sin t, t R, bt con a, b costanti positive. a) Determinare la curvatura k(t) e la torsione τ(t) di α al variare di t [0, ). b) Sia π t il piano osculatore di α nel punto α(t). È vero che π t tende a un piano limite quando t? c) Determinare l equazione cartesiana di π t se t = 2kπ, con k Z. Esercizio 5. Sia α : [ L, L] R una curva biregolare dello spazio, parametrizzata dall ascissa curvilinea s. a) Scrivere lo sviluppo di Taylor, fino al terzo ordine, della funzione vettoriale α(s) nell intorno di s = 0, esprimendo i coefficienti in funzione del riferimento di Frenet in s = 0 (vale a dire, in funzione della terna ortonormale (T (0), N(0), B(0)); usare le formule di Frenet). b) Determinare lo sviluppo di Taylor intorno a s = 0, fino al terzo ordine, di ciascuna delle seguenti funzioni scalari: ψ 1 (s) = α(s) α(0), T (0), ψ 2 (s) = α(s) α(0), N(0), ψ 3 (s) = α(s) α(0), B(0). Esercizio 6. Dato λ > 0, l applicazione lineare F λ : R 3 R 3 : F λ x y = λx λy z λz di matrice canonica A = λ 0 0 0 λ 0 è detta omotetia di fattore λ. Data una curva 0 0 λ α : [0, L] R 3, calcolare curvatura e torsione della curva F λ α in funzione di curvatura e torsione di α. È vero che la curvatura è invariante per omotetie? È vero che la proprietà di essere una curva piana è invariante per omotetie? 16

Esercizio 7. Data una funzione differenziabile φ : R R, si consideri la curva parametrizzata α(t) = cos t sin t, t R. φ(t) a) Verificare che α è interamente contenuta in un cilindro. Quale? b) Calcolare la curvatura di α. c) Calcolare la torsione di α, e trovare una funzione φ(t) in modo tale che α risulti piana. d) Determinare la generica funzione φ(t) tale che α risulti piana. Esercizio 8. Studiare curvatura e torsione della curva α(t) = cos t sin t, t R cos t e stabilire i valori massimi e minimi che puo assumere la sua curvatura. Esercizio 9. Studiare curvatura e torsione della curva α(t) = cos t sin t, t R. cos(2t) Esercizio 10. Sia α : [0, L] R 3 una curva parametrizzata dall ascissa curvilinea, sia f un isometria di R 3 e sia β l immagine di α tramite f, cioè β = f α. Dimostrare che k β (s) = k α (s) per ogni s, e inoltre: { τα (s) se f è diretta, τ β (s) = τ α (s) se f è inversa. Usare il fatto seguente. Se A è una matrice ortogonale di ordine 3 e se u, v R 3, allora: { A(u v) se det A = 1, Au Av = A(u v) se det A = 1. 4.1 Curve piane Esercizio 11. Si consideri la curva piana: ( ) t sin t α(t) =, t R 1 cos t a) Trovare i punti dove la parametrizzazione è regolare, e determinare l equazione della 17

retta tangente in t = π/4. b) Calcolare la lunghezza dell arco da t = 0 a t = 2π. c) Determinare il versore tangente T (t) = 1 α (t) α (t), ove esiste, e calcolare i seguenti limiti: lim T (t), t 0 + lim T (t). t 0 d) Determinare la curvatura k(t) nei punti regolari, e calcolare lim t 0+ k(t). ( ) sin(2t) cos t Esercizio 12. a) Data la curva piana α : [0, 2π] R 2 definita da α(t) =, sin(2t) sin t stabilire i valori di t per i quali α è regolare; per tali valori, determinare la curvatura di α. b) È vero che α è iniettiva? Disegnare la traccia di α. c) Calcolare r(t), la distanza di α(t) dall origine. Esercizio 13. Data la curva α : [0, L] R 2, parametrizzata dall ascissa curvilinea, e dato un numero r > 0, si consideri la curva β r : [0, L] R 2 definita da: β r (s) = α(s) + rn(s), dove N(s) = Jα (s) è il versore normale di α. a) Per quali valori di r la curva β r è regolare in s? b) Per tali valori, calcolare la curvatura di β r. c) Se α parametrizza la circonferenza di raggio R, qual è la traccia di β r? d) In generale, dare un intepretazione geometrica della traccia di β r. 18