Pith. sign in

REVIEW 3 major objections 5 minor 16 references

Shape derivative approach to fractional overdetermined problems

T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper proves that every convex C^{1,1} domain in which a fractional overdetermined problem with a pure power nonlinearity has a nontrivial solution must be a ball, for p in [1,2].

desk verdict New fractional Serrin-type rigidity for p in (1,2) via shape derivatives and symmetrization; the proof is promising but rests on an unverified strict-decrease transfer and a vector field that is not actually Lipschitz. read the letter →

arxiv 2506.00268 v2 pith:HZAIIXHC submitted 2025-05-30 math.AP

Sidy M. Djitte , Ignace A. Minlend This is my paper
classification math.AP MSC 35R1135B0635N2549Q10
keywords fractionalLaplacianoverdeterminedproblemshapederivativeSteinersymmetrizationrigidityconvexdomainSobolevinequality
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that if a bounded convex region in Euclidean space solves a fractional overdetermined boundary-value problem with nonlinearity $\lambda_{s,p}(\Omega) u^{p-1}$ for $p\in[1,2]$, then the region must be a round ball. This extends a classical symmetry rigidity theorem to a setting where the nonlinearity is not Lipschitz, so the standard reflection-based comparison methods do not apply, and it requires only $C^{1,1}$ regularity of the boundary. The proof works by associating to each region a shape functional whose derivative encodes the overdetermined boundary condition, and then showing that any non-ball region admits a direction of deformation that strictly decreases the functional, a contradiction. For $p=1$ and $p=2$, the result recovers the classical torsion and first-eigenvalue symmetry statements.

What carries the argument

The load-bearing identity is the shape-derivative formula $dJ_{s,p}(\Omega)\cdot X = -\Gamma^2(1+s)\int_{\partial\Omega} \big((u/\delta^s)^2 - C_0^2\big) X\cdot\nu\, d\sigma$, which makes solution domains exactly the stationary points of $J_{s,p}$. The second ingredient is continuous Steiner symmetrization, a volume-preserving rearrangement that replaces each vertical section of the domain by an interval centered at the section's midpoint, evolving continuously with a parameter $t$. Such symmetrization preserves volume, cannot increase the fractional Gagliardo energy, and for a non-ball domain gives a strict energy decrease in a direction of asymmetry. The deformation generated by this symmetrization therefore produces a strictly negative derivative of $\lambda_{s,p}$ while the volume derivative vanishes, contradicting stationarity.

What would settle it

One concrete test is to compute, for a non-radial convex domain such as a slightly stretched ellipsoid, the derivative at $t=0$ of the fractional ground-state energy under continuous Steiner symmetrization about the short or long axis; if that derivative is not strictly negative, the contradiction in the proof disappears. More directly, any explicit convex $C^{1,1}$ non-ball solving (1.1) with $p\in(1,2)$ would refute Theorem 1.1.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: for $p\in[1,2]$, any bounded convex open set $\Omega\subset\mathbb{R}^N$ of class $C^{1,1}$ for which the problem $(-\Delta)^s u = \lambda_{s,p}(\Omega) u^{p-1}$ in $\Omega$, $u=0$ in $\mathbb{R}^N\setminus\Omega$, and $u/\delta^s = C_0$ on $\partial\Omega$ has a nontrivial pointwise solution must be a ball. The novelty is the range $p\in(1,2)$, where the nonlinearity is not locally Lipschitz at the origin and the usual comparison arguments fail. The authors characterize solution domains as exactly the critical points of the shape functional $J_{s,p}(\Omega)=\lambda_{s,p}(\Omega)+C_0^2\Gamma^2(1+s)\operatorname{Vol}(\Omega)$, derive its shape derivative, and then use continuous Steiner symmetrization to build a volume-preserving deformation that strictly lowers $\lambda_{s,p}$ whenever the domain is not a ball. This contradiction forces rigidity.

Load-bearing premise

The proof needs the guarantee that continuous Steiner symmetrization strictly decreases the fractional energy for every non-radial function, with respect to a chosen hyperplane of asymmetry; this strict-decrease premise is imported from the literature with only a remark that the adaptation is routine, and it is the load-bearing point for the contradiction.

Editorial extensions

If this is right

  • For $p=1$, the theorem yields torsion rigidity: the only convex $C^{1,1}$ domains whose torsion function has constant ratio $u/\delta^s$ on the boundary are balls.
  • For $p=2$, the theorem yields first-eigenvalue rigidity: convex domains whose first Dirichlet eigenfunction for the fractional Laplacian has constant boundary ratio must be balls.
  • The shape-derivative route works for non-Lipschitz nonlinearities and avoids the extra boundary regularity needed by reflection-based methods.
  • The functional characterization gives a variational criterion: a convex domain solves (1.1) exactly when its shape derivative vanishes for every Lipschitz vector field.
  • Convexity is what makes the constructed velocity field Lipschitz, so the proof does not directly extend to non-convex domains without new ideas.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same shape-derivative-plus-symmetrization mechanism may prove rigidity for other non-Lipschitz nonlinearities or for nonlinear nonlocal operators, since the argument does not use pointwise Lipschitz bounds on the nonlinearity.
  • The strict-decrease assertion imported from the literature could be checked numerically for explicit non-radial convex domains, and a failure there would pinpoint exactly where the proof would need repair.
  • The proof suggests a quantitative stability direction: a small defect in the overdetermined condition could be shown to control the distance of the domain to a ball, using shape derivatives and symmetrization monotonicity.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper proves Theorem 1.1: for p in [1,2], every bounded C^{1,1} convex domain Omega for which the fractional overdetermined problem (1.1) admits a nontrivial pointwise solution must be a ball. The proof characterizes solution domains as critical points of the shape functional J_{s,p}(Omega)=lambda_{s,p}(Omega)+C_0^2 Gamma^2(1+s) Vol(Omega) via the Hadamard-type formula (3.2), then argues by contradiction: if Omega is not a ball, the continuous Steiner symmetrization flow in a direction of asymmetry produces a globally Lipschitz vector field V such that the volume is preserved while lambda_{s,p} decreases linearly in time, contradicting criticality. The range p in [1,2] includes the non-Lipschitz power nonlinearity p in (1,2) not covered by Fall-Jarohs, and for p=1,2 the result recovers known Serrin-type rigidity.

Significance. The proposed approach is of independent interest: it replaces the moving plane method by shape derivatives combined with continuous Steiner symmetrization, and it covers the fractional Serrin problem for a pure power nonlinearity in the non-Lipschitz regime. The logical structure is largely coherent and no circularity is evident: the argument derives the contradiction from external results ([6], [7]) and does not assume the conclusion. The main strengths are the clean reduction of the overdetermined condition to stationarity of J_{s,p} and the use of volume preservation to make the symmetrization vector field compatible with the volume term. If the missing strict-decrease verification and the vector-field regularity issues are repaired, the paper would be a valuable contribution to the fractional overdetermined-problem literature.

major comments (3)
  1. [§2, Remark 2.6 and Proposition 2.7] The strict decrease estimate (2.7), on which the contradiction (4.6) entirely rests, is not proved for the flow used in the paper. Theorem 2.5 is quoted from [6], and Remark 2.6 concedes that [6] used a slightly different definition of continuous Steiner symmetrization; the statement that the argument adapts with 'not difficult to verify' is not a proof. Since Definition 2.1 fixes the translation speed through (2.1)-(2.2), the constants gamma_0 and t_0 and the linear decay rate in (2.5) need to be verified for this exact flow. Without this verification, Proposition 2.7(2.7) and hence inequality (4.6) are unsupported.
  2. [§4, use of Theorem 2.5 and hyperplane selection] The proof chooses e as an arbitrary direction in which Omega is not symmetric and sets e=e_N, but Theorem 2.5 only supplies a hyperplane H for which the strict decrease holds; the sentence 'H may be taken to be {x_N=0}' can at most mean after a rotation of coordinates. There is no argument that the specific hyperplane {x_N=0} used in (4.1)-(4.4) is the hyperplane supplied by [6]. If the strict decrease in (2.5) holds only for a different hyperplane, then applying (2.7) to the vector field constructed from the chosen e_N is unjustified and the contradiction d lambda . V <= -gamma_0 < 0 in (4.6) collapses. The proof should first invoke Theorem 2.5 to choose H, then set e_N perpendicular to H; it should also state explicitly that Omega is not symmetric about that H, since otherwise no strict decrease can occur.
  3. [§4, construction of the vector field V] The vector field V defined as (0,-(y1+y2)/2) on Omega and 0 outside Omega is not continuous at partial Omega unless y1+y2 vanishes there, which is false for a generic convex domain; hence it is not in C^{0,1}(R^N,R^N) as required by Lemma 3.1 and Proposition 3.2. The proof that y_j is globally Lipschitz also only treats pairs with |x'_1-x'_2| <= 2 mu_0 and does not control widely separated points, and the zero-extension of y_j to R^{N-1} \ Omega' is not Lipschitz across partial Omega'. A correct construction should use a genuine Lipschitz extension of (y1+y2)/2 to all of R^{N-1} and give a complete argument, for example via convexity and the McShane extension theorem, that the resulting V is globally Lipschitz.
minor comments (5)
  1. [Equations (4.3)-(4.4)] The formula for y_t^2 is identical to that of y_t^1; the second line should read y_t^2(x') = (y2(x')-y1(x')+e^{-t}(y1(x')+y2(x')))/2.
  2. [Definition 2.1(i)] Property (i) should read |E_t(M)| = |M|, not E_t(M) = |M|.
  3. [Equation (2.9)] After the expansion, the two identical integrals in the second and third lines are confusing; the second should be written with u^2(y), or the steps should be split by first writing (u^t(y))^2 and then using L^p preservation.
  4. [Section 4] The symbol u_t is used both for the unique solution on Phi_t(Omega) and for the Steiner symmetrization of u; the sentence 'which is a priori different from u_t' is confusing, and the two objects should be denoted by different symbols.
  5. [Proposition 3.2 and Abstract] In the proof of Proposition 3.2, the phrase 'by the fundamental theorem of calculus and since u is nonnegative' is unnecessary; the conclusion follows from the density of C^1(partial Omega) and the continuity of (u/delta^s)^2. In the abstract, the citation key [FS-15] does not correspond to any entry in the reference list; the intended reference appears to be [8].

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the proof relies on independent external strict-decrease and Hadamard-formula results; the only flagged issue is an unverified adaptation of [6], not a circular reduction.

full rationale

The derivation chain is: Lemma 3.1 computes dJ using the Hadamard formula cited from [7]; Proposition 3.2 equates the overdetermined condition with stationarity of J; Theorem 4.1 assumes a non-ball convex solution, builds the Steiner flow V, and uses Theorem 2.5 (Delgadino–Vaughan, [6]) to obtain the strict drop λ(Φ_t(Ω))−λ(Ω) ≤ −γ_0 t, contradicting stationarity. None of these steps feeds the target conclusion into itself. The Hadamard formula dλ_{s,p}(Ω)·X = −Γ^2(1+s)∫_{∂Ω} (u/δ^s)^2 X·ν dσ is cited from [7], which shares the first author, but it is a general parameter-free shape-derivative identity and does not assume u/δ^s = C_0; by the independence standard it is real evidence rather than a circular input. The strict-decrease estimate (2.7) is imported from [6], not from the present authors, and concerns the Gagliardo norm of a symmetrized function; it does not assume the overdetermined condition or the ball conclusion. The genuine mathematical risk is in Remark 2.6: the text states that [6], proved with 'a slightly different definition of continuous Steiner symmetrization,' adapts because 'it is not difficult to verify that the same argument remains valid,' and Theorem 2.5's 'Moreover, the hyperplane H may be taken to be {x_N=0}' is used in §4 for the specific non-symmetry direction e_N chosen there. If the adaptation fails, or if [6] only supplies some hyperplane different from e_N, the contradiction in (4.6) collapses. That is an omitted verification and a possible correctness gap, but it is not a circular reduction: inequality (2.7) is not equivalent to the paper's own inputs and the target result is not assumed anywhere. Score 1 reflects the unverified external dependency and minor self-citation, not circularity.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The paper does not introduce free parameters or new entities. It relies on several external theorems (shape derivative formula, strict decrease under symmetrization, uniqueness and regularity of ground states) and on the structural assumptions of convexity and C^{1,1} regularity. The most fragile input is the unproved adaptation of the strict decrease theorem.

assumptions (7)
  • domain assumption p in [1,2] and the subcritical range for the Sobolev inequality (p < 2N/(N-2s) if 2s < N).
    The theorem is stated for this range; the existence and uniqueness of the ground state rely on it.
  • domain assumption Omega is convex and of class C^{1,1}.
    Convexity gives the interval structure of vertical sections and the Lipschitz regularity of V; C^{1,1} gives u/delta^s continuous and the Hadamard formula.
  • standard math Shape derivative formula d lambda_{s,p}(Omega) dot X = -Gamma^2(1+s) integral_{partial Omega} (u/delta^s)^2 X dot nu dsigma (from Djitte-Fall-Weth [7, Corollary 1.2]).
    A published theorem used as a black box. It is load-bearing for Proposition 3.2.
  • standard math Continuous Steiner symmetrization preserves L^p norms, H^s_0 membership, and the non-expanding property (Brock [1,2]).
    Used to pass from u to its symmetrized version u_t.
  • standard math Strict decrease of the fractional Gagliardo energy under continuous Steiner symmetrization for functions not radially decreasing about any center (Delgadino-Vaughan [6], adapted).
    This is the engine of the contradiction in Theorem 4.1. The adaptation to Brock's definition is not proved, only asserted in Remark 2.6.
  • domain assumption The ground state solution u is not radially decreasing about any center when Omega is not a ball.
    Follows because if u were radially decreasing about some center, its support, which is Omega, would be a ball. The paper does not state this explicitly.
  • domain assumption The flow Phi_t generated by V coincides with the continuous Steiner symmetrization Omega_t for small t on convex domains.
    The proof in Section 4 constructs Phi_t from the boundary graphs and uses the characterization (4.1)-(4.4).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Shape derivative approach to fractional overdetermined problems." pith.science (2026). https://pith.science/paper/HZAIIXHC

@misc{pith2026250600268,
  author       = {Pith},
  title        = {Pith review of: Shape derivative approach to fractional overdetermined problems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HZAIIXHC}},
  note         = {Machine review of arXiv:2506.00268}
}
abstract

We use shape derivative approach to prove that balls are the only convex and $C^{1,1}$ regular domains in which the fractional overdetermined problem \begin{equation*} \left\{\begin{aligned} \Ds u&= \lambda_{s, p} u^{p-1}\quad\text{in}\quad\Om \\ u &= 0\quad \text{in}\quad\R^N\setminus \Om\\ u/d^s&=C_0\quad\text{on\;\; $\partial\O$} \end{aligned} \right. \end{equation*} admits a nontrivial solution for $p\in [1, 2]$ and where $\lambda_{s, p}= \lambda_{s, p}(\O)$ is the best constant in the family of Subcritical Sobolev inequalities. In the cases $p=1$ and $p=2$, we recover the classical symmetry results of Serrin, corresponding to the torsion problem and the first Dirichlet eigenvalue problem, respectively (see \cite{FS-15}). We note that for $p\in (1,2)$, the above problem lies outside the framework of \cite{FS-15}, and the methods developed therein do not apply. Our approach extends to the fractional setting a method initially developed by A. Henrot and T. Chatelain in \cite{CH-99}, and relies on the use of domain derivatives combined with the continuous Steiner symmetrization introduced by Brock in \cite{Brock-00}.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

  1. [8]

    M. M. Fall, and S. Jarohs. ”Overdetermined problems with fractional Laplacian.” ESAIM: control, opti- misation and calculus of variations 21.4 (2015): 924-938

    work page 2015

  2. [6]

    M. G. Delgadino, and M. A. R. Y. Vaughan. ”Continuous symmetrizations and uniqueness of solutions to nonlocal equations.” arXiv preprint arXiv:2310.13221 (2023)

    work page arXiv 2023

  3. [7]

    S. M. Djitte, M. M. Fall, and T. Weth. ”A fractional Hadamard formula and applications.” Calculus of variations and partial differential equations 60 (2021): 1-31

    work page 2021

  4. [1]

    F. Brock. ”Continuous rearrangement and symmetry of solutions of elliptic problems.” Proceedings of the Indian Academy of Sciences-Mathematical Sciences. Vol. 110. Springer India, 2000

    work page

  5. [2]

    F. Brock. ”Continuous Steiner-Symmetrization.” Mathematische Nachrichten 172.1 (1995): 25-48

    work page 1995

  6. [3]

    Brock, and A

    F. Brock, and A. Henrot. ”A symmetry result for an overdetermined elliptic problem using continuous rearrangement and domain derivative.” Rendiconti del Circolo Matematico di Palermo 51 (2002): 375-390

    work page 2002

  7. [4]

    Chatelain, and A

    T. Chatelain, and A. Henrot. ”Some results about Schiffer’s conjectures.” Inverse Problems 15.3 (1999): 647

    work page 1999

  8. [5]

    Dalibard, and D

    A. Dalibard, and D. G´ erard-Varet. ”On shape optimization problems involving the fractionallaplacian.” ESAIM: Control, Optimisation and Calculus of Variations 19.4 (2013): 976-1013

    work page 2013

Show all 16 references
  1. [9]

    Jarohs, K

    S. Jarohs, K. Tadeusz , and P. Salani. ”Qualitative properties of free boundaries for the exterior Bernoulli problem for the half Laplacian.” Journal of Mathematical Analysis and Applications (2025): 129285

    2025

  2. [10]

    Palatucci, O

    G. Palatucci, O. Savin and E. Valdinoci, Local and global minimizers for a variational energy involving a fractional norm. Ann. Mat. Pura Appl. 192 (2013) 673–718

    2013

  3. [11]

    Ros-Oton, and J

    X. Ros-Oton, and J. Serra. ”The Dirichlet problem for the fractional Laplacian: regularity up to the boundary.” Journal de Math´ ematiques Pures et Appliqu´ ees 101.3 (2014): 275-302

    2014

  4. [12]

    Ros-Oton, and J

    X. Ros-Oton, and J. Serra. ”Boundary regularity for fully nonlinear integro-differential equations.” (2016): 2079-2154

    2016

  5. [13]

    Serrin ”A symmetry problem in potential theory.” Archive for Rational Mechanics and Analysis 43 (1971): 304-318

    J. Serrin ”A symmetry problem in potential theory.” Archive for Rational Mechanics and Analysis 43 (1971): 304-318

    1971

  6. [14]

    Silvestre, Regularity of the obstacle problem for a fractional power of the Laplace operator

    L. Silvestre, Regularity of the obstacle problem for a fractional power of the Laplace operator. Comm. Pure Appl. Math. 60 (2007) 67–112

    2007

  7. [15]

    Silvestre, and B

    L. Silvestre, and B. Sirakov. ”Overdetermined problems for fully nonlinear elliptic equations.” Calculus of Variations and Partial Differential Equations 54.1 (2015): 989-1007

    2015

  8. [16]

    H. F. Weinberger ”Remark on the preceding paper of Serrin.” Archive for Rational Mechanics and Analysis 43 (1971): 319-320. 1D´epartement de Math´ematiques, UFR Sciences Exactes et Naturelles, Moulin de la Housse, BP 1039, 51687 REIMS Cedex, France. Email address: sidy-moctar....

    1971

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.