A generalized Helmholtz-type decomposition of symmetric tensor fields and applications to ray transforms

Resumen Técnico: Descomposiciones de tipo Helmholtz generalizadas de campos tensoriales simétricos y aplicaciones a las transformadas de rayos

Planteamiento del problema
El artículo aborda el problema de la descomposición de campos tensoriales simétricos de orden $m$ en $\mathbb{R}^2$ en partes solenoidales y potenciales, una generalización de la clásica descomposición de Helmholtz para campos vectoriales. Si bien Sharafutdinov estableció tal descomposición para campos tensoriales simétricos de orden $m$ en $\mathbb{R}^n$, y un trabajo reciente de los autores en [16] introdujo descomposiciones $k$-solenoidales y $k$-potenciales, estos resultados estaban restringidos por restricciones de dimensión y orden que los hacían inaplicables para el caso específico de $n=2$ y $m=2$.

El objetivo principal es extender estos resultados de descomposición a dos dimensiones bajo un supuesto de media cero y utilizar estas descomposiciones para resolver cuestiones de inyectividad de las transformadas de rayos de momento y de los transformados de rayos elásticos actuando sobre campos tensoriales simétricos de orden 2 en $\mathbb{R}^2$.

Metodología
Los autores emplean una combinación de análisis de Fourier, teoría de distribuciones y técnicas de geometría integral:

1. Descomposición en el dominio de Fourier: La metodología central consiste en analizar los campos tensoriales en el dominio de Fourier. Los autores utilizan descomposiciones puntuales de las transformadas de Fourier de los campos tensoriales. Para tensores simétricos de orden 2, adaptan el Lema 2 de [16] al entorno 2D, expresando la transformada de Fourier $\hat{f}$ como una suma de una parte $\hat{g}$ solenoidal y una parte potencial derivada de un campo escalar.
2. Condición de media cero: Un paso metodológico crítico es la imposición de una condición de media cero ($\int_{\mathbb{R}^2} f(x) dx = 0$). Los autores demuestran que esta condición no es meramente suficiente, sino necesaria para la existencia de la descomposición en $\mathbb{R}^2$. Demuestran que sin esta condición, la parte potencial contendría términos logarítmicos no decaentes, violando las propiedades de decaimiento requeridas de la descomposición.
3. Análisis de tensores elásticos: Para los campos tensoriales elásticos (elementos de $E_2(n)$), los autores definen operadores diferenciales específicos $H$ y $K$ (y sus adjuntos) para caracterizar las partes solenoidales y potenciales. Extienden los resultados de la descomposición de [12] (válidos para $n \ge 3$) a $n=2$ mediante la construcción explícita de los componentes de la descomposición utilizando multiplicadores de Fourier y la verificación de sus propiedades de integrabilidad y decaimiento.
4. Pruebas de inyectividad: Las descomposiciones se aplican a transformadas integrales. Los autores muestran que si las transformadas de rayos se anulan, el campo tensorial debe satisfacer la condición de media cero, permitiendo la aplicación del teorema de descomposición. Al analizar el núcleo de las transformadas sobre la parte solenoidal, demuestran que el componente solenoidal debe anularse, dejando solo la parte potencial.

Contribuciones clave y resultados

• Descomposición generalizada en $\mathbb{R}^2$: El artículo demuestra que cualquier campo tensorial simétrico 2 $f \in \mathcal{S}(\mathbb{R}^2; S_2)$ que satisfaga la condición de media cero admite una descomposición única $f = g + d^2v$, donde $g$ es un campo 2-solenoidal ($\delta^2 g = 0$) y $v$ es un potencial escalar. Los autores demuestran además que la condición de media cero es necesaria; si tal descomposición existe con el decaimiento requerido, el campo debe tener media cero.
• Descomposición de tensores elásticos: Los autores extienden la descomposición de solenoidal-potencial para campos tensoriales elásticos de orden 2 a dos dimensiones. Muestran que un campo tensorial elástico $f$ con media cero puede descomponerse de forma única como $f = Hv + Ku$, donde $g$ es un campo solenoidal (anulado por $H^*$ y $K^*$) y $Hv + Ku$ representa la parte potencial.
• Inyectividad de las transformadas de rayos de momento: El artículo establece que, para un campo tensorial simétrico de orden 2 en $\mathbb{R}^2$, el anulación de los dos primeros momentos integrales ($I_0 f = 0$ e $I_1 f = 0$) implica que el campo tensorial es el hessiano de una función escalar ($f = d^2v$). Este resultado elimina las restricciones dimensionales presentes en el trabajo anterior [16].
• Inyectividad de las transformadas de rayos elásticos: Los autores demuestran que la transformada de rayos elástica $X_2$ sobre campos tensoriales simétricos en $\mathbb{R}^2$ es inyectiva módulo los obstáculos naturales (la parte potencial $Hv + Ku$). Esto extiende el resultado de [12] de $n \ge 3$ al caso de $n=2$.
• Conexión entre transformadas: Una contribución teórica significativa es la demostración de que el núcleo de la pareja de transformadas de rayos de momento $\{I_0, I_1\}$ es idéntico al núcleo de la transformada de rayos elástica $X_1$ (que actúa sobre tensores elásticos de orden 1, que son tensores simétricos de orden 2). Esta equivalencia permite la caracterización de los núcleos de estas distintas transformadas integrales utilizando las mismas propiedades estructurales.

Significación y alegaciones
El artículo afirma resolver una brecha en la literatura respecto a la aplicabilidad de las descomposiciones de tipo Helmholtz generalizadas en dos dimensiones. Al establecer la descomposición bajo un supuesto de media cero y demostrar la necesidad de esta condición, los autores proporcionan una base rigurosa para el estudio de problemas inversos que involucran campos tensoriales en $\mathbb{R}^2$.

La significación radica en la aplicación de estas descomposiciones para probar resultados de inyectividad para las transformadas de rayos de momento y elástica sin las restricciones dimensionales ($n \ge 3$) que anteriormente limitaban tales análisis. Los autores señalan que estos resultados de inyectividad son cruciales para comprender los problemas inversos de tipo Calderón para operadores biarmónicos y poliarmónicos. Además, la identificación de la equivalencia de núcleos entre las transformadas de rayos de momento y elástica proporciona un marco unificado para analizar la solvabilidad de estos problemas de geometría integral en 2D.

El trabajo no propone nuevas aplicaciones experimentales, sino que fortalece los fundamentos teóricos de la geometría integral, específicamente en lo que respecta a la caracterización de núcleos y la inyectividad solenoidal de las transformadas de rayos en entornos de baja dimensión.