{"id":"2807192a-15c6-4669-b107-2b58c9095cd8","arxiv_id":"2506.14579","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"An overdetermined p-Laplace problem forces the domain to be a half-space or to have strictly negative boundary mean curvature, under a condition on the nonlinearity.","lead":"This paper proves Modica-type gradient estimates and rigidity theorems for overdetermined p-Laplace problems in bounded or unbounded domains. If a positive solution exists with a nonpositive primitive F satisfying F(0) >= -(p-1)kappa^p/p, the domain must either be a half-space or have strictly negative mean curvature on its boundary.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The blow-up passages in Proposition 2.4 apply the C^3-based maximum-principle machinery to C^{1,alpha} limits u_infty of C^3 solutions, but Lemma 2.1 and the computation of the |grad u_infty|^p subsolution require C^3/C^2; no weak or viscosity justification is given, so Proposition 2.4 is…","rationale":"The reader correctly identified regularity as a weak point, but focused on the hypothesis u in C^3 in the main theorems rather than on the internal limiting argument. In the proof of Proposition 2.4, the limit functions u_infty are only C^{1,alpha}, so the classical P-function computations and maximum-principle applications are not automatically legitimate. This is a more substantive obstruction than the abstract issue or the missing reference noted by the reader. The result may be true and the gap may be fixable by a viscosity/weak formulation or by approximation, but as written the central estimate is not rigorously proved. Hence the paper should be accepted only conditionally on repairing this regularity gap.","tokens_in":15333,"tokens_out":31340,"duration_ms":320319,"concrete_test":"Check whether the differential inequalities used in the blow-up limits hold for C^{1,alpha} weak solutions. Specifically: (i) prove or disprove that a C^{1,alpha} weak solution u_infty of div(|grad u|^(p-2) grad u)+f(u)=0 satisfies the Q-subsolution inequality of Lemma 2.1 in the viscosity sense; (ii) for p-harmonic u_infty in Case 2, verify whether the inequality (2.23) for |grad u_infty|^p holds as a distribution identity when u_infty is the p-harmonic fundamental solution (which is C^{1,alpha} but not C^2). If either check fails or requires extra regularity, Proposition 2.4 needs a new argument.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The most load-bearing gap is in the proof of Proposition 2.4. The original solution u is assumed C^3, but the blow-up limits u_infty in both cases of Proposition 2.4 are obtained via interior C^{1,alpha} regularity (citations [13,24,43]) and are only C^{1,alpha} in general when p != 2. Nevertheless, the strong maximum principle is applied to Q_infty = (p-1)/p |grad u_infty|^p + F(u_infty) in Case 1 (after it is shown that Q_infty = beta on the connected component) and to |grad u_infty|^p in Case 2 via the computation (2.23). Lemma 2.1 derives the Q-subsolution inequality by differentiating u three times and Q twice; for p != 2 the second derivatives of u_infty need not exist classically. Similarly, equations (2.22)-(2.23) differentiate the p-harmonic equation that u_infty solves only in the weak sense. The paper gives no viscosity or distributional formulation of Lemma 2.1, no approximation argument, and no citation covering this limiting step. Since Proposition 2.4 is the core of Theorem 1.4 and hence of Theorem 1.1, the central claim is not established as written.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the overdetermined p-Laplace problem (1.1) on bounded or unbounded C^1 domains. Its main result, Theorem 1.1, is a geometric dichotomy: for a bounded C^3 solution u, if f admits a nonpositive primitive F with F(0) >= -(p-1) kappa^p / p (plus the flatness condition (1.4) when p > 2), then either Omega is a half-space and u is parallel, or the mean curvature of the boundary is strictly negative. The proof proceeds via a Modica-type estimate for the Q-function Q = ((p-1)/p)|nabla u|^p + F(u). Theorem 1.4 establishes Q <= max{0, F(0) + (p-1) kappa^p / p} and rigidity if equality is attained; Theorem 1.7 converts this estimate into a boundary curvature inequality. The technical core consists of Lemma 2.1 (a differential inequality for Q), Lemma 2.2 (a gradient bound via Harnack and a radial barrier), and Proposition 2.4 (a blow-up argument showing that sup Q cannot exceed the threshold).","tokens_in":15548,"tokens_out":18997,"duration_ms":194381,"significance":"The algebraic core of the paper is sound and represents a genuine extension of the Laplacian results of Ruiz-Sicbaldi-Wu [36] to the full range 1 < p < infinity. The proof of Lemma 2.1 is self-contained and the p-dependent coefficients are correct for both p >= 2 and 1 < p < 2; Lemma 2.2 also gives a cleaner gradient bound than the linear decomposition used in [36]. The geometric statement, splitting the alternative into half-space/parallel solution versus strictly negative mean curvature, is clear and falsifiable. However, the current version does not fully justify the application of the C^3 maximum-principle machinery to the C^{1,alpha} blow-up limits in Proposition 2.4, so the main estimate is not yet established as written. With a rigorous weak, viscosity, or approximation argument for the limiting step, the paper would be a valuable contribution to the overdetermined p-Laplace literature.","major_comments":[{"comment":"In Case 2, the blow-up limit u_infinity is obtained from interior C^{1,alpha} regularity and is in general only C^{1,alpha}; nevertheless the proof differentiates the p-harmonic equation (2.19) classically to derive (2.22), computes (a^{ij}(|nabla u_infinity|^p)_j)_i >= 0 in (2.23), and then applies the strong maximum principle to |nabla u_infinity|^p on the whole connected component Omega_tilde_infinity. All of these steps require second derivatives of u_infinity, or at least a weak or viscosity formulation, and none is supplied. At the maximum point z_infinity one has |nabla u_infinity(z_infinity)| > kappa > 0, so u_infinity is smooth in a small neighborhood of z_infinity, but this does not cover the component Omega_tilde_infinity on which the strong maximum principle is applied. Since this step is what makes u_infinity linear and feeds the barrier contradiction, Proposition 2.4 is not established as written; Theorems 1.4, 1.7, and 1.1 all depend on it. In Case 1 the corresponding issue is mitigated because beta > 0 forces nabla u_infinity(0) != 0 and hence local smoothness near each maximum point, but the paper does not state this explicitly.","section":"Section 2, Proposition 2.4, Case 2 (equations (2.19)-(2.23))"},{"comment":"The theorems state that Omega is a C^1 domain, but the mean curvature H(q) appearing in the conclusions and the boundary identities (2.28)-(2.30) require a C^2 boundary, or at least a second fundamental form defined in some specified sense. A C^1 boundary only has a continuous normal, so the statement as written is not well posed. The hypotheses should be changed to C^2 (or the notion of mean curvature for C^1 boundaries must be defined and its use justified).","section":"Section 1, Theorems 1.1 and 1.7; Section 2, equations (2.27)-(2.30)"},{"comment":"The assertion 'By unique continuation, u is parallel and Omega is either a half-space or a slab' is made without a reference or proof. For p != 2, the p-Laplace equation is degenerate at critical points of nabla u, and the usual unique continuation theorem for uniformly elliptic equations does not apply directly. The argument needs either a precise citation for strong unique continuation for this quasilinear equation or a proof that the already established local affine structure propagates to all of Omega.","section":"Proof of Theorem 1.7, final paragraph"}],"minor_comments":[{"comment":"Before defining G(u) via the integral with integrand (alpha_hat - F(s))^{-1/p}, the case alpha_hat = 0 should be explicitly excluded. It is in fact excluded by Step 1, since Q = alpha_hat and nabla u != 0 would be impossible when alpha_hat = 0, but the nonsingularity of the integral should be stated.","section":"Section 2, Proposition 2.7, Step 2"},{"comment":"In the line treating p >= 2, 'nonnegtive' is a typo for 'nonnegative'. This does not affect the mathematics.","section":"Section 2, Lemma 2.1"},{"comment":"After the statement 'up to a rotation and a translation, z_infinity = 0 and u_infinity(x) = a x_n', the paper also uses u_infinity(0) = 0. The reader has to infer that the origin is being moved to the specific zero point z_infinity; this should be said explicitly to avoid confusion about which point is at the origin.","section":"Section 2, Proposition 2.4, Case 2"}],"recommendation":"major_revision","confidential_remarks":"The manuscript closely follows the structure of [36], which shares an author, but the p-Laplace extension is substantial and the new Harnack/barrier gradient bound in Lemma 2.2 is a real improvement. The main obstacle is the missing justification for applying the maximum-principle machinery to C^{1,alpha} blow-up limits in Proposition 2.4. If the authors can supply a rigorous approximation or viscosity argument for that step, and fix the C^1 versus C^2 boundary-regularity hypothesis, the paper would be publishable in this journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my read of arXiv:2506.14579. The paper is a serious extension of the Ruiz–Sicbaldi–Wu p=2 result to the p-Laplace operator for every p>1, and most of the hard analysis is solid. The Q-function subsolution lemma (Lemma 2.1) is computed carefully with the right p-dependent coefficients in both regimes, and the new barrier in Lemma 2.2 is a genuine improvement: it avoids the linear decomposition used for p=2 and works uniformly. The geometric dichotomy in Theorems 1.1 and 1.7 is clean, and the proof is self-contained with no suspicious reliance on previous results (the overlap with [36] is structural, not circular).\n\nThe soft spot is real, though. In Proposition 2.4, the blow-up limits are only C^{1,α}: Case 1 uses interior regularity to get u∞∈C^{1,α}, Case 2 likewise. But then the strong maximum principle is applied to Q∞ = (p-1)/p |∇u∞|^p + F(u∞) in Case 1 and to |∇u∞|^p in Case 2, both of which require the subsolution inequality from Lemma 2.1. That lemma is proved for C^3 functions, with a Hessian computation, and the paper gives no viscosity or approximation argument to justify applying it to C^{1,α} solutions. In Case 2 the derivative computation (2.22)–(2.23) is exactly the kind of step that needs justification for weak p-harmonic functions. So as written, the central contradiction argument has a gap.\n\nThis is not a fatal objection to the result itself—I suspect the gap is fillable with standard viscosity techniques for the linearized p-Laplace operator, or a careful approximation argument—but the paper needs to address it. The referee should ask for that. Also worth mentioning: the C^3 assumption on u is strong and the paper doesn't discuss the natural regularity question; condition (1.4) for p>2 is restrictive but clearly flagged; and the abstract drops the κ≠0 hypothesis that Theorem 1.1 actually requires. The 'small gradient sequence' in Case 1 is used without citation, though that one is standard.\n\nNet: this deserves a serious referee. It is a genuine contribution to the subfield, with one load-bearing gap that is probably fixable. I'd send it to review with a request for a rigorous treatment of the blow-up step. I wouldn't cite it as a clean proof until that's in place.","headline":"Genuine p-generalization of the RSW rigidity with two clean main lemmas, but the blow-up step applies C^3 machinery to C^{1,α} limits without justification.","tokens_in":16189,"tokens_out":6090,"would_cite":true,"duration_ms":60353,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35N25","35B50","35J92"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a bounded C^3 solution of the overdetermined p-Laplace problem with a nonpositive primitive satisfying the stated structural condition, the domain is either a half-space or has strictly negative mean curvature on the boundary.","keywords":["p-Laplacian","overdetermined boundary value problem","Modica type estimate","rigidity","mean curvature","half-space","Q-function","maximum principle"],"falsifier":"Find a bounded domain and a $C^{3}$ solution of (1.1) with a nonpositive primitive F satisfying (1.3)-(1.4) whose boundary contains a point with mean curvature H(q)≥0 while Ω is not a half-space; this would directly contradict Theorem 1.1. Equivalently, exhibit a solution where Q attains its upper bound at an interior point yet u is not parallel, falsifying the rigidity part of Theorem 1.4.","tokens_in":15041,"feed_emoji":"📐","tokens_out":6051,"duration_ms":54016,"temperature":0.7,"pith_summary":"The paper proves a Modica-type pointwise bound for the overdetermined p-Laplace problem and shows that the bound has a sharp geometric consequence. For any bounded $C^{3}$ solution and any nonpositive primitive F of the nonlinearity, the quantity Q(x)=((p-1)/p)|∇u|^p+F(u) is bounded above by max{0, F(0)+((p-1)/p)κ^p}; if equality holds at an interior point, then Q is constant, the domain Ω is a half-space, and u depends on one coordinate only. From this, the authors derive the dichotomy that either Ω is a half-space with u parallel, or the mean curvature H(q) is strictly negative at every boundary point. This extends to the full quasilinear p-Laplace range, 1<p<∞ and all dimensions n≥2, a rigidity statement previously known for the Laplacian, and it excludes the existence of such solutions in bounded domains under the given structural condition.","feed_headline":"p-Laplace rigidity forces half-space or negative curvature","feed_subtitle":"A pointwise gradient bound decides the overdetermined p-Laplace geometry in every dimension.","key_machinery":"The load-bearing object is the Q-function Q=(p-1)/p |∇u|^p+F(u), a Modica-type functional. Lemma 2.1 shows that wherever ∇u≠0, Q satisfies ΔQ + (p-2)/|∇u|^2 ⟨$D^{2}$Q ∇u, ∇u⟩ + p/|∇u|^p f ⟨∇Q, ∇u⟩ ≥ 0, making Q a subsolution of a degenerate elliptic operator and opening the door to the maximum principle. The proof combines a uniform gradient bound built from a barrier comparison (Lemma 2.2), a contradiction argument using blow-up rescaling near the boundary (Proposition 2.4), and a level-set argument that converts Q≡constant into the change of variables v=G(u) with |∇v|=1 and Δ_p v=0, forcing v to be affine and u to be parallel (Proposition 2.7).","core_discovery":"The central discovery is that the overdetermined boundary data u=0 and ∂νu=-κ tightly constrain the Q-function: Q is a subsolution of a degenerate elliptic equation wherever ∇u≠0, so the maximum of Q can only sit on the boundary or be forced to a constant. Theorem 1.4 states that Q(x)≤max{0, F(0)+((p-1)/p)κ^p} for all x∈Ω, with rigidity if equality is attained at an interior point (assuming the flatness condition F(u)=O(|u-u_0|^p) when F(u_0)=0 for p>2). Theorem 1.1 then converts this estimate into a clean geometric dichotomy: either Ω is a half-space and u(x)=g(a·x-b) is parallel, or the mean curvature of ∂Ω is strictly negative at every boundary point. In bounded domains this forces nonexistence: there is no nonpositive primitive F satisfying the structural conditions together with a bounded solution.","pith_inferences":["The C^3 regularity assumption is likely stronger than necessary; the argument may extend to the natural C^{1,α} regularity class by an approximation or limiting procedure, since the degeneracy set where ∇u=0 can be handled by the flatness condition.","The flatness condition (1.4) for p>2 is used only when F(u_0)=0; a weaker oscillation estimate of u near the level set where F attains its maximum might replace it, possibly yielding rigidity under milder growth assumptions.","The barrier construction in Proposition 2.4 appears flexible enough to transfer to other degenerate elliptic operators (for instance, k-Hessian equations) where comparison principles hold, giving analogous rigidity dichotomies.","Since the theorem does not classify unbounded domains with H<0 everywhere, a natural next step is to investigate whether such domains genuinely support solutions or whether further rigidity forces additional symmetry."],"forward_implications":["For bounded domains, the structural condition F(0) ≥ -((p-1)/p)κ^p (plus the flatness condition when p>2) is incompatible with the existence of a bounded C^3 solution: no such nonpositive primitive can coexist with a solution.","For unbounded domains, any bounded solution that is not one-dimensional forces H(q)<0 at every boundary point; in particular, if H(q)=0 at some boundary point, the solution must be parallel and the domain is a half-space or a slab.","The Modica estimate Q ≤ max{0, F(0)+((p-1)/p)κ^p} holds uniformly for all bounded C^3 solutions, including the case κ=0, giving a gradient bound that depends only on the data.","Equality at a single interior point propagates to full rigidity: Q becomes constant, the solution becomes one-dimensional, and the domain is identified as a half-space."],"supporting_citations":[{"why":"Supplies the computation that Q is a subsolution of a degenerate elliptic equation, the starting point for the maximum-principle argument.","marker":"[3]"},{"why":"Gives the Laplacian analogue whose Modica-type estimate and rigidity proof are generalized here to the p-Laplace problem.","marker":"[36]"},{"why":"The original Modica gradient bound for semilinear equations, the prototype of the Q-inequality proved in this paper.","marker":"[27]"},{"why":"The classical overdetermined-rigidity theorem that this work extends to the p-Laplacian with a different proof strategy.","marker":"[39]"},{"why":"Establishes the p-Laplacian rigidity for the constant nonlinearity, a precursor for the general-f case treated here.","marker":"[19]"},{"why":"Provides the interior C^{1,α} regularity estimates used in the gradient bound and in the blow-up arguments.","marker":"[13]"},{"why":"Supplies the Harnack inequality for quasilinear equations used in Lemma 2.2 to control rescaled solutions near the boundary.","marker":"[38]"},{"why":"Gives the comparison principle for p-Laplace operators used in the barrier construction of Lemma 2.2.","marker":"[9]"}],"fun_headline_variants":["Gradient bound decides p-Laplace geometry: half-space or negative curvature","Overdetermined p-Laplace: only half-space or negative curvature","Modica estimate forces half-space or negative curvature in p-Laplace","p-Laplace rigidity: half-space or strictly negative mean curvature"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes u is a genuine $C^{3}$ solution up to the boundary, because the maximum-principle argument needs Q to be twice differentiable; natural weak solutions are only $C^{{1,α}}$, and for p>2 an additional flatness condition on F at its zeros is required.","fun_headline_variants_meta":{"raw":{"variants":["Gradient bound decides p-Laplace geometry: half-space or negative curvature","Overdetermined p-Laplace: only half-space or negative curvature","Modica estimate forces half-space or negative curvature in p-Laplace","p-Laplace rigidity: half-space or strictly negative mean curvature"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000245,"raw_usage":{"total_tokens":1577,"prompt_tokens":1031,"completion_tokens":546,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":647,"completion_tokens_details":{"reasoning_tokens":471}},"tokens_in":647,"tokens_out":546,"duration_ms":5263,"temperature":1.0,"reasoning_tokens":471,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T19:53:35.106253+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a bounded domain and a $C^{3}$ solution of (1.1) with a nonpositive primitive F satisfying (1.3)-(1.4) whose boundary contains a point with mean curvature H(q)≥0 while Ω is not a half-space; this would directly contradict Theorem 1.1. Equivalently, exhibit a solution where Q attains its upper bound at an interior point yet u is not parallel, falsifying the rigidity part of Theorem 1.4.","supporting_citations":[{"cited_title":"A gradient bound for entire solu- tions of quasi-linear equations and its consequences","cited_arxiv_id":null,"evidence_quote":"Supplies the computation that Q is a subsolution of a degenerate elliptic equation, the starting point for the maximum-principle argument."},{"cited_title":"Modica-type estimates and curvature results for overdetermined elliptic problems","cited_arxiv_id":null,"evidence_quote":"Gives the Laplacian analogue whose Modica-type estimate and rigidity proof are generalized here to the p-Laplace problem."},{"cited_title":"Bifurcating extremal domains for the first eigen- value of the Laplacian","cited_arxiv_id":null,"evidence_quote":"The classical overdetermined-rigidity theorem that this work extends to the p-Laplacian with a different proof strategy."},{"cited_title":"A symmetry result related to some overdeter- mined boundary value problems","cited_arxiv_id":null,"evidence_quote":"Establishes the p-Laplacian rigidity for the constant nonlinearity, a precursor for the general-f case treated here."},{"cited_title":"C1+α local regularity of weak solutions of degenerate el- liptic equations","cited_arxiv_id":null,"evidence_quote":"Provides the interior C^{1,α} regularity estimates used in the gradient bound and in the blow-up arguments."},{"cited_title":"Local behavior of solutions of quasi-linear equations","cited_arxiv_id":null,"evidence_quote":"Supplies the Harnack inequality for quasilinear equations used in Lemma 2.2 to control rescaled solutions near the boundary."},{"cited_title":"Comparison theorems for some quasilinear degenerate el- liptic operators and applications to symmetry and monotonicity results","cited_arxiv_id":null,"evidence_quote":"Gives the comparison principle for p-Laplace operators used in the barrier construction of Lemma 2.2."}],"review_version":1}