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

Resumo Técnico: Uma Fórmula Integral para a Equação de Jordan–von Neumann Inhomogênea

Enunciado do Problema
Este artigo investiga a versão inhomogênea da clássica equação funcional quadrática de Jordan–von Neumann. A equação homogênea, $f(x+y) + f(x-y) = 2f(x) + 2f(y)$, caracteriza normas que derivam de produtos internos e admite soluções da forma $f(x) = B(x,x)$ para uma forma bilinear simétrica $B$. Os autores consideram o problema inhomogêneo onde uma função prescrita $g: \mathbb{R}^2 \to \mathbb{R}$ atua como o lado direito:
$$f(x+y) + f(x-y) - 2f(x) - 2f(y) = g(x,y).$$
As questões centrais são: sob quais condições existe uma solução $f$ para um dado $g$, e pode tal solução ser construída explicitamente? O problema é formulado no contexto da estabilidade de equações funcionais (perturbação da equação homogênea) e estabelece um paralelo com o clássico problema inverso para o operador de Cauchy linear $L[f](x,y) = f(x+y) - f(x) - f(y)$.

Metodologia e Estrutura Teórica
Os autores definem um operador linear $Q$ tal que $Q[f] = g$. O núcleo de $Q$ corresponde ao espaço de soluções da equação homogênea. A metodologia baseia-se em:

1. Identidades de Cociclo: Traçando uma analogia com o caso linear onde a imagem do operador de Cauchy é caracterizada pela identidade de 2-cociclo (relacionada à associatividade), os autores derivam uma "identidade de cociclo" de três variáveis específica para o operador quadrático $Q$.
2. Suposições de Regularidade: A análise é conduzida dentro da classe de funções duas vezes continuamente diferenciáveis ($C^2$).
3. Diferenciação e Integração: A técnica central envolve diferenciar a identidade de cociclo derivada em relação a uma variável em zero para reduzir a equação funcional a uma relação diferencial, seguida de integração para recuperar a solução $f$.

Principais Contribuições e Resultados

• Derivação da Identidade de Cociclo Quadrática: O artigo estabelece que, se $g$ pertence à imagem de $Q$ (ou seja, $g = Q[f]$), ela deve satisfazer a seguinte identidade 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).$$
  Esta identidade é mostrada como a condição necessária para que $g$ esteja na imagem de $Q$.

• Teorema Principal (Existência e Construção): O principal resultado (Teorema 1.1) afirma que, para uma função $g \in C^2(\mathbb{R}^2)$, a identidade de cociclo é tanto necessária quanto suficiente para a existência de uma solução $f \in C^2(\mathbb{R})$.

  • Necessidade: Provada expandindo ambos os lados da identidade usando a definição de $Q[f]$.
  • Suficiência e Fórmula Integral: Se $g \in C^2(\mathbb{R}^2)$ satisfaz a identidade, uma solução é dada explicitamente pela fórmula integral de forma fechada:
    $$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.$$
  • Unicidade: A solução é única a menos da adição de um elemento de $\ker Q$ (ou seja, uma solução homogênea).

• Preservação de Regularidade: A construção preserva a regularidade. Se $g$ pertence a $C^k(\mathbb{R}^2)$ ($k \ge 2$), $C^\infty(\mathbb{R}^2)$, ou é um polinômio real, a solução $f$ resultante pertence à classe correspondente ($C^k(\mathbb{R})$, $C^\infty(\mathbb{R})$ ou polinômios, respectivamente).

• Interpretação Operatorial: O artigo fornece uma visão operacional unificadora, interpretando a identidade de cociclo como a simetria de defeitos iterados do operador $T$ ao longo dos eixos coordenados. Isso generaliza a condição padrão de 2-cociclo para o operador linear $L$ para o operador quadrático $Q$.

Significância e Limitações
O artigo afirma fornecer a primeira representação integral explícita para a equação de Jordan–von Neumann inhomogênea sob regularidade $C^2$, analogamente aos resultados de Prunescu para a equação de Cauchy linear. A significância reside na conversão de um problema de equação funcional em um problema de cálculo construtivo envolvendo derivadas parciais e integrais.

Os autores explicitam as seguintes fronteiras e questões em aberto:

• Restrições de Regularidade: A fórmula integral atual requer $g \in C^2$. O caso para $g \in C^1$ permanece em aberto, pois a derivação depende de diferenciação de segunda ordem.
• Condições Algébricas vs. de Regularidade: Permanece uma questão em aberto se a identidade de cociclo sozinha (sem qualquer hipótese de regularidade sobre $g$) é suficiente para que $g$ esteja na imagem de $Q$. Os autores observam que, para o caso linear, a regularidade é necessária para impor a simetria; uma obstrução semelhante envolvendo bases de Hamel pode existir para o caso quadrático.
• Caso Contínuo: Se a identidade de cociclo implica simetria (e, portanto, solvabilidade) para $g$ meramente contínua, é um problema aberto atraente, espelhando o trabalho de Erdős sobre o caso linear.

O artigo conclui verificando o teorema com exemplos específicos (polinomiais, exponenciais e trigonométricos para $g$) e delineando estas direções para pesquisas futuras.