An Inverse Problem for the Prescribed Mean Curvature

Resumo Técnico: Um Problema Inverso para a Curvatura Média Prescrita

Enunciado do Problema
Este artigo aborda o problema inverso de fonte para a equação da curvatura média prescrita (PMC) em duas dimensões. A equação governante em um domínio limitado $\Omega \subset \mathbb{R}^2$ é dada por:
$$\nabla \cdot \left[ \frac{\nabla u}{(1 + |\nabla u|^2)^{1/2}} \right] = H(x),$$
onde $H \in C^\alpha(\Omega)$ é a função fonte que representa a curvatura média prescrita. O objetivo é determinar a função fonte $H$ unicamente a partir do mapa Dirichlet-para-Neumann (DN) $\Lambda_H$. O mapa DN atribui um valor de contorno $f$ à derivada normal $\partial_\nu u|_{\partial\Omega}$ da solução $u$. Os autores estabelecem que, se os mapas DN para duas funções fonte $H$ e $\tilde{H}$ coincidirem para dados de contorno suficientemente próximos de um valor de fundo fixo $f_0$, e se $H$ e $\tilde{H}$ concordarem em ordem elevada na fronteira, então $H = \tilde{H}$ em todo o $\Omega$.

Metodologia
A prova baseia-se em uma combinação de técnicas de linearização de ordem superior, a análise das equações linearizadas resultantes e soluções de óptica geométrica complexa (CGO). A metodologia procede em várias etapas distintas:

1. Primeira Linearização e Interpretação Geométrica:
   Os autores linearizam a equação não linear da PMC em torno de uma solução de fundo $u_0$ correspondente a um valor de contorno fixo $f_0$. A primeira linearização produz uma equação de condutividade anisotrópica:
   $$\nabla \cdot (g^{-1} \nabla v) = 0,$$
   onde o tensor métrico $g$ depende explicitamente do gradiente da solução de fundo, $\nabla u_0$. Especificamente, $g^{-1}$ corresponde a uma métrica Riemanniana derivada da métrica euclidiana e do gradiente de $u_0$. Isso transforma o problema inverso para a equação não linear em um problema inverso para uma equação linear com coeficientes dependentes da solução de fundo desconhecida.

2. Informação de Fronteira e Invariância de Gauge:
   Usando a suposição de que os mapas DN coincidem, os autores deduzem que as métricas $g$ e $\tilde{g}$ associadas a $H$ e $\tilde{H}$ estão relacionadas por uma difeomorfia conformal $\phi: \Omega \to \Omega$ tal que $g = \lambda \phi^* \tilde{g}$. Ao analisar o comportamento de fronteira e utilizar propriedades de continuação única, eles mostram que $\phi$ fixa a fronteira em ordem infinita e que as magnitudes dos gradientes das soluções de fundo estão relacionadas por $|\nabla u_0| = |\nabla \tilde{u}_0| \circ \phi$.

3. Segunda Linearização e Identidades Integrais:
   Para quebrar a invariância de gauge restante e estabelecer a igualdade total do gradiente ($\nabla u_0 = \nabla \tilde{u}_0$), os autores realizam uma segunda linearização. Isso resulta em um sistema acoplado envolvendo uma identidade integral sobre $\Omega$ da forma:
   $$\int_\Omega T \cdot \mathcal{L}(v_0, v_1, v_2) \, dV_g = 0,$$
   onde $T$ é um campo vetorial definido pela diferença entre os gradientes transformados das soluções de fundo, e $v_0, v_1, v_2$ são soluções da primeira equação linearizada. O termo $\mathcal{L}$ envolve gradientes e Laplacianos dessas soluções.

4. Soluções de Óptica Geométrica Complexa (CGO):
   Os autores constroem soluções CGO específicas para a equação do tipo Schrödinger associada à métrica $g$. Essas soluções são da forma $v = e^{\Phi/h}(a + r_h)$, onde $\Phi$ é uma função de Morse holomorfa, $a$ é uma amplitude holomorfa e $r_h$ é um termo de correção. Ao escolher soluções com comportamentos de fase específicos (algumas com pontos críticos, outras sem), eles realizam uma análise assintótica conforme o parâmetro $h \to 0$. Esta análise isola os termos de ordem principal da identidade integral, efetivamente sondando o campo vetorial $T$ em pontos interiores.

5. Unicidade via Rigidez do Tipo Liouville:
   A análise assintótica leva a um sistema de equações implicando que os componentes de $T$ satisfazem uma equação diferencial parcial elíptica. Combinado com o fato de que $T$ se anula em ordem elevada na fronteira (derivado do acordo de fronteira de $H$ e $\tilde{H}$), os princípios de continuação única forçam $T \equiv 0$ em $\Omega$. Isso implica $\nabla u_0 = \nabla \tilde{u}_0$. Finalmente, um resultado de unicidade do tipo Liouville para mapeamentos conformais em duas dimensões é aplicado para mostrar que a difeomorfia $\phi$ deve ser a identidade, provando assim que $H = \tilde{H}$.

Principais Contribuições e Resultados

• Primeiro Tratamento de Problemas Inversos de Fonte para Equações Quasilineares: O artigo apresenta o primeiro tratamento rigoroso de um problema inverso de fonte para uma equação elíptica quasilinear. Trabalhos anteriores neste domínio focaram amplamente em equações lineares ou problemas inversos para termos não lineares sem termos de fonte.
• Derivação de Sistemas Não Lineares Acoplados: Os autores derivam um sistema acoplado de equações diferenciais parciais algébricas e geométricas a partir de medições de fronteira. Este sistema vincula a função fonte ao gradiente da solução de fundo e ao fator de conformal da métrica.
• Teorema de Unicidade: O resultado principal (Teorema 1.1) prova a determinação única da função fonte $H$ em duas dimensões a partir do mapa DN, desde que as fontes concordem em ordem elevada na fronteira.
• Aplicação da Teoria de Calderón Anisotrópica: O trabalho demonstra uma aplicação inovadora da teoria do problema de Calderón anisotrópico. Embora a equação PMC original seja posta em um domínio euclidiano, sua linearização leva naturalmente a uma equação de condutividade anisotrópica com uma métrica dependente da solução, unindo problemas inversos não lineares com problemas inversos geométricos.

Significância e Motivação
Os autores posicionam este trabalho como um passo fundamental para resolver problemas inversos para equações elípticas quasilineares gerais da forma $\nabla \cdot (A(\nabla u)\nabla u) = H(x)$. A equação da curvatura média prescrita serve como um exemplo prototípico.

O artigo destaca a relevância física da equação PMC para modelar superfícies sob tensão equilibrada com forças externas, como bolhas de sabão com pressão interna, superfícies capilares e membranas biológicas. Além disso, os autores observam a crescente importância dos problemas inversos para superfícies mínimas (o caso $H=0$) na física teórica, especificamente dentro do arcabouço de dualidade AdS/CFT, onde ferramentas matemáticas tradicionais têm sido por vezes insuficientes. Ao estender essas técnicas para o caso da curvatura média prescrita, o artigo contribui para o conjunto de ferramentas matemáticas disponíveis para tais aplicações físicas.

A contribuição metodológica reside na integração bem-sucedida da linearização de ordem superior com soluções CGO para lidar com a estrutura específica de equações quasilineares, superando os desafios impostos pela não linearidade e pelo termo de fonte. Os autores enfatizam que sistemas semelhantes de equações acopladas provavelmente surgirão em outros problemas inversos para equações quasilineares, sugerindo a aplicabilidade mais ampla de sua abordagem.