An Inverse Problem for the Prescribed Mean Curvature

Technische Samenvatting: Een invers probleem voor de voorgeschreven gemiddelde kromming

Probleemstelling
Dit artikel behandelt het invers bronprobleem voor de vergelijking van de voorgeschreven gemiddelde kromming (prescribed mean curvature, PMC) in twee dimensies. De onderliggende vergelijking op een begrensd domein $\Omega \subset \mathbb{R}^2$ wordt gegeven door:
$$\nabla \cdot \left[ \frac{\nabla u}{(1 + |\nabla u|^2)^{1/2}} \right] = H(x),$$
waarbij $H \in C^\alpha(\Omega)$ de bronfunctie is die de voorgeschreven gemiddelde kromming vertegenwoordigt. Het doel is om de bronfunctie $H$ uniek te bepalen uit de Dirichlet-tot-Neumann (DN) kaart $\Lambda_H$. De DN-kaart wijst een randwaarde $f$ toe aan de normale afgeleide $\partial_\nu u|_{\partial\Omega}$ van de oplossing $u$. De auteurs stellen vast dat indien de DN-kaarten voor twee bronfuncties $H$ en $\tilde{H}$ overeenkomen voor randgegevens die voldoende dicht bij een vaste achtergrondwaarde $f_0$ liggen, en indien $H$ en $\tilde{H}$ tot een hoge orde op de rand overeenkomen, dan $H = \tilde{H}$ geldt voor heel $\Omega$.

Methodologie
Het bewijs berust op een combinatie van hogere-orde linearisatietechnieken, de analyse van de resulterende lineaire vergelijkingen en complex geometrische optiek (CGO) oplossingen. De methodologie verloopt in verschillende afzonderlijke fasen:

1. Eerste linearisatie en geometrische interpretatie:
   De auteurs lineariseren de nietlineaire PMC-vergelijking rond een achtergrondoplossing $u_0$ die overeenkomt met een vaste randwaarde $f_0$. De eerste linearisatie levert een anisotrope geleidingsvergelijking op:
   $$\nabla \cdot (g^{-1} \nabla v) = 0,$$
   waarbij de metriek $g$ expliciet afhangt van de gradiënt van de achtergrondoplossing, $\nabla u_0$. Specifiek komt $g^{-1}$ overeen met een Riemanniaanse metriek afgeleid van de Euclidische metriek en de gradiënt van $u_0$. Dit transformeert het inverse probleem voor de nietlineaire vergelijking naar een invers probleem voor een lineaire vergelijking met coëfficiënten die afhangen van de onbekende achtergrondoplossing.

2. Randinformatie en gauge-invariantie:
   Door gebruik te maken van de aanname dat de DN-kaarten overeenkomen, leiden de auteurs af dat de metrieken $g$ en $\tilde{g}$, geassocieerd met $H$ en $\tilde{H}$, gerelateerd zijn door een conformale homeomorfisme $\phi: \Omega \to \Omega$ zodanig dat $g = \lambda \phi^* \tilde{g}$. Door de randgedraging te analyseren en gebruik te maken van eigenschappen van unieke voortzetting, tonen zij aan dat $\phi$ de rand tot oneindige orde fixeert en dat de magnituden van de gradiënten van de achtergrondoplossingen gerelateerd zijn door $|\nabla u_0| = |\nabla \tilde{u}_0| \circ \phi$.

3. Tweede linearisatie en integraalidentiteiten:
   Om de resterende gauge-invariantie te doorbreken en volledige gradiëntgelijkheid ($\nabla u_0 = \nabla \tilde{u}_0$) vast te stellen, voeren de auteurs een tweede linearisatie uit. Dit levert een gekoppeld systeem op dat een integraalidentiteit over $\Omega$ bevat van de vorm:
   $$\int_\Omega T \cdot \mathcal{L}(v_0, v_1, v_2) \, dV_g = 0,$$
   waarbij $T$ een vectorveld is gedefinieerd door het verschil tussen de getransformeerde gradiënten van de achtergrondoplossingen, en $v_0, v_1, v_2$ oplossingen zijn van de eerste lineaire vergelijking. De term $\mathcal{L}$ omvat gradiënten en Laplacen van deze oplossingen.

4. Complex Geometrische Optiek (CGO) oplossingen:
   De auteurs construeren specifieke CGO-oplossingen voor de lineaire Schrödinger-type vergelijking geassocieerd met de metriek $g$. Deze oplossingen hebben de vorm $v = e^{\Phi/h}(a + r_h)$, waarbij $\Phi$ een holomorfe Morse-functie is, $a$ een holomorfe amplitude, en $r_h$ een correctieterm. Door oplossingen te kiezen met specifieke fasegedragingen (sommigen met kritieke punten, anderen zonder), voeren zij een asymptotische analyse uit naarmate de parameter $h \to 0$. Deze analyse isoleert de leidende termen van de integraalidentiteit, waardoor het vectorveld $T$ effectief in de binnenste punten wordt geprobeerd.

5. Uniciteit via Liouville-type rigiditeit:
   De asymptotische analyse leidt tot een stelsel vergelijkingen dat impliceert dat de componenten van $T$ een elliptische partiële differentiaalvergelijking bevredigen. Gecombineerd met het feit dat $T$ tot een hoge orde op de rand verdwijnt (afgeleid van de overeenkomst van $H$ en $\tilde{H}$ op de rand), dwingen principes van unieke voortzetting $T \equiv 0$ in $\Omega$. Dit impliceert $\nabla u_0 = \nabla \tilde{u}_0$. Ten slotte wordt een Liouville-type uniciteitsresultaat voor conformale afbeeldingen in twee dimensies toegepast om aan te tonen dat de homeomorfisme $\phi$ de identiteitsafbeelding moet zijn, waarmee wordt bewezen dat $H = \tilde{H}$.

Belangrijkste bijdragen en resultaten

• Eerste behandeling van inverse bronproblemen voor quasilineaire vergelijkingen: Het artikel presenteert de eerste rigoureuze behandeling van een invers bronprobleem voor een quasilineaire elliptische vergelijking. Eerdere werken op dit gebied richtten zich grotendeels op lineaire vergelijkingen of inverse problemen voor nietlineaire termen zonder brontermen.
• Afleiding van gekoppelde nietlineaire systemen: De auteurs leiden een gekoppeld systeem af van algebraïsche en geometrische partiële differentiaalvergelijkingen uit randmetingen. Dit systeem koppelt de bronfunctie aan de gradiënt van de achtergrondoplossing en de conformale factor van de metriek.
• Uniciteitstheorema: Het hoofdbestanddeel (Stelling 1.1) bewijst de unieke determinatie van de bronfunctie $H$ in twee dimensies uit de DN-kaart, mits de bronnen tot een hoge orde op de rand overeenkomen.
• Toepassing van anisotrope Calderón-theorie: Het werk toont een innovatieve toepassing van de theorie van het anisotrope Calderón-probleem. Hoewel de oorspronkelijke PMC-vergelijking is geformuleerd op een Euclidisch domein, leidt de linearisatie ervan natuurlijk tot een anisotrope geleidingsvergelijking met een metriek die afhankelijk is van de oplossing, wat de brug slaat tussen nietlineaire inverse problemen en geometrische inverse problemen.

Betekenis en Motivatie
De auteurs positioneren dit werk als een fundamentele stap naar het oplossen van inverse problemen voor algemene quasilineaire elliptische vergelijkingen van de vorm $\nabla \cdot (A(\nabla u)\nabla u) = H(x)$. De vergelijking van de voorgeschreven gemiddelde kromming dient als een prototypische voorbeeldfunctie.

Het artikel benadrukt de fysieke relevantie van de PMC-vergelijking bij het modelleren van oppervlakken onder gebalanceerde spanning met externe krachten, zoals zeepbellen met interne druk, capillaire oppervlakken en biologische membranen. Bovendien merken de auteurs op dat de groeiende belangstelling voor inverse problemen voor minimale oppervlakken (het geval $H=0$) in de theoretische fysica, specifiek binnen het AdS/CFT-dualiteitskader, waarbij traditionele wiskundige instrumenten soms ontoereikend waren. Door deze technieken uit te breiden naar het geval van de voorgeschreven gemiddelde kromming, draagt het artikel bij aan de wiskundige gereedschapskist die beschikbaar is voor dergelijke fysieke toepassingen.

De methodologische bijdrage ligt in de succesvolle integratie van hogere-orde linearisatie met CGO-oplossingen om de specifieke structuur van quasilineaire vergelijkingen te hanteren, waarbij de uitdagingen van de nietlineariteit en de bronterm worden overwonnen. De auteurs benadrukken dat soortgelijke gekoppelde systemen van vergelijkingen waarschijnlijk zullen optreden in andere inverse problemen voor quasilineaire vergelijkingen, wat wijst op de bredere toepasbaarheid van hun aanpak.