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

Resumo Técnico: Unicidade para um Problema Inverso de Determinação da Ordem e do Fator Temporal da Fonte para Equações de Evolução Fracionária no Tempo

Formulação do Problema
Este artigo investiga um problema inverso associado ao problema de Cauchy para uma equação de evolução fracionária no tempo em um espaço de Hilbert $X$. O problema direto é definido pela equação:
$$\partial_t^\alpha u(t) = -Au(t) + p(t)f$$
onde $A$ é um operador autoadjunto positivo definido com um inverso compacto, $f \in X$ é um perfil de fonte conhecido, e as incógnitas são a ordem fracionária $\alpha \in (0, 1) \cup (1, 2)$ e o fator de fonte dependente do tempo $p(t) \in C[0, T]$. A condição inicial é definida implicitamente pelo requisito de que a solução $u$ pertença ao espaço de Sobolev fracionário $H^\alpha(0, T; X)$, o que impõe $u(0)=0$ (e $u'(0)=0$ se $\alpha > 1$) no sentido de traços, onde aplicável.

A condição de sobredeterminação fornecida para resolver o problema inverso é o produto escalar da solução com uma função de peso fixa $\psi \in D(A)$:
$$(u(t), \psi)_X = \Psi(t), \quad 0 < t < T.$$
O objetivo principal é determinar a unicidade da recuperação simultânea de $\alpha$ e $p(t)$ a partir desses dados.

Metodologia
Os autores empregam uma abordagem de decomposição espectral combinada com análise assintótica próximo a $t=0$. A metodologia baseia-se nos seguintes passos fundamentais:

1. Expansão de Autofunções: A solução $u(t)$ é expandida utilizando os autofunções do operador $A$. Isso transforma a equação de evolução em uma série envolvendo funções de Mittag-Leffler $E_{\alpha, \beta}(z)$.
2. Decomposição Assintótica: Uma técnica central é a decomposição da solução (ou de seu produto escalar com $\psi$) próximo a $t=0$ em um componente líder "menos suave" e um resto "mais suave". Especificamente, os autores utilizam a propriedade de que a integral fracionária $J^\alpha$ e a derivada fracionária $\partial_t^\alpha$ permitem a separação do termo dominante, que se comporta como $t^{\alpha+m}$ (onde $m$ relaciona-se com a ordem principal de $p(t)$ em $t=0$), de termos de ordem superior.
3. Classes Admissíveis: A análise restringe os fatores de fonte desconhecidos $p(t)$ e $q(t)$ a classes específicas ($P$ e $\tilde{P}$). Essas classes exigem que as funções se comportem assintoticamente como $p(t) \sim p_0 t^m$ próximo a $t=0$ com condições de suavidade específicas sobre o resto.
4. Unicidade via Assíntotas: Ao comparar as expansões assintóticas dos dados $(u(t), \psi)_X$ para duas potenciais soluções com parâmetros $(\alpha, p)$ e $(\beta, q)$, os autores derivam contradições, a menos que os parâmetros sejam idênticos. Isso envolve a análise das potências principais de $t$ na expansão.
5. Equações Integrais e Estabilidade: Para a recuperação de $p(t)$ quando $\alpha$ é conhecido, o problema é reduzido a uma equação integral de Volterra. Os autores utilizam desigualdades de Gronwall generalizadas para estabelecer estimativas de existência, unicidade e estabilidade de Lipschitz.

Principais Contribuições e Resultados

• Unicidade da Ordem Fracionária ($\alpha$): O artigo estabelece que a ordem fracionária $\alpha$ é unicamente determinada pelos dados $(u(t), \psi)_X$ para $0 < t < T$, independentemente da forma específica do operador $A$ e da função fonte $p(t)$, desde que $p$ pertença à classe $P$ e $(f, \psi)_X \neq 0$. Isso se mantém mesmo se o operador $A$ for desconhecido (ou seja, comparando dois sistemas com potenciais operadores $\tilde{A}$ diferentes).
• Unicidade do Fator de Fonte ($p(t)$):
  • Se $\alpha$ é conhecido e $A$ é o mesmo para ambos os sistemas, $p(t)$ é unicamente determinado.
  • Se $\alpha$ é desconhecido, o artigo prova que $p(t)$ é unicamente determinado simultaneamente com $\alpha$ sob a condição de que $p, q \in \tilde{P}$ (uma classe mais estreita que exige maior suavidade, $a \ge m+2$).
  • O Teorema 1.1 e o Teorema 1.2 afirmam que, se os dados coincidem para todo $t \in (0, T)$, então $\alpha = \beta$ e $p = q$.
• Papel dos Dados Iniciais: O artigo destaca que a suposição $u(0)=0$ (implicada por $u \in H^\alpha$) é crítica. Um exemplo é fornecido mostrando que, se os dados iniciais forem não nulos ($u(0) \neq 0$), a unicidade para $p(t)$ pode falhar.
• Resultados Refinados para $\alpha \in (0, 1)$: Para o caso $\alpha \in (0, 1)$, os autores provam que, se os dados $(u(t), \psi)_X$ forem suficientemente suaves (especificamente, se $\partial_t^\alpha (u, \psi)_X \in H^\theta$ com $\theta > 1/2$), então o fator de fonte $p(t)$ deve ser zero se os dados forem zero. Isso estende os resultados de unicidade para casos em que $p(t)$ não necessariamente se anula em $t=0$, mas satisfaz condições de regularidade específicas.
• Estabilidade: O Teorema 1.3 fornece uma estimativa de estabilidade de Lipschitz de dois lados para a determinação de $p(t)$ quando $\alpha$ é conhecido, relacionando a norma de $p$ com a norma da derivada fracionária dos dados observados.

Significância e Alegações
O artigo afirma resolver o problema inverso de identificar simultaneamente a ordem fracionária e o fator de fonte dependente do tempo sem conhecimento prévio do operador elíptico $A$. Diferentemente de trabalhos anteriores que frequentemente dependem de observações pontuais $u(x_0, t)$ ou autofunções específicas, este trabalho demonstra que uma função de peso arbitrária $\psi \in D(A)$ é suficiente, desde que a observação seja contínua sobre o intervalo $(0, T)$.

Os autores enfatizam que seus resultados dependem da decomposição da solução próxima a $t=0$ em um termo líder singular e um resto mais suave. Essa técnica permite extrair a ordem fracionária $\alpha$ diretamente do comportamento assintótico dos dados. O artigo também observa que, embora os resultados tenham sido estabelecidos para espaços de Hilbert abstratos, eles são plausivelmente extensíveis ao operador de Laplace em domínios limitados com condições de contorno de Dirichlet, embora isso permaneça um assunto para pesquisas futuras. O trabalho não propõe novas aplicações experimentais, mas sim fornece uma base teórica rigorosa para a unicidade desses problemas inversos no cálculo fracionário.