Inverse Problems for the Monge--Ampère Equation: Linearization and Nonlinear Recovery

Resumo Técnico: Problemas Inversos para a Equação de Monge–Ampère: Linearização e Recuperação Não Linear

Enunciado do Problema
Este trabalho investiga problemas de valor de contorno inverso para a equação de Monge–Ampère totalmente não linear:
$$\det D^2 u = a(x, u, \nabla u) \quad \text{em } \Omega,$$
onde $\Omega \subset \mathbb{R}^n$ é um domínio limitado e $a$ é uma não linearidade desconhecida. Motivados pelo clássico problema de Calderón (tomografia de impedância elétrica), os autores questionam se o "jet" da não linearidade $a$ ao longo de uma solução de fundo estritamente convexa $\Phi$ pode ser recuperado a partir de medições de contorno. Especificamente, o objetivo é determinar as derivadas de $a$ em relação aos seus argumentos $(x, z, p)$ ao longo da trajetória $(x, \Phi(x), \nabla \Phi(x))$ utilizando o conjunto de dados de Cauchy não linear.

Diferente das equações semilineares ou quasilineares, as equações totalmente não lineares geralmente carecem de um mapa de Dirichlet-para-Neumann (DN) canônico e não se conectam naturalmente a problemas inversos lineares. A equação de Monge–Ampère apresenta um desafio único devido à sua natureza totalmente não linear, mas possui uma estrutura de divergência via matriz de cofatores do Hessiano, a qual os autores exploram para estabelecer um arcabouço sistemático.

Metodologia
Os autores desenvolvem um arcabouço sistemático de linearização de ordem superior em torno de uma solução de fundo estritamente convexa $\Phi$. A abordagem procede em três etapas principais:

1. Bem-Posedness Local e Dependência Suave:
   Os autores primeiro estabelecem a bem-posedness local do problema de Dirichlet para dados de contorno próximos a $\Phi|_{\partial \Omega}$. Eles provam que o operador de solução $S: \eta \mapsto u_\eta$ é suave ($C^k$) em relação aos dados de contorno. Isso permite a derivação de fórmulas explícitas para as derivadas de Fréchet de ordem superior do operador de solução.

2. Linearização dos Dados de Cauchy:
   Um conjunto de dados de Cauchy não linear é definido como a coleção de pares $(\eta, \partial_\nu u_\eta|_{\partial \Omega})$ para dados de contorno $\eta$ próximos a $\Phi|_{\partial \Omega}$. Os autores mostram que a primeira variação deste conjunto de dados não linear coincide com o conjunto de dados de Cauchy de um operador elíptico linear $L_\Phi$ que governa a equação linearizada:
   $$L_\Phi v = \text{div}(C_\Phi \nabla v) - b_\Phi \cdot \nabla v - q_\Phi v = 0,$$
   onde os coeficientes são determinados pela solução de fundo e pela não linearidade:

   • $C_\Phi = \text{cof } D^2 \Phi$ (a matriz de cofatores do Hessiano),
   • $b_\Phi = \nabla_p a(x, \Phi, \nabla \Phi)$,
   • $q_\Phi = \partial_z a(x, \Phi, \nabla \Phi)$.

   Crucialmente, a parte principal deste operador linearizado é anisotrópica, determinada pela matriz de cofatores $C_\Phi$.

3. Redução e Identidades de Ordem Superior:
   Usando uma identidade do tipo Alessandrini, os autores estabelecem um princípio de redução: a igualdade dos conjuntos de dados de Cauchy não lineares implica a igualdade dos correspondentes mapas DN lineares. Isso reduz o problema inverso não linear para um problema inverso do tipo Calderón anisotrópico para o operador $L_\Phi$.

   Para derivadas de ordem superior, os autores derivam identidades integrais envolvendo produtos de soluções da equação linearizada e de sua adjunta. Sob suposições de densidade adequadas para esses produtos, essas identidades permitem a recuperação de derivadas de ordem superior de $a$ ao longo do jet de fundo.

Principais Resultados

• Recuperação de Primeira Ordem: Se duas não linearidades $a_1$ e $a_2$ geram os mesmos dados de Cauchy não lineares próximos a uma solução de fundo $\Phi$, então os mapas DN de seus operadores linearizados associados coincidem. Consequentemente, as quantidades $\partial_z a(x, \Phi, \nabla \Phi)$ e $\nabla_p a(x, \Phi, \nabla \Phi)$ são determinadas ao longo do jet de fundo, até a invariância de gauge natural do problema de Calderón anisotrópico (difeomorfismos que fixam a fronteira).
• Recuperação de Ordem Superior: Se a solução de fundo é fixa ($\Phi_1 = \Phi_2 = \Phi$) e as derivadas de ordem inferior de $a$ já são conhecidas como iguais, identidades de linearização de ordem superior permitem a recuperação de derivadas superiores $d^k_{(z,p)} a(x, \Phi, \nabla \Phi)$. Isso depende de uma propriedade de densidade de produtos de soluções da equação linearizada e de sua adjunta.
• Aplicações Específicas:
  • Caso Semilinear: Se $a$ é independente de $\nabla u$ (semilinear), o operador linearizado reduz-se a uma equação de Schrödinger. Em dimensões $n \ge 3$, isso resulta em unicidade para a derivada de primeira ordem $\partial_z a$ ao longo de fundos quadráticos ($\Phi(x) = |x|^2/2$).
  • Transporte Ótimo: Para não linearidades decorrentes do transporte ótimo, especificamente na configuração de equilíbrio $\Phi(x) = |x|^2/2$, a equação linearizada reduz-se a uma equação de condutividade isotrópica padrão. Isso estabelece uma ligação direta com o clássico problema de Calderón, permitindo a recuperação de densidades de transporte.
  • Problemas de Fonte Inversa: No caso em que $a(x, u, \nabla u) = f(x)$, o problema reduz-se à recuperação do termo de fonte $f(x)$, que está ligado às propriedades de rigidez da classe de matrizes de cofatores de funções estritamente convexas.

Significância e Alegações
O artigo afirma fornecer o primeiro estudo sistemático de problemas inversos para equações de Monge–Ampère totalmente não lineares sob a perspectiva de medições de contorno do tipo Calderón. Sua contribuição primária é demonstrar que, apesar da natureza totalmente não linear da equação, o problema inverso pode ser sistematicamente reduzido a uma família de problemas inversos lineares anisotrópicos através de linearização de ordem superior.

Os autores enfatizam que sua abordagem une a lacuna entre PDEs totalmente não lineares e problemas inversos lineares, aproveitando a estrutura de divergência específica do operador de Monge–Ampère. Embora a recuperação da não linearidade completa dependa da solvabilidade do problema de Calderón anisotrópico associado (que permanece em aberto em dimensões gerais sem suposições geométricas adicionais), o artigo estabelece que os dados não lineares determinam os coeficientes linearizados até o gauge natural. Além disso, demonstra que sob configurações geométricas específicas (como fundos quadráticos) e suposições estruturais (semilinearidades ou equilíbrios de transporte ótimo), resultados de unicidade incondicional podem ser obtidos, recuperando a expansão de Taylor completa da não linearidade ao longo da trajetória de fundo.