Asymptotic behavior of solutions to elliptic problems with Robin boundary conditions
Pith reviewed 2026-05-10 16:20 UTC · model grok-4.3
The pith
Positive solutions to the Robin problem -Δu = u^p approach a constant as β tends to zero, with uniform blow-up for p < 1, convergence to a fixed constant for p = 1, and uniform decay to zero for p > 1.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For all p ≥ 0 the solution u_β to the Robin problem behaves like a constant as β → 0, blowing up uniformly when 0 ≤ p < 1, converging to a constant when p = 1, and converging uniformly to zero when p > 1. In the critical and supercritical regime p ≥ (N+2)/(N-2) on a ball, a radial positive solution exists whenever 0 < β < 2/(p-1).
What carries the argument
The Robin boundary condition ∂u/∂ν + β u = 0 with vanishing β, which enforces a balance between the normal derivative and a small multiple of the boundary value and thereby forces interior solutions to become nearly constant.
If this is right
- For sublinear nonlinearities the solutions become arbitrarily large at every point inside the domain once β is sufficiently small.
- For the linear case p = 1 the solutions approach a positive constant determined by the first eigenvalue or related data.
- For superlinear p > 1 the solutions vanish uniformly, recovering the trivial solution in the limit.
- In critical and supercritical regimes on balls, radial solutions are guaranteed to exist for all sufficiently small positive β below the explicit threshold 2/(p-1).
Where Pith is reading between the lines
- The flattening to constants suggests Robin conditions with tiny β can serve as a practical way to force near-constant profiles in numerical or modeling contexts.
- The radial existence result on balls may indicate that similar constructions are possible on more general domains if one relaxes radial symmetry.
- One could test the blow-up or decay rates numerically by computing solutions on simple domains for successively smaller β and checking uniformity of the limit.
Load-bearing premise
The analysis assumes positive solutions exist for every fixed β > 0 and that the domain is smooth.
What would settle it
A sequence of positive solutions u_β for β_n → 0 that fails to approach any constant function uniformly, for example by developing persistent interior oscillations or by not blowing up or decaying according to the stated regimes for a given p.
read the original abstract
In this paper, we investigate the asymptotic behavior, as $\beta \to 0$, of positive solutions to the semilinear elliptic Robin problem \begin{equation*} \begin{cases} -\Delta u = u^p, & \text{in } \Omega,\\ u > 0, & \text{in } \Omega,\\ \frac{\partial u}{\partial \nu} + \beta u = 0, & \text{on } \partial \Omega, \end{cases} \end{equation*} where $p \ge 0$, $\beta > 0$, and $\Omega$ is a bounded smooth domain. We will prove that, for all $p\ge0$, the solution $u_\beta$ behaves like a constant as $\beta\to0$. However, the value of this constant is strongly influenced by the value of $p$. Indeed, \begin{itemize} \item if $0 \le p < 1$, $u_\beta$ blows up uniformly in $\Omega$ as $\beta \to 0$. \item if $p=1$ (eigenvalue problem), $u_\beta$ converge to a constant. \item if $p>1$ $u_\beta$ converge uniformly to zero. \end{itemize} In the critical and supercritical regime $p \ge \frac{N+2}{N-2}$, the existence of solutions is no longer guaranteed a priori. In this case, when $\Omega$ is a ball and $0<\beta<\frac{2}{p-1}$ we prove the existence of a radial positive solution.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper investigates the asymptotic behavior as β → 0 of positive solutions u_β to the semilinear elliptic Robin problem −Δu = u^p in a bounded smooth domain Ω with boundary condition ∂u/∂ν + βu = 0, for p ≥ 0. It claims that for all p ≥ 0 the solutions behave like constants, specifically blowing up uniformly for 0 ≤ p < 1, converging to a constant for p = 1, and converging uniformly to zero for p > 1. Separately, in the critical/supercritical regime p ≥ (N+2)/(N-2), it proves existence of a radial positive solution on the ball when 0 < β < 2/(p−1).
Significance. If correct, the results would clarify how the vanishing Robin parameter interacts with the power nonlinearity to produce different limiting regimes (blow-up, constant, or decay to zero). The explicit existence construction on the ball for critical p fills a gap where a priori existence fails. The separation of the asymptotic analysis from the existence proof is logically coherent.
major comments (1)
- [Abstract] Abstract (and the main claim for p=1): the statement that 'if p=1 (eigenvalue problem), u_β converge to a constant' as β→0 presupposes a continuous family of positive solutions u_β existing for every β>0. For p=1 the PDE reduces to the linear problem −Δu = u with the given Robin condition. Positive solutions exist only for the isolated value of β at which the first Robin eigenvalue λ_1(β) equals 1 (since λ_1(β) is continuous and strictly monotone, with λ_1(β)→0 as β→0 and λ_1(β)→λ_1^D >0 as β→∞). For all other β the only solution is u≡0. This falsifies the standing assumption of a family u_β for all β>0 and renders the p=1 asymptotic claim undefined.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and for identifying an important oversight in our treatment of the linear case p=1. We address this comment below and will revise the paper accordingly.
read point-by-point responses
-
Referee: [Abstract] Abstract (and the main claim for p=1): the statement that 'if p=1 (eigenvalue problem), u_β converge to a constant' as β→0 presupposes a continuous family of positive solutions u_β existing for every β>0. For p=1 the PDE reduces to the linear problem −Δu = u with the given Robin condition. Positive solutions exist only for the isolated value of β at which the first Robin eigenvalue λ_1(β) equals 1 (since λ_1(β) is continuous and strictly monotone, with λ_1(β)→0 as β→0 and λ_1(β)→λ_1^D >0 as β→∞). For all other β the only solution is u≡0. This falsifies the standing assumption of a family u_β for all β>0 and renders the p=1 asymptotic claim undefined.
Authors: We agree with the referee's analysis. For p=1 the problem is indeed the linear eigenvalue problem −Δu = u subject to the Robin boundary condition. Positive solutions exist only at the unique isolated value β* > 0 for which the first Robin eigenvalue λ_1(β*) equals 1. Because λ_1(β) → 0 as β → 0, no positive solution exists for all sufficiently small β, and therefore no limiting process as β → 0 is defined. The manuscript's inclusion of p=1 in the general asymptotic statement was an oversight. We will revise the abstract, the introduction, and the statement of the main results to remove p=1 from the list of cases and to clarify that the asymptotic claims apply only for p ≠ 1. The p=1 case will be mentioned separately only to note that solutions exist solely at an isolated β and are given by the corresponding eigenfunction. The remainder of the asymptotic analysis (for 0 ≤ p < 1 and for p > 1) and the existence result in the critical regime are unaffected. revision: yes
Circularity Check
No significant circularity; asymptotics derived independently from PDE
full rationale
The paper states its main results as consequences of the semilinear elliptic equation and Robin boundary condition, using standard tools such as maximum principles, Green's identities, and integral estimates to obtain the uniform limits (blow-up, convergence to constant, or decay to zero) as β→0. These limits follow from the PDE structure once existence of u_β is granted; they do not reduce by algebraic substitution or redefinition to the input data or to any fitted parameter. The separate existence proof for the critical case on the ball is an explicit radial construction under the stated restriction on β and does not rely on the asymptotic statements. No self-citation is load-bearing for the central claims, and the derivation chain remains self-contained against the external PDE theory.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Positive solutions exist for each fixed β > 0 in the subcritical range
- standard math The domain Ω is bounded and smooth
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.