An integral formula for the inhomogeneous Jordan--von Neumann equation

Résumé Technique : Une Formule Intégrale pour l'Équation de Jordan–von Neumann Inhomogène

Énoncé du Problème
Cet article étudie la version inhomogène de la classique équation fonctionnelle quadratique de Jordan–von Neumann. L'équation homogène, $f(x+y) + f(x-y) = 2f(x) + 2f(y)$, caractérise les normes issues de produits scalaires et admet des solutions de la forme $f(x) = B(x,x)$ pour une forme bilinéaire symétrique $B$. Les auteurs considèrent le problème inhomogène où une fonction prescrite $g: \mathbb{R}^2 \to \mathbb{R}$ agit comme le second membre :
$$f(x+y) + f(x-y) - 2f(x) - 2f(y) = g(x,y).$$
Les questions centrales sont les suivantes : sous quelles conditions une solution $f$ existe-t-elle pour un $g$ donné, et une telle solution peut-elle être construite explicitement ? Le problème est formulé dans le contexte de la stabilité des équations fonctionnelles (perturbation de l'équation homogène) et présente un parallèle avec le problème inverse classique de l'opérateur de Cauchy linéaire $L[f](x,y) = f(x+y) - f(x) - f(y)$.

Méthodologie et Cadre Théorique
Les auteurs définissent un opérateur linéaire $Q$ tel que $Q[f] = g$. Le noyau de $Q$ correspond à l'espace des solutions de l'équation homogène. La méthodologie repose sur :

1. Identités de Cocycle : En s'appuyant sur une analogie avec le cas linéaire où l'image de l'opérateur de Cauchy est caractérisée par l'identité du 2-cocycle (liée à l'associativité), les auteurs dérivent une « identité de cocycle » à trois variables spécifique à l'opérateur quadratique $Q$.
2. Hypothèses de Régularité : L'analyse est menée dans la classe des fonctions deux fois continûment dérivables ($C^2$).
3. Différentiation et Intégration : La technique centrale consiste à dériver l'identité de cocycle ainsi obtenue par rapport à une variable en zéro afin de réduire l'équation fonctionnelle à une relation différentielle, suivie d'une intégration pour retrouver la solution $f$.

Contributions Clés et Résultats

• Dérivation de l'Identité de Cocycle Quadratique : L'article établit que si $g$ appartient à l'image de $Q$ (c'est-à-dire $g = Q[f]$), elle doit satisfaire l'identité suivante pour tout $x, y, z \in \mathbb{R}$ :
  $$g(x+y,z) + g(x-y,z) + 2g(x,y) = g(x,y+z) + g(x,y-z) + 2g(y,z).$$
  Cette identité est démontrée comme étant la condition nécessaire pour que $g$ appartienne à l'image de $Q$.

• Théorème Principal (Existence et Construction) : Le résultat principal (Théorème 1.1) affirme que pour une fonction $g \in C^2(\mathbb{R}^2)$, l'identité du cocycle est à la fois nécessaire et suffisante pour l'existence d'une solution $f \in C^2(\mathbb{R})$.

  • Nécessité : Prouvée en développant les deux côtés de l'identité en utilisant la définition de $Q[f]$.
  • Suffisance et Formule Intégrale : Si $g \in C^2(\mathbb{R}^2)$ satisfait l'identité, une solution est donnée explicitement par la formule intégrale de forme fermée :
    $$f(x) = -\frac{1}{2}g(0,0) - \frac{1}{2}(\partial_2 g)(0,0)x + \frac{1}{2} \int_0^x (x-t)(\partial_2^2 g)(t,0) \, dt.$$
  • Unicité : La solution est unique à l'ajout d'un élément de $\ker Q$ (c'est-à-dire une solution homogène).

• Préservation de la Régularité : La construction préserve la régularité. Si $g$ appartient à $C^k(\mathbb{{R}}^2)$ ($k \ge 2$), $C^\infty(\mathbb{R}^2)$, ou est un polynôme réel, la solution $f$ appartient à la classe correspondante ($C^k(\mathbb{R})$, $C^\infty(\mathbb{R})$, ou polynômes, respectivement).

• Interprétation Opératorielle : L'article fournit une vision opératorielle unificatrice, interprétant l'identité du cocycle comme la symétrie des défauts itérés de l'opérateur $T$ le long des axes de coordonnées. Cela généralise la condition standard du 2-cocycle pour l'opérateur linéaire $L$ à l'opérateur quadratique $Q$.

Signification et Limites
L'article affirme fournir la première représentation intégrale explicite pour l'équation de Jordan–von Neumann inhomogène sous la régularité $C^2$, de manière analogue aux résultats de Prunescu pour l'équation de Cauchy linéaire. La signification réside dans la conversion d'un problème d'équation fonctionnelle en un problème de calcul constructif impliquant des dérivées partielles et des intégrales.

Les auteurs notent explicitement les limites et questions ouvertes suivantes :

• Contraintes de Régularité : La formule intégrale actuelle nécessite $g \in C^2$. Le cas pour $g \in C^1$ reste ouvert, car la dérivation repose sur la différenciation du second ordre.
• Conditions Algébriques vs Régularité : Il reste une question ouverte de savoir si l'identité du cocycle seule (sans hypothèse de régularité sur $g$) est suffisante pour que $g$ appartienne à l'image de $Q$. Les auteurs notent que pour le cas linéaire, la régularité est requise pour imposer la symétrie ; une obstruction similaire impliquant les bases de Hamel pourrait exister pour le cas quadratique.
• Cas Continu : Savoir si l'identité du cocycle implique la symétrie (et donc la résolubilité) pour un $g$ simplement continu est un problème ouvert attractif, faisant écho aux travaux d'Erdős sur le cas linéaire.

L'article conclut en vérifiant le théorème avec des exemples spécifiques (polynômes, exponentielles et trigonométriques pour $g$) et en esquissant des directions pour de futures recherches.