Uniqueness of simultaneous reconstruction of general space- and time-dependent sources and initial states in fractional diffusion equations and systems from single boundary measurements

1. Formulação do Problema

O artigo aborda uma classe de problemas inversos associados a Equações de Difusão Fracionária (EDFs). Especificamente, o objetivo é reconstruir simultaneamente:

1. Uma função fonte geral dependente do espaço e do tempo $f(t, x)$ (e $\chi(t, x)$ em sistemas acoplados).
2. O estado inicial do sistema ($\phi(x)$ e $\psi(x)$).

Restrições e Condições Chave:

• Tipo de Equação: As equações governantes envolvem a derivada temporal fracionária de Riemann-Liouville (ou Caputo) de ordem $\alpha$ ($0 < \alpha < 1$).
• Comportamento da Fonte: Assume-se que as funções fonte se anulam após um certo tempo $t_0$ (ou seja, $f(t, x) = 0$ para $t > t_0$). Isso cria uma "lacuna" entre o período de atividade da fonte e o período de observação.
• Dados de Observação: A reconstrução baseia-se em medições de fronteira únicas. Especificamente, a derivada normal da variável de estado, $\frac{\partial u}{\partial \nu}$, é medida em uma porção da fronteira $\Gamma \subset \partial \Omega$ ao longo de um intervalo de tempo $(t_0, t_1)$.
• Hipótese Crítica: A ordem da derivada fracionária, $\alpha$, deve ser irracional.

O artigo considera dois cenários:

• IP1 (Equação Única): Reconstrução de $f(t,x)$ e $\phi(x)$ para uma única EDF onde o termo de acoplamento é zero ($a=0$).
• IP2 (Sistema Acoplado): Reconstrução de duas fontes ($f, \chi$) e dois estados iniciais ($\phi, \psi$) para um sistema acoplado de EDFs, utilizando apenas a medição de fronteira da primeira componente $u$.

2. Metodologia

O autor emprega uma abordagem analítica sofisticada que combina teoria espectral, análise complexa e propriedades do cálculo fracionário. A metodologia central procede da seguinte forma:

A. Decomposição Espectral e Transformada de Laplace

• O problema é analisado utilizando as autofunções do operador Laplaciano no domínio $\Omega$. A solução é expandida em uma série de Fourier em relação a essas autofunções.
• A transformada de Laplace é aplicada às equações no domínio do tempo. Isso converte as equações diferenciais fracionárias em equações algébricas no domínio da frequência complexa (domínio $s$).
• A solução no domínio $s$ é expressa como uma série envolvendo as transformadas de Laplace das fontes e estados iniciais desconhecidos, divididas por um denominador característico dependente dos autovalores e da ordem fracionária.

B. Continuação Analítica e Cortes de Ramo

• O artigo explora o fato de que, para $t > t_0$, a fonte é nula. Isso implica que as transformadas de Laplace das fontes são funções inteiras (analíticas em todo o plano complexo).
• Os dados de observação (fluxo de fronteira) são mostrados como analíticos em um setor específico do plano complexo.
• Ao tomar o limite quando o argumento da variável complexa se aproxima do eixo real negativo vindo de cima e de baixo ($\theta \to \pm \pi$), o autor calcula o salto através do corte de ramo da potência fracionária $s^\alpha$.

C. O Argumento da "Ordem Irracional"

• Esta é a parte mais inovadora da metodologia. O autor define uma série $Q(n, z)$ envolvendo o salto através do corte de ramo e um fator de rotação $e^{i 2\pi n / \alpha}$.
• Lemmas 5 e 6: A prova baseia-se no fato de que, se $\alpha$ for irracional, a sequência $e^{i 2\pi n / \alpha}$ é densa no círculo unitário.
• Ao utilizar a densidade dessa sequência, o autor introduz uma variável contínua adicional (um ângulo $y$) na série discreta. Isso permite a transformação do problema de uma soma discreta sobre autovalores em uma equação funcional contínua.
• Ao derivar em relação a essa nova variável e avaliar em pontos específicos, o autor isola os coeficientes correspondentes a autovalores específicos.

D. Unicidade via Independência Linear

• O método isola os coeficientes de Fourier das incógnitas ($f_{kl}, \phi_{kl}$, etc.) para cada modo de autovalor $k$.
• Utilizando a independência linear das derivadas normais das autofunções na fronteira $\Gamma$ (um resultado conhecido da teoria elíptica), o autor prova que, se a medição de fronteira for zero, então todos os coeficientes de Fourier das incógnitas devem ser zero.

3. Contribuições Principais

1. Reconstrução Simultânea: Ao contrário de muitas obras anteriores que assumem que o estado inicial é conhecido ou que a fonte possui uma forma separável ($g(t)f(x)$), este artigo prova a unicidade para fontes gerais dependentes do espaço-tempo e estados iniciais desconhecidos simultaneamente.
2. Sistemas Acoplados: Os resultados são estendidos a sistemas acoplados de equações de difusão fracionária, onde apenas a medição de fronteira de uma componente está disponível para reconstruir ambas as fontes e ambos os estados iniciais.
3. Requisitos Mínimos de Dados: A unicidade é provada mesmo se o intervalo de medição $(t_0, t_1)$ e a porção da fronteira $\Gamma$ forem arbitrariamente pequenos (desde que tenham medida não nula).
4. O Papel da Irracionalidade: O artigo estabelece que a irracionalidade da ordem fracionária $\alpha$ é uma condição suficiente para a unicidade neste cenário geral. Isso destaca uma diferença fundamental entre as equações de difusão fracionária e clássicas (de ordem inteira), onde tal unicidade para fontes gerais é frequentemente um problema em aberto ou requer dados mais robustos.
5. Primeiro do Seu Gênero: O autor afirma que este é o primeiro artigo a provar a unicidade para a determinação de uma função geral em um domínio de dimensão superior (espaço-tempo) a partir de dados em um domínio de dimensão inferior (fronteira-tempo) para esta classe específica de problemas inversos fracionários.

4. Resultados Principais

• Teorema 1 (Problema Direto): Estabelece a existência, unicidade e regularidade da solução para o problema direto (EDFs acopladas) em espaços funcionais apropriados ($W^{\alpha, p}$). Também prova a extensão analítica da solução para um setor do plano complexo para $t > t_0$.
• Teorema 2 (Unicidade para IP1): Se $\alpha$ for irracional e o fluxo de fronteira $\frac{\partial u}{\partial \nu}$ for zero em $\Gamma \times (t_0, t_1)$, então a fonte $f \equiv 0$ e o estado inicial $\phi \equiv 0$.
• Teorema 3 (Unicidade para IP2): Para o sistema acoplado, se $\alpha$ for irracional e o fluxo de fronteira da primeira componente for zero, então ambas as fontes ($f, \chi$) e ambos os estados iniciais ($\phi, \psi$) são identicamente nulos, desde que os autovalores satisfaçam uma condição de não ressonância (Condição 49).

5. Significado

• Avanço Teórico: O artigo preenche uma lacuna na teoria de problemas inversos para EDPs fracionárias. Ele vai além de fontes simples separáveis para funções gerais, que são mais realistas para modelagem física.
• Interpretação Física: A exigência de uma ordem irracional $\alpha$ sugere que, em sistemas físicos modelados por EDFs (frequentemente usados para difusão anômala), o efeito de "memória" (dependência histórica) combinado com a irracionalidade da ordem fornece informações suficientes para identificar unicamente tanto o estado inicial quanto a função de forçamento a partir de dados limitados de fronteira.
• Inovação Metodológica: A técnica de utilizar a densidade de $e^{i 2\pi n / \alpha}$ para introduzir uma variável contínua em uma série espectral é uma nova ferramenta poderosa para resolver problemas inversos onde métodos padrão de estimativa de Carleman podem ser difíceis de aplicar ou onde os dados são escassos.
• Implicações Práticas: Os resultados sugerem que, em configurações experimentais envolvendo difusão anômala (por exemplo, em meios porosos, tecidos biológicos ou fluidos complexos), não é necessariamente necessário ter medições de campo completo ou conhecimento do estado inicial para identificar a dinâmica da fonte, desde que a ordem fracionária seja conhecida e irracional.