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

Resumen Técnico: Una Fórmula Integral para la Ecuación de Jordan–von Neumann Inhomogénea

Planteamiento del Problema
Este artículo investiga la versión inhomogénea de la clásica ecuación funcional cuadrática de Jordan–von Neumann. La ecuación homogénea, $f(x+y) + f(x-y) = 2f(x) + 2f(y)$, caracteriza las normas que surgen de productos internos y admite soluciones de la forma $f(x) = B(x,x)$ para una forma bilineal simétrica $B$. Los autores consideran el problema inhomogéneo donde una función prescrita $g: \mathbb{R}^2 \to \mathbb{R}$ actúa como el lado derecho de la ecuación:
$$f(x+y) + f(x-y) - 2f(x) - 2f(y) = g(x,y).$$
Las cuestiones centrales son: bajo qué condiciones existe una solución $f$ para una $g$ dada, y si tal solución puede construirse explícitamente. El problema se enmarca dentro del contexto de la estabilidad de ecuaciones funcionales (perturbación de la ecuación homogénea) y es paralelo al problema inverso clásico para el operador de Cauchy lineal $L[f](x,y) = f(x+y) - f(x) - f(y)$.

Metodología y Marco Teórico
Los autores definen un operador lineal $Q$ tal que $Q[f] = g$. El núcleo de $Q$ corresponde al espacio de soluciones de la ecuación homogénea. La metodología se basa en:

1. Identidades de Cociclo: Trazando una analogía con el caso lineal donde la imagen del operador de Cauchy está caracterizada por la identidad de 2-cociclo (relacionada con la asociatividad), los autores derivan una "identidad de cociclo" de tres variables específica para el operador cuadrático $Q$.
2. Supuestos de Regularidad: El análisis se realiza dentro de la clase de funciones dos veces continuamente diferenciables ($C^2$).
3. Diferenciación e Integración: La técnica central consiste en diferenciar la identidad de cociclo derivada con respecto a una variable en cero para reducir la ecuación funcional a una relación diferencial, seguida de la integración para recuperar la solución $f$.

Contribuciones Clave y Resultados

• Derivación de la Identidad de Cociclo Cuadrático: El artículo establece que si $g$ pertenece a la imagen de $Q$ (es decir, $g = Q[f]$), debe satisfacer la siguiente identidad para todo $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).$$
  Se demuestra que esta identidad es la condición necesaria para que $g$ esté en la imagen de $Q$.

• Teorema Principal (Existencia y Construcción): El resultado principal (Teorema 1.1) afirma que, para una función $g \in C^2(\mathbb{R}^2)$, la identidad de cociclo es tanto necesaria como suficiente para la existencia de una solución $f \in C^2(\mathbb{R})$.

  • Necesidad: Probada expandiendo ambos lados de la identidad usando la definición de $Q[f]$.
  • Suficiencia y Fórmula Integral: Si $g \in C^2(\mathbb{R}^2)$ satisface la identidad, una solución viene dada explícitamente por la fórmula integral de forma cerrada:
    $$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.$$
  • Unicidad: La solución es única salvo la adición de un elemento de $\ker Q$ (es decir, una solución homogénea).

• Preservación de la Regularidad: La construcción preserva la regularidad. Si $g$ pertenece a $C^k(\mathbb{R}^2)$ ($k \ge 2$), $C^\infty(\mathbb{R}^2)$, o es un polinomio real, la $f$ resultante pertenece a la clase correspondiente ($C^k(\mathbb{R})$, $C^\infty(\mathbb{R})$, o polinomios, respectivamente).

• Interpretación Operacional: El artículo proporciona una visión operacional unificadora, interpretando la identidad de cociclo como la simetría de los defectos iterados del operador $T$ a lo largo de los ejes de coordenadas. Esto generaliza la condición estándar de 2-cociclo para el operador lineal $L$ al operador cuadrático $Q$.

Significado y Limitaciones
El artículo afirma proporcionar la primera representación integral explícita para la ecuación de Jordan–von Neumann inhomogénea bajo la regularidad $C^2$, análoga a los resultados de Prunescu para la ecuación de Cauchy lineal. La importancia radica en convertir un problema de ecuación funcional en un problema de cálculo constructivo que involucra derivadas parciales e integrales.

Los autores señalan explícitamente las siguientes fronteras y preguntas abiertas:

• Restricciones de Regularidad: La fórmula integral actual requiere $g \in C^2$. El caso para $g \in C^1$ permanece abierto, ya que la derivación depende de la diferenciación de segundo orden.
• Condiciones Algebraicas vs. de Regularidad: Sigue siendo una cuestión abierta si la identidad de cociclo por sí sola (sin ningún supuesto de regularidad sobre $g$) es suficiente para que $g$ esté en la imagen de $Q$. Los autores señalan que, para el caso lineal, se requiere regularidad para imponer la simetría; una obstrucción similar que involucre bases de Hamel podría existir para el caso cuadrático.
• Caso Continuo: Si la identidad de cociclo implica simetría (y, por tanto, solvabilidad) para una $g$ meramente continua es un problema abierto atractivo, que refleja el trabajo de Erdős sobre el caso lineal.

El artículo concluye verificando el teorema con ejemplos específicos (polinómicos, exponenciales y trigonométricos de $g$) y delineando estas direcciones para investigaciones futuras.