Teoria: Calcolo vettoriale e integrali con parametro

[EmanueleBelli]

Ciao a tutti, in preparazione dell'orale di analisi 2 sto ispezionando i vari teoremi e c'è un problema che si è presentato 2 volte e che non riesco a risolvere
Prendiamo il primo caso:
Devo dimostrare che le forme differenziali chiuse ammettono primitive sugli stellati
faccio riferimento alla lezione 55 di AM2 2018
------------------------------------------------------------------------------------------------------------------------
Si definisce una certa V sperando che sia la primitiva e si fa la derivata parziale per verificarlo
La derivata è un integrale con parametro che richiede un'ipotesi che non riesco a trovare in questo caso

Teorema derivata dell'integrale con parametro
(a)Siano con
(b)sia misurabile e limitato
(c) integrabile in
(d) derivabile rispetto a t, con uniformemente continua in
definiamo
(la derivata dell'integrale e l'integrale della derivata)

Dunque, quello che non riesco a trovare per questa V, che speriamo sia la primitiva di , è l'ipotesi (d), l'uniforme continuità insomma. In effetti basta meno dell'uniforme continuità in , basterebbe la continuità di in t uniformemente rispetto a x (concetto che per altro non ho ben capito, come si definisce questa continuità in una variabile uniforme rispetto ad un'altra)

scusate la verbosità ma è un problema abbastanza sottile e complicato da esporre
e se avete letto fin qui vi ringrazio

[C_Paradise]

Ciao! Provo a risponderti io

Partiamo con due parole sulla continuità in una variabile uniforme rispetto all'altra.

Sia con diciamo che è continua in uniformemente in se

.

Questa definizione non sfrutta il fatto che siamo in né in partenza né in arrivo quindi volendo puoi sostituire con due spazi metrici qualsiasi e con un qualsiasi spazio topologico o anche solo un insieme. Volendo andare ancora oltre potremmo chiedere che e il codominio siano solo spazi topologici, cioè chiedendo poi che per ogni la funzione sia continua e tale che preso un aperto si abbia che sia aperto in .

Torniamo al caso in cui con , abbiamo chiaramente che se è uniformemente continua nella coppia allora è continua in x uniformemente in y, d'altra parte questa ultima proprietà è abbastanza debole in quanto non garantisce nemmeno la continuità nella coppia, basta considerare definita costantemente uguale a 1 nel semispazio superiore chiuso e 0 in quello inferiore aperto. Non solo ma nemmeno la continuità nella coppia garantisce la proprietà, come mostra la funzione definita su tutto il piano.

Fatte queste premesse vediamo cosa succede con gli integrali dipendenti da un parametro.

Per prima cosa nota che rispetto all'enunciato che hai postato tu, nel teorema della primitiva il parametro e la variabile di integrazione sono invertite, infatti integriamo in e abbiamo parametri dati da quindi per applicare lo scambio è sufficiente mostrare che esiste un palla centrata in con chiusura contenuta nello stellato, a quel punto hai che la derivata parziale esima è uniformemente continua in (infatti è continua perché i coefficienti della forma sono regolari + siamo in un compatto) e quindi abbiamo quello che volevamo.

Il fatto da tenere a mente secondo me (almeno in presenza di regolarità) è che quando il dominio di integrazione è compatto allora sei tranquillo perché derivare è un discorso locale e quindi riesci a trovare un intorno compatto del punto e ottenere l'uniforme continuità nel prodotto dato dal dominio di integrazione e l'intorno compatto. I problemi nascono quando il dominio di integrazione non è compatto, ma nel teorema della primitiva nello stellato l'insieme di integrazione è e quindi non ci sono problemi.

[EmanueleBelli]

Ti ringrazio.
Riepilogando prendo un punto in , poiché è aperto trovo una pallettina chiusa tutta dentro . Lì ho uniforme continuità in per Heine-Cantor e quindi in quell'insieme posso applicare il teorema.