Boundary Blowup Solutions for the Finsler p-Laplacian: Wellposedness and Asymptotic Behaviour

Technical Summary: Boundary Blowup Solutions for the Finsler p-Laplacian

Problem Statement
This paper investigates the existence, uniqueness, and asymptotic behavior of positive large (boundary blow-up) solutions to semilinear equations driven by the Finsler $p$-Laplacian on bounded domains $\Omega \subset \mathbb{R}^n$ with $C^2$ boundaries. The primary equation under consideration is:
$$\begin{cases} \text{div}\left( H^{p-1}(\nabla u) \nabla H(\nabla u) \right) = f(u) & \text{in } \Omega, \\ u(x) \to \infty & \text{as } \text{dist}(x, \partial \Omega) \to 0, \end{cases}$$
where $2 \le p < \infty$, $H: \mathbb{R}^n \to [0, +\infty)$ is a Minkowski norm satisfying strong convexity, and $f$ is a continuous, strictly increasing nonlinearity with $f(0)=0$. The operator on the left, denoted $\Delta_p^H$, represents an anisotropic generalization of the standard $p$-Laplacian. The study focuses on how the anisotropic geometry induced by $H$ and its dual norm $H^0$ influences the solvability and boundary behavior of these solutions.

Methodology
The analysis employs a combination of variational methods, comparison principles, and geometric analysis tailored to Minkowski spaces.

1. Preliminaries and Monotonicity: The authors establish strict monotonicity properties of the Finsler $p$-Laplacian operator using the strong convexity of $H$. Key tools include the $H$-Hölder inequality and specific inequalities relating $H$ and its dual $H^0$ (the Wulff shape).
2. One-Dimensional Analysis: The problem is first reduced to a one-dimensional setting on an interval. Here, the authors explicitly construct solutions using phase-plane analysis and integral representations. This step is crucial for deriving the necessary and sufficient conditions for blow-up and establishing the precise asymptotic rate near the boundary in the simplest case.
3. Comparison Principle: A comparison principle is proven for weak solutions in higher dimensions. This result, which relies on the strict monotonicity of the operator and the behavior of the nonlinearity $f$, is used to bound solutions and establish uniqueness.
4. Existence via Approximation: The existence of large solutions in higher dimensions is constructed as the limit of a sequence of solutions to Dirichlet problems with finite boundary data $u|_{\partial \Omega} = k$ as $k \to \infty$. The sequence is shown to be increasing and locally uniformly bounded using barrier functions constructed on Wulff balls (balls defined by the dual norm $H^0$).
5. Asymptotic Analysis: The boundary behavior is analyzed by comparing the solution $u$ with radial solutions defined on annuli with respect to the dual norm $H^0$. The authors utilize the uniform interior and exterior ball conditions of the $C^2$ domain in the Minkowski space to construct appropriate sub- and super-solutions.

Key Contributions and Results

• Keller–Osserman Condition: The paper establishes that the existence of large solutions is governed by the Keller–Osserman condition. Remarkably, despite the anisotropic nature of the operator, the integrability condition retains the same structure as in the isotropic $p$-Laplacian case:
  $$\int_r^\infty \frac{ds}{\{F(s)\}^{1/p}} < \infty, \quad \forall r > 0,$$
  where $F$ is the primitive of $f$. The anisotropy only appears as a multiplicative constant in the one-dimensional reduction, leaving the integrability requirement invariant.
• Boundary Asymptotics: The authors derive precise asymptotic estimates for large solutions near the boundary. Let $\delta_{H^0}(x) = \inf_{z \in \partial \Omega} H^0(x-z)$ be the distance to the boundary measured in the dual norm. The main asymptotic result states:
  $$\lim_{\delta_{H^0}(x) \to 0} \frac{\Psi_{H,p}(u(x))}{\delta_{H^0}(x)} = 1,$$
  where $\Psi_{H,p}$ is a specific integral transform of $f$. For power-type nonlinearities $f(t) = t^q$ ($q > p-1$), this yields the explicit blow-up rate:
  $$\lim_{\delta_{H^0}(x) \to 0} \frac{u(x)}{\Phi(\delta_{H^0}(x))} = 1,$$
  where $\Phi$ is the inverse of $\Psi_{H,p}$.
• Uniqueness: Using the derived asymptotic estimates and the comparison principle, the paper proves that for power-type nonlinearities $f(t) = t^q$ with $q > p-1$, the boundary blow-up solution is unique.
• Geometric Role of the Wulff Shape: The analysis highlights that the solution exhibits radial symmetry with respect to the Wulff shape (the unit ball of the dual norm $H^0$). Consequently, the barrier constructions and distance functions used in the proofs are naturally defined via $H^0$ rather than the Euclidean metric.

Significance and Scope
The paper extends classical results regarding large solutions for the Laplacian and $p$-Laplacian to the anisotropic framework of Finsler geometry. While the fundamental integrability condition (Keller–Osserman) remains unchanged due to the equivalence of norms, the technical analysis requires handling the specific geometry induced by $H$ and $H^0$. The authors note that the study of such anisotropic problems dates back to Wulff's work on crystallography, and these operators appear in physical contexts such as minimal surface energy, crystal growth, and image processing.

The work provides a rigorous foundation for understanding how anisotropy affects the blow-up behavior of solutions, demonstrating that while the rate of blow-up is modified by the dual norm geometry, the existence criteria remain robustly similar to the isotropic case. The paper does not propose new experimental applications but rather solidifies the theoretical underpinnings for the Finsler $p$-Laplacian in the context of boundary blow-up problems.