Analisi Matematica B - Riccarda Rossi,...
Transcript of Analisi Matematica B - Riccarda Rossi,...
Integrali curvilinei
Universita di Brescia
Analisi Matematica B
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 1 / 57
Verso di percorrenza
In generale vale la seguente regola: se γ : [a, b]→ Rn e una curva er : [c , d ]→ Rn e una sua riparametrizzazione con ϕ : [c , d ]→ [a, b], cioe
r(s) = γ(ϕ(s)), s ∈ [c , d ], allora
1 γ e r hanno lo stesso verso di percorrenza se ϕ : [c , d ]→ [a, b] ecrescente, cioe r e una riparametrizzazione concorde di γ.
2 γ e r hanno i versi di percorrenza opposti se ϕ : [c, d ]→ [a, b] edecrescente, cioe r e una riparametrizzazione discorde di γ.
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 2 / 57
Esempio
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 3 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 4 / 57
Esempio
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 5 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 6 / 57
Integrali curvilinei per campi scalari
Definizione (Integrale curvilineo di un campo scalare)
Sia Ω ⊆ Rn un aperto e sia f : Ω→ R un campo scalare continuo. Siainoltre γ : [a, b]→ Rn una curva regolare a tratti tale che γ([a, b]) ⊂ Ω.Chiamiamo integrale curvilineo di f lungo γ la quantita∫
γf :=
∫ b
af (γ(t)) ‖γ′(t)‖ dt.
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 7 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 8 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 9 / 57
Osservazioni
Per f ≡ 1 si ha ∫γf = L(γ).
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 10 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 11 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 12 / 57
Interpretazione geometrica
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 13 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 14 / 57
Applicazioni
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 15 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 16 / 57
Esempio
Sia f : R2 → R il campo scalare definito da
f (x , y) = 2x2 + xy + y2,
e sia γ : [0, 1]→ R2
γ(t) = (t, 2t) t ∈ [0, 1].
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 17 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 18 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 19 / 57
Esempio
Sia f : R2 → R il campo scalare definito da
f (x , y) =y2
x2 + y2
e sia γ : [0, π]→ R2
γ(t) = (cos t, sin t) t ∈ [0, π].
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 20 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 21 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 22 / 57
Dalla definizione dell’integrale curvilineo per campi scalari e dalle proprietadell’integrale di Riemann segue
Teorema (Proprieta di integrali curvilinei per campi scalari)
Sia Ω ⊆ Rn un aperto e siano f , g : Ω→ R due funzioni continue. Siainoltre γ : [a, b]→ Rn una curva regolare a tratti tale che γ([a, b]) ⊂ Ω.Valgono le seguenti proprieta:
1 Linearita : per ogni α, β ∈ R∫γ
(α f + β g) = α
∫γf + β
∫γg .
2 Additivita : se γ = γ1 ∪ γ2, allora∫γf =
∫γ1
f +
∫γ2
f
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 23 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 24 / 57
Teorema (Invarianza per riparametrizzazione)
Sia Ω ⊆ Rn un aperto e sia f : Ω→ R un campo scalare continuo. Sianoinoltre γ : [a, b]→ Rn una curva di classe C 1([a, b]) a valori in Ω er : [c , d ]→ Rn una riparametrizzazione di γ. Allora vale∫
γf =
∫rf
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 25 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 26 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 27 / 57
Dimostrazione
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 28 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 29 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 30 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 31 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 32 / 57
Integrali curvilinei per campi vettoriali
Definizione (Integrale curvilineo di un campo vettoriale)
Sia Ω ⊆ Rn un aperto e sia F : Ω→ Rn un campo vettoriale continuo. Siainoltre γ : [a, b]→ Rn una curva regolare a tratti tale che γ([a, b]) ⊂ Ω.Chiamiamo integrale curvilineo di F lungo γ la quantita∫
γF :=
∫ b
aF (γ(t)) · γ′(t) dt.
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 33 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 34 / 57
Scrivendo F (x) = (F1(x), . . . ,Fn(x)) e γ(t) = (γ1(t), . . . , γn(t)) si ha∫γF =
∫ b
a
n∑j=1
Fj(γ(t)) γ′j(t) dt
Se γ e una curva chiusa, allora scriviamo∮γF
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 35 / 57
Esempio
Sia F : R2 → R2 il campo vettoriale definito da
F (x , y) = (xy ,−y)
e sia γ : [0, 1]→ R2 la curva data da
γ(t) = (t, t2) t ∈ [0, 1].
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 36 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 37 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 38 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 39 / 57
Nel modo del tutto analogo al caso di campi scalari si ottiene
Teorema (Proprieta di integrali curvilinei per campi vettoriali)
Sia Ω ⊆ Rn un aperto e siano F ,G : Ω→ Rn due campi vettorialicontinui. Sia inoltre γ : [a, b]→ Rn una curva regolare a tratti tale cheγ([a, b]) ⊂ Ω. Valgono le seguenti affermazioni:
1 Linearita : per ogni α, β ∈ R∫γ
(αF + β G ) = α
∫γF + β
∫γG .
2 Additivita : se γ = γ1 ∪ γ2, allora∫γF =
∫γ1
F +
∫γ2
F
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 40 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 41 / 57
Teorema (Riparametrizzazione per integrali di campi vettoriali)
Sia Ω ⊆ Rn un aperto e sia F : Ω→ Rn un campo vettoriale continuo.Siano inoltre γ : [a, b]→ Rn una curva di classe C 1([a, b]) a valori in Ω.Sia r : [c , d ]→ Rn una riparametrizzazione di γ; cioe
r(s) = γ(ϕ(s)) s ∈ [c , d ]
dove ϕ : [c , d ]→ [a, b] e una funzione biettiva derivabile .
1 Se r e concorde di γ (ϕ e crescente), allora∫γF =
∫rF .
2 Se r e discorde di γ (ϕ e decrescente), allora∫γF = −
∫rF .
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 42 / 57
Dimostrazione:
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 43 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 44 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 45 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 46 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 47 / 57
Esempi:
∫γF con
F (x , y) = y2~i1 + x~i2,
~r1(t) = t~i1 + t~i2, t ∈ [0, 1]
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 48 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 49 / 57
∫γF con
F (x , y) = y2~i1 + x~i2,
~r2(t) = t~i1 + t2~i2, t ∈ [0, 1]
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 50 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 51 / 57
∫γF con
F (x , y) = y2~i1 + x~i2,
~r3(t) =√t~i1 + t~i2, t ∈ [0, 1]
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 52 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 53 / 57
∫γF con
F (x , y) = y2~i1 + x~i2,
~r4(t) = (1− t)~i1 + (1− t)~i2, t ∈ [0, 1]
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 54 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 55 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 56 / 57
Hynek Kovarik (Universita di Brescia) Integrali curvilinei Analisi Matematica B 57 / 57