Liouville theorem for fully nonlinear elliptic equations with the small oscillation and the periodicity in $x$ and the periodic right hand term

Cet article établit l'existence et des résultats de type Liouville pour des solutions à croissance quadratique d'équations elliptiques non linéaires entièrement périodiques en $x$ et avec un second membre périodique, sous l'hypothèse que l'oscillation de l'opérateur par rapport à $x$ est faible, démontrant ainsi que ces solutions se décomposent en la somme d'un polynôme quadratique et d'une fonction périodique.

L'essentiel

Imaginez que vous essayez de comprendre comment une grande nappe (une surface) se comporte lorsqu'elle est étendue à l'infini, mais avec une contrainte étrange : le tissu sur lequel elle repose n'est pas lisse et uniforme. Il est orné d'un motif répétitif, comme un papier peint avec des fleurs qui se répètent tous les mètres. C'est le problème que traite ce papier mathématique.

Voici une explication simple de ce que l'auteur, Li Chun Liang, a découvert, en utilisant des images du quotidien.

1. Le Problème : Une Nappe sur un Sol Motif

Imaginez que vous devez étirer une grande nappe élastique sur un sol infini.

• L'équation (F(D²u, x) = f) : C'est la règle physique qui dicte comment la nappe doit se courber. Elle doit être "lisse" et stable (c'est ce qu'on appelle une équation elliptique).
• Le sol (x) : Le sol n'est pas plat. Il a un motif qui se répète exactement tous les mètres (c'est la "périodicité").
• La croissance quadratique : L'auteur s'intéresse aux nappes qui ne deviennent pas infiniment hautes de façon chaotique, mais qui s'incurvent doucement, comme une parabole (une forme de bol ou de paraboloïde). C'est ce qu'on appelle une "croissance quadratique".

2. La Question : À quoi ressemble cette nappe à l'infini ?

Si vous regardez votre nappe très loin, très loin, à quoi ressemble-t-elle ? Est-elle complètement chaotique à cause du motif du sol ? Ou est-elle régulière ?

L'auteur veut prouver une chose très belle : Même si le sol a un motif compliqué, la nappe, à grande échelle, ressemble à un bol parfait (un polynôme quadratique) posé sur un petit tapis qui suit le motif du sol.

En termes mathématiques, la solution $u$ (la nappe) peut toujours être décomposée en deux parties :

1. Une grande forme régulière : Un bol parfait ($\frac{1}{2}x^T Ax + b \cdot x + c$). C'est la partie "lisse" et prévisible.
2. Une petite vibration périodique : Une petite ondulation ($v(x)$) qui suit exactement le motif du sol (périodique).

3. La Condition Magique : "L'Oscillation Faible"

C'est ici que le papier devient intéressant. Le sol a un motif, mais ce motif peut être très rugueux ou très lisse.

• Si le motif change brutalement d'un point à l'autre (comme passer du velours à du papier de verre), la nappe pourrait devenir folle.
• L'auteur impose une règle : L'oscillation du motif doit être "petite".

L'analogie : Imaginez que vous marchez sur un chemin.

• Si le chemin est fait de gros rochers (forte oscillation), vous trébuchez et votre trajectoire est imprévisible.
• Si le chemin a juste de petites aspérités (faible oscillation), vous pouvez toujours marcher droit. Votre trajectoire globale est une ligne droite, même si vos pieds bougent un peu pour éviter les cailloux.

L'auteur prouve que tant que les variations du motif du sol ne sont pas trop violentes (condition d'oscillation faible), la nappe garde sa forme de "bol" global.

4. Pourquoi est-ce important ? (Le Théorème de Liouville)

En mathématiques, un "Théorème de Liouville" est une règle qui dit : "Si quelque chose a une certaine forme de croissance, alors il doit avoir une structure très simple."

Avant ce papier, on savait déjà que cela fonctionnait pour des sols très simples (lignes droites) ou pour des motifs très réguliers. Ce papier est une généralisation. Il dit :

"Même si les règles de courbure changent légèrement selon l'endroit où vous êtes (périodicité en x), et même si le sol a un motif, tant que ce motif ne varie pas trop brutalement, la nappe sera toujours un 'bol' plus un 'tapis'."

5. Les Applications : Au-delà de la nappe

Pourquoi se soucier de nappes infinies ?

• Homogénéisation : C'est utile pour comprendre comment les matériaux composites (comme le béton armé ou les composites aérospatiaux) se comportent à grande échelle. Ils sont faits de petits motifs répétitifs, mais on veut savoir comment ils réagissent globalement.
• Correction d'erreurs : Cela aide à créer des modèles mathématiques précis pour les ingénieurs qui construisent des structures sur des sols complexes.

En Résumé

Ce papier est comme un guide pour un architecte qui construit une immense structure sur un terrain avec un motif répétitif.
L'auteur dit : "Ne vous inquiétez pas des détails du motif. Tant que le motif ne change pas trop brutalement, votre structure globale sera toujours une forme simple et élégante (un paraboloïde), avec juste une petite vibration locale qui suit le motif."

C'est une preuve de beauté mathématique : le chaos local (le motif) ne détruit pas l'ordre global (la forme de la nappe), à condition que le chaos soit "bien élevé" (faible oscillation).

Résumé technique

Voici un résumé technique détaillé de l'article de recherche de Lichun Liang, intitulé « Théorème de Liouville pour les équations elliptiques non linéaires complètes avec petite oscillation et périodicité en $x$ et terme source périodique ».

1. Problématique et Contexte

L'article s'intéresse à l'étude des solutions à croissance quadratique des équations elliptiques non linéaires complètes de la forme :
$$F(D^2u(x), x) = f(x), \quad x \in \mathbb{R}^n$$
où :

• $F$ est un opérateur défini sur l'espace des matrices symétriques $S^{n \times n}$ et l'espace $\mathbb{R}^n$.
• $f$ est une fonction continue et périodique (période $\mathbb{Z}^n$).
• L'opérateur $F$ dépend explicitement de la variable spatiale $x$ et est également périodique en $x$.

L'objectif principal est d'établir des théorèmes de type Liouville pour ces équations. Un tel théorème vise à caractériser la structure asymptotique des solutions à croissance polynomiale. Plus précisément, l'auteur cherche à démontrer que toute solution $u$ vérifiant $|u(x)| \le C(1+|x|^2)$ peut être décomposée en la somme d'un polynôme quadratique et d'une fonction périodique.

Hypothèses structurelles sur $F$ :

1. Ellipticité uniforme (H1) : $F$ satisfait des conditions d'ellipticité uniforme avec des constantes $\lambda$ et $\Lambda$.
2. Périodicité en $x$ (H2) : $F(M, x+z) = F(M, x)$ pour tout $z \in \mathbb{Z}^n$.
3. Concavité en $M$ (H3) : $F$ est concave par rapport à la matrice Hessienne $M$.

Condition de « petite oscillation » :
Une hypothèse cruciale est introduite pour mesurer la variation de $F$ par rapport à $x$. On définit l'oscillation $\beta(x, x_0)$ comme le supremum de la différence normalisée de $F$ en deux points. L'auteur impose que l'intégrale moyenne de cette oscillation sur des cubes soit suffisamment petite (condition (1.4) ou (1.2)), ce qui permet de traiter le cas où $F$ n'est pas constant en $x$, mais « proche » d'un opérateur homogénéisé.

2. Méthodologie

L'approche méthodologique combine plusieurs outils avancés de l'analyse non linéaire et de la théorie de l'homogénéisation :

• Opérateur d'homogénéisation ($\bar{F}$) :
  L'auteur définit un opérateur effectif $\bar{F}$ agissant sur les matrices constantes. Pour une matrice $A$, $\bar{F}(A)$ est défini comme la constante $\alpha$ telle que l'équation cellulaire périodique :
  $$F(A + D^2v(x), x) - \alpha = f(x) - \int_{[0,1]^n} f$$
  admet une unique solution périodique $v$ à moyenne nulle. La preuve de l'existence et de l'unicité de cette solution repose sur la méthode de continuité, l'utilisation de la théorie d'Evans-Krylov pour les estimations $C^{2,\alpha}$, et des approximations par régularisation (mollification) pour traiter le cas où $F$ et $f$ ne sont pas lisses.

• Estimations $W^{2,p}$ et régularité :
  Sous l'hypothèse de petite oscillation, l'article utilise les estimations $W^{2,p}$ (pour $p>n$) pour les solutions de viscosité. Cela permet de garantir que les solutions sont dans un espace de Sobolev approprié, facilitant l'application du principe du maximum fort et des inégalités de Harnack.

• Séquence de « blow-down » (réduction d'échelle) :
  Pour prouver le théorème de Liouville, l'auteur considère la suite de solutions redimensionnées $u_R(x) = u(Rx)/R^2$. En utilisant les estimations de régularité uniformes (indépendantes de $R$ grâce à la périodicité et la petite oscillation), on extrait une sous-suite convergeant vers une fonction limite $Q(x)$.
  Grâce à la structure de l'équation limite, on montre que $Q$ satisfait une équation elliptique linéaire à coefficients constants (l'opérateur homogénéisé $\bar{F}$), ce qui implique que $Q$ est un polynôme quadratique.

• Différences finies et équations linéaires :
  Une fois la partie quadratique identifiée, on étudie la différence $w = u - (\text{polynôme})$. Cette différence satisfait une équation linéaire elliptique (via la linéarisation de $F$). L'application du principe du maximum et de l'inégalité de Harnack sur cette fonction $w$ permet de montrer qu'elle est bornée et, par conséquent, qu'elle se décompose en une constante et une fonction périodique.

3. Résultats Principaux

Les contributions majeures de l'article sont les suivantes :

1. Existence de solutions périodiques (Théorème 1.2 et Corollaire 1.3) :
   Pour toute matrice $A$, il existe une unique solution périodique $v$ (à moyenne nulle) et une constante $\alpha$ (qui définit $\bar{F}(A)$) satisfaisant l'équation cellulaire. Cela généralise les résultats connus pour les équations linéaires et les équations de Monge-Ampère.

2. Théorème de Liouville pour le problème global (Théorème 1.7) :
   Si $u$ est une solution de viscosité de (1.1) à croissance quadratique ($|u(x)| \le C(1+|x|^2)$) et que l'oscillation de $F$ est petite, alors $u$ admet la décomposition suivante :
   $$u(x) = \frac{1}{2}x^T A x + b \cdot x + c + v(x)$$
   où $A$ est une matrice symétrique telle que $\bar{F}(A) = \int_{[0,1]^n} f$, $b \in \mathbb{R}^n$, $c \in \mathbb{R}$, et $v$ est une fonction périodique continue.
   Note : Ce résultat généralise les travaux antérieurs de Li-Wang (cas linéaire) et Li-Liang (cas non linéaire avec $F$ indépendant de $x$).

3. Comportement asymptotique sur des domaines extérieurs (Théorèmes 1.9 et 1.11) :
   L'auteur étend ces résultats aux problèmes de Dirichlet sur des domaines extérieurs $\mathbb{R}^n \setminus \Omega$. Il établit l'existence de solutions avec un comportement asymptotique précis à l'infini.
   Si $\Lambda/\lambda < n-1$, l'erreur de convergence vers la structure quadratique-périodique est estimée par :
   $$|u(x) - (\frac{1}{2}x^T A x + b \cdot x + c + v(x))| \le C |x|^{1 - (n-1)\frac{\lambda}{\Lambda}}$$
   Ce taux de convergence est lié à la solution fondamentale des opérateurs de Pucci.

4. Signification et Impact

• Généralisation des résultats existants : Ce travail comble un vide théorique en traitant le cas où l'opérateur non linéaire $F$ dépend explicitement de la variable spatiale $x$ de manière périodique, tout en conservant une structure non linéaire complète. Auparavant, la plupart des résultats de Liouville pour les équations non linéaires supposaient que $F$ ne dépendait que de $D^2u$.
• Rôle de la petite oscillation : L'article montre que la condition de « petite oscillation » est suffisante pour garantir la régularité nécessaire à la preuve de Liouville, même sans supposer que les coefficients sont lisses (Lipschitz) ou que l'opérateur est indépendant de $x$. Cela ouvre la voie à l'étude d'équations avec des coefficients périodiques irréguliers mais « presque constants ».
• Outils pour l'homogénéisation : La construction rigoureuse de l'opérateur homogénéisé $\bar{F}$ et la preuve de ses propriétés (ellipticité, concavité) fournissent des outils fondamentaux pour la théorie de l'homogénéisation des équations non linéaires complètes.
• Applications aux domaines extérieurs : Les résultats sur les domaines extérieurs sont cruciaux pour la compréhension des problèmes de potentiel et de mécanique des milieux continus où des défauts ou des obstacles sont présents dans un milieu périodique.

En résumé, cet article établit un cadre robuste pour l'analyse asymptotique des solutions d'équations elliptiques non linéaires périodiques, prouvant que la structure quadratique-périodique est universelle sous des hypothèses d'ellipticité et de régularité modérées (petite oscillation).