Bernardo-Geometria Differenziale

Bernardo geometria differenziale.
nb 1
Geometria differenziale delle curve

Appunti di A. Bernardo
n spazio vettoriale su 
n = 8x = Hx1 , x2 , ..., xn L ê xi numero reale ∀ i<
Addizione di vettori
x = Hx1 , x2 , ..., xn L
+ : n × n → n
y = Hy1 , y2 , ..., yn L
x + y = Hx1 + y1 , x2 + y2 , ..., xn + yn L
DEF
Prodotto di un vettore per uno scalare

⋅ :  n → n
λ∈
λ ⋅ x = Hλx1 , λx2 , ..., λ xn L

x ∈ n
DEF
Prodotto scalare tra due vettori

⋅ : n × n → 
x ⋅ y = ‚ xi ⋅ xi
p
DEF
j=1
⋅ è bilineare simmetrica definita positiva
B = 8u1 , u2 , u3 , ..., un <

Base canonica di n
u1 = H1, 0, 0, ..., 0L
u2 = H0, 1, 0, ..., 0L
un = H0, 0, 0, ..., 1L
...
Curve in n
α : Ha, bL → n dove Ha, bL è intervallo aperto di 
t → α HtL
α HtL = Hα1 HtL, α2 HtL, ..., α2 HtLL
DEF.
α è differenziabile se sono differenziabili αi ∀ i
α è una curva HparametrizzataL se è differenziabile a tratti in Ha, bL

DEF.
Vettore velocità diα in un punto P0 = α Ht0 L è

DEF.
α ' Ht0 L = Hα1 ' Ht0 L, ..., αn ' Ht0 LL

DEF
La funzione v HtL = ˛ α ' HtL ˛ si chiama velocità di α

DEF.
α si dice regolare se è differenziabile e se ∀ t si ha v HtL ≠ 0

DEF.
α si dice a velocità unitaria se ˛ α ' HtL ˛ = 1 , ∀ t ∈ Ha, bL

DEF.
DEF.
Bernardo geometria differenziale.nb 2
α : Ha, bL → n , β : Hc, dL → n curve differenziabili,
h : Hc, dL → Ha, bL tale che h ' HuL > 0 ∀ u, con c < u < d
β si dice riparametrizzazione positiva di α se esiste una funzione differenziabile
Esempio di grafico di una curva
ellisse@a_, b_D@t_D := 8a Cos@tD, b Sin@tD<
ParametricPlot@ellisse@4, 2D@tD, 8t, 0, 2 Pi<, AspectRatio → AutomaticD

2
-4 -2 2 4
-1
-2
Graphics
Lunghezza di una curva

Sia α una curva di n , definita su un intervallo I ⊃ Ha, bL,
DEF.
α definita e differenziabile in @a, bD

si definisce lunghezza di α nell ' intervallo @a, bD
Length@a, bD@αD = ‡ ˛ α ' HtL ˛ dt.

b
Lunghezza di una curva con Mathematica
Per calcolare la lunghezza di un arco di curva costruiamo prima la funzione ˛a'(t)˛
moduloVelocita@alpha_D@t_D := Sqrt@Simplify@D@alpha@xD, xD.D@alpha@xD, xDDD ê. x → t
Calcoliamo ora l'integrale indefinito
lungArco@alpha_D@t_D := Integrate@moduloVelocita@alphaD@xD, xD ê. x → t
Calcoliamo ora l'integrale definito
lung@a_, b_D@alpha_D := Integrate@moduloVelocita@alphaD@uD, 8u, a, b<D
La seguente è la formula per il calcolo numerico dell'integrale, qualora non sia possibile calcolarlo con il calcolo
simbolico, in questo caso a e b devono essere dei numeri.
lunghezza@a_, b_D@alpha_D := NIntegrate@moduloVelocita@alphaD@uD, 8u, a, b<D
Esempi
Calcolo della lunghezza dell'ellisse

Con il calcolo simbolico
lung@a, bD@ellisse@4, 2DD êê Simplify
i
IfAj
j
j− ArcCosA 3 E ImA −a + b E + 2 ReA a − b E ≥ 2 »»
k
5 1 a
yD
E ImA E + ReA E ≥ 0 »» ImA E ≠ 0zz
z &&
2 a + ArcCos@ 5
{
1 5 1 a 3
ArcCosA
2 3 −a + b −a + b 2a−2b
i
j
j
j− ArcCosA 3 E ImA −a + b E + 2 ReA a − b E ≥ 2 »» 2 ArcCosA E ImA E + ReA E≥
k
5 1 a 1 5 1 a
3 −a + b −a + b
0 »» ArcCosA E ImA E + 2 ReA E 0 »»

5 1 a
D y
−a + b a−b
E ≠ 0z
3
ArcCosA E ImA E 1 + ReA E »» ImA z

z &&
2 a + ArcCos@ 5
{
1 5 1 a
− 3
2 3 −a + b −a + b 2a−2b
i
j
j
j ArcCosA 3 E ImA −a + b E + 2 ReA a − b E ≥ 2 »» − 2 ArcCosA 3 E ImA −a + b E + ReA −a + b E ≥
k
5 1 a 1 5 1 a
0 »» ArcCosA E ImA E ReA E »»

1 5 1 a
−2 a + ArcCos@ 53 D y
−a + b −a + b
E ≠ 0z
2 3
ArcCosA E ImA E 1 + ReA E »» ImA z

z,
{
1 5 1 a
2 3 −a + b −a + b −2 a + 2 b
è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
IntegrateA 10 − 6 Cos@2 uD , 8u, a, b<,
−2 EllipticE@a, −3D + 2 EllipticE@b, −3D,
i 2 a + ArcCos@ 53 D
Assumptions → jj
jImA E 0 && − ArcCosA E ImA E + 2 ReA E < 2 &&
k
5 1 a
2 a − 2 b 3 −a + b a −b
y
ArcCosA E ImA E + ReA E < 0z
z
z »»
{
1 5 1 a
2 3 −a + b −a + b
i
jImA D
j
j E 0 && ArcCosA E ImA E + 2 ReA E < 2 &&
−2 + 5
k
a ArcCos@ 3 5 1 a
−2 a + 2 b 3 −a + b a −b
E ImA E + ReA E < 0 && ReA E≠

1 5 1 a a
− ArcCosA
y
−a + b −a + b −a + b
Ez
2 3
ArcCosA E ImA E && 1 + ReA E≠ ArcCosA E ImA z
zEE
{
1 5 1 a 1 5 1
2 3 −a + b −a + b 2 3 −a + b
Con il calcolo numerico
lunghezza@0, PiD@ellisse@0, PiDD
6.28319
Calcolo della lunghezza della circonferenza

ParametricPlot@ellisse@1, 1D@tD, 8t, 0, Pi<, AspectRatio → AutomaticD
1
0.8
0.6
0.4
0.2
-1 -0.5 0.5 1
Graphics
Con il calcolo simbolico

è!!!!!
!
lung@0, PiD@ellisse@r, rDD
π r2
Con il calcolo numerico
lunghezza@0, PiD@ellisse@1, 1DD
3.14159
Curvatura di una curva piana

Intuitivamente misura di quanto la curva si discosta dall'essere una retta.
x' HtL y "HtL-x "HtL y' HtL

Solitamente viene definita da
Hx' HtL+y' HtLL

k2[a](t)= ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
2 2
ÅÅÅÅÅÅÅÅ
3ê2 ÅÅ (1)
La si può definire anche in questo modo
a "HtL •Ja' HtL

DEF
»»a' HtL»»3
k2[a](t)= ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅ (2)
DEF
Il raggio di curvatura di a è ÅÅÅÅÅÅÅÅ
1
k2@aD
ÅÅÅÅ
Definiamo una curva piana alpha
alpha@t_D := 8a1@tD, a2@tD<
Definiamo la struttura complessa J di 2
J@8p1_, p2_<D := 8−p2, p1<
Definiamo il vettore velocità di alpha
D@alpha@tD, tD
8a1 @tD, a2 @tD<
Applichiamo la formula (2)
D@alpha@ttD, 8tt, 2<D.J@D@alpha@ttD, ttDD ê

kappa2@alpha_D@t_D :=
D@alpha@ttD, ttDD ^ H3 ê 2L ê. tt −> t

Simplify@D@alpha@ttD, ttD.
La funzione che a una curva associa la funzione curvatura si usa nel seguente modo
kappa2@alphaD@tD
−a2 @tD a1 @tD + a1 @tD a2 @tD

Ha1 @tD2 + a2 @tD2 L
3ê2
Che corrisponde alla formula (1)

Curve celebri nel piano
Lemniscata di Bernoulli
otto@t_D := 8Sin@tD, Sin@tD Cos@tD<
ParametricPlot@otto@tD, 8t, 0, 2 Pi<, AspectRatio → AutomaticD
0.4
0.2
-1 -0.5 0.5 1
-0.2
-0.4
Graphics
Calcoliamo ora la curvatura
è!!!
kappa2@ottoD@tD
2 H−4 Cos@tD2 Sin@tD − Sin@tD H−Cos@tD2 + Sin@tD2 LL

H2 + Cos@2 tD + Cos@4 tDL3ê2
2
Rappresentiamola graficamente
Plot@kappa2@ottoD@tD, 8t, 0, 2 Pi<D
1 2 3 4 5 6
-2
-4
Graphics
Ellisse
kappa2@ellisse@a, bDD@tD
Hb2 Cos@tD2 + a2 Sin@tD2 L

a b Cos@tD2 + a b Sin@tD2
3ê2
ParametricPlot@ellisse@5, 2D@tD, 8t, 0, 2 Pi<, AspectRatio → AutomaticD

2
-4 -2 2 4
-1
-2
Graphics
Plot@kappa2@ellisse@5, 2DD@tD, 8t, 0, 2 Pi<D
1.2
0.8
0.6
0.4
0.2
1 2 3 4 5 6
Graphics
Cardioide
cardioide@a_D@t_D := 82 a Cos@tD H1 + Cos@tDL, 2 a Sin@tD H1 + Cos@tDL<
ParametricPlot@cardioide@2D@tD êê Evaluate, 8t, 0, 2 Pi<, AspectRatio → AutomaticD
2 4 6 8
-2
-4
Graphics
kappa2@cardioide@2DD@tD êê Simplify
è!!! è!!!!!!!!!!!!!!!!!!!!!!!!
3
8 2 1 + Cos@tD
Plot@kappa2@cardioide@2DD@tD êê Evaluate, 8t, 0, 2 Pi<D
12
10
1 2 3 4 5 6
Graphics
Curva di Lissajous
lissajous@n_, d_, a_, b_D@t_D := 8a Sin@n t + dD, b Sin@tD<
ParametricPlot@lissajous@Pi ê 4, 0, 9, 8D@tD êê Evaluate,

8t, 0, 28 Pi<, AspectRatio → AutomaticD;
7.5
2.5
-7.5 -5 -2.5 2.5 5 7.5
-2.5
-5
-7.5
kappa2@lissajous@3 ê 4, 0, 9, 8DD@tD êê Simplify
432 H7 Sin@ t
D + Sin@ 74t DL
I729 Cos@ 34t D + 1024 Cos@tD2 M
− 4
3ê2
2
Plot@kappa2@lissajous@Pi ê 4, 0, 9, 8DD@tD êê Evaluate, 8t, 0, 10 Pi<D;
0.6
0.4
0.2
5 10 15 20 25 30
-0.2
-0.4
-0.6
Curve in 3
Sia α : Ha, bL → 3 curva a velocità unitaria, cioè t.c. ˛ α ' HtL ˛ = 1
DEF
la funzione k : Ha, bL → ℜ, definita da K@αD@sD = ˛ α " HsL ˛

si dice funzione curvatura
OSS
Se α è una curva di 2 a velocità unitaria, allora k@αD ≡ k2@αD
Sia α : Ha, bL → 3 curva a velocità unitaria,

DEF
se k@αD@sD > 0 ∀ s ∈ Ha, bL

il campo di vettori T = α ' è detto campo unitario tangente
1
il campo di vettori N = ⋅ T ' è detto campo normale
il campo B = T Ô N è detto campo binormale
k
la terna 8B, N, T< è una base per lo spazio vettoriale

3 ed è chiamata riferimento mobile, o riferimento di Frenet.
TEOREMI
˛ T ˛ = ˛ N ˛ = ˛ B ˛ = 1,
Per una curva α a velocità unitaria e k > 0 si ha
Ogni campo di vettori F lungo α si esprime F = HF ⋅ TL T + HF ⋅ NL N + HF ⋅ BL B

T⋅N = N⋅B = B⋅T = 0
Valgono le seguenti formule di Frenet

T ' = kN
N ' = −kT + τB
B ' = −τN
La funzione τ è chiamata torsione della curva α
Curvatura e torsione con Mathematica

kappa@alpha_D@t_D :=
D@alpha@ttD, 8tt, 2<DD.

Simplify@Factor@Cross@D@alpha@ttD, ttD,
Cross@D@alpha@ttD, ttD, D@alpha@ttD, 8tt, 2<DDDD ^ H1 ê 2L ê
D@alpha@ttD, ttDDD ^ H3 ê 2L ê. tt −> t

Simplify@Factor@D@alpha@ttD, ttD.
8D@alpha@ttD, ttD, D@alpha@ttD, 8tt, 2<D,

tau@alpha_D@t_D := Simplify@Det@
D@alpha@ttD, 8tt, 3<D<DD ê
D@alpha@ttD, 8tt, 2<DD.Cross@D@alpha@ttD, ttD,

Simplify@Factor@Cross@D@alpha@ttD, ttD,
D@alpha@ttD, 8tt, 2<DDDD ê. tt −> t
Elica circolare
elica@a_, b_D@t_D := 8a Cos@tD, a Sin@tD, b t<
elica@1, 0.1D@tDD, 8t, 0, 10 Pi<, PlotPoints → 200,

ParametricPlot3D@Evaluate@
PlotRange −> 88−1, 1<, 8−1, 1<, 80, Pi<<D

-1
1
-0.5
0.5 0
0.5
0 1
-0.5
-1
1
3
Graphics3D
kappa@elica@a, bDD@tD êê PowerExpand

a
a2 + b2
tau@elica@a, bDD@tD
b
a2 + b2
La curvatura e la torsione sono costanti

Plot@Evaluate@kappa@elica@1, 0.1DD@tDD, 8t, 0, 4 Pi<,

Ticks −> 8Automatic, Range@0, 0.35, 0.1D<D
0.3
0.2
0.1
2 4 6 8 10 12
Graphics
Plot@Evaluate@tau@elica@1, 0.1DD@tDD, 8t, 0, 4 Pi<,

0.2
0.1
2 4 6 8 10 12
Graphics
Asteroide 3D
ast3d@n_, a_, b_D@t_D := 8a Cos@tD ^ n, b Sin@tD ^ n, Cos@2 tD<
Thickness@0.01DD êê Evaluate, 8t, 0, 2 Pi<,

ParametricPlot3D@Append@ast3d@3, 1, 1D@tD,
ViewPoint −> 81.510, −2.926, 0.779<D;
0 0.5 1
-1 -0.5
1
0.5
-0.5
-1
-1
-0.5
0
0.5
1
kappa@ast3d@3, 1, 1DD@tD êê PowerExpand
3
Csc@tD Sec@tD
25
tau@ast3d@3, 1, 1DD@tD
1
Csc@tD4 Sec@tD4 Sin@2 tD3
50
Plot@Evaluate@kappa@ast3d@3, 1, 1DD@tDD, 8t, 0, 2 Pi<,

0.3
0.2
0.1
1 2 3 4 5 6
Graphics
Plot@Evaluate@tau@ast3d@3, 1, 1DD@tDD, 8t, 0, 2 Pi<,

0.3
0.2
0.1
1 2 3 4 5 6
Graphics
ü Spirale Sferica
a 8Cos@m tD Cos@n tD, Sin@m tD Cos@n tD, Sin@n tD<

spiralesferica@a_D@m_, n_D@t_D :=
ParametricPlot3D@spiralesferica@1D@24, 1D@tD êê Evaluate,

8t, −Pi ê 2, Pi ê 2<, PlotPoints −> 400D
1
0.5
0
-0.5
-1
1
0.5
-0.5
-1
-1
-0.5
0
0.5
1
Graphics3D
kappa@spiralesferica@1D@24, 1DD@tD êê PowerExpand

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!!!!!!!!!!!!!!!!!
H289 + 288 Cos@2 tDL
72204769 + 96048864 Cos@2 tD + 23846400 Cos@4 tD
3ê2
tau@spiralesferica@1D@24, 1DD@tD
48 H125353 Cos@tD + 41400 Cos@3 tDL

72204769 + 96048864 Cos@2 tD + 23846400 Cos@4 tD
Plot@Evaluate@kappa@spiralesferica@1D@24, 1DD@tDD, 8t, −Pi ê 2, Pi ê 2<D
40
30
20
10
-1.5 -1 -0.5 0.5 1 1.5
Graphics
Plot@Evaluate@tau@spiralesferica@1D@24, 1DD@tDD, 8t, −Pi ê 2, Pi ê 2<D
0.5
0.4
0.3
0.2
0.1
-1.5 -1 -0.5 0.5 1 1.5
Graphics
SUPERFICI nello spazio

DEF
DEF
Una sfera di √n , con centro p e raggio ¶>0 è l'insieme S(p,e) = {qe√n /††q-p§§<e}
UÕ√n è un aperto di √n se "peU$e>0 tale che S(p,e)ÕU
DEF
f : U Ø √n è un' applicazione differenziabile se sono differenziabili di classe C¶ tutte le componenti fi di f ,
cioè tutte le funzioni fi : U Ø √ hanno tutte le derivate parziali di qualsiasi ordine.
DEF
f:UØV, UÕn , VÕm , è un diffeomorfismo se f è differenziabili, ivertibile e l'inversa è differenziabile.
DEF
Una superficie parametrizzata di n è un'applicazione differenziabile j:UØn , con U aperto di n .
DEF
ij ÅÅÅÅ ÅÅÅÅÅ H p0 L ... ÅÅÅÅÅÅÅÅÅ H p0 L yzz

La matrice jacobiana di una parametrizzazione locale f:UØn è la matrice
jjj ∑u1 zz
J p0 (f) =jjjj zzz
∑ f1 ∑ f1
zz
∑un
jj zzz
jj ∑ fn
H L H L
...
k ∑u1 0 0 {
∑ fn
ÅÅÅÅ
Å ÅÅÅÅ p ... ÅÅÅÅ
Å
∑un
ÅÅÅÅ p
matricejacob@x_D@u_, v_D := 8D@x@uu, vvD, uuD, D@x@uu, vvD, vvD< ê. 8uu −> u, vv −> v<
DEF
Una superficie parametrizzata j:UØn è regolare in qeU se J p (j) ha rango 2.
superficejacob@x_D@u_, v_D := Det@

matricejacob@xD@u, vD.
Transpose@matricejacob@xD@u, vDDD
DEF
u Ø jHu, v0 L
j:UÕ2 Øn superficie parametrizzata, p0 =(u0 ,v0 )eU,
le curve si dicono linee coordinate passanti per p0 .
v Ø jHu0 , vL
Esempi di superfici nello spazio

SFERA
a 8Cos@vD Cos@uD, Cos@vD Sin@uD, Sin@vD<

sfera@a_D@u_, v_D :=
sfera@1D@u, vD êê Evaluate,
ParametricPlot3D@
8u, 0, 2 Pi<,
8v, −Pi ê 2, Pi ê 2<,
PlotPoints −> 850, 50<D;
1
0.5
0
-0.5
-1
1
0.5
-0.5
-1
-1
-0.5
0
0.5
1
superficejacob@sfera@aDD@u, vD êê Simplify
a4 Cos@vD2
Per v=± ÅÅÅÅp2 la parametrizzazione usata non è regolare.
CILINDRO
cilindro@a_D@u_, v_D := a 8Cos@uD, Sin@uD, v<
8u, 0, 2 Pi<, 8v, −1, 1<D

ParametricPlot3D@cilindro@1D@u, vD,
1
0.5
0
-0.5
-1
1
0.5
-0.5
-1
-1
-0.5
0
0.5
1
Graphics3D
PARABOLOIDE IPERBOLICO
paraboloideiperbolic@u_, v_D := 8u, v, u v<

8u, −1, 1<, 8v, −1, 1<,

paraboloideiperbolic@u, vDD,
ViewPoint −> 81, 3, 1<,

PlotPoints −> 820, 20<,
Axes −> None, Boxed −> FalseD;
SELLA DI SCIMMIA
selladiscimmia@u_, v_D := 8u, v, u ^ 3 − 3 u v ^ 2<
selladiscimmia@u, vDD, 8u, −1, 1<, 8v, −1.5, 1.5<,

ViewPoint −> 81, 3, 3<, PlotPoints −> 820, 20<,

Axes −> None, Boxed −> False, AspectRatio −> 1.1D;
ELLISSOIDE
8a Cos@vD Cos@uD, b Cos@vD Sin@uD, c Sin@vD<

ellissoide@a_, b_, c_D@u_, v_D :=
ParametricPlot3D@ellissoide@1, 1.5, 2D@u, vD êê Evaluate,

8u, 0, 9 Pi ê 5<, 8v, −Pi ê 2, Pi ê 2<,
-1
-0.5
1 0
0.5
1
0
-1
-1
-2
TORO
8Ha + b Cos@vDL Cos@uD, Ha + b Cos@vDL Sin@uD, c Sin@vD<

toro@a_, b_, c_D@u_, v_D :=
8u, 0, 2 Pi<, 8v, 0, 2 Pi<,

toro@6, 2, 3D@u, vDD,

PARABOLOIDE
paraboloide@a_D@u_, v_D := 8u, v, a Hu ^ 2 + v ^ 2L<

8r, 0, 2<, 8theta, 0, 2 Pi<,

paraboloide@0.8D@r Cos@thetaD, r Sin@thetaDDD,

Orientabilità delle superfici
DEF
Una superficie regolare M è orientabile se esiste su M un campo di vettori continuo, normale e unitario N.
TP0 HML è lo spazio tangente a M in P0

8ϕ0u , ϕ0v < vettori di TP0 HML
P0 = ϕ Hu0 , v0 L
ϕ0u Ô ϕ0v
N HP0 L =
˛ ϕ0u Ô ϕ0v ˛
Superfici non orientabili
NASTRO DI MOEBIUS
mastromoebius@a_D@u_, v_D := a 8Cos@uD + v Cos@u ê 2D Cos@uD,

Sin@uD + v Cos@u ê 2D Sin@uD,
v Sin@u ê 2D<
êê Evaluate, 8u, 0, 2 Pi<, 8v, −0.5, 0.5<,

ParametricPlot3D@mastromoebius@1D@u, vD

BOTTIGLIA DI KLEIN
bottigliaklein@e_, f_D@u_, v_D := If@u < 0,

8f ∗ Sin@uD ê 2, H−e − f ê 2 + f ∗ Cos@uD ê 2L ∗ Cos@vD,
He + f ê 2 − f ∗ Cos@uD ê 2L ∗ Sin@vD<,
810 ∗ Sin@0.105 ∗ uD + 2 ∗ He + 0.033 ∗ f ∗ uL ∗
HCos@0.105 ∗ uD + 4 ∗ Cos@0.21 ∗ uDL ∗ Cos@vD ∗
HSin@0.105 ∗ uD + 2 ∗ Sin@0.21 ∗ uDL ê
Sqrt@100 ∗ Cos@0.105 ∗ uD ^ 2 + 4 ∗ HCos@0.105 ∗ uD +
4 ∗ Cos@0.21 ∗ uDL ^ 2 ∗ HSin@0.105 ∗ uD + 2 ∗ Sin@0.21 ∗ uDL ^ 2D,
HSin@0.105 ∗ uD + 2 ∗ Sin@0.21 ∗ uDL ^ 2 −
H10 ∗ He + 0.033 ∗ f ∗ uL ∗ Cos@0.105 ∗ uD ∗ Cos@vDL ê
Sqrt@100 ∗ Cos@0.105 ∗ uD ^ 2 + 4 ∗ HCos@0.105 ∗ uD +
4 ∗ Cos@0.21 ∗ uDL ^ 2 ∗ HSin@0.105 ∗ uD + 2 ∗ Sin@0.21 ∗ uDL ^ 2D,
He + 0.033 ∗ f ∗ uL ∗ Sin@vD<D
8u, −Pi, 30<,

ParametricPlot3D@Evaluate@bottigliaklein@1, 2D@u, vDD,
8v, −Pi, Pi<,

ViewPoint −> 8−1, 0, −1<,
Curvatura delle superfici

La curvatura di una curva a in un punto P misura di quanto la curva si allontana dalla retta tangente a a in P. Per
analogia la curvatura di una superficvie misura di quanto una superficie si allontana dal piano tangente.
Tuttavia mentre una curva può allontanarsi dalla reta tangente in due direzioni, una superficie si può allontanare dal
piano tangente in una infinità di direzioni. Perciò la misura di quanto una superficie si allontana dal piano tangente
dipende dalla direzione che si sceglie.
Un buon modo per misurare come si incurva una superficie consiste nel misurare come varia il campo normale unitario
N dela superficie punto per punto.
Uno strumento che indica come si incurva una superficie regolare in √3 è l'operatore di forma così definito:
DEF
Sia MÕ3 una superficie regolare, U campo normale unitario su M definito in un intorno di un punto pœM. Per ogni
S p (v p ) = -Dv p U. L'operatore S p : T p HM LöT p HM L si chiama operatore forma.

vettore v p tangente a M in p, definiamo
Su una superficie si definiscono le seguenti curvature:

- curvatura normale k;
- curvature principali k1 e k2 ;
- curvatura media H;
- curvatura di Gauss K.
TEOREMA
Si dimostra che
K=k1 ·k2
H= ÅÅÅÅ12 (k1 +k2 )
La curvatura normale in un punto PœM nella direzione di un vettore tangente v p con ˛v p ˛=1, si definisce come
DEF
DEF
K(v p ) = S p (v p )·v p .
Se ˛v p ˛∫1 si definisce K(v p ) = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
DEF S Hv Lÿv
˛v p ˛2
p p
ÅÅÅÅpÅÅ .
DEF
I valori massimo e minimo della curvatura normale k di M in p si chiamano curvature principali di M in p e si indicano
con k1 e k2 .
DEF
Sia j:Uön una superficie parametrizzata. Si definiscono
E=juÿ ju
F=juÿ jv
G=jvÿ jv
ds2 =Edu2 +2Fdudv+Gdv2 è detta prima forma fondamentale di j ed è una metrica sulla superficie
e = U·juu = -Uu ·ju
f = U·juv = -Uu ·jv = U·jvu = -Uv ·ju
g = U·jvv = -Uv ·jv
e, f, g sono detti coefficienti della seconda forma fondamentale.
TEOREMA (Equazioni di Weingarten)
-S p Hju L = Uu = ÅÅÅÅÅÅÅÅ
Sia j:DØ3 una superficie parametrizzata regolare. L'operatore forma S nella base {ju ,jv } e dato da:
9
fF-eG eF-fE
ÅÅÅÅÅÅÅÅÅ j + ÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅ j
-S p Hjv L = Uv = ÅÅÅÅÅÅÅÅ
EG-F 2 u EG-F 2 v
ij - ÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅ y eg- f 2

gF-fG fF-gE
ÅÅÅÅÅÅÅÅÅ j + ÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅ j
j EG-F 2 z zz= ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
EG-F 2 u EG-F 2 v
K(curvatura di Gauss)=detjj gF-fG j

fF-gE z z EG-F 2
fF-eG eF-fE
Å ÅÅÅ
ÅÅÅÅÅ - ÅÅÅÅÅÅÅÅ
k EG-F 2 EG-F 2 {
EG-F 2
- ÅÅÅÅÅÅÅÅ
Å ÅÅÅ
Å ÅÅÅ
Å - ÅÅÅÅÅÅÅÅ
Å ÅÅÅ
Å ÅÅÅ
Å
LEMMA
Le curvature principali k1 e k2 sono le radici dell'equazione di secondo grado
k 2 -2Hk+K=0
ü CURVATURA DELLE SUPERFICI CON MATHEMATICA
Curvatura di Gauss
gcurvature[x][u,v] è la curvatura di Gauss della superficie parametrizzata x:U-> R3 .
detHxuu xu xv L detHxvv xu xv L-@detHxuv xu xv LD2

La formula utlizzata per calcolare k è la seguente
@»xu » »xv » -Hxuÿ xv L D
k= ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
2 2
ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
2 2
gcurvature@x_D@u_, v_D :=
Simplify@HDet@8D@x@uu, vvD, uu, uuD, D@x@uu, vvD, uuD, D@x@uu, vvD, vvD<D ∗
Det@8D@x@uu, vvD, vv, vvD, D@x@uu, vvD, uuD, D@x@uu, vvD, vvD<D −
Det@8D@x@uu, vvD, uu, vvD, D@x@uu, vvD, uuD, D@x@uu, vvD, vvD<D ^ 2L ê
HD@x@uu, vvD, uuD.D@x@uu, vvD, uuD ∗ D@x@uu, vvD, vvD.D@x@uu, vvD, vvD −
HD@x@uu, vvD, uuD.D@x@uu, vvD, vvDL ^ 2L ^ 2D ê. 8uu → u, vv → v<
mcurvature[x][u,v] è la curvatura media della superficie parametrizzata

x:U-> R3 .
mcurvature@x_D@u_, v_D :=
Simplify@HDet@8D@x@uu, vvD, uu, uuD, D@x@uu, vvD, uuD, D@x@uu, vvD, vvD<D ∗
D@x@uu, vvD, vvD.D@x@uu, vvD, vvD − 2 Det@8D@x@uu, vvD, uu, vvD,
D@x@uu, vvD, uuD, D@x@uu, vvD, vvD<D ∗ D@x@uu, vvD, uuD.D@x@uu, vvD, vvD +
Det@8D@x@uu, vvD, vv, vvD, D@x@uu, vvD, uuD, D@x@uu, vvD, vvD<D ∗
D@x@uu, vvD, uuD.D@x@uu, vvD, uuDL ê
H2 HD@x@uu, vvD, uuD.D@x@uu, vvD, uuD ∗ D@x@uu, vvD, vvD.D@x@uu, vvD, vvD −
HD@x@uu, vvD, uuD.D@x@uu, vvD, vvDL ^ 2L ^ H3 ê 2LLD ê. 8uu → u, vv → v<
SFERA
a 8Cos@vD Cos@uD, Cos@vD Sin@uD, Sin@vD<

sfera@a_D@u_, v_D :=
sfera@1D@u, vD êê Evaluate,
ParametricPlot3D@
8u, 0, 2 Pi<, 8v, −Pi ê 2, Pi ê 2<,

1
0.5
0
-0.5
-1
1
0.5
-0.5
-1
-1
-0.5
0
0.5
1
Plot3D@gcurvature@sfera@1DD@u, vD êê Evaluate,
8u, 0, 2 Pi<, 8v, −Pi ê 2, Pi ê 2<,
PlotPoints → 40D;
2
1.5
1
1
0.5
0
0 0
4 -1
Plot3D@mcurvature@sfera@1DD@u, vD êê Evaluate,
8u, 0, 2 Pi<, 8v, −Pi ê 2, Pi ê 2<,
PlotPoints → 20D;
-1
-1
-1
1
-1
-1
0 0
4 -1
gcurvatura@sfera@1DD@u, vD
gcurvatura@sfera@1DD@u, vD
CILINDRO
cilindro@a_D@u_, v_D := a 8Cos@uD, Sin@uD, v<

8u, 0, 2 Pi<, 8v, −1, 1<D;

ParametricPlot3D@cilindro@1D@u, vD,
1
0.5
0
-0.5
-1
1
0.5
-0.5
-1
-1
-0.5
0
0.5
1
Plot3D@gcurvature@cilindro@1DD@u, vD êê Evaluate,
8u, 0, 2 Pi<, 8v, −1, 1<,
PlotPoints → 20D;
1
0.5 1
0
-0.5 0.5
-1
0 0
2
-0.5
4
6 -1
Plot3D@mcurvature@cilindro@1DD@u, vD êê Evaluate,
8u, 0, 2 Pi<, 8v, −1, 1<,
PlotPoints → 20D;
0
-0.25 1
-0.5
-0.75 0.5
-1
0 0
2
-0.5
4
6 -1
PARABOLOIDE IPERBOLICO
paraboloideiperbolic@u_, v_D := 8u, v, u v<
8u, −1, 1<, 8v, −1, 1<,

paraboloideiperbolic@u, vDD,
ViewPoint −> 81, 3, 1<,

Plot3D@gcurvature@paraboloideiperbolicD@u, vD êê Evaluate,
8u, −1, 1<, 8v, −1, 1<,
PlotPoints → 30D;
0
-0.25 1
-0.5
-0.75 0.5
-1
-1 0
-0.5
0 -0.5
0.5
1 -1
Plot3D@mcurvature@paraboloideiperbolicD@u, vD êê Evaluate,
8u, −1, 1<, 8v, −1, 1<,
PlotPoints → 30D;
0.2
0.1
1
0
-0.1 0.5
-0.2
-1 0
-0.5
0 -0.5
0.5
1 -1
SELLA DI SCIMMIA
selladiscimmia@u_, v_D := 8u, v, u ^ 3 − 3 u v ^ 2<

selladiscimmia@u, vDD, 8u, −1, 1<, 8v, −1.5, 1.5<,

ViewPoint −> 81, 3, 3<, PlotPoints −> 820, 20<,

Axes −> None, Boxed −> False, AspectRatio −> 1.1D;
Plot3D@gcurvature@selladiscimmiaD@u, vD êê Evaluate,
8u, −1, 1<, 8v, −1, 1<,
PlotPoints → 40D;
0
-1 1
-2
-3 0.5
-1 0
-0.5
0 -0.5
0.5
1 -1
Plot3D@mcurvature@selladiscimmiaD@u, vD êê Evaluate,
8u, −1, 1<, 8v, −1, 1<,
PlotPoints → 40D;
0.5
1
0
-0.5 0.5
-1 0
-0.5
0 -0.5
0.5
1 -1
ELLISSOIDE
8a Cos@vD Cos@uD, b Cos@vD Sin@uD, c Sin@vD<

ellissoide@a_, b_, c_D@u_, v_D :=
ParametricPlot3D@ellissoide@1, 1.5, 2D@u, vD êê Evaluate,

8u, 0, Pi<, 8v, −Pi ê 2, Pi ê 2<,
-1
1.5
-0.5
1 0
0.5
0.5 1
0
2
-1
-2
Plot3D@gcurvature@ellissoide@1, 1.5, 2DD@u, vD êê Evaluate,

8u, 0, Pi<, 8v, −Pi ê 2, Pi ê 2<,
PlotPoints → 50D;
1.5
1
1
0.5
0
0 0
2 -1
Plot3D@mcurvature@ellissoide@1, 1.5, 2DD@u, vD êê Evaluate,

8u, 0, Pi<, 8v, −Pi ê 2, Pi ê 2<,
PlotPoints → 50D;
-0.5
-0.75
-1 1
-1.25
0 0
1
2 -1
TORO
8Ha + b Cos@vDL Cos@uD, Ha + b Cos@vDL Sin@uD, c Sin@vD<

toro@a_, b_, c_D@u_, v_D :=
8u, 0, 2 Pi<, 8v, 0, 2 Pi<,

toro@6, 2, 3D@u, vDD,

Plot3D@gcurvature@toro@6, 2, 3DD@u, vD êê Evaluate,

8u, 0, 2 Pi<, 8v, 0, 2 Pi<,
PlotPoints → 50D;
0.025
0 6
-0.025
-0.05
4
0
2 2
4
6 0
Plot3D@mcurvature@toro@6, 2, 3DD@u, vD êê Evaluate,

8u, 0, 2 Pi<, 8v, 0, 2 Pi<,
PlotPoints → 50D;
0
-0.1
6
-0.2
-0.3
4
0
2 2
6 0
PARABOLOIDE
paraboloide@a_D@u_, v_D := 8u, v, a Hu ^ 2 + v ^ 2L<
8u, −2, 2<, 8v, −2, 2<,

paraboloide@0.8D@u, vDD,

Plot3D@gcurvature@paraboloide@0.8DD@u, vD êê Evaluate,
8u, 0, 2 Pi<, 8v, 0, 2 Pi<,
PlotPoints → 50D;
0.01
0.0075 6
0.005
0.0025
0 4
0
2 2
4
6 0
Plot3D@mcurvature@paraboloide@0.8DD@u, vD êê Evaluate,
8u, 0, 2 Pi<, 8v, 0, 2 Pi<,
PlotPoints → 50D;
0.3
0.2 6
0.1
4
0
2 2
6 0

Bernardo-Geometria Differenziale

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Bernardo-Geometria Differenziale

Caricato da

Copyright:

Formati disponibili

Bernardo geometria differenziale.

Geometria differenziale delle curve

Prodotto di un vettore per uno scalare

λ ⋅ x = Hλx1 , λx2 , ..., λ xn L

Prodotto scalare tra due vettori

⋅ è bilineare simmetrica definita positiva

B = 8u1 , u2 , u3 , ..., un <

α è una curva HparametrizzataL se è differenziabile a tratti in Ha, bL

Vettore velocità diα in un punto P0 = α Ht0 L è

α ' Ht0 L = Hα1 ' Ht0 L, ..., αn ' Ht0 LL

La funzione v HtL = ˛ α ' HtL ˛ si chiama velocità di α

α si dice regolare se è differenziabile e se ∀ t si ha v HtL ≠ 0

α si dice a velocità unitaria se ˛ α ' HtL ˛ = 1 , ∀ t ∈ Ha, bL

α : Ha, bL → n , β : Hc, dL → n curve differenziabili,

Esempio di grafico di una curva

ellisse@a_, b_D@t_D := 8a Cos@tD, b Sin@tD<

ParametricPlot@ellisse@4, 2D@tD, 8t, 0, 2 Pi<, AspectRatio → AutomaticD

Lunghezza di una curva

α definita e differenziabile in @a, bD

Length@a, bD@αD = ‡ ˛ α ' HtL ˛ dt.

Lunghezza di una curva con Mathematica

Per calcolare la lunghezza di un arco di curva costruiamo prima la funzione ˛a'(t)˛

moduloVelocita@alpha_D@t_D := Sqrt@Simplify@D@alpha@xD, xD.D@alpha@xD, xDDD ê. x → t

Calcoliamo ora l'integrale indefinito

Calcoliamo ora l'integrale definito

lung@a_, b_D@alpha_D := Integrate@moduloVelocita@alphaD@uD, 8u, a, b<D

lunghezza@a_, b_D@alpha_D := NIntegrate@moduloVelocita@alphaD@uD, 8u, a, b<D

Calcolo della lunghezza dell'ellisse

lung@a, bD@ellisse@4, 2DD êê Simplify

0 »» ArcCosA E ImA E + 2 ReA E 0 »»

ArcCosA E ImA E 1 + ReA E »» ImA z

0 »» ArcCosA E ImA E ReA E »»

ArcCosA E ImA E 1 + ReA E »» ImA z

E ImA E + ReA E < 0 && ReA E≠

Con il calcolo numerico

lunghezza@0, PiD@ellisse@0, PiDD

Calcolo della lunghezza della circonferenza

Con il calcolo simbolico

Con il calcolo numerico

lunghezza@0, PiD@ellisse@1, 1DD

Curvatura di una curva piana

x' HtL y "HtL-x "HtL y' HtL

Hx' HtL+y' HtLL

La si può definire anche in questo modo

a "HtL •Ja' HtL

alpha@t_D := 8a1@tD, a2@tD<

Definiamo la struttura complessa J di 2

J@8p1_, p2_<D := 8−p2, p1<

Definiamo il vettore velocità di alpha

8a1 @tD, a2 @tD<

Applichiamo la formula (2)

D@alpha@ttD, 8tt, 2<D.J@D@alpha@ttD, ttDD ê

D@alpha@ttD, ttDD ^ H3 ê 2L ê. tt −> t

−a2 @tD a1 @tD + a1 @tD a2 @tD

Che corrisponde alla formula (1)

Curve celebri nel piano

ParametricPlot@otto@tD, 8t, 0, 2 Pi<, AspectRatio → AutomaticD

Calcoliamo ora la curvatura

2 H−4 Cos@tD2 Sin@tD − Sin@tD H−Cos@tD2 + Sin@tD2 LL

Plot@kappa2@ottoD@tD, 8t, 0, 2 Pi<D

Hb2 Cos@tD2 + a2 Sin@tD2 L

ParametricPlot@ellisse@5, 2D@tD, 8t, 0, 2 Pi<, AspectRatio → AutomaticD

Plot@kappa2@ellisse@5, 2DD@tD, 8t, 0, 2 Pi<D