Uniqueness and non-uniqueness pairs for the fractional Laplacian

Aquí presento un resumen técnico detallado del artículo "Uniqueness and Non–Uniqueness Pairs for the Fractional Laplacian" de Ricardo Motta, estructurado según los puntos solicitados.

1. Planteamiento del Problema

El artículo aborda una cuestión fundamental en el análisis armónico y las ecuaciones en derivadas parciales (EDP): la uniqueness pair (par de unicidad) y la non-uniqueness pair (par de no unicidad) para el operador Laplaciano fraccionario $(-\Delta)^s$ con $0 < s < 1$.

El problema central (denominado "Pregunta A" en el texto) se formula de la siguiente manera:
Dado un espacio de funciones $H$ y un operador $T: H \to S$, ¿bajo qué condiciones sobre dos subconjuntos discretos $\Lambda, M \subset \mathbb{R}^d$ se garantiza que una función $f \in H$ que satisface:

1. $f(x) = 0$ para todo $x \in \Lambda$ (cero en el dominio),
2. $T(f)(x) = 0$ para todo $x \in M$ (cero de la imagen del operador),
   debe ser idénticamente nula ($f \equiv 0$)?

• Si la condición implica $f \equiv 0$, el par $(\Lambda, M)$ se denomina Par de Unicidad (UP).
• Si existe una función no trivial que satisface ambas condiciones, el par es un Par de No Unicidad (NUP).

El trabajo se centra específicamente en el caso donde $T = (-\Delta)^s$ y los conjuntos $\Lambda$ y $M$ son discretos. Esto contrasta con resultados clásicos para conjuntos abiertos (como el Teorema de continuación única de Riesz o resultados de Ghosh-Salo-Uhlmann) y se inspira en fenómenos recientes de unicidad en el análisis de Fourier (ej. pares de Radchenko-Viazovska).

2. Metodología

El autor emplea una combinación de herramientas de análisis complejo, teoría de espacios de funciones y análisis armónico:

• Densidad de Beurling y Cambios de Variable: Se introduce una noción de densidad asintótica adaptada a transformaciones no lineales. Para un conjunto discreto $\Gamma$ y una función inyectiva $F$, se define la densidad inferior $D^-_F(\Gamma)$ y superior $D^+_F(\Gamma)$. Las funciones clave son $G_\alpha(y) = \text{sgn}(y)|y|^{1/\alpha}$ y $\Phi_{\alpha,c}(x) = \frac{x}{|x|}e^{(|x|/c)^{1/\alpha}}$.
• Decaimiento y Regularidad: Se demuestra que si un conjunto de ceros tiene una densidad inferior positiva bajo ciertas transformaciones, esto fuerza un decaimiento exponencial o polinomial en la función y en su Laplaciano fraccionario.
• Análisis Complejo y Espacios de de Branges: Para los resultados de no unicidad, se utiliza la teoría de espacios de de Branges $H(E)$ y espacios modelo $K^2_\Theta$. Se construyen funciones mediante productos de Blaschke con ceros en el semiplano superior que, al transferirse al espacio modelo, permiten controlar las derivadas y los ceros en la frontera real.
• Análisis de Fourier y Estructura de Retículos: Para la no unicidad en dimensiones superiores, se explota la estructura de los retículos $\mathbb{Z}^d$ y la ortogonalidad de exponenciales. Se construyen funciones cuyas transformadas de Fourier tienen soporte compacto y satisfacen sistemas de ecuaciones lineales que anulan tanto la función como su Laplaciano en el retículo transformado.
• Extensión de Caffarelli-Silvestre: Se utiliza la interpretación del Laplaciano fraccionario como un operador Dirichlet-to-Neumann en un problema de extensión degenerada en el semiespacio superior $\mathbb{R}^{d+1}_+$, lo que conecta los resultados con problemas de continuación única en la frontera.

3. Contribuciones Clave y Resultados Principales

El artículo establece condiciones suficientes para que pares de conjuntos discretos sean de unicidad o no unicidad.

A. Resultados de Unicidad (Teorema 1.1)

Para el espacio de Schwartz $S(\mathbb{R}^d)$, se identifican condiciones de densidad que garantizan la unicidad:

1. Dimensiones $d \ge 1$: Si $\Lambda$ y $M$ tienen densidad inferior positiva bajo la transformación $\Phi_{1,c}$ (crecimiento logarítmico), entonces $(\Lambda, M)$ es un par de unicidad.
   • Ejemplo: Si $f$ se anula en $\{c_1 \log|k| \frac{k}{|k|}\}$ y $(-\Delta)^s f$ se anula en un conjunto similar, $f \equiv 0$.
2. Dimensión $d=1$: Se permiten combinaciones de diferentes tasas de crecimiento. Por ejemplo, si $\Lambda$ crece logarítmicamente ($\Phi_{1,c}$) y $M$ crece como una potencia ($G_\alpha$ con $\alpha < 1$), se garantiza la unicidad.

Estos resultados generalizan hallazgos previos sobre el Laplaciano entero y el Transformada de Fourier, mostrando que ciertas configuraciones de muestreo "esparcido" pero suficientemente denso en el infinito imponen rigidez.

B. Resultados de No Unicidad (Teorema 1.2 y 1.4)

El autor demuestra que, a diferencia del caso de conjuntos abiertos o del Transformada de Fourier en ciertos rangos, existen pares de no unicidad incluso en espacios de alta regularidad (espacios de Gelfand-Shilov $S^{(p,q)}_s$).

1. Dimensión $d=1$: Si $\Lambda$ y $M$ tienen densidad superior finita bajo la transformación $G_\alpha$ (crecimiento polinomial tipo $n^\alpha$), entonces existe una función no trivial $f$ tal que $f|_\Lambda = 0$ y $(-\Delta)^{1/2}f|_M = 0$.
   • Contraste: Esto difiere del Transformada de Fourier, donde rangos similares de crecimiento a menudo garantizan unicidad.
2. Dimensiones $d \ge 1$: Para cualquier $s > 0$ y matriz $A \in GL_d(\mathbb{R})$, el par $(A\mathbb{Z}^d, A\mathbb{Z}^d)$ es un par de no unicidad. Es decir, existen funciones no triviales que se anulan en un retículo transformado junto con su Laplaciano fraccionario.

C. Aplicación a la Transformada de Hilbert

Como corolario, se establecen resultados análogos para la Transformada de Hilbert en $\mathbb{R}$, demostrando que los mismos criterios de densidad aplican para determinar unicidad o no unicidad.

D. Interpretación Geométrica (Teorema 5.1)

Los resultados se reinterpretan en el contexto del problema de valor de frontera degenerado asociado a la extensión de Caffarelli-Silvestre. La unicidad o no unicidad de los pares discretos en la frontera $\mathbb{R}^d$ determina si la anulación simultánea de la traza (Dirichlet) y la derivada normal ponderada (Neumann) fuerza a la solución en el semiespacio a ser trivial.

4. Significado e Impacto

• Rigidez vs. Flexibilidad: El trabajo revela una dicotomía fascinante: mientras que conjuntos que crecen muy lentamente (logarítmicamente) imponen rigidez (unicidad), conjuntos que crecen más rápido (polinomialmente) permiten la existencia de soluciones no triviales (no unicidad), incluso en espacios de funciones muy regulares.
• Diferencia con el Transformada de Fourier: Se destaca que el Laplaciano fraccionario exhibe una forma más fuerte de "no localidad" que el Transformada de Fourier en el contexto de conjuntos discretos. Mientras que para la Fourier ciertos conjuntos de crecimiento polinomial pueden ser de unicidad, para el Laplaciano fraccionario no lo son.
• Generalización: Las técnicas desarrolladas se extienden a una clase más amplia de operadores multiplicadores (Teoremas 6.1 y 6.2), incluyendo Laplacianos desplazados y propagadores de ecuaciones de onda y Schrödinger.
• Conexión con Problemas Abiertos: El artículo conecta con problemas de empaquetamiento de esferas y estructuras aritméticas (como en el trabajo de Radchenko-Viazovska), sugiriendo que la naturaleza de los pares de unicidad tiene profundas raíces tanto analíticas como algebraicas.

En resumen, el artículo proporciona un marco completo para entender cuándo la información discreta sobre una función y su Laplaciano fraccionario es suficiente para determinar la función completamente, estableciendo límites precisos basados en la densidad asintótica de los conjuntos de muestreo.