Optimal (partial) transport to non-convex polygonal domains

Technische Zusammenfassung: Optimale (partielle) Transporte zu nicht-konvexen polygonalen Gebieten

Problemformulierung
Diese Arbeit untersucht die Regularität von optimalen Transportabbildungen und freien Rändern, wenn das Zielgebiet ein nicht-konvexes Polygon in $\mathbb{R}^2$ ist. Die Studie behandelt zwei unterschiedliche Szenarien:

1. Vollständiger optimaler Transport: Gegeben zwei beschränkte Gebiete $\Omega$ und $\Omega^*$ mit gleichem Maß, besteht das Ziel darin, einen Transportplan zu finden, der die quadratische Kostenfunktion $\int |x-y|^2 d\gamma$ minimiert. Nach dem Satz von Brenier ist dies äquivalent zur Suche nach einem konvexen Potential $u$, sodass $(Du)_\# \chi_\Omega = \chi_{\Omega^*}$ gilt. Der Fokus liegt auf der Struktur der singulären Menge $A = \{x \in \Omega : u \text{ ist an } x \text{ nicht differenzierbar}\}$.
2. Optimaler partieller Transport: Gegeben eine Masse $m < \min(|\Omega|, |\Omega^*|)$, sucht das Problem nach einem Transport eines Teilgebiets $U \subset \Omega$ zu einem Teilgebiet $V \subset \Omega^*$. Der Rand des aktiven Transportbereichs, $F = \partial U \cap \Omega$, wird als „freier Rand" bezeichnet. Die Arbeit analysiert die Regularität von $F$, wenn $\Omega^*$ ein nicht-konvexes Polygon ist.

Methodik
Die Autoren verwenden eine Kombination aus konvexer Analysis, geometrischer Maßtheorie und Regularitätstheorie für Monge-Ampère-Gleichungen. Zu den wesentlichen methodischen Komponenten gehören:

• Legendre-Transformation und duale Potentiale: Die Analyse stützt sich stark auf die duale konvexe Funktion $v = u^*$ (bzw. $v$ im Fall des partiellen Transports). Die Differenzierbarkeit von $u$ an $x$ entspricht der Differenzierbarkeit von $v$ an Punkten im Subgradienten $\partial^- u(x)$.
• Lokalisierung und Subniveaumengen: Die Autoren nutzen zentrierte Subniveaumengen $S^c_h[v](y)$, um das Verhalten des Potentials in der Nähe von Singularitäten zu lokalisieren. Indem sie zeigen, dass diese Subniveaumengen innerhalb kleiner Umgebungen des Zielrandes verbleiben, ziehen sie quantitative Abschätzungen der gleichmäßigen Konvexität heran.
• Geometrische Zerlegung von Singularitäten: Die singuläre Menge (oder der freie Rand) wird basierend auf der Geometrie des Subgradienten $\partial^- u(x)$ relativ zum Zielpolygon $\Omega^*$ zerlegt. Die Autoren kategorisieren Punkte $x$ danach, ob $\partial^- u(x)$ einen Eckpunkt von $\Omega^*$ enthält, eine Kante berührt oder mehrere Kanten berührt.
• Regularitäts-Bootstrapping: Für Bereiche, in denen die Zielgeometrie lokal konvex ist (z. B. in der Nähe des Inneren einer Kante), wenden die Autoren die Regularitätstheorie von Caffarelli und Schauder-Abschätzungen für gleichmäßig elliptische Gleichungen an. Sie zeigen, dass das Potential in diesen Bereichen $C^\infty$ ist, was impliziert, dass die singuläre Menge eine glatte Kurve ist.
• Abschätzungen der Schiefheit: Im Fall des partiellen Transports beruht der Beweis der Glattheit auf der Etablierung einer Schiefheitsabschätzung (der Winkel zwischen dem Normalenvektor des freien Randes und dem Normalenvektor des Zielrandes ist ungleich null), was die Anwendung von Regularitätsresultaten am Rand ermöglicht.

Hauptbeiträge und Ergebnisse

• Struktur der singulären Menge (vollständiger Transport):
  Die Arbeit beweist Satz 1.1, der eine präzise Beschreibung der singulären Menge $A$ liefert, wenn $\Omega^*$ ein nicht-konvexes Polygon ist. Die Autoren zeigen, dass $A$ entweder eine endliche Menge ist oder, abgesehen von einer endlichen Anzahl von Punkten $\{x_i\}$, lokal eine glatte eindimensionale Kurve darstellt.

  • Die „ausgezeichneten" Punkte $\{x_i\}$ entsprechen Orten, an denen der Subgradient $\partial^- u(x)$ einen Eckpunkt des Polygons berührt oder drei oder mehr Kanten berührt.
  • In der Nähe dieser ausgezeichneten Punkte ist die singuläre Menge eine Vereinigung endlich vieler Lipschitz-Kurven.
  • Der Beweis umfasst die Zerlegung von $A$ in Mengen $\Sigma_1$ (Berührung von Eckpunkten), $\Sigma'_2$ (Berührung von genau zwei Kanten) und $\Sigma''_2$ (Berührung von $\ge 3$ Kanten). Es wird gezeigt, dass $\Sigma_1$ und $\Sigma''_2$ endliche Mengen sind, während $\Sigma'_2$ aus glatten Kurven besteht.

• Regularität des freien Randes (partieller Transport):
  Die Arbeit beweist Satz 1.2 und stellt fest, dass der freie Rand $F$ im Problem des optimalen partiellen Transports abgesehen von endlich vielen singulären Punkten glatt ist.

  • Ähnlich wie im Fall des vollständigen Transports entstehen die singulären Punkte auf dem freien Rand dort, wo der Subgradient einen Eckpunkt von $\Omega^*$ oder mehrere Kanten berührt.
  • Die Autoren beweisen, dass die Menge der Punkte, die Eckpunkte ($F_1$) oder mehrere Kanten ($F_2$) berühren, endlich ist.
  • Für Punkte, die genau eine Kante berühren ($F_3$), wird gezeigt, dass der freie Rand mittels Schiefheitsabschätzungen und der Theorie der Randregularität glatt ($C^\infty$) ist.

• Verallgemeinerungen und Vermutungen:

  • Anmerkung 1.2 stellt fest, dass sich diese Ergebnisse auf allgemeine positive glatte Dichten erweitern lassen und, mit etwas schwächerer Regularität ($C^{1,\alpha}$), auf Dichten, die nach oben und unten beschränkt sind.
  • Anmerkung 3.2 zeigt, dass die Methode auf Ziele anwendbar ist, die Vereinigungen von zwei beschränkten konvexen Gebieten in allgemeinen Dimensionen sind.
  • Abschnitt 5 formuliert zwei Vermutungen für höhere Dimensionen ($\mathbb{R}^n$). Vermutung 5.1 geht davon aus, dass für den vollständigen Transport zu einem nicht-konvexen Polytop die singuläre Menge lokal eine glatte $(n-1)$-dimensionale Hyperfläche ist, abgesehen von einer Menge der Hausdorff-Dimension höchstens $n-2$. Vermutung 5.2 stellt eine ähnliche Behauptung für den freien Rand beim partiellen Transport auf.

Bedeutung und Behauptungen
Die Arbeit behauptet, eine präzisere Beschreibung der Singularitätsstruktur im optimalen Transport zu liefern als dies zuvor für nicht-konvexe ebene Gebiete etabliert war. Während frühere Arbeiten (z. B. Figalli [16]) zeigten, dass singuläre Mengen abgesehen von einer abzählbaren Menge $C^1$-Mannigfaltigkeiten sind, verfeinert diese Arbeit dieses Ergebnis für polygonale Ziele und zeigt, dass die singuläre Menge abgesehen von einer endlichen Menge von Punkten glatt ist.

Die Autoren heben die praktische Relevanz dieser Ergebnisse für numerische Berechnungen hervor, speziell für die Gittergenerierung auf polygonalen Gebieten unter Verwendung von Algorithmen des optimalen Transports. Durch die Charakterisierung der Singularitäten trägt die Arbeit zum Verständnis der Grenzen und des Verhaltens solcher Algorithmen in der Nähe nicht-konvexer Ecken bei.

Die Arbeit bewahrt einen bescheidenen Ton hinsichtlich höherer Dimensionen und stellt explizit fest, dass die Ergebnisse für $n=2$ bewiesen sind, während die Erweiterung auf $n \ge 3$ eine Vermutung bleibt. Die Autoren behaupten nicht, den Fall höherer Dimensionen gelöst zu haben, sondern bieten einen strukturellen Rahmen und spezifische Vermutungen für zukünftige Untersuchungen.