Boundary value problems for some quasilinear parabolic equations under minimal conditions on the coefficients

Sintesi Tecnica: Problemi di Valore al Contorno per Equazioni Paraboliche Quasilinee sotto Condizioni Minime

Enunciato del Problema
Il documento investiga i problemi di valore al contorno per una classe di equazioni paraboliche quasilinee della forma:
$$Mu = u_t - \sum_{i,j=1}^n \frac{\partial}{\partial x_i}(a_{ij}(t, x, u)u_{x_j}) + b(t, x, u, \nabla u) = 0$$
definita su un cilindro $Q = (0, T) \times G$, dove $G \subset \mathbb{R}^n$ è un dominio limitato. Lo studio affronta due scenari primari di condizioni al contorno:

1. Condizioni di Dirichlet: $u|_{t=0} = u_0$ e $u|_S = g(t, x)$, dove $S = (0, T) \times \Gamma$.
2. Condizioni di Robin (oblique): $u|_{t=0} = u_0$ e $\frac{\partial u}{\partial N} + \psi(t, x, u)|_S = 0$, dove $\frac{\partial u}{\partial N}$ è la derivata conormale.

L'obiettivo centrale è stabilire teoremi di esistenza e unicità per le soluzioni all'interno dello spazio di Sobolev $W^{1,2}_p(Q)$ sotto condizioni di regolarità minima sui coefficienti $a_{ij}$, il termine di ordine inferiore $b$ e la funzione di contorno $\psi$. Ciò contrasta con la letteratura esistente (ad esempio, i monografi [1], [2]) che spesso richiedono la continuità di Hölder o assunzioni di regolarità più forti sui coefficienti.

Metodologia
La strategia di dimostrazione combina diverse tecniche analitiche avanzate:

• Stime A Priori: Gli autori derivano limiti netti per le soluzioni.
  • Principio di Massimo: Viene stabilito un principio di massimo per limitare la norma $L^\infty$ della soluzione. A differenza degli approcci precedenti negli spazi di Hölder, gli autori utilizzano un metodo differente per gestire le soluzioni generalizzate, in particolare per la condizione al contorno di Robin (3).
  • Continuità di Hölder: L'approccio di [1] viene adattato per dimostrare che le soluzioni sono Hölder continue, un prerequisito per gestire la non linearità nei coefficienti.
  • Coefficienti Congelati (Frozen Coefficients): Per ottenere stime $W^{1,2}_p$, viene impiegato il metodo dei "coefficienti congelati". Il problema non lineare viene localmente approssimato da problemi lineari con coefficienti costanti (congelati), permettendo l'uso delle stime della teoria lineare.
• Continuazione in un Parametro: L'esistenza è dimostrata utilizzando il metodo della continuazione in un parametro $\gamma \in [0, 1]$. Il problema viene deformato da un'equazione del calore lineare ($\gamma=0$) all'equazione quasilinea completa ($\gamma=1$).
• Teoria dei Punti Fissi: La risolvibilità del problema deformato viene ridotta alla ricerca di un punto fisso di un operatore continuo compatto. La compattezza si basa sui teoremi di immersione degli spazi di Sobolev negli spazi di Hölder.
• Analisi dell'Unicità: L'unicità è dimostrata analizzando la differenza tra due potenziali soluzioni, utilizzando specifiche condizioni di crescita e di tipo Lipschitz sulla funzione $b$ e sul termine di contorno $\psi$.

Contributi Chiave e Risultati
Il documento fornisce teoremi che stabiliscono:

1. Esistenza e Unicità in $W^{1,2}_p(Q)$:

   • Teorema 7 dimostra l'esistenza di un'unica soluzione $u \in W^{1,2}_p(Q)$ sia per i problemi di Dirichlet che per quelli di Robin, a condizione che $p > (n+2)/2$.
   • Le condizioni sui dati sono minime:
     • I coefficienti $a_{ij}$ sono continui in tutte le variabili e soddisfano l'ellitticità uniforme.
     • Le derivate $a_{ij, x_i}$ e $a_{ij, u}$ soddisfano specifiche condizioni di integrabilità e continuità (ad esempio, $a_{ij, x_i} \in L^{q_3}(Q; C([-R, R]))$).
     • La funzione $b$ soddisfa le condizioni di Carathéodory e specifici limiti di crescita (quadratica rispetto a $\nabla u$).
     • Per la condizione di Robin, $\psi$ e le sue derivate soddisfano analoghe condizioni di continuità di Sobolev.
   • Sono richieste condizioni di coerenza al tempo $t=0$ (corrispondenza tra dati iniziali e al contorno), in particolare per $p > 3$ nel caso di Robin.

2. Limiti A Priori:

   • Teoremi 3 e 4 stabiliscono i limiti $L^\infty$ per le soluzioni dipendenti dalle norme dei dati e dalla costante di ellitticità $\delta_0$.
   • Teorema 5 stabilisce la continuità di Hölder ($C^{\alpha_1, 2\alpha_1}$) della soluzione, fondamentale per l'argomento del punto fisso.
   • Teorema 6 fornisce la cruciale stima $W^{1,2}_p$, mostrando che la norma della soluzione è limitata dalle norme dei dati iniziali e al contorno, indipendentemente dalla soluzione stessa.

3. Risolvibilità Locale:

   • Teorema 8 affronta la risolvibilità locale per una classe più ampia di dati in cui la regolarità globale potrebbe non sussistere inizialmente. Dimostra che se i dati iniziali $u_0$ e il loro gradiente sono limitati, esiste una soluzione localmente nel tempo ($Q_{\tau_0}$) anche se i coefficienti $a_{ij}$ e $b$ sono definiti/continui solo in un intorno dell'intervallo dei dati iniziali.

4. Condizioni di Unicità:

   • Vengono fornite condizioni distinte per l'unicità basate sul valore di $p$:
     • Per $p > n+2$, sono sufficienti le normali condizioni Lipschitz su $b$ rispetto a $u$ e $\nabla u$ (pesate da funzioni $L^q$).
     • Per $(n+2)/2 < p \le n+2$, sono sufficienti condizioni più deboli che coinvolgono la crescita polinomiale in $\nabla u$, a condizione che i coefficienti $g_1, g_2$ appartengano a specifici spazi $L^q$.

Significatività e Rivendicazioni
Il documento rivendica di aver esposto "condizioni nette" sui dati che sono "molto lontane dall'ottimalità" dei lavori precedenti (riferendosi specificamente ai requisiti di spazio di Hölder di [1] e [2]). Lavorando negli spazi di Sobolev $W^{1,2}_p(Q)$ con $p > (n+2)/2$, gli autori permettono coefficienti che sono meramente continui (o dotati di derivate generalizzate in specifici spazi $L^q$) anziché richiedere continuità $C^k$ o di Hölder.

Gli autori sottolineano che il loro approccio alle stime del massimo permette il trattamento di soluzioni generalizzate sotto condizioni di Robin, un caso in cui i metodi precedenti in [1] e [2] erano insufficienti. I risultati sono destinati a facilitare:

• L'analisi di risolvibilità per problemi parabolici inversi.
• Le dimostrazioni di esistenza e unicità sotto perturbazioni.
• Lo sviluppo di metodi di approssimazione costruttiva tramite tecniche iterative.

Il lavoro è sostenuto dalla Fondazione della Scienza Russa e dal Governo dell'Okrug Autonomo di Khanty-Mansiysk YUGRA.