The cut-off resolvent can grow arbitrarily fast in obstacle scattering

Resumen Técnico: El Resolvente Recortado Puede Crecer Arbitrariamente Rápido en la Dispersión por Obstáculos

Planteamiento del Problema
El artículo investiga el comportamiento asintótico de la norma del resolvente recortado para el problema de dispersión acústica armónica en el tiempo por un obstáculo compacto blando $\Gamma \subset \mathbb{R}^n$ ($n \ge 2$). El problema se modela mediante la ecuación de Helmholtz no homogénea $\Delta u + k^2 u = -f$ en el dominio exterior $\Omega = \mathbb{R}^n \setminus \Gamma$, sujeto a la condición de frontera de Dirichlet $u=0$ en $\partial \Gamma$ y a la condición de radiación de Sommerfeld.

La cantidad central de interés es la norma del resolvente recortado, $C_{k,R}$, definida como la norma del operador que mapea un término fuente con soporte compacto $f$ (soportado en una bola $\Omega_R$) a la solución $u$ restringida a esa misma bola. Específicamente, $C_{k,R} = \|\chi_R (-\Delta - k^2)^{-1} \chi_R\|_{L^2(\Omega) \to L^2(\Omega)}$. Los autores abordan la pregunta: ¿Qué tan rápido puede crecer $C_{k,R}$ cuando el número de onda $k \to \infty$?

La literatura previa ha establecido que para obstáculos lisos, el crecimiento es a lo sumo exponencial (específicamente $O(e^{\alpha k})$), y para geometrías de no atrapamiento o de atrapamiento específicas (en forma de estrella, hiperbólicas, parabólicas), el crecimiento está acotado por tasas algebraicas o logarítmicas (por ejemplo, $O(k^{-1})$, $O(k^{-1}\log k)$, o $O(k)$). La pregunta abierta abordada aquí es si imponer ninguna restricción de suavidad o geométrica sobre $\Gamma$ (más allá de la compacidad y el complemento conexo) permite tasas de crecimiento que excedan los límites exponenciales conocidos para dispersores lisos.

Metodología
Los autores emplean un enfoque constructivo para demostrar que el crecimiento de $C_{k,R}$ puede ser arbitrariamente rápido a lo largo de una secuencia específica de números de onda. La metodología involucra tres componentes principales:

1. Formulación Variacional y Constantes Inf-Sup: El problema de dispersión se reformula como un problema variacional en un dominio acotado $\Omega_R$. Los autores relacionan la norma del resolvente recortado con la constante inf-sup ($\beta_{k,R}$) de la forma sesquilineal asociada. Específicamente, muestran que una constante inf-sup pequeña implica una norma de resolvente grande. La relación está acotada por desigualdades que involucran $C_{k,R}$ y la norma de energía de la solución.

2. Construcción de Cuasimodos: Para establecer una cota inferior en la norma del resolvente, los autores construyen "cuasimodos" (funciones propias aproximadas) para el operador de dispersión. Diseñan un obstáculo $\Gamma$ compuesto por una unión numerable de cubos disjuntos $O_j$ con longitudes de lado específicas $\ell_j$. Las longitudes de lado se eligen de tal manera que $k_j^2$ corresponda al primer valor propio de Dirichlet del Laplaciano en cada cubo $O_j$.

   • El obstáculo $\Gamma$ se define como la frontera de la unión de estos cubos, con un pequeño "agujero" (un cubo de dimensión $(n-1)$ de lado $\ell_j \epsilon_j$) removido de una cara de cada $O_j$.
   • Las funciones propias de los cubos individuales se extienden por cero al dominio exterior. Debido a los pequeños agujeros, estas funciones satisfacen la condición de frontera $u=0$ en $\Gamma$ solo aproximadamente.
   • Los autores utilizan una desigualdad de traza multiplicativa (Lema 2.2) para acotar el error introducido por los agujeros. Al elegir cuidadosamente el tamaño del agujero $\epsilon_j$ en relación con la tasa de crecimiento $a_j$ y el número de onda $k_j$, aseguran que el residuo de la solución aproximada sea suficientemente pequeño para forzar a que la constante inf-sup sea pequeña, forzando así a que la norma del resolvente sea grande.

3. Disposición Geométrica (La Construcción "Capa por Capa"): Un desafío técnico crítico es organizar la secuencia infinita de cubos $\{O_j\}$ de tal manera que:

   • Sean mutuamente disjuntos.
   • Su unión sea acotada (asegurando que $\Gamma$ sea compacto).
   • El complemento $\Omega = \mathbb{R}^n \setminus \Gamma$ permanezca conexo.
     Los autores proporcionan una prueba constructiva (Teorema 1.9) que muestra que si las longitudes de lado $\ell_j$ decaen suficientemente rápido (satisfaciendo específicamente una condición que involucra factores logarítmicos), los cubos pueden disponerse en "capas" a lo largo del eje $x_n$. Esta disposición asegura que la unión sea acotada y que el complemento sea conexo, a pesar del número infinito de obstáculos.

Contribuciones y Resultados Clave
La contribución principal del artículo es la prueba de que, sin supuestos de suavidad sobre el obstáculo, el resolvente recortado puede crecer arbitrariamente rápido.

• Teorema 1.4 (Resultado Principal): Dada cualquier secuencia positiva, creciente y no acotada de números de onda $(k_j)$ que satisfaga una condición de crecimiento leve (aproximadamente $k_j \gtrsim (j \log j)^{1/n}$) y cualquier secuencia arbitrariamente rápidamente creciente de cotas objetivo $(a_j)$, existe un obstáculo compacto $\Gamma$ con un complemento conexo tal que la norma del resolvente recortado satisface $C_{k_j, R} \ge a_j$ para todo $j$.

  • Este resultado implica que no existe una cota superior universal sobre la tasa de crecimiento del resolvente para obstáculos compactos generales; el crecimiento puede exceder las tasas exponenciales.

• Teorema 1.5: Proporciona la construcción explícita del obstáculo $\Gamma$ (como una unión de cubos modificados) y prueba la cota inferior en la norma del resolvente para una secuencia dada de números de onda, asumiendo que los cubos pueden disponerse para satisfacer la disjunción, la acotación y la conectividad.

• Teorema 1.9: Prueba que las condiciones geométricas requeridas en el Teorema 1.5 pueden satisfacerse mediante una disposición específica de los cubos, siempre que las longitudes de lado $\ell_j$ decaigan a una tasa compatible con el crecimiento de $k_j$. Esto establece la existencia de la configuración de obstáculo requerida.

• Extensión de Desigualdades de Traza: El artículo extiende desigualdades de traza multiplicativas conocidas y propiedades de soluciones radiantes (Lema A.1) a dimensiones $n > 3$, las cuales son necesarias para los argumentos variacionales utilizados en las pruebas principales.

Significado y Afirmaciones
Los autores afirman que sus resultados alteran fundamentalmente la comprensión del crecimiento del resolvente en la teoría de dispersión cuando no se asume suavidad.

• Contraste con Casos Lisos: Mientras que se sabe que los obstáculos lisos tienen un crecimiento a lo sumo exponencial (Burq, 2002), y clases geométricas específicas tienen cotas polinómicas o logarítmicas, este artículo demuestra que la falta de suavidad permite un crecimiento "arbitrariamente rápido".
• Agudeza de los Supuestos de Suavidad: Los resultados destacan que la cota exponencial para dispersores lisos es una consecuencia de la propia suavidad. Al relajar la suavidad a meramente un conjunto compacto con un complemento conexo, las restricciones sobre el crecimiento del resolvente desaparecen.
• Implicaciones para el Análisis Numérico: Los autores notan (en la Sección 1.4) que estos resultados se han aplicado para establecer cotas inferiores en el número de condición de formulaciones de ecuaciones integrales de primer tipo para dispersores compactos generales, sugiriendo que los métodos numéricos para tales problemas pueden enfrentar un mal condicionamiento severo que no puede ser acotado por tasas exponenciales estándar.

El artículo no propone nuevos diseños experimentales o aplicaciones, sino que proporciona estrictamente un contraejemplo teórico a la idea de que el crecimiento del resolvente está universalmente acotado por tasas exponenciales, enfatizando que la geometría del obstáculo (específicamente la falta de suavidad) es el factor determinante.