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

Sintesi Tecnica: Una Formula Integrale per l'Equazione di Jordan–von Neumann Inomogenea

Enunciato del Problema
Questo articolo investiga la versione inomogenea della classica equazione funzionale quadratica di Jordan–von Neumann. L'equazione omogenea, $f(x+y) + f(x-y) = 2f(x) + 2f(y)$, caratterizza le norme derivanti da prodotti interni e ammette soluzioni della forma $f(x) = B(x,x)$ per una forma bilineare simmetrica $B$. Gli autori considerano il problema inomogeneo in cui una funzione prescritta $g: \mathbb{R}^2 \to \mathbb{R}$ agisce come termine noto:
$$f(x+y) + f(x-y) - 2f(x) - 2f(y) = g(x,y).$$
Le questioni centrali sono: in quali condizioni esiste una soluzione $f$ per una data $g$, e se tale soluzione possa essere costruita esplicitamente? Il problema è inquadrato nel contesto della stabilità delle equazioni funzionali (perturbazione dell'equazione omogenea) e parallelizza il classico problema inverso per l'operatore di Cauchy lineare $L[f](x,y) = f(x+y) - f(x) - f(y)$.

Metodologia e Quadro Teorico
Gli autori definiscono un operatore lineare $Q$ tale che $Q[f] = g$. Il nucleo di $Q$ corrisponde allo spazio delle soluzioni dell'equazione omogenea. La metodologia si basa su:

1. Identità di Cociclo: Tracciando un'analogia con il caso lineare in cui l'immagine dell'operatore di Cauchy è caratterizzata dall'identità di 2-cociclo (relata all'associatività), gli autori derivano un'identità di "cociclo a tre variabili" specifica per l'operatore quadratico $Q$.
2. Assunzioni di Regolarità: L'analisi è condotta all'interno della classe delle funzioni due volte continuamente differenziabili ($C^2$).
3. Differenziazione e Integrazione: La tecnica centrale consiste nel differenziare l'identità di cociclo derivata rispetto a una variabile in zero per ridurre l'equazione funzionale a una relazione differenziale, seguita dall'integrazione per recuperare la soluzione $f$.

Contributi Chiave e Risultati

• Derivazione dell'Identità di Cociclo Quadratica: L'articolo stabilisce che se $g$ appartiene all'immagine di $Q$ (ovvero $g = Q[f]$), essa deve soddisfare la seguente identità per tutti $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).$$
  Si dimostra che questa identità è la condizione necessaria affinché $g$ sia nell'immagine di $Q$.

• Teorema Principale (Esistenza e Costruzione): Il risultato primario (Teorema 1.1) afferma che, per una funzione $g \in C^2(\mathbb{R}^2)$, l'identità di cociclo è condizione necessaria e sufficiente per l'esistenza di una soluzione $f \in C^2(\mathbb{R})$.

  • Necessità: Dimostrata espandendo entrambi i membri dell'identità usando la definizione di $Q[f]$.
  • Sufficienza e Formula Integrale: Se $g \in C^2(\mathbb{R}^2)$ soddisfa l'identità, una soluzione è data esplicitamente dalla formula integrale a forma chiusa:
    $$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 soluzione è unica a meno dell'aggiunta di un elemento appartenente a $\ker Q$ (ovvero una soluzione omogenea).

• Preservazione della Regolarità: La costruzione preserva la regolarità. Se $g$ appartiene a $C^k(\mathbb{R}^2)$ ($k \ge 2$), $C^\infty(\mathbb{R}^2)$, o è un polinomio reale, la $f$ risultante appartiene alla corrispondente classe ($C^k(\mathbb{R})$, $C^\infty(\mathbb{R})$, o polinomi, rispettivamente).

• Interpretazione Operatoriale: Il lavoro fornisce una visione operatoriale unificante, interpretando l'identità di cociclo come la simmetria dei difetti iterati dell'operatore $T$ lungo gli assi delle coordinate. Ciò generalizza la standard condizione di 2-cociclo per l'operatore lineare $L$ all'operatore quadratico $Q$.

Significatività e Limiti
L'articolo sostiene di fornire la prima rappresentazione integrale esplicita per l'equazione di Jordan–von Neumann inomogenea sotto regolarità $C^2$, analogamente ai risultati di Prunescu per l'equazione di Cauchy lineare. La significatività risiede nel convertire un problema di equazione funzionale in un problema di calcolo costruttivo che coinvolge derivate parziali e integrali.

Gli autori segnalano esplicitamente i seguenti confini e questioni aperte:

• Vincoli di Regolarità: L'attuale formula integrale richiede $g \in C^2$. Il caso per $g \in C^1$ rimane aperto, poiché la derivazione si basa sulla differenziazione del secondo ordine.
• Condizioni Algebriche vs. di Regolarità: Rimane una questione aperta se l'identità di cociclo da sola (senza alcuna ipotesi di regolarità su $g$) sia sufficiente affinché $g$ sia nell'immagine di $Q$. Gli autori notano che per il caso lineare, la regolarità è necessaria per imporre la simmetria; un simile ostacolo che coinvolge le basi di Hamel potrebbe esistere anche per il caso quadratico.
• Caso Continuo: Se l'identità di cociclo implichi la simmetria (e quindi la solvibilità) per una $g$ meramente continua è un problema aperto attraente, che rispecchia il lavoro di Erdős sul caso lineare.

L'articolo conclude verificando il teorema con esempi specifici (polinomiali, esponenziali e trigonometrici per $g$) e delineando queste direzioni per la ricerca futura.