Uniqueness for an inverse problem of determining order and temporal factor of the source for time-fractional evolution equations

Resumen Técnico: Unicidad para un Problema Inverso de Determinación del Orden y el Factor Temporal de la Fuente para Ecuaciones de Evolución de Tiempo Fraccionario

Formulación del Problema
Este artículo investiga un problema inverso asociado al problema de Cauchy para una ecuación de evolución de tiempo fraccionario en un espacio de Hilbert $X$. El problema directo está definido por la ecuación:
$$\partial_t^\alpha u(t) = -Au(t) + p(t)f$$
donde $A$ es un operador autoadjunto positivo con una inversa compacta, $f \in X$ es un perfil de fuente conocido, y las incógnitas son el orden fraccionario $\alpha \in (0, 1) \cup (1, 2)$ y el factor de la fuente dependiente del tiempo $p(t) \in C[0, T]$. La condición inicial está definida implícitamente por el requisito de que la solución $u$ pertenezca al espacio de Sobolev fraccionario $H^\alpha(0, T; X)$, lo cual impone $u(0)=0$ (y $u'(0)=0$ si $\alpha > 1$) en el sentido de trazas donde sea aplicable.

La condición de sobredeterminación proporcionada para resolver el problema inverso es el producto escalar de la solución con una función de peso fija $\psi \in D(A)$:
$$(u(t), \psi)_X = \Psi(t), \quad 0 < t < T.$$
El objetivo principal es determinar la unicidad de la recuperación simultánea de $\alpha$ y $p(t)$ a partir de estos datos.

Metodología
Los autores emplean un enfoque de descomposición espectral combinado con un análisis asintótico cerca de $t=0$. La metodología se basa en los siguientes pasos clave:

1. Expansión de Autofunciones: La solución $u(t)$ se expande utilizando las autofunciones del operador $A$. Esto transforma la ecuación de evolución en una serie que involucra funciones de Mittag-Leffler $E_{\alpha, \beta}(z)$.
2. Descomposición Asintótica: Una técnica central es la descomposición de la solución (o su producto escalar con $\psi$) cerca de $t=0$ en un componente principal "menos suave" y un resto "más suave". Específicamente, los autores utilizan la propiedad de que la integral fraccionaria $J^\alpha$ y la derivada fraccionaria $\partial_t^\alpha$ permiten la separación del término dominante, el cual se comporta como $t^{\alpha+m}$ (donde $m$ se relaciona con el orden principal de $p(t)$ en $t=0$), de los términos de orden superior.
3. Clases Admisibles: El análisis restringe los factores de la fuente desconocidos $p(t)$ y $q(t)$ a clases específicas admisibles ($P$ y $\tilde{P}$). Estas clases requieren que las funciones se comporten asintóticamente como $p(t) \sim p_0 t^m$ cerca de $t=0$ con condiciones de suavidad específicas sobre el resto.
4. Unicidad vía Asintótica: Al comparar las expansiones asintóticas de los datos $(u(t), \psi)_X$ para dos posibles soluciones con parámetros $(\alpha, p)$ y $(\beta, q)$, los autores derivan contradicciones a menos que los parámetros sean idénticos. Esto implica analizar las potencias principales de $t$ en la expansión.
5. Ecuaciones Integrales y Estabilidad: Para la recuperación de $p(t)$ cuando $\alpha$ es conocido, el problema se reduce a una ecuación integral de Volterra. Los autores utilizan desigualdades de Gronwall generalizadas para establecer existencia, unicidad y estimaciones de estabilidad de Lipschitz.

Contribuciones Clave y Resultados

• Unicidad del Orden Fraccionario ($\alpha$): El artículo establece que el orden fraccionario $\alpha$ está determinado de forma única por los datos $(u(t), \psi)_X$ para $0 < t < T$, independientemente de la forma específica del operador $A$ y la función fuente $p(t)$, siempre que $p$ pertenezca a la clase $P$ y $(f, \psi)_X \neq 0$. Esto se mantiene incluso si el operador $A$ es desconocido (es decir, comparando dos sistemas con potencialmente diferentes operadores $\tilde{A}$).
• Unicidad del Factor de la Fuente ($p(t)$):
  • Si $\alpha$ es conocido y $A$ es el mismo para ambos sistemas, $p(t)$ está determinado de forma única.
  • Si $\alpha$ es desconocido, el artículo demuestra que $p(t)$ está determinado de forma única simultáneamente con $\alpha$ bajo la condición de que $p, q \in \tilde{P}$ (una clase más estrecha que requiere mayor suavidad, $a \ge m+2$).
  • El Teorema 1.1 y el Teorema 1.2 afirman que si los datos coinciden para todo $t \in (0, T)$, entonces $\alpha = \beta$ y $p = q$.
• Papel de los Datos Iniciales: El artículo destaca que el supuesto $u(0)=0$ (implicado por $u \in H^\alpha$) es crítico. Se proporciona un ejemplo que muestra que si los datos iniciales son distintos de cero ($u(0) \neq 0$), la unicidad para $p(t)$ puede fallar.
• Resultados Refinados para $\alpha \in (0, 1)$: Para el caso $\alpha \in (0, 1)$, los autores demuestran que si los datos $(u(t), \psi)_X$ son suficientemente suaves (específicamente, si $\partial_t^\alpha (u, \psi)_X \in H^\theta$ con $\theta > 1/2$), entonces el factor de la fuente $p(t)$ debe ser cero si los datos son cero. Esto extiende los resultados de unicidad a casos donde $p(t)$ no necesariamente se anula en $t=0$ pero satisface condiciones de regularidad específicas.
• Estabilidad: El Teorema 1.3 proporciona una estimación de estabilidad de Lipschitz de dos lados para la determinación de $p(t)$ cuando $\alpha$ es conocido, relacionando la norma de $p$ con la norma de la derivada fraccionaria de los datos observados.

Significancia y Reivindicaciones
El artículo afirma resolver el problema inverso de identificar simultáneamente el orden fraccionario y el factor de la fuente dependiente del tiempo sin conocimiento previo del operador elíptico $A$. A diferencia de trabajos previos que a menudo dependen de observaciones puntuales $u(x_0, t)$ o de autofunciones específicas, este trabajo demuestra que una función de peso arbitraria $\psi \in D(A)$ es suficiente, siempre que la observación sea continua sobre el intervalo $(0, T)$.

Los autores enfatizan que sus resultados dependen de la descomposición de la solución cerca de $t=0$ en un término principal singular y un resto más suave. Esta técnica permite extraer el orden fraccionario $\alpha$ directamente del comportamiento asintótico de los datos. El artículo también señala que, aunque los resultados se establecen para espacios de Hilbert abstractos, es plausible extenderlos al operador de Laplace en dominios acotados con condiciones de contorno de Dirichlet, aunque esto sigue siendo un tema para investigaciones futuras. El trabajo no propone nuevas aplicaciones experimentales, sino que proporciona una base teórica rigurosa para la unicidad de estos problemas inversos en el cálculo fraccionario.