Esplora E-book
Categorie
Esplora Audiolibri
Categorie
Esplora Riviste
Categorie
Esplora Documenti
Categorie
A Giulia
con la speranza che almeno nella matematica
non assomigli al pap ,
Indice
1 Equazioni dierenziali
1.1
Modelli dierenziali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
10
1.2.1
Generalit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
1.2.2
. . . . . . . . . . . . . . . . . . . . . . .
12
1.2.3
15
18
1.3.1
Generalit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18
1.3.2
. . . . . . . . . . . . . . . . . . . . .
20
1.3.3
22
1.3.4
1.3
za
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
25
31
2.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2
2.3
. . . . . . . . . .
33
2.4
Curve regolari . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
2.5
37
2.6
40
2.7
41
2.7.1
41
. . . . . . . . . . . . . . . . . . .
Applicazioni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
32
43
3.1
43
3.2
Limiti e continuit
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
45
3.3
47
INDICE
53
4.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
53
4.2
55
4.3
Piano tangente
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
59
4.4
Dierenziabilit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
60
4.5
Derivate direzionali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
64
4.6
67
4.7
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
69
4.8
70
4.9
71
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
72
75
5.1
Generalit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
75
5.2
76
5.3
. . . . . . . . . . . . . . .
77
5.4
78
5.5
5.6
5.7
5.8
5.9
n=2
. . . . . . . . . . .
79
. . . . . . . . .
81
. . . . . . . . . . . . . . . . . . . . .
82
83
n=2.
5.8.1
Il caso
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.8.2
Il caso generale
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
83
84
. . . . . . . . . . . . . . . .
86
. . . . . . . . . . . . . . . . . . . . . . . . . . .
89
91
variabili
. . . . . . . . . . . . . . . . . . . . .
91
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
99
variabili . . . . . . . . . . . . . . . . . . . . . . . 105
107
6.1
6.2
6.3
6.4
. . . . . . . . . . . . . . . . . . . . . . . 111
6.3.1
6.3.2
. . . . . . . 113
. . . . . . . . . . . . . . . . . . . 115
. . . . . . . . . . . . . . . . . . . . . . . . . . 115
INDICE
6.4.2
6.4.3
R2
R3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
6.5
6.6
n = 2:
n = 2:
6.6.1
Caso
6.6.2
Caso
6.6.3
6.6.4
Il caso generale
6.6.5
. . . . . . . . . . . . 134
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
7.2
145
7.1.2
7.1.3
7.1.4
7.1.5
. . . . . . . . . . 154
7.2.2
7.2.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . 157
. . . . . . . . . . . . . . . . . . . . 157
8 Campi vettoriali
159
8.1
8.2
8.3
. . . . . . . . . . . . . . . . . . . . . . 161
8.3.1
L'operatore rotore
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
8.3.2
8.4
8.5
8.6
8.7
8.8
8.9
. . . . . . . . . . . . . . . . . . . . . 166
. . . . . . . . . . . . . . . . . 167
. . . . . . . . . . . . . . . . . . . . . . . . . . 170
. . . . . . . . . . . . . . . . . . . . . . . . 173
. . . . . . . . . . . . . . . . . . . . 176
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
INDICE
. . . . . . . . . . . . . . 182
. . . . . . . . . . . . . . . . 182
9 Serie di Fourier
191
9.1
9.2
9.3
9.4
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191
9.2.1
Denizione e propriet
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 192
9.2.2
. . . . . . . . . . . 196
. . . . . . . . . . . . . . . . . . . . . . . 198
9.3.1
. . . . . . . . . . . . . . 198
9.3.2
9.3.3
. . . . . . . . . . . . . . . . . . . . . . . 200
CAPITOLO 1
Equazioni dierenziali
1.1. Modelli dierenziali
Dalla sica sappiamo che se denotiamo con
all'istante t, allora la sua derivata prima
e la sua derivata seconda
00
x (t)
x(t)
esprime l'accelerazione.
matematicamente le leggi che governano modelli naturali pu essere naturale dover lavorare
con equazioni che coinvolgono una funzione incognita e qualcuna delle sue derivate.
equazioni prendono il nome di
Queste
equazioni dierenziali.
. Esempio 1.1.1. La seconda legge del moto di Newton F = ma, che stabilisce la posizione
x(t) al tempo t di un corpo di massa m costante, soggetto a una forza F (t), deve soddisfare
l'equazione dierenziale
d2 x
= F (t)
dt2
Quindi le equazioni dierenziali (spesso useremo l'acronimo ED per indicare un'equazione differenziale) nascono in maniera naturale per modellizzare fenomeni che hanno origine in molti
contesti della sica. Possono essere classicate in modi diversi. Abbiamo infatti:
1) equazioni differenziali ordinarie (EDO) se vengono coinvolte solo le derivate rispetto
a una sola variabile oppure equazioni alle derivate parziali (EDP) se vengono coinvolte
derivate parziali dell'incognita rispetto a pi di una variabile.
Esempio 1.1.2.
2
2u
2 u
=
c
t2
x2
al tempo
u(x, t)
nel
Equazioni differenziali
Esempio 1.1.3.
L'equazione
d2 y
+ t y 3 cos y = sin t
dt2
di ordine 2
mentre l'equazione
d3 y
2t
dt3
dy
dt
2
=y
d2 y
et
2
dt
di ordine 3.
Denizione 1.1.4.
F (t, y, y 0 , y 00 , . . . , y (n) ) = 0
dove
y(t)
la funzione incognita e
(1.1.1)
n+2
variabili
t, y, y 0 , . . . , y (n)
a valori reali.
Si dice ordine di un'equazione dierenziale l'ordine massimo di derivazione che vi compare.
Si dice soluzione (o curva integrale) della (1.1.1) nell'intervallo
denita almeno in
I R
una funzione
t I.
Inne si dice integrale generale dell'equazione (1.1.1) una formula che rappresenti la famiglia
di tutte le soluzioni dell'equazione (1.1.1), eventualmente al variare di uno o pi parametri in essa
contenuti.
Esempio 1.1.5.
e sia
N (t)
t;
t,
assume solo
una funzione continua e derivabile purch il numero degli individui sia abbastanza grande.
Supponiamo che la popolazione sia isolata e che la proporzione degli individui in et riproduttiva e la fecondit siano costanti.
Se escludiamo i casi di morte, immigrazione, emigrazione, allora il tasso di accrescimento coincide con quello di natalit e se indichiamo con
N (t) = N (t).
Questo processo risulta realistico solo in popolazioni che crescono in situazioni ideali e sono
assenti tutti i fattori che ne impediscono la crescita.
1.1
Modelli differenziali
La stessa equazione compare anche in altri modelli relativi a sistemi siologici ed ecologici.
Esempio 1.1.6.
t.
p(t)
il peso della
esterni, ragionevole pensare che in un piccolo intervallo di tempo l'accrescimento della cellula
sia proporzionale al tempo trascorso e al peso della cellula all'istante
con
t+h
t.
Quindi se denotiamo
tale che
h0
si
ottiene
p(t)
= k p(t).
Quindi l'equazione modello in entrambi gli esempi proposti
y = k y.
Sono regolati dalla medesima equazione il processo di disgregazione radioattiva, quello relativo
alla reazione di un tessuto vivente esposto a radiazioni ionizzanti e anche la reazione chimica
di alcune sostanze.
Esempio 1.1.7.
N (t) = ( )N (t),
dove come prima
detto potenziale
biologico.
Ci chiediamo ora come possiamo trovare una soluzione del problema studiato nell'Esempio
1.1.7. Supponiamo per il momento che sia
N 6= 0.
Allora
N
d
N = N
= (log |N |) = ,
N
dt
da cui
ec1 =: k 2 > 0
N (t) = k 2 et
9
Equazioni differenziali
N (t) = C et
Tutto questo vale se
N 6= 0;
C R \ {0}.
N =0
soddisfa l'equazione di
N (t) = C et = C e()t
C R.
> prevale il
se < prevale
1) se
2)
estinguersi;
3) se
Osserviamo in particolare che non abbiamo trovato solo una soluzione, ma innite soluzioni,
dipendenti da una costante arbitraria.
Osservazione 1.1.8.
indenitamente nel tempo; ci sono infatti limiti posti dalla scarsit di cibo o di alloggio o da
cause siche e oggettive...quindi per considerare un modello pi attendibile occorrerebbe apportare
ulteriori modiche al modello stesso; questo quanto stato fatto nel corso degli anni da studiosi
della dinamica delle popolazioni.
Generalit
Soermiamo ora la nostra attenzione sulle equazioni dierenziali ordinarie del primo ordine.
Esse sono della forma
F (t, y, y 0 ) = 0
con
funzione assegnata di
Esempio 1.2.1.
t, y, y 0
(1.2.1)
a valori reali.
continua su un intervallo
Z
y(t) =
f (t) dt + C,
10
C R.
1.2
Si dimostra che l'insieme delle soluzioni di una ED ordinaria del primo ordine costituito
da una famiglia di funzioni dipendente da un parametro
c: t 7 (t; c).
y(t0 ) = y0
particolare.
Denizione 1.2.2.
F (t, y, y 0 ) = 0
y(t0 ) = y0
(1.2.2)
Denizione 1.2.3.
(1.2.3)
Per equazioni di questo tipo si pu assicurare, sotto larghe ipotesi, che il problema di Cauchy
(1.2.2) ammette un'unica soluzione almeno localmente (cio per valori di
Osservazione 1.2.4.
intorno a
t0 ).
essere denite su insiemi diversi a seconda del valore della costante o anche su insiemi pi complicati
di un intervallo (es.
t 6= 0).
contenente il punto
Esempio 1.2.5.
t0
I.
Il problema di Cauchy
N 0 (t) = 3 N (t)
N (0) = 7
N (t) = c e3t .
3t
Imponendo il dato di Cauchy si ottiene N (0) = c = 7 da cui la soluzione N (t) = 7 e , t R
+
(t R
se t ha il signicato di tempo per cui il problema di Cauchy proposto considera
ammtte, per quanto visto nel paragrafo precedente, un'unica soluzione data da
11
Equazioni differenziali
1.2.2.
Le equazioni a variabili separabili sono una particolare clase di ED ordinarie del primo ordine
del tipo (1.2.3) che sono caratterizzate dalla presenza di una funzione
una della sola variabile
y.
tipo
y 0 = a(t) b(y)
con
IR
(1.2.4)
J R.
soluzione dell'equazione
b(y) = 0,
y(t) = y
una soluzione
dell'ED (1.2.4). Infatti in tal caso il secondo membro della (1.2.4) si annulla e anche il primo
membro di annulla (perch la derivata della funzione costante zero).
b) Supponiamo ora che
b(y) 6= 0.
y0
= a(t)
b(y)
quindi un'ipotetica soluzione soddisfa l'identit
y 0 (t)
= a(t).
b(y(t))
Prendendo gli integrali indeniti di entrambi i membri si ottiene
y 0 (t)
dt =
b(y(t))
con
Z
a(t) dt + C
da cui si ha
dy = y (t) dt
e dunque
dy
dt =
b(y)
Z
a(t) dt + C.
a(t),
y = y(t)
B(y)
una primitiva di
1
b(y)
A(t)
implicita)
B(y) = A(t) + C
+
Osservazione 1.2.6.
con
costante arbitraria.
12
esplicitamente o a
1.2
y 0 = a(t) b(y)
y(t0 ) = y0
Esempio 1.2.8.
y0 = t y3
disegnare alcune soluzioni nel piano e risolvere il problema di Cauchy
y=0
y0 = t y3
y(0) = 1.
y 6= 0,
dy
=
y3
da cui
Z
t dt + C
1
t2
=
+C
2y 2
2
1
,
y =
k t2
k := 2C.
Imponendo il dato di Cauchy si osserva che l'unica soluzione quella che si ottiene per
e considerando il segno positivo davanti alla radice, cio
y(t) =
-
Esercizio 1.2.9.
1
.
1 t2
y y0 = 2
y(0) = 1
13
k=1
Equazioni differenziali
y = 4t + 2C,
C R,
quindi per compatibilit occorre scegliere il segno positivo davanti alla radice. La soluzione del
4t + 1,
t 1/4.
Andiamo a controllare se sono soddisfatte le condizioni del teorema: a(t) = 2 che dunque una
funzione continua e derivabile ovunque; b(t) = 1/y che continua e derivabile se y 6= 0. Quindi
problema proposto dunque
y=
il problema di Cauchy per questa equazione ha una e una sola soluzione purch la condizione
iniziale non sia del tipo
si otterrebbe
0 = 2.
y(t0 ) = 0.
y y0 = 2
y(0) = 0
14
1.2
Non ha soluzione.
Quindi abbiamo trovato un esempio di problema di Cauchy in cui viene a mancare l'esistenza
di soluzioni.
Esempio 1.2.10.
Si osserva che
possiamo dire
graco di
y0 = 2 y
y(0) = 0.
e potrebbe a priori mancare l'unicit della soluzione (osserviamo che questo non automatico!
Se le ipotesi del teorema non valgono, a priori nulla si pu dire, occorre analizzare caso per
caso).
In questo caso comunque eettivamente manca l'unicit della soluzione.
mostrare che
(
y1 (t) = 0
y2 (t) =
t2
0
t0
t<0
sono entrambe soluzioni del problema di Cauchy assegnato (per altro coincidono se
Inoltre si nota che
1.2.3.
y2
derivabile in 0 con
t < 0).
y20 (0) = 0.
In questo paragrafo andiamo a trattare un caso particolare di ED ordinarie del primo ordine
del tipo (1.2.1), il caso in cui
lineare in
y0.
a1 , a2
Se il coeciente
a1 (t)
continue in un intervallo
(1.2.5)
I R.
f 0
invece,
l'equazione si dice omogenea e di solito, vista l'importanza che riveste tale equazione nella
15
Equazioni differenziali
struttura dell'integrale generale, si soliti indicare con una lettera diversa (usualmente
z)
la
(1.2.6)
Nella parte restante del paragrafo ci occuperemo di studiare la struttura dell'integrale generale per l'equazione (1.2.5). Dal Teorema 1.2.11 sappiamo dunque che dobbiamo occuparci
prima dello studio dell'integrale generale dell'equazione omogenea e poi della ricerca di una
soluzione particolare dell'equazione completa.
A(t)
a(t)
una primitiva di
A(t)
A0 (t) = a(t)).
Moltiplichiamo ambo i
; si ottiene
e cio
d
[z(t) eA(t) ] = 0
dt
z(t) eA(t) = C
z(t) = C e
+
a(t) dt
(1.2.7)
z = C z0
con
z0
costante arbitraria.
Questo fatto pu essere interpretato dicendo che l'insieme delle soluzioni di una ED lineare omogenea uno spazio vettoriale di dimensione 1. Si noti che per le equazioni
dierenziali ordinarie omogene del secondo ordine vale un risultato corrispondente (l'insieme delle
soluzioni uno spazio vettoriale di dimensione 2),
Teorema 1.3.7.
funziona in diversi contesti. L'idea di ricercare una soluzione simile alla (1.2.7); stavolta per
16
1.2
cio sia
C C(t)
funzione di
t.
nella forma
C(t)
e dunque
Z
C(t) =
f (s) eA(s) ds
(non c' bisogno di aggiungere una costante arbitraria visto che basta trovare una scelta di
C(t)
compatibile).
A(t)
y(t) = e
+
Osservazione 1.2.13. Osserviamo che A(t) gi una primitiva, non c' bisogno di aggiun-
gere anche stavolta una ulteriore costante arbitraria; inoltre si pu dimostrare che se scelgo
un'altra primitiva il risultato non cambia e alla ne si ottiene la stessa formula.
A(t)
y(t) = c e
A(t)
+e
17
f (s) eA(s) ds
(1.2.8)
Equazioni differenziali
y(t) = y0 e
A(t)
A(t)
+e
(1.2.9)
t0
Teorema 1.2.14.
ha una e una sola soluzione y C 1 (I) (dove C k (I) l'insieme delle funzioni continue,
derivabili no all'ordine k e con tutte le derivate no all'ordine k continue); tale soluzione
assegnata dalla (1.2.9).
1.3.1.
Generalit
Denizione 1.3.1. Un'equazione dierenziale del secondo ordine si dice lineare se del tipo
a2 (t)y 00 + a1 (t)y 0 + a0 (t)y = g(t)
18
(1.3.1)
1.3
come
Osservazione 1.3.2.
(1.3.2)
L : C 2 (I) C 0 (I)
L : y 7 Ly
C k (I), come abbiamo gi accennato, sono gli spazi
all'ordine k e con tutte le derivate no all'ordine k continue
no
il primo membro dell'equazione (1.3.1). Prima di tutto l'operatore ben denito, perch se
si ha che
che
Ly C 0 (I)
1 , 2 R,
ai .
Ly
y C2
per ogni
y1 , y2 C 2 (I)
si ha
Esempio 1.3.3.
y 00 (t) = 0.
Essa naturalmente equivale a dire che
y 0 (t) = C1
e da cui
y(t) = C1 t + C2 ,
con
C1 , C2
costanti
arbitrarie. Quindi le soluzioni di questa equazione sono tutti e soli i polinomi di primo grado.
.
m
Esempio 1.3.4.
che rimane libero di muoversi in linea orizzontale, attaccato a una molla che esercita una
my 00 = ky
dove
k>0
m 6= 0,
allora si pu
y 00 + 2 y = 0
dove
2 = k/m.
(1.3.3)
L'equazione (1.3.3) un'equazione dierenziale ordinaria del secondo ordine lineare omogenea
19
Equazioni differenziali
e a coecienti costanti. Se sul punto agisce una forza esterna (dipendente solo dal tempo
t)
y 00 + 2 y = f (t);
nel caso venga presa in considerazione lo smorzamento dovuto all'attrito, l'equazione si trasforma in
y 00 + hy 0 + 2 y = 0
con
h > 0.
Sar chiaro in seguito che l'integrale generale di una qualunque equazione lineare del secondo
ordine dipende da due parametri arbitrari.
della famiglia di soluzioni stavolta, dierentemente da quanto visto nel caso delle equazioni
dierenziali del primo ordine, dovremo assegnare due condizioni.
Denizione 1.3.5.
00
0
0
y (t0 ) = y1 .
Teorema 1.3.6.
(1.3.4)
Siano
a, b, f funzioni continue in un intervallo I 3 t0 . Allora per ogni y0 , y1 R il problema di
Cauchy (1.3.4) ammette un'unica soluzione y C 2 (I).
(esistenza e unicit per il problema di Cauchy (1.3.4))
Questo risultato analogo al corrispondente enunciato per le equazioni lineari del primo ordine.
Anche in questo caso, la soluzione sar ottenuta imponento le condizioni iniziali nell'espressione
che individua l'integrale generale dell'equazione (1.3.2). Quindi di nuovo il problema si riduce a
comprendere come ottenere la struttura dell'integrale generale per un'equazione del tipo 1.3.2.
1.3.2.
Nel paragrafo precedente abbiamo visto che un'equazione dierenziale lineare del secondo ordine si pu scrivere nella forma
Ly = f ,
Ly = f .
dove
20
1.3
Ly = f
Teorema 1.3.7.
completa)
un operatore lineare.
Si pu dimostrare che:
Osservazione 1.3.8.
soluzioni
z1 (t)
z2 (t)
Dal punto 1) del teorema precedente possiamo dedurre che esistono due
una multipla dell'altra) e ogni altra soluzione dell'equazione omogenea combinazione lineare di
e
z2 ;
z1
quindi questo signica che l'integrale generale dell'equazione omogenea dato dalla formula
C1 z1 (t) + C2 z2 (t)
al variare dei coecienti reali
C1 , C2 .
z(t) = C1 t + C2 t3 ,
al variare di
c1 , c2 R.
Nel caso precedente particolarmente facile vedere che le due soluzioni proposte sono linearmente indipendenti; in generale pu non essere cos immediato. Il seguente criterio generale
permette di decidere qualora due soluzioni proposte siano o no linearmente indipendenti.
21
Equazioni differenziali
Teorema 1.3.10.
Siano z1 , z2 due
Lz z 00 + a(t)z 0 + b(t) = 0
detta matrice Wronskiana ha determinante diverso da zero per ogni t I (dalla regolarit delle soluzioni, suciente che il determinante di tale matrice sia diverso da zero in
un punto t0 I ).
Riassumendo:
z1 (t)
z2 (t)
y(t)
dell'equazione completa.
C1 , C2 R.
Osserviamo che in generale risolvere tale problema non aatto banale e noi riusciremo a farlo
solo in alcuni casi particolari. Nei prossimi paragra mostreremo come fare.
1.3.3.
costanti
Consideriamo l'equazione dierenziale ordinaria lineare del secondo ordine omogenea a coecienti costanti
a, b
costanti.
(1.3.5)
In analogia con il caso analogo del primo ordine, che ammette degli esponenziali come soluzioni,
cerchiamo anche qui delle soluzioni di tipo esponenziale
z(t) = ert
in (1.3.5) otteniamo
ert (r2 + ar + b) = 0.
22
t 7 ert ,
con
r C.
Sostituendo
1.3
Siccome l'esponenziale una funzione sempre positiva, anch l'equazione precedente abbia
soluzione necessario che la costante
r2 + ar + b = 0
che viene detta
equazione caratteristica
primo caso
reali e distinte
secondo caso
z(t) = C e 2 t
l'unica
(1.3.6)
Per trovare una seconda soluzione usiamo (come nel caso delle equazioni del primo ordine) di
nuovo il metodo delle variazione delle costanti. La cerchiamo simile alla (1.3.6) con l'idea che
stavolta la costante dipenda da
t,
a
r= .
2
r = a/2,
C 0 (t)
si annulla; inoltre
00
C (t) = 0
da cui
C(t) = C2 t + C1 .
23
C(t)
si annulla;
Allora la soluzione
Equazioni differenziali
terzo caso
coniugate
A volte preferibile avere delle soluzioni reali; quindi ricordando che ogni combinazione lineare
di soluzioni ancora una soluzione dell'equazione, allora invece che
e
1
(z
2i 1
z2 ),
z1
z2
scegliamo
1
(z + z2 )
2 1
cio
et cos t
et sin t.
o in maniera del tutto equivalente (ricordando lo sviluppo del coseno di una somma)
z(t) = et A cos(t + ).
Riassumendo:
in ciascuno dei tre casi studiati abbiamo determinato due soluzioni dell'e-
Caso
Caso
Caso
Esempio 1.3.11.
4>0
er1 t
4=0
ert
4 < 0 et cos t
er2 t
tert
et sin t
00
0
z 2z 3z = 0
z(0) = 1
0
z (0) = 2
L'equazione proposta dierenziale ordinaria del secondo ordine lineare, a coecienti costanti
omogenea. L'equazione caratteristica associata
r2 2r 3 = 0
24
1.3
r = 1
r = 3.
dell'equazione risulta
z(t) = C1 et + C2 e3t ,
al variare di
C1 , C2 R.
2 = z 0 (0) = C1 + 3 C2
1 = z(0) = C1 + C2 ;
da cui
3
C2 = .
4
1
C1 = ;
4
1
3
z(t) = et + e3t .
4
4
1.3.4.
di somiglianza
In questo paragrafo ci occupiamo di trovare un integrale particolare dell'equazione completa
associata a un'equazione dierenziale ordinaria del secondo ordine lineare a coecienti costanti
del tipo
a, b costanti
(1.3.7)
anche di solito pi complesso a livello di calcoli) si basa sul metodo di variazione delle costanti.
Invece quando
assomigli
f (t) = pr (t)
primo caso:
polinomio di grado
r.
qr (t)
y(t) = qr (t)
y(t) = t qr (t)
y(t) = t2 qr (t)
b 6= 0
b = 0 e a 6= 0
b=0ea=0
se
se
se
secondo caso: f (t) = A e t , C. In tal caso si cerca una soluzione del tipo y(t) =
e t (t). Con calcoli del tutto simili a quelli svolti per l'equazione omogenea si ottiene
00 + 0 (2 + a) + (2 + a + b) = A.
25
Equazioni differenziali
2 + a + b 6= 0
(cio se
(t) =
costante
da cui
y(t) =
A
+ a + b
A et
.
2 + a + b
Quindi una soluzione particolare della (1.3.7) pu essere scritta nella forma
y(t) = C et ,
C C (e quindi visto che basta trovare una soluzione
C R).
2
b) Se + a + b = 0 ma 2 + a 6= 0, allora basta prendere
con
0 (t) =
costante
A
2 + a
(t) =
da cui
At
.
2 + a
Quindi si ha
A t et
y(t) =
.
2 + a
perci una soluzione particolare della (1.3.7) pu essere scritta nella forma
y(t) = C t et ,
con
CC
c) Se inne
+ a + b = 0
2 + a = 0
(t) =
C R).
allora semplicemente si ha
A 2
t,
2
y(t) =
00 (t) = A
da cui
A 2 t
t e .
2
Quindi una soluzione particolare della (1.3.7) pu essere scritta nella forma
y(t) = C t2 et ,
con
C R.
A et
anche i casi
Esempio 1.3.12.
con
R.
y 00 3y 0 + 2y = 1 + t2
26
con
rientrano
1.3
Si tratta di un'equazione dierenziale lineare del secondo ordine a coecienti costanti non
omogenea. Cerchiamo una soluzione del tipo generico polinomio di secondo grado
y(t) = C0 + C1 t + C2 t2 .
Siccome si ha
y 0 (t) = C1 + 2 C2 t,
y 00 (t) = 2 C2
2 C2 3(C1 + 2 C2 t) + 2(C0 + C1 t + C2 t2 ) = 1 + t2 .
A questo punto vado a uguagliare i coecienti dei termini con lo stesso grado, a destra e a
sinistra, ottenendo il seguente sistema
2 C2 3 C1 + 2 C0 = 1
6 C2 + 2 C1 = 0
2 C2 = 1
da cui si deduce immediatamente
9
C0 = ;
4
3
C1 = ;
2
1
C2 = .
2
y(t) =
.
Esempio 1.3.13.
9 3
1
+ t + t2 .
4 2
2
y 00 + 2y 0 = t
Si tratta di un'equazione dierenziale lineare del secondo ordine a coecienti costanti non
omogenea. Osserviamo che il termine noto di primo grado ma nell'equazione manca il termine
in
y;
quindi si ricade nel caso b) elencato in precedenza. Quindi cerchiamo una soluzione del
y(t) = C1 t + C2 t2
Con semplici calcoli si deduce che deve essere
2 C2 + 2C1 + 4 C2 t = t
quindi
4 C2 = 1
2C1 + 2 C2 = 0
27
Equazioni differenziali
da cui
1
C2 = .
4
1
C1 = ;
4
1
1
y(t) = t + t2 .
4
4
Esempio 1.3.14.
y 00 + 2y 0 + 3y = 3 e3t .
Si tratta di un'equazione dierenziale lineare del secondo ordine a coecienti costanti non
omogenea. Per quanto detto sopra, possiamo cercare una soluzione particolare del tipo
3t
Ce
y(t) =
C = 1/6
y(t) = 16 e3t .
Esempio 1.3.15.
y 00 2y 0 3y = 3 e3t .
Si tratta di un'equazione dierenziale lineare del secondo ordine a coecienti costanti non
omogenea. Ripetendo lo stesso ragionamento dell'esempio precedente, quindi andando a cercare
una soluzione particolare del tipo
y(t) = C e3t
si ottiene
C e3t (9 2 3 3) = 0 = 3 e3t
quindi non esiste una costante
y(t) = C t e
3t
r 2r 3 = 0.
C = 3/4.
y(t) =
+
r = 3 soluzione dell'equazione
. Si ottiene innanzitutto
Osservazione 1.3.16.
3 3t
te .
4
A et cos(t),
ricordando che
1.3
A e(+i)t
di tale soluzione complessa; per linearit infatti troveremo la soluzione con il termine noto cercato.
Analogamente se il termine noto della forma
Aet sin(t)
meno
laboriosi. Inoltre, anche se il termine noto contiene solo seno oppure coseno, quando si cerca una
soluzione particolare si deve sempre cercare come combinazione lineare di entrambi seno e coseno.
R. Procedendo come sottolineato, si ottiene infatti una soluzione particolare del tipo
y(t) =
Osservazione 1.3.18.
2 ex
(7 cos 3x + 12 sin 3x)
193
f (t)
sia combi-
nazione lineare di termini appartenenti a due tipologie diverse (esempio polinomio pi esponenzale
o polinomio pi funzione trigonometrica) per linearit prima si trova una soluzione dell'equazione
che ha come termine noto il primo termine del termine noto originario, poi si trova una soluzione
dell'equazione che ha come termine noto il secondo termine del termine noto originario e inne una
soluzione dell'equazione di partenza sar la somma delle due soluzioni trovate.
R. Procedendo come sottolineato, si ottiene infatti una soluzione particolare del tipo
y(t) =
t
+ cos t.
3
29
Equazioni differenziali
30
CAPITOLO 2
v
u n
uX
|x| = t
x2
i
i=1
mentre si dice versore un vettore di modulo unitario e si indica con
vers(x) =
Rn
x
.
|x|
x = x1 e1 + x2 e2 + + xn en =
n
X
xj ej .
i=1
I casi che ci interessano maggiormente sono naturalmente quelli corrispondenti a
cio
n = 2 e n = 3,
i, j, k
(in
Tra le operazioni che si fanno di solito con i vettori, oltre a somma e prodotto per uno scalare,
31
ricordiamo il prodotto scalare che un'operazione che coinvoge due vettori e che d come
risultato uno scalare, secondo la legge
u v = (u1 , u2 , . . . , un ) (v1 , v2 , . . . , vn ) = u1 v1 + u2 v2 + + un vn =
n
X
ui vi .
i=1
Talvolta per indicare il prodotto scalare di due vettori si usa anche la notazione
di
hu, vi
invece
u v.
n=2
n=3
ortogonali tra loro. Per analogia, la denizione di angolo tra due vettori si estende anche nel
caso
n > 3,
denendolo come
cos =
uv
|u| |v|
u v = 0.
3
Inne introduciamo anche un'altra operazione che agisce tra due vettori di R e che d come
3
risultato un vettore di R : il prodotto vettoriale. Si indica con uv e agisce nel seguente
e anche in questo contesto si dice che due vettori sono ortogonali se
modo
i j k
u u
u u
u u
2 3
1 3
1 2
u v = u1 u2 u3 = i
j
+ k
v2 v3
v1 v3
v1 v2
v1 v2 v3
uv = 0
uv
invece che
uv
Il nostro obiettivo ora quello di estendere questa nozione al caso in cui i dati in ingresso o quelli
in uscita (o entrambi) possono essere pi di uno (mantenendo l'univocit della corrispondenza
input-output come deve essere per denizione di funzione).
32
2.3
Denizione 2.2.1.
A R con n > 1.
reali una funzione che ha immagine f (A) R.
m
vettoriali una funzione che ha immagine f (A) R , m > 1.
A R.
Esempio 2.2.2. Una funzione f : R R2 una funzione a valori vettoriali di una variabile
f : R3 R
RR
m > 1.
f :A
Questo il caso pi semplice perch molte delle principali nozioni del calcolo
dierenziale e integrale si riconducono a quelle gi studiate per il caso di funzioni reali di una
variabile reale. Nel caso
n = 2, 3
f : A R Rm
hanno il signicato
r : I Rm
Denizione 2.3.1.
con
intervallo di
R.
Sia
t0 I
e sia
l Rm .
Si dice che
lim r(t) = l
tt0
se
lim |r(t) l| = 0.
(2.3.1)
tt0
Questa denizione ci permette di ricondurre il calcolo del limite per funzioni a valori vettoriali
al caso del calcolo di limiti per funzioni a valori reali; infatti la funzione
t 7 |r(t) l|
una
funzione reale di variabile reale; inoltre geometricamente la (2.3.1) signica che la distanza tra
il punto
r(t) e il punto l in Rm
tende a zero se
t t0
r e le componenti di l rispettivamente.
ri : I R, i = 1, . . . , m e l = (l1 , l2 , . . . , lm ) Rm
Quindi se
allora se
i = 1, 2, . . . , m.
Quindi grazie all'interpretazione geometrica di (2.3.1) e alle nozioni note riguardanti il caso
di limiti di funzioni reali di variabile reale possiamo concludere che il limite di una funzione a
valori vettoriali si calcola componente per componente nel modo seguente:
lim r(t) = lim (r1 (t), r2 (t), . . . , rm (t)) =
tt0
tt0
lim r1 (t), lim r2 (t), . . . , lim rm (t) .
tt0
33
tt0
tt0
(2.3.2)
. Esempio
limt0 r(t).
2.3.2.
Sia
r : I R3
denita da
Calcoliamo
lim r(t) = lim(r1 (t), r2 (t), r3 (t)) = lim(lim(cos t + ), lim(et 1), lim(sin t2 ) = (1 + , 0, 0).
t0
t0
t0 t0
t0
t0
Per curiosit andiamo a vericare che questo modo di procedere equivalente a calcolare
direttamente la (2.3.1). Si ha
q
lim |r(t) `| = lim |((cos t 1), (e 1), (sin t ))| = lim (cos t 1)2 + (et 1)2 + sin2 t2 = 0
t
t0
t0
t0
Osservazione 2.3.3.
Si dimostra che molte delle propriet dei limiti per funzioni reali di una
variabile reale si estendono in maniera immediata nel caso di funzioni a valori vettoriali, come ad
teorema di unicit del limite, il teorema sul limite della somma o del prodotto e la
denizione di funzione continua (in particolare una funzione a valori vettoriali continua se e solo
esempio il
Denizione 2.3.4.
Sia
r : I Rm
e sia
t0 I .
Si dice che
derivabile in
t0
se esiste
nito
r0 (t0 )
r(t0 + h) r(t0 )
(2.3.3)
lim
tt
h
0
r2 (t0 + h) r2 (t)
rm (t0 + h) rm (t)
r1 (t0 + h) r1 (t)
, lim
, . . . , lim
lim
h0
h0
h0
h
h
h
=
=
(2.3.2)
Si osservi che negli ultimi passaggi abbiamo sfruttato il fatto osservato in precedenza, cio che i
limiti di funzioni a valori vettoriali si fanno componente per componente. Quindi anche la derivata
di una funzione a valori vettoriali si fa componente per componente: il vettore derivata il vettore
delle derivate delle componenti.
Denizione 2.3.5.
che
di classe
Se
C 1 (I)
derivabile in tutto
e inoltre la funzione
r C 1 (I). Analogamente
C k (I) per k > 1.
e si scrive
r0
continua in
I,
si dice
Inne in maniera naturale si pu introdurre anche l'integrale denito di una funzione a valori
vettoriali.
Denizione 2.3.6.
r : [a, b] Rm e poniamo
Z b
Z b
Z b
Z b
r(t) dt =
r1 (t) dt,
r2 (t) dt, . . . ,
rm (t) dt
Sia
a
e diciamo che
integrabile in
[a, b]
34
(2.3.4)
r.
ri (i = 1, 2, . . . , m);
in
2.4
Curve regolari
Osserviamo che l'integrale che compare a primo membro l'integrale di una funzione a valori
vettoriali, mentre quello che compare a secondo membro coinvolge una funzione a valori scalari,
cio
|r(t)|.
In entrambi i casi, i moduli che compaiono nella formula sono moduli di vettori e
r : [t1 , t2 ] R3
dove
r = (x, y, z)
x = x(t)
y = y(t)
z = z(t);
t [t1 , t2 ]
pu
Analogamente se il punto si muove nel piano, il suo moto viene descritto da una funzione
r : [t1 , t2 ] R2
con
r = (x, y)
x = x(t)
y = y(t)
t [t1 , t2 ]
(2.4.1)
oppure
m=3
r : I R Rm
con
m = 2
abbiano un signicato sico e geometrico notevole, quello di curve o cammini nel piano
Denizione 2.4.1.
in
Rm
una funzione
Sia
continue.
Se si pensa la variabile
di curva continuo la legge oraria di un punto mobile che si sposta cio assegna la traiettoria
e la posizione in cui il punto si trova ad ogni istante di tempo.
Osservazione 2.4.2.
percorsa dal punto (a prescindere dalla legge con cui percorsa) in tutto l'intervallo temporale,
che la
traiettoria
immagine
R4
(o in
R3 )).
graco
della
r:IR
(immagine di
r)
sicuro possono esistere parametrizzazioni diverse della stessa curva, cio due diverse funzioni che
individuano lo stesso sostegno.
Se torniamo all'esempio iniziale di questo paragrafo, il vettore
punto mobile all'istante
t0 ;
il vettore
velocit istantanea
2.5
(2.4.2)
Quest'ultimo concetto torner utile quando introdurremo gli integrali di linea di prima specie.
Denizione 2.4.3.
r(a) = r(b)
con
I = [a, b]
(cio punto iniziale e punto nale coincidono); si dice semplice se non ripassa mai dalo stesso
punto (cio se
t1 6= t2 r(t1 ) 6= r(t2 )
Questo motiva la
prossima denizione.
Quindi il vettore derivato esiste in ogni punto, varia con continuit e non si annulla mai. Di
conseguenza, per le curve regolari ben denito il versore tangente
T=
che inoltre dipende con continuit da
Denizione 2.4.5.
arco di curva
Sia
r:IR
IR
tale che
t.
continua e l'intervallo
Osservazione 2.4.6.
r0 (t)
|r0 (t)|
R2
descritte in
forma para-
metrica come in (2.4.1) oppure ci sono curve che sono rappresentabili come graco di una funzione
di una variabile, cio nella forma
di
che la
y = g(x).
rappresentazione implicita cio quelle curve che sono denite da un'equazione del
r : [a, b] Rm
partizione
P = {a = t0 , t1 , . . . , tn1 , tn = b}
37
dell'intervallo
[a, b],
con
n
X
estremi
r(tj1 )
j=1
Siccome intuitivamente il segmento la linea pi breve che congiunge due punti, l'idea che
`(P)
la partizione
e prendendo l'
Denizione 2.5.1.
Si dice che
rettificabile se
`()
si dice lunghezza di
di
[a, b].
In tal caso
Ricordando che cinematicamente lo spazio uguale al prodotto della velocit per il tempo e
che abbiamo introdotto la velocit scalare in (2.4.2) allora si giustica il seguente teorema.
`() =
|r0 (t)| dt
a
Nello spazio tridimensionale la formula precedente prende la seguente forma
`() =
Z bp
a
se la curva piana, manca il termine
z 0 (t)2 .
Proposizione 2.5.3. Sia una curva unione di due curve 1 e 2 , rispettivamente di equazioni
r1 = r1 (t) per t [a, b] e r2 = r2 (t) per t [b, c], soddisfacenti alla condizione di raccordo
r1 (b) = r2 (b), allora = 1 2 denita dalla curva r : [a, c] Rm di equazione
(
r1 (t)
t [a, b]
r(t) =
r2 (t)
t [b, c]
2.5
Lunghezza di un graco
Una classe particolare di curve piane data dalle curve che si ottengono come graci di funzioni
di una variabile, ossia
y = f (x)
per
x [a, b].
parametrica ponendo:
x=t
y = f (t)
per
f
[a, b];
2) regolare se e soltanto se
continua in
t [a, b].
ha le seguenti propriet:
[a, b]
x (t) 1);
continua in
[a, b]
[a, b];
4) non mai chiusa;
5) sempre semplice.
Nel caso di una curva espressa come graco di una funzione, per calcolare la lunghezza della
curva si usa la formula
`() =
Z bp
1 + f 0 (t)2 dt
polare.
L'equazione
[1 , 2 ]
= f (),
indica la seguente scrittura
x = f () cos
y = f () sin
[1 , 2 ].
|r0 ()| =
p
f 0 ()2 + f ()2 .
f continua in [1 , 2 ];
se f derivabile con continuit
1) continua se e soltanto se
2) regolare se e soltanto
39
in
[1 , 2 ]
e inoltre
f0
non si
annullano contemporaneamente;
3) chiusa se e soltanto se
f (1 ) = f (2 )
2 1 = 2 n
n.
Nel caso di una curva espressa in forma polare, per calcolare la lunghezza della curva si usa la
formula
`() =
p
f ()2 + f 0 ()2 d.
Osservazione 2.5.4.
se l'insieme non limitato. Quindi in particolare, ci sono curve che non sono retticabili, perch
hanno lunghezza innita. Ad esempio si dimostra che la curva piana che il graco della funzione
t sin 1
t
f (t) =
0,
t = 0.
non retticabile dato che l'estremo superiore delle lunghezze delle poligonali inscritte nella curva
innito.
r = r(t)
con
t [a, b]
t = (u)
con
Proposizione 2.6.1. La lunghezza di un arco di curva regolare invariante per parametrizzazioni equivalenti ed anche per cambiamento di orientazione.
Osserviamo che la lunghezza dell'arco di curva
r( )
per
[t0 , t]
una funzione di
e si ha
|r0 ( )| d.
s(t) =
t0
s,
40
t
s
come
detto
2.7
Il vantaggio che
r = r(s)
s.
esattamente lo spazio
r0 (s)
Denizione 2.7.1.
r : [a, b] Rm
e sia f una
m
funzione a valori reali, denita si un sottoinsieme A R
contenente , cio f : A R
R,
con A. Allora si dice integrale di linea (di prima specie) di f lungo l'integrale
Sia
Z
f ds
m = 2, f
positiva e continua
f.
x, y
con il graco di
di sviluppare in un pano
la supercie in
Visto che
la supercie
R3
f di prima specie lungo invariante per parametrizzazioni equivalenti ed anche per cambiamento di orientazione su .
2.7.1.
Applicazioni
Z
m=
r : [a, b] R3
ds =
sia
m = `(),
41
dove
`()
la lunghezza di
una
Baricentro
Il
baricentro di
B (
x, y, z)
il punto
x =
y =
z =
dove
Se il
Z
Z
1
1 b
x(t) (r(t))|r0 (t)| dt
x ds =
m
m a
Z
Z
1
1 b
y(t) (r(t))|r0 (t)| dt
y ds =
m
m a
Z
Z
1
1 b
z(t) (r(t))|r0 (t)| dt
z ds =
m
m a
x =
m
y =
m
z =
m
dove
1
x ds =
`()
1
y ds =
`()
1
z ds =
`()
Rb
x(t) |r (t)| dt =
Rb
Rb
z(t) |r (t)| dt =
a
Momento di inerzia
Calcoliamo inne il
distanza di
(x, y, z)
momento di inerzia
di
da quest'asse, si ha
Z
I=
ds =
m
I=
`()
Rb
2
ds = m
42
(x, y, z)
indica la
CAPITOLO 3
f : A Rn R.
Denizione 3.1.1.
Sia
f : A Rn R.
variabili l'insieme
n=2
R3
altrimenti per
n>2
Denizione 3.1.2.
Sia
f : A Rn R.
{x Rn : f (x) = c}
al variare di
Se
n=2
c R.
z = f (x, y)
n=3
gli insiemi
k = f (x, y, z)
e sono
sulle carte topograche ad indicare luoghi che hanno la stessa altitudine oppure nelle carte
delle previsioni del tempo, a indicare ad esempio le linee isobare (a pressione costante).
Si mediti sui seguenti esempi chiave.
Esempio 3.1.3.
Sia
Esempio 3.1.4.
p
f (x, y) = x2 + y 2 . Questa supercie prende il nome di cono.
2
Anch'essa denita su tutto R ed sempre positiva o nulla, ma stavolta le linee di livello sono
2
2
2
del tipo x + y = C , quindi rappresentano circonferenze centrate nell'origine e di raggio C .
Sia
Stavolta le linee di livello sono equidistanziate e quindi il cono cresce meno velocemente del
paraboloide.
y = 0 otteniamo rispettivamente una parabola di equazione z = x e la funzione valore assoluto z = |x| da cui si evince
Se pensiamo di andare a sezionare le precedenti superci con il piano
il punto angoloso.
Naturalmente anche le funzioni reali di pi variabili reali sono denite all'interno di un dominio
naturale che il pi grande sottoinsieme di
Rn
f.
Valgono le stesse
regole di buona denizione usate per le funzioni reali di una variabile reale, con una dicolt
in pi, che i domini risultati saranno sottoinsiemi di
c' una visualizzazione delle nostre superci, i domini saranno sottoinsiemi del piano.
Esempio 3.1.5.
f (x, y) =
tan(xy) sin(e xy )
Si osserva che la radice quadrata ben denita se il suo argomento positivo o nullo; l'esponenziale ben denito ovunque cos come la funzione seno; la funzione tangente invece ben
denita se il suo argomento diverso da
sono
tan(xy)
xy 6= + k,
2
xy 0
+ k ,
con
k Z.
0 xy + k,
2
k Z xy 6= + k,
xy 0
0 xy <
+ n,
2
44
n N.
kZ
kZ
3.2
Limiti e continuit
Si tratta di una successione di regioni comprese tra due iperboli equilatere nel primo e nel terzo
quadrante (alcune iperboli sono comprese, altre sono escluse).
Denizione 3.2.1.
{xk }
k=1
di punti di
Rn
e un punto
x0 Rn
si dice
che
xk x0
r Denizione 3.2.2.
per
se
|xk x0 | 0
per
k .
x0 Rn
e raggio
r > 0 l'insieme
Ur (x0 ) = {x Rn : |x x0 | < r}
r si dice
; x0 si dice centro
raggio dell'intorno
dell'intorno
xx0
m
{xk }
k=1
xk x0
per
(con
xk 6= x0
per ogni
k ),
si ha che
lim f (xk ) = L.
k
Pi in generale si ha la seguente
in un intorno sferico di
x0 Rn
(escluso al pi il punto
x0
lim f (x) = L
xx0
m
45
stessi e sia
L R.
Si dice che
> 0 > 0
tale che se
0 < |x x0 | <
allora
|f (x) L| < .
Si dice che
lim f (x) = + [[ ]]
xx0
m
M > 0 > 0
tale che se
+ Osservazione 3.2.5.
0 < |x x0 | <
allora
A dierenza del caso delle curve, non c' una maniea diretta per ricondurre
f : Rn R
in questo caso molti enunciati continuano a valere in maniera analoga, per esempio il teorema di
unicit del limite, il teorema sul limite della somma, del prodotto per una costante, del prodotto e
del quoziente di due funzioni, il teorema del confronto e il teorema di permanenza del segno, giusto
per citarne alcuni
Denizione 3.2.6.
f : Rn R
continua in
x0
se
xx0
+ Osservazione 3.2.7.
Come conseguenza dei teoremi sui limiti valgono i teoremi sulla continuit
della somma, del prodotto, del quoziente di funzioni continue (quando hanno senso e il denominatore
non si annulla) e della composizione di funzioni continue (quando ha senso).
Osserviamo che se una funzione di una variabile continua, rimane ovviamente continua anche
se la consideriamo come funzione di pi variabili. Esempio:
g(x, y) = e
f (x) = ex
g(x, y) = ex
oppure
Esempio 3.2.8.
La funzione
f (x, y) =
denita e continua su
arctan(x2 + y 2 )
1 + exy
R.
f (x0 ).
.
Esempio 3.2.9.
lim
(x,y)(0,0)
f (x, y) =
arctan(x2 + y 2 )
=0
1 + exy
Quindi il ricorso alla denizione diventer indispensabile solo nel caso dell'analisi delle forme
di indeterminazione.
46
3.3
se
si avvicina a
x0 .
il limite esiste.
limxx0 f (x) = L allora signica che f si avvicina a L indenitatra x e x0 tende a zero indipendentemente dalla direzione con
f (x, y)
(x, y)
(0, 0)
n = 2,
si riesce a mettere in
dipendente solo da
).
generale per funzioni di due variabili (che pu anche essere esteso al caso di
Proposizione 3.3.1.
p
= x2 + y 2 . A
f (, ) non dipen-
attraverso
variabili).
Per dimostrare che f (x, y) L se (x, y) (0, 0) suciente riuscire a scrivere una
maggiorazione del tipo
ite)
|f (, ) L| g() g() 0.
L'essenziale dunque che
non dipenda da
x = x0 + cos
y = y0 + sin .
Esempio 3.3.3.
non significa
che il limite
variabili.
Si calcoli
y 2 log x
(x,y)(1,0) (x 1)2 + y 2
lim
f 0 |f | 0
a questo punto dunque, osservando che
y2
1
z2 + y2
per ogni
(y, z) R2
y 2 | log(z + 1)|
y 2 | log x|
=
lim
lim | log(z + 1)| = 0.
(z,y)(0,0)
(z,y)(0,0)
(x,y)(1,0) (x 1)2 + y 2
z2 + y2
lim
47
y 2 log x
= 0.
(x,y)(1,0) (x 1)2 + y 2
lim
Si ottiene
x = 1 + cos , y = sin .
poich
sin2 cos
Alternativamente per provare l'esistenza del limite si pu tentare di usare opportune maggiorazioni, al ne di mostrare che la dierenza tra la funzione e il presunto limite tende a zero.
A tal ne possono risultare utili le seguenti maggiorazioni
ez 1 + z
log z z 1
sin z z
sin z 1
cos z 1
1
ab (a2 + b2 )
2
(ma si badi che ovviamente non vero che
a3
a3 +b3
a2
1
a2 + b 2
1)
f 0 |f | 0
all'uso appropriato del teorema del confronto. Possono talora risultare comodi anche i limiti
notevoli dell'analisi 1. Il prossimo esempio mostra alcune possibili applicazioni.
Esempio 3.3.4.
Calcolare
xy 3
2 sin(x2 y) cos(x + 2y)
lim
(x,y)(0,0) x2 + y 2
(x,y)(0,0)
x2 + y 2
lim
a patto che questi ultimi due limiti esistano, niti o inniti ma tali da non dar luogo alla forma
di indecisione
[+, ].
xy 3
(x,y)(0,0) x2 + y 2
lim
1
|x||y| (x2 + y 2 ),
2
|x||y 3 |
1
lim y 2 = 0.
2
2
(x,y)(0,0) x + y
2 (x,y)(0,0)
lim
48
si ha
3.3
f 0 |f | 0
si ottiene che
xy 3
(x,y)(0,0) x2 + y 2
lim
esiste e fa 0.
Per quanto riguarda
lim
cos(x + 2y) = 1;
(x,y)(0,0)
d'altra parte, utilizzando il fatto che
| sin z| |z| z R
x2 x2 + y 2
si
2| sin(x2 y)|
2x2 |y|
lim
lim 2|y| = 0.
(x,y)(0,0)
(x,y)(0,0) x2 + y 2
(x,y)(0,0)
x2 + y 2
lim
f 0 |f | 0
ci d
2 sin(x2 y)
=0
(x,y)(0,0) x2 + y 2
lim
e dunque anche
Osservazione 3.3.5.
I limiti possono essere usati anche nello studio della continuit di una
Esempio 3.3.6.
2
y
x 6= 0
f (x, y) =
x
0 x=0
a) Si stabilisca se
(0, 0).
D := {(x, y) R2 : |y| x 1}
continua in
b) Si stabilisca se continua in
49
a) Per
x 6= 0
la funzione continua.
f (x, y)
x = 0.
x 0 con y
delle y. Questo
y=
allora
f (x, y)
si ottiene
y2
lim x = 0,
x0 x
x0
0 lim
dove osserviamo che non abbiamo avuto bisogno di considerare i valori assoluti delle quantit
in gioco dato che
x D x 0.
continua in
D.
Notiamo
che questo esempio mostra che una funzione pu essere discontinua in un punto mentre una
sua restrizione pu essere continua nello stesso punto. Ci non deve stupire, in quanto, restringendo una funzione ad un sottoinsieme del suo dominio, si pu escludere un insieme rilevante
di curve lungo le quali calcolare i limiti.
Rn
r(t).
chiaro che se
x x0
x Rn ci
f e r sono
Esempio 3.3.7.
tan ex+y
ex+y 6=
ex+y 6=
Inoltre il denominatore di
dom f
+k
2
con
+k
2
con
k Z.
Se
k Z
k Z+ {0}.
n
o
= (x, y) R2 : x + y 6= log
+ k k Z+ {0} x 6= 0 .
2
50
questo
3.3
per
non esiste. A tale scopo basta trovare due curve passanti per l'origine lungo le quali la funzione
data ammetta limite diverso. Si ha ad esempio (utilizzando un noto limite notevole)
lim f (x,
x0
= tan 1.
D'altra parte
Esempio 3.3.8.
x2 y
x4 + y 2
f (x, y) =
(x, y) 6= (0, 0)
(x, y) = (0, 0)
(0, 0).
per
Si ha che
x2 y
(x,y)(0,0) x4 + y 2
lim
y=x
otteniamo
x3
x
x2 y
=
lim
= lim 2
=0
4
2
4
2
x0 x + x
x0 x + 1
(x,y)(0,0) x + y
lim
y = x2 ,
si ha
x2 y
x4
1
1
=
lim
=
lim
=
.
x0 x4 + x4
x0 2
(x,y)(0,0) x4 + y 2
2
lim
Questo basta a concludere che la funzione data non continua nell'origine (in realt per concludere che la funzione non continua nell'origine bastava solo considerare una curva tale che il
limite preso lungo quella curva non fosse uguale a zero, nel nostro caso bastava dunque l'esame
del limite lungo la curva
y = x2 ).
51
52
CAPITOLO 4
r Denizione 4.1.1.
x0 Rn
e raggio
r > 0 l'insieme
Ur (x0 ) = {x Rn : |x x0 | < r}
r Denizione 4.1.2. Sia E Rn . Un punto x0 E si dice:
interno ad E se Ur (x0 ) E ;
esterno ad E se Ur (x0 ) Rn \ E ;
di frontiera per E se Ur (x0 ), Ur (x0 ) E 6= e Ur (x0 ) Rn \ E 6= .
. L'insieme dei
L'insieme dei punti interni ad E si dice parte interna di E e si indica con E
punti di frontiera si dice bordo di E e si indica con E . L'unione di E e del suo bordo si dice
E E e anche E
E = E .
chiusura di E e si indica con E = E E . Si ha sempre E
.
Esempio 4.1.3.
Sia
(0, 0) R2 .
x2 + y 2 = r 2 .
Sia ora
E :=
{(x, y) R : |y| > x }. L'insieme descritto l'unione delle due regioni interne alle parabole
y = x2 e y = x2 . I punti (0, y) con y 6= 0 sono interni ad E . I punti (x, 0) con x 6= 0 sono
2
esterni ad E . I punti delle due parabole y = x sono di frontiera per E e costituiscono il
2
2
bordo di E . Notiamo che, detto F := {(x, y) R : |y| x }, allora E = F ; E non contiene
la sua frontiera, F la contiene. Questa dierenza viene rimarcata dalla seguente denizione.
53
Denizione 4.1.4. Un insieme E Rn si dice aperto se ogni suo punto interno all'insieme;
Esempio 4.1.5.
L'insieme
dell'esempio
G := {(x, y) R2 : y x2 y < x2 }
non n aperto n chiuso.
Proposizione 4.1.6. L'unione di una famiglia qualsiasi (anche innita) di aperti e l'intersezione nita di aperti ancora un aperto. L'unione nita di chiusi e l'intersezione qualsiasi
(anche innita) di chiusi ancora un chiuso.
+
Osservazione 4.1.7.
Esempio 4.1.8.
Sia
1 1
Cn := ,
n n
T
Cn = {0}
che un chiuso.
{x Rn : f (x) > 0}
{x Rn : f (x) < 0}
{x Rn : f (x) 6= 0}
sono aperti;
b) gli insiemi
{x Rn : f (x) 0}
{x Rn : f (x) 0}
{x Rn : f (x) = 0}
aono chiusi.
.
Esempio 4.1.10.
L'insieme di denizione di
f (x, y) =
4 x2 y 2 +
x2 y
F := {(x, y) R2 : x2 + y 2 4 y x2 }
ed un chiuso perch intersezione dei due insiemi
F1 := {(x, y) R2 : x2 + y 2 4}
54
4.2
F2 := {(x, y) R2 : y x2 }
che sono chiusi perch controimmagine di chiusi tramite funzioni continue.
. Esempio 4.1.11. Gli insiemi di livello di una funzione f (x, y) sono insiemi del tipo f (x, y) =
C e quindi sono chiusi (se f continua!).
g:IRR
f (t0 + h) f (t0 )
.
h0
h
g 0 (t0 ) = lim
n = 2
sia perch il
f : A R2 R una
3
funzione di due variabili il cui graco in R rappresenta una supercie di equazione z = f (x, y).
Supponiamo di voler tenere y costante, per esempio y = y0 e andiamo a considerare la funzione
x 7 f (x, y0 ). Questa una funzione della sola variabile x perci di essa si sa calcolare la
derivata in un punto x = x0 come limite del rapporto incrementale. La stessa cosa si pu
55
y 7 f (x0 , y).
r
x = x0
Denizione 4.2.1.
Sia
f : A R2 R
f
f (x0 + h, y0 ) f (x0 , y0 )
(x0 , y0 ) = lim
h0
x
h
f
fatta rispetto a
(x0 , y0 );
f
f (x0 , y0 + k) f (x0 , y0 )
(x0 , y0 ) = lim
k0
y
k
si chiama derivata parziale di
fatta rispetto a
(x0 , y0 )
Si noti che trattandosi di limiti, le derivate parziali in un punto potrebbero anche non esistere.
Per indicare le derivate parziali in letteratura si usa una delle seguenti notazioni
f
(x0 , y0 )
x
f
(x0 , y0 )
y
r
Denizione 4.2.2.
gradiente di
in
x f (x0 , y0 )
fx (x0 , y0 )
Dx f (x0 , y0 )
D1 f (x0 , y0 )
y f (x0 , y0 )
fy (x0 , y0 )
Dy f (x0 , y0 )
D2 f (x0 , y0 )
(x0 , y0 )
Osservazione 4.2.3.
Df (x0 , y0 )
dominio di
f,
(x0 , y0 )
si dice
gradf (x0 , y0 ).
necessario che gli incrementi lungo una delle due variabili, quindi
nel dominio di
in
f (x0 , y0 )
+
in un punto
x0 + h oppure y0 + k
(x0 , y0 )
stiano ancora
f : A R2 R
con
aperto.
Denizione 4.2.4.
Una funzione
f : A R2 R
Osservazione 4.2.5.
se
A.
La nozione di derivabili, di derivata parziale e di gradiente si pu tran-
f : A Rn R
si avr
f (x) =
con
n > 2.
In tal caso, se
f
f
f
(x),
(x), . . . ,
(x) .
x1
x2
xn
56
derivabile in
x Rn
4.2
. Esempio 4.2.6.
2
2
f (x, y) = e x +y
La funzione
f (x, y) = ex
g(t) = e
derivabile ovunque su
|t|
2 +y 2
g(t) = e
t2
(0, 0).
R2 ;
la funzione
derivabile ovunque su
mentre la funzione
comportamenti naturali nel caso di una variabile hanno eettivamente una controparte analoga
in pi variabili; altri comportamenti invece no: ci sono situazioni in pi variabili che non hanno
controparte in una variabile, come chiariranno i prossimi esempi.
Esempio 4.2.7.
(x.y)
(, 0).
Usando le regole di calcolo provenienti dall'Analisi I (quindi evitando di fare sempre ricorso
alla denizione quando si lavora con funzioni di una variabile che sono derivabili) si ottiene
f
(x, y) = y 3 cos x + 2xy 2 + 3x2
x
f
(x, y) = 3y 2 sin x + 4xy
y
f
(, 0) = 3 2
x
f
(, 0) = 0.
y
Esempio 4.2.8.
chiaro che
Sia
f (x, y) = y
x.
fx (0, 0).
all'origine. Supponiamo che non ci si accorga di questa singolarit e si proceda come al punto
precedente. Si avrebbe
f
y
0
(x, y) =
=
x
0
2 x |(0,0)
che si presenta quindi sotto una forma di indecisione. Quindi il calcolo della derivata parziale
tramite la denizione risulta l'unica via percorribile in ogni caso. Si ha
f
f (h, 0) f (0, 0)
00
(0, 0) = lim
= lim
= 0.
h0
h0
x
h
h
57
Osservazione 4.2.9.
in
f.
0
non una
h
una
diversa da zero
0
; quindi la quantit
sempre
h
zero e quindi dopo il passaggio al limite risulta di nuovo zero (il limite di 0 sempre 0).
Esempio 4.2.10.
Sia
(
f (x, y) =
Calcolare (se esiste)
x2 + y 2
1
(x, y) 6= (0, 0)
(x, y) = (0, 0)
fx (0, 0)
In questo caso non si pu fare a meno di calcolare la derivata parziale richiesta utilizzando la
denizione. Un errore GRAVE e molto comune dire:
in
(0, 0)
f (0 + h, 0) f (0, 0)
h2 1
f
(0, 0) = lim
= lim
h0
h0
x
h
h
e quest'ultimo limite non esiste (se
derivata parziale di
delle
in
(0, 0)
h 0+
non esiste e
dunque f
fa
mentre se
h 0
fa
+).
Dunque la
x.
+ Osservazione 4.2.11.
precedente non continua quindi ci si aspetta che non sia nemmeno derivabile, nel senso che non
esistano le derivate parziali, sulla base del ben noto fatto appreso dall'Analisi I che se una funzione
derivabile allora continua e dunque se non continua in un punto non ivi derivabile. Tuttavia
anche questo ragionamento errato come mostra il seguente controesempio. Di nuovo dunque il
comportamento in pi variabili ammette situazioni che non hanno controparte in una dimensione.
Esempio 4.2.12.
Sia
f (x, y) =
x2
xy
+ y2
0
Calcolare (se esistono)
fx (0, 0)
(x, y) 6= (0, 0)
(x, y) = (0, 0)
fy (0, 0).
58
4.3
Piano tangente
f
f (0 + h, 0) f (0, 0)
(0, 0) = lim
=0
h0
x
h
Quindi le derivate parziali in
(0, 0)
f
f (0, 0 + k) f (0, 0)
(0, 0) = lim
=0
k0
x
k
(0, 0)
y = x
lungo la quale
vale
1/2);
Vedremo dunque
dierenziabilit)
ove
ritrovare i comportamenti noti dall'Analisi I. Ritroveremo questo esempio nel parlare di piano
tangente.
tangente.
Ci poniamo il problema di estendere questo concetto in pi dimensioni, quindi di vedere se
esiste il piano tangente a una supercie.
essere tangente alla funzione in quel punto e quindi approssimare almeno localmente la
funzione in quel punto, cos come la retta tangente approssima localmente la funzione a cui
y=x
e infatti si ha
z = f (x, y)
x = x0
r2 ,
r1
x = x0
z = f (x0 , y) la
r2 ?
variabile e che la derivata (parziale!) nel punto coincide con il coeciente angolare della retta
59
tangente si avr
z = f (x , y ) + f (x , y )(x x )
0 0
0 0
0
x
r1
y = y0
z = f (x , y ) + f (x , y )(y y )
0 0
0 0
0
y
r2
x = x0
quindi il piano che contiene entrambe le rette sar
z = f (x0 , y0 ) +
f
f
(x0 , y0 )(x x0 ) +
(x0 , y0 )(y y0 ).
x
y
(4.3.1)
La domanda che ci facciamo la seguente: siamo sicuri che questo piano cos come l'abbiamo
costruito partendo da un ragionamento intuitivo sia eettivamente tangente alla nostra supercie nel senso di approssimarla localmente? La risposta purtroppo negativa come mostra
il prossimo esempio gi incontrato nel paragrafo precedente.
Esempio 4.3.1.
Sia
f (x, y) =
x2
xy
+ y2
(x, y) 6= (0, 0)
(x, y) = (0, 0)
(0, 0)
xy .
z = 0 cio il piano
y = x fa 1/2:
z = 0 non tangente
alla funzione data nel senso che non approssima la funzione localmente. Quindi in pi variabili
la derivabilit da sola non implica n la continuit n l'esistenza del piano
tangente (comportamento che non ha controparte in una dimensione).
Ci chiediamo dunque qual la propriet che garantisca che eettivamente la (4.3.1) l'equazione
di un piano tangente nel vero senso del termine. A questa domanda risponderemo nel paragrafo
successivo introducendo il concetto di differenziabilit.
4.4. Dierenziabilit
Facciamo di nuovo un passo indietro al caso unidimensionale. In un variabile abbiamo detto
che la derivata in un punto il limite del rapporto incrementale, cio
g(t + h) g(t)
h0
h
g 0 (t) = lim
60
4.4
o(h),
Differenziabilit
si ha che
h 0.
l'incremento
di f sar uguale all'incremento calcolato lungo il piano tangente pi un innitesimo di ordine
superiore rispetto alla lunghezza dell'incremento (h, k) delle variabili indipendenti. In simboli
Analogamente in pi variabili: se una funzione
(xx0 )
(yy0 )
z}|{ f
z}|{
f
o( h2 + k 2 )
(x0 , y0 ) h + (x0 , y0 ) k +
f (x0 + h, y0 + k) f (x0 , y0 ) =
{z
} x
|
{z
}
|
y
{z
} innitesimo di ordine superiore
|
incremento di f
incremento calcolato lungo il piano tangente
(4.4.1)
si ha che o( h2 + k 2 ) tale
o( h2 + k 2 )
lim
= 0.
(h,k)(0,0)
h2 + k 2
per
Denizione 4.4.1.
Osservazione 4.4.2.
che
differenziabile in
(x0 , y0 ).
esiste. La (4.4.1) garantisce che il piano dato dalla (4.3.1) sia eettivamente tangente al graco
di
f.
variabili, allo stesso modo della proposizione seguente e del concetto di dierenziale.
La seguente proposizione chiarisce i ruoli tra derivabilit, dierenziabilit e continuit.
f (x, y) = |x|; essa continua dappertutto quindi anche in (0, 0) ma non dierenziabile in
(0, 0) (fx (0, 0) non esiste nemmeno quindi la (4.4.1) non pu nemmeno essere scritta).
D'altra parte f derivabile non implica f dierenziabile. Basta considerare la funzione dell'Esempio 4.3.1 e mostrare che essa non dierenziabile. Si dovrebbe mostrare con la denizione
che
=0
(h,k)(0,0)
h2 + k 2
lim
61
invece
= lim
(h,k)(0,0)
(h,k)(0,0) (h2 + k 2 ) h2 + k 2
h2 + k 2
lim
Denizione 4.4.4.
l'applicazione lineare
h=k
e si otterrebbe
limh0
h
) che non esiste.
2 2h2 |h|
Denizione 4.4.5.
L'approssimazione dell'incremento di
nel passare da
(x0 , y0 )
f.
Si tratta di avere a che fare con un limite anche piuttosto complicato in cui
compare sempre una forma di indecisione. Il seguente risultato semplica un p le cose. Anche
questo enunciato pu essere generalizzato al caso di
Teorema 4.4.6.
variabili.
Siano f : A R2
R con A aperto e (x0 , y0 ) A. Supponiamo che le derivate parziali esistano in un intorno
di (x0 , y0 ) e siano continue in (x0 , y0 ). Allora f dierenziabile in (x0 , y0 ). In particolare,
se le derivate parziali di f esistono e sono continue in A allora f dierenziabile in tutti i
punti di A. Quindi vale l'implicazione
(condizione sufficiente di differenziabilit)
f C 1 (A) f
dierenziabile in
A.
Esempio 4.4.7.
Sia
f : R2 R
denita mediante
1
(x2 + y 2 ) sin
(x, y) 6= (0, 0)
2
x + y2
f (x, y) =
0
(x, y) = (0, 0)
Se
(x, y) 6= (0, 0)
allora
f
1
1
2x
= 2x sin 2
+ (x2 + y 2 ) cos 2
2
2
2
x
x +y
x + y (x + y 2 )2
mentre
h2 sin h12
f
f (h, 0) f (0, 0)
(0, 0) = lim
= lim
=0
h0
h0
x
h
h
62
4.4
Differenziabilit
(x, y) 6= (0, 0)
D'altra parte, se
allora
f
1
2y
1
= 2y sin 2
cos 2
2
2
2
y
x +y
x + y x + y2
mentre
h2 sin h12
f
f (0, h) f (0, 0)
(0, 0) = lim
= lim
= 0.
h0
h0
y
h
h
Dunque
1
(0, 0) k f
(0, 0)
f (h, k) f (0, 0) h f
(h2 + k 2 ) sin h2 +k
2
x
y
lim
= lim
= 0,
2
2
2
2
(h,k)(0,0)
(h,k)(0,0)
h +k
h +k
dato che
Dunque
0 h2 + k 2 sin
f
dierenziabile in
(0, 0).
lim
D'altra parte
2x sin
(x,y)(0,0)
1 2
h + k 2 0.
h2 + k 2
x2
2x
1
1
2
cos 2
2
2
+y
x +y
x + y2
non esiste e quindi in particolare non zero (per vederlo basta prendere la curva
Esercizio 4.4.8.
y = x).
p
4x2 + y 2 . Calcolare f nel punto (0, 1) e scrivere
l'equazione del piano tangente al graco di f sopra tale punto; calcolare, se esistono, le derivate
parziali di f in (0, 0).
Sia
f (x, y) = arctan
dierenziabili (
4x2
y 2 si annulla solo in
di funzioni
1
1
f
=
p
8x
2
2
x
1 + (4x + y ) 2 4x2 + y 2
f
1
1
=
p
2y
2
2
y
1 + (4x + y ) 2 4x2 + y 2
e sono continue su
R2 \ {(0, 0)}
f C1
(0, 1) :
e dunque dierenziabile).
1
f (0, 1) = 0,
2
e il piano tangente
z=
1
1
1
+ (y 1) = y + .
4 2
2
4 2
Si ha poi
f
f (h, 0) f (0, 0)
arctan 4h2
arctan 2|h|
arctan 2|h| 2|h|
(0, 0) = lim
= lim
= lim
= lim
h0
h0
h0
h0
x
h
h
h
2|h|
h
63
h0
f
(0, 0) = 2
x
lim
f
(0, 0) = 2.
x
lim+
h0
f
(0, 0).
y
xi .
xi
anche rispetto
ad altre direzioni che non siano quelle lungo gli assi cartesiani.
Consideriamo un punto
x0
x = x0 + t v ,
con
t R.
x0
e di versore
v,
cio
Il corrispondente incremento
sar
f (x0 + t v) f (x0 )
quindi, essendoci ricondotti a una situazione uni-dimensionale, possiamo prendere il limite per
t 0.
r
Denizione 4.5.1.
vettore di
Sia
f : A Rn R,
con
nel punto
x0
x0 A e v un versore (cio un
direzionale di f rispetto al versore
aperto; sia
il limite
Dv f (x0 ) = lim
t0
x0
lungo
in direzione
v,
v in x0
cio
in 0, cio
Dv f (x0 ) = g 0 (0).
64
per
t 0
signica
4.5
Osservazione 4.5.2.
Derivate direzionali
ei .
R2
pu essere conveniente-
v = (cos , sin )
dove
x.
Dv f (x0 , y0 ) = lim
t0
f
(x0 , y0 ) = Dv f (x0 , y0 )
x
f
(x0 , y0 ) = Dv f (x0 , y0 )
y
-
Esercizio 4.5.3.
in
(0, 0)?
Sia
v = (cos , sin ).
Sia
f (x, y) =
p
3
xy 2 .
v=i
=0
v=j
Calcolare se esistono
Dv f (0, 0). f
dierenziabile
Allora
3
t cos sin2 0 p
3
Dv f (0, 0) = lim
= cos sin2
t0
t
(0, 0).
(h,k)(0,0)
h2 + k 2
lim
esiste e fa zero. Invece si ha che il limite proposto non esiste. Infatti dal punto precedente si
ha che
fx (0, 0) = 0
fy (0, 0) = 0
(basta prendere
=0
= /2)
da cui
3
h k2
f (h, k) f (0, 0) fx (0, 0)h fy (0, 0)k
lim
= lim
(h,k)(0,0)
(h,k)(0,0)
h2 + k 2
h2 + k 2
non esiste; (basta prendere
(0, 0).
h=k
e si ottiene
limh0
h ). Quindi
2|h|
non dierenziabile in
Si pu dunque concludere che anche l'esistenza di tutte le derivate direzionali (non solo
dierenziabile.
65
Osservazione 4.5.5.
n
X
f
(x0 )vi .
x
i
i=1
Quindi
n=2
Dv f (x0 , y0 ) = f (x0 , y0 ) v =
dove come prima abbiamo posto
Esempio 4.5.6.
Consideriamo la funzione
f (x, y) =
Si osserva innanzitutto che
v = (cos , sin )
f =0
|y| > x2 y = 0
1
0
sull'asse
diverso da
f (x, y) = 1,
f
f
(x0 , y0 ) cos +
(x0 , y0 ) sin
x
y
v = (cos , sin ).
versore
(1, 0),
altrove
e quindi
fx (0, 0) = 0.
si ha
Dv f (0, 0) = lim
Perci
f (0, 0) = 0
lim f (x, x3 ) = 0.
lim f (x, 0) = 1,
x0+
+ Osservazione 4.5.7.
x0+
abbiamo
dove
tra
e 1, si ha che
Dv
f (x0 , y0 ).
66
Poich
4.6
Teorema 4.6.1.
Siano f, g : Rn R funzioni
derivabili e siano , R. Allora valgono le seguenti propriet del gradiente:
(formule di calcolo per le derivate)
(f + g) = f + g
(f
g)= gf + f g
gf f g
f
=
g
g2
Analoghe propriet valgono per i dierenziali.
Molto importante anche la regola per la derivazione delle funzioni composte che enunciamo
in due casi particolari.
Teorema 4.6.2.
Sia f : A
R R e sia g : I R R. Supponiamo che la funzione composta h(x) = g(f (x)) sia
denita in almeno un intorno U di x0 A. Se f dierenziabile in x0 e g derivabile in
f (x0 ), allora la funzione composta
(derivazione delle funzioni composte - primo caso)
h = g f : U Rn R
dierenziabile in x0 e si ha
h(x0 ) = g 0 (f (x0 )) f (x0 ).
Esempio 4.6.3.
3
2 2xy
Sia f : R R denita da f (x, y, z) = z e
e sia g : [1, +) R
denita da g(r) =
r + 1. Allora la funzione composta h(x, y, z) = g(f (x, y, z)) ben denita
(perch l'immagine di f sempre positiva o nulla) e dalla formula di derivazione della funzione
67
composta si ha
1
h(x, y, z) = g 0 (f (x, y, z)) f (x, y, z) =
2z 2 e2xy , z 2 e2xy , 2z e2xy .
2 z 2 e2xy + 1
g 0 (x, y, z) (che non ha assolutamente senso
0
visto che g funzione di una sola variabile reale!); infatti g deve essere calcolata non nel punto
(x, y, z) ma nella sua immagine tramite f , cio nel nostro caso z 2 e2xy . Lo stesso risultato si
Un errore frequente quello di scrivere nella formula
ottiene esplicitando
h(x, y, z) =
z 2 e2xy + 1
e calcolandone il gradiente direttamente senza usare la formula della derivazione della funzione
composta.
Teorema 4.6.4.
Sia r :
derivabile in t0 e si ha
n
X
f
(r(t0 )) ri0 (t0 ).
g (t0 ) = f (r(t0 )) r (t0 ) =
xi
i=1
0
e si ha
f (u, v, z) = (2u v eu , eu , 0)
quindi
2
g(x) = cos x ex
68
4.7
e calcolandone la derivata direttamente senza usare la formula della derivazione della funzione
composta.
Sia
2f
=
2
x
x
f
x
2f
=
yx
y
2f
=
2
y
y
f
x
(4.7.1)
2f
=
xy
x
f
y
f
y
.
(4.7.2)
Naturalmente tutto ci se queste derivate esistono (essendo limiti di opportuni rapporti incrementali, potrebbero anche non esistere).
Le (4.7.1) e (4.7.2) si dicono derivate parziali seconde; per indicarle, si usano anche altri
simboli, per esempio
fxx , fxy , . . .
f : A Rn R,
con
aperto.
Denizione 4.7.1.
xj
di una funzione
f xi ,
se esiste,
si indica con
2f
=
xj xi
xj
.
Esempio 4.7.2.
Sia
f (x, y) = ex cos y .
f
xi
.
Allora si ha che
fx (x, y) = ex cos y
fy (x, y) = ex sin y
da cui
qualunque
Sezione 4.10).
69
che le derivate parziali seconde miste esistano in un intorno di un punto (x, y) e siano
entrambe continue in (x, y). Allora coincidono in (x, y). In particolare, se le derivate parziali
miste esistono e sono continue in tutto A allora coincidono su tutto A.
f C 2 (A) f C 1 (A) f
dierenziabile in
f C 2 (A)
Naturalmente, sebbene di solito questa condizione sia vericata, esistono casi in cui una funzione possiede derivate miste diverse tra loro. Naturalmente questa funzione non sar di classe
C2
Esempio 4.7.4.
Sia
2
2
xy(x y )
x2 + y 2
f (x, y) =
0
Si verica che
ine.
f C 1 (R2 )
Quindi il teorema di Schwarz non si applica e non possiamo aermare a priori che
(x, y) 6= (0, 0)
Osservazione 4.7.5.
fxy (0, 0) =
k.
Denizione 4.8.1.
in cui compare una funzione incognita di pi variabili assieme ad alcune delle sue derivate fatte
rispetto (almeno) a due variabili diverse.
70
4.9
Le equazioni alle derivate parziali (abbreviato E.D.P.) intervengono nella formulazione e modellizzazione di numerosissime leggi siche e fenomeni nel campo della sica e dell'ingegneria.
Molte E.D.P. (non lineari) sono attualmente oggetto di studio da parte di diversi rami
dell'Analisi Matematica.
Alcuni esempi tra i pi importanti sono:
u u
+
=0
x
t
Come dice il nome, rappresenta il trasporto di sostanze, per esempio di una sostanza inquinante
4=
n
X
2
x2i
i=1
2u 2u 2u
+
+
=0
x2 y 2 z 2
(o quello gravitazionale)
ut = k 4u;
modellizza ad esempio la temperatura
duzione, senza pozzi n sorgenti;
materiale.
utt = c2 uxx ;
modellizza ad esempio piccole vibrazioni di una corda elastica e tesa;
c la velocit di propagazione
dell'onda.
Denizione 4.9.1.
f : A R2 R, f C 2 (A)
di f in (x0 , y0 ) la funzione denita da
Sia
differenziale secondo
d2 f (x0 , y0 ) : (h, k) 7
e sia
(x0 , y0 ) A.
2f
2f
2f
2
(x
,
y
)h
+
2
(x
,
y
)h
k
+
(x0 , y0 ) k 2
0 0
0 0
x2
xy
y 2
71
Si dice
I coecienti che compaiono nel dierenziale secondo possono essere ordinati in una matrice
2 2 detta matrice Hessiana di f in (x0 , y0 )
Hf (x0 , y0 ) =
f C 2 (A)
A.
C 2 (A)
permette
Teorema 4.9.2.
Sia f : A
R R, f C (A); per ogni (x0 , y0 ) A e (h, k) R tale che (x0 + h, y0 + k) A. Allora
esiste un numero reale (0, 1) dipendente da (x0 , y0 ) e (h, k) tale che
2
1
f (x0 + h, y0 + k) = f (x0 , y0 ) + fx (x0 , y0 )h + fy (x0 , y0 )k + fxx (x0 + h, y0 + k)h2
2
1
+fxy (x0 + h, y0 + k) hk + fyy (x0 + h, y0 + k)k 2
2
1
f ((x0 + h, y0 + k) = f (x0 , y0 ) + fx (x0 , y0 )h + fy (x0 , y0 )k + fxx (x0 , y0 )h2
2
1
+fxy (x0 , y0 ) hk + fyy (x0 , y0 )k 2 + o( h2 + k 2 ) per (h, k) (0, 0).
2
72
4.10
Teorema 4.10.1.
Complementi: il caso
Sia f : A Rn R con A aperto. Supponiamo che per certi indici i, j {1, 2, . . . , n} le derivate parziali seconde miste fxi xj e fxj xi
esistano in un intorno di un punto x0 e siano entrambe continue in x0 . Allora coincidono
in x0 . In particolare, se le derivate parziali miste fxi xj e fxj xi esistono e sono continue in
tutto A allora coincidono su tutto A.
(teorema di Schwarz)
Denizione 4.10.2.
secondo di
in
x0
Sia
f : A Rn R, f C 2 (A)
e sia
x0 A.
Si dice differenziale
la funzione denita da
n X
n
X
2f
d f (x0 ) : h 7
(x0 )hi hj .
xi xj
i=1 j=1
2
2f
I coecienti
che compaiono nel dierenziale secondo possono essere ordinati in una
xi xj
matrice 2 2 detta matrice Hessiana di f in x0
.
...
f C 2 (A)
fx1 xn (x0 )
fx2 xn (x0 )
..
...
.
. . . fxn xn (x0 )
...
...
A.
Si ha inoltre
Teorema 4.10.3.
Sia f : A
R R, f C (A); per ogni x0 A e h R tale che x0 + h A. Allora esiste un numero
reale (0, 1) dipendente da x0 e h tale che
n
n
n
X
f
1 X 2f
f (x0 + h) = f (x0 ) +
(x0 )hi +
(x0 + h) hi hj
xi
2 i,j=1 xi xj
i=1
73
Teorema 4.10.4.
Sia f : A
n
n
X
f
1 X 2f
f (x0 + h) = f (x0 ) +
(x0 )hi +
(x0 ) hi hj + o(|h|2 )
x
2
x
x
i
i
j
i=1
i,j=1
74
per
h0
CAPITOLO 5
ottimizzazione
importanza nelle scienze applicate. L'idea di fondo quella di massimizzare o minimizzare una
certa quantit sotto opportune condizioni, la cui modellizzazione matematica dipende dalla
natura del problema e quindi presenta diversi gradi di complessit; ad esempio, in meccanica
minimizzare l'energia potenziale di un sistema signica individuare le posizioni di equilibrio stabile, ma ci sono anche problemi di ottimizzazione che intervengono anche in campo economico
(massimizzare un utile o un protto o minimizzare i costi) in campo tecnologico (minimizzare
l'attrito o le turbolenze...)
In questo corso andremo a lavorare con funzioni reali di
zione al caso
n = 2.
n variabili reali,
se
di
aperto);
frontiera di
assunti su un sottoinsieme
Denizione 5.1.1.
f : A Rn R
x0 A. Diciamo che:
(a) x0 punto di massimo assoluto per f in A se x A si ha f (x) f (x0 ). In tal caso
f (x0 ) si dice massimo assoluto o globale per f in A.
(b) x0 punto di minimo assoluto per f in A se x A si ha f (x) f (x0 ). In tal caso
f (x0 ) si dice minimo assoluto o globale per f in A.
(c) x0 punto di massimo relativo o locale per f se esiste un intorno U di x0 tale che
x U si ha f (x) f (x0 ). In tal caso f (x0 ) si dice massimo relativo o locale per f .
r
Sia
75
x0 punto di minimo
x U si ha f (x) f (x0 ).
(d)
In tal caso
f (x0 )
se esiste un intorno
di
x0
tale che
f.
Le domande che ci poniamo sono: esistono eettivamente punti di massimo o minimo, locali o
globali, per una data funzione
f?
Prima di andare a rispondere a questi quesiti, premettiamo alcuni esempi che riguardano il
caso di funzioni reali di variabile reale.
Esempio 5.1.2.
in
Sia
si annulla solo
caso di funzioni reali di una variabile reale non tutti i punti che annullano la derivata prima
sono eettivamente punti di massimo (o minimo).
Esempio 5.1.4.
Sia
f (x) = |x|.
Allora
x=0
punto di minimo ma in
x=0
la
non
derivabile. Quindi anche in una variabile i punti di massimo/minimo globale o locale possono
trovarsi tra i punti di non derivabilit per
f.
. Esempio 5.1.5. Sia f (x) = x2 per x [1, 2]. Allora x = 0 punto di minimo globale;
x = 1 punto di massimo locale; x = 2 punto di massimo globale. Quindi anche nel caso
di funzioni di una variabile reale a valori reali i punti di massimo o minimo, locale o globale,
si possono trovare anche nei punti del bordo (dove si ha solo la nozione di derivata destra o
sinistra) e in generale vanno analizzati a parte.
Quindi il nostro obiettivo sar quello di andare a studiare il caso di funzioni di
variabili
76
5.3
Teorema 5.2.2. (teorema degli zeri) Sia E Rn un insieme connesso (per archi, cio
un insieme tale che presi comunque due punti dell'insieme, esiste un arco continuo che li
congiunge tutto contenuto in E ) di Rn e f : E R una funzione continua. Se x e y sono
due punti di E tali che f (x) > 0 e f (y) < 0 allora esiste un punto z E tale che f (y) = 0.
Quest'ultimo risultato particolarmente signicativo nello studio del segno di una funzione
f:
spezza
ha segno costante;
conoscere il segno dappertutto il quella parte. Questo risultato verr usato per studiare il segno
di
f : A Rn R
con
su-
Teorema 5.3.1.
il gradiente.
(teorema di Fermat)
derivabile in
A,
tali
Esempio 5.3.2.
p
f (x, y) = x2 + y 2 . Questa funzione chiaramente la controparte in
due variabili della funzione g(t) = |t| e infatti anche f non derivabile in (x, y) = (0, 0). Per
f (x, y) 0 per ogni (x, y) R2 quindi (0, 0) punto di minimo globale per f .
Esempio 5.3.3.
Sia
Sia
77
f.
intorno dell'origine contiene punti in cui l'incremento ha segno opposto, quindi il punto
(0, 0)
non pu essere n di massimo n di minimo: si dice pertanto che un punto di sella o colle
. Esempio
f C (R2 ) e
5.3.4.
quindi
di Fermat. Si ha
(x, y) = (0, 0)
(x, y) = (2, 1)
In questo caso per non facile studiare la natura di tali punti passando attraverso lo studio
dell'incremento. chiaro quindi che si rende necessario stabilire dei criteri che aiutino a portare
avanti in modo agevole questa analisi.
n variabili).
o stazionari, cio dei punti che annullano il gradiente, l'idea quella di andare a considerare il
segno dell'incremento di
f,
come
(x0 , y0 )
allora
punto di minimo
locale; se invece
l'incremento non
Quindi per far vedere che un punto critico sella o colle suciente trovare due curve diverse
lungo le quali la restrizione della
78
5.5
n=2
Ricordiamoci della formula di Taylor del secondo ordine con resto di Peano. Allora la possiamo
riscrivere in questo modo
1
4f (x0 , y0 ) = f (x0 + h, y0 + k) f (x0 , y0 ) = fx (x0 , y0 )h + fy (x0 , y0 )k + fxx (x0 , y0 )h2
2
1
+fxy (x0 , y0 )hk + fyy (x0 , y0 )k 2 + o( h2 + k 2 ).
2
Naturalmente se
si riscrive come
1
1
4f (x0 , y0 ) = f (x0 + h, y0 + k) f (x0 , y0 ) = fxx (x0 , y0 )h2 + fxy (x0 , y0 )hk + fyy (x0 , y0 )k 2
2
2
2
2
+o( h + k ).
Quindi la determinazione del segno dell'incremento di
f in (x0 , y0 )
(h, k) dato da
ferenziale secondo di
nelle componenti
4f (x0 , y0 )
1
1
fxx (x0 , y0 )h2 + fxy (x0 , y0 )hk + fyy (x0 , y0 )k 2
2
2
che un caso particolare di forma quadratica.
Denizione 5.5.1.
R2
una funzione
q : R2 R
denita da
aij
a12 = a21 .
Ogni forma quadratica risulta cos associata biunivocamente a una matrice simmetrica
M=
a11 a12
a12 a22
che nel caso del dierenziale secondo coincide con la matrice Hessiana.
79
Si pu
Esempio 5.5.2.
La forma quadratica
q(h, k) = h2 2k 2 + 4hk
risulta associata alla matrice
M=
1 2
2 2
q sempre un polinomio omogeneo di secondo grado, quindi q(th, tk) = t q(h, k) per ogni t R, perci q(h, k) assume sempre
segno costante su ogni retta passante per l'origine (con q(0, 0) = 0).
Una prima osservazione riguardante le forme quadratiche che
q(h, k) = h2 + k 2 . In questo caso q(h, k) > 0 per ogni (h, k) 6= (0, 0).
2
2
caso (b) q(h, k) = h k . In questo caso q(h, k) < 0 per ogni (h, k) 6= 0
2
caso (c) q(h, k) = h . In questo caso q(h, k) sempre positiva tranne che nei vettori del
tipo (0, k) in cui si annulla.
caso (d) q(h, k) = h2 . In questo caso q(h, k) sempre negativa tranne che nei vettori del
tipo (0, k) in cui si annulla.
caso (e) q(h, k) = h2 + k 2 . In questo caso q(h, k) > 0 se (h, k) = (0, k) (k 6= 0) e
q(h, k) < 0 se (h, k) = (h, 0) (h 6= 0).
caso (a)
Questi esempi suggeriscono la seguente classicazione che si applica sia alla forma quadratica
che alla matrice ad essa associata.
Denizione 5.5.3.
q(h, k)
con
(h, k) R2
(o la matrice simmetrica
corrispondente) si dice:
caso (a) definita positiva se q(h, k) > 0 per ogni (h, k) 6= (0, 0)
caso (b) definita negativa se q(h, k) < 0 per ogni (h, k) 6= (0, 0)
caso (c) semidefinita positiva se per ogni (h, k) 6= (0, 0) si ha q(h, k) 0 ed esiste
(h, k) 6= (0, 0) tale che q(h, k) = 0
caso (d) semidefinita negativa se per ogni (h, k) 6= (0, 0) si ha q(h, k) 0 ed esiste
(h, k) 6= (0, 0) tale che q(h, k) = 0
caso (e) indefinita se esistono (h1 , k1 ) e (h2 , k2 ) tali che q(h1 , k1 ) > 0 e q(h2 , k2 ) < 0.
80
5.6
Esempio 5.5.5.
Sia
Allora
a11 = 2 < 0;
det
M=5>0
2 1
1 3
Denizione 5.6.1.
Rn
q(h) = q(h1 , h2 , . . . , hn ) =
una funzione
n
X
q : Rn R
denita da
aij hi hj
i,j=1
dove gli
aij
aij = aji .
Si pu
M = {aij }i,j=1,...,n .
Denizione 5.6.2. Una forma quadratica q(h) con h Rn (o la matrice simmetrica corrispon-
dente) si dice:
81
tale che
q(h) = 0
(h1 )
(h2 )
tali che
q(h1 ) > 0
q(h2 ) < 0.
Teorema 5.6.3.
variabili)
M1 =
a11
Allora q(h) :
a11 a12
a12 a22
M2 =
...
Mn = M
Denizione 5.7.1.
Sia
In ) = 0.
n in pertanto dal teorema fondamentale dell'aldi M contati con la loro molteplicit. Quindi si pu
autovalori
82
5.8
Teorema 5.7.2.
La classicazione delle forme quadratiche quindi si pu basare sullo studio del segno degli
autovalori.
5.8.1.
Il caso
n=2
Concludiamo la nostra analisi dando informazioni utili per determinare la natura di un punto stazionario per una funzione di classe almeno
C 2.
nullo, dal Teorema di Fermat, quindi abbiamo visto dalla formula di Taylor che per estrarre
informazioni sulla natura del punto critico, occorre studiare e classicare la forma quadratica
corrispondente alla matrice Hessiana. Si perviene dunque al seguente teorema.
83
Teorema 5.8.1.
n = 2) Sia f
(x0 , y0 )
negativa e
Hf (x0 , y0 ) > 0 e fxx (x0 , y0 ) > 0 allora la matrice Hessina denita positiva
(x0 , y0 )
Hf (x0 , y0 ) > 0
Hf (x0 , y0 ) < 0
(x0 , y0 )
un punto
di sella o colle.
5.8.2.
Il caso generale
Teorema 5.8.2.
Sia
q(h) =
n
X
i,j=1
(x0 )
84
5.8
Esempio 5.8.3.
Sia
f (x, y) = x2 y 3 .
che l'origine un punto di sella o colle. La matrice Hessiana nel generico punto
2 0
0 6y
Hf (x, y) =
quindi nell'origine
2 0
0 0
Hf (x, y) =
che semindenita positiva. Quindi dal teorema possiamo solo dedurre a priori che l'origine
non un punto di massimo relativo ma potrebbe essere minimo relativo o sella. La conclusione
viene da un'analisi ulteriore come si fatto in precedenza.
Esempio 5.8.4.
Sia
f (x, y) = x2 + 2y 2 x2 y .
(x, y) = (0, 0)
(x, y) = (2, 1)
Andiamo ora a studiarne la natura attraverso lo studio della corrispondente matrice Hessiana.
Si ha che la matrice Hessiana di
Hf (x, y) =
2(1 y) 2x
2x
4
Hf (0, 0) =
2 0
0 4
!
Hf (2, 1) =
0 4
4 4
!
Hf (2, 1) =
0 4
4 4
Quindi riassumendo
detHf (0, 0)
=8<0
quindi la matrice Hessiana relativa all'origine denita positiva: allora l'origine un punto
di minimo assoluto (si poteva pervenire gi a tale conclusione mostrando che la funzione
detHf (2, 1)
85
(2, 1)
Esercizio 5.9.1. Si determinino gli eventuali estremi locali e globali della funzione
f (x, y) = (x2 + y 2 )e(x
La funzione
p
x2 + y 2 .
2 +y 2 )
r =
rigine. In casi come questo si pu semplicare la ricerca degli estremi studiando la funzione di
una sola variabile
g(r) = r2 er
Si ha
g(0) = 0
e anche
g(r) 0
per ogni
r 0.
anzi pi precisamente
g(r) > 0
per ogni
r 6= 0.
Inoltre
lim g(r) = 0
r+
e dunque
r=0
e dunque
se
r = 1.
Perci se
circonferenza unitaria.
Esercizio 5.9.2. Si determinino gli eventuali estremi locali e globali della funzione
p
f (x, y) = x 3 (y x)2 .
f denita e
{(x, y) R2 : y = x} tranne
La funzione
continua in
R2 .
l'origine si ha che
non dierenziabile. Si ha
f
f (x + h, x) f (x, x)
(x + h) h2
3
(x, x) = lim
= lim
= lim xh1/3 + lim h2 .
h0
h0
h0
h0
x
h
h
Il limite del primo addendo, per x 6= 0 non esiste e quindi sicuramente f non dierenziabile
nei punti (x, x) con x 6= 0. nell'origine invece si ha
p
h 3 (h)2
f
f (h, 0) f (0, 0)
(0, 0) = lim
= lim
=0
h0
h0
x
h
h
86
5.9
mentre
f
f (0, h) f (0, 0)
(0, 0) = lim
=0
h0
y
h
dunque
p
h 3 (k h)2
f (h, k) f (0, 0) hfx (0, 0) kfy (0, 0)
lim
= lim
(h,k)(0,0)
(h,k)(0,0)
h2 + k 2
h2 + k 2
e questo limite esiste e fa 0, dunque in
(0, 0) f
cercati tra i punti critici e i punti della bisettrice del primo e terzo quadrante (origine esclusa).
Allora
3y 5x
fx (x, y) =
3 yx
e dunque il gradiente di
diverso da zero in
2x
fy (x, y) =
3 yx
f (x, y)
R2 \ {(x, y) : y = x}.
y = x (origine esclusa).
Su tale retta si ha
f (x, y) = 0.
di minimo locale mentre i punti della bisettrice del terzo quadrante sono di massimo locale.
Infatti
f (x, y) 0
per
x>0
f (x, y) 0
per
x < 0.
lim
f (x, y) = +
(x,y)(+,0)
e
lim
f (x, y) = .
(x,y)(,0)
Esercizio 5.9.3. Si determinino gli eventuali estremi locali e globali della funzione
f (x, y) = x2 log(1 + y) + x2 y 2
l'insieme aperto
C (R2 ).
fx (x, y) = 2x(log(1 + y) + y ) = 0
1
2
fy (x, y) = x
+ 2y = 0.
1+y
87
Si ha sicuramente
x = 0;
log(1 + y) + y 2 = 0
e
1
+ 2y = 0.
1+y
y = 0
2y + 2y + 1 = 0 che non ci d
inniti punti (0, k) con k > 1.
Hessiana.
f (x, y) = 0.
fyy (x, y) = x 2
fxy (x, y) = fyx (x, y) = 2x
1
(1 + y)2
1
+ 2y ;
1+y
dunque
log(1 + k) + k 2 0
Hf (0, k) =
log(1 + y) + y 2 =: g(y).
g(y) y = 0,
+
y0 > 0
lim
f (x, y) =
(x,y)(+,y0 )
1 < y0 < 0
se
e perci
inf f (x, y) = .
sup f (x, y) = +
88
5.10
Funzioni convesse in
variabili
funzioni convesse.
Denizione 5.10.2.
f : Rn R
l'insieme
f : Rn R
convessa (risp.
strettamente convessa)
Rn+1 ;
si dice che
convessa.
Osservando che se
in avanti assumeremo
se la precedente vale con il segno di disuguaglianza stretta per ogni t (0, 1) allora f
strettamente convessa.
Vale anche il seguente teorema che mostra che la condizione di convessit implica una certa
regolarit per
f.
1)
2)
3)
f continua;
f ha derivate parziali destre e sinistre in ogni punto;
nei punti in cui derivabile f dierenziabile.
89
Inoltre vale il seguente importante risultato che l'analogo in pi dimensioni del fatto che
una funzione reale di una variabile reale convessa sta sopra la retta tangente in ogni suo punto.
f (x, y) f (x0 , y0 ) +
f
f
(x0 , y0 )(x x0 ) +
(x0 , y0 )(y y0 ).
x
y
(x0 , y0 )
f.
Per funzioni di pi variabili si pu enunciare un criterio che dato dallo studio del segno della
forma quadratica data dal dierenziale secondo, in analogia al fatto che in una variabile il segno
della derivata seconda fornisce un criterio per studiare la convessit di una funzione.
Proposizione 5.10.7. Sia un aperto convesso e sia f : R una funzione convessa (risp.
5.11
f (x, y) = c
con
f (x, y) = c dato da
f (x, y) = 0
r
denisce
f (x, y)
denita almeno
Denizione 5.11.2.
Una funzione
g:IR
(con
IR
f (x, g(x)) = 0 x I
si dice definita implicitamente dall'equazione
implicita
Per chiarire:
intervallo
di
l'equazione
g se
f (x, g(x)) = 0.
una funzione
esiste un
che
L'unicit
funzione
Esempio 5.11.3.
Consideriamo la funzione
F (x, y) = x3 + y 3 + x2 y 3y 2 .
Prima di tutto si ha
F
= 3y 2 + x2 6y 3y 2 6y + 3 = 3(y 1)2 0
y
visto che
x 3 x2 3.
lim F (x, y) = ,
91
allora
x 3
esiste unico
y = f1 (x)
tale che
F (x, f1 (x)) = 0.
F
0, si ha che la funzione y 7 F (x, y) con x ssato, strettamente crescente,
y
quindi intersecher l'asse delle x una volta sola, cio si annulla una sola volta. Dunque per
ogni x0 ssato esiste un solo y0 tale che F (x0 , y0 ) = 0. Ne segue che per ogni x 3 esiste
un unico valore di y che funzione di x (cio y = f1 (x)) tale che
Infatti essendo
F (x, f1 (x)) = 0.
Analogamente si prova che
F (x, y) = 0
denisce implicitamente un'unica funzione
f2
nell'intervallo
I2 = [ 3, +).
In entrambi i casi,
F (0, y) = y 3 3y 2 = 0 y = 0 y = 3
e quindi l'equazione
F (0, y) = 0
x=1
si ha
F (1, y) = 1 + y 3 + y 3y 2 = (y 1)(y 2 2y 1)
e dunque l'equazione
F (x, y) = 0
y1 = 1,
ha tre soluzioni:
y2 = 1
2,
y3 = 1 +
2.
in un punto
f (x, g(x)) = 0,
ottenendo, per il teorema delle funzioni composte
g 0 (x) =
fx (x, g(x))
fy (x, g(x))
92
in
I,
siccome anche
5.11
per ogni
xI
abbia
f (x0 , y0 ) = 0
fy (x0 , y0 ) 6= 0.
Inoltre g C 1 (I) e si ha
g 0 (x) =
Osservazione 5.11.5.
f (x, g(x)) = 0
fx (x, g(x))
fy (x, g(x))
x I.
x I.
Se
In sostanza i punti in cui il teorema del Dini non applicabile sono quelli in cui il gradiente di
annulla, cio i punti critici di
Esempio 5.11.6.
Sia
si
f.
f (x, y) = x2 + y 2 .
L'equazione
x2 + y 2 = 1
la circonferenza di centro l'origine e raggio 1, che una ben nota curva (regolare) ma non
una funzione. Ci chiediamo se essa denisce implicitamente una funzione delle variabili
e per quali punti. Il gradiente di
quindi se
y 6= 0,
0:
fy (x, y) = 0 y =
y = 1 x2
93
p
x = 1 y2
Esempio 5.11.7.
x>0
(che esplicitata ha la
x < 0.
(x 1) log(sin y) + (y 1) tan(x2 ) = 0
permette di rappresentare
Si calcoli
y (1).
di classe
C1
in un intorno di
(1, 1).
fy (x, y) = (x 1)
da cui
Poi si ha
e inne
cos y
+ tan(x2 )
sin y
fy (1, 1) = tan 1 6= 0.
f (1, 1) = 0
f (x, y(x)) = 0.
y 0 (x) =
di
Si ha inoltre
fx (x, y(x))
fy (x, y(x))
x I
da cui
y 0 (1) =
.
Esempio 5.11.8.
log(sin 1)
.
tan 1
Sia ora
F (x, y) = x2 y 2 .
Consideriamo l'origine. Si ha
(0, 0) non sono soddisfatte e anche la tesi non soddisfatta, infatti non esiste
dell'origine in cui l'equazione denisca implicitamente un'unica funzione della x
y.
Esempio 5.11.9.
Sia
F (x, y) = x3 + y 3 3rxy = 0
94
r > 0.
5.11
Fx (0, 0) = Fy (0, 0) = 0
y = y(x)
F (0, 0) =
(0, 0). Invece
Si ha
tale che
x3 + (y(x))3 3rxy(x) = 0.
Derivando rispetto a
si ha
y0
y0 =
ry x2
.
rx y 2
Osserviamo prima di tutto che questa un'equazione dierenziale del primo ordine, che esprime
y0
in funzione di
purch risulti
y 2 rx 6= 0.
Fx = 3x2 3xy
Inne si osservi che gli unici punti
(2
-
2/3
1/3
r, 2
(x, y)
Fy = 3y 2 3ry.
y 2 rx = 0
r).
Studiare E.
soluzione. L'insieme
Fisso
x0 .
del tipo
F (x, y) = 0
con
F (x, y) = x2 y + log(xy).
Si ha
tale che
y 7 F (x0 , y).
Si riesce a stabilire che
lim F (x0 , y) = ,
y0+
lim F (x0 , y) = +,
y+
1
F
= x2 + > 0
y
y
Il graco qualitativo della funzione
y 7 F (x0 , y)
95
x, y.
rapprensentato in gura
sono
(0, 0)
2
y
1
x
1
y 7 F (x0 , y).
y0 in cui F (x0 , y0 ) = 0.
E coincide col graco di
u = u(x)
con
x > 0.
x0 > 0.
Fy .
u0 (x) =
Dunque
u(x)
Dunque l'insieme
u(x).
2xu(x) + x1
Fx (x, u(x))
= 2
< 0.
1
Fy (x, u(x))
x + u(x)
derivabile e decrescente.
Ci chiediamo se
lim u(x).
x+
Innanzitutto questo limite esiste perch
l 0
perch
l'equazione
x2 u(x) + log(xu(x)) = 0
dunque anche
x+
96
visto che
5.11
Se fosse
l > 0,
l = 0.
Analogamente
lim u(x)
x0+
di sicuro esiste (non negativo ) perch
x0+
ma di nuovo, visto che l'equazione
F (x, y) = 0
x 7 u(x),
si ha che
x2 u(x) + log(xu(x)) = 0
dunque anche
x+
Questo assurdo, dunque
lim u(x) = +.
x0+
Il graco qualitativo di
u.
E = { x(y 3 x3 ) + y 2 = 0, x 0}.
soluzione. Poniamo
F (x, y) =
3
x(y x3 ) + y 2
F (x0 , y) =
Per ogni
x0
e ssiamo
x0 .
Si ha
x0 (y 3 x30 ) + y 2.
y 7 F (x0 , y).
Studiamo per sommi capi il comportamento di questa funzione. Si ha
lim F (x0 , y) = .
y
Inoltre
F
= 3y 2 x0 + 1 > 0.
y
97
2
y
x
1
u.
y 7 F (x0 , y) strettamente
crescente, dunque per ogni x esiste unico y tale che y funzione di x cio y = y(x) e F (x, y(x)) =
0. (Tutto questo in conformit con il teorema del Dini, visto che Fy non si annulla mai).
Vorremmo studiare per sommi capi il comportamento della funzione y.
Siccome si ha F C
allora anche y C . Inoltre si ha
1 y 3 7x3
y0 =
.
2 x 3y 2 x + 1
y 0 (0). Si ha che (0, y(0)) tale che F (0, y(0)) = 0
+ 0
dunque F (0, y(0)) = y(0) 2 = 2 da cui y(0) 6= 0 e dunque se x 0 y (0) , la funzione
y(x) parte con tangente verticale.
0
D'altra parte vorremmo discutere quando si ha y (x) = 0. Questo equivalente a vedere quando
y 3 7x3 = 0. Nel graco illustrato il comportamento della funzione y vicino al punto (0, 2)..
3
Si ha la retta y =
7x e se y 3 7x3 > 0 allora si ottiene y 0 < 0 cio y decrescente. Come si
vede dal graco, y parte con tangente verticale, decresce e interseca la retta in un punto. In
3
3
quel punto il graco di y ammette tangente orizzontale. Dopo di che, essendo y 7x < 0
0
si ha y > 0 e dunque y cresce. Il dubbio : ci sar un'altra intersezione con la retta o si
avr y crescente ma che rimane sempre sotto la retta stessa? Se ci fosse un'altra intersezione
tra il graco di y e la retta si avrebbe in quel punto, che denoteremo con (
x, y(
x)), tangente
orizzontale. Ragioniamo sul coeciente angolare della retta tangente al graco di y nel punto
(
x, y(
x)) che chiameremo m. Esso deve essere 0 perch abbiamo appena detto che deve esserci
tangente orizzontale, d'altra parte y sta sotto la retta, dunque m deve essere maggiore o uguale
Vediamo se si riesce a stabilire il valore di
98
5.11
vicino al punto
(0, 2).
al punto di ascissa x
rimanendo sempre col graco di y sotto la retta) e d'altra parte y(
x) = 7 3 x
(perch il punto (
x, y(
x)) sta anche sulla retta. Allora
a
y(x) y(
x)
> lim
0 = y (
x) = lim
x
x
x
x
x x
0
3
7x 3 7
x
3
= 7
x x
e la retta
y=
7x.
lim [ x(y 3 x3 ) + y 2] = 0.
x+
Ma se supponiamo che
che
lim [ x(y 3 x3 ) + y 2] = +
x+
che assurdo. Dunque
lim y(x) = +.
x+
5.11.2.
Derivate successive
Dall'identit
f 0 (x) =
Fx (x, f (x))
Fy (x, f (x))
99
y.
3
2.8
2.6
2.4
2.2
y
2
1.8
1.6
1.4
1.2
0
0.5
1.5
2.5
y.
derivando entrambi i membri si ottiene (al secondo membro ho applicato la regola di derivazione
di una funzione composta)
f 00 (x) =
f 0 (x)
f 00 (x) =
A questo punto ricordiamo che
relativo
per
Fx
Fy
si ottiene
che
f 0 (x0 ) = 0
A questo punto, supponiamo che
f 00 (x0 ) < 0
F (x0 , y0 ) = 0
F (x, y) = 0 visto
Fx (x0 , y0 ) = 0 ( f 0 (x0 ) = 0);
disfare l'equazione
e
in funzione di
(il punto
(x0 , y0 )
con
y0 = f (x0 )
deve sod-
f)
f :
otteniamo
f 00 (x0 ) =
Fxx (x0 , y0 )
Fy (x0 , y0 )
Fxx (x0 , y0 )
> 0 x0
Fy (x0 , y0 )
100
00
5.11
mentre
Fxx (x0 , y0 )
< 0 x0
Fy (x0 , y0 )
Esempio 5.11.12.
f.
Riprendiamo l'equazione
F (x, y) = x3 + y 3 + x2 y 3y 2 = 0.
Abbiamo visto che essa denisce implicitamente una funzione
per
x (, 3)
f : (, 3) R
visto che
si ha
Fy = 3y 2 + x2 6y > 0
y R.
e tali che
x0
sia di minimo o
x0 (, 3);
x0 = 0
2
x0 = y.
3
si ottiene il punto
x0 =
54
31
y0 = f (x0 ) =
81
.
31
A questo punto si ha
f 00 (x0 ) =
Dunque
x0
della curva
Fxx (x0 , y0 )
162
1
=
> 0.
Fy (x0 , y0 )
31 Fy (x0 , y0 )
F (x, y) = 0;
f.
(0, 0).)
.
Esempio 5.11.13.
Sia
F (x, y) = x4 + y 4 + a(x2 y 2 ) = 0
a > 0.
x.
Si ha
10
10
Fy si annulla per y = 0
y. Prima di tutto
y 2 = a/2.
F (x, y) = 0.
F (x, 0) = x4 + ax2 = 0 x = 0 x2 + a = 0 x = 0;
invece
s
2
2
a
a
a
a 2a
+ ax2
= 0 4x4 + 4ax2 a2 = 0 x =
.
F x,
= x4 +
2
4
2
2
Dunque nei punti
(0, 0)
r
a 2 a , a
2
2
r
a 2 a , a
2
2
non possibile applicare il teorema del Dini. Preso invece un qualunque altro punto
(x0 , y0 )
esiste un rettangolo
vediamo se esistono punti di massimo o di minimo locale per qualcuna di queste funzioni denite
implicitamente. Questa ricerca equivale alla risoluzione del sistema
F (x, y) = x4 + y 4 + a(x2 y 2 ) = 0
F (x, y) = 2x(2x2 + a) = 0.
x
102
5.11
x = 0; inserendo questa informazione nella prima equazione ricaviamo immediatamente y = 0 che non accettabile perch (0, 0) punto singolare, ma anche
y 2 = a quindi come soluzioni otteniamo i punti (0, a). In questi punti possibile, come detto
a)
in precedenza, applicare il teorema del Dini; si ottiene che esiste un intorno R1 del punto (0,
della forma (1 , 1 ) ( a 1 ,
a + 1 ) tale che l'equazione F (x, y) = 0 denisce implicitamente una funzione y = f1 (x) denita su (1 , 1 ) con F (x, f1 (x)) = 0. Allo stesso modo si pu
f100 (x) =
da cui
f100 (0)
Fxx (0, a)
a
1
=
=
= < 0
Fy (0, a)
a[2a a]
a
f200 (0)
Fxx (0, a)
a
1
=
=
= > 0.
Fy (0, a)
a[2a a]
a
mentre
10
10
103
F (x, y) = 0.
Esempio 5.11.14.
Sia
f : R2 R
Vogliamo vedere dove l'equazione
f (x, y) = y 2 4x3 x2 .
f (x, y) = 0
(5.11.1)
g(x) = sign(y0 ) 4x3 + x2
Nei punti
dove
1
sign(y0 ) =
0
y0 > 0
y0 = 0
y0 < 0.
possibile mostrare che, in conformit con quanto si ottiene dal teorema del Dini
g 0 (x0 ) =
fx (x0 , g(x0 ))
.
fy (x0 , g(x0 ))
1
g 0 (x0 ) = sign(y0 ) p 3
(12x20 + 2x0 )
2
2 4x0 + x0
mentre
(0, 0)
1
,
6
104
1
108
!
.
5.11
Quindi, se
(x0 , y0 ) 6= (0, 0)
1
,
6
(x0 , y0 ) 6=
1
108
!
(con
x0 > 1/4
altrimenti
f (x0 , y0 ) >
R2
(a, 0)
(a, 0)
uguale ad
a2 ,
cio
Si ha
teorema
denisce
Fx (x0 , y(x0 ))
x0 (x20 + y02 ) ax20
y (x0 ) =
=
.
Fy (x0 , y(x0 ))
y0 (x20 + y02 ) + a2 y0
0
5.11.3.
Funzione implicita di
variabili
Naturalmente tutti i discorsi fatti no ad ora relativamente alle funzioni denite implicitamente
da un'equazione del tipo
f (x, y) = 0
variabili.
f (x, y, z) = 0
con
di classe
C1
di
(x0 , y0 )
e una funzione
z = g(x, y)
(x0 , y0 , z0 ).
Ci
denita e regolare in
f (x, y, z) = 0.
gx (x, y) =
gx (x0 , y0 ) =
105
fx (x0 , y0 , g(x0 , y0 ))
.
fz (x0 , y0 , g(x0 , y0 ))
Se questo
Analogamente
gy (x, y) =
a patto che sia
fz (x0 , y0 , z0 ) 6= 0;
gy (x0 , y0 ) =
fy (x0 , y0 , g(x0 , y0 ))
,
fz (x0 , y0 , g(x0 , y0 ))
Teorema 5.11.16.
sionale)
che
Sia f : A R (con A R
n+1
dimen-
f (x0 , y0 ) = 0
fy (x0 , y0 ) 6= 0
Esempio 5.11.17.
x U ;
gxj (x) =
x4 + 2y 3 + z 3 yz 2y = 0
denisce implicitamente
tangente in
(0, 1, 0)
alla
L'idea quella di applicare il teorema del Dini. Verichiamo che questo teorema applicabile
f
(0, 1, 0)
g
y
(0, 1) =
= 4.
f
y
(0, 1, 0)
z
f
(0, 1, 0)
g
(0, 1) = x
=0
f
x
(0, 1, 0)
z
L'equazione del piano tangente
z = g(0, 1) +
cio
g
g
(0, 1) (x 0) +
(0, 1) (y 1)
x
y
z = 4(y 1).
106
CAPITOLO 6
f : A Rn Rm , n, m > 1.
con:
1) superci in forma parametrica in
R3 ;
R3 ;
f : A Rn Rn .
2) trasformazioni di coordinate in
3) campi vettoriali, cio funzioni
Cosa accade per le superci? Per le superci abbiamo le seguenti modalit di rappresentazione:
implicita f (x, y, z) = 0;
2) rappresentazione in forma esplicita o in forma di graco z = g(x, y);
3) rappresentazione parametrica (u, v) 7 (x(u, v), y(u, v), z(u, v)).
1) rappresentazione in forma
107
r Denizione 6.1.1.
R3 denita da
r : A R2
Esempio 6.1.2.
La sfera di raggio
x = R sin cos
y = R sin sin
z = R cos
R
ssato;
(colatitudine) e
(longitudine) variano
le nozioni di limite,
continuit e dierenziabilit per funzioni reali di pi variabili e il fatto che in generale, per
studiare una funzione a valori vettoriali si pu ragionare componente per componente.
Denizione 6.2.1.
salvo al pi il punto
f : A Rn Rm denita almeno
x0 stesso e sia L Rm . Allora si dice che
Sia
x0 Rn ,
lim f (x) = L
xx0
se accade
lim |f (x) L| = 0.
xx0
Se
f : A Rn Rm ,
possiamo scrivere
fi
con
si diranno componenti di
fi : A Rn R,
per
i = 1, 2, . . . , m.
a quanto visto per funzioni di una variabile a valori vettoriali, si dimostra che il limite si calcola
componente per componente
lim (f1 (x), . . . , fm (x)) =
xx0
lim f1 (x), . . . , lim fm (x) .
xx0
108
xx0
6.2
limite che quella di continuit si riconducono alle analoghe nozioni per funzioni di pi variabili
a valori reali.
Denizione 6.2.2.
f dierenziabile in x0 se tutte le
per i = 1, 2, . . . , m valgono le relazioni
Diremo che
n
X
fi
fi (x0 + h) fi (x0 ) =
(x0 )hj + o(|h|)
xj
j=i
Queste
per
rappresentando la funzione
f =
e i punti di
f1
f2
...
fm
componenti lo sono.
h0
forma matriciale.
Infatti
x0 =
x1
x2
...
xn
h=
h1
h2
...
hn
f1
x1
f2
x1
...
Jf (x0 ) =
f
m
x1
Si nota che la matrice Jacobiana ha
f1
x2
f2
x2
...
...
f1
xn
f2
xn
...
fm
...
x2
fm
xn
righe e
...
...
colonne.
(x0 ).
Allora la dierenziabilit si pu
per
h 0.
un vettore).
r Denizione 6.2.3.
Rn Rm denita da:
Il differenziale di
(calcolato in
x0 )
la funzione lineare
df (x0 ) :
Ragionando componente per componente e applicando la condizione suciente per la dierenziabilit delle funzioni a valori reali, si ottiene il seguente teorema.
f : A Rn Rm con A
aperto sia dierenziabile in A che tutti gli elementi della sua matrice Jacobiana siano
funzioni continue in A.
f
f : A Rn Rm , g : B Rm Rk e supponiamo che la
funzione composta g f sia ben denita almeno in un intorno C di x0 A, cio si abbia
g f : C Rn Rk . Supponiamo che f sia dierenziabile in x0 e g sia dierenziabile
in y0 = f (x0 ). Allora anche la composta g f risulta dierenziabile in x0 e la sua matrice
Jacobiana si ottiene come prodotto matriciale delle matrici Jacobiane di f e g, calcolate nei
punti x0 e f (x0 ) rispettivamente, cio
J(g f )(x0 ) = Jg(f (x0 ))Jf (x0 ).
.
Esempio 6.2.6.
Le composizioni
Siano
F : R3 R2
G : R2 R2
date da
F(u, v, w) = (u + v, ew )
(u, v, w) R3 ,
G(x, y) = (y x, sin x)
G F, F G
matrice Jacobiana.
Poniamo
H1 (u, v, w) = ew u v
La funzione
componenti.
110
R3
6.3
H1
u
JH (u, v, w) =
H2
u
H1
v
H2
v
G
e
A questo punto la
H1
w
1
1
e
w
=
H2
cos(u + v) cos(u + v) 0
w
Jacobiana di H.
G1 (x, y) = y x
H.
G.
Poniamo
F1 (u, v, w) = u + v, F2 (u, v, w) = ew ,
F1 F1 F1
1
1
0
u
v w
JF (u, v, w) =
F2 F2 F2 =
w
0 0 e
u
v w
G1 G1
1
1
x
y
JG (x, y) =
G2 G2 =
cos x 0
x
y
w
matrice Jacobiana di G va calcolata nel punto F(u, v, w) = (u + v, e )
e si
ha dunque
JG [F (u, v, w)] =
cos(u + v) 0
quindi
ew
cos(u + v) 0
1 1
0 0 e
cos(u + v) cos(u + v)
111
v = v0 ,
e facciamo variare
u = u0
u,
otteniamo una
otteniamo un'altra curva sulla supercie. Pi precisamente, al variare del valore ssato
otteniamo una famiglia di curve; al variare di
u = u0
v
v = v0
e lasciamo variare
supercie. Queste due famiglie di linee si chiamano linee coordinate. facile vedere che
per ogni punto sulla supercie passa esattamente una curva di ciascuna delle due famiglie.
Quindi esplicitamente le linee coordinate hanno equazioni
r = r(u, v0 )
r = r(u0 , v).
Il piano tangente alla supercie l'unico piano che contiene questi due vettori e risulta ben
denito se i due vettori sono non nulli e non sono paralleli. Queste due ultime richieste sono
equivalenti a richiedere che il prodotto vettoriale dei due vettori non si annulli, ossia
i
j
k
6 0
ru (u0 , v0 ) rv (u0 , v0 ) = det xu (u0 , v0 ) yu (u0 , v0 ) zu (u0 , v0 ) =
xv (u0 , v0 ) yv (u0 , v0 ) zv (u0 , v0 )
abbia
r : A R2 R3
si dice
Denizione 6.3.1.
regolare se
di
dierenziabile in
r = r(u, v)
con
A.
Se in qualche punto di
ru rv
supercie, per le propriet del prodotto vettoriale, anche ortogonale al piano che contiene
i vettori
ru
rv ,
n=
Si noti che il verso di
ru rv
.
|ru rv |
112
(u, v)
e quindi
6.3
x0
x = (x, y, z)
il punto mobile
e quindi anche a
ru rv .
x x0
(x x0 ) (ru rv ) = 0
ossia
x x0
ru
rv
det
6.3.1.
z = f (x, y)
con
(x, y) A R2
x=u
y=v
z = f (u, v)
(u, v) A
i j
k
quindi
ifu jfv + k
n= p
.
1 + |f |2
Quindi l'orientazione indotta sulla supercie con la normale verso l'alto. Si noti che se
dierenziabile in
sempre un
6.3.2.
Superci di rotazione
detta generatrice
attorno a un asse. In questo modo anche facile scriverne le equazioni parametriche. Infatti se
considero in un riferimento cartesiano l'asse
x = x(t)
z = z(t)
113
t I.
In tal caso la supercie che si ottiene con una rotazione completa della curva
x = x(t) cos
y = x(t) sin
z = z(t)
attorno all'asse
t I, [0, 2).
Esempio 6.3.2.
della semicir-
x, z
(
x = R sin
z = R cos
[0, ].
x = R sin cos
y = R sin sin
z = R cos
.
Esempio 6.3.3. (il toro) generato dalla rotazione attorno all'asse z della circonferenza
x, z
di centro
[0, 2).
x = (R + r sin ) cos
y = (R + r sin ) sin
z = r cos
.
Esempio 6.3.4.
x, z
z = mx,
x=t
z = mt
t R.
x = t cos
y = t sin
z = mt
t R, [0, 2).
114
con
x R.
In forma
6.4
Esempio 6.3.5.
all'asse
x, z
di equazioni
x=r
z=t
t R.
x = r cos
y = r sin
z=t
t R, [0, 2).
x = a sin cos
y = a sin sin
z = b cos
6.4. Retta normale e piano tangente a superci, retta tangente e piano normale (o retta normale) a curve
Riassumiamo qui di seguito le equazioni parametriche o cartesiane (implicite o esplicite) di
piano tangente e retta normale a superci, a loro volta date in forma cartesiana (implicita
o esplicita) o parametrica e per completezza riportiamo anche le equazioni parametriche o
cartesiane della retta tangente e del piano normale a curve in
in
R3
6.4.1.
R3
(x x0 )
g
g
g
(x0 , y0 , z0 ) + (y y0 ) (x0 , y0 , z0 ) + (z z0 ) (x0 , y0 , z0 ) = 0
x
y
z
115
(6.4.1)
x = x0 + t
(x0 , y0 , z0 )
g
y = y0 + t
(x0 , y0 , z0 )
z = z0 + t g (x0 , y0 , z0 )
z
(6.4.2)
facile dalla (6.4.1) ricavare l'equazione del piano in forma esplicita (basta isolare una delle tre
variabili) oppure in forma parametrica (basta porre
di
t).
x = s, y = t
da cui segue
come funzione
x x0
g
(x0 , y0 , z0 )
x
y y0
g
(x0 , y0 , z0 )
y
z z0
g
(x0 , y0 , z0 )
z
Ovviamente si tratta di due equazioni perch una retta nello spazio descritta da due equazioni.
Se la supercie data in forma esplicita, ad esempio
f (x, y) z
z = f (x, y)
allora ponendo
g(x, y, z) :=
r : R2 R3
una parametrizzazione della supercie. Allora l'equazione parametrica del piano tangente in
un punto
(t0 , s0 )
r1
r1
x = x0 + t
(t0 , s0 ) + s
(t0 , s0 )
t
s
r2
r2
y = y0 + t
(t0 , s0 ) + s
(t0 , s0 )
t
s
z = z0 + t r3 (t0 , s0 ) + s r3 (t0 , s0 )
t
s
dove
(t, s) R2 .
r
r
r
s.
6.4
6.4.2.
Sia
sia
R2
: R R2 tale che (t) = (1 (t), 2 (t)) una parametrizzazione della curva piana
g(x, y) = 0 la sua equazione cartesiana (o implicita). Allora le equazioni parametriche
e
e
x = x0 + t 10 (t0 )
y = y + t 0 (t )
0
2 0
e
(x x0 )
tR
g
g
(x0 , y0 ) + (y y0 ) (x0 , y0 ) = 0.
x
y
x = x0 + t (x0 , y0 )
x
g
y = y0 + t (x0 , y0 )
y
tR
(x x0 ) 10 (t0 ) + (y y0 ) 20 (t0 ) = 0.
6.4.3.
R3
: R R3 tale che (t) = (1 (t), 2 (t), 3 (t)) una parametrizzazione di una curva nello
spazio e siano g1 (x, y, z) = 0 e g2 (x, y, z) = 0 le equazioni cartesiane locali. Allora le equazioni
Sia
x = x0 + t 10 (t0 )
y = y0 + t 20 (t0 )
z = z0 + t 30 (t0 )
e
tR
g1
g1
g1
(x0 , y0 , z0 ) + (y y0 )
(x0 , y0 , z0 ) + (z z0 )
(x0 , y0 , z0 ) = 0
(x x0 )
x
y
z
g2
g2
g2
(x0 , y0 , z0 ) + (y y0 )
(x0 , y0 , z0 ) + (z z0 )
(x0 , y0 , z0 ) = 0
(x x0 )
x
y
z
g1
g2
x = x0 + t1
(x0 , y0 , z0 ) + t2
(x0 , y0 , z0 )
x
x
g1
g2
y = y0 + t1
(x0 , y0 , z0 ) + t2
(x0 , y0 , z0 )
y
y
z = z0 + t1 g1 (x0 , y0 , z0 ) + t2 g2 (x0 , y0 , z0 )
z
z
117
= (u v + 1, u2 v 2 , 3 u v),
u2 + v 2 1,
scrivere le equazioni cartesiane e parametriche della retta perpendicolare e del piano tangente
a in (2, 0, 3).
Sia la supercie data in forma parametrica, cio sia
r : R2 R3
una parametrizzazione della supercie. Allora l'equazione parametrica del piano tangente in
un punto
(u0 , v0 )
r1
r1
x = x0 + u
(u0 , v0 ) + v
(u0 , v0 )
u
v
r2
r2
y = y0 + u
(u0 , v0 ) + v
(u0 , v0 )
u
v
z = z0 + u r3 (u0 , v0 ) + v r3 (u0 , v0 )
u
v
dove
(u, v) R2 .
r
r
r
(u0 , v0 ) = (1, 1)
corrisponde a
ha
r1 (u, v) = uv + 1
r2 (u, v) = u2 v 2
r3 (u, v) = 3uv
r1
=v
u
r2
= 2u
u
r3
= 3v
u
x=2+u+v
y = 2u 2v
z = 3 + 3u + 3v
dove
118
r1
=u
v
r2
= 2v
v
r3
= 3u
v
(1, 1)
(u, v) R2 .
In tal caso si
6.4
x + 2y + 3z = 11
x 2y + 3z = 11.
-
Esercizio 6.4.2. Si scrivano, sia in forma parametrica che in forma implicita, l'equazione
S = {(x, y, z) R3 : x2 + sin(x + y) + 2 z 2 = 2}
(x0 , y0 , z0 ))
f (x, y, z) = 0
f
f
f
(x0 , y0 , z0 ) (x x0 ) +
(x0 , y0 , z0 ) (y y0 ) +
(x0 , y0 , z0 ) (z z0 ) = 0
x
y
z
e
x x0
y y0
z z0
=
=
= 0.
f
f
f
(x0 , y0 , z0 )
(x0 , y0 , z0 )
(x0 , y0 , z0 )
x
y
z
Quindi si ha
f (x, y, z) = x2 + sin(x + y) + 2 z 2 2
da cui
(x0 , y0 , z0 ) = P = (0, 0, 1)
f
f
(x, y, z) = 2 x + cos(x + y)
(0, 0, 1) = 1
x
x
f
f
(x, y, z) = cos(x + y)
(0, 0, 1) = 1
y
y
f
f
(x, y, z) = 4 z
(0, 0, 1) = 4
z
z
quindi l'equazione del piano tangente (in forma implicita) alla supercie
nel punto
nel punto
1 (x 0) + 1 (y 0) + 4 (z 1) = 0
cio
x + y + 4 z = 4.
L'equazione del piano tangente (in forma parametrica) alla supercie
esempio
x=t
y=s
z = 1 t + s.
4
119
ad
nel punto
x0
y0
z1
=
=
1
1
4
e dunque
x=y
4 y = z 1.
L'equazione della retta normale (in forma parametrica) alla supercie
nel punto
, ad
esempio
x=t
y=t
z = 4 t + 1.
Secondo modo. Scriviamo la supercie
z ).
in forma esplicita
Si ha
z2 = 1
da cui
1 2
(x + sin(x + y))
2
1 2
(x + sin(x + y)).
2
cose nell'intorno del punto P, scelgo
r
1
z = 1 (x2 + sin(x + y)).
2
z = 1
In tal caso, le equazioni (in forma implicita) del piano tangente e della retta normale alla
supercie
S (data nella forma z = g(x, y)) nel punto Q = (x0 , y0 , g(x0 , y0 )) sono rispettivamente
z = g(x0 , y0 ) +
Dunque, essendo
g
g
(x0 , y0 ) (x x0 ) +
(x0 , y0 ) (y y0 )
x
y
x x0
y y0
z g(x0 , y0 )
.
=
=
g
g
1
(x0 , y0 )
(x0 , y0 )
x
y
Q = (0, 0, 1), si ha
1
x
cos(x + y)
g
2
(x, y) = q
x
2 1 12 (x2 + sin(x + y))
g
1
(0, 0) =
x
4
1
cos(x + y)
g
2
(x, y) = q
y
2 1 12 (x2 + sin(x + y))
g
1
(0, 0) =
y
4
120
6.4
nel punto
viene ad
essere
z =1
1
(x + y)
4
x0
y0
z1
=
=
;
1
1
1
4
4
lavorando come al punto precedente possiamo di nuovo ricavare le equazioni in forma parametrica.
Terzo modo. Visto che l'equazione della supercie data in forma implicita, se non vogliamo
esplicitarla rispetto ad una variabile, possiamo ad esempio servirci del teorema del Dini.
P = (0, 0, 1).
f C (R ), f (0, 0, 1) = 0 e dal
Si ha
primo
f
(0, 0, 1)
g
1
(0, 0) = x
=
f
x
4
(0, 0, 1)
z
mentre
f
(0, 0, 1)
1
g
y
(0, 0) =
= .
f
y
4
(0, 0, 1)
z
Tenendo conto che
g(0, 0) = 1,
z = g(0, 0) +
g
g
(0, 0) (x 0) +
(0, 0) (y 0)
x
y
x0
y0
z g(0, 0)
=
=
.
g
g
1
(0, 0)
(0, 0)
x
y
Inserendo i nostri dati si ottengono le stesse equazioni dedotte nei punti precedenti.
121
Denizione 6.5.1.
Una funzione
f :AB
con
A, B
aperti di
Rn
si dice invertibile in
se iniettiva ossia
x1 , x2 A,
f (x1 ) = f (x2 ) x1 = x2 .
f si dice suriettiva su B se
y B, x A
Inne
f (x) = y.
tale che
f (x) = y.
tale che
y B
questo elemento
x A
univocamente
f.
Si ha il seguente risultato.
Teorema 6.5.2.
x U
solo localmente
anche
se le ipotesi sono vericate in ogni punto del dominio. Questo diverso dal caso unidimensionale per cui se
f 0 (x) 6= 0
allora
f0
invertibile (globalmente).
r Denizione 6.5.3.
f : A Rn si dice
1
diffeomorfismo (o diffeomorfismo globale) se f C (A), f globalmente invertibile in A
1
e la sua inversa g : f (A) A di classe C (A) nel suo dominio f (A). f si dice diffeomorfismo
1
locale se f C (A) e per ogni x0 A ha un intorno U A in cui f invertibile con inversa di
1
classe C .
Sia
A un aperto di Rn .
122
6.5
f C 1 (A)
e detJf (x)
6= 0
xA
per ogni
f : A Rn tale
in A. Se queste
Esempio 6.5.4.
[0, +)
[0, 2).
x = cos
y = sin
cos sin
sin cos
con determinante
= 0.
Se re-
A = (0, +) (0, 2)
in
e il piano di
R2
x 0
y = 0.
.
Esempio 6.5.5.
(coordinate cilindriche in
x = cos
y = sin
z=t
R3 )
Consideriamo la trasformazione
[0, +)
[0, 2)
t R.
cos sin 0
sin cos 0
0
0
1
con determinante
= 0.
A = (0, +) (0, 2) R
otteniamo un dieomorsmo globale tra
Esempio 6.5.6.
R3
(coordinate sferiche in
x = sin cos
y = sin sin
z = cos
123
R3 )
x0
y = 0.
Consideriamo la trasformazione
[0, +)
[0, 2)
[0, ].
Se re-
= 0.
2 sin .
= 0, =
n=2
6.6.1.
Caso
n = 2:
vincolo esplicitabile
Formalizziamo prima di tutto il problema di estremo vincolato nel caso in cui la funzione obiettivo da ottimizzare dipende da due variabili legate da un'equazione di vincolo. Per semplicit
lavoriamo con funzioni denite su tutto il piano. Il problema dunque che ci poniamo quello
di minimizzare (o massimizzare) una funzione
vincolo
g(x, y) = b.
Nello spazio
f (x, y)
f (x, y)
di classe
C 1 (R2 )
sotto la condizione di
presenta (in generale) una curva. chiaro che un punto di massimo o minimo per
al vincolo
zione
soggetta
e vedere se
qualcuno di questi cade nel vincolo imposto ma proprio di ottimizzare (e quindi massimizzare
o minimizzare) la
da
restrizione di f al vincolo g
f.
y = y(x)
x = x(y)
esplicitamente
124
una funzione
t 7 (x(t), y(t)).
6.6
Ottimizzazione vincolata
Allora in tal caso il problema ricondotto a cercare gli estremi della funzione
oppure
r(y) = f (x(y), y)
oppure
2 x(3y + 1) = 0
3(x y) (x + y) = 0.
x=0
y = 1/3
mentre sostituendo
Proviamo a studiare la natura di questi punti con il test della matrice Hessiana. Si ha
Hf (x, y) =
6y + 2
6x
6x
6y
quindi
Hf (0, 0) =
125
2 0
0 0
quindi non riesco a stabilire la natura dell'origine con il test della matrice Hessiana. Proviamo
a studiare il segno dell'incremento di
nel punto. Si ha
x = 0
si ha
4f (0, 0) = y 3
y < 0
e negativo per
y > 0.
f.
D'altra parte
0
2
1 1
Hf ,
=
3 3
2 2
da cui det Hf
13 , 31 = 4 < 0
da cui det Hf
1
, 13
3
= 4 < 0
(1/3, 1/3) un
0
2
1 1
Hf
,
=
3 3
2 2
e quindi
e quindi
(1/3, 1/3)
un punto di sella.
R)
minR f.
(ii) La funzione data continua, il rettangolo dato (che d'ora in avanti chiameremo
chiuso e limitato, quindi il teorema di Weierstrass ci assicura che esistono
di
su
maxR f
R.
ha R = R1 R2 R3 R4
Parametrizziamo il bordo di
R.
Si
dove
R1 = {(x, y) R2 : y = 0 0 x 1}
R2 = {(x, y) R2 : x = 1 0 y 2}
R3 = {(x, y) R2 : y = 2 0 x 1}
R4 = {(x, y) R2 : x = 0 0 y 2}.
Si ha poi
fR1 (x, y) = x2
0 x 1. Dunque eventuali punti candidati ad essere
(0, 0) e (1, 0).
126
6.6
Ottimizzazione vincolata
Poi si ha
(0, 2)
(1, 2).
Inne
fR4 (x, y) = y 3
che una funzione decrescente nell'intervallo considerato, quindi candidati punti di massimo o
minimo assoluto sono
(0, 0)
(0, 2).
f (0, 0) = 0
Dunque
minR f = 8
f (1, 0) = 1
e
(0, 2)
f (1, 1) = 3
f (1, 2) = 1
f (0, 2) = 8.
maxR f = 3
(1, 1)
il punto di
massimo assoluto.
3 x2 2 y 2
,
x2 + y 2
f.
Si ha
f
6x (x2 + y 2 ) 2x (3x2 2y 2 )
6x3 + 6xy 2 6x3 + 4xy 2
10xy 2
(x, y) =
=
=
x
(x2 + y 2 )2
(x2 + y 2 )2
(x2 + y 2 )2
e
f
4y(x2 + y 2 ) 2y(3x2 2y 2 )
4yx2 4y 3 6yx2 + 4y 3
10x2 y
(x, y) =
=
=
y
(x2 + y 2 )2
(x2 + y 2 )2
(x2 + y 2 )2
Quindi
f (x, y) = (0, 0)
10xy 2
10x2 y
,
(x2 + y 2 )2 (x2 + y 2 )2
127
= (0, 0) x = 0 y = 0.
Quindi i punti stazionari sono tutti i punti degli assi cartesiani (tranne l'origine dove tra l'altro
la funzione non nemmeno denita).
(ii) Proviamo a vedere se possibile studiare la natura dei punti stazionari con il test della
matrice Hessiana. Si ha
2f
10y 2 (x2 + y 2 )2 2 (x2 + y 2 ) (2x) (10x y 2 )
10x2 y 2 + 10y 4 40x2 y 2
(x,
y)
=
=
x2
(x2 + y 2 )4
(x2 + y 2 )3
=
10y 4 30x2 y 2
10y 2 (y 2 3x2 )
=
(x2 + y 2 )3
(x2 + y 2 )3
2f
20xy(x2 + y 2 )2 2(x2 + y 2 ) (2y) (10xy 2 )
2f
(x, y) =
(x, y) =
xy
yx
(x2 + y 2 )4
=
20xy(x2 + y 2 ) 40xy 3
20x3 y 20xy 3
20xy(x2 y 2 )
=
=
(x2 + y 2 )3
(x2 + y 2 )3
(x2 + y 2 )3
Hf (h, 0) =
h, k R
0
10
0
Hf (0, k) = k 2
0 0
10
0 2
h
quindi non riesco a studiare la natura di tali punti con il test della matrice Hessiana.
Studio dunque la natura dei punti stazionari attraverso lo studio del segno dell'incremento della
funzione. Al variare di
h R,
si ha
y 6= 0
3x2 2y 2
3x2 2y 2 3x2 3y 2
5y 2
3
=
=
.
x2 + y 2
x2 + y 2
x2 + y 2
4f (x, y) < 0 e
per k R si ha
si ottiene
(0, k)
(h, 0)
al variare di
hR
sono di
3x2 2y 2
3x2 2y 2 + 2x2 + 2y 2
5x2
+
2
=
=
> 0.
x2 + y 2
x2 + y 2
x2 + y 2
al variare di
kR
(iii) Poniamo
A = {(x, y) R2 : 1 x2 + y 2 4}.
Esso rappresenta una corona circolare; le circonferenze che la delimitano hanno raggio rispettivamente 1 e 2.
128
6.6
f,
continua su
su
Ottimizzazione vincolata
A,
A.
A.
Si ha che
h, k R.
con
2 h 1 1 h 2
2 k 1 1 k 2.
Si ha
f (0, h) = 2.
f (k, 0) = 3
D'altra parte
A = A1 A2
dove
A1 = {(x, y) R2 : x2 + y 2 = 1}
Parametrizziamo
A1 .
A2 = {(x, y) R2 : x2 + y 2 = 4}.
Si ha
x = cos
[0, 2)
y = sin
da cui
3
f0 () = 0 sin = 0 cos = 0 = 0 =
= = .
2
2
Si ha
f(0) = f() = 3
Ora parametrizziamo
A2 .
3
f
=f
= 2.
2
2
Si ha
x = 2 cos
[0, 2)
y = 2 sin .
da cui
fA2 (x, y) =
1
(12 cos2 8 sin2 ) = 3 cos2 2 sin2
4
129
max f = 3
(h, 0)
con
2 h 1
1h2
min f = 2
(0, k)
con
2 k 1
1 k 2.
quindi
Hf (0, 0) =
= 1 < 0,
si ha che
(0, 0)
0 1
1 0
1
1
1
e
2
e
(1)
2
1
4h
=
Hf h,
2h
1
1
2
e (1) e 2h
130
6.6
Ottimizzazione vincolata
1
h, 2h
= 0 e questo ci dice che non siamo in grado di studiare
punti (x, y) tali che 2xy = 1 con il test della matrice Hessiana.
Proviamo a studiare il segno dell'incremento di f. Per ogni h R \ {0} si ha
1
1
1
= f (x, y) f h,
= e2xy xy + e1 .
4f h,
2h
2h
2
quindi det Hf
t = 1/2
per cui
1
0.
4f h, 2h
g(t) = t e2 t
ha minimo uguale a
la natura dei
g(1/2) = 21 e1 per
(x, y) tali che 2xy = 1
continua, l'insieme
su
A,
Parametrizziamo
A1 .
Si ha
su
A.
A1 = {(x, y) R2 : 4x2 +y 2 = 2, y 0}
A.
Si ha
A = A1 A2 ,
dove
A2 = {(x, y) R2 : y = 0, 1/ 2 x 1/ 2}.
x = 1 cos
2
y = 2 sin
[0, ]
da cui
sin(2)
=: f()
2
e quindi allora
3
f0 () = 0 cos(2) = 0 sin(2) = 1 =
= .
4
4
Quindi
1
f
= e
4
2
D'altra parte
fA2 0
3
1
f
= e1 .
4
2
quindi
max f =
A
il punto di massimo assoluto
1
,1
2
1
e
2
1
min f = e1 ;
A
2
131
1
,1 .
2
arctan
denita su tutto
R2
ed essendo la funzione
dunque possiamo dire subito che l'origine punto di minimo assoluto su tutto
Studiamo la natura dei punti stazionari di
f (x, y) =
f.
f (0, 0) = 0
R.
Si ha
2x
4y
,
2
2
2
2
1 + (x + 2 y ) 1 + (x + 2 y 2 )2
dunque
2 [1 + (x2 + 2 y 2 )2 4 x2 (x2 + 2 y 2 )]
2(1 + (x2 + 2 y 2 )2 ) 2 x 2 (x2 + 2 y 2 ) 2 x
=
[1 + (x2 + 2 y 2 )2 ]2
[1 + (x2 + 2 y 2 )2 ]2
fxx (x, y) =
2 x 2 (x2 + 2 y 2 ) 4 y
fxy (x, y) = fyx (x, y) =
[1 + (x2 + 2 y 2 )2 ]2
fyy (x, y) =
da cui
Hf (0, 0) =
0 4
ed essendo det
che sia anche
2 0
132
Il fatto
6.6
Ottimizzazione vincolata
Osserviamo tuttavia che i calcoli potevano essere notevolmente ridotti se si osservava che la
funzione
punti stazionari di
della
cui
gxx = 2
e di nuovo si ha che
(ii) La funzione
(0, 0)
gxy = gyx = 0
continua, l'insieme
e il minimo assoluto di
su
gyy = 4
A.
sia di nuovo 0.
L'unico punto stazionario, come si evince dall'analisi al punto (i), l'origine, che non appartiene
alla parte interna di
assoluto di
A.
A.
Si ha
A = A1 A2
dove
A1 = {(x, y) R2 : x2 + y 2 = 4 y 2 x}
133
A2 = {(x, y) R2 : y = 2 x 0 x 2}.
L'insieme
A1
x = 2 cos
h i
0,
.
2
y = 2 sin
Quindi
f (x, y)|A1 = f (2 cos , 2 sin ) = f() = arctan(4 cos2 + 8 sin2 ) = arctan(4 + 4 sin2 )
da cui
f0 () =
8 sin cos
= 0 sin = 0 cos = 0,
1 + (4 + 4 sin2 )2
(0, 2).
= 0
= /2
(2, 0)
Si ha
f (2, 0) = arctan 4
f (0, 2) = arctan 8.
D'altra parte
f0 (x) =
6x 8
4
=0x= .
2
2
1 + (3x 8x + 8)
3
Si ha
f
Siccome la funzione
arctan
4 2
,
3 3
8
= arctan .
3
crescente, si ha che
8
3
raggiunti rispettivamente nei punti
6.6.2.
Caso
n = 2:
4 2
,
3 3
(0, 2).
134
6.6
Ottimizzazione vincolata
indica che se un punto di estremo, il suo gradiente si deve annullare e questo abbastanza
ragionevole perch il punto non ha vincoli e potendosi muovere in tutte le direzioni, il teorema
di Fermat ci dice che tutte le derivate lungo ogni direzione ammissibile si devono annullare.
Nel caso di un vincolo, ovviamente non sar pi cos e ci saranno delle direzioni ammissibili
e la derivata direzionale lungo queste direzioni si deve annullare. Per capire chi siano queste
direzioni ammissibili, supponiamo che in vincolo descriva un arco di curva regolare con retta
Dv f (x , y ) = 0
e per la formula del gradiente, questo signica
f (x , y ) v = 0
che esprime l'ortogonalit tra i vettori
v.
in ogni punto ortogonale alla direzione della retta tangente alle sue curve di livello, se anche
il vincolo sucientemente regolare anche
g(x , y ) v = 0
Ma questo signica che
numero
f (x , y )
g(x , y )
f (x , y ) = g(x , y ).
Formalmente si ha dunque
Teorema 6.6.5.
f (x , y ) = g(x , y ).
esprime il fatto
che se
si
corretta generalizzazione del teorema di Fermat nel caso degli estremi vincolati.
Introducendo la funzione
L = L(x, y, )
Lx = fx gx = 0
Ly = fy gy = 0
L = b g = 0
(x , y , )
sia critico
Le prime due equazioni coincidono con la condizione di parallelismo dei gradienti, mentre la
terza esprime esattamente la condizione di vincolo.
g(x, y) = b
2) si cercano i punti critici liberi della Lagrangiana, cio le soluzioni del precedente sistema;
3) si determina la natura dei punti critici; a questo proposito spesso risulta utile il teorema di
Weierstrass, come mostra il seguente esempio.
(0, 1)
f.
fxx (x, y) = 0
da cui
Hf (0, 1) =
136
0 4
4 0
fyy (x, y) = 0
6.6
(0, 1)
Ottimizzazione vincolata
16 < 0
f.
(ii) La funzione data continua, l'insieme dato (che un ellisse e che chiameremo d'ora in
avanti
E)
esistono per
il teorema di Weierstrass.
(0, 1) l'unico punto che annulla il gradiente di f come visto al punto i); la funzione di
2
classe C (R ) e dunque non ci sono punti singolari; resta quindi da studiare il comportamento
lungo il bordo dell'ellisse.
Per studiare il comportamento della funzione lungo il bordo dell'ellisse utilizziamo il metodo
dei moltiplicatori di Lagrange. Abbiamo il vincolo
L.
Si ha
4y + 4 + 10x 6y 6 = 0
L(x, y, ) = 0 4x + 10y 6x + 10 = 0
2
5x + 5y 2 6xy 6x + 10y + 4 = 0.
2y + 2 + 5x 3y 3 = 0
2x + 5y 3x + 5 = 0
2
5x + 5y 2 6xy 6x + 10y + 4 = 0.
Seguiamo la seguente strategia: ricaviamo
nella seconda equazione. Poi confronteremo quello che otterremo con la terza equazione.
Notiamo subito che se
sia
5x 6= 3y + 3.
5x = 3y + 3
allora
y = 1
da cui si dedurrebbe
x=0
2y + 2
3y + 3 5x
2x + (5y 3x + 5)
2y + 2
=0
3y + 3 5x
da cui
assurdo. Allora
e quindi
x = (y + 1).
Distinguiamo due casi. Primo caso
x = y + 1.
4y 2 + 8y + 3 = 0
da cui otteniamo come soluzioni i punti
A=
D'altra parte nel caso
x = y 1
1 1
,
2 2
1 3
B = ,
.
2 2
si ottiene invece
16y 2 + 32y + 15 = 0
da cui otteniamo come soluzioni i punti
C=
1 5
,
4 4
D=
1 3
,
4 4
.
f (A) = f (B) = 1
f (C) = f (D) =
si ha che
max f = 1
E
6.6.3.
AeB
min f =
E
1
4
1
4
D.
e sia f (x, y) = y x2 . Si dica, giusticando la risposta sulla base della teoria, se f ammette
massimo assoluto e minimo assoluto in S e, in caso di risposta aermativa, determinare punti
e valore di massimo assoluto e di minimo assoluto.
138
6.6
Innanzitutto
Ottimizzazione vincolata
y 2 = x4 (x4 1)
y 2 0 deve per forza essere anche x4 (x4 1) 0 da cui x4 1 cio |x| 1 che
comporta |y| 2.
2
4 4
A questo punto sia g(x, y) = y + x (x 1). Si ha
quindi essendo
g(x, y) = 8x7 4x3 , 2y = (0, 0)
quindi deve per forza essere
(0, 0) S
y=0
2x7 x4 = 0
da cui
x4 = 1/2. Quindi ho
p
4
punti (
1/2, 0)
/ S.
x=0
il punto
L:
2x = (8x7 4x3 )
L(x, y, ) = (0, 0, 0) 1 = 2 y = 0
2
y + x4 (x4 1) = 0.
Dalla seconda equazione vedo immediatamente che
anche
y=
, y 6= 0
1
quindi sostituendo nella terza equazione si ha
2
1
+ x4 (x4 1) = 0
42
2 =
1
x4 )
4x4 (1
;
2x2 1 x4
1
4x6 2x2
quindi uguagliando
1
1
= 4
2x 1
1 x4
(2x4 1) = 1 x4
da cui
4x8 + 1 4x4 = 1 x4
4x8 3x4 = 0
139
x4 (4x4 3) = 0
1
e
2y
x=0
avr
x4 =
3
y =
4
2
q
x = 4 34
3
da cui
4
e corrispondentemente
3
3
1 =
4
16
y=
3
.
4
r
4
A=
!
3 3
,
, B=
4 4
!
3 3
,
, C=
4 4
Osservo che
3
f (A) = f (B) =
4
mentre
r
4
!
3
3
,
, D=
4
4
!
3
3
,
.
4
4
3
3
=
4
4
3
3
3
f (C) = f (D) =
=
3;
4
4
4
max f = 0 = f (0, 0)
S
6.6.4.
min f =
S
f (0, 0) = 0
quindi
3
3 = f (C) = f (D).
4
Il caso generale
Teorema 6.6.8.
Siano
f, g1 , g2 , . . . , gm C 1 (Rn ) con g = (g1 , g2 , . . . gm ) e x punto di estremo vincolato per f
sotto il vincolo g(x) = b. Allora se x regolare per il vincolo, cio se il rango di Jg(x )
m allora esistono m numeri reali 1 , 2 , . . . , m (detti moltiplicatori di Lagrange) tali
che
m
(moltiplicatori
di
f (x ) =
Lagrange
caso
generale)
j gj (x ).
j=1
2 +z
6.6
Ottimizzazione vincolata
g(x, y, z) = x2 + y 2 + z 2 x z 1 = 0.
La funzione Lagrangiana data da
L.
L(x, y, z, ) = (0, 0, 0, 0)
2 +z
+ (x2 + y 2 + z 2 x z 1).
Si ha
x+y2 +z
e
+ (2x 1) = 0
ex+y2 +z 2 y + 2 y = 0
x+y 2 +z
e
+ (2z 1) = 0
2
x + y2 + z2 x z 1 = 0
y = 0
oppure
abbiamo
x+y 2 +z
= e
Se
y = 0,
x = z.
Dalla seconda
1 3
2x 2x 1 = 0 x =
2
2
!
1+ 3
1+ 3
, 0,
2
2
A=
D'altra parte, se
= ex+y
2 +z
B=
!
1 3
1 3
, 0,
.
2
2
y = 1.
x = z = 1,
infor-
C = (1, 1, 1)
D = (1, 1, 1).
A questo punto
f (A) = e1+
maxS f = e3 e C
minimo assoluto B.
Quindi
f (B) = e1
f (C) = e3 = f (D).
minS f = e1
e il punto di
141
sull'insieme
E = {(x, y, z) R3 : x2 + y 2 + z 2 9, z 0}
soluzione. La funzione data continua, l'insieme
3
interni; inoltre f C (R ) dunque gli unici punti di estremo saranno sul bordo di E .
Ora E = E1 E2 con
il minimo assoluti di
su
E1 = {(x, y, z) R3 : z = 0, x2 + y 2 9}
ed
E2 = {(x, y, z) R3 : x2 + y 2 + z 2 = 9, x2 + y 2 9}
f ristretto a E1 .
x2 + y 2 9.
g(x, y) := f (x, y, 0) = x + y
con il vincolo
quindi gli unici punti estremanti saranno sul bordo del cerchio. Uso le
3 cos t, y = 3 sin t
con
t [0, 2].
g C (R2 )
coordinate polari x =
t [0, 2].
Si ha
g(0) = g() = 3;
3 3
3
3
2,
2
2,
2 .
2
2
2
2
p
ha z =
9 x2 y 2 dove ho scelto il
(3, 0)
Studiamo ora
ristretta a
E2 . Si
z 0.
da studiare la funzione
h(x, y) = x + y
con il vincolo
x2 + y 2 9.
Di nuovo
p
9 x2 y 2
142
6.6
Ottimizzazione vincolata
cerchio:
h(x, y) = (0, 0)
1+ p
9 x2 y 2
(x, y) = ( 3, 3);
,1 + p
9 x2 y 2
= (0, 0)
i punti di eventuale non dierenziabilit sono quelli del bordo del cerchio quindi vado direttamente a studiare il comportamento di
max f = 3 2 = f
E
6.6.5.
3 3
2,
2
2
2
min f = 3 3 = f 3, 3, 3 .
E
Illustriamo ora un'interessante applicazione della teoria sviluppata no ad ora. Supponiamo di
avere
n persone);
Pi = (xi , yi ), i = 1, . . . , n.
Supponiamo di ritenere che tra le due variabili esista, nei limiti dell'errore sperimentale, una
relazione lineare che vogliamo determinare; questo signica che, pur non essendo i punti esattamente allineati, noi cerchiamo la retta
y = ax + b
E(a, b) =
n
X
(axi + b yi )2 .
i=1
Trovare la retta che meglio approssima i dati signica quindi minimizzare
retta di regressione.
E
a
E
b
E(a, b) determinando
sistema
P
P
P
( ni=1 x2i ) a + ( ni=1 xi ) b = ni=1 xi yi
.
(Pn x ) a + nb = Pn y
i
i
i=1
i=1
143
Pn
2
i=1 xi (
Pn
i=1
xi )
n
X
!2
xi
n
X
i=1
(n 1)
n
X
x2i + 2
i=1
x2i 2
i=1
xi xj ,
i<j
xi x=
i<j
(xi xj )2 ,
i<j
n > 2
x1 , . . . , x n
assumiamo).
Questo ci permette di dire che il sistema ha un'unica soluzione, dunque
E(a, b)
ha un unico
a
=
Pn
Pn
Pn 2 Pn
P
P
)
(
y
)
(
x
y
)
(
(
x
xi yi ( ni=1 yi ) ( ni=1 xi )
i
i
i
i
i=1
i=1
i=1 xi )
i=1
, b =
.
Pn
Pn
Pn 2
Pn 2
2
2
n i=1 xi ( i=1 xi )
n i=1 xi ( i=1 xi )
Pn
i=1
P
n
i=1
x2i
i=1
xi
HE(a, b) = 2 P
n
Abbiamo gi visto che
Pn
i=1
x2i (
Pn
i=1
xi
P
2
xi ) > 0, inoltre abbiamo ni=1 x2i > 0;
positiva e a
, b un punto di minimo.
Pn
i=1
quindi la
170
175
178
185
190
72
73
74
81
83
Allora abbiamo
5
X
x2i
= 161534 ,
i=1
5
X
xi = 898 ,
5
X
i=1
i=1
yi = 383 ,
5
X
xi yi = 68942.
i=1
Quindi
776
5 68942 898 383
=
= 0.613
5 161534 8982
1266
b = 161534 383 68942 898 = 42394 = 33.486,
1266
1266
a
=
y = 0.613x 33.486.
144
CAPITOLO 7
f : [a, b] R
l'integrale denito di
[a, b]
su
a
dove l'intervallo
[a, b]
stato diviso in
partizione equispaziata e
n
X
ba
k=1
f (k )
ba
attraverso una
n
n )
Se tale limite esiste nito, e non dipende dalla partizione e dai punti
integrabile su
[a, b].
f : [a, b] [c, d] R
[a, b]
xh = a + h
in
Prendiamo una
ba
intervallini di ampiezza
cio sia
n
ba
n
h = 0, 1, 2, . . . n
tale che
dc
di ampiezza
cio sia
n
yk = c + k
dc
n
[c, d]
in
intervallini
k = 0, 1, 2, . . . n
tale che
[a, b] [c, d] in n2
rettangolini che
denomineremo
|Ihk | =
Sia
h, k = 1, 2, . . . , n
(b a)(d c)
n2
Cauchy-Riemann
sn =
n
X
Ihk
e consideriamo la somma di
|Ihk | f (phk ).
(7.1.1)
h,k=1
Nella somma precedente ogni addendo il prodotto dell'area del rettangolo
che la funzione
Ihk
per il valore
parallelepipedo di base
Ihk
il volume di una certa regione tridimensionale che all'inttirsi della partizione ci si aspetta
approssimi sempre meglio la regione tridimensionale che sta tra il graco di
Denizione 7.1.1.
e il piano
xy .
Osservazione 7.1.2.
h,k=1
Z Z
Z Z
f (x, y) dx dy =
R
f (u, v) du dv
R
e il piano
xy .
Il problema ora , in
146
7.1
Esempio 7.1.3.
(
f (x, y) =
Se i punti
phk
f : [0, 1] [0, 1] R
Consideriamo la funzione
Integrali doppi
cos denita:
xQ
xR\Q
1
0
sono scelti con prima coordinata tra i razionali, allora presa una partizione
R := [0, 1] [0, 1]
n
X
sn =
|Ihk | f (phk ) =
h,k=1
mentre se i punti
phk
1
si ha
n2
n
n
X
1
1 X
1
=
1 = 2 n2 = 1
2
2
n
n h,k=1
n
h,k=1
sono scelti con prima coordinata tra i reali non razionali allora
sn = 0.
non integrabile.
di calcolare in maniera eettiva l'integrale doppio. L'idea quella di ridurlo a integrali iterati.
Infatti, dal signicato geometrico di volume di una regione tridimensionale, sia
[c, d];
y !)
R = [a, b]
A(y).
A questo punto allora il volume totale della regione tridimensionale si ricostruir integrando
poi nella variabile
y,
per
y [c, d],
Z
V =
A(y) dy.
c
A(y)?
Z
A(y) =
x 7 f (x, y)
f (x, y) dx.
a
e dunque riassumendo
Z
V =
f (x, y) dx
147
dy.
con
ssato, cio
Teorema 7.1.5.
Z b Z
Z Z
Z
f (x, y) dy dx =
f (x, y) dx dy =
a
[a,b][c,d]
f (x, y) dx dy
Esempio 7.1.6.
Si calcoli
Z Z
y exy dx dy
[0,1][0,2]
Poniamo
Z Z
y exy dx dy.
I=
[0,1][0,2]
Z
xy
y e dy
I=
0
Z
xy
y e dx
dx =
0
dy
Mostriamo attraverso questo semplice esempio come scegliere una strada oppure l'altra pu
non essere equivalente, in termini di semplicit di risoluzione dell'integrale stesso (rimane
ovviamente equivalente ai ni del risultato nale).
y exy
rispetto a
e tenendo
x costante si pu
y exy dy =
da cui
I=
0
Ora, saper calcolare
y xy
1
e 2 exy
x
x
2 2x
e
x
y exy
1
2 exy + C
x
x
2
Z
dx =
0
2 2x
1
1
e 2 e2x + 2
x
x
x
dx
(di nuovo per parti nel primo termine e integrando immediatamente i terzo termine)
Z
2 2x
1
1
e 2 e2x + 2
x
x
x
2 e2x
dx =
+
x 2
Z
2 e2x
1 2x
e
x2 2
x2
148
dx
1
e2x 1
+C =
+C
x
x
7.1
Integrali doppi
1
1
2 2x
e 2 e2x + 2
x
x
x
2x
1
2 2x
1 2x
e 1
1
dx = lim
e 2 e + 2 dx = lim
0
0
x
x
x
x
2
2
e 1 e 1
2 = e2 1 2 = e2 3.
= lim
0
1
2
Si ha in maniera molto pi
immediata
Z
I=
0
Z 2
Z 2
xy 1
(ey 1) dy = [ey y]20 = e2 1 2 = e2 3
y e dx dy =
[e ]0 dy =
xy
+ Osservazione 7.1.7.
una funzione prodotto di due funzioni ciascuna in una sola delle 2 variabili, per esempio
f (x) g(y)
allora facile vedere che l'integrale doppio si calcola come prodotto di due integrali unidimensionali,
ossia
Z b Z
Z Z
f (x) g(y) dy
f (x) g(y) dx dy =
a
[a,b][c,d]
Z
g(y) dy
dx
f (x) dx
g(y) dy
Z
f (x)
dx =
Z
c
e analogamente per l'altra integrazione.
Esempio 7.1.8.
Si calcoli
Z Z
y ex dx dy
[0,1][0,2]
Si ha
Z Z
Z
y e dx dy =
[0,1][0,2]
7.1.2.
Sia ora
1
x
Z
y dy
e dx
0
[ex ]10
y2
2
2
= 2 (e 1).
0
Z Z
su
e calcolare
f dx dy
R
dove
prossimo esempio.
149
Esempio 7.1.9.
Sia
Z Z
1 dx dy.
otteniamo la stessa funzione del primo esempio del capitolo, che sappiamo gi non essere
integrabile.
Sulla base di questo semplice esempio (si noti che la funzione costante 1 continua e limitata!)
ci si convince che occorre individuare condizioni sul dominio
(almeno) di una funzione continua e limitata. In questo capitolo analizzeremo alcune classi di
insiemi che soddisfano i nostri requisiti: insiemi semplici, regolari e misurabili.
Denizione 7.1.10.
Un insieme
E R2
si dice
y -semplice
se del tipo
g1 , g2 : [a, b] R
funzioni continue.
Geometricamente un insieme
con
c [a, b],
y -semplice
x=c
Denizione 7.1.11.
Un insieme
E R2
si dice
x-semplice
se del tipo
h1 , h2 : [c, d] R
funzioni continue.
Geometricamente un insieme
con
k [c, d],
x-semplice
y=k
Denizione 7.1.12.
Un insieme
E R2
si dice semplice se
y -semplice
x-semplice;
si
Esempio 7.1.13.
x-semplici
che
y -semplici;
triangoli sono domini semplici (al massimo se nessuno dei lati parallelo agli assi sono domini
regolari). L'insieme
E = {(x, y) R2 : 0 x 1,
150
x y 1}
7.1
sia
x-semplice
che
Integrali doppi
y -semplice.
L'insieme
E = {(x, y) R2 : 1 x2 + y 2 4, |x| y}
non un dominio n
y -semplice
x-semplice,
(dunque regolare).
Osservazione 7.1.14.
lo stesso vale per un insieme regolare. In particolare una funzione denita su un insieme regolare,
dal Teorema di Weierstrass, ha sempre massimo e minimo, dunque limitata.
Vale il seguente importante teorema.
Insiemi misurabili
Abbiamo visto che il signicato geometrico dell'integrale doppio quello di rappresentare il
volume del sottograco di una supercie cio il volume della parte di spazio compresa tra il
graco di
e il piano
xy .
r Denizione 7.1.16.
R2 si dice misurabile
in . In tal caso chiameremo
||) il numero
Z Z
1 dx dy.
|| =
(e la denoteremo con
Per i risultati precedenti, ogni insieme regolare misurabile (perch la funzione costante
continua); tuttavia come mostrato in precedenza esistono anche insiemi non misurabili.
7.1.3.
Siano
R2
integrabili su
e sia c R.
Z Z
Z Z
[f (x, y) + g(x, y)] dx dy =
Z Z
f (x, y) dx dy +
151
g(x, y) dx dy
Allora
Z Z
Z Z
c f (x, y) dx dy = c
f (x, y) dx dy
Z Z
c dx dy = c||
2) positivit e monotonia
Z Z
f 0
in
f (x, y) dx dy 0
Z Z
Z Z
f (x, y) dx dy
g(x, y) dx dy
Z Z
Z Z
|f (x, y)| c
f (x, y) dx dy
|f (x, y)| dx dy c ||
f g
in
Valgono altre propriet di additivit e monotonia dell'integrale rispetto al dominio di integrazione; valgono altres diverse propriet dell'integrale nel caso specico di funzioni continue.
7.1.4.
Teorema 7.1.17.
f (x, y) dx dy =
f (x, y) dx
dy.
h1 (y)
h2 (y)
f (x, y) dx dy =
g2 (x)
f (x, y) dy
a
dx.
g1 (x)
7.1
Esempio 7.1.18.
Integrali doppi
Si calcoli
Z Z
2x dx dy
A
con
2
3
x
(x, y) R2 : x 0, y
,
+ y2 1
2
4
(
A=
Il dominio
, per esempio,
y -semplice.
3
y
2
(x, y) R2 : 0 x 1,
A=
x2
1
4
da cui
Z Z
!
3
x2
2x
dy =
2x dx
1
2x dx dy =
4
2
0
3/2
0
A
1
1
3/2
Z 1 r
Z 1
x2
2
x2
3 2
=
2x 1
dx 3
x dx = 1
4
x
4
4
3
2
0
0
0
0
"
#
3/2
8
8
3
3
3
=
3+
=
1
3
4
2
2
3
Z
Esempio 7.1.19.
q
2
1 x4
n
o
x
E = (x, y) R2 : 3x y , x 0, y x 3
3
La gura descritta dall'insieme E un triangolo delimitato dalle rette
x
r1 : y = 3x
r2 : y =
r3 : y = x 3
3
L'insieme non n x-semplice n y -semplice ma regolare, quindi pu essere decomponibile
in domini semplici. Per esempio: decomponiamolo in domini y -semplici. Ad esempio si ha
E = E1 E2 con
x
9
3
2
E1 = (x, y) R : x 3 y , x
3
4
4
e
3
x
2
E2 = (x, y) R : 3x y , x 0
3
4
Allora
Z Z
|E| =
3/4
1 dx dy =
dy
9/4
x/3
dx +
x3
x/3
dy
3/4
dx
3x
3/4
3/4
0
2
4x
8x
=
+ x + 3 dx +
3x dx =
+ 3x
3
3 2
3 2
9/4
3/4 3
9/4
9/4
3/4
2 9
81
3 9
4
9
9
+3 +
=
=
3 16 16
4 4
3
16
4
Z
3/4
x
x
153
E = E3 E4
x-semplici.
con
E3 =
y
9
3
(x, y) R : y 3 x , y
3
4
4
2
y
3
2
E4 = (x, y) R : 3y x , y 0
3
4
allora
Z Z
|E| =
3/4
dx
1 dx dy =
9/4
y/3
dy +
y3
y/3
dx
3/4
dy
3y
7.1.5.
Abbiamo visto nel caso unidimensionale la formula di cambiamento di variabili per gli integrali
1 (b)
f ((t)) 0 (t) dt
f (x) dx =
1 (a)
con
x = (t)
derivabile e monotona, da
trasformazione
di coordinate nel piano (pi precisamente un dieomorsmo globale, come abbiamo introdotto
nel paragrafo relativo).
Sia dunque da calcolare
Z Z
f (x, y) dx dy
D
e sia
T : D0 D
In questo modo
f (x, y)
diventa
x = g(u, v)
y = h(u, v)
154
0 (t)?
7.1
Integrali doppi
Teorema 7.1.20.
Sia D R2 un dominio
regolare, f : D R una funzione continua, e T : D0 D una trasformazione di coordinate,
pi precisamente un dieomorsmo globale tra D e D0 , con (x, y) = T(u, v) e
(formula di cambiamento di variabili)
Allora
Z Z
x = g(u, v)
y = h(u, v)
Z Z
f (g(u, v), h(u, v)) |detJT(u, v)| du dv
f (x, y) dx dy =
D0
dove
gu gv
hu hv
JT(u, v) =
Esempio 7.1.21.
Z Z
(y 2 + 1) dx dy,
D
ove
la parte dell'ellisse
{(x, y) R2 : x2 + 4 y 2 1}
x = cos
1
y = sin
2
con le seguenti limitazioni per le variabili
01
h
2
i
, .
x
J =
y
da cui
det J
x
cos sin
1
y 1
sin
cos
2
2
1
1
1
cos2 + sin2 = .
2
2
2
155
Quindi
Z 1
Z
1
1 2
1
2
3
2
d
d
(y + 1) dx dy =
sin + 1 =
d
sin d
2
4
8
0
/2
D
0
/2
1
1
Z 1
Z
2
1
1 4 1
1
17
1
+
d
d =
sin cos +
+ =
.
=
2
8 4 2
2
2 2
128 8
128
0
/2
Z Z
Esempio 7.1.22.
/2
/2
Z Z
x y dx dy
E
dove
y=
L'insieme
1
x
y=
2
x
y=
1
x2
y=
2
x2
(che non semplice anche se a fatica pu essere descritto come unione di insiemi
semplici) ad un rettangolo
da cui si deduce
xy = u
x2 y = v
v
x=
u2
y= u
v
1
v
u2
u2
JT(u, v) = 2u
u
2
v
v
quindi
detJT =
1
v
1
v
ha 1 < v < 2).
|detJT| =
(essendo
v0
e dunque si
Concludendo dunque
Z Z
Z
x y dx dy =
Z
u du
2
2
1
u2
3
dv = log v = log 2
v
2
2
156
7.2
Integrali tripli
7.2.1.
Sia
g1 , g2 : D R continue.
) allora l'integrale triplo
dominio regolare e
continua e integrabile su
Z Z Z
Z Z
Allora se anche
g2 (x,y)
f (x, y, z) dz
D
una funzione
f (x, y, z) dx dy dz =
7.2.2.
f :R
dx dy
g1 (x,y)
Sia ora
con
su
7.2.3.
h1
(z)
Teorema 7.2.1.
x = x(u, v, w)
y = y(u, v, w)
z = z(u, v, w)
157
Allora
Z Z Z
f (x, y, z) dx dy dz
Z Z
ZD
f (x(u, v, w), y(u, v, w), z(u, v, w)) |detJT(u, v, w)| du dv dw
=
D0
Esempio 7.2.2.
V = {(x, y, z) R3 : x2 + y 2 1, 0 z 3
p
x2 + y 2 }
Z Z Z
Z 3x2 +y2
Z Z
dz
1 dx dy dz =
x2 +y 2 1
Z Z
p
3 x2 + y 2 dx dy
dx dy =
x2 +y 2 1
Z Z Z
1 dx dy dz =
x2 +y 2 1
Z
p
2
2
3 x + y dx dy =
Z Z
32 d d = 2
Si pu giungere allo stesso risultato usando direttamente le coordinate cilindriche come cambio
di coordinate nell'integrale triplo di partenza, per cui usando la trasformazione
x = cos
y = sin
z=t
che ha determinante della matrice Jacobiana uguale a
si riscrive
V = {(, , z) R3 : 0 1, 0 2, 0 z 3}
per cui
Z Z Z
1 dx dy dz =
V
dz d d =
0
158
32 d d = 2
CAPITOLO 8
Campi vettoriali
8.1. Campi vettoriali
r
campo scalare
Rn
e il codominio
Rm
sono pensati in
Se
punto
(x, y, z) R3
Fi : R3 R
F(x, y, z)
E(x, y, z)
(x, y, z);
(x, y, z),
attrattiva o repulsiva;
c) il campo delle velocit
v(x, y, z)
(x, y, z). Se il
tempo v(x, y, z, t);
159
Campi vettoriali
d) il gradiente
f (x, y, z)
T (x, y, z)
peratura
in
della tem-
(x, y, z) di un materiale
analoga relativamente alla pressione in un uido in moto, che pu essere un liquido o un gas.
Esempio 8.1.2.
r0
km
(x x0 )i + (y y0 )j + (z z0 )k
(r
r
)
=
km
0
|r r0 |3
((x x0 )2 + (y y0 )2 + (z z0 )2 )3/2
F(x, y, z) = F(r) =
Si osservi che
r0
|F| =
.
Esempio 8.1.3.
km
.
|r r0 |2
Il campo elettrostatico
in
P0
sostituito da
q.
Esempio 8.1.4.
F(r)
r(t)
parallelo al vettore
r0 (t)
cio
Se in
r0 (t) = (t)F(r(t)).
160
(t)
tale che
(8.2.1)
8.3
0
z (t) = (t)F3 (x, y, z)
che anche equivalente a
dx
dy
dz
=
=
.
F1 (x, y, z)
F2 (x, y, z)
F3 (x, y, z)
Pertanto se si interessati a determinare le linee integrali, occorre dunque risolvere il precedente
sistema di equazioni dierenziali del primo ordine. Se in pi si impone che la curva passi per
(x0 , y0 , z0 ), tale sistema avr un'unica soluzione locale (a patto di avere le necessarie
sul campo F, ossia che F sia ben denito, regolare e non nullo). Questo ci permette di
un punto
ipotesi
asserire che le curve integrali del campo costituiscono una famiglia di linee a due a due prive
di intersezioni, cio per ogni ssato punto dello spazio passa una e una sola linea integrale del
campo.
8.3.1.
L'operatore rotore
Denizione 8.3.1.
rotore di
Sia
F : R3 R3
C 1 ().
Si denisce
il campo
F1 F2
rotF = F =
y
z
i
j k
= x y z
F1 F2 F3
i+
F1 F3
z
x
j+
F2 F1
x
y
k;
F=
x
y
Il simbolo
161
R3 .
k
il campo
F;
F.
Se
sempre bene
Campi vettoriali
8.3.2.
L'operatore divergenza
r Denizione
(F1 , F2 , . . . , Fn ).
8.3.2.
Sia
Si denisce
F : Rn Rn un campo vettoriale
divergenza di F il campo scalare
divF
=F=
xi
Si ha inoltre che
C 1 (), F =
n
X
Fi
n=1
Per esempio se
di classe
un campo vettoriale in
R3
si ha
F1 F2 F3
+
+
.
x
y
z
e del campo
F.
naturale chiedersi
se tutti i campi vettoriali sono a loro volta gradienti di un campo scalare, ovvero ci si pu
domandare se, dato un campo vettoriale
che
F : R3 R3
F(x, y, z) = U (x, y, z) =
esista
U : R3 R
U
U
U
(x, y, z),
(x, y, z),
(x, y, z) .
x
y
z
F : Rn Rn
soluzione. Se il campo
U
= 3x2
x
U
= xy 2 .
y
seguirebbe che
U (x, y) = x3 + g(y)
g funzione derivabile della sola variabile y. Ma allora, derivando questa relazione rispetto al0
2
la variabile y si otterrebbe Uy (x, y) = g (y) costante rispetto a x, assurdo perch Uy (x, y) = xy .
con
162
8.4
Sarebbe dunque interessante possedere dei criteri che permettono di decidere se un campo
conservativo oppure no e in caso aermativo calcolarne il potenziale. L'esempio precedente
suggerisce l'idea di utilizzare il teorema di Schwarz per ricavare una
deve essere soddisfatta anch un qualunque campo vettoriale
Teorema 8.4.3.
condizione necessaria
3
F:R R
sia conservativo:
Se F : R3 R3 un campo
y F1 = x F2
z F1 = x F3
z F2 = y F3
dimostrazione.
aperto
A,
Se
allora esiste
F : R3 R3 con F = (F1 , F2 , F3 )
U (x, y, z) tale che
Ux = F1
Uy = F2
Uz = F3
Se
F C1
e dunque
Uxy , Uyx
(8.4.1)
un campo conservativo in un
e la seconda rispetto a
Uxy = y F1
che
otteniamo:
Uyx = x F2 .
y F1 = x F2 .
Analogamente si deducono le relazioni
z F1 = x F3
z F2 = y F3 .
y F1 = x F2 .
+
Osservazione 8.4.4.
accorge che la condizione delle derivate in croce altro non che richiedere che
163
F = 0
cio che
Campi vettoriali
il campo
sia irrotazionale. In tal caso il teorema precedente si enuncia dicendo che un campo
e si ha la seguente identit
(U ) = rotgradU = 0.
.
y F1 = 0 = x F2
z F1 = 0 = x F3
x F 2 = 0 = y F 3 .
Quindi il campo potrebbe essere conservativo. Cerchiamo di determinare una funzione potenziale
U (x, y, z).
si avrebbe:
Z
Ux = x U =
Z
Uy = 2y U =
Z
Uz = 3z U =
x + c(y, z) =
x2
+ c(y, z)
2
U (x, y, z) =
.
x2
3
y2 + z2.
2
2
x2
x
y
i 2
j
2
+y
x + y2
x F2 =
(x2
2xy
2xy
6= 2
= y F 1
2
2
+y )
(x + y 2 )2
164
8.4
Esempio 8.4.7.
Per
(x, y) 6= (0, 0) deniamo il campo vettoriale F(x, y) e un campo vettoriale (x, y) nel modo
seguente:
F(x, y) =
(x, y) = angolo
Quindi
x = r cos (x, y)
y
2
x + y2
polare
y = r sin (x, y)
di
dove
i+
(x, y)
x
2
x + y2
tale che
j
0 < 2.
r 2 = x2 + y 2 .
F1 =
y
x2 + y 2
F2 =
x
.
x2 + y 2
Quindi
F1 (x, y) =
y
y
per tutti i punti
y
2
x + y2
y 2 x2
=
= 2
2
2
(x + y )
x
r
x
x
2
x + y2
=
F2 (x, y)
x
Eliminando
x = r cos
y = r sin
1=
x
r
=
cos r sin
x
x
x
0=
y
r
=
sin + r cos .
x
x
x
rispetto a
per ottenere
si ricava
r sin
y
= 2 = 2
= F1 .
x
r
x + y2
Analogamente derivando rispetto a
si ottiene
x
= 2
= F2 .
y
x + y2
Queste formule valgono solo se
positivo: infatti se
x>0
allora
lim (x, y) = 0
y0+
lim (x, y) = 2.
y0
165
Campi vettoriali
Quindi
= F
(x, 0)
con
x 0.
F = U
0 < < 2 e
privato dell'origine.
Nell'esempio preso in esame l'origine un
buco
del dominio di
F.
Anche se
soddisfa la
condizione necessaria per essere conservativa ovunque tranne in questo buco, per poter avere
F sia conservativo.
Denizione 8.5.1.
Un insieme
un arco di curva continuo che congiunge questi due punti ed interamente contenuto in
Denizione 8.5.2.
Un aperto
esiste
pu essere
piano privato di una retta; non sono semplicemente connessi il piano (o il cerchio ecc...) privati
di un punto; una corona circolare, pi in generale ogni insieme che presenta un buco.
ca, un semispazio, tutto lo spazio privato di un numero nito di punti; non sono semplicemente
connessi il toro, la sfera privata di un diametro, lo spazio privato di una retta.
Chiarita questa nozione possiamo enunciare il seguente importante risultato:
166
8.6
Teorema 8.5.3. Sia F un campo vettoriale di classe C 1 (A) che soddisfa le condizioni necessarie (8.4.1) in A. Sia inoltre A un aperto semplicemente connesso. Allora F conservativo
in A. In particolare, qualunque sia A, il campo F localmente conservativo.
A; dunque possibile applicare la prima parte del teorema all'intorno B e dedurne che il campo F conservativo
intorno sferico
Osservazione 8.5.4.
Esistono campi che sono conservativi deniti su domini che non sono
x2
y
x
i+ 2
j
2
+y
x + y2
x F 2 =
2xy
2xy
=
= y F1
(x2 + y 2 )2
(x2 + y 2 )2
connesso, quindi non si pu applicare il teorema precedente per concludere che il campo
conservativo. Tuttavia se si va alla ricerca di una funzione potenziale, con semplici calcoli si
verica che
F = U
dove
U (x, y) = 21 log(x2 + y 2 )
Denizione 8.6.1. Il
lavoro elementare
dL = F ds = F1 dx + F2 dy + F3 dz.
167
Campi vettoriali
Il
L=
F(r(t)) r0 (t) dt
F ds =
dL =
Z
a
[F1 (x(t), y(t), z(t))x0 (t) + F2 (x(t), y(t), z(t))y 0 (t) + F3 (x(t), y(t), z(t))z 0 (t)] dt
=
a
La quantit
curva e
ds
F ds
F t ds
dove
l'elemento di arco.
L'integrale
F dr
r(a)
punto di applicazione da
della natura del campo
F.
r(b)
lungo
F dr e si chiama
lungo un percorso che parte dal punto (0, 0) e arriva al punto (1, 1)
a) lungo la retta y = x;
b) lungo la curva y = x2 ;
c) lungo la curva continua costituita, nell'ordine, prima dal segmento che congiunge (0, 0) e
(0, 1) e poi dal segmento che unisce i punti (0, 1) e (1, 1).
soluzione. a) Possiamo parametrizzare la retta nel seguente modo:
r(t) = ti + tj
0t1
da cui
Z
F ds =
L=
r(t)
1
0
r(t) = ti + t2 j
0t1
da cui
3t2 dt = 1.
8.6
Allora
2 2
F ds =
L=
5t4 dt = 1.
r(t)
r1 (t) = 0i + tj
0t1
r2 (t) = ti + 1j
0t1
da cui
Z
F ds +
L=
r1 (t)
F ds =
1 dt = 1.
0
da
(0, 0)
Z
[1 + 0] dt =
[t 0 + 2 0 t 1] dt +
0
r2 (t)
(1, 1).
F = yi xj.
Determinare il lavoro del campo vettoriale F lungo i seguenti due percorsi che connettono i
punti (1, 0) e (0, 1)
a) segmento di retta;
b) parte di circonferenza centrata nell'origine percorsa in senso antiorario.
soluzione. a) Possiamo parametrizzare la retta nel seguente modo:
r(t) = (1 t)i tj
0t1
da cui
Z
F ds =
L=
r(t)
Z
[(t)(1) + (1)(1 t)(1)] dt =
1 dt = 1.
0
3
0t
2
da cui
Campi vettoriali
Allora
Z
F ds =
L=
r(t)
3/2
Z
[sin t( sin t) + ( cos t) cos t] dt =
0
3/2
3
(1) dt = .
2
In questo caso l'integrale dipende dal percorso. Tra l'altro il campo non conservativo, come
si pu facilmente mostrare (non vale la condizione necessaria
y y = 1 6= x (x) = 1).
Ci
si pu domandare se c' un legame tra questi due fatti. In seguito si vedr che la risposta
aermativa.
Il lavoro di un campo vettoriale risulta essere un integrale di linea di tipo diverso rispetto a
quelli visti no a questo momento; per distinguerli gli integrali studiati no a questo momento
vengono detti integrali di linea di prima specie mentre gli altri vengono anche chiamati
integrale di linea di seconda specie.
coinvolto in modo diverso all'interno dell'integrale e questo ha come conseguenza il fatto che gli
integrali di linea consiederati no ad ora sono invarianti per cambiamenti di parametrizzazione
della curva, in particolare se la nuova parametrizzazione cambia l'orientazione, cambiando il
verso di percorrenza della curva il risultato rimane il medesimo. Negli integrali di linea di seconda specie, invece, se si cambia l'orientazione di una curva, il risultato cambia di segno, quindi
il lavoro dipende dal verso di percorrenza della curva. L'integrale di linea di seconda specie
continua ad essere invariante per cambiamenti di parametro che non alterino l'orientazione.
Proposizione 8.7.1.
Sia D un dominio aperto connesso e sia F un campo vettoriale denito su D. Allora le tre
proposizioni seguenti sono equivalenti:
a) F conservativo in D.
b)
I
F dr = 0
8.7
il lavoro del campo lungo un qualunque cammino contenuto in A che congiunge i punti P1 e
P2 dato semplicemente da
L = U (P2 ) U (P1 ).
Il lavoro dunque dipende solo dagli estremi del cammino e non dalla forma del medesimo.
In particolare, il lavoro di un campo conservativo lungo un cammino chiuso (cio tale che
P1 = P2 ) nullo.
.
y 2 g(x)
2
+ 2y , y sin x + 4xy ,
x
si stabilisca se g C (R) pu essere scelta in modo tale che F ammetta un potenziale in tutto
il suo dominio di denizione, e nel caso calcolarlo.
chiaro che l'insieme di denizione del campo vettoriale
Dx (y sin x + 4xy) = Dy
da cui
y cos x + 4y =
e questo implica allora che
Con questa scelta di
y 2 g(x)
+ 2y 2
x
g. Si dovrebbe
g(x)
2 y + 4y
x
1
g(x) = x cos x.
2
1
2
2
F (x, y) = cos x y + 2 y , y sin x + 4 x y
2
da cui si vede immediatamente che
denito su tutto
R2
connesso. Quindi la teoria ci assicura che il campo dato conservativo. Calcolo un potenziale
U.
Si deve avere
1
cos x y 2 + 2 y 2
Uy = y sin x + 4 x y
2
Z
1
1
2
2
U=
dx = y 2 ( sin x) + 2 x y 2 + C1 (y)
cos x y + 2 y
2
2
Ux =
da cui
171
Campi vettoriali
ma anche
Z
U=
(y sin x + 4 x y) dy =
Esempio 8.7.4.
y2
sin x + 2 x y 2 + C2 (x).
2
C1 (y) = C2 (x) = 0
1
U (x, y) = y 2 sin x + 2 x y 2 .
2
R
Si calcoli l'integrale curvilineo G d, dove
G(x, y) = cos y, x sin y ex(cos y) ,
: [0, 1] R2 ,
t 7 (cos(t) + t2 , 1 + t2 ).
Vediamo se il campo
conservativo.
R2
che
semplicemente connesso; vediamo se vale la condizione delle derivate in croce. Dovrebbe essere
sin y ex(cos y) + x sin y ex(cos y) cos y = sin y ex(cos y) + cos y ex(cos y) x sin y.
Quindi la teoria ci assicura che il campo
essere
Ux = cos y ex(cos y)
Uy = x sin y ex(cos y)
da cui
Z
U=
e anche
Z
U=
C1 (y) = C2 (x) = 0
U (x, y) = ex(cos y) .
A questo punto
Z
G d = U ((1)) U ((0))
da cui
(1) = (0, 2)
(0) = (1, 1)
G d = 1 + ecos 1 .
172
U.
Deve
8.8
delle forme differenziali. La teoria delle forme dierenziali in realt una teoria matematica profonda e complessa che permette di dimostrare risultati molto generali; qui ci interessa
soltanto segnalare una terminologia alternativa per concetti che gi conosce. Il motivo che
entrambi i linguaggi sono molto usati nella letteratura scientica e vanno pertanto conosciuti.
Sia
F
dL = F1 dx + F2 dy + F3 dz
Lavoro elementare di
Forma dierenziale
= F1 dx + F2 dy + F3 dz
ds
=
F(r(t)) r0 (t) dt
=
F(r(t)) r0 (t) dt
F conservativo
U : F = U
esatta
f : = df = fx dx + fy dy + fz dz
irrotazionale
rot
F=0
chiusa
rot
F=0
risultati che andremo a presentare sono casi particolari di teoremi della divergenza e del rotore
che presenteremo in seguito.
Sia
x-semplice
y -semplice;
sia
C 1 (D).
di esso ssato il verso di percorrenza antiorario; in caso contrario diremo che orientato
negativamente. Per sottolineare l'orientazione useremo i simboli
173
+D
rispettivamente.
Campi vettoriali
Z
Py dx dy =
P dx
+D
(b) Se
D = {(x, y) R2 : c y d, h1 (y) x h2 (y)}
Z
Qx dx dy =
Q dy
+D
D
Vale il seguente teorema.
Teorema 8.9.3. Sia D un dominio limitato di R2 semplice rispetto a entrambi gli assi. Se
Osservazione 8.9.4.
domini esprimibili come unione di un numero nito di domini semplici rispetto a entrambi gli assi,
a due a due disgiunti.
Esempio 8.9.5.
antiorario.
Questo esercizio pu essere risolto in due modi.
primo modo. Siano
1 = {(x, y) R2 : y = x + 1 0 x 1}
2 = {(x, y) R2 : y = 0 1 x 0}
3 = {(x, y) R2 : x = 0 0 y 1}
174
(0, 1),
percorsi in senso
8.9
x = t
1 (t) =
0t1
y =1t
2 (t) =
x=t2
1t2
2t3
y=0
3 (t) =
x=0
y =t2
A questo punto
v(x, y) dS =
L=
v+
Z
v+
v=
3
+
1
sin(t 2) dt
cos(t 2) dt +
+
1
{cos[t 2 + 0] 0 + sin(t 2 0) 1} dt =
3 1
1
2
1
1
sin(1 2 t) sin 1 + sin(t 2) cos(t 2) = sin(1) sin 1 sin 1
2
2
2
2
1
0
sin(1) cos 1 + 1 = 1 cos 1 sin 1.
secondo modo.
in
D un dominio limitato
v = P i + Q j C 1 (D), allora vale la
formula
Z Z
Z
(Qx Py ) dx dy =
dove
+D
il bordo di
P dx + Q dy,
+D
175
P = cos(y + x),
Campi vettoriali
Q = sin(y x), D
Z
il triangolo di vertici
Z Z
v dS =
(0, 1).
x+1
cos(y x) dx dy
1
x+1
sin(y + x) dy dx =
1
x+1
x+1
Z 0
dx
[ cos(y + x)]
dx +
[ sin(y x)]
1
( cos(2x + 1) + cos x) dx
( sin 1 + sin(x)) dx +
Allora
= sin 1 + 1 cos 1
1
1
sin 1 + sin(1) sin(1) = 1 cos 1 sin 1.
2
2
ammissibile per il teorema di Gauss-Green nel piano mediante un integrale curvilineo esteso su
tutto
D.
Infatti scegliendo
Q(x, y) = x
y dx
+D
D
mentre scegliendo
8.9.2 si ha
Z Z
area(D) =
1 dx dy =
x dy
+D
D
Quindi sommando e dividendo per 2 si ottiene
Z Z
1
1 dx dy =
2
D
area(D) =
.
Esempio 8.10.1.
(a)
+E
Z
(c)
+E
F = (F1 , F2 ),
dul dominio D )
(x dy y dx)
+D
Sia
Se
1x
y dx
x
y 2 dx + x2 dy
(b)
+E
1x
y dx + log(xy) dy
x
Z
log(xy) dy
(d)
+E
allora la formula di Gauss-Green nel piano dice che (sotto opportune ipotesi
Z Z
Z
(F1 )y dx dy =
F1 dx
+D
D
176
8.11
Z Z
Z
(F2 )x dx dy =
F2 dy
+D
D
da cui
Z Z
Z
(F2 dy F1 dx).
((F1 )y + (F2 )x ) dx dy =
+D
D
L'area di
RR
D
dx dy
(F1 )y + (F2 )x = 1
Nel nostro caso dunque l'unica che funziona quella del caso
1x
y = 1
x
1
x
F2 = log(xy),
(c);
infatti, ponendo
F1 =
si ha
(F1 )y + (F2 )x = 1
1 1
+ = 1.
x x
una supercie
x = x(u, v)
y = y(u, v)
z = z(u, v)
(u, v) A R2
ru rv
(u, v) A R2 .
parte, dalle propriet del prodotto vettoriale, si pu aermare che il modulo del vettore
ru rv
rappresenta l'area del parallelogramma individuato dai due vettori, che in prima approssimazione uguaglia l'area del parallelogramma curvilineo disegnato sulla supercie e compreso
tra le linee coordinate. ragionevole allora dare le seguenti denizioni.
177
Campi vettoriali
Denizione 8.11.1.
dS = |ru rv | du dv.
L'area della superficie data dalla formula
Z Z
Z Z
|ru rv | du dv.
dS =
a() =
Osservazione 8.11.2.
Il valore di
a()
per denizione di supercie regolare parametrizzaa l'elemento d'area non si annulla mai.
Esempio 8.11.3.
z = f (x, y),
con
(x, y) A R2 .
Si
ha dunque
i j k
rx ry = 1 0 fx
0 1 fy
= fx i fy j + k
Allora
|ru rv | =
p
1 + |f |2
Z Z p
a() =
1 + |f |2 dx dy
A
Esempio 8.11.4.
una supercie di
rotazione espressa attraverso le seguenti equazioni parametriche (per esempio ottenute mediante
x)
x = x(t) cos
y = y(t) sin
z = z(t)
t I R, [0, 2)
da cui
i
j
k
0
0
0
rt r = x (t) cos x (t) sin z (t)
x(t) sin x(t) cos
= x(t) z 0 (t) cos i x(t) z 0 (t) sin j + x(t) x0 (t)k
p
dS = |x(t)| x0 (t)2 + z 0 (t)2 dt d
178
8.11
Z Z
p
|x(t)| x0 (t)2 + z 0 (t)2 dt d
a() =
I[0,2)
. Esempio 8.11.5. Calcolare l'area della supercie S intersezione della sella := {(x, y, z)
R3 | z = xy} con il solido cilindrico C := {(x, y, z) R3 | x2 + y 2 4}.
Si tratta di un calcolare l'area di una supercie.
parametrizzazione della supercie
Scegliamo ad esempio
r : A R2 R3
dove
x = cos
y = sin
z = 2 sin cos .
si interseca con il
0 2 e [0, 2 ].
si ha infatti
Allora si ha
i
j
k
r r = cos
sin
2 sin cos
sin cos 2 (cos2 sin2 )
quindi
r r =i 2 (cos2 sin sin3 2 sin cos2 ) + j (2 ) (2 sin2 cos + cos3 cos sin2 )
+ k ( cos2 + sin2 ) = (2 sin ) i + (2 cos ) j + k.
Da questo si deduce che
|r r | =
4 + 2 =
p
2 + 1.
Quindi
Z Z
1 dS =
2
2
3/2
p
(
+
1)
2
14
2 + 1 d d =
[8 1] =
.
=
3/2
3
3
0
179
Campi vettoriali
8.11.2.
Sia
una funzione continua, denita in una regione dello spazio contenente la supercie
tramite la formula
Z Z
Z Z
F dS =
F (u, v) |ru rv | du dv
su
piano.
Esempio 8.11.6.
ellissoide di equazione
situata nel semispazio
x +y +
{z 0}.
z2
2
=1
(3z n1)dS ,
la porzioneodi
(x, y, z) R3 x2 + y 2 14 e
dove
Ri-
solveremo l'esercizio in due modi, lavorando con due diverse parametrizzazioni della supercie.
primo modo. Poniamo
x = cos
y = sin
z = 2(1 2 ).
{z 0}
p
2(1 2 ))
R+ , [0, 2].
Imponendo che la supercie sia racchiusa dal cilindro, si ottiene la seguente restrizione su
1
1
0 .
4
2
Sia allora
r =
cos , sin ,
1
2 p
(2)
2 1 2
2
cos , sin , p
1 2
r = ( sin , cos , 0)
180
8.11
quindi
r r =
2
cos
sin p
1 2
sin cos
0
!
2
2 cos 2 2 sin
p
, p
, .
1 2
1 2
Allora
s
|r r | =
2 4
1 2
+ 2 =
24
+
1 2
s
=
+
=
1 2
2 + 1
.
1 2
Quindi
p
(3 2 1 2 1)
Z Z
(3z 1) dS =
1/2
=
0
2 + 1
d d
1 2
Z
p
2
3 2 + 1 d d
0
1/2
2 + 1
d d.
1 2
Osserviamo che si ha
Z
2
p
2
2 + 1 d = (2 + 1)3/2 + C;
3
2 + 1
d.
1 2
s
z=
2 + 1
1 2
r
=
z2 1
1 + z2
2z
d = 2
(z + 1)2
z2 + 1
z2 1
2z 2
dz.
(z 2 + 1)2
da cui
2 + 1
d =
1 2
Z r
z2 1
2z
z 2
2
z + 1 (z + 1)2
z2 + 1
dz =
z2 1
2z 2
dz =
(z 2 + 1)2
2z
z
z
dz
=
+ arctan z.
(z 2 + 1)2
z2 + 1
181
Campi vettoriali
Quindi
1/2
(3z 1) dS =
1/2
2 + 1
d d
1 2
0
0
0
0
1/2
5/3
z
+ arctan z
=2 2 (2 + 1)3/2 2 2
z +1
Z
Z
p
2
2 + 1 d d
"
=2
3/2
5
1
4
r
+
53
arctan
38
#
5 1
+ arctan 1 .
3 2
Si pu anche procedere con parametrizzazioni diverse per la supercie; il risultato non cambia.
della componente di
e una supercie
normale a
rappresenta il flusso di
attraverso
gioca un ruolo fondamentale nella formulazione di molte leggi siche e in svariate applicazioni.
Obiettivo di questo paragrafo sar quello di denire correttamente questo concetto.
8.12.1.
Sia
(u, v) T R2
n = vers(ru rv )
sono entrambi normali alla supercie
n = vers(ru rv )
uno dei due lati della supercie (per esempio il lato interno o il lato esterno di un guscio
sferico); quindi la scelta di uno dei due versori pu essere legata al concetto di
orientazione
r Denizione 8.12.1.
Detto altrimenti, se si segue il versore normale alla supercie lungo una curva chiusa che giace sulla
supercie stessa, dopo un giro completo il versore normale deve avere di nuovo lo stesso verso.
182
8.12
Denizione 8.12.2.
del versore,
n.
Una supercie si dice orientata se su di essa stata scelta una delle due
possibili orientazioni.
Esempio 8.12.3.
supercie di equazione
z = f (x, y)
Per una
si ha infatti
fx i fy j + k
n= p
1 + |f |2
e questo versore normale risulta essere sempre rivolto verso l'alto. Invece per una sfera o un
toro, il versore
Osservazione 8.12.4.
v.
nastro di Moebius: esso consiste in una striscia di carta con gli estremi uniti in modo da formare
un anello ma avendo fatto compiere un mezzo giro a uno dei due estremi prima di unirli. In questo
caso infatti la supercie ha un solo lato e non pu essere orientata.
Per quanto riguarda la nozione di bordo di una superficie, essendo una questione piuttosto
delicata, ci limitiamo a considerare solamente il caso in cui
in un numero nito di domini semplici (quindi
i , i = 1, . . . N
positiva
ottenuta scegliendo
compongono il bordo: allora si sceglie il verso di percorrenza di ogni curva in modo tale che
8.12.2.
tata
Siamo pronti per dare la seguente denizione.
Denizione 8.12.5.
un campo vettoriale
attraverso
di classe
in un intorno di
l'integrale
Z Z
F n dS
(F; ) =
183
(8.12.1)
Campi vettoriali
n=
(u, v) T R2
ru rv
|ru rv |
si ha
dS = |ru rv | du dv
Z Z
(ru rv ) du dv
F
(F; ) =
T
dove
Osservazione 8.12.6.
ru rv )
segno.
Esempio 8.12.7.
usando la denizione,
Z ZP = (0, 0, 4) e
V n dS, n versore
vertice
cio
Sia
c(x, y) = 4
x2 + y 2 .
Sia
r : A R2 R3
di
Z Z
V (x(t, u), y(t, u), z(t, u)) (rt ru )(t, u) dt du.
S =
A
Risolviamo l'esercizio in due modi diversi, utilizzando due diverse parametrizzazioni della
supercie
S.
r : R+ [0, 2 ) R3
dove
x = cos
y = sin
z = 4 .
184
8.12
L'equazione di
di vertice
essere
p
x e y da c(x, y) = 4 x2 + y 2 . Essendo C un cono
{z = 0} di equazione x2 + y 2 = 16, si deduce che deve
A questo punto
r (, ) = (cos , sin , 1)
e
r (, ) = ( sin , cos , 0)
i
j
k
r r = cos
sin 1 = ( cos , sin , )
sin cos 0
S =
0
0
4
=
0
4
3
512
((4 ) 2 + 3 ) d d = 8 =
.
3
3
0
r : R2 R3
dove
x=s
y=t
z = 4 s2 + t2
con la limitazione
s2 + t2 4.
A questo punto
rs (s, t) =
e
s
1, 0,
s2 + t2
t
rt (s, t) = 0, 1,
s2 + t2
i j
k
s
rs rt = 1 0 s2 + t2
0 1 t
s2 + t2
t
= s
,
,1
s2 + t2
s2 + t2
185
Campi vettoriali
Ora
Z Z
((4
s2 + t2 )
s2 +t2 16
Z Z
= (4
ss
tt
+ (4 s2 + t2 )
+ (s2 + t2 ) 1 ds dt
2
2
2
2
s +t
s +t
s2 + t2 ) s2 + t2 + s2 + t2 ds dt
s2 +t2 16
che per mezzo di un cambio di coordinate (da cartesiane a polari) d lo stesso risultato del
passo precedente.
Teorema 8.13.1.
Sia D R3 un dominio
limitato, semplice rispetto a tutti e tre gli assi cartesiani, la cui frontiera una supercie
regolare e orientabile; indichiamo con ne il versore normale esterno a D e sia F = F1 i +
F2 j + F3 k un campo vettoriale di classe C 1 (D). Allora vale la formula
(teorema della divergenza o di Gauss)
Z Z Z
Z Z
F dx dy dz =
D
F ne dS
D
F1 F2 F3
+
+
x
y
z
quantit.
Esempio 8.13.2. Con riferimento all'Esempio 8.12.7, provare a risolverlo usando il teorema
.
186
V.
Sia
8.13
(x, y, z) =
C = S .
Si ha
(z x) +
(z y) + (x2 + y 2 ) = z + z + 0 = 2 z.
x
y
z
x = cos
y = sin
z = z.
con le limitazioni
04
0 < 2
0 z .
Da cui
C =
[4 ] d = 2
2 z dz d d = 2
0
[16 8 2 + 3 ] d
4
4
4
3
4
2
8
512
128
=2 16 8 + = 2 16 8 64 + 64 = 2 192
2
3
4
3
3
3
e quindi chiaramente
C 6= S .
Il problema che se vogliamo applicare il teorema della divergenza, il bordo del cono non
solo dato dalla sua supercie laterale
x=s
y=t
z=0
con la condizione
s2 + t2 16.
(entrante). Facciamo un cambiamento di variabili (che non cambia l'orientazione del versore
normale)
x = cos
y = sin
z=0
quindi il cerchio di base del cono pu essere parametrizzata nel seguente modo
Campi vettoriali
A questo punto
r (, ) = (cos , sin , 0)
e
r (, ) = ( sin , cos , 0)
i
j
k
r r = cos
sin 0 = (0, 0, )
sin cos 0
=
0
4
4
2 d = 2 = 128 .
4
0
128
512
128 =
3
3
e in questo modo il teorema della divergenza stato applicato correttamente.
Esempio 8.13.3.
Sia v = v(x, y, z, t) il
campo di velocit di un uido, sia = (x, y, z, t) la sua densit e D l'elemento di volume
occupato dal uido. Sia dS un elemento innitesimo di supercie e n il suo versore normale.
La massa di uido che attraversa tale supercie nell'unit di tempo v ndS ; integrando su
D si ottiene il usso uscente di v attraverso D. Per il teorema della divergenza si ha
Z Z Z
Z Z
(v) dx dy dz =
D
v ne dS
D
D'altra parte la quantit di uido uscita da D nell'unit di tempo anche uguale alla variazione
della massa rispetto al tempo (con segno cambiato! perch la massa si conserva) e visto che
Z Z Z
m=
dx dy dz
D
=
dt
Z Z Z
D
dx dy dz.
t
+ ( v) dx dy dz = 0
t
e per l'arbitrariet di D
188
8.14
+ ( v) = 0
t
Teorema 8.14.1.
Z Z
I
( F) n dS =
F T ds
(8.14.1)
Osservazione 8.14.2.
orientabile chiusa, quindi priva di bordo; in questo caso il secondo membro dell'integrale (8.14.1)
sar nullo.
Osservazione 8.14.3.
Se scriviamo
Campi vettoriali
Z Z
[(Ry Qz ) cos(n, i) + (Pz Rx ) cos(n, j) + (Qx Py ) cos(n, k)] dS
I
=
P dx + Q dy + R dz
+
del piano
xy
(con frontiera
n=k
( F) n = (Qx Py ) quindi la
I
Z Z
(Qx Py ) dx dy =
P dx + Q dy
+D
che altro non che il teorema di Gauss-Green nel piano. In questo senso il teorema di Stokes
risulta essere una generalizzazione del teorema di Gauss-Green.
190
CAPITOLO 9
Serie di Fourier
9.1. Cenni sulle serie di funzioni
Sia data una successione di funzioni
fn : I R
denite su un intervallo
xI
I.
n1
{fn (x)}n1
per ogni
si pu considerare la serie
fn (x)
(9.1.1)
n=1
che, per ciascun
Denizione 9.1.1.
xI
la (9.1.1) ,
rispettivamente, una serie numerica convergente, divergente o irregolare, diremo che la serie di
funzioni convergente, divergente o irregolare rispettivamente. Se si ha convergen-
x I I
Denizione 9.1.2.
Sia
I R
fn : I R, n = 1, 2, 3, . . . Diremo che
un intervallo e siano
Osservazione 9.1.3. Osserviamo che la convergenza totale di una serie di funzioni in I implica
la convergenza assoluta e quindi la convergenza semplice (e quindi puntuale) della serie, per ogni
191
Serie di Fourier
x I.
f :IR
f (x) =
fn (x)
n=1
La convergenza totale un'ipotesi piuttosto forte; allo stesso modo la convergenza puntuale
un'ipotesi piuttosto debole. Ci sono altri tipi di convergenza che possono essere considerati
come intermedi ai due, ma il loro studio esula dagli scopi di questo corso.
Denizione e propriet
I primi esempi di serie di funzioni che abbiamo incontrato nel nostro percorso sono tutte le
serie di Taylor di funzioni derivabili innite volte, per esempio la
X
xn
= ex
n!
n=0
serie esponenziale
xR
an x n .
n=0
Anche la
mente) se
serie geometrica
1 < x < 1.
Denizione 9.2.1.
an = 1
x0 R
an (x x0 )n
(9.2.1)
n=0
dove
{an }
n=0
x R.
Gli
an
serie di potenze.
192
9.2
Teorema 9.2.2.
(raggio di convergenza)
p
n
e poniamo
Si consideri la serie
Serie di potenze
(9.2.1)
e supponiamo
|an |
` 6= 0,
`
R = +
`=0
0
`=
Allora:
se |x x0 | < R la serie (9.2.1) converge (assolutamente);
se |x x0 | > R la serie (9.2.1) non converge.
Il numero R si dice raggio di convergenza della serie di potenze.
Osservazione 9.2.3.
Nel caso
e in eetti la serie pu convergere, divergere o essere irregolare a seconda dei casi, quindi questi
casi vanno analizzati a parte.
Osservazione 9.2.4.
` = lim
p
n
|an |
esiste sempre, anche se questo non a priori ovvio (il limite potrebbe a priori non esistere, ma per
una serie di potenze esiste sempre).
Alternativamente, si pu usare il seguente criterio per il calcolo del raggio di convergenza.
Teorema 9.2.5.
serie
(9.2.1)
` = lim
` 6= 0,
`
R = +
`=0
0
`=
193
Si consideri la
Serie di Fourier
Esempio 9.2.6. Calcoliamo il raggio di convergenza della serie geometrica (serie di potenze
di centro
x0 = 0)
xn
n=0
Si ha
an = 1
estremi
` = 1 e infatti si ha convergenza
dell'intervallo? Se x = 1 allora si ha
dunque
per
x (1, 1).
n=0
che diverge mentre se
x = 1
si ha
(1)n
n=0
che irregolare.
Esempio 9.2.7.
ex
log(1 + x)
X
xn
n=0
quindi
an = 1/n!
n!
e per cui
1
|an+1 |
= lim
=0
n n + 1
n |an |
lim
ex converge su
log(1 + x)
tutto
R.
n+1 x
(1)
n=0
quindi
an =
(1)n+1
n
Esempio 9.2.8.
x = 1
|an | =
x=1
1
n
n!xn
n=0
194
9.2
Serie di potenze
Si tratta di nuovo di una serie di potenze centrata nell'origine. facile vedere che in questo
caso, posto
an = n!
si ha
|an+1 |
= lim (n + 1) =
n |an |
n
lim
R = 0.
x=0
(e fa 0).
Teorema 9.2.9.
(1) Per ogni numero r (0, R) la serie (9.2.1) converge totalmente nell'intervallo [x0
r, x0 + r];
(2) La somma della serie (9.2.1), cio la funzione
f (x) =
an (x x0 )n
(9.2.2)
n=0
una funzione continua nell'intervallo (x0 R, x0 + R); inoltre essa derivabile nello stesso
intervallo e la serie pu essere derivata termine a termine innite volte, per esempio per la
derivata prima si ha
d
dx
!
an (x x0 )
n=0
n an (x x0 )n1
n=0
Per altro la serie derivata anch'essa una serie di potenze di centro x0 e con lo stesso raggio
di convergenza R della serie di partenza.
(3) La somma della serie (9.2.1), cio la funzione (9.2.2) ammette una primitiva
nell'intervallo (x0 R, x0 + R) che pu essere calcolata termine a termine
Z X
X
an
an (x x0 ) dx =
(x x0 )n+1 + C
n
+
1
n=0
n=0
n
e anche la primitiva esprimibile come serie di potenze di centro x0 e con lo stesso raggio
di convergenza R della serie di partenza.
(4) Inne per ogni intervallo [a, b] (x0 R, x0 + R) la somma della serie (9.2.1), cio la
funzione (9.2.2) integrabile in [a, b] e si pu integrare termine a termine
Z bX
an (x x0 ) dx =
a n=0
Z
X
n=0
195
an (x x0 )n
Serie di Fourier
La possibilit di integrare o derivare termine a termine la serie uno strumento potene per
calcolare talvolta la somma di una serie o sviluppare in serie una funzione data senza ricorrere
al polinomio di Taylor.
f (x) = arctan x;
si ha
f 0 (x) =
1
1 + x2
tn =
n=0
per
t = x2
si trova
1
1t
X
(1)n x2n =
n=0
arctan x =
|x| < 1.
1
1 + x2
2n
t dt =
(1)
n=0
(1)n
n=0
si trova
x2n+1
2n + 1
[0, x]
Di nuovo dalla
|t| < 1
X
1
=
(1)n tn
1 + t n=0
quindi integrando termine a termine in
X
n
log(1 + x) =
(1)
n=0
9.2.2.
[0, x]
si ha, per
|x| < 1
X
xn
xn+1
(1)n1 .
t dt =
(1)
=
n + 1 n=1
n
n=0
n
le due nozioni, di serie di potenze e serie di Mac Laurin, rappresentano due punti di vista
diversi sullo stesso oggetto: dal primo punto di vista si parte da una funzione
f (x)
assegnata
in qualche forma analitica e se ne calcola la serie di Mac Laurin; dal secondo punto di vista si
196
9.2
Serie di potenze
parte dalla serie di potenze e la si riconosce come serie di Mac Laurin di una certa funzione.
In modo del tutto analogo, le funzioni sviluppabili in serie di Taylor di centro
X
f (k) (x0 )
k!
k=0
x0
(x x0 )k
x0
ak (x x0 )k
k=0
con raggio di convergenza
R > 0.
r Denizione 9.2.11. Una funzione si dice analitica in un intervallo [a, b] se per ogni x0
(a, b) la funzione sviluppabile in serie di potenze (ovvero in serie di Taylor) di centro x0 , con raggio
di convergenza positivo.
Esempio 9.2.12. Le funzioni trascendenti elementari ex , sin x, cos x sono esempi di funzioni
R; le funzioni log(1+x), (1+x) sono invece analitiche per x 1 (l'insieme
sar invece |x| < 1).
analitiche in tutto
di convergenza
Per comodit richiamiamo qui gli sviluppi delle principali funzioni elementali con centro
ex =
X
xn
n!
n=0
X
x2n+1
sin x =
(1)n
(2n + 1)!
n=0
2n
X
n x
cos x =
(1)
(2n)!
n=0
X
xn
log(1 + x) =
(1)n+1
n
n=1
X
(1 + x) =
xn
n
n=0
( 1)( 2) . . . ( n + 1)
con
=
n
n!
+
x0 = 0
xR
xR
xR
|x| < 1
|x| < 1
Osservazione 9.2.13. Non tutte le funzioni derivabili innite volte in un punto sono analitiche
in un intorno di quel punto; detto altrimenti: una volta scritta formalmente la serie di Mac Laurin di
una funzione, non detto che questa serie di potenze abbia raggio di convergenza positivo (potrebbe
essere nullo) e se anche fosse, non detto che la sua somma coincida con la funzione di partenza.
Esempio 9.2.14.
(
f (x) =
e x2
0
per
per
197
x 6= 0
x=0
Serie di Fourier
Osservazione 9.2.15.
f.
Dunque
grare e/o derivare termine a termine con molta facilit la serie di potenze e il raggio di convergenza
non cambia.
Difetti: si possono approssimare solo funzioni estremamente regolari, in particolare non c' speranza di approssimare mediante serie di potenze ad esempio una funzione discontinua o continua ma
non derivabile; per questo andiamo alla ricerca di altri tipi di serie di funzioni, che hanno la propriet
di convergere meno facilmente delle serie di potenze ma tali da poter avere come somma anche
funzioni meno regolari.
il caso ad esempio delle serie di Fourier.
Denizione 9.3.1.
tipo
Pn (x) = a0 +
n
X
k=1
dove
ak , bk
a0 +
X
(ak cos kx + bk sin kx)
k=1
Le serie trigonometriche sono di grandissima utilit in svariate applicazioni tra cui l'elaborazione o la compressione di segnali periodici di vario tipo o di immagini. La denizione data
naturalmente solo formale e come per ogni serie di funzioni non detto che converga e, in
caso aermativo, non detto che la somma della serie abbia buone propriet. Di sicuro per
ora c' solo che se una serie trigonometrica converge, la sua somma una funzione periodica
sin x, cos x, sin 2x, cos 2x, . . . sin nx, cos nx, . . .
198
9.3
stata questa la straordinaria intuizione di Fourier. Cerchiamo allora alcune condizioni per la
convergenza di serie trigonometriche. Innanzitutto se i coecienti
ak
bk
la serie non converge, perch non vericata la condizione necessaria. D'altra parte se gli
bn
|an | e
an
del confronto si ha
an cos nx
n=1
an sin nx
n=1
X
(1)n an sin nx
(1) an cos nx
n=1
n=1
convergono per ogni x [0, 2], con x 6= . Nei punti rimasti fuori, le serie di seni sono
identicamente nulle, mentre le altre possono convergere oppure no.
.
Esempio 9.3.3.
x (0, 2)
le
X
cos nx
n=1
X
sin nx
n=1
X
sin nx
n
n=1
X
cos nx
n
n=1
In questo caso, il criterio della convergenza assoluta non darebbe informazioni. Si noti che per
x=0
le serie dei coseni stavolta convergono. Allor stesso modo si dimostra dal criterio che le
serie
n cos nx
(1)
n=1
convergono per
n
x [0, 2]
X
sin nx
(1)n
n
n=1
con
x 6= ;
X
n=1
n cos nx
(1)
X
sin nx
(1)n
n
n=1
x =
divergono.
Facciamo il punto: abbiamo denito una serie trigonometrica e abbiamo dato condizioni per cui
essa converga. Ora il tassello mancante capire se questa serie trigonometrica, nel caso sia convergente, possa rappresentare una qualche funzione e se s, quali classi di funzioni. L'idea che
199
Serie di Fourier
possa rappresentare funzioni regolari ma anche funzioni discontinue o continue ma non derivabili (cosa che non era possibile, come abbiamo osservato, con le serie di potenze). Ci induce a
pensare questo il fatto che se noi andiamo a derivare termine a termine la serie trigonometrica,
allora si ottiene di nuovo una serie trigonometrica ma con coecienti pi grandi in valore assoluto rispetto a quelli di partenza. Quindi ci si aspetta che possa essere pi dicile provare la
convergenza delle serie derivate. Quindi rispetto alle serie di potenze, le serie trigonometriche
si prestano ad essere uno strumento pi adatto per rappresentare anche funzioni meno regolari.
Il prossimo paragrafo ci permetter di stabilire sotto quali condizioni una funzione
su
[0, 2]
denita
(estesa in modo periodico fuori da questo intervallo) si possa vedere come somma di
una serie trigonometrica ed eventualmente come possano essere determinati i suoi coecienti.
9.3.2.
Abbiamo detto che una serie trigonometrica, se converge, ha per somma una funzione periodica
di periodo
2 .
e periodiche di periodo
[0, 2]
2 ,
R.
Il problema che ci poniamo in questo paragrafo dunque il seguente: data una funzione
f :
[0, 2] R (prolungata per periodicit a tutto l'asse reale), sotto quali condizioni si pu vedere
f come somma di una serie trigonometrica? Come si determinano i coecienti ak e bk in questo
caso?
Possiamo pensare di prendere
f V , dove V
f : [0, 2] R
integrabili (in senso proprio) e quindi limitate; esso costituisce uno spazio vettoriale. Inoltre
su di esso possiamo introdurre un prodotto scalare
Z
hf, gi =
f (t) g(t) dt
0
p
||f || = hf, f i =
Z
1/2
f (t) dt
2
0
che a sua volta induce la distanza
Z
1/2
[f (t) g(t)] dt
.
2
0
Ricordiamo l'obiettivo: data
f V
si scrive come
somma di una serie trigonometrica, che a sua volta limite di un polinomio trigonometrico.
Quindi, usando i risultati astratti contenuti nel paragrafo dei complementi, in particolare il
teorema di proiezione, l'idea quella di trovare un polinomio trigonometrico
200
Pn di grado minore
9.3
o uguale a
k = 1, 2, . . .
(sin kx) dx =
0
cos kx cos hx dx = 0 h 6= k
sin kx sin hx dx =
0
(cos kx)2 dx =
Z
0
cos hx dx = 0
sin kx dx =
sin kx cos hx dx =
Z
2n
X
Sn f =
hf, ei iei =
i=0
n Z
X
k=1
1
1
f (t) dt +
2
2
0
Z 2
sin kt
cos kt
cos kx
sin kx
f (t) dt
+
f (t) dt
Se si pone
Z
1 2
f (t) cos kt dt
ak =
0
Z
1 2
bk =
f (t) sin kt dt
0
si ottiene
k = 0, 1, 2, . . .
k = 1, 2, . . .
n
X
1
S n f = a0 +
(ak cos kx + bk sin kx)
2
k=1
201
(9.3.1)
(9.3.2)
(9.3.3)
Serie di Fourier
Denizione 9.3.5.
enti di Fourier di
di
I coecienti
ak
bk
e la serie trigonometrica
X
1
a0 +
(ak cos kx + bk sin kx)
2
k=1
si dice serie di Fourier di
f
Sn f ,
polinomi trigonometrici di grado minore o uguale a n
f , cio la quantit ||f Pn ||, al variare di Pn Vn )
Sn f
, tra i
relazioni
(9.3.2) (9.3.2)
. Allora:
#
n
2
X
a
(a2k + b2k )
||Sn f ||2 = 0 +
2
k=1
"
k=1
k , ak 0, bk 0 lemma di Riemann-Lebesgue
#
"
Z 2
Z 2
n
2
X
a
(a2k + b2k )
[f (x) Sn (x)]2 dx =
f (x)2 dx 0 +
2
0
0
k=1
per
Osservazione 9.3.7.
[0, 2].
T)
1,
sin
2kx
T
[0, T ]
il sistema di funzioni
cos
2kx
T
k = 1, 2, 3, . . .
Z
2 T
ak =
f (t) cos(kt) dt
T 0
Z
2 T
bk =
f (t) sin(kt) dt
T 0
dove si posto
k = 0, 1, 2, . . .
k = 1, 2, . . .
2
. I risultati delle corrispondenti propositioni si adattano poi di conseguenza.
T
202
9.3
Esempio 9.3.8.
(onda quadra)
(
f (x) =
prolungata a una funzione
2periodica
x [0, )
x [, 2)
1
0
su
Si ha
1
a0 =
e, per
f (x) dx = 1
0
n1
1
an =
Z
0
1
f (x) cos(nx) dx =
cos(nx) dx = 0.
0
Invece si ha
1
bn =
Z
0
1
f (x) sin(nx) dx =
da cui
Z
0
cos(n) 1
1 (1)n 1
sin(nx) dx =
+
=
n
n
2
bn =
n
0
dispari
pari
1 2X 1
+
sin((2n + 1)x)
2 n=0 2n + 1
Osservazione 9.3.9.
periodo
T >0
aR
Z
f :RR
si ha
a+T
Z
f (x) dx =
f (x) dx
0
Z
1
f (t) cos kt dt
ak =
Z
1
f (t) sin kt dt
bk =
k = 0, 1, 2, . . .
k = 1, 2, . . .
Osservazione 9.3.10.
Fourier sia
f (x)
Serie di Fourier
trigonometriche seno e coseno sono simmetriche, si semplica il calcolo dei coecienti di Fourier.
Se
dispari si ha
Z
1
ak =
f (t) cos kt dt = 0
Z
Z
1
2
f (t) sin kt dt =
f (t) sin kt dt
bk =
0
Analogamente se
pari si ha
Z
Z
2
1
f (t) cos kt dt =
f (t) cos kt dt
ak =
0
Z
1
bk =
f (t) sin kt dt = 0
A questo punto l'intuizione geometrica ci dice che al crescere di
della serie di Fourier approssima sempre meglio la funzione
f,
n,
la somma parziale
Sn f (x)
9.3.3.
Sn f f
n ?
. Allora:
||f Sn f || 0
se
cio, per n
Z
[f (x) Sn (x)] dx =
0
"
#
n
a20 X 2
2
+
(ak + bk ) 0
f (x) dx
2
k=1
2
di Parseval
Z
0
"
2
X
a
f (x)2 dx = 0 +
(a2k + b2k )
2
k=1
204
9.3
in
la
funzione continua e derivabile; inoltre agli estremi di ciascun intervallino esistono niti i limiti sia
di
Sia
Teorema 9.3.13. Sia f : [0, T ] R regolare a tratti (oppure limitata e monotona a tratti);
allora la serie di Fourier converge in ogni punto x0 (0, T ) alla media dei due limiti destro
e sinistro
f (x+
a0 X
0 ) f (x0 )
+
[ak cos(kx0 ) + bk sin(kx0 )] =
2
2
k=1
(T )
con = 2
; nei due estremi dell'intervallo invece la serie converge a f (0 )f
. In partiT
2
colare: in ogni punto dove f continua, la serie di Fourier converge a f (x); negli estremi
questo vero solo se f (0) = f (T ).
+
Osservazione 9.3.14.
bolendo le ipotesi; tuttavia utile segnalare che la sola ipotesi di continuit della
anche alla condizione di raccordo
f (0) = f (T ))
(unita magari
Osservazione 9.3.15.
tipi di convergenze della serie di Fourier, ci sono anche altre convergenze che si possono considerare
(per esempio la
convergenza uniforme).
Esempio 9.3.16.
prolungata su
< x < 0
0<x<
2
1
f (x) =
totale.
Calcoliamo i coecienti di Fourier. Si ha
1
a0 =
2
Z
Z
2 dx +
dx
0
205
3
2
Serie di Fourier
1
ak =
bk =
Z
Z
Z
2 cos kx dx +
f (x)
cos kx dx
=0
sin kx dx
2 sin kx dx +
La serie di Fourier di
(1)
1
=
2
k
k
k
pari
dispari
quindi
3 X
2
sin(2k + 1)x
f (x) =
2 n=0 (2k + 1)
C' convergenza in norma quadratica; c' convergenza puntuale a
3
nei punti
2
x = k .
f (x)
se
x 6= k , k Z
e a
armonica).
Osservazione 9.3.17.
utile per calcolare la somma di alcune serie notevoli, come mostra il seguente esempio.
Esempio 9.3.18.
R;
f (x) = x
denita su
(, )
della serie
X
1
n2
n=1
a0 = 0, an = 0
bn =
mentre
2(1)n
n
X
2
f (x) =
(1)n+1 sin nx
n
n=1
f (x)
Z
0
da cui essendo
a20 X
f (x) dx =
+
(a2n + b2n )
2
n=1
2
2
x2 dx = 3
3
206
9.4
si ha
X
2 3
4
=
3
n2
n=1
quindi
X
1
2
.
=
n2
6
n=1
Diciamo che su
due elementi di
V denito un
h, i che prende
hu, vi = hu, vi
hu + v, wi = hu, wi + hv, wi
h u, vi = hu, vi
R
hu, vi 0
hu, ui = 0 u = 0.
Se poniamo per ogni
uV
||u|| =
si dimostra che
|| ||
hu, ui
a valori in
u, v V , R,
||u|| 0, ||u|| = 0 u = 0
|| u|| = ||||u||
||u + v|| ||u|| + ||v||
.
Esempio 9.4.1. L'esempio tipico di spazio vettoriale dotato di prodotto scalare Rn con
hu, vi =
n
X
ui vi
u = (u1 , u2 , . . . un ), v = (v1 , v2 , . . . , vn )
i=1
e la norma che induce il modulo del vettore
v
u n
uX
||u|| = t
u2i = |u|
i=1
207
Serie di Fourier
Proposizione 9.4.2. Se
(ij il simbolo
di Kronecker
u0 V0
i=j
0 6= j
1
0
V0 V
e di avere un elemento
u V;
vogliamo
proposizione.
Proposizione 9.4.3.
u0 =
n
X
hu, ei iei
i=1
208