Quantized Blow-Up Classification

• Quantized blow-up classification is a framework characterizing asymptotic concentration profiles and discrete energy quantization in nonlinear PDEs.
• By rescaling around singularities, the method rigorously describes bubble formation, scale-separation, and integer-multiple energy phenomena across diverse models.
• Techniques such as concentration–compactness, Moser–Trudinger inequalities, and bubble-tree decomposition provide essential tools for controlling and classifying singular behavior.

Quantized blow-up classification refers to the rigorous description of the asymptotic concentration profiles and energy distribution in sequences of solutions to nonlinear PDEs exhibiting finite-time or finite-point singularity formation, where the limiting measures (blow-up masses) are integer multiples of a universal “quantum” determined by the underlying equation. This phenomenon encodes both the number, scale-separation, spatial localization of “bubbles” or singularities, and the quantized nature of the limiting energy, and arises ubiquitously in geometric, semilinear, dispersive, and free-boundary problems. The classification has deep connections to critical elliptic theory, concentration-compactness, integrability, invariants, and quantized topological charges.

1. Foundational Examples: Elliptic and Nonlocal Quantized Blow-up

The canonical setting is the elliptic PDE with (possibly nonlocal) exponential nonlinearity. For $\Omega \subset \mathbb{R}^2$ bounded, $u_k$ solve

$$-u_k(x) = V_k(x) I_\mu [e^{\lambda u_k} \chi_{\Omega_k}](x) e^{\lambda u_k(x)},$$

where $$I_\mu[f](x) = \int_{\mathbb{R}^2} f(y)|x-y|^{-\mu} dy$$, $\mu \in (0,2)$, and $\lambda = (4-\mu)/4 \in (\frac12, 1)$. Under uniform $L^1$–mass bound and regularity, any sequence $u_k$ admits, up to subsequence, the alternatives:

• Compactness: $u_k$ bounded locally in $L^\infty$,
• Vanishing: $u_k \to -\infty$ locally uniformly,
• Finite blow-up: There are finitely many points $S = \{a^1, ..., a^m\}$ such that $u_k \to -\infty$ uniformly off $S$, and the measures

$$f_k(x)dx = V_k(x) I_\mu [e^{\lambda u_k}\chi_{\Omega_k}](x) e^{\lambda u_k(x)}dx \rightharpoonup \eta = \sum_{i=1}^m \alpha_i \delta_{a^i},$$

where, under strong regularity ($p = \infty$, $V_k \to V \in C^0$), each $\alpha_i = 8\pi N_i$, $N_i \in \mathbb{N}$, with total limiting energy being the sum of the $8\pi$ masses at each bubble center (Gluck, 22 Dec 2025).

This structure extends the classical Liouville quantization ($8\pi$) to nonlocal Choquard models, unifying the measure-valued “bubbling” scenario.

2. Mechanisms: Concentration-Compactness and Bubble Decomposition

Quantized blow-up arises through a robust concentration–compactness analysis. Starting from energy and integrability constraints, one proves by Brezis–Merle/Lions dichotomy that all losses of compactness (i.e., blow-up) are localized at finitely many points, with the energy density converging to atomic measures.

The next level is the precise characterization of the bubbles:

• Rescale $u_k$ around each blow-up point $a^i$ at its own scale $\delta_k^{(i)} \to 0$; the limiting profiles solve a global problem of the type $-\Delta v = e^{\lambda v}$ or, in nonlocal problems, $-v = I_\mu[e^{\lambda v}]e^{\lambda v}$ on $\mathbb{R}^2$ or $\mathbb{R}^N$,
• Each entire solution (bubble) carries the elementary quantized energy, e.g., $8\pi$ or its nonlocal/Finsler analog (Gluck, 22 Dec 2025, Huang et al., 22 Aug 2025),
• The bubbles are scale-separated, and there is no $L^1$ or weak-* mass in the “neck” between different bubbles.

This decomposition is enforced through Moser–Trudinger inequalities (local or nonlocal sup+inf bounds), precise rescaling arguments, and functional-analytic estimates.

3. Quantization Universality Across Models

The quantization law—energy concentrated as integer multiples of a minimal “bubble” mass—has a universal character, manifest in diverse PDEs:

• Classical Liouville or N-Liouville: $-Q_N u_n = V_n e^{u_n}$, with atomic blow-up masses $\mu_i \in C_N \kappa \mathbb{N}$ where $\kappa$ is the Wulff–volume for Finsler settings (Huang et al., 22 Aug 2025).
• Critical $Q$-curvature: $(-\Delta)^m u_k = V_k e^{2m u_k}$ on $\mathbb{R}^{2m}$, with elementary quantum $\Lambda_1 = (2m-1)! \,\mathrm{vol}(S^{2m})$ (Martinazzi, 2010).
• Type II singularity formation for dispersive PDEs: e.g., energy-supercritical NLS, derivative NLS, wave maps, Yang-Mills heat flow, where modulation analysis produces a discrete set of quantized blow-up rates, all tied to the spectral gap or integrable structure (Merle et al., 2014, Jeong, 2023, Yi, 2021, Jeong et al., 2024, Jeong et al., 12 Jan 2026).
• Two-dimensional singular Liouville systems, sinh-Gordon, and Toda systems, including coalescing Dirac poles and the selection of finitely or infinitely many quantized local masses depending on integrability or coupling strengths (Jevnikar et al., 2016, Battaglia et al., 2016, Tarantello, 2022).

The quantization constants (e.g., $8\pi$ for classical bubbles, $C_N \kappa$ for Finsler bubbles, multiples of $\Lambda_1$ in $Q$-curvature, or polynomial powers in dispersive rates) are determined by the unique entire solutions of the associated global problems.

4. Rigidity and Classification Theorems

A central achievement is the full classification of possible blow-up scenarios under regularity conditions:

• Finiteness of blow-up points: Energy constraints and a strong “no-neck” property guarantee only finitely many blow-up centers (Gluck, 22 Dec 2025, Martinazzi, 2010).
• Rigidity of multiplicities: Each point carries an integer multiple of the basic quantum, with mechanisms (bubble-tree decomposition) forbidding “fractional” or “diffuse” mass (Suzuki et al., 2014, Jevnikar et al., 2016, Battaglia et al., 2016).
• Uniqueness and exclusions: Under Dirichlet-type or finite oscillation boundary constraints, non-simple (multi-bubble) blow-up is excluded in singular Liouville-type equations at quantized singular sources; all blow-up is “simple” (D'Aprile et al., 2022). The possible failure of this rigidity is characterized precisely by vanishing derivatives of coefficients at the singular location (D'Aprile et al., 2024, Wu, 2023).
• Higher codimension in energy-supercritical or integrable dispersive problems: Classification of rate quantization leads to stable manifolds of solutions with each rate corresponding to a codimension-$(\ell-1)$ structure in initial data (Merle et al., 2014, Yi, 2021, Jeong et al., 12 Jan 2026, Jeong et al., 2024).
• In the free boundary and obstacle setting, all singularities correspond to unique, quantized homogeneous harmonic polynomials, reflecting the finiteness of possible blow-up profiles (Minne, 2015).

5. Analytical Structures and Proof Techniques

Proofs exploit a variety of analytical methods, including:

• Nonlocal Moser–Trudinger inequalities and the resulting sup+inf bounds, guaranteeing control over oscillations and ruling out non-quantized mass (Gluck, 22 Dec 2025, Huang et al., 22 Aug 2025).
• Profile selection and rescaling analysis: Maximal points are blown up at the correct scales to extract the limiting global profile, with classification of entire solutions yielding the basic quantum (Martinazzi, 2010, Suzuki et al., 2014).
• Modulation analysis and ODE reduction: In dispersive and parabolic models, extracting the evolution of relevant scale and symmetry parameters via orthogonality and conservation structure (integrable or approximate), leading to ODEs or finite-dimensional systems with quantized constant solutions (Merle et al., 2014, Yi, 2021, Jeong et al., 12 Jan 2026, Jeong et al., 2024).
• Fine Pohozaev-type identities and Fourier mode analysis are employed to prove rigidity and rule out exotic or non-simple blow-up (multi-peak) unless analytic vanishing conditions are satisfied (D'Aprile et al., 2024, Wu, 2023).
• Construction of bubble–tower and multi-bubble solutions via inductive recurrence or fixed-point arguments, as in Liouville systems or multi-component models (Jevnikar et al., 2016, Battaglia et al., 2016).

6. Extensions, Exotic Regimes, and Open Directions

Beyond the archetypal quantized regimes, several models permit or predict non-quantized (exotic) dynamics:

• The log–log regime for NLS and wave maps critical blow-up, which does not strictly fit into a quantized integer pattern but still features universality laws (Jeong, 2023).
• Exotic, super-polynomially decaying rates in critical dispersive equations, possible when the data reside outside the finite regularity needed for ODE reduction (Jeong et al., 12 Jan 2026).
• In system models (such as the Liouville–Toda hierarchy), parameter regimes transition from finitely to infinitely many possible quantized mass values, linked to Chebyshev polynomial recurrences (Battaglia et al., 2016).

Quantized classification continues to underpin advances in topological degree theory, bifurcation structure, singular geometry, and the uniqueness/stability program for bubbling dynamics. Open problems remain in multi-bubble interactions, energy supercriticality with weaker control, and the role of integrability in selecting or excluding intermediate rates.

7. Representative Results and Quantization Table

A summary of quantization in selected models:

Equation/Class	Quantum/Rate	Classification Principle
Liouville, $-\Delta u=V e^{u}$ on $\mathbb{R}^2$	$8\pi$	All blow-up masses integer $\times 8\pi$
$Q$-curvature, $(-\Delta)^m u=V e^{2m u}$	$(2m-1)!\,\mathrm{vol}(S^{2m})$	Integer multiples at isolated points
Finsler $N$-Liouville, $-Q_N u=V e^{u}$	$C_N\,\kappa$ ($\kappa =$ Wulff)	Integer multiples, anisotropic bubbles
Nonlocal Choquard-type, $-u=V\,I_\mu[e^{\lambda u}]e^{\lambda u}$	$8\pi$	Integer multiples under $L^\infty$-control (Gluck, 22 Dec 2025)
Derivative NLS, CM-DNLS $\lambda(t)\sim(T-t)^{2k}$	$2k$	Quantized ODE hierarchy, codimension $2k-1$ (Jeong et al., 12 Jan 2026)
Yang–Mills heat flow (d>10):	$\lambda(t)\sim(T-t)^{\ell/\gamma}$	Each $\ell \in \mathbb{N}$ is admissible (Yi, 2021)
Free boundary/unstable obstacle	Harmonic $2$-hom. polynomials	Only three types, structure classified (Minne, 2015)
Multi-component Liouville/Toda/sinh–Gordon	Explicit polynomials, multiples	Chebyshev polynomial, parametric quantized sequence

This taxonomy demonstrates the recurring and robust quantized structure of blow-up across nonlinear PDEs, with deep geometric, analytic, and spectral origins.