A singular profile for the relativistic heat cost and the special Lagrangian curvature equation

Technische Samenvatting: Een Singulier Profiel voor de Relativistische Warmtekosten en de Speciale Lagrangiaanse Krommingvergelijking

Probleemstelling
Dit artikel onderzoekt de interne regulariteit van gegeneraliseerde oplossingen van het van het type Monge–Ampère type vergelijking dat de optimale transport onder een relativistische kostenfunctie regelt. De kosten zijn gedefinieerd als $c(x, y) = \sqrt{a^2 - |x-y|^2}$ voor $|x-y| < a$ en $-\infty$ anders, waarbij $a > 0$ een eindige transportsnelheid vertegenwoordigt. De bijbehorende vergelijking, afgeleid van de voorgeschreven Jacobiaan van de $c$-normale afbeelding, is niet-uniform elliptisch nabij oneindige gradiënten.

Het centrale probleem is het bepalen van de scherpe regulariteit van oplossingen wanneer de rechterzijde van de vergelijking glad is (specifiek constant). Terwijl de klassieke optimale transporttheorie (onder de Ma–Trudinger–Wang (MTW) conditie) vaak $C^\infty$ regulariteit oplevert voor gladde data, schendt de relativistische kostenfunctie de MTW-conditie. Dit artikel streeft ernaar om expliciete singuliere oplossingen te construeren om aan te tonen dat, ondanks gladde data, oplossingen niet $C^{1,\beta}$ kunnen zijn voor bepaalde $\beta$, en om de precieze drempel van regulariteit te identificeren.

Methodologie
De auteur hanteert een constructieve aanpak gebaseerd op radiale symmetrie en dynamische systeem-analyse:

1. Radiale Reductie: De auteur zoekt een oplossing van de vorm $u(x', t) = \sqrt{r(t)^2 - |x'|^2}$ op een bal in $\mathbb{R}^n$. Het substitueren van deze ansatz in de Monge–Ampère vergelijking reduceert het probleem tot een tweede-orde gewone differentiaalvergelijking (ODE) voor het meridiaanprofiel $r(t)$.
2. Singulariteitsanalyse: Door beginvoorwaarden $r(0) = a$ en $\dot{r}(0) = 0$ op te leggen, identificeert de auteur een degeneratie waarbij de radiale factor $A(t)$ naar nul gaat bij de oorsprong. Dit dwingt de tweede afgeleide $\ddot{r}$ om naar oneindig te gaan.
3. Autonome Systeemherformulering: Om de degeneratie bij $t=0$ rigoureus te behandelen, wordt de tweede-orde ODE getransformeerd naar een eerste-orde autonoom systeem in termen van de fasevariabele $s = \dot{r}$. De rechterzijde van dit systeem is glad bij $s=0$.
4. Bestaan en Asymptotica: Met behulp van het Picard–Lindelöf theorema wordt een gladde oplossing van het autonome systeem vastgesteld. De auteur keert vervolgens de tijdvariabele om om het asymptotisch gedrag van de gradiënt $s(t)$ nabij de oorsprong af te leiden, waarbij wordt getoond dat $|s(t)| \sim |t|^{1/(2n-1)}$.
5. Verificatie: Het geconstrueerde profiel wordt geverifieerd als een gegeneraliseerde (Aleksandrov) oplossing door $c$-convexiteit te bewijzen (met behulp van een driehoeksongelijkheid voor de relativistische kosten) en de Monge–Ampère maatvoorwaarde te bevestigen via snijvlakargumenten (slicing arguments).
6. Toepassing op Speciale Lagrangiaanse Kromming: In dimensie $n=2$ maakt de auteur gebruik van een verband dat door Qiu en Zhou is gelegd tussen de relativistische transportvergelijking en de speciale Lagrangiaanse krommingvergelijking. Door de beginvoorwaarden van het autonome systeem te verstoren om de singulariteit te vermijden, wordt een sequentie van gladde oplossingen gegenereerd die uniform convergeert naar het singuliere profiel.

Kernbijdragen en Resultaten

• Scherpe Regulariteitsdrempel voor Relativistische Kosten: Het artikel construeert een expliciete gegeneraliseerde oplossing $u$ op een bal in $\mathbb{R}^n$ ($n \ge 2$) die tot de klasse $C^{1, \frac{1}{2n-1}}$ behoort, maar niet tot $C^{1,\beta}$ voor enige $\beta > \frac{1}{2n-1}$. Dit vestigt dat de exponent $\frac{1}{2n-1}$ scherp is voor de relativistische kosten, zelfs met constante (gladde) rechterzijde data.
• Vergelijking met MTW-theorie: Het resultaat benadrukt een dichotomie in de regulariteitstheorie. Terwijl de exponent $\frac{1}{2n-1}$ als een scherpe drempel verschijnt voor optimaal transport met begrensde (ruwe) dichtheden onder de MTW-conditie (Liu [9]), laat dit artikel zien dat dezelfde exponent voortkomt uit gladde data wanneer de kostengeometrie de MTW-conditie schendt. Dit impliceert dat voor de relativistische kosten geen enkele mate van regulariteit in de bronterm de regulariteit van de oplossing kan verbeteren voorbij deze kritische exponent.
• Niet-bestaan van Zuivere Interne Schattingen voor Speciale Lagrangiaanse Kromming: Door de constructie toe te passen op de twee-dimensionale speciale Lagrangiaanse krommingvergelijking (met fase $\Theta \in (0, \pi/2)$), produceert de auteur een sequentie van gladde grafische oplossingen die uniform convergeren naar een limiet in $C^{1, 1/3}$ maar niet in $C^{1,\beta}$ voor $\beta > 1/3$.
• Falen van Hessian-controle: De geconstrueerde limiet demonstreert dat voor de speciale Lagrangiaanse krommingvergelijking de interne Hessian niet uitsluitend kan worden gecontroleerd door de $C^0$-norm van de oplossing en de data. Dit staat in contrast met de klassieke Monge–Ampère vergelijking in het vlak, waar dergelijke zuivere interne tweede-afgeleidenschattingen wel bekend zijn.

Betekenis
Het artikel toont aan dat de geometrie van de kostenfunctie een primaire determinant is voor de regulariteit van de oplossing, in staat om singulariteiten te induceren zelfs in aanwezigheid van gladde data. Specifiek bewijst het dat de relativistische warmtekosten geen dimensie-onafhankelijke interne modulus van continuïteit voor de gradiënt toelaten, aangezien de Hölder-exponent $\frac{1}{2n-1}$ naar nul neigt naarmate de dimensie $n$ toeneemt.

Verder lost de toepassing op de speciale Lagrangiaanse krommingvergelijking de vraag over zuivere interne schattingen in twee dimensies op. Door een singuliere limiet van gladde oplossingen te tonen, stelt het artikel vast dat de vergelijking geen zuivere interne $C^{1,\beta}$ schatting toelaat voor enige $\beta > 1/3$. Dit resultaat onderstreept de subtiliteit van interne regulariteit voor niet-convexe of geometrisch beperkte krommingvergelijkingen, wat hen onderscheidt van de meer robuuste regulariteitstheorie van de klassieke Monge–Ampère vergelijking.