Conformal Metrics on the Disk with Prescribed Negative Gaussian Curvature and Boundary Geodesic Curvature

1. Problem Statement

The paper addresses the prescribed curvature problem on the unit disk $D \subset \mathbb{R}^2$. The goal is to find a conformal metric $g = e^u \tilde{g}$ (where $\tilde{g}$ is the standard Euclidean metric) such that the Gaussian curvature $K$ and the geodesic curvature $h$ on the boundary $\partial D$ take prescribed values.

This leads to the following nonlinear elliptic system with a Neumann boundary condition:
$$\begin{cases} -\Delta u = 2K(x)e^u & \text{in } D, \\ \frac{\partial u}{\partial \nu} + 2 = 2h(x)e^{u/2} & \text{on } \partial D. \end{cases} \tag{1.1}$$
Key Constraint: The authors focus specifically on the regime where the Gaussian curvature is negative ($K < 0$). This case is significantly more challenging than the positive curvature case (Nirenberg problem) because:

1. Standard variational methods often fail due to the lack of coercivity.
2. Blow-up sequences of solutions may have diverging area and length, meaning the standard compactness condition (bounded $L^1$ mass) does not automatically hold.
3. Existing techniques for positive curvature (e.g., parabolic flows or specific degree theories) do not apply directly.

2. Methodology

The authors employ a variational approach combined with perturbation theory and refined blow-up analysis.

A. Variational Framework and Perturbation

The problem is viewed as finding critical points of the energy functional $I: H^1(D) \to \mathbb{R}$:
$$I(u) = \int_D \left(\frac{1}{2}|\nabla u|^2 - 2K(x)e^u\right) dx + \int_{\partial D} \left(2u - 4h(x)e^{u/2}\right) ds.$$
Since the functional $I$ does not satisfy the Palais-Smale (PS) condition globally (due to potential blow-up), the authors introduce a perturbed functional $I_\varepsilon$:
$$I_\varepsilon(u) = I(u) + \varepsilon \frac{T(u)}{1+\varepsilon},$$
where $T(u)$ is a coercive term involving the Dirichlet energy and linear terms. The parameter $\varepsilon$ can be positive or negative.

B. Geometric Structure of the Functional

The existence of critical points for $I_\varepsilon$ relies on the sign of $\varepsilon$:

• Case $\varepsilon > 0$: The functional exhibits a Mountain-Pass geometry. The authors construct a path connecting two low-energy states that must cross a "mountain pass."
• Case $\varepsilon < 0$: The functional exhibits a 3-dimensional Linking structure. This is a novel contribution. The authors construct a specific map from the boundary of a 3-ball ($S^2$) into the function space such that the functional is low on the boundary but high on a specific set $M$ inside the ball. This structure is derived using a comparison with constant coefficient problems and bubble functions.

C. Struwe's Monotonicity Trick

To handle the lack of the PS condition, the authors apply Struwe's monotonicity trick. This allows them to find a bounded sequence of critical points (or approximate critical points) for almost every $\varepsilon$ in a small interval, while controlling the Morse index of the solutions (specifically, index $\le 1$ for $\varepsilon > 0$ and index $\le 3$ for $\varepsilon < 0$).

D. Refined Blow-Up Analysis

The core difficulty is passing to the limit as $\varepsilon_n \to 0$. The authors utilize a refined blow-up analysis for solutions with bounded Morse index.

• They rely on previous results (López-Soriano et al. [35]) showing that bounded Morse index implies the singular set (blow-up points) is finite and lies on the boundary.
• They perform a fine asymptotic expansion of the solutions near the blow-up point $p$.
• They derive Kazdan-Warner type identities for the perturbed problem to relate the blow-up location to the geometry of the curvatures.
• A crucial step is proving that if a blow-up occurs, the location $p$ must satisfy specific conditions regarding the auxiliary function $\Phi(x) = H(x) + \sqrt{H(x)^2 + K(x)}$, where $H$ is the harmonic extension of $h$.

3. Key Contributions

1. Existence for Negative Curvature: The paper provides the first general existence results for prescribed negative Gaussian curvature on the disk without assuming symmetry (unlike previous works [36, 37]).
2. New Linking Structure: The construction of a 3-dimensional linking geometry for the case $\varepsilon < 0$ is a significant technical innovation, expanding the toolkit for geometric variational problems with negative curvature.
3. Handling Diverging Mass: The authors successfully navigate the regime where solutions may have unbounded area and length. By controlling the Morse index, they prove compactness despite the lack of uniform mass bounds.
4. Sharp Blow-Up Conditions: They establish precise necessary conditions for blow-up points involving the normal and tangential derivatives of the auxiliary function $\Phi$, which are used to derive contradictions under specific geometric assumptions.

4. Main Results

The paper proves the existence of solutions under natural geometric assumptions on $K$ and $h$.

Theorem 1.1 (Main Existence Result):
Assume $K \in C^2(D)$, $h \in C^2(\partial D)$, and $K < 0$. The problem admits a solution if:

• Condition (a): $\min_{\partial D} h > \max_{\partial D} \sqrt{|K|}$.
• AND either:
  • (b-): $\partial_\nu \Phi(x) < 0$ for all $x \in \partial D$ where $\partial_\tau \Phi(x) = 0$.
  • (b+): $\partial_\nu \Phi(x) > 0$ for all $x \in \partial D$ where $\partial_\tau \Phi(x) = 0$.

Theorem 2.1 & 2.2 (Refined Conditions):

• If condition (b-) holds, condition (a) can be relaxed to require only that there exists some point where $h(x) > \sqrt{|K(x)|}$ and specific non-degeneracy conditions on the function $D(x) = h(x)/\sqrt{|K(x)|}$.
• If condition (b+) holds, condition (a) is strictly required.

Significance of Conditions:
The conditions (b-) and (b+) are shown to be necessary. The authors provide counterexamples (using Kazdan-Warner identities) showing that if these conditions are violated, no solution exists, even if the other curvature constraints are met.

5. Significance and Impact

• Resolution of Open Problems: This work resolves the existence question for the prescribed curvature problem on the disk in the negative curvature regime, a case that was previously only understood under symmetry assumptions or with restricted curvature ranges.
• Methodological Advancement: The combination of Struwe's monotonicity trick with a high-dimensional linking structure and refined blow-up analysis for bounded Morse index sequences sets a new standard for tackling non-compact variational problems in geometric analysis.
• Geometric Insight: The results clarify the interplay between the Gaussian curvature and the boundary geodesic curvature, demonstrating that the existence of a conformal metric is governed by the critical points of a specific auxiliary function $\Phi$ derived from the curvatures.

In summary, the paper successfully establishes the existence of conformal metrics with prescribed negative curvature on the disk by overcoming the lack of compactness through a sophisticated variational strategy and a detailed analysis of blow-up behavior.