Inverse problems for semilinear elliptic equations with low regularity

Resumo Técnico: Problemas Inversos para Equações Elípticas Semilineares com Baixa Regularidade

Enunciação do Problema
Este artigo aborda problemas de valor de contorno inversos para equações elípticas semilineares da forma:
$$\Delta u(x) + a(x, u(x)) = 0 \quad \text{em } \Omega,$$
onde $\Omega \subset \mathbb{R}^n$ ($n \geq 2$) é um domínio limitado com fronteira suave, e $a(x, t)$ representa uma não linearidade. O objetivo é determinar a não linearidade $a(x, t)$ a partir de medições de fronteira. Especificamente, os autores investigam se $a(x, t)$ pode ser recuperada de forma única em uma vizinhança de uma solução fixa $w$, utilizando o conjunto de dados de Cauchy de soluções próximas a $w$.

Um desafio primário abordado é a regularidade da não linearidade. Resultados anteriores, como os de [JNS23], exigiam que $a(x, t)$ fosse $C^{1,\alpha}$ em $x$ e $C^3$ em $t$. Este artigo visa reduzir essas suposições de regularidade para $L^r$ em $x$ (com $r > n/2$) e $C^{1,\alpha}$ em $t$, simplificando simultaneamente as provas existentes. O estudo não assume a boa colocação do problema de Dirichlet a priori; em vez disso, formula o problema utilizando conjuntos de dados de Cauchy para acomodar potenciais obstruções.

Metodologia
A abordagem baseia-se numa combinação de linearização de primeira ordem, teoremas da função implícita em espaços de Banach e argumentos de aproximação de Runge. A metodologia estrutura-se da seguinte forma:

1. Linearização e Solvabilidade: A equação é linearizada em torno de uma solução fixa $w$, resultando em $\Delta v + qv = 0$, onde $q(x) = \partial_u a(x, w(x))$. Como $q \in L^r(\Omega)$ com $r > n/2$, o problema de Dirichlet padrão pode não estar bem posto devido a um núcleo de dimensão finita $N_q$. Os autores constroem um subespaço $D_q$ do espaço de traço de fronteira para modificar os dados de fronteira, garantindo a solvabilidade da equação linearizada (Proposição 2.1). Isso substitui a necessidade do uso da derivada normal de autofunções, utilizada em contextos de maior regularidade.

2. Mapas de Solução:

   • Mapa $S$: Um mapa $C^1$, $S(v)$, é construído para parametrizar soluções $u$ da equação não linear próximas a $w$ em termos de soluções $v$ da equação linearizada. Diferentemente de trabalhos anteriores que utilizavam um argumento de ponto fixo de Banach seguido por um teorema da função implícita, este artigo estabelece tanto a existência quanto a suavidade $C^1$ de $S$ através de uma única aplicação do teorema da função implícita (Proposição 3.1).
   • Mapa $T$: Para comparar duas não linearidades diferentes $a_1$ e $a_2$, define-se um segundo mapa $T_{a_2, w_1}$. Este mapa toma uma solução linear $v$ associada a $a_1$ e produz uma solução $u_2$ para $a_2$ que partilha os mesmos dados de Cauchy que a solução gerada por $S_{a_1, w_1}(v)$. Provar que $T$ é $C^1$ requer um argumento de continuação única e um operador de projeção específico derivado de uma equação de quarta ordem (Proposição 4.1, Lema 4.5).

3. Identidade Integral e Unicidade: Ao assumir a inclusão dos conjuntos de dados de Cauchy ($C_{w, \delta}^{a_1} \subseteq C_{0, C}^{a_2}$), os autores derivam uma identidade integral envolvendo a diferença dos potenciais linearizados $\partial_u a_1$ e $\partial_u a_2$. Utilizando a completude dos produtos de soluções de equações de Schrödinger lineares (resultados de [Cha90; Nac92; DKS13; BTW20]) e princípios de continuação única, demonstram que as derivadas das não linearidades devem coincidir próximo à solução.

4. Aproximação de Runge: Para estender a determinação local da não linearidade a uma vizinhança completa dos valores da solução, emprega-se um argumento de aproximação de Runge (Seção 6). Isso demonstra que soluções da equação linearizada com potenciais $L^r$ podem aproximar qualquer valor numa vizinhança do ponto da solução, permitindo a recuperação de $a(x, t)$ para um intervalo de $t$.

Contribuições e Resultados Principais

• Suposições de Regularidade Reduzidas: Os teoremas principais (Teoremas 1.1 e 1.2) estabelecem resultados de unicidade para não linearidades $a \in L^r(\Omega, C^{1,\alpha}(\mathbb{R}))$ com $r > n/2$. Isso melhora os requisitos de $C^{1,\alpha}$ em $x$ e $C^3$ em $t$ de [JNS23].
• Provas Simplificadas: O artigo fornece uma prova simplificada para a existência e suavidade do mapa de solução $S$, utilizando o teorema da função implícita diretamente, evitando os argumentos de ponto fixo mais complexos utilizados anteriormente.
• Tratamento de Baixa Regularidade na Linearização: Os autores introduzem um subespaço $D_q$ para lidar com a solvabilidade da equação linearizada quando o potencial $q$ está apenas em $L^r$, superando o problema de que as derivadas normais das autofunções podem não pertencer ao espaço de traço natural para potenciais de baixa regularidade.
• Teoremas Principais:
  • Teorema 1.1: Se duas não linearidades $a_1, a_2$ partilham uma solução comum $w$ e possuem os mesmos dados de Cauchy para soluções próximas a $w$, então $a_1(x, t) = a_2(x, t)$ para $t$ próximo a $w(x)$.
  • Teorema 1.2: Se $a_1$ e $a_2$ não necessariamente partilham uma solução, mas os seus conjuntos de dados de Cauchy próximos a uma solução $w_1$ de $a_1$ estão relacionados, então $a_1$ é determinada até uma transformação de gauge $T_\phi a_2(x, t) = \Delta \phi(x) + a_2(x, t + \phi(x))$, onde $\phi$ se anula na fronteira juntamente com a sua derivada normal.
• Recuperação do Caso Linear: Os resultados cobrem o caso linear $a(x, u) = q(x)u$, recuperando potenciais em $L^r(\Omega)$ para $r > n/2$ (e $r \geq 2$ para $n=2,3$). Os autores notam que isso deixa de fora o caso limite $r=n/2$ para $n \geq 3$ e resultados específicos de $L^{4/3+\epsilon}$ para $n=2$ encontrados noutra literatura.

Significado e Alegações
O artigo alega fornecer contrapartes de baixa regularidade a resultados recentes em [JNS23], demonstrando que a não linearidade pode ser determinada de forma única (até uma transformação de gauge) a partir de medições de fronteira sem exigir alta suavidade na variável espacial $x$. Os autores enfatizam que o seu método baseia-se na linearização de primeira ordem e na aproximação de Runge, evitando técnicas de linearização de ordem superior que tipicamente recuperam apenas séries de Taylor em $t=0$.

O trabalho destaca que o conjunto atingível para estes problemas inversos é sempre um conjunto aberto, implicando que a não linearidade pode ser determinada numa vizinhança da solução. Os autores afirmam explicitamente que não pretendem determinar $a(x, t)$ globalmente em $\Omega \times \mathbb{R}$, pois isso é geralmente impossível sem suposições adicionais, mas sim na vizinhança da trajetória específica da solução. Os resultados são apresentados como melhorias na regularidade e simplificações na estrutura de prova para quadros existentes de problemas inversos.