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

Résumé Technique : Une caractérisation simple de l'image pour la transformée des moyennes sphériques en dimensions impaires et ses applications

Énoncé du Problème
L'article traite du problème de la caractérisation de l'image de la transformée des moyennes sphériques (TSM), également connue sous le nom de transformée de Radon sphérique, pour des fonctions supportées dans la boule unité $B \subset \mathbb{R}^n$ où $n$ est un entier impair ($n \ge 3$). Plus précisément, la transformée associe à une fonction $f$ ses moyennes sur des sphères centrées sur la frontière de la boule unité ($S^{n-1}$) avec des rayons variables $t \in (0, \infty)$. Bien que l'injectivité de cette transformée et diverses formules d'inversion soient bien établies, les caractérisations de l'image existantes (les conditions qu'une fonction doit satisfaire pour appartenir à l'image de la transformée) sont souvent d'une complexité prohibitive pour les preuves constructives. Les auteurs visent à dériver un ensemble de conditions de l'image plus simple et plus traitable afin de faciliter la construction de fonctions possédant des propriétés de support spécifiques et pour étudier la propriété de continuation unique (PCU) pour la TSM.

Méthodologie
Les auteurs emploient une combinaison d'analyse harmonique, de théorie des fonctions spéciales et de techniques d'opérateurs différentiels :

1. Décomposition en harmoniques sphériques : Le problème est décomposé en développant à la fois la fonction source $f$ et les données de la transformée $g = Rf$ en harmoniques sphériques. Cela réduit le problème général à l'analyse de fonctions radiales pour chaque degré harmonique $m$.
2. Opérateurs différentiels et symétrie : Pour les fonctions radiales, les auteurs dérivent une condition nécessaire impliquant un opérateur différentiel linéaire $L_k$ d'ordre $k = (n-3)/2$. Ils établissent que la transformée d'une fonction radiale satisfait une relation de symétrie spécifique entre les valeurs en $1-t$ et $1+t$ (ou équivalemment $t$ et $2-t$) après l'application d'un facteur de pondération $t^{n-2}$.
3. Analyse combinatoire : La preuve de la condition générale de l'image repose sur des identités combinatoires complexes. Les auteurs utilisent la technique d'Egorychev (intégrales de contour pour les coefficients binomiaux) et une version spécialisée de la formule de Faà di Bruno pour l'opérateur $D = \frac{1}{t}\frac{d}{dt}$ afin de gérer les dérivées d'ordre supérieur de fonctions composées issues des noyaux intégraux.
4. Fonctions spéciales : Un composant technique central est la dérivation d'une identité de « produit croisé » pour les fonctions de Bessel sphériques de première espèce ($j_\alpha$) et de seconde espèce ($y_\alpha$). Cette identité relie les transformées de Hankel de fonctions satisfaisant les conditions de symétrie dérivées.
5. Équations différentielles ordinaires (EDO) : Pour prouver l'existence de contre-exemples à la PCU, les auteurs construisent des fonctions lisses non triviales à support compact qui satisfont les conditions de l'image dérivées. Ceci est réalisé en résolvant des EDO linéaires à coefficients variables et en choisissant soigneusement les conditions aux limites pour garantir que la fonction et ses dérivées s'annulent en des points spécifiques.

Résultats Clés

1. Caractérisation de l'image pour les fonctions radiales (Théorème 1.1) :
   Une fonction $g \in C^\infty_c((0, 2))$ est la TSM d'une fonction radiale $f \in C^\infty_c(B)$ si et seulement si $h(t) = t^{n-2}g(t)$ satisfait la relation de symétrie :
   $$[L_k h](1-t) = [L_k h](1+t) \quad \text{pour tout } t \in [0, 1],$$
   où $L_k$ est un opérateur différentiel linéaire spécifique d'ordre $k = (n-3)/2$. Cette condition est nettement plus simple que les caractérisations précédentes.

2. Caractérisation de l'image pour les fonctions générales (Théorème 1.4) :
   Pour une fonction générale $g \in C^\infty_c(S^{n-1} \times (0, 2))$, soient $g_{m,l}(t)$ ses coefficients d'harmoniques sphériques. Alors $g = Rf$ si et seulement si, pour chaque $(m, l)$, la fonction $h_{m,l}(t) = t^{n-2}g_{m,l}(t)$ peut être écrite sous la forme $h_{m,l} = D^m \phi_{m,l}$ pour un certain $\phi_{m,l} \in C^\infty_c((0, 2))$, où $\phi_{m,l}$ satisfait la relation de symétrie :
   $$[L_{m+k} \phi_{m,l}](1-t) = [L_{m+k} \phi_{m,l}](1+t).$$

3. Identité de produit croisé pour les fonctions de Bessel sphériques (Théorème 1.8) :
   La preuve produit une identité remarquable pour toute fonction $h \in C^\infty_c((0, 2))$ satisfaisant la condition de symétrie de l'image :
   $$\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).$$
   Les auteurs notent que cette identité fournit une famille infinie de relations de produit croisé pour les fonctions de Bessel sphériques non trouvées précédemment dans la littérature.

4. Contre-exemples à la continuation unique (Théorème 1.6 et Corollaire 1.7) :
   En utilisant la caractérisation de l'image, les auteurs construisent des fonctions non triviales explicites $f \in C^\infty_c(B)$ qui s'annulent sur un ensemble ouvert $U \subset B$ (spécifiquement une boule autour de l'origine ou n'importe quel sous-ensemble ouvert) tandis que leur TSM s'annule sur toutes les sphères intersectant $U$. Cela prouve que la propriété de continuation unique (PCU) ne tient pas pour la TSM en dimensions impaires.

Signification et Revendications
L'article affirme que sa contribution primaire est la dérivation d'une caractérisation de l'image simple et constructive pour la TSM en dimensions impaires. Contrairement aux conditions complexes précédentes, ces nouvelles relations de symétrie impliquant des opérateurs différentiels permettent la construction explicite de fonctions dans l'image avec des contraintes de support spécifiques.

Les auteurs soulignent deux applications principales de ce résultat :

• Preuves constructives : La simplicité des conditions permet la construction de contre-exemples à la PCU, une propriété qui est vraie pour beaucoup d'autres transformées intégrales (comme la transformée X en dimensions impaires) mais qui échoue ici en raison de la nature locale de l'inversion de la TSM en dimensions impaires.
• Théorie des fonctions spéciales : L'identité de produit croisé dérivée pour les fonctions de Bessel sphériques est présentée comme un résultat d'intérêt indépendant dans la théorie des fonctions spéciales, éclairant la structure des zéros de la transformée de Hankel pour les fonctions dans l'image de la TSM.

Les auteurs précisent que, bien que la PCU échoue en dimensions impaires, la question de savoir si elle est vraie pour la TSM en dimensions paires reste ouverte. Ils notent également que leur travail complète une étude distincte (référencée en [8]) qui fournit une caractérisation de l'image pour les dimensions paires basée sur des opérateurs intégraux plutôt que sur des opérateurs différentiels.