2025-11-10T03:04:57.110165

Singular Solutions of the Loewner-Nirenberg Problem in Conic Domains with Prescribed Singularity at Vertices

Zhou
We study positive singular solutions of the Loewner-Nirenberg problem on conical domains and establish the existence of solutions that admit prescribed asymptotic expansions near vertices, valid to arbitrarily high order of approximation.
academic

Singular Solutions of the Loewner-Nirenberg Problem in Conic Domains with Prescribed Singularity at Vertices

Basic Information

  • Paper ID: 2510.12010
  • Title: Singular Solutions of the Loewner-Nirenberg Problem in Conic Domains with Prescribed Singularity at Vertices
  • Author: Stephen Zhou (University of Notre Dame)
  • Classification: math.AP (Mathematical Analysis)
  • Publication Date: October 15, 2025 (arXiv preprint)
  • Paper Link: https://arxiv.org/abs/2510.12010

Abstract

This paper investigates positive singular solutions of the Loewner-Nirenberg problem on conic domains and establishes the existence of solutions with prescribed asymptotic expansions near vertices, valid to arbitrary order of approximation.

Research Background and Motivation

Problem Background

  1. Loewner-Nirenberg Problem: Studies the nonlinear elliptic equation on bounded domains Ω ⊂ ℝⁿ (n ≥ 3):
    Δu = (1/4)n(n-2)u^((n+2)/(n-2)) in Ω
    u = ∞ on ∂Ω
    
  2. Research Significance: This problem originates from the Yamabe problem in conformal geometry, studying the existence of conformal metrics with prescribed scalar curvature. The asymptotic behavior of singular solutions is crucial for understanding the geometric structure of conformally invariant equations.
  3. Limitations of Existing Theory:
    • Complete asymptotic theory exists for smooth boundary domains
    • Asymptotic expansion theory for Lipschitz domains, particularly conic domains, remains incomplete
    • Lack of systematic methods for constructing solutions with prescribed asymptotic behavior
  4. Research Motivation:
    • Develop precise asymptotic theory for singular solutions on conic domains
    • Establish methods for constructing true solutions from approximate solutions
    • Provide theoretical foundation for singular metrics in conformal geometry

Core Contributions

  1. Established higher-order asymptotic expansion theory for solutions of the Loewner-Nirenberg problem on conic domains
  2. Proved existence theorem for singular solutions with prescribed asymptotic behavior (Theorem 1.2)
  3. Developed construction methods based on spectral decomposition of linearized operators
  4. Introduced weighted Hölder space theory adapted to conic domain geometry
  5. Provided contraction mapping methods for constructing true solutions from approximate solutions

Detailed Methodology

Problem Formulation

Study the boundary blow-up problem on conic domains V ∩ B₁:

Δu = (1/4)n(n-2)u^((n+2)/(n-2)) in V ∩ B₁
u = ∞ on ∂V ∩ B₁

where V is an infinite Euclidean cone over a Lipschitz domain Σ on Sⁿ⁻¹.

Core Methodological Framework

1. Cylindrical Coordinate Transformation

  • Introduce cylindrical coordinates: θ = x/|x|, r = |x|, t = -ln(r)
  • Transform function: v = r^((n-2)/2)u
  • Convert the original problem to the equation in cylindrical coordinates:
    v_tt + Δ_θv - (1/4)(n-2)²v - (1/4)n(n-2)v^((n+2)/(n-2)) = 0
    

2. Linearized Operator Analysis

Define the linear operator:

Lv = ∂_ttv + Lv - β²v

where L is an elliptic operator on Σ:

Lu = Δ_θu - κ/ρ² u, κ = (1/4)n(n+2)

3. Spectral Decomposition Theory

  • Establish eigenvalue problem theory for operator L (Theorems 2.5-2.6)
  • Construct index set I = {∑ᵢmᵢγᵢ : mᵢ ∈ ℤ₊}, where γᵢ = √(λᵢ + β²)
  • Analyze solvability of linear equations using Fredholm alternative

4. Weighted Hölder Spaces

Introduce weighted spaces Λᵏ'ᵅμ,s([t₀,∞) × Σ) adapted to boundary degeneracy:

  • Use standard norms in the interior
  • Use scaled norms on degenerate cylindrical surfaces near the boundary
  • Weight parameter μ controls time decay, s controls spatial singularity

Technical Innovations

  1. Degenerate Elliptic Theory: Handle singularities of coefficient ρ⁻² on the boundary, establish Hardy inequalities and variational theory
  2. Scaling Estimation Techniques: Transform degenerate problems into standard elliptic problems through local coordinate changes and scaling
  3. Spectral Analysis Methods: Systematically analyze the spectral structure of linearized operators to determine asymptotic indices of solutions
  4. Contraction Mapping Construction: Design nonlinear map T(w) = L⁻¹P(w) - N(v̂) and prove its contractivity

Main Theorems

Theorem 1.2 (Main Existence Theorem)

Let ξ be a positive solution function of equations (2.4)-(2.5), and let I be the index set associated with Σ, with μ > γ₁ and μ ∉ I. Assume v̂ ∈ C²'ᵅ([0,∞) × Σ) satisfies:

  1. Approximation Condition:
    |v̂ - ξ| + ξ^(-2/(n-2))|∇(v̂ - ξ)| ≤ ξ^(-(n+2)/(n-2))ε(t)
    

    where ε(t) is a decreasing function with ε(t) → 0 as t → ∞
  2. Equation Approximation Condition:
    |N(v̂)(t,θ)| + ξ^(-2/(n-2))|∇(N(v̂))(t,θ)| ≤ Kξ(θ)⁻¹e^(-μt)
    

Conclusion: There exist t₀ > 0 and a solution v ∈ C²'ᵅ([t₀,∞) × Σ) such that:

|v(t,θ) - v̂(t,θ)| ≤ Cξ(θ)^(-(n+2)/(n-2))e^(-μt)

Proof Strategy

Step One: Establishment of Linear Theory

  1. Basic Estimates (Lemmas 2.1-2.3): Establish fundamental properties of solutions ξ and ρ = ξ^(-2/(n-2))
  2. Spectral Theory (Theorems 2.5-2.7): Analyze eigenvalues and eigenfunctions of operator L
  3. Regularity Estimates: Establish Schauder estimates in weighted spaces

Step Two: Solvability of Linear Equations

  1. Finite-Dimensional Subspace (Lemma 2.12): Construct exponentially decaying solutions
  2. Infinite-Dimensional Complement (Lemma 2.13): Utilize variational methods and energy estimates
  3. Complete Invertibility (Theorem 2.14): Prove invertibility of L: Λ²'ᵅμ,s → Λ⁰'ᵅμ,s-2

Step Three: Nonlinear Contraction Mapping

  1. Map Definition: T(w) = L⁻¹P(w) - N(v̂)
  2. Boundedness Proof: T maps balls to balls
  3. Contractivity Proof: Utilize Lipschitz properties of nonlinear terms
  4. Fixed Point Existence: Apply Banach fixed-point theorem

Step Four: Approximate Solution Construction

Construct approximate solutions v̂ satisfying the conditions through perturbation of linearized solutions (Proposition 4.2).

Technical Difficulties and Solutions

1. Handling Boundary Singularities

  • Problem: Coefficient ρ⁻² diverges on ∂Σ
  • Solution: Introduce Hardy inequalities, establish degenerate elliptic theory

2. Nonlinear Term Estimation

  • Problem: Growth of nonlinear term v^((n+2)/(n-2))
  • Solution: Exploit special structure of ξ, eliminate main singularities through variable substitution v = ρ²w

3. Weighted Space Theory

  • Problem: Standard Hölder spaces inapplicable to degenerate problems
  • Solution: Design degenerate cylindrical surfaces and scaled norms adapted to geometry

4. Spectral Analysis Complexity

  • Problem: Complex spectral structure of operator L
  • Solution: Utilize separation of variables and ODE theory, establish complete eigenvalue theory

Application Prospects

Theoretical Significance

  1. Conformal Geometry: Provide theoretical foundation for existence of singular conformal metrics
  2. PDE Theory: Advance asymptotic theory of degenerate elliptic equations
  3. Spectral Theory: Promote spectral analysis of singular elliptic operators

Practical Applications

  1. Numerical Computation: Provide high-precision approximation methods for boundary blow-up problems on conic domains
  2. Geometric Modeling: Handle singular geometries in computer graphics
  3. Physical Applications: Study singular spacetime geometries in general relativity

In-Depth Evaluation

Strengths

  1. Theoretical Completeness: Establishes complete framework from linear theory to nonlinear existence
  2. Technical Innovations:
    • Systematic development of degenerate elliptic theory
    • Clever design of weighted Hölder spaces
    • Effective application of scaling methods
  3. Method Generality: Framework generalizable to other conformally invariant equations
  4. Mathematical Rigor: Detailed proofs with precise estimates

Limitations

  1. Technical Complexity: Methods involve multiple advanced theories, difficult to implement
  2. Geometric Restrictions: Applicable only to conic domains; generalization to general singular domains unclear
  3. Computational Implementation: Numerical verification and computational implementation of theoretical results not addressed
  4. Application Scope: Primarily theoretical results; limited demonstration of practical applications

Impact Assessment

  1. Academic Value: Makes important contributions to conformal geometry and elliptic equation theory
  2. Methodological Significance: Provides new paradigm for handling singular elliptic problems
  3. Follow-up Research: Provides technical foundation and inspiration for related problem research

Applicable Scenarios

  1. Mathematical Research: Conformal geometry, elliptic equation theory, spectral theory
  2. Numerical Analysis: High-precision solution of boundary blow-up problems
  3. Geometric Analysis: Singular metrics and curvature problems
  4. Theoretical Physics: Singular spacetime research in general relativity

Conclusion and Outlook

This paper achieves significant breakthrough in studying the Loewner-Nirenberg problem on conic domains, establishing complete asymptotic theory and existence theorems. The main value of this work lies in:

  1. Theoretical Contribution: Fills gaps in conformal invariant equation theory on conic domains
  2. Method Innovation: Develops systematic methods for handling geometric singularities
  3. Technical Progress: Advances theory of degenerate elliptic equations

Future Directions:

  • Generalize to more general singular domains
  • Develop corresponding numerical methods
  • Explore applications in other geometric problems
  • Study higher-dimensional and fractional-order generalizations

This is a high-quality theoretical mathematics paper that makes substantial contributions to conformal geometry and elliptic equation theory, with significant academic value and theoretical importance.