On the generalized of $p$-biharmonic and bi-$p$-harmonic maps

Dans cette note, les auteurs généralisent la définition des applications $p$-biharmoniques et bi-$p$-harmoniques entre deux variétés riemanniennes et étudient certaines de leurs propriétés.

L'essentiel

Voici une explication de cet article mathématique, traduite en langage simple et imagé, comme si nous en parlions autour d'une tasse de café.

🌍 Le Titre : "Des cartes qui ne veulent pas se plier"

Imaginez que vous êtes un cartographe. Votre travail consiste à dessiner une carte (une surface) sur un autre terrain. En mathématiques, on appelle cela une application (ou un "map").

Le but de cet article est d'étudier comment ces cartes se comportent lorsqu'on essaie de les rendre aussi "lisses" et "naturelles" que possible, mais avec des règles un peu plus compliquées que d'habitude. Les auteurs, Fethi Latti et Ahmed Mohammed Cherif, inventent de nouvelles règles pour mesurer la "douceur" d'une carte.

🧶 1. La règle de base : La "Harmonie" (Le fil tendu)

Pour comprendre leur nouveauté, il faut d'abord connaître l'ancien jeu.
Imaginez un élastique tendu entre deux points. Si vous le lâchez, il cherche la position la plus détendue possible. En mathématiques, une application harmonique, c'est comme cet élastique : c'est la forme la plus "détendue" possible entre deux surfaces.

• L'analogie : C'est comme un drap bien tendu sur un lit. Il n'y a pas de plis. C'est la solution "parfaite" et simple.

🌀 2. La complication : Les "p-Harmoniques" (Des élastiques bizarres)

Les mathématiciens ont dit : "Et si l'élastique n'était pas normal ? Et si, au lieu de se détendre doucement, il avait une résistance bizarre qui changeait selon la tension ?"

C'est là qu'intervient le p-harmonique.

• L'analogie : Imaginez un élastique fait d'un matériau étrange. Plus vous le tirez fort, plus il devient dur et difficile à étirer (ou l'inverse, selon la valeur de p). La carte cherche toujours le repos, mais c'est un repos "bizarroïde".

🧱 3. La grande innovation : Les "(p, q)-Harmoniques" (La double contrainte)

C'est le cœur de l'article. Les auteurs disent : "Et si on prenait cette règle bizarre (p), et qu'on appliquait une autre règle bizarre (q) sur le résultat ?"

Imaginez que vous avez un élastique spécial (règle p). Vous le tendez. Ensuite, vous prenez le résultat de cette tension et vous le mettez dans un autre élastique encore plus spécial (règle q).

• L'analogie : C'est comme si vous deviez plier une feuille de papier (règle p), et ensuite, vous deviez plier la manière dont vous l'avez pliée (règle q).
• Le but : Ils cherchent les formes qui sont stables même avec cette double couche de complexité. Ils appellent cela des applications (p, q)-harmoniques.

🔍 4. Ce qu'ils ont découvert (Les "Théorèmes de Liouville")

Dans le monde des mathématiques, un "théorème de type Liouville", c'est un peu comme un détective qui dit : "Si vous êtes dans une pièce fermée et que vous essayez de faire des mouvements compliqués, vous finirez par ne plus bouger du tout."

Les auteurs ont prouvé deux choses importantes :

1. Le cas du monde fini (Compact) : Si votre surface de départ est finie (comme une sphère) et que la surface d'arrivée est "plate" ou "négative" (comme une selle de cheval qui s'enfonce partout), alors, peu importe vos règles compliquées (p et q), la seule solution stable est la solution simple de base.

   • En clair : Si le terrain d'arrivée est trop "plat" ou "négatif", la carte (p, q) ne peut pas faire de plis compliqués. Elle se résout automatiquement en une carte simple (p-harmonique). C'est comme si la gravité forçait l'élastique complexe à redevenir un élastique normal.

2. Le cas du monde infini : Même si l'espace est infini, tant que la "tension" totale de la carte ne devient pas trop énorme (elle reste finie), la même chose se produit : la carte finit par se simplifier.

🎨 5. Les exemples "Bizarres" (Les cartes qui ne sont pas simples)

L'article ne se contente pas de dire "tout devient simple". Ils montrent aussi qu'il existe des cas où la carte reste compliquée (c'est ce qu'ils appellent des cartes "propres").

• L'analogie : Imaginez un nœud qui ne se dénoue jamais, même si vous tirez dessus. Ils ont construit des exemples mathématiques précis (sur des espaces hyperboliques ou des plans) où la carte (p, q) reste complexe et ne devient jamais une carte simple. C'est comme trouver des nœuds mathématiques impossibles à défaire.

🏁 En résumé

Cet article est une exploration de la géométrie des plis.

• Ils ont inventé une nouvelle façon de mesurer la "douceur" d'une carte en ajoutant deux paramètres de complexité (p et q).
• Ils ont prouvé que dans des environnements géométriques "hostiles" (courbure négative), ces cartes complexes sont forcées de redevenir simples.
• Mais ils ont aussi montré que dans d'autres environnements, ces cartes peuvent rester complexes et uniques, offrant de nouveaux objets d'étude pour les physiciens et les mathématiciens qui travaillent sur les équations non-linéaires (les équations qui décrivent des phénomènes complexes comme les fluides ou les matériaux élastiques).

C'est un peu comme si on disait : "Voici une nouvelle règle pour plier du papier. Parfois, le papier s'aplatit tout seul. Mais parfois, il garde une forme incroyable que nous venons de découvrir !"

Résumé technique

Voici un résumé technique détaillé de l'article « On the generalized of p-biharmonic and bi-p-harmonic maps » par Fethi Latti et Ahmed Mohammed Cherif, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la géométrie différentielle et de l'analyse non linéaire, plus spécifiquement dans l'étude des applications harmoniques et de leurs généralisations entre deux variétés riemanniennes $(M, g)$ et $(N, h)$.

• Contexte existant : Les auteurs partent des notions établies d'applications $p$-harmoniques (points critiques de l'énergie $p$-énergétique) et d'applications biharmoniques ou $p$-biharmoniques.
• Problème central : Il existe une distinction entre les applications $p$-biharmoniques (critiques de l'énergie impliquant la puissance $p$ du champ de tension $\tau(\phi)$) et les applications bi-$p$-harmoniques (critiques de l'énergie impliquant le carré du champ de tension $p$-harmonique $\tau_p(\phi)$).
• Objectif : L'objectif de ce travail est d'unifier et de généraliser ces concepts en introduisant une nouvelle classe d'applications : les applications $(p, q)$-harmoniques. Les auteurs visent à définir formellement ces applications, à établir leurs équations d'Euler-Lagrange, à étudier leurs propriétés fondamentales (notamment via des théorèmes de type Liouville) et à construire des exemples explicites, y compris des applications propres (c'est-à-dire $(p, q)$-harmoniques mais non $p$-harmoniques).

2. Méthodologie

La démarche méthodologique repose sur l'analyse variationnelle et le calcul tensoriel sur les variétés riemanniennes :

1. Définition Variationnelle : Les auteurs définissent l'énergie $(p, q)$-harmonique pour une application $\phi$ sur un domaine compact $D \subset M$ par :
   $$E_{p,q}(\phi; D) = \frac{1}{q} \int_D |\tau_p(\phi)|^q \, v_g$$
   où $\tau_p(\phi) = \text{div}(|d\phi|^{p-2}d\phi)$ est le champ de tension $p$-harmonique.
2. Calcul de la Première Variation : En utilisant une variation lisse $\{\phi_t\}$ et un champ de vecteurs variationnel $v$, ils calculent la dérivée de l'énergie par rapport au paramètre $t$ à $t=0$. Cela implique l'utilisation de la formule de Leibniz, des propriétés de la courbure de Riemann $R^N$, et du théorème de la divergence.
3. Établissement de l'Équation d'Euler-Lagrange : L'annulation de la première variation conduit à l'expression explicite du champ de tension $(p, q)$-harmonique, noté $\tau_{p,q}(\phi)$.
4. Analyse des Cas Particuliers : Ils déduisent les équations connues (bi-$p$-harmoniques, $p$-biharmoniques) comme cas particuliers de leur formulation générale.
5. Preuve de Théorèmes de Type Liouville : Pour les variétés compactes et non compactes, ils utilisent des inégalités intégrales, le théorème de Green, et l'hypothèse de courbure sectionnelle non positive de la variété cible pour démontrer la rigidité des applications.

3. Contributions Clés et Résultats Principaux

A. Définition et Équation Fondamentale (Théorème 1)

Les auteurs introduisent le champ de tension $\tau_{p,q}(\phi)$ dont l'annulation caractérise les applications $(p, q)$-harmoniques. L'expression est complexe et fait intervenir :

• La courbure de la variété cible $N$ ($R^N$).
• Des termes de dérivées covariantes du champ de tension $p$-harmonique pondérés par les normes $|d\phi|$ et $|\tau_p(\phi)|$.
• Le terme $\tau_{p,q}(\phi)$ s'annule si et seulement si :
  $$\tau_{p,q}(\phi) = -|d\phi|^{p-2}|\tau_p(\phi)|^{q-2}\text{trace}R^N(\tau_p(\phi), d\phi)d\phi - \text{trace}\nabla^\phi|d\phi|^{p-2}\nabla^\phi|\tau_p(\phi)|^{q-2}\tau_p(\phi) - \dots = 0$$

B. Relations entre les Classes d'Applications

• Inclusion : Toute application $p$-harmonique est automatiquement $(p, q)$-harmonique.
• Cas des champs parallèles : Si le champ vectoriel $|\tau_p(\phi)|^{q-2}\tau_p(\phi)$ est parallèle le long de $\phi$, alors $\phi$ est $(p, q)$-harmonique.
• Équivalence sous condition (Corollaire 7) : Si $|\tau_p(\phi)|^{q-2}$ est constante, alors $\phi$ est $(p, q)$-harmonique si et seulement si elle est bi-$p$-harmonique.

C. Exemples d'Applications Propres

L'article fournit des constructions explicites d'applications propres (c'est-à-dire $(p, q)$-harmoniques mais qui ne sont pas $p$-harmoniques, donc $\tau_p(\phi) \neq 0$) :

• Exemple 6 : Une application de $\mathbb{R}^2 \setminus \{(0,0)\} \times \mathbb{R}$ vers $\mathbb{R}^2$ avec une métrique spécifique, qui est à la fois bi-$p$-harmonique et $(p, q)$-harmonique car les composantes du champ de tension transformé sont constantes.
• Exemple 8 : Une application de l'espace hyperbolique $H^4$ vers l'espace euclidien $\mathbb{R}^4$, valable pour $p > 4$ et $q \ge 2$.
• Exemple 10 : Une application polynomiale $\phi(x, y) = (x^s, 0)$ de $\mathbb{R}^2$ vers $\mathbb{R}^2$, qui est $(p, q)$-harmonique pour des valeurs spécifiques de $s$ dépendant de $p$ et $q$.

D. Théorèmes de Type Liouville (Rigidité)

Les auteurs établissent des résultats de rigidité forts :

• Théorème 11 (Cas Compact) : Si $M$ est une variété riemannienne compacte orientable sans bord et si $N$ a une courbure sectionnelle non positive, alors toute application $(p, q)$-harmonique de $M$ vers $N$ est nécessairement $p$-harmonique (c'est-à-dire $\tau_p(\phi) = 0$).
• Théorème 12 (Cas Non Compact) : Pour une variété complète non compacte $M$ et une cible $N$ à courbure non positive, sous certaines conditions d'intégrabilité (convergence de l'intégrale de l'énergie pondérée et divergence de l'intégrale de la métrique), toute application $(p, q)$-harmonique est également $p$-harmonique.

4. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

1. Unification Théorique : Il propose un cadre unifié $(p, q)$ qui englobe les théories des applications $p$-harmoniques, biharmoniques, $p$-biharmoniques et bi-$p$-harmoniques, clarifiant les relations entre ces différentes classes d'énergie.
2. Généralisation des Équations : L'obtention de l'équation d'Euler-Lagrange pour des exposants mixtes $p$ et $q$ ouvre la voie à l'étude de nouvelles équations aux dérivées partielles non linéaires d'ordre supérieur.
3. Rigidité Géométrique : Les théorèmes de Liouville démontrés renforcent la compréhension du comportement des applications harmoniques généralisées sur des variétés à courbure négative, montrant que sous des hypothèses géométriques classiques, la complexité supplémentaire de l'exposant $q$ ne permet pas de nouvelles solutions non triviales (elles se réduisent aux solutions $p$-harmoniques).
4. Construction d'Exemples : La fourniture d'exemples explicites d'applications propres est cruciale pour la théorie, car elle montre que la classe des applications $(p, q)$-harmoniques est strictement plus large que celle des applications $p$-harmoniques, offrant ainsi de nouveaux objets d'étude pour l'analyse géométrique.

En conclusion, cet article élargit le paysage de l'analyse géométrique des applications entre variétés riemanniennes en introduisant une généralisation flexible et en prouvant des résultats de non-existence (rigidité) dans des contextes géométriques naturels.