🔢 mathematics

Two-bump axisymmetric solutions of the Nirenberg problem

This paper constructs two-bump axisymmetric solutions to the Nirenberg problem in dimensions $n \geq 4$ for prescribed scalar curvature functions with specific flatness conditions near the poles, demonstrating that a loss of compactness via two-bump blow-up occurs only on one side of a critical hypersurface $\Sigma^0$ while the solution set remains compact on the other.

Original authors: Yanyan Li, Luc Nguyen, Bo Wang

Published 2026-06-09

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Yanyan Li, Luc Nguyen, Bo Wang

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you have a perfectly round balloon (a sphere). In mathematics, there is a famous puzzle called the Nirenberg problem. The question is simple: If you want to paint a specific pattern of "curvature" (how bumpy or flat the surface is) all over this balloon, can you stretch or shrink the balloon's skin to match that pattern exactly?

Usually, the answer is "yes," but sometimes, depending on the pattern, the skin might try to stretch infinitely thin in certain spots, causing the math to "break" or "blow up."

This paper, written by YanYan Li, Luc Nguyen, and Bo Wang, investigates a very specific, symmetrical version of this puzzle. Here is the breakdown of their discovery using everyday analogies:

1. The Setup: A Symmetrical Balloon

The authors look at a balloon where the pattern they want to paint is perfectly symmetrical, like a globe with a North Pole and a South Pole. They are interested in patterns that are "flat" at these two poles.

Think of the poles as the top and bottom of a spinning top. The authors are looking at patterns where the surface is very smooth and flat right at the very tip of the North and South poles.

2. The "Danger Zone" (The Critical Hypersurface)

Mathematicians already knew that if the parameters (the numbers describing the pattern at the poles) are just right, the solution is stable. But if you get too close to a specific "danger line" (which they call $\Sigma_0$ ), things get messy.

Imagine walking toward a cliff edge.

If you stay on the "safe side" of the cliff, the ground is solid, and you can walk around without falling.
If you step onto the "danger side," the ground might crumble, and you might fall off a cliff (in math terms, the solution "blows up" or becomes infinite).

3. The Big Discovery: One-Sided Collapse

Before this paper, mathematicians knew that if you got close to the cliff edge, something bad could happen. But they didn't know exactly when or from which side the ground would crumble.

This paper acts like a very precise surveyor. They discovered that the cliff edge doesn't crumble on both sides. It only collapses from one specific side.

The "Safe" Side: If you approach the danger line from one direction, the balloon skin stays stable. You can find a perfect solution, no matter how close you get.
The "Danger" Side: If you approach from the opposite direction, the solution explodes. The "bumps" on the balloon grow infinitely large near the North and South poles.

4. The Secret Ingredient: The "Next-Order" Terms

How do you know which side is the safe side and which is the danger side?

The authors found that the first few numbers describing the pattern aren't enough. You need to look at the next layer of detail (the "next-order terms").

Think of it like tasting a soup.

The first taste tells you it's salty (the main coefficients).
But to know if the soup is about to boil over, you need to taste the very next hint of flavor (the next-order flatness terms).

The authors proved that these tiny, subtle details determine the direction of the collapse.

If the "next flavor" is positive in a specific way, the cliff is on your left.
If it's negative, the cliff is on your right.

5. The "Two-Bump" Solution

When the math blows up on the "danger side," it doesn't just blow up randomly. It creates a specific shape: Two Bumps.

Imagine the balloon skin suddenly inflating into two massive, towering mountains—one right at the North Pole and one right at the South Pole. The authors successfully constructed these "two-bump" solutions. They showed that these specific, extreme shapes only appear when you approach the danger line from the correct (dangerous) side.

Summary

In simple terms, this paper solves a mystery about a mathematical balloon.

The Problem: Can we shape a balloon to match a specific bumpy pattern?
The Known Risk: Sometimes, near a specific "danger line," the math breaks.
The New Insight: The math doesn't break on both sides of the line. It only breaks on one side.
The Cause: A tiny, subtle detail in the pattern (the "next-order" term) acts like a switch, deciding which side is safe and which side causes the balloon to inflate into two massive, infinite mountains.

The authors didn't just say "it breaks"; they mapped out exactly where the break happens and what shape the break takes, refining our understanding of how these geometric puzzles behave.

Technical Summary: Two-Bump Axisymmetric Solutions of the Nirenberg Problem

Problem Statement
This paper addresses the Nirenberg problem on the standard $n$ -sphere ( $S^n$ , $n \ge 4$ ), which seeks a conformal metric $g = u^{4/(n-2)}g_0$ with a prescribed scalar curvature function $K$ . The equation governing this problem is:
$-L_{g_0}u := -\Delta_{g_0}u + c(n)R_0u = c(n)K u^{\frac{n+2}{n-2}} \quad \text{on } S^n,$
where $c(n) = \frac{n-2}{4(n-1)}$ and $R_0 = n(n-1)$ .

The authors focus on axisymmetric solutions where the prescribed curvature function $K$ has critical points at the north ( $P_2$ ) and south ( $P_1$ ) poles with a specific order of flatness, $n-2$ . The behavior of the solution set near a critical hypersurface $\Sigma_0$ in the parameter space is the central object of study. Previous work established that the solution set is compact when parameters stay away from $\Sigma_0$ , but compactness is lost as parameters approach $\Sigma_0$ . The specific question addressed here is the precise nature of this loss of compactness: does blow-up occur on both sides of $\Sigma_0$ , or is it localized to one side?

Methodology
The authors employ a Lyapunov-Schmidt reduction combined with finite-dimensional analysis to construct solutions. The strategy involves the following steps:

Ansatz Construction: Solutions are sought in the form of a superposition of two "bumps" (concentrated near the poles) plus a correction term:
$u = \sum_{i=1}^2 \alpha_i \delta_{P_i, t_i} + v,$
where $\delta_{P_i, t_i}$ are standard bubble solutions, $t_i$ represent the concentration scales, $\alpha_i$ are scaling coefficients, and $v$ is a small remainder orthogonal to the kernel of the linearized operator.
Finite-Dimensional Reduction: Using the implicit function theorem, the authors solve for the coefficients $\alpha(t)$ and the remainder $v(t)$ in terms of the concentration parameters $t = (t_1, t_2)$ . This reduces the infinite-dimensional PDE to a system of two algebraic equations, $H(t) = 0$ , governing the scales $t_1$ and $t_2$ .
Asymptotic Analysis near $\Sigma_0$ : Near the critical hypersurface $\Sigma_0$ , the leading-order part of the system $H(t)$ becomes singular (the associated matrix $A_\nu$ becomes non-invertible). The authors introduce rescaled variables $\beta$ (capturing the common scale) and $s$ (capturing the relative strength of the bubbles) to analyze the system.
Higher-Order Expansion: The solvability of the reduced system depends crucially on the next-order terms in the expansion of $K$ at the poles. The authors assume $K$ has the form:
$K(\theta) = K_i + a_i(\text{dist})^{n-2} + b_i(\text{dist})^{\mu_i} + \dots$
where $\mu_i \in (n-2, n)$ . The analysis distinguishes between cases where the flatness exponents are equal ( $\mu_1 = \mu_2$ ) or distinct ( $\mu_1 \neq \mu_2$ ).

Key Contributions and Results
The paper provides a one-sided refinement of the previously known blow-up phenomenon near $\Sigma_0$ . The main result, Theorem 1.1, establishes that the existence of two-bump axisymmetric solutions with unbounded $L^\infty$ norm (blow-up) is determined by the sign of specific higher-order coefficients of $K$ relative to the side of $\Sigma_0$ being approached.

Specifically, let $\nu = (K_1, K_2, -a_1, -a_2)$ be the parameters determined by the first two leading terms of $K$ .

Case $\mu_1 \neq \mu_2$ : The side of $\Sigma_0$ where blow-up occurs is determined by the sign of the coefficient $b_i$ corresponding to the smaller exponent $\mu_i$ . For instance, if $\mu_1 < \mu_2$ , blow-up occurs on the side where $b_1 > 0$ (specifically, approaching $\Sigma_0$ from $\Sigma_-$ yields blow-up if $b_1 > 0$ ).
Case $\mu_1 = \mu_2$ : The side of blow-up is determined by the sign of a quantity $F_{\mu,b}(\nu)$ $F_{μ, b} (ν)$ , which is a linear combination of the coefficients $b_1, b_2$ $b_{1}, b_{2}$ weighted by the leading parameters.
- If $F_{\mu,b}(\nu) > 0$ , blow-up occurs when approaching $\Sigma_0$ from $\Sigma_-$ .
- If $F_{\mu,b}(\nu) < 0$ , blow-up occurs when approaching $\Sigma_0$ from $\Sigma_+$ .

In all cases, the authors prove that on the "opposite" side of $\Sigma_0$ (determined by the signs of $b_i$ or $F_{\mu,b}$ ), the solution set remains compact (i.e., $\Lambda(K) < \infty$ ). This contrasts with previous results which only guaranteed that some sequence of parameters approaching $\Sigma_0$ leads to blow-up, without specifying the direction.

Significance
The paper claims to offer a sharper description of the blow-up behavior of the Nirenberg problem in dimensions $n \ge 4$ . By identifying that the next-order flatness terms of the prescribed curvature function $K$ dictate the directionality of the loss of compactness, the authors resolve the ambiguity of the blow-up phenomenon near the critical hypersurface $\Sigma_0$ .

The work demonstrates that the "two-bump blow-up" is not a generic feature of approaching $\Sigma_0$ from any direction, but is strictly localized to one side, determined by the finer geometric structure of $K$ . This refines the understanding of the topology of the solution set and the degree theory associated with the Nirenberg problem, showing that the index of the solution set changes from $-1$ to $0$ (or vice versa) across $\Sigma_0$ , with the specific transition governed by these higher-order terms.