Esplora E-book
Categorie
Esplora Audiolibri
Categorie
Esplora Riviste
Categorie
Esplora Documenti
Categorie
SORIN DRAGOMIR
() () ()
dove i e la restrizione di a [ti , ti+1 ].
3. Un criterio di esattezza
Sia A Rn e si denoti con (x, y) linsieme delle curve regolari-a-
tratti, di sostegno contenuto in A, che congiungono x e y. Lo scopo di
questa sezione e quello di dimostrare il seguente
Teorema 1. Sia A Rn un aperto connesso. Sia : A (Rn )
una forma differenziale tale che i C 1 (A), 1 i n. Allora sono
equivalenti gli enunciati
i) e esatta.
ii) Per ogni copia di punti x, y A ed ogni , (x, y) si ha
Z Z
= .
(t)
= v, 0 t 1,
FORME DIFFERENZIALI E PROBLEMI DI CAUCHY 5
e quindi
Z 1 n Z
X 1
(t) ((t))
dt = i (x + t v) v i dt =
0 i=1 0
e quindi
Z n
1 1 X
(1) [f (x + v) f (x)] = i (x + sv)v i ds.
0 i=1
Si ponga
F : (, ) R,
Z Xn
F ( ) = i (x + sv)v i ds, | | < .
0 i=1
Allora F e derivabile e (per il teorema fondamentale del calcolo)
n
X
F 0 ( ) = i (x + v)v i .
i=1
e quindi
f
(x) =
xj
( n n
Z 1 X X i
k i i
= (x 0 + t(x x 0 )) t j x x 0 +
0 i=1 k=1
xk
+i (x0 + t(x x0 )) ji dt =
Z 1
d
= {t j (x0 + t(x x0 ))} dt = j (x)
0 dt
per ogni 1 j n. Dunque = dt. Q.e.d.
Si osservi che il teorema precedente non si applica alla forma dif-
ferenziale
y x
= 2 2
dx + 2 dy
x +y x + y2
nonostante essa sia chiusa. Infatti il suo dominio A = R2 \ {(0, 0)} non
e stellato (precisamente, per ogni punto (x0 , y0 ) A laperto A non e
stellato rispetto a (x0 , y0 )).
8 SORIN DRAGOMIR
6. Problemi di Cauchy
Un problema di Cauchy per unequazione differenziale ordinaria del
primo ordine e
(2) y 0 = f (x, y), y(x0 ) = y0 ,
con la funzione incognita y(x). E noto (per il teorema di Cauchy-
Lipschitz-Picard) che qualora f sia una funzione di Lipschitz nella
variabile y, il problema di Cauchy (2) ha soluzione unica. Risolvere
il problema (2) significa trovare la funzione y : R che soddisfa
(2), assieme al piu grande dominio R2 tale che x0 . Di-
amo unapplicazione della teoria delle forme differenziali a problemi di
Cauchy (2) per funzioni f della forma
M (x, y)
f (x, y) = .
N (x, y)
Precisamente verra dimostrato il seguente
FORME DIFFERENZIALI E PROBLEMI DI CAUCHY 9