A simple range characterization for spherical mean transform in odd dimensions and its applications

Sintesi Tecnica: Una Semplice Caratterizzazione dell'Immagine per la Trasformata della Media Sferica in Dimensioni Dispari e le sue Applicazioni

Problema
Il saggio affronta il problema della caratterizzazione dell'immagine della Trasformata della Media Sferica (SMT), nota anche come trasformata di Radon sferica, per funzioni supportate nella palla unitaria $B \subset \mathbb{R}^n$ dove $n$ è un intero dispari ($n \ge 3$). Nello specifico, la trasformata mappa una funzione $f$ nelle sue medie su sfere centrate sul bordo della palla unitaria ($S^{n-1}$) con raggi variabili $t \in (0, \infty)$. Sebbene l'iniettività di questa trasformata e varie formule di inversione siano ben stabilite, le esistenti caratterizzazioni dell'immagine (condizioni che una funzione deve soddisfare per appartenere all'immagine della trasformata) sono spesso proibitivamente complesse per prove costruttive. Gli autori mirano a derivare un insieme di condizioni sull'immagine più semplice e trattabile per facilitare la costruzione di funzioni con specifiche proprietà di supporto e per investigare la Proprietà di Continuazione Unica (UCP) per la SMT.

Metodologia
Gli autori impiegano una combinazione di analisi armonica, teoria delle funzioni speciali e tecniche di operatori differenziali:

1. Espansione in Armoniche Sferiche: Il problema viene scomposto espandendo sia la funzione sorgente $f$ che i dati della trasformata $g = Rf$ in armoniche sferiche. Ciò riduce il problema generale all'analisi di funzioni radiali per ogni grado armonico $m$.
2. Operatori Differenziali e Simmetria: Per le funzioni radiali, gli autori derivano una condizione necessaria che coinvolge un operatore differenziale lineare $L_k$ di ordine $k = (n-3)/2$. Essi stabiliscono che la trasformata di una funzione radiale soddisfa una specifica relazione di simmetria tra i valori in $1-t$ e $1+t$ (o equivalentemente $t$ e $2-t$) dopo l'applicazione di un fattore di ponderazione $t^{n-2}$.
3. Analisi Combinatoria: La dimostrazione della condizione generale sull'immagine si basa su intricate identità combinatorie. Gli autori utilizzano la tecnica di Egorychev (integrali di contorno per i coefficienti binomiali) e una versione specializzata della formula di Faà di Bruno per l'operatore $D = \frac{1}{t}\frac{d}{dt}$ per gestire le derivate di ordine superiore di funzioni composte derivanti dai kernel integrali.
4. Funzioni Speciali: Un componente tecnico centrale è la derivazione di un'identità di "prodotto incrociato" per le funzioni Bessel sferiche di prima specie ($j_\alpha$) e seconda specie ($y_\alpha$). Questa identità mette in relazione le trasformate di Hankel di funzioni che soddisfano le derivate condizioni di simmetria.
5. Equazioni Differenziali Ordinarie (ODE): Per provare l'esistenza di controesempi alla UCP, gli autori costruiscono funzioni non banali, lisce e con supporto compatto, che soddisfano le derivate condizioni sull'immagine. Ciò viene ottenuto risolvendo ODE lineari con coefficienti variabili e scegliendo accuratamente le condizioni al contorno per garantire che la funzione e le sue derivate si annullino in punti specifici.

Risultati Chiave

1. Caratterizzazione dell'Immagine per Funzioni Radiali (Teorema 1.1):
   Una funzione $g \in C^\infty_c((0, 2))$ è la SMT di una funzione radiale $f \in C^\infty_c(B)$ se e solo se $h(t) = t^{n-2}g(t)$ soddisfa la relazione di simmetria:
   $$[L_k h](1-t) = [L_k h](1+t) \quad \text{per ogni } t \in [0, 1],$$
   dove $L_k$ è un operatore differenziale lineare specifico di ordine $k = (n-3)/2$. Questa condizione è significativamente più semplice delle precedenti caratterizzazioni.

2. Caratterizzazione dell'Immagine per Funzioni Generali (Teorema 1.4):
   Per una funzione generale $g \in C^\infty_c(S^{n-1} \times (0, 2))$, siano $g_{m,l}(t)$ i suoi coefficienti armonici sferici. Allora $g = Rf$ se e solo se per ogni $(m, l)$, la funzione $h_{m,l}(t) = t^{n-2}g_{m,l}(t)$ può essere scritta come $h_{m,l} = D^m \phi_{m,l}$ per qualche $\phi_{m,l} \in C^\infty_c((0, 2))$, dove $\phi_{m,l}$ soddisfa la relazione di simmetria:
   $$[L_{m+k} \phi_{m,l}](1-t) = [L_{m+k} \phi_{m,l}](1+t).$$

3. Identità del Prodotto Incrociato per le Funzioni Bessel Sferiche (Teorema 1.8):
   La dimostrazione produce una sorprendente identità per qualsiasi $h \in C^\infty_c((0, 2))$ che soddisfi la condizione di simmetria dell'immagine:
   $$\left( \int_0^\infty j_{k+1/2}(\lambda t) t h(t) dt \right) y_{k+1/2}(\lambda) = \left( \int_0^\infty y_{k+1/2}(\lambda t) t h(t) dt \right) j_{k+1/2}(\lambda).$$
   Gli autori sottolineano che questa identità fornisce una famiglia infinente di relazioni di prodotto incrociato per le funzioni Bessel sferiche non precedentemente rinvenute in letteratura.

4. Controesempi alla Continuazione Unica (Teorema 1.6 e Corollario 1.7):
   Utilizzando la caratterizzazione dell'immagine, gli autori costruiscono esplicitamente funzioni non banali $f \in C^\infty_c(B)$ che si annullano su un insieme aperto $U \subset B$ (specificamente una palla attorno all'origine o qualsiasi sottoinsieme aperto) mentre la loro SMT si annulla su tutte le sfere che intersecano $U$. Ciò dimostra che la Proprietà di Continuazione Unica (UCP) non vale per la SMT in dimensioni dispari.

Significato e Rivendicazioni
Il saggio sostiene che il suo contributo primario sia la derivazione di una semplice e costruttiva caratterizzazione dell'immagine per la SMT in dimensioni dispari. A differenza delle precedenti condizioni complesse, queste nuove relazioni di simmetria che coinvolgono operatori differenziali permettono la costruzione esplicita di funzioni nell'immagine con specifiche restrizioni di supporto.

Gli autori evidenziano due applicazioni principali di questo risultato:

• Prove Costruttive: La semplicità delle condizioni permette la costruzione di controesempi alla UCP, una proprietà che vale per molte altre trasformate integrali (come la trasformata X in dimensioni dispari) ma che fallisce qui a causa della natura locale dell'inversione della SMT in dimensioni dispari.
• Teoria delle Funzioni Speciali: La derivata identità del prodotto incrociato per le funzioni Bessel sferiche è presentata come un risultato di interesse indipendente nella teoria delle funzioni speciali, illuminando la struttura degli zeri della trasformata di Hankel per le funzioni nell'immagine della SMT.

Gli autori dichiarano esplicitamente che, sebbene la UCP fallisca in dimensioni dispari, il fatto che essa valga per la SMT in dimensioni pari rimane una questione aperta. Notano inoltre che il loro lavoro integra uno studio separato (citato come [8]) che fornisce una caratterizzazione dell'immagine per le dimensioni pari basata su operatori integrali piuttosto che differenziali.