An inverse source problem for the Monge--Ampere equation from large boundary data

Resumo Técnico: Um Problema de Fonte Inversa para a Equação de Monge–Ampère a partir de Grandes Dados de Contorno

Enunciado do Problema
Este artigo aborda o problema de fonte inversa para a equação de Monge–Ampère em um domínio limitado, suave e uniformemente convexo $\Omega \subset \mathbb{R}^n$ ($n \ge 2$). A equação é dada por:
$$\det D^2 u = f(x) \quad \text{em } \Omega,$$
onde o termo de fonte $f$ é uma função positiva e suave. O objetivo é determinar se a fonte $f$ é unicamente determinada pelo mapa de Dirichlet-para-Neumann (DN) $\Lambda_f$, que mapeia os dados de contorno $g$ para a derivada normal da solução estritamente convexa única $u_g$:
$$\Lambda_f(g) = \partial_\nu u_g|_{\partial\Omega}.$$
Especificamente, os autores investigam se $\Lambda_{f_1} = \Lambda_{f_2}$ implica $f_1 = f_2$ dentro da classe de fontes suaves e positivas.

Metodologia
Os autores empregam uma abordagem assintótica de "grandes dados", distinta dos métodos padrão de linearização de ordem superior usados para equações semilineares. A metodologia procede através das seguintes etapas:

1. Dados de Contorno Cilíndricos Grandes: Em vez de perturbar em torno de uma solução nula ou pequena, os autores prescrevem uma família de valores de contorno grandes parametrizados por $t \gg 1$. Para uma direção fixa $\omega \in S^{n-1}$, os dados de contorno são definidos como:
   $$g_{t,\omega} = t \phi_\omega|_{\partial\Omega}, \quad \text{onde } \phi_\omega(x) = \frac{1}{2}|P_{\omega^\perp} x|^2.$$
   O perfil $\phi_\omega$ é estritamente convexo em direções transversais a $\omega$, mas degenerado (linear) na direção $\omega$.

2. Expansão Assintótica: A solução $u_{t,\omega}$ correspondente aos grandes dados $g_{t,\omega}$ é analisada via uma expansão assintótica:
   $$u_{t,\omega} = t\phi_\omega + t^{1-n}w_\omega + r_{t,\omega},$$
   onde $w_\omega$ é um termo de correção "ao longo da corda" (chordwise correction). O termo principal $t\phi_\omega$ captura a convexidade transversal, enquanto a primeira correção $t^{1-n}w_\omega$ contabiliza a convexidade longitudinal ausente necessária para satisfazer a equação de Monge–Ampère com a fonte $f$.

3. Redução a um Problema 1D: Mostra-se que o termo de correção $w_\omega$ satisfaz um problema de Dirichlet unidimensional ao longo das cordas de $\Omega$ paralelas a $\omega$. Especificamente, para uma corda parametrizada por $s$ (onde $x = y + s\omega$), $w_\omega$ satisfaz:
   $$\partial_s^2 w_\omega(y, s) = f(y + s\omega), \quad w_\omega(y, s_\pm(y)) = 0,$$
   onde $s_\pm(y)$ são os pontos finais da corda.

4. Análise de Medição de Contorno: Ao analisar o comportamento assintótico da derivada normal $\partial_\nu u_{t,\omega}$ no contorno não-tangencial (non-glancing boundary), os autores mostram que o mapa DN determina os valores de contorno de $\partial_\nu w_\omega$. Usando o teorema fundamental do cálculo na equação da corda, essas derivadas de contorno estão diretamente relacionadas à integral de linha da fonte $f$ ao longo da corda:
   $$\int_{s_-(y)}^{s_+(y)} f(y + s\omega) \, ds = \partial_s w_\omega(y, s_+(y)) - \partial_s w_\omega(y, s_-(y)).$$

5. Injetividade da Transformada de Raios X: A igualdade dos mapas DN para a família de grandes dados implica a igualdade das transformadas de Raios X euclidianas (transformada de Radon restrita a retas) das duas fontes $f_1$ e $f_2$. Os autores utilizam o teorema da fatia de Fourier padrão para concluir que, se as transformadas de Raios X forem idênticas, as fontes devem ser idênticas.

Principais Contribuições e Resultados

• Teorema de Unicidade (Teorema 1.1): O resultado primário estabelece que, se $\Lambda_{f_1}(g) = \Lambda_{f_2}(g)$ para todos os dados de contorno suaves $g$, então $f_1 = f_2$. Crucialmente, a prova demonstra que a unicidade mantém-se mesmo se os mapas DN forem conhecidos apenas na família restrita de grandes valores de contorno cilíndricos $g_{t,\omega}$.
• Rigor Assintótico (Teorema 3.3): O artigo fornece estimativas $L^\infty$ rigorosas para a diferença entre a solução real e o ansatz assintótico $t\phi_\omega + t^{1-n}w_\omega$. Prova-se que o erro é de ordem $O(t^{1-2n})$ no interior (bulk) e $O(t^{1-n-n/2})$ para a derivada normal em subconjuntos compactos do contorno não-tangencial.
• Tratamento de Pontos Tangenciais (Glancing Points): Uma contribuição técnica significativa é a análise do comportamento do termo de correção da corda $w_\omega$ próximo aos pontos tangenciais (onde a corda é tangente ao contorno). Os autores provam que, apesar de a parametrização dos pontos finais tornar-se singular nesses pontos, a função $w_\omega$ estende-se suavemente para todo o domínio $\Omega$, garantindo a validade da expansão assintótica globalmente.
• Generalidade Dimensional: Diferente de trabalhos anteriores restritos a duas dimensões (ex: [29]), este método é válido para todas as dimensões $n \ge 2$.

Significância e Alegações
O artigo afirma fornecer um novo mecanismo para resolver problemas de fonte inversa para equações do tipo Monge–Ampère totalmente não lineares. A significância reside em:

1. Mudança Metodológica: Afastando-se da linearização em soluções pequenas (que leva a coeficientes linearizados dependentes do Hessiano da solução de fundo) para um regime assintótico de grandes dados. Isso evita os problemas de degenerescência frequentemente associados à linearização em zero ou em soluções pequenas em problemas quasilineares.
2. Redução Geométrica Direta: O método reduz o problema inverso não linear diretamente à injetividade da transformada de Raios X euclidiana via geometria das cordas, evitando a necessidade de recuperar coeficientes intermediários.
3. Completude: O resultado confirma que o mapa DN completo não é estritamente necessário para a unicidade; uma família específica e fisicamente motivada de grandes medições de contorno é suficiente para recuperar a fonte unicamente.

Os autores observam que sua abordagem é distinta do método em [29], que lineariza em soluções não nulas e recupera a matriz Hessiana antes de aplicar o determinante. Em contraste, esta abordagem de parâmetro grande extrai as integrais da fonte diretamente do termo de correção de primeira ordem.