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.

Definizione

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

Un operatore differenziale lineare $L$ di ordine $m$ su un dominio $\mathrm{\Omega }\subset {ℝ}^n$:

$Lu=\sum _{|\alpha |\le m}{a}_{\alpha }(x){\partial }^{\alpha }u$

è detto operatore ellittico se per ogni $\overrightarrow{x}\in {ℝ}^d$ non nullo si ha:

$\sum _{|\alpha |=m}{a}_{\alpha }(x){\overrightarrow{x}}^{\alpha }\ne 0\mathrm{\forall }x\in \mathrm{\Omega }\mathrm{\forall }m\in \mathbb{N}$

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

$(-1{)}^k\sum _{|\alpha |=2k}{a}_{\alpha }(x){\overrightarrow{x}}^{\alpha }>C|\overrightarrow{x}{|}^{2k}k\in \mathbb{N}$

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

Operatore fully nonlinear ellittico

Un operatore non lineare:

$L(u)=F(x,u,({\partial }^{\alpha }u{)}_{|\alpha |\le 2k})$

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

Operatore fully nonlinear ellittico del secondo ordine indipendente dalle derivate prime

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 $n\times n$. Sia $\mathrm{\Omega }\subset {ℝ}^n$ un dominio regolare e sia $F:𝒮\times \mathrm{\Omega }\to R$ una funzione reale, allora, la funzione $F$ è detta uniformemente ellittica se esistono due costanti $\lambda \le \mathrm{\Lambda }$, dette costanti di ellittictà, tali che per ogni $M\in 𝒮$ e $x\in \mathrm{\Omega }$ risulta verificata

$\lambda \Vert P\Vert \le F(M+P,x)\le \mathrm{\Lambda }\Vert P\Vert ,\mathrm{\forall }P\ge 0,$

dove si è indicato con $P\ge 0$ una matrice simmetrica, definita non negativa.

La funzione $F$ definisce un operatore differenziale al secondo ordine, $O_F$, agendo sulle coppie matrice hessiana nel punto $x$, punto $x$. Ovvero, data una funzione $u:\mathrm{\Omega }\to R$ in $C^2(\mathrm{\Omega })$l'azione dell'operatore $O_F$ è definita come: $O_F(u)(x)=F(Hu(x),x),$ dove si è indicata con $Hu$ la matrice hessiana della funzione u.

Operatore fully nonlinear ellittico agente su funzioni tra varietà

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

L'operatore $D$ è debolmente ellittico se ${\sigma }_{\overrightarrow{x}}(D)$ è un isomorfismo lineare per ogni campo covettoriale $\overrightarrow{x}$ non nullo.

L'operatore $D$ è fortemente ellittico se per qualche costante $c>0$:

$([{\sigma }_{\overrightarrow{x}}(D)](v),v)\ge c\Vert v{\Vert }^2,$

per ogni $\Vert \overrightarrow{x}\Vert =1$ e per ogni $v$ del fibrato, con $(\cdot ,\cdot )$ un prodotto interno.

Operatori lineari del secondo ordine

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

$P\varphi =\sum _{k,j}{a}_{kj}{D}_k{D}_j\varphi +\sum _{\ell }{b}_{\ell }{D}_{\ell }\varphi +c\varphi ,$

dove $D_k=\frac{1}{\sqrt{-1}}{\partial }_{x_k}$. Tale operatore è ellittico se per ogni $x$ la matrice dei coefficienti dei termini di ordine massimo:

$\left[\begin{array}{cccc}{a}_{11}(x)& a_{12}(x)& \cdots & a_{1n}(x)\\ a_{21}(x)& a_{22}(x)& \cdots & a_{2n}(x)\\ ⋮& ⋮& \ddots & ⋮\\ a_{n1}(x)& a_{n2}(x)& \cdots & a_{nn}(x)\end{array}\right]$

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

$\overrightarrow{\xi }=({\xi }_1,{\xi }_2,\dots ,{\xi }_n)$

vale la seguente condizione di ellitticità:

$\sum _{k,j}{a}_{kj}(x){\xi }_k{\xi }_j>0$

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

$\sum _{k,j}{a}_{kj}(x){\xi }_k{\xi }_j>C|\xi {|}^2,$

dove $C$ è una costante positiva.

Se la matrice $A=(a_{k,j}{)}_{k,j=0,\dots ,n}=I$, dove $I$ indica la matrice identità, il vettore $b_l=0$ e la costante $c=0,$ allora l'operatore $P$ precedentemente definito coincide con il laplaciano.

Laplaciano

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

$Pu=0$

vengono dette equazioni alle derivate parziali di tipo ellittico se $P$ è 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 ${ℝ}^n$, dato da:

$-{\mathrm{\nabla }}^2=\sum _{\ell =1}^n{D}_{\ell }^2$

è un operatore uniformemente ellittico.

Operatore di Pucci

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

Sia $𝕊$ lo spazio delle matrici simmetriche di dimensione $N\times N$ e siano $\lambda \in ℝ$ e $\mathrm{\Lambda }\in ℝ$ tali che $0<\lambda \le \mathrm{\Lambda }$. Per ogni $M\in 𝒮$ sono ben definiti gli operatori di Pucci:

${ℳ}_{\lambda ,\mathrm{\Lambda }}^{-}(M)=\lambda \sum _{e_i>0}{e}_i+\mathrm{\Lambda }\sum _{e_i<0}{e}_i$

e

${ℳ}_{\lambda ,\mathrm{\Lambda }}^{+}(M)=\mathrm{\Lambda }\sum _{e_i>0}{e}_i+\lambda \sum _{e_i<0}{e}_i,$

dove $e_i=e_i(M)$ sono gli autovalori della matrice $M$. Sia ${𝒜}_{\lambda ,\mathrm{\Lambda }}\in 𝒮$ una matrice con autovalori in $[\lambda ,\mathrm{\Lambda }]$, allora, indicando con $𝓉𝓇(X)$ la traccia di una matrice $X$, per ogni $A\in {𝒜}_{\lambda ,\mathrm{\Lambda }}$è ben definito l'operatore lineare

$L_A(X)=\sum _{i,j=1}^N{A}_{i,j}{X}_{j,i}=𝓉𝓇(AX),$

per ogni $X\in 𝒮$. Essendo $M$ una matrice simmetrica, essa è congruente tramite una matrice ortogonale $O$ a una matrice diagonale $D$, ovvero $M=OD{O}^T$. Quindi, $L_A(M)=𝓉𝓇(AOD{O}^T)=𝓉𝓇(O^{T}AOD)=𝓉𝓇(A^{\prime }D)$, con $A^{\prime }\in {𝒜}_{\lambda ,\mathrm{\Lambda }.}$ Da cui segue che

${ℳ}_{\lambda ,\mathrm{\Lambda }}^{-}(M)=\underset{A\in {𝒜}_{\lambda ,\mathrm{\Lambda }}}{\inf }{L}_A(M)$

e

${ℳ}_{\lambda ,\mathrm{\Lambda }}^{+}(M)=\underset{A\in {𝒜}_{\lambda ,\mathrm{\Lambda }}}{\sup }{L}_A(M)$

Inoltre, se $F:𝕊\times ℝ\to ℝ$ è un operatore ellittico con costanti di ellitticità $\lambda$ e $\mathrm{\Lambda }$, tale che $F(0,x)=0$, allora vale la seguente proprietà fondamentale:

${ℳ}_{\lambda ,\mathrm{\Lambda }}^{-}(M)\le F(M,x)\le {ℳ}_{\lambda ,\mathrm{\Lambda }}^{+}(M).$

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

Proprietà

• ${ℳ}_{\lambda ,\mathrm{\Lambda }}^{-}(M)\le {ℳ}_{\lambda ,\mathrm{\Lambda }}^{+}(M);$
• ${\lambda }^{\prime }\le \lambda \le \mathrm{\Lambda }\le {\mathrm{\Lambda }}^{\prime }$, allora ${ℳ}_{{\lambda }^{\prime },{\mathrm{\Lambda }}^{\prime }}^{-}(M)\le {ℳ}_{\lambda ,\mathrm{\Lambda }}^{-}(M)$ e ${ℳ}_{{\lambda }^{\prime },{\mathrm{\Lambda }}^{\prime }}^{+}(M)\ge {ℳ}_{\lambda ,\mathrm{\Lambda }}^{+}(M);$
• ${ℳ}_{\lambda ,\mathrm{\Lambda }}^{-}(M)=-{ℳ}_{\lambda ,\mathrm{\Lambda }}^{+}(-M);$
• ${ℳ}_{\lambda ,\mathrm{\Lambda }}^{\pm }(\alpha M)=\alpha {ℳ}_{\lambda ,\mathrm{\Lambda }}^{\pm }(M)$ per ogni $\alpha \ge 0;$
• ${ℳ}_{\lambda ,\mathrm{\Lambda }}^{+}(M)+{ℳ}_{\lambda ,\mathrm{\Lambda }}^{-}(P)\le {ℳ}_{\lambda ,\mathrm{\Lambda }}^{+}(M+P)\le {ℳ}_{\lambda ,\mathrm{\Lambda }}^{+}(M)+{ℳ}_{\lambda ,\mathrm{\Lambda }}^{+}(P);$
• ${ℳ}_{\lambda ,\mathrm{\Lambda }}^{-}(M)+{ℳ}_{\lambda ,\mathrm{\Lambda }}^{-}(P)\le {ℳ}_{\lambda ,\mathrm{\Lambda }}^{-}(M+P)\le {ℳ}_{\lambda ,\mathrm{\Lambda }}^{-}(M)+{ℳ}_{\lambda ,\mathrm{\Lambda }}^{+}(P);$
• $P\ge 0$ (definita positiva), allora $\lambda \Vert P\Vert \le {ℳ}_{\lambda ,\mathrm{\Lambda }}^{-}(P)\le {ℳ}_{\lambda ,\mathrm{\Lambda }}^{+}(P)\le \mathrm{\Lambda }\Vert P\Vert ;$
• ${ℳ}_{\lambda ,\mathrm{\Lambda }}^{-}(M)$ e ${ℳ}_{\lambda ,\mathrm{\Lambda }}^{+}(M)$ sono operatori uniformemente ellittici con costanti di ellitticità $\lambda$ e $N\mathrm{\Lambda }$.

Teoremi di esistenza di una soluzione

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 $T$ un opportuno operatore ellittico non necessariamente lineare che agisce su uno spazio di funzioni l'equazione può essere scritta nella forma $T(u)=0$ (dove $u$ è 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 $T^{\prime }$come $T^{\prime }(u)=T(u)-u.$ Allora, l'equazione di partenza può essere riscritta come $T^{\prime }(u)=u$ 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 $t$ una primitiva di $T$, ovvero un operatore tale che la sua derivata di Fréchet sia $T$. Allora, i punti di minimo e massimo per $t$ corrispondono a soluzioni dell'equazione. Pur esistendo delle soluzioni che non corrispondono a minimi o massimi della primitiva di $T$, 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 $L$ un opportuno operatore ellittico lineare. Un'ampia classe di equazioni ellittiche può essere scritta nella forma $L(u)=f,$ con $u$ funzione incognita e $f$ è la funzione nota. Se lo spazio nel quale è cercata la soluzione è uno spazio di Hilbert, ed è dunque dotato di prodotto interno, se l'operatore $T$ è simmetrico rispetto a tale prodotto e se $f$ 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.

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 $W^{k,p}$, con $k>\frac{d}{p},$ dove $d$ è 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

Data l'equazione

$\{\begin{array}{cc}-\mathrm{\Delta }u(x)=f(x),& \mathrm{\forall }x\in \mathrm{\Omega },\\ u(x)=\phi (x),& \mathrm{\forall }x\in \partial \mathrm{\Omega },\end{array}$

allora sotto opportune ipotesi di regolarità del dominio $\mathrm{\Omega }\subset {ℝ}^n$, della funzione $f:\mathrm{\Omega }\to ℝ$ e della funzione $\phi :\partial \mathrm{\Omega }\to ℝ$ si ha l'esistenza e l'unicità della soluzione classica.

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

$u(x)=\underset{\partial \mathrm{\Omega }}{\int }u(y)\frac{\partial G}{\partial \nu }(x,y)d\sigma (x)+\underset{\mathrm{\Omega }}{\int }g(x,y)f(x)dx,$

dove $G:\mathrm{\Omega }\times \mathrm{\Omega }\to ℝ$ è la funzione di Green dell'operatore laplaciano nel dominio $\mathrm{\Omega }$.

Sia $\xi \in \partial \mathrm{\Omega }$, un punto sulla frontiera di $\mathrm{\Omega }$, allora una funzione $\omega ={\omega }_{\xi }$ è detta barriera (rispetto al laplaciano) in $\xi$ relativa ad $\omega$ se

• $\mathrm{\Delta }\omega (x)\ge 0$ per ogni $x$ in $\mathrm{\Omega }$;
• $\omega >0$ in $\mathrm{\Omega }$.

Un punto $\xi \in \partial \mathrm{\Omega }$ è detto regolare (rispetto al laplaciano) se esiste una barriera in quel punto.

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

Enunciato del teorema

Sia $\mathrm{\Omega }$ un dominio limitato e sia ogni punto di $\partial \mathrm{\Omega }$ un punto regolare (rispetto al laplaciano). Allora, se $f$ è limitata e localmente hölderiana in $\mathrm{\Omega }$, il problema di Dirichlet sopra menzionato ammette soluzione classica, unica, per ogni condizione al bordo $\phi$ continua.

Corollario

Sia $\mathrm{\Omega }$ un dominio limitato regolare (rispetto al laplaciano), allora esiste, unica, la soluzione classica al problema di Dirichlet classico ($f=0$).

Equazioni semilineari

Data l'equazione

$\{\begin{array}{cc}-\mathrm{\Delta }u(x)=g(x,u(x)),& \mathrm{\forall }x\in \mathrm{\Omega },\\ u(x)=\phi (u),& \mathrm{\forall }x\in \partial \mathrm{\Omega },\end{array}$

allora sotto opportune ipotesi di regolarità del dominio $\mathrm{\Omega }\subset {ℝ}^n$, della funzione $g:\overline{\mathrm{\Omega }}\times ℝ\to ℝ$ e della funzione $\phi :\partial \mathrm{\Omega }\to ℝ$ si ha l'esistenza è l'unicità della soluzione classica.

Enunciato del teorema

Sia $\mathrm{\Omega }\subset {ℝ}^n$ un aperto limitato con frontiera regolare e sia $g:\overline{\mathrm{\Omega }}\times ℝ\to ℝ$ una funzione continua che soddisfi le seguenti condizioni:

1. $|g(x,s)|\le c|s{|}^{p-1}+h$, dove $c$ e $h$ sono due costanti positive e se $n=2$ allora $2<p<\mathrm{\infty }$ e se $n>2$ allora $2<p<\frac{2n}{n-2};$
2. $g(x,s)=o(|s|)$ per $s\to 0$, uniformemente in $x;$
3. esistono $\alpha >2$ e $r>0$, tali che per $|s|>r$ valga $0<\alpha G(x,s)\le sg(x,s)$, ($sg(x,s)>0$, per ogni $s$ con $|s|>0$ ), dove $G(x,s)=\underset{0}{\overset{s}{\int }}g(x,\tau )d\tau ;$

ha una soluzione (debole) $u>0$ nello spazio di Hilbert $H_0^1(\mathrm{\Omega })$. Inoltre se $g$ è localmente hölderiana in $\overline{\mathrm{\Omega }}\times ℝ$, allora $u$ è una soluzione classica e positiva.

Le condizioni di tale teorema vengono spesso dette condizioni di crescita sub-critica per la funzione $g$, dove il coefficiente di criticità $q^{*}=\frac{2n}{n-2}$è il coefficiente critico di immersione di spazi degli spazi di Sobolev $W^{1,q}\hookrightarrow L^{q^{*}}$ ($q^{*}$ è il coniugato di $q$).

Bibliografia

• Template:Cita libro

Voci correlate

• Equazione differenziale alle derivate parziali iperbolica
• Equazione differenziale alle derivate parziali parabolica
• Operatore di Laplace
• Principio del massimo di Hopf

Collegamenti esterni

• Template:Collegamenti esterni
• Template:SpringerEOM
• Template:SpringerEOM
• Template:En Linear Elliptic Equations at EqWorld: The World of Mathematical Equations.
• Template:En Nonlinear Elliptic Equations at EqWorld: The World of Mathematical Equations.