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

Technische Samenvatting: Een eenvoudige bereikkarakterisering voor de Sferische Gemiddelde Transformatie in oneven dimensies en de toepassingen daarvan

Probleemstelling
Het artikel behandelt het probleem van het karakteriseren van het bereik van de Sferische Gemiddelde Transformatie (SMT), ook wel de sferische Radon-transformatie genoemd, voor functies die ondersteund zijn in de eenheidsbal $B \subset \mathbb{R}^n$ waar $n$ een oneven geheel getal is ($n \ge 3$). In het bijzonder brengt de transformatie een functie $f$ in kaart naar de gemiddelden over bollen gecentreerd op de rand van de eenheidsbol ($S^{n-1}$) met variërende radii $t \in (0, \infty)$. Hoewel de injectiviteit van deze transformatie en diverse inversieformules goed gevestigd zijn, zijn bestaande bereikkarakteriseringen (voorwaarden waaraan een functie moet voldoen om in het beeld van de transformatie te zitten) vaak prohibitief complex voor constructieve bewijzen. De auteurs streven ernaar een eenvoudigere, meer hanteerbare set bereikvoorwaarden af te leiden om de constructie van functies met specifieke ondersteuningseigenschappen te vergemakkelijken en om het Unieke Voortzettingseigenschap (UCP) voor de SMT te onderzoeken.

Methodologie
De auteurs maken gebruik van een combinatie van harmonische analyse, de theorie van speciale functies en differentiaaloperator-technieken:

1. Sferische Harmonische Expansie: Het probleem wordt ontleed door zowel de bronfunctie $f$ als de transformatiedata $g = Rf$ uit te breiden in sferische harmonischen. Dit reduceert het algemene probleem tot het analyseren van radiale functies voor elk harmonisch graad $m$.
2. Differentiaaloperatoren en Symmetrie: Voor radiale functies leiden de auteurs een noodzakelijke voorwaarde af die een lineaire differentiaaloperator $L_k$ van orde $k = (n-3)/2$ betreft. Zij stellen vast dat de transformatie van een radiale functie een specifieke symmetrie-relatie voldoet tussen de waarden bij $1-t$ en $1+t$ (of equivalent aan $t$ en $2-t$) na het toepassen van een weegfactor $t^{n-2}$.
3. Combinatorische Analyse: Het bewijs van de algemene bereikvoorwaarde berust op complexe combinatorische identiteiten. De auteurs maken gebruik van de Egorychev-techniek (contouurintegralen voor binomialcoëfficiënten) en een gespecialiseerde versie van de Faà di Bruno-formule voor de operator $D = \frac{1}{t}\frac{d}{dt}$ om hogere-orde afgeleiden van samengestelde functies voortvloeiend uit de integraalkernen te behandelen.
4. Speciale Functies: Een centraal technisch onderdeel is de afleiding van een "cross product"-identiteit voor sferische Bessel-functies van de eerste soort ($j_\alpha$) en tweede soort ($y_\alpha$). Deze identiteit relateert de Hankel-transformaties van functies die de afgeleide symmetrie-voorwaarden voldoen.
5. Gewone Differentiaalvergelijkingen (ODE's): Om tegenvoorbeelden voor de UCP te bewijzen, construeren de auteurs niet-triviale gladde functies met compacte ondersteuning die de afgeleide bereikvoorwaarden voldoen. Dit wordt bereikt door lineaire ODE's met variabele coëfficiënten op te lossen en zorgvuldig randvoorwaarden te kiezen om ervoor te zorgen dat de functie en haar afgeleiden in specifieke punten verdwijnen.

Belangrijkste Resultaten

1. Bereikkarakterisering voor Radiale Functies (Stelling 1.1):
   Een functie $g \in C^\infty_c((0, 2))$ is de SMT van een radiale functie $f \in C^\infty_c(B)$ dan en slechts als $h(t) = t^{n-2}g(t)$ de symmetrie-relatie voldoet:
   $$[L_k h](1-t) = [L_k h](1+t) \quad \text{voor alle } t \in [0, 1],$$
   waarbij $L_k$ een specifieke lineaire differentiaaloperator van orde $k = (n-3)/2$ is. Deze voorwaarde is aanzienlijk eenvoudiger dan eerdere karakteriseringen.

2. Bereikkarakterisering voor Algemene Functies (Stelling 1.4):
   Voor een algemene functie $g \in C^\infty_c(S^{n-1} \times (0, 2))$, laat $g_{m,l}(t)$ haar sferische harmonische coëfficiënten zijn. Dan is $g = Rf$ dan en slechts als voor elke $(m, l)$, de functie $h_{m,l}(t) = t^{n-2}g_{m,l}(t)$ geschreven kan worden als $h_{m,l} = D^m \phi_{m,l}$ voor een bepaalde $\phi_{m,l} \in C^\infty_c((0, 2))$, waarbij $\phi_{m,l}$ de symmetrie-relatie voldoet:
   $$[L_{m+k} \phi_{m,l}](1-t) = [L_{m+k} \phi_{m,l}](1+t).$$

3. Cross Product Identiteit voor Sferische Bessel-functies (Stelling 1.8):
   Het bewijs levert een opmerkelijke identiteit op voor elke $h \in C^\infty_c((0, 2))$ die de bereik-symmetrievoorwaarde voldoet:
   $$\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).$$
   De auteurs merken op dat deze identiteit een oneindige familie van cross-product relaties voor sferische Bessel-functies biedt die niet eerder in de literatuur zijn gevonden.

4. Tegenvoorbeelden voor Unieke Voortzetting (Stelling 1.6 en Gevolgtrekking 1.7):
   Gebruikmakend van de bereikkarakterisering construeren de auteurs expliciete niet-triviale functies $f \in C^\infty_c(B)$ die verdwijnen op een open verzameling $U \subset B$ (specifiek een bal rond de oorsprong of een willekeurige open deelverzameling) terwijl hun SMT verdwijnt op alle bollen die $U$ snijden. Dit bewijst dat de Unieke Voortzetingseigenschap (UCP) niet geldt voor de SMT in oneven dimensies.

Betekenis en Claims
De auteurs claimen dat hun primaire bijdrage de afleiding is van een eenvoudige en constructieve bereikkarakterisering voor de SMT in oneven dimensies. In tegenstelling tot eerdere complexe voorwaarden, maken deze nieuwe symmetrie-relaties met differentiaaloperatoren de expliciete constructie van functies in het bereik met specifieke ondersteuningsrestricties mogelijk.

De auteurs benadrukken twee belangrijke toepassingen van dit resultaat:

• Constructieve Bewijzen: De eenvoud van de voorwaarden maakt de constructie van tegenvoorbeelden voor de UCP mogelijk, een eigenschap die geldt voor veel andere integraaltransformaties (zoals de X-straaltransformatie in oneven dimensies) maar hier faalt vanwege de lokale aard van de SMT-inversie in oneven dimensies.
• Theorie van Speciale Functies: De afgeleide cross-product identiteit voor sferische Bessel-functies wordt gepresenteerd als een resultaat van onafhankelijke interesse in de theorie van speciale functies, wat de structuur van de nulpunten van de Hankel-transformatie voor functies in het bereik van de SMT verheldert.

De auteurs stellen expliciet dat hoewel de UCP faalt in oneven dimensies, de vraag of de UCP geldt voor de SMT in even dimensies een open vraag blijft. Zij merken ook op dat hun werk een aparte studie aanvult (verwezen als [8]) die een bereikkarakterisering voor even dimensies biedt op basis van integraaloperatoren in plaats van differentiaaloperatoren.