Asymptotic behavior of solutions to a planar Hartree equation with isolated singularities

Technische Samenvatting: Asymptotisch Gedrag van Oplossingen van een Planair Hartree-vergelijking met Geïsoleerde Singulariteiten

Probleemstelling
Dit artikel onderzoekt het asymptotisch gedrag van singuliere oplossingen van een planair Hartree-type vergelijking met een geïsoleerde singulariteit in de oorsprong. De primaire vergelijking die wordt bestudeerd is:
$$-\Delta u(x) = \left( \frac{1}{|x|^\alpha} * e^u \right) e^u(x) \quad \text{in } B_1 \setminus \{0\} \subset \mathbb{R}^2,$$
waarbij $\alpha > 0$ en de convolutie-term gedefinieerd is als $\frac{1}{|x|^\alpha} * e^u = \int_{B_1 \setminus \{0\}} \frac{e^{u(y)}}{|x-y|^\alpha} dy$. De auteurs richten zich op oplossingen $u \in C^2(B_1 \setminus \{0\})$ die voldoen aan de voorwaarde van eindige totale kromming:
$$\int_{B_1 \setminus \{0\}} \left( \frac{1}{|x|^\alpha} * e^u \right) e^u(x) dx < +\infty.$$
De studie wordt gemotiveerd door de noodzaak om singuliere oplossingen te begrijpen in geometrische problemen (zoals voorgeschreven Gaussische kromming) en fysische modellen die betrokken zijn bij niet-lokale interacties. Hoewel er significante resultaten bestaan voor lokale vergelijkingen (bijv. $-\Delta u = e^u$) en hogere-orde Yamabe-vergelijkingen, presenteren de niet-lokale aard van de Hartree-term in twee dimensies unieke uitdagingen, met name met betrekking tot de toepasbaarheid van op ODE gebaseerde technieken.

Methodologie
De auteurs hanteren een PDE-benadering, waarbij zij specifiek methoden aanpassen die gebruikt worden voor hogere-orde conformale vergelijkingen met geïsoleerde singulariteiten. De kernmethodologie omvat:

1. Afleiding van de Representatieformule: In plaats van te vertrouwen op ODE-technieken (die falen door de convolutie-term) of het maximumprincipe (dat gecompromitteerd wordt door niet-lokaliteit), stellen de auteurs een integraal-representatieformule vast voor de singuliere oplossingen. Dit wordt bereikt door de geïsoleerde singulariteiten van de Poisson-vergelijking te karakteriseren en de eindige totale kromming-voorwaarde te gebruiken om de groei van de oplossing te beheersen.
2. Decompositie van Oplossingen: De oplossing $u$ wordt opgedeeld in drie delen: een singuliere logaritmische term ($b \ln |x|$), een reguliere harmonische (of polyharmonische) term ($h$), en een potentiaal-term ($v$) gegenereerd door de niet-lokale bron.
3. Regulariteitsanalyse: De auteurs analyseren de regulariteit van de potentiaal-term $v$. Door vast te stellen dat de bronterm tot $L^{p_0}_{loc}$ behoort voor een bepaalde $p_0 > 1$ onder specifieke beperkingen op de exponent $b$ en $\alpha$, passen zij standaard elliptische regulariteitstheorie toe (Sobolev-inbedding en $W^{k,p}$-schattingen) om te bewijzen dat $v$ lokaal Hölder-continu is.
4. Extensie naar Hogere Dimensies en Ordes: De analyse wordt uitgebreid naar hogere-orde Hartree-type vergelijkingen in dimensies $n \ge 3$:
   • Even Dimensies ($n \ge 4$): Voor de vergelijking $(-\Delta)^{n/2} u = (\frac{1}{|x|^\alpha} * e^u) e^u$.
   • Oneven Dimensies ($n \ge 3$): Voor dezelfde vergelijking geïnterpreteerd in de distributionele zin, aangezien $(-\-\Delta)^{n/2}$ een niet-lokale integraaloperator wordt.
   • In hogere dimensies is een extra vervalconditie nabij de oorsprong, $\int_{B_r \setminus \{0\}} |u(x)| dx = o(r^{n-2})$, vereist om hogere-orde afgeleide-termen in de representatieformule te elimineren.
5. Generalisatie: De resultaten worden gegeneraliseerd om een algemene niet-negatieve coëfficiënt $K(x) \in L^\infty(B_1)$ te bevatten.

Belangrijkste Bijdragen en Resultaten

• Asymptotische Representatie (Stelling 1.1): Voor het planaire geval ($n=2$) bewijzen de auteurs dat elke oplossing $u$ die voldoet aan de voorwaarde van eindige totale kromming de volgende representatie toelaat:
  $$u(x) = v(x) + h(x) + b \ln |x|,$$
  waarbij $h$ een gladde harmonische functie is, $v$ een specifieke integraal-potentiaal is, en $b > -2$ een constante is. Voorts, indien $\alpha \in (0, 2)$ en $b > \frac{\alpha-4}{2}$, gedraagt de oplossing zich als $u(x) = \phi(x) + b \ln |x|$ nabij de oorsprong, waarbij $\phi$ een Hölder-continue functie is.

• Hogere-orde Even Dimensies (Stelling 1.2): Voor even $n \ge 4$, onder de voorwaarde van eindige totale kromming en de aanvullende vervalconditie, geldt een vergelijkbare representatie:
  $$u(x) = v(x) + h(x) + b \ln |x|,$$
  waarbij $h$ polyharmonisch is ($( -\Delta)^{n/2} h = 0$) en $b > -n$. De Hölder-continuïteit van de restantterm wordt vastgesteld onder de conditie $b > \frac{\alpha-2n}{2}$.

• Hogere-orde Oneven Dimensies (Stelling 1.4): Voor oneven $n \ge 3$, waarbij de vergelijking in de distributionele zin wordt behandeld, wordt dezelfde asymptotische structuur afgeleid. De auteurs definiëren oplossingen in de ruimte $L^{n/2}(\mathbb{R}^n) \cap C^n(B_1 \setminus \{0\})$ en bewijzen de existentie van de logaritmische singulariteit en de Hölder-continue restant onder dezelfde beperkingen op $b$.

• Geldigheidsbereik van de Singulariteitscoëfficiënt: Het artikel stelt rigoureus vast dat de conditie $b > \frac{\alpha-2n}{2}$ noodzakelijk is om de voorwaarde van eindige totale kromming te laten gelden. Indien $b \le \frac{\alpha-2n}{2}$, divergeert de integraal van de niet-lokale term, wat in tegenspraak is met de initiële aanname.

• Extensie naar Algemene Coëfficiënten (Opmerking 1.7): De auteurs tonen aan dat deze resultaten zich uitstrekken tot vergelijkingen met een algemene niet-negatieve begrensde coëfficiënt $K(x)$, waarbij de integraal-representatie van $v$ dienovereenkomstig wordt aangepast.

Betekenis en Claims
Het artikel claimt een gat in de literatuur te vullen met betrekking tot Hartree-type vergelijkingen met geïsoleerde singulariteiten in twee dimensies. Hoewel classificatie en asymptotische resultaten bestaan voor lokale vergelijkingen (zoals de voorgeschreven scalaire kromming-vergelijking) en hogere-orde lokale Yamabe-vergelijkingen, was de niet-lokale aard van de Hartree-term in $\mathbb{R}^2$ nog niet voldoende behandeld.

De auteurs benadrukken dat hun op PDE gebaseerde benadering succesvol de beperkingen van ODE-methoden omzeilt (die de convolutie-term niet kunnen verwerken) en het falen van het maximumprincipe door niet-lokaliteit. Door een representatieformule vast te stellen en de Hölder-continuïteit van de niet-lokale potentiaal te bewijzen, bieden zij een volledige beschrijving van het asymptotisch gedrag van singuliere oplossingen nabij de oorsprong. Het werk verenigt ook de behandeling van even en oneven dimensies voor hogere-orde Hartree-vergelijkingen, waarmee bekende resultaten van lokale conformale geometrie worden uitgebreid naar niet-lokale settings.