The nonlocal Liouville-type equation in $\mathbb{R}$ and conformal immersions of the disk with boundary singularities

TL;DR

This paper analyzes the blow-up behavior of solutions to a fractional Liouville equation in one dimension, establishing quantization results and convergence properties, extending classical two-dimensional results to a fractional setting with boundary singularities.

Contribution

It provides the first sharp quantization and blow-up analysis for a fractional Liouville equation in one dimension, with minimal assumptions on the boundedness and sign-changing nature of the coefficient.

Findings

Solutions blow up at finitely many points or tend to minus infinity away from these points.

Quantization of blow-up masses with sharp bounds: multiples of π.

Convergence results in Sobolev spaces away from blow-up points.

Abstract

In this paper we perform a blow-up and quantization analysis of the fractional Liouville equation in dimension $1$. More precisely, given a sequence $u_k :\mathbb{R} \to \mathbb{R}$ of solutions to \begin{equation} (-\Delta)^\frac{1}{2} u_k =K_ke^{u_k}\quad \text{in }\mathbb{R}, \end{equation} with $K_k$ bounded in $L^\infty$ and $e^{u_k}$ bounded in $L^1$ uniformly with respect to $k$, we show that up to extracting a subsequence $u_k$ can blow-up at (at most) finitely many points $B=\{a_1,\dots, a_N\}$ and either (i) $u_k\to u_\infty$ in $W^{1,p}_{loc}(\mathbb{R}\setminus B)$ and $K_ke^{u_k} \stackrel{*}{\rightharpoondown} K_\infty e^{u_\infty}+ \sum_{j=1}^N \pi \delta_{a_j}$, or (ii) $u_k\to-\infty$ uniformly locally in $\mathbb{R}\setminus B$ and $K_k e^{u_k}\stackrel{*}{\rightharpoondown} \sum_{j=1}^N \alpha_j \delta_{a_j}$ with $\alpha_j\ge \pi$ for every $j$. This result, resting on the geometric interpretation and analysis provided in a recent collaboration of the authors with T. Rivi\`ere and on a classical work of Blank about immersions of the disk into the plane, is a fractional counterpart of the celebrated works of Br\'ezis-Merle and Li-Shafrir on the $2$-dimensional Liouville equation, but providing sharp quantization estimates ($\alpha_j=\pi$ and $\alpha_j\ge \pi$) which are not known in dimension $2$ under the weak assumption that $(K_k)$ be bounded in $L^\infty$ and is allowed to change sign.