Un problème variationnel $L^\infty$ impliquant le Laplacien fractionnaire

Informations fondamentales

• ID de l'article: 2510.14476
• Titre: An $L^\infty$-variational problem involving the Fractional Laplacian
• Auteurs: Simone Carano, Roger Moser
• Classification: math.AP (Analyse des EDP)
• Date de publication: 17 octobre 2025
• Lien de l'article: https://arxiv.org/abs/2510.14476

Résumé

Cet article étudie un problème variationnel $L^\infty$ impliquant l'opérateur Laplacien fractionnaire. Pour $s\in(0,1)$ et un ensemble ouvert borné $\Omega\subset\mathbb{R}^n$, les auteurs démontrent l'existence et l'unicité des minima absolus de la fonctionnelle supremum $E_\infty(u)=\|(-\Delta)^s u\|_{L^\infty(\mathbb{R}^n)}$, où $(-\Delta)^s$ est l'opérateur Laplacien fractionnaire d'ordre $s$ et $u$ possède des données de Dirichlet prescrites sur le complémentaire de $\Omega$. Il est démontré que le minimum $u_\infty$ satisfait l'équation aux dérivées partielles fractionnaire $(-\Delta)^s u_\infty=E_\infty(u_\infty)\,\mathrm{sgn}f_\infty$ dans $\Omega$, où la fonction analytique $f_\infty\in L^1(\Omega)$ est la restriction de la mesure $s$-harmonique $\mu$ dans $\Omega$.

Contexte et motivation de la recherche

Contexte du problème

Cette recherche traite des problèmes variationnels $L^\infty$ pour les opérateurs différentiels fractionnaires, qui constituent un problème non-local d'ordre $2s$. Contrairement au cas classique local ($s=1$), la nature non-locale de l'opérateur Laplacien fractionnaire nécessite de considérer le comportement des minima sur l'ensemble de $\mathbb{R}^n$, et non seulement dans le domaine $\Omega$.

Motivation de la recherche

1. Extension théorique: Étendre la théorie variationnelle $L^\infty$ des opérateurs d'ordre entier aux opérateurs fractionnaires, ce qui n'a pas été suffisamment étudié dans la littérature.
2. Validation des méthodes: Vérifier la robustesse des méthodes variationnelles $L^\infty$ dans le cadre fractionnaire.
3. Perfectionnement théorique: Dans le cas fractionnaire, aucune hypothèse de régularité sur la frontière $\partial\Omega$ n'est nécessaire, ce qui contraste avec le cas local.

Limitations des méthodes existantes

• La littérature existante se concentre principalement sur le comportement asymptotique $p\to\infty$ de la norme $W^{s,p}$
• L'étude directe des fonctionnelles supremum impliquant des opérateurs non-locaux d'ordre $2s$ reste un domaine vierge
• Les défis techniques du cas d'ordre supérieur rendent difficile la généralisation directe des méthodes du cas d'ordre un

Contributions principales

1. Existence et unicité: Démonstration de l'existence et de l'unicité de la solution du problème variationnel fractionnaire $\min_{u\in W^{2s,\infty}_{u_0}(\Omega)} E_\infty(u)$.
2. Caractérisation par EDP: Établissement des conditions nécessaires et suffisantes satisfaites par le minimum: $(-\Delta)^s u_\infty = e_\infty \text{sgn} f_\infty \quad \text{p.p. dans } \Omega$
3. Résultats de théorie des mesures: Démonstration de l'existence d'une mesure $s$-harmonique $\mu$ telle que: $(-\Delta)^s u_\infty = e_\infty \frac{d\mu}{d|\mu|} \quad \text{dans } \text{supp}|\mu| \setminus \partial\Omega$
4. Résultats d'analyticité: Démonstration que la fonction $f_\infty$ est analytique réelle dans $\Omega$.

Explication détaillée des méthodes

Formulation du problème

Étant donné les données de frontière $u_0 \in C^{2s+\gamma}_c(\mathbb{R}^n)$ (pour un certain $\gamma > 0$), on cherche le minimum de la fonctionnelle $E_\infty(u) = \|(-\Delta)^s u\|_{L^\infty(\mathbb{R}^n)}$ dans la classe de compétition $W^{2s,\infty}_{u_0}(\Omega) := u_0 + W^{2s,\infty}_0(\Omega)$

Méthodes techniques principales

1. Approximation $L^p$ (Convergence Gamma)

• Considération de la version $L^p$ du problème: $E_p(u) = \left(\int_{\mathbb{R}^n} |(-\Delta)^s u(x)|^p w(x) dx\right)^{1/p}$
• Démonstration que $E_p \to E_\infty$ lorsque $p \to \infty$ (au sens de la convergence Gamma)
• Utilisation des estimations de Calderón-Zygmund pour établir la coercivité

2. Théorie de la régularité elliptique

Construction d'espaces de potentiels pondérés: $L^{2s,p}_w(\mathbb{R}^n) := \left\{u \in W^{s,p}(\mathbb{R}^n) : \int_{\mathbb{R}^n} |(-\Delta)^s u|^p w < \infty\right\}$

Utilisation des estimations globales de Calderón-Zygmund: $\|v\|_{W^{s,p}(\mathbb{R}^n)} \leq C\|f - (-\Delta)^s u_0\|_{L^p(\Omega)}$

3. Techniques de convergence des mesures

Définition de $f_p := e_p^{1-p} w |(-\Delta)^s u_p|^{p-2} (-\Delta)^s u_p$, avec démonstration que:

• $\|f_p\|_{L^1(\mathbb{R}^n)} \leq 1$ (borné uniformément)
• $f_p$ est une fonction $s$-harmonique dans $\Omega$
• $f_p \to f_\infty$ converge localement uniformément

Points d'innovation technique

1. Traitement de la non-localité: Gestion astucieuse de la nature non-locale de l'opérateur Laplacien fractionnaire, démonstration des propriétés de support compact.
2. Technique de transformation de Kelvin: Utilisation dans le Corollaire 3.4 de la transformation de Kelvin généralisée: $K_{r,x}(y) = r^2 \frac{y-x}{|y-x|^2} + x$ pour construire des fonctions de compétition avec petit Laplacien fractionnaire.
3. Preuve d'analyticité: Utilisation de la théorie de régularité elliptique fractionnaire, pour chaque multi-indice $\alpha$: $\|D^\alpha f_\infty\|_{L^\infty(B')} \leq c^{|\alpha|} \alpha! C(B,B',\Omega,n,s)$

Cadre expérimental

Cadre de vérification théorique

Cet article est une recherche purement théorique, dont les résultats sont vérifiés principalement par des démonstrations mathématiques rigoureuses. La preuve se divise en trois parties principales:

1. Preuve d'existence (Section 3.1)
2. Dérivation de l'EDP (Section 3.2)
3. Preuve d'unicité (Section 3.3)

Hypothèses techniques

• $s \in (0,1)$, $n \in \mathbb{N}$, $n > 2s$
• $u_0 \in C^{2s+\gamma}_c(\mathbb{R}^n)$ et $u_0 \not\equiv 0$ dans $\mathbb{R}^n \setminus \Omega$
• $\Omega \subset \mathbb{R}^n$ est un ensemble ouvert borné

Résultats théoriques principaux

Théorème principal (Théorème 1.1)

Sous les hypothèses ci-dessus, le problème $e_\infty := \min_{u\in W^{2s,\infty}_{u_0}(\Omega)} E_\infty(u)$ possède une solution unique $u_\infty$.

Résultats de régularité:

• $(-\Delta)^s u_\infty \in C^\gamma_{\text{loc}}(\mathbb{R}^n \setminus \Omega)$
• $(-\Delta)^s u_\infty(x) \to 0$ lorsque $|x| \to +\infty$

Caractérisation par EDP: Il existe une mesure $\mu \in M(\mathbb{R}^n)$, $\mu \neq 0$, à support compact, $|\mu|(\mathbb{R}^n) \leq 1$, telle que $\mu$ soit $s$-harmonique dans $\Omega$ et: $(-\Delta)^s u_\infty = e_\infty \frac{d\mu}{d|\mu|} \quad \text{dans } \text{supp}|\mu| \setminus \partial\Omega$

Lemmes clés

Lemme 3.1 (Non-trivialité de $f_\infty$): La fonction construite $f_\infty$ satisfait $f_\infty \not\equiv 0$ dans $\Omega$.

Lemme 3.3 ($s$-harmonicité approchée locale): Pour $u \in C^\alpha(B_1)$ ($\alpha > 2s$), pour chaque $\varepsilon > 0$, il existe $u_\varepsilon \in C^\alpha_c(\mathbb{R}^n)$ tel que: