Equazione differenziale alle derivate parziali ellittica

In analisi matematica, una equazione differenziale alle derivate parziali ellittica è un'equazione differenziale alle derivate parziali tale per cui i coefficienti delle derivate di grado massimo sono positivi. Si tratta dell'applicazione di un operatore ellittico, un operatore differenziale definito su uno spazio di funzioni che generalizza l'operatore di Laplace.

Di seguito saranno riportate diverse definizioni che si applicano a contesti diversi. Alcune volte risulta comodo lavorare con definizioni valide solo in contesti specifici, piuttosto che su definizioni generali.

Operatore lineare ellittico

[modifica | modifica wikitesto]

Un operatore differenziale lineare di ordine su un dominio :

è detto operatore ellittico se per ogni non nullo si ha:

In molte applicazioni si richiede un requisito più stringente, la condizione di ellitticità uniforme, che si applica per operatori di grado pari:

dove è una costante positiva. Si nota che l'ellitticità dipende solo dai termini di grado massimo.

Operatore fully nonlinear ellittico

[modifica | modifica wikitesto]

Un operatore non lineare:

è ellittico se il suo sviluppo al primo ordine in serie di Taylor rispetto a (e le sue derivate) è un operatore lineare ellittico.

Operatore fully nonlinear ellittico del secondo ordine indipendente dalle derivate prime

[modifica | modifica wikitesto]

Una definizione alternativa per gli operatori non lineari del secondo ordine è quella data da Caffarelli-Niremberg-Spruck:

Sia lo spazio delle matrici simmetriche di dimensione . Sia un dominio regolare e sia una funzione reale, allora, la funzione è detta uniformemente ellittica se esistono due costanti , dette costanti di ellittictà, tali che per ogni e risulta verificata

dove si è indicato con una matrice simmetrica, definita non negativa.[1]

La funzione definisce un operatore differenziale al secondo ordine, , agendo sulle coppie matrice hessiana nel punto , punto . Ovvero, data una funzione in l'azione dell'operatore è definita come: dove si è indicata con la matrice hessiana della funzione u.

Operatore fully nonlinear ellittico agente su funzioni tra varietà

[modifica | modifica wikitesto]

In generale, sia un operatore differenziale generico (non lineare) definito su un fibrato vettoriale. Rimpiazzando le derivate covarianti con una nuova variabile si ottiene il simbolo dell'operatore rispetto alla 1-forma .

L'operatore è debolmente ellittico se è un isomorfismo lineare per ogni campo covettoriale non nullo.

L'operatore è fortemente ellittico se per qualche costante :

per ogni e per ogni del fibrato, con un prodotto interno.

Operatori lineari del secondo ordine

[modifica | modifica wikitesto]

Si considerino operatori differenziali parziali lineari del secondo ordine della forma:

dove . Tale operatore è ellittico se per ogni la matrice dei coefficienti dei termini di ordine massimo:

è una matrice simmetrica reale definita positiva. In particolare, per ogni vettore non nullo:

vale la seguente condizione di ellitticità:

Per molti impieghi, tale condizione non è sufficientemente forte e dev'essere quindi sostituita da una condizione di ellitticità uniforme:

dove è una costante positiva.

Se la matrice , dove indica la matrice identità, il vettore e la costante allora l'operatore precedentemente definito coincide con il laplaciano.

Lo stesso argomento in dettaglio: Operatore di Laplace.

Un importante esempio di operatore ellittico è il Laplaciano. Equazioni della forma:

vengono dette equazioni alle derivate parziali di tipo ellittico se è un operatore ellittico. Le usuali equazioni alle derivate parziali che coinvolgono il tempo, quali ad esempio l'equazione del calore e l'equazione di Schrödinger, contengono anche operatori ellittici che coinvolgono le variabili spaziali, così come le derivate temporali. Gli operatori ellittici sono caratteristici della teoria del potenziale.

Le loro soluzioni, dette funzioni armoniche, tendono a essere funzioni lisce se i coefficienti nell'operatore sono continui. Più semplicemente, soluzioni stazionarie a equazioni iperboliche e a equazioni paraboliche generalmente risolvono equazioni ellittiche.

L'opposto del Laplaciano in , dato da:

è un operatore uniformemente ellittico.

Operatore di Pucci

[modifica | modifica wikitesto]

Un'importante classe di operatori ellittici fully-non linear è quella degli operatori di Pucci.

Sia lo spazio delle matrici simmetriche di dimensione e siano e tali che . Per ogni sono ben definiti gli operatori di Pucci:

e

dove sono gli autovalori della matrice . Sia una matrice con autovalori in , allora, indicando con la traccia di una matrice , per ogni è ben definito l'operatore lineare

per ogni . Essendo una matrice simmetrica, essa è congruente tramite una matrice ortogonale a una matrice diagonale , ovvero . Quindi, , con Da cui segue che

e

Inoltre, se è un operatore ellittico con costanti di ellitticità e , tale che , allora vale la seguente proprietà fondamentale:

Per quanto detto gli operatori di Pucci sono detti operatori estremanti o estremali.[2]

  • , allora e
  • per ogni
  • (definita positiva), allora
  • e sono operatori uniformemente ellittici con costanti di ellitticità e .[3]

Teoremi di esistenza di una soluzione

[modifica | modifica wikitesto]

Per le equazioni definite mediante operatori ellittici esistono diversi teoremi di esistenza. Le strategie dimostrative di tali teoremi si dividono in 4 grandi categorie. Detto un opportuno operatore ellittico non necessariamente lineare che agisce su uno spazio di funzioni l'equazione può essere scritta nella forma (dove è la funzione incognita), allora le strategie si possono riassumere come segue:

  • Topologiche (punto fisso). Queste dimostrazioni si basano sulla disponibilità di teoremi di punto fisso negli opportuni spazi di funzioni opportuni. Tali metodi consistono nel definire un operatore come Allora, l'equazione di partenza può essere riscritta come legando la soluzione dell'equazione d'interesse ad un problema di punto fisso.
  • Variazionali (minimo/massimo). Queste dimostrazioni si basano sulla disponibilità di teoremi di minimo e massimo (simili al teorema di Weierstrass) per operatori che agiscono su un opportuno spazio di funzioni, a valori in . Sia una primitiva di , ovvero un operatore tale che la sua derivata di Fréchet sia . Allora, i punti di minimo e massimo per corrispondono a soluzioni dell'equazione. Pur esistendo delle soluzioni che non corrispondono a minimi o massimi della primitiva di , queste soluzioni presentano grande interesse perché sono soluzioni in qualche senso stabili (minimo) e instabili (massimo).
  • Lax-Milgram. Queste dimostrazioni si basano sul lemma di Lax-Milgram. Sia un opportuno operatore ellittico lineare. Un'ampia classe di equazioni ellittiche può essere scritta nella forma con funzione incognita e è la funzione nota. Se lo spazio nel quale è cercata la soluzione è uno spazio di Hilbert, ed è dunque dotato di prodotto interno, se l'operatore è simmetrico rispetto a tale prodotto e se soddisfa opportune ipotesi allora il lemma di Lax-Milgram assicura l'esistenza di una soluzione.
  • Approssimazioni in sottospazi. Queste dimostrazioni si basano sul ricondurre il problema, tramite proiezioni, ad una successione di problemi in sottospazi finiti di più facile risolubilità, costruendo così una successione di soluzioni che si dimostrano poi convergere alla soluzione del problema di partenza.[4]

Alcune dimostrazioni, più raramente, usano il teorema del passo montano per dimostrare l'esistenza di una o più soluzioni.

Si noti che spesso queste strategie provano l'esistenza di soluzioni deboli; in alcuni casi, usando identità come quella di Pohozaev e disuguaglianze come quella di Hölder si può dimostrare che la soluzione trovata si trova in uno spazio di Sobolev , con dove è la dimensione dello spazio ambiente. Allora, grazie ai teoremi di immersione di Sobolev, è possibile dimostrare che tali soluzioni deboli corrispondono a soluzioni classiche.

Di seguito si riportano alcuni risultati di esistenza di soluzioni ad equazioni ellittiche particolarmente importanti.

Equazioni di Dirichlet non omogenea

[modifica | modifica wikitesto]

Data l'equazione

allora sotto opportune ipotesi di regolarità del dominio , della funzione e della funzione si ha l'esistenza e l'unicità della soluzione classica.

Una soluzione, quando esiste, per il teorema di rappresentazione di Green è della forma

dove è la funzione di Green dell'operatore laplaciano nel dominio .[5]

Sia , un punto sulla frontiera di , allora una funzione è detta barriera (rispetto al laplaciano) in relativa ad se

  • per ogni in ;
  • in .[6]

Un punto è detto regolare (rispetto al laplaciano) se esiste una barriera in quel punto.[6]

In un dominio con frontiera Lipschitz continua tutti i punti della frontiera sono regolari.

Enunciato del teorema

[modifica | modifica wikitesto]

Sia un dominio limitato e sia ogni punto di un punto regolare (rispetto al laplaciano). Allora, se è limitata e localmente hölderiana in , il problema di Dirichlet sopra menzionato ammette soluzione classica, unica, per ogni condizione al bordo continua.[7]

Sia un dominio limitato regolare (rispetto al laplaciano), allora esiste, unica, la soluzione classica al problema di Dirichlet classico ().

Equazioni semilineari

[modifica | modifica wikitesto]

Data l'equazione

allora sotto opportune ipotesi di regolarità del dominio , della funzione e della funzione si ha l'esistenza è l'unicità della soluzione classica.

Enunciato del teorema

[modifica | modifica wikitesto]

Sia un aperto limitato con frontiera regolare e sia una funzione continua che soddisfi le seguenti condizioni:

  1. , dove e sono due costanti positive e se allora e se allora
  2. per , uniformemente in
  3. esistono e , tali che per valga , (, per ogni con ), dove

ha una soluzione (debole) nello spazio di Hilbert . Inoltre se è localmente hölderiana in , allora è una soluzione classica e positiva.

Le condizioni di tale teorema vengono spesso dette condizioni di crescita sub-critica per la funzione , dove il coefficiente di criticità è il coefficiente critico di immersione di spazi degli spazi di Sobolev ( è il coniugato di ).[8]

  1. ^ Roberts, Luis e Caffarelli, Fully Nonlinear Elliptic Equations, vol. 43, American Mathematical Soc., 1995, p. 12.
  2. ^ Di Luis A. Roberts, Luis A. Caffarelli e Xavier Cabré, Fully Nonlinear Elliptic Equations, vol. 43, American Mathematical Society, 1995, pp. 14-15.
  3. ^ Luis A.Roberts, Luis A. Caffarelli e Xavier Cabré, Fully Nonlinear Elliptic Equations, vol. 43, American Mathematica Society, 1995, p. 15.
  4. ^ Kesavan S., Functional analisys and application, Wiley, 1988, p. 214.
  5. ^ David Gilbarg e Neil S.Trudinger, Elliptic partial differential equations of second order, Springer, 2015, p. 19.
  6. ^ a b David Gilbarg e Neil S. Trudinger, Elliptic Partial Differential Equations of Second Order, Springer, 2015, p. 25.
  7. ^ David Gilbarg e Neil S. Trudinger, Elliptic Partial Differential Equations of Second Order, Springer, 2015, p. 56.
  8. ^ D. G. De Figueiredo, P. L. Lions, R. D. Nussbaum, A Priori Estimates and Existence of Positive Solutions of Semilinear Elliptic Equations, in In: Costa D. (eds) Djairo G. de Figueiredo - Selected Papers, Springer, Cham, pp. 133-155.

Voci correlate

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
Controllo di autoritàLCCN (ENsh85037895 · J9U (ENHE987007553019805171
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica