Heat Equation driven by mixed local-nonlocal operators with non-regular space-dependent coefficients

Titolo: Equazione del Calore Guidata da Operatori Misti Locali-Non Locali con Coefficienti Spaziali Non Regolari

Autori: Arshyn Altybay e Michael Ruzhansky

1. Il Problema Studiato

Il paper si concentra sullo studio del problema di Cauchy per un'equazione del calore evolutiva governata da un operatore di diffusione misto locale-non locale con coefficienti spaziali irregolari (distribuzionali). L'equazione è data da:

$$\begin{cases} u_t(t, x) + Lu(t, x) = 0, & (t, x) \in (0, T) \times \mathbb{R}^d, \\ u(0, x) = u_0(x), & x \in \mathbb{R}^d, \end{cases}$$

dove l'operatore $L$ è definito come:
$$Lu = -\nabla \cdot (a(x)\nabla u) + (-\Delta)^{s/2}(b(x)(-\Delta)^{s/2}u) + c(x)u,$$
con $0 < s < 1$.

• Componenti dell'operatore:
  • $-\nabla \cdot (a(x)\nabla u)$: Rappresenta la diffusione classica (locale) eterogenea.
  • $(-\Delta)^{s/2}(b(x)(-\Delta)^{s/2}u)$: Rappresenta la diffusione frazionaria (non locale) di ordine $2s$, modulata dal coefficiente $b(x)$.
  • $c(x)u$: Termine di ordine zero (reazione, smorzamento o assorbimento).
• Ipotesi sui coefficienti: I coefficienti $a, b, c$ e il dato iniziale $u_0$ sono assunti essere distribuzioni (elementi di $\mathcal{D}'(\mathbb{R}^d)$), non necessariamente funzioni regolari. Si assume che siano strettamente positivi in senso distribuzionale ($a \ge a_0 > 0$, $b \ge b_0 > 0$, $c \ge c_0 \ge 0$).
• La difficoltà principale: Quando i coefficienti sono distribuzioni, il prodotto tra distribuzioni (necessario per definire l'operatore $L$) non è ben definito in generale a causa dell'ostacolo classico di Schwartz. Di conseguenza, la teoria classica delle soluzioni deboli fallisce.

2. Metodologia

Per superare l'ostacolo legato alla moltiplicazione di distribuzioni, gli autori adottano il concetto di soluzioni molto deboli (very weak solutions), introdotto originariamente da Garetto e Ruzhansky. La metodologia si articola nei seguenti passaggi:

1. Regolarizzazione di Friedrichs: Si sostituiscono i coefficienti distribuzionali e il dato iniziale con reti di funzioni lisce ottenute tramite convoluzione con un mollificatore standard $\psi_{\omega(\varepsilon)}$, dove $\omega(\varepsilon) \to 0$ per $\varepsilon \to 0$.
   $$a_\varepsilon = a * \psi_{\omega(\varepsilon)}, \quad b_\varepsilon = b * \psi_{\omega(\varepsilon)}, \quad \dots$$
2. Problema Regolarizzato: Per ogni $\varepsilon > 0$, si risolve il problema classico con coefficienti lisci $a_\varepsilon, b_\varepsilon, c_\varepsilon$, per il quale esiste una teoria di ben-postezza standard.
3. Concetto di Moderazione e Trascurabilità:
   • Si definiscono reti moderate (i cui normi crescono al più polinomialmente rispetto a $\omega(\varepsilon)^{-1}$).
   • Si definiscono reti trascurabili (i cui normi tendono a zero più velocemente di qualsiasi potenza di $\omega(\varepsilon)$).
4. Definizione di Soluzione Molto Debole: Una rete di soluzioni $(u_\varepsilon)_\varepsilon$ è una soluzione molto debole se è moderata e soddisfa l'equazione regolarizzata. L'unicità è intesa a meno di reti trascurabili.

3. Risultati Chiave

A. Ben-postezza nel caso regolare (Sezione 3)

Prima di affrontare il caso singolare, gli autori stabiliscono i risultati fondamentali per coefficienti limitati e misurabili ($L^\infty$):

• Esiste un'unica soluzione debole nel senso variazionale.
• Viene derivata una stima a priori (energia) che garantisce l'unicità e la dipendenza continua dai dati iniziali.
• La soluzione appartiene a $L^\infty(0, T; H^1(\mathbb{R}^d)) \cap C([0, T]; L^2(\mathbb{R}^d))$.

B. Esistenza di soluzioni molto deboli (Sezione 4.2)

• Teorema 4.1: Sotto l'ipotesi che i coefficienti distribuzionali siano strettamente positivi e che le loro regolarizzazioni siano moderate, esiste una rete di soluzioni $(u_\varepsilon)_\varepsilon$ che costituisce una soluzione molto debole.
• Viene dimostrato che la rete delle soluzioni è moderata nello spazio $L^\infty(0, T; H^1)$, garantendo che la crescita delle norme non sia esplosiva al tendere di $\varepsilon \to 0$.

C. Unicità (Sezione 4.3)

• Teorema 4.2: La soluzione molto debole è unica a meno di trascurabilità. Se si scelgono due diverse regolarizzazioni dei coefficienti e del dato iniziale (che differiscono per reti trascurabili), le corrispondenti reti di soluzioni differiscono per una rete trascurabile negli spazi $L^\infty(0, T; L^2) \cap L^2(0, T; H^1)$.

D. Coerenza con la teoria classica (Sezione 4.4)

• Teorema 4.3: Se i coefficienti originali sono in realtà regolari (es. $L^\infty$) e le regolarizzazioni convergono alla funzione originale, la soluzione molto debole converge alla soluzione debole classica nel senso forte (in $C([0, T]; L^2) \cap L^2(0, T; H^1)$). Questo conferma che il nuovo approccio non è in contraddizione con la teoria esistente, ma la estende.

4. Contributi e Significato

1. Estensione Teorica: Il lavoro estende la teoria delle equazioni paraboliche a coefficienti singolari al contesto degli operatori misti locale-non locali. Questo è un risultato non banale poiché combina le difficoltà della diffusione frazionaria con quelle dei coefficienti distribuzionali.
2. Modellistica Applicata: L'approccio è motivato da modelli ecologici e biologici (movimento animale, foraggiamento ottimale) dove il movimento è una sovrapposizione di diffusione browniana locale e salti a lungo raggio (processi di Lévy), spesso in ambienti eterogenei o con ostacoli che generano coefficienti irregolari.
3. Robustezza del Framework: L'uso delle soluzioni molto deboli permette di trattare problemi che altrimenti sarebbero mal posti o privi di significato matematico rigoroso (a causa del prodotto di distribuzioni), fornendo un quadro analitico coerente per l'analisi numerica e teorica di tali modelli.
4. Fondamento per Futuri Sviluppi: I risultati forniscono una base solida per lo studio di termini sorgente più generali, non linearità e schemi di approssimazione numerica in contesti con eterogeneità spaziali altamente singolari.

In sintesi, il paper dimostra che è possibile dare un senso matematico rigoroso all'equazione del calore con operatori misti e coefficienti singolari, garantendo esistenza, unicità (in senso generalizzato) e coerenza con la teoria classica quando la regolarità è presente.