pith. sign in

arxiv: 2605.22345 · v1 · pith:LVABTGXCnew · submitted 2026-05-21 · 🧮 math.AP

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

Pith reviewed 2026-05-22 04:01 UTC · model grok-4.3

classification 🧮 math.AP
keywords boundary blow-up solutionsFinsler p-LaplacianKeller-Osserman conditionasymptotic estimatesuniquenesssemilinear elliptic equationsanisotropic operators
0
0 comments X

The pith

A Keller-Osserman condition with the same integrability as the p-Laplacian guarantees boundary blow-up solutions for the Finsler p-Laplacian.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies the existence of solutions that blow up at the boundary for semilinear equations driven by the Finsler p-Laplacian on bounded domains with smooth boundaries. It identifies a Keller-Osserman-type condition on the nonlinearity that guarantees such solutions exist and shows that the required integrability near the boundary is exactly the same as for the ordinary p-Laplacian. The anisotropic norm shapes the precise blow-up rate, which the authors derive explicitly as asymptotic estimates. These estimates then serve as the key tool to prove that solutions are unique when the nonlinearity is a power function.

Core claim

We establish a Keller-Osserman-type condition that ensures the existence of boundary blow-up solutions for semilinear equations driven by the Finsler p-Laplacian, and show that this condition retains the same integrability as that of the p-Laplacian. We examine the influence of the anisotropic norm on the boundary behaviour, derive asymptotic estimates for large solutions near the boundary, and use those estimates to prove uniqueness for power-type nonlinearities.

What carries the argument

The Keller-Osserman-type integrability condition adapted to the Finsler p-Laplacian, which supplies the barrier constructions needed for existence and the boundary asymptotics needed for uniqueness.

If this is right

  • Existence of blow-up solutions holds on any smooth bounded domain once the nonlinearity meets the adapted integrability condition.
  • The precise blow-up rate near the boundary is controlled by the specific anisotropic norm of the Finsler operator.
  • Uniqueness follows automatically for all power-type nonlinearities once the boundary asymptotics are available.
  • The same technique yields large solutions for a range of semilinear problems whose right-hand sides satisfy the integrability threshold.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result suggests that similar existence and uniqueness statements may hold for other anisotropic operators that inherit comparison principles from the p-Laplacian.
  • The boundary asymptotics could be used to construct explicit test functions for numerical approximation of blow-up solutions in anisotropic media.
  • If the integrability threshold remains unchanged under small perturbations of the norm, the same condition would cover a broader class of Finsler structures.

Load-bearing premise

The anisotropic norm underlying the Finsler p-Laplacian permits the same comparison principles and barrier constructions that work for the Euclidean p-Laplacian.

What would settle it

A concrete nonlinearity that satisfies the stated Keller-Osserman integrability condition yet produces no boundary-blow-up solution on a smooth bounded domain, or a direct computation showing that the derived asymptotic rate fails for a chosen Finsler norm.

read the original abstract

We study the existence of large or boundary blow-up solutions to semilinear equations involving the Finsler p-Laplacian on bounded domains with sufficiently smooth boundaries. We establish a Keller-Osserman-type condition that ensures the existence of such solutions, and show that this condition retains the same integrability as that of the p-Laplacian. We examine the influence of the anisotropic norm underlying the Finsler p-Laplacian on the boundary behaviour of the solution, then derive asymptotic estimates for large solutions near the boundary of the domain. Using these boundary asymptotics, we prove uniqueness results for power type nonlinearities.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript studies the existence of large or boundary blow-up solutions to semilinear equations involving the Finsler p-Laplacian on bounded domains with sufficiently smooth boundaries. It establishes a Keller-Osserman-type condition ensuring existence that retains the same integrability as the standard p-Laplacian case, examines the influence of the underlying anisotropic norm on boundary behavior, derives asymptotic estimates near the boundary, and uses these to prove uniqueness for power-type nonlinearities.

Significance. If the technical foundations hold, this extends classical boundary blow-up theory from the isotropic p-Laplacian to the Finsler setting, which is relevant for anisotropic models in geometry and materials science. The preservation of the integrability condition and the uniqueness results for power nonlinearities would be useful contributions, particularly if the barrier constructions are made explicit.

major comments (2)
  1. [Section 2] Section 2 (wellposedness): The comparison and maximum principles for the Finsler p-Laplacian are load-bearing for the existence result via sub- and supersolutions and for the subsequent Keller-Osserman analysis. The text invokes standard techniques from the isotropic case but does not supply a self-contained argument or a precise reference that accounts for the loss of rotational invariance and the direction-dependent ellipticity constants arising from a general convex homogeneous norm; this gap must be closed to support the central claims.
  2. [§3.1] §3.1 (barrier construction): The radial barrier functions used to derive the Keller-Osserman integrability condition appear to be carried over directly from the Euclidean p-Laplacian. For a general anisotropic norm these constructions require verification that the ellipticity constants remain uniformly controlled near the boundary; without this, the claimed retention of the same integrability threshold is not yet justified.
minor comments (2)
  1. [Introduction] The precise boundary regularity (e.g., C^{2,α} or C^3) required for the asymptotic estimates should be stated explicitly in the introduction and in the statement of the main theorems rather than left as 'sufficiently smooth'.
  2. [Notation] Notation for the Finsler norm is introduced in (1.1) but occasionally replaced by an equivalent symbol in later sections; a single consistent symbol throughout would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will revise the manuscript to strengthen the technical details where appropriate.

read point-by-point responses
  1. Referee: [Section 2] Section 2 (wellposedness): The comparison and maximum principles for the Finsler p-Laplacian are load-bearing for the existence result via sub- and supersolutions and for the subsequent Keller-Osserman analysis. The text invokes standard techniques from the isotropic case but does not supply a self-contained argument or a precise reference that accounts for the loss of rotational invariance and the direction-dependent ellipticity constants arising from a general convex homogeneous norm; this gap must be closed to support the central claims.

    Authors: We agree that a more explicit justification is warranted for the comparison and maximum principles in the anisotropic setting. In the revised version we will insert a self-contained proof of the weak comparison principle for the Finsler p-Laplacian. The argument adapts the standard monotone-operator techniques to the Finsler case by exploiting the uniform ellipticity that follows from the convexity and positive homogeneity of the norm; the ellipticity constants depend only on the norm and are independent of direction and position inside the domain. We will also add a precise reference to the literature on anisotropic elliptic operators that already treats this setting. revision: yes

  2. Referee: [§3.1] §3.1 (barrier construction): The radial barrier functions used to derive the Keller-Osserman integrability condition appear to be carried over directly from the Euclidean p-Laplacian. For a general anisotropic norm these constructions require verification that the ellipticity constants remain uniformly controlled near the boundary; without this, the claimed retention of the same integrability threshold is not yet justified.

    Authors: We acknowledge the need for an explicit verification. In the revision we will add a short subsection showing that the ellipticity constants of the linearized Finsler operator remain uniformly bounded in a tubular neighborhood of the boundary. Because any convex homogeneous norm is equivalent to the Euclidean norm (with constants depending only on the norm itself), and the boundary is assumed C^2, the distance function yields uniform control on the second derivatives appearing in the barrier computation. Consequently the same Keller-Osserman integral condition is recovered, and we will display the explicit dependence of the constants on the anisotropic norm. revision: yes

Circularity Check

0 steps flagged

No circularity detected; derivation self-contained

full rationale

The abstract describes establishing a Keller-Osserman-type condition with retained integrability, deriving boundary asymptotics influenced by the anisotropic norm, and proving uniqueness for power nonlinearities. No quoted equations or steps in the provided text reduce any central claim (existence, asymptotics, or uniqueness) to a fitted parameter, self-definition, or self-citation chain by construction. Wellposedness assumptions on comparison principles and barriers are presented as following from domain smoothness and norm properties, consistent with standard adaptations from the isotropic p-Laplacian literature rather than internal redefinition. This is the typical honest non-finding for papers relying on external comparison techniques without visible reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard domain regularity and comparison principles for Finsler operators; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption The boundary of the domain is sufficiently smooth to support barrier constructions and asymptotic analysis.
    Explicitly stated in the abstract as a prerequisite for the results.
  • domain assumption The Finsler norm allows the same integrability and comparison properties as the Euclidean p-norm.
    Claimed to retain the same integrability as the p-Laplacian.

pith-pipeline@v0.9.0 · 5629 in / 1303 out tokens · 41388 ms · 2026-05-22T04:01:29.113553+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages

  1. [1]

    K. Bal, P. Garain, and T. Mukherjee. On an anisotropicp-Laplace equation with variable singular exponent.Adv. Differ- ential Equations, 26(11-12):535–562, 2021

  2. [2]

    Bandle, A

    C. Bandle, A. Greco, and G. Porru. Large solutions of quasilinear elliptic equations: existence and qualitative properties. Boll. Un. Mat. Ital. B (7), 11(1):227–252, 1997

  3. [3]

    Bandle and M

    C. Bandle and M. Marcus. “Large” solutions of semilinear elliptic equations: existence, uniqueness and asymptotic be- haviour. volume 58, pages 9–24. 1992. Festschrift on the occasion of the 70th birthday of Shmuel Agmon

  4. [4]

    Bandle and M

    C. Bandle and M. Marcus. Asymptotic behaviour of solutions and their derivatives, for semilinear elliptic problems with blowup on the boundary.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 12(2):155–171, 1995

  5. [5]

    Bao, S.-S

    D. Bao, S.-S. Chern, and Z. Shen.An introduction to Riemann-Finsler geometry, volume 200 ofGraduate Texts in Math- ematics. Springer-Verlag, New York, 2000

  6. [6]

    Bellettini and M

    G. Bellettini and M. Paolini. Anisotropic motion by mean curvature in the context of Finsler geometry.Hokkaido Math. J., 25(3):537–566, 1996

  7. [7]

    Bieberbach.∆u=e u und die automorphen Funktionen.Math

    L. Bieberbach.∆u=e u und die automorphen Funktionen.Math. Ann., 77(2):173–212, 1916

  8. [8]

    Brezis.Functional analysis, Sobolev spaces and partial differential equations

    H. Brezis.Functional analysis, Sobolev spaces and partial differential equations. Universitext. Springer, New York, 2011

  9. [9]

    Chowdhury and N

    I. Chowdhury and N. N. Dattatreya. Boundary blow-up solutions of second order quasilinear equation on infinite cylinders. NoDEA Nonlinear Differential Equations Appl., 33(2):Paper No. 41, 24, 2026

  10. [10]

    U. Clarenz. The Wulffshape minimizes an anisotropic Willmore functional.Interfaces Free Bound., 6(3):351–359, 2004. BOUNDARY BLOWUP SOLUTIONS OF FINSLER P-LAPLACIAN ON BOUNDED DOMAINS 23

  11. [11]

    Cozzi, A

    M. Cozzi, A. Farina, and E. Valdinoci. Gradient bounds and rigidity results for singular, degenerate, anisotropic partial differential equations.Comm. Math. Phys., 331(1):189–214, 2014

  12. [12]

    Cozzi, A

    M. Cozzi, A. Farina, and E. Valdinoci. Monotonicity formulae and classification results for singular, degenerate, anisotropic PDEs.Adv. Math., 293:343–381, 2016

  13. [13]

    Crasta and A

    G. Crasta and A. Malusa. The distance function from the boundary in a Minkowski space.Trans. Amer. Math. Soc., 359(12):5725–5759, 2007

  14. [14]

    Della Pietra and G

    F. Della Pietra and G. di Blasio. Blow-up solutions for some nonlinear elliptic equations involving a Finsler-Laplacian. Publ. Mat., 61(1):213–238, 2017

  15. [15]

    D ´ıaz and R

    G. D ´ıaz and R. Letelier. Explosive solutions of quasilinear elliptic equations: existence and uniqueness.Nonlinear Anal., 20(2):97–125, 1993

  16. [16]

    L. C. Evans.Partial Differential Equations: Second Edition. AMS Graduate Series in Mathematics, 2010

  17. [17]

    J. B. Keller. Electrohydrodynamics. I. The equilibrium of a charged gas in a container.J. Rational Mech. Anal., 5:715–724, 1956

  18. [18]

    J. B. Keller. On solutions of∆u=f(u).Comm. Pure Appl. Math., 10:503–510, 1957

  19. [19]

    Lasry and P.-L

    J.-M. Lasry and P.-L. Lions. Nonlinear elliptic equations with singular boundary conditions and stochastic control with state constraints. I. The model problem.Math. Ann., 283(4):583–630, 1989

  20. [20]

    A. C. Lazer and P. J. McKenna. Asymptotic behavior of solutions of boundary blowup problems.Differential Integral Equations, 7(3-4):1001–1019, 1994

  21. [21]

    G. M. Lieberman. Asymptotic behavior and uniqueness of blow-up solutions of quasilinear elliptic equations.J. Anal. Math., 115:213–249, 2011

  22. [22]

    J. Matero. Quasilinear elliptic equations with boundary blow-up.J. Anal. Math., 69:229–247, 1996

  23. [23]

    Mezei and O

    I.-I. Mezei and O. Vas. Existence results for some Dirichlet problems involving Finsler-Laplacian operator.Acta Math. Hungar., 157(1):39–53, 2019

  24. [24]

    S.-i. Ohta. Uniform convexity and smoothness, and their applications in Finsler geometry.Math. Ann., 343(3):669–699, 2009

  25. [25]

    Osserman

    R. Osserman. On the inequality∆u≥f(u).Pacific J. Math., 7:1641–1647, 1957

  26. [26]

    Pucci and J

    P. Pucci and J. Serrin.The maximum principle, volume 73 ofProgress in Nonlinear Differential Equations and their Applications. Birkh¨auser Verlag, Basel, 2007

  27. [27]

    L. I. Rudin, S. Osher, and E. Fatemi. Nonlinear total variation based noise removal algorithms.Physica D: Nonlinear Phenomena, 60(1):259–268, 1992

  28. [28]

    Shen.Lectures on Finsler geometry

    Z. Shen.Lectures on Finsler geometry. World Scientific Publishing Co., Singapore, 2001

  29. [29]

    Taylor, J

    J. Taylor, J. Cahn, and C. Handwerker. Overview no. 98 i—geometric models of crystal growth.Acta Metallurgica et Materialia, 40(7):1443–1474, 1992

  30. [30]

    J. E. Taylor. Crystalline variational problems.Bull. Amer. Math. Soc., 84(4):568–588, 1978

  31. [31]

    Tolksdorf

    P. Tolksdorf. Regularity for a more general class of quasilinear elliptic equations.J. Differential Equations, 51(1):126–150, 1984

  32. [32]

    G. Wulff. Xxv. zur frage der geschwindigkeit des wachsthums und der aufl¨osung der krystallfl¨achen.Zeitschrift f¨ ur Kristal- lographie - Crystalline Materials, 34:449 – 530, 1901

  33. [33]

    Xia.On a class of anisotropic problems

    C. Xia.On a class of anisotropic problems. PhD thesis, Universit¨at Freiburg im Breisgau, 2012

  34. [34]

    Zeidler.Nonlinear functional analysis and its applications

    E. Zeidler.Nonlinear functional analysis and its applications. II/B. Springer-Verlag, New York, 1990. Nonlinear monotone operators, Translated from the German by the author and Leo F. Boron. N N Dattatreya IndianInstitute ofTechnology- Kanpur, India