Lipschitz stability for an inverse source problem of the wave equation with kinetic boundary conditions

Resumo Técnico: Estabilidade Lipschitz para um Problema de Fonte Inversa da Equação da Onda com Condições de Contorno Cinéticas

Enunciado do Problema
Este artigo aborda um problema de fonte inversa para a equação da onda definida em um domínio limitado $\Omega \subset \mathbb{R}^n$ com uma fronteira suave $\Gamma = \Gamma_0 \cup \Gamma_1$. O sistema incorpora condições de contorno mistas: uma condição de Dirichlet em $\Gamma_0$ e uma condição de contorno dinâmica (cinética) em $\Gamma_1$. A condição dinâmica contabiliza o momento da onda na fronteira e a interação volume-superfície, modelada pela equação $\partial^2_t y_\Gamma - \delta \Delta_\Gamma y_\Gamma + d\partial_\nu y + q_\Gamma(x)y_\Gamma = g(x,t)$, onde $y_\Gamma$ é o traço da solução na fronteira, $\Delta_\Gamma$ é o operador de Laplace-Beltrami e $\partial_\nu$ denota a derivada normal.

O objetivo principal é estabelecer a estabilidade Lipschitz global para a determinação simultânea de dois termos de forçamento desconhecidos, $f(x,t)$ no volume e $g(x,t)$ na fronteira $\Gamma_1$, a partir de uma única medição parcial do fluxo de fronteira $\partial_\nu y$ em um subconjunto $\gamma \subset \Gamma_0$. Assume-se que os termos de fonte pertençam a um conjunto admissível $S(C_0)$ onde suas derivadas temporais são limitadas por seus valores iniciais.

Metodologia
A metodologia central baseia-se na derivação de uma estimativa de Carleman global aguda para o sistema da onda com condições de contorno dinâmicas. Os autores empregam uma abordagem refinada envolvendo as seguintes etapas:

1. Correção de Funções de Peso Anteriores: Os autores identificam uma falha crítica na função de peso $\zeta(x,t) = |x-x_0|^2 - \beta t^2 + C_0$ utilizada no trabalho anterior de Gal e Tebou [16]. A identidade $\nabla^2_\Gamma \zeta = 2I$ alegada em [16] é mostrada como incorreta para domínios padrão (ex: uma esfera). Para resolver isso, os autores introduzem uma nova função de peso $\psi(x,t) = \psi_0(x) - \beta t^2 + C_1$, onde $\psi_0(x) = \mu^2(x)$ e $\mu$ é a função de Minkowski (função de gauge) associada a um conjunto convexo $\Omega_1$ contido em $\Omega$. Esta construção garante que $\nabla_\Gamma \psi = 0$ e $\nabla^2_\Gamma \psi = 0$ em $\Gamma_1$, satisfazendo as condições de pseudo-convexidade necessárias sem depender da identidade errônea.

2. Derivação da Estimativa de Carleman: Utilizando a nova função de peso, os autores derivam uma estimativa de Carleman (Teorema 3.1) para o sistema. Um feito técnico fundamental é a capacidade de manter o termo envolvendo o gradiente tangencial $|\nabla_\Gamma y_\Gamma|^2$ no lado esquerdo da desigualdade, desde que a condição $\delta > d$ seja satisfeita. Isso é alcançado através da seleção cuidadosa do parâmetro $\beta$ e da utilização das propriedades da nova função de peso, evitando a necessidade de funções de corte (cut-off) no tempo que eram exigidas anteriormente.

3. Prova de Estabilidade: O problema inverso é resolvido estendendo um argumento recente (evitando funções de corte) para o cenário de contorno dinâmico. Ao diferenciar o sistema em relação ao tempo e aplicar a estimativa de Carleman derivada à solução diferenciada no tempo, os autores relacionam as normas $L^2$ dos termos de fonte com a observação da derivada temporal do fluxo de fronteira $\partial_t \partial_\nu y$.

4. Aplicação de Controlabilidade: Como uma aplicação secundária, a estimativa de Carleman estabelecida é utilizada via um argumento de dualidade padrão para provar a controlabilidade exata de fronteira para o sistema com um controle atuando apenas na porção de Dirichlet $\gamma \subset \Gamma_0$.

Principais Resultados

• Teorema 3.1 (Estimativa de Carleman): O artigo estabelece uma estimativa de Carleman global para a equação da onda com condições de contorno dinâmicas. Esta estimativa corrige e melhora o resultado em [16] ao utilizar uma função de peso válida que garante a pseudo-convexidade na fronteira. Crucialmente, sob a condição $\delta > d$, a estimativa absorve o termo do gradiente tangencial $|\nabla_\Gamma y_\Gamma|^2$ no lado esquerdo, fornecendo uma desigualdade mais aguda.
• Teorema 4.1 (Estabilidade Lipschitz): Para um tempo $T$ maior que um tempo mínimo específico $T^*$ (dependente da geometria e velocidades das ondas), e assumindo $\delta > d$, os autores provam uma estimativa de estabilidade Lipschitz global:
  $$\|f\|_{L^2} + \|g\|_{L^2} \leq C \|\partial_t \partial_\nu y\|_{L^2(\gamma \times (0,T))}$$
  Este resultado garante a recuperação única e estável dos termos de fonte a partir de uma única medição de fronteira.
• Teorema 5.5 (Controlabilidade Exata): O sistema mostra-se exatamente controlável em tempo $T > 2T^*$ usando uma única força de controle atuando na fronteira de Dirichlet $\gamma$. Isso melhora resultados anteriores que exigiam dois controles.

Significância e Alegações
Os autores afirmam que este trabalho fornece o primeiro resultado de estabilidade Lipschitz global para um problema hiperbólico inverso com condições de contorno gerais de tipo dinâmico/Dirichlet. A significância reside em:

1. Correção Rigorosa: O artigo corrige um erro fundamental na análise da função de peso do trabalho seminal de Gal e Tebou [16], que havia se baseado em uma identidade de Hessiano incorreta para a fronteira.
2. Agudeza (Sharpness): A estimativa de Carleman derivada é "aguda" no sentido de que coloca os termos da derivada tangencial no lado esquerdo (sob a condição $\delta > d$), enquanto estimativas anteriores colocavam tais termos no lado direito ou exigiam suposições adicionais.
3. Avanço Metodológico: O artigo demonstra que uma função de peso diferente, originalmente usada para equações de Schrödinger, pode ser adaptada com sucesso para equações da onda com condições de contorno dinâmicas, superando dificuldades relacionadas ao acoplamento de dinâmicas de volume e superfície.
4. Otimalidade: O resultado de controlabilidade é notado como agudo porque alcança a controlabilidade exata com um único controle na parte de Dirichlet, contrastando com trabalhos anteriores que utilizavam dois controles.

O artigo conclui identificando problemas abertos, especificamente o caso onde $\delta \leq d$ (onde a atual estimativa de Carleman falha em absorver certos termos) e a extensão destes resultados para o caso onde condições de contorno dinâmicas são impostas em toda a fronteira $\Gamma$.