An anisotropic Alt-Caffarelli problem of higher order

Marius M\"uller

REVIEW 2 major objections 3 minor 48 references

An anisotropic Alt-Caffarelli problem of higher order

T0 review · 2 major / 3 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 In two dimensions, every minimizer of the anisotropic higher-order Alt-Caffarelli energy E(u)=∫Ω(div(A∇u))2dx+|{u>0}| is C2,1 smooth, has nonvanishing gradient on its zero set, and its negative phase is a finite union of C2,1 domains.

desk verdict Publishable after repairs: the anisotropic Frehse estimate is real, but Lemma 2.7(ii) has a factor-4 error and the C^{2,1} chain runs through a false W^{3,8} identification. read the letter →

arxiv 2505.20923 v1 pith:IM3QYDGG submitted 2025-05-27 math.AP

Marius Müller This is my paper

classification math.AP MSC 35J3035R3549Q2049J4074B99

keywords Alt-CaffarelliproblemhigherorderellipticPDEsfreeboundaryregularityanisotropicbendingenergyGreen'sfunctionFrehseobservationmeanvaluepropertyC^{21}

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 studies a two-dimensional higher-order version of the Alt-Caffarelli free-boundary problem in which the usual Dirichlet energy is replaced by an anisotropic bending energy: minimize E(u)=∫Ω(div(A∇u))2dx+|{u>0}| over W2,2 functions with fixed positive boundary data, where A is smooth, symmetric, and uniformly elliptic. The author establishes that every minimizer has optimal C2,1 regularity, that the gradient never vanishes on the zero set, and that the negative phase {u<0} is a finite union of C2,1 domains. This matters because it shows that smooth anisotropy of the operator does not change the regularity picture found for the isotropic biharmonic case: minimizers still cross the zero level with a clean interface instead of flattening out. The engine of the proof is a new structural identity for solutions of the measure-valued equation L2u=μ, where L=-div(A∇): the full Hessian D2u is determined, up to a locally bounded and off-diagonal-smooth kernel, by (1/2)(-Lu)A-1. That identity is the anisotropic generalization of Frehse's observation for the bilaplacian, and it is presented as the main novelty of the paper.

What carries the argument

The load-bearing object is the anisotropic Frehse observation (Theorem 1.1), the Hessian decomposition D2u=(1/2)(-Lu)A-1+∫K(x,y)dμ(y)+H(x) for distributional solutions of L2u=μ with L=-div(A∇). It is proved by analyzing the Green's function GL2 for the Navier problem for L2, whose leading singularity is c(x)ψx(y)logψx(y) with ψx(y)=A(y)-1(y-x)·(y-x). A crucial step is the construction of a smooth orthonormal frame {A1,A2,A3} for symmetric 2×2 matrices with respect to the Riemannian metric g(y)(M1,M2)=tr(A(y)-1M1M2A(y)-1), with A1=(1/√2)A; the key cancellation is that div(Ai∇(ψxlogψx)) is bounded for i=2,3 but not for i=1. The second pillar is the mean-value property for L-supersolutions: for each point there exist sets DR(x0), sandwiched between a small and a large ball, on which averages of supersolutions are monotone in R, giving a pointwise representative that is used to rule out 'bad' singular points.

What would settle it

Take a constant anisotropic coefficient A=diag(a,b) in two dimensions, compute the fundamental solution G of L2 with L=-div(A∇) explicitly, and check whether D2G-(1/2)(-LG)A-1 is bounded near the pole. If for some positive a,b the remainder is unbounded, Theorem 1.1 is false; if it is bounded for all constant A, the next decisive test is to find any smooth A for which the mean-value sets DR in the proof fail the sandwiching BcR⊂DR⊂BCR, since Theorem 1.2 depends on that property.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1.2: any minimizer u of E in the admissible class lies in C2,1(Ω)∩C∞(Ω\{u=0}), satisfies ∇u≠0 on the free boundary {u=0}, and the set {u<0} is a union of finitely many C2,1 domains compactly contained in Ω. In addition, Lu vanishes on ∂Ω and the Euler-Lagrange equation takes the measure-valued form 2∫ΩLuLφ dx=-∫{u=0}(1/|∇u|)φ dH1 for all admissible φ. The regularity is optimal, since already in one dimension minimizers can fail to be C3. The proof first establishes Theorem 1.1, the anisotropic Frehse observation: if L2u=μ for a finite Radon measure μ, then for almost every x one has D2u(x)=(1/2)(-Lu(x))A(x)-1+∫K(x,y)dμ(y)+H(x), where K is locally bounded, Borel measurable, and smooth away from the diagonal, and H is smooth. This identity converts second-derivative information into first-derivative information plus a controlled remainder, which is what makes the blow-up and nodal-set analysis possible.

Load-bearing premise

The load-bearing premise is that every supersolution of L=-div(A∇) has the mean-value property with nested sets DR(x0) squeezed between balls of comparable radii; if that property fails for some smooth uniformly elliptic A, the exclusion of singular nodal points collapses.

Editorial extensions

If this is right

Smooth anisotropies do not affect the optimal C2,1 regularity: the same interface behavior as in the isotropic biharmonic Alt-Caffarelli problem holds for every uniformly elliptic A in two dimensions.
Every minimizer changes sign across the free boundary: {u=0} is a C2,1 curve (a finite union of closed components) rather than a flat island, because ∇u never vanishes on it.
The measure driving the equation is explicitly a surface measure: the Euler-Lagrange relation identifies the force on the free boundary as (1/(2|∇u|))dH1, so Lu satisfies a second-order elliptic equation with a measure source supported on {u=0}.
The anisotropic Frehse observation gives a ready-made tool for other higher-order free boundary problems with variable coefficients, such as biharmonic obstacle problems and shape optimization for buckling loads.

Reading between the lines

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

If the representation identity is as robust as stated, the same C2,1 conclusion should survive for operators with coefficients that are only C4,α, since the paper notes that its arguments adapt with minor modifications to that class.
The Riemannian-frame mechanism suggests a template for anisotropic higher-order operators beyond L2: any operator whose Green's function has leading term ψlogψ with ψ the square of the A-distance may admit a similar Hessian decomposition, with A-1 replaced by the inverse of the leading symbol.
A testable consequence for constant anisotropic A=diag(a,b) is that minimizers with radial data should have nodal sets shaped like ellipses in the A-metric; the identity predicts the free boundary is a smooth curve whose curvature is controlled by A, which could be checked numerically.
The mean-value set technique could be exported to problems where the operator lacks a classical fundamental solution, provided only the containment and monotonicity of the DR sets hold for supersolutions.

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.

Desk Editor's Note

read the letter

Colleague,

The genuinely new thing here is Theorem 1.1, the anisotropic Frehse observation: for L = -div(A∇), solutions of L²u = μ satisfy D²u = ½(-Lu)A^{-1} plus a locally bounded remainder, with A^{-1} in place of the identity. That is a real extension, and the machinery behind it — the g_A-orthonormal frame of symmetric matrices in Lemmas 3.4–3.5 and the ψ_x log ψ_x analysis in Section 2 — is sound and worth knowing beyond this problem. Theorem 1.2 (C^{2,1} minimizers, ∇u ≠ 0 on {u=0}, {u<0} a finite union of C^{2,1} domains) is then a modification of [41,42] using the Blank–Hao mean-value property for L-superharmonic functions. The author says as much himself, which is accurate. The dependence on his earlier papers and on [6] is declared, published, and not circular.

Now the caveats, and here I push back on the reader's framing: the written errors are not purely stylistic. The stress-test is right about Lemma 2.7(ii). The proof computes div(A∇(ψ_x log ψ_x)) = -4d₁F + h, which yields G_{L²} = (1/(4d₁))ψ_x log ψ_x + f₂, coefficient c₁/4, not c₁. The isotropic check confirms: c₁/4 = 1/(16π), and (1/(16π))ψ log ψ = (1/(8π))r² log r, the true 2D biharmonic fundamental solution. With the stated c₁, f₂ has a 1/r singularity in its third derivatives, so the W^{3,p} claim fails for p ≥ 2. That is a concrete false statement in the proof of the central estimate. The fix is one line, and the coefficient cancels in Proposition 3.3, so the main theorem survives — but a referee has to catch it and the author has to correct it.

The sign mess in Lemma 5.8 is real but minor: with v = Lu ≤ 0, (-v)* = ∞ forces inf v* → -∞, and the printed "inf v* = ∞" is impossible. Flip the signs and the convexity argument works. And the W^{3,8}/W^{3,∞} issue is more than a typo: Remark 6.11 asserts C^{2,1} = W^{3,8}, which is false. The proof of Lemma 6.10 actually gives the needed W^{1,∞} bound on B²u if [40, Theorem 1.2] is invoked as stated, so the repair is routine, but the printed chain does not yet deliver C^{2,1}.

Net: the central estimate is new, the main line holds, and I found no load-bearing gap. Send it to a serious referee; ask that referee to check Lemma 2.7(ii) and the final regularity chain carefully. I would take Section 3 to the reading group and would cite the anisotropic Frehse observation.

Referee Report

2 major / 3 minor

Summary. The paper studies the two-dimensional anisotropic higher-order Alt-Caffarelli problem consisting of minimizing E(u)=∫_Ω (div(A∇u))² dx + |{u>0}| with a smooth uniformly elliptic symmetric coefficient matrix A. The main results are an anisotropic version of Frehse's observation for the Green function of L² with L=-div(A∇), Theorem 1.1, and a regularity theorem for minimizers, Theorem 1.2, asserting C^{2,1} regularity, nonvanishing gradient on the nodal set, and that {u<0} is a finite union of C^{2,1} domains. The proof combines a detailed asymptotic analysis of the Green function with variational inequalities, semiconvexity and blow-up arguments, following and extending the author's earlier isotropic work in [41,42].

Significance. If the local repairs below are made, the paper gives a solid and useful extension of the isotropic biharmonic Alt-Caffarelli theory. The anisotropic Frehse observation is a genuinely new technical tool: the proof introduces a Riemannian metric on symmetric matrices and an orthonormal frame adapted to A, with detailed algebraic computations that are verifiable by hand. The paper also gives credit for the variational framework inherited from [41,42], and the final regularity statement is a natural and nontrivial counterpart to the classical Alt-Caffarelli result. The main weakness is that two concrete technical statements in the written proof are incorrect as stated, although both appear to be locally repairable.

major comments (2)

[Section 2.2, Lemma 2.7(ii); used in Section 3, Proposition 3.3] Lemma 2.7(ii) is false as stated. The proof computes L(ψ_x log ψ_x − 4 d1(x) G_{L2}(x,·)) = −h with h ∈ W^{1,p}_{loc}, which yields G_{L2}(x,y) = (1/(4 d1(x))) ψ_x(y) log ψ_x(y) + f2(x,y), i.e. the coefficient is c1/4, not c1 = 1/d1 as stated. With the stated coefficient c1, the remainder f2 = G − c1 ψ log ψ has third derivatives with a 1/r singularity and does not lie in W^{3,p}_{loc} for p ≥ 2, so the claimed W^{3,p} regularity of f2 is false. Proposition 3.3 uses Lemma 2.7(ii) with the factor c1 in the first line of its proof, so that proof is invalid as written. The repair is local: replace c1 by c1/4 in Lemma 2.7(ii) and adjust f2 accordingly; the coefficient cancels in Proposition 3.3, so the final Frehse formula survives.
[Section 5.2, Lemma 5.8] Lemma 5.8 contains a sign error in the application of Lemma 2.4. From (−v)*(x0) = ∞ one obtains lim_{r→0} inf_{B_r(x0)} (−v)* = ∞, not lim_{r→0} inf_{B_r(x0)} v* = ∞; since v = Lu ≤ 0, the infimum of v* cannot tend to +∞. The displayed line 'inf_{B_r(x0)} v* ≥ ... = ∞' and the subsequent choice of r1 with 'inf_{B_{r1}(x0)} v* > 2C/θ' should both refer to (−v)*. With this correction, the convexity argument leading to the inequality u(x) ≥ (C/4)|x−x0|² goes through.

minor comments (3)

[Throughout] The manuscript contains several typographical errors, including 'Alt-Caff arelli' in the running title and 'certian' in the heading of Section 4.4; these should be corrected.
[Section 5.2, Lemma 5.8] After the sign correction in Lemma 5.8, the sentence following (5.21) should state that inf_{B_{r1}(x0)} (−v)* > 2C/θ rather than inf_{B_{r1}(x0)} v* > 2C/θ.
[Section 4.3, Lemma 4.8] The notation Ω δ and Ωδ is used interchangeably in the proof of Lemma 4.8; please unify it to avoid confusion.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the anisotropic Frehse observation and Theorem 1.2 are derived from in-paper Green's-function estimates plus external and prior published tools.

full rationale

The central new result, Theorem 1.1, is not assumed or fitted. Its proof is self-contained: Lemma 2.7 derives the logarithmic structure of G_L and G_L2, Lemmas 3.4-3.5 construct the orthonormal frame and identify M0 = (1/sqrt(2)) A^{-1}, and Proposition 3.3 then yields the anisotropic Frehse identity (3.2). Theorem 1.1 follows by integrating against the measure via Lemma 3.8. The Alt-Caffarelli application uses this theorem together with the externally cited Blank-Hao mean-value property (Lemma 2.3) and the author's earlier published results [40,41,42] for the isotropic case and for surface-measure equations. Those earlier results do not assume the anisotropic conclusion, so the heavy self-citation is methodological, not circular. The potential coefficient error in Lemma 2.7(ii) identified by the skeptic is a correctness issue in an intermediate computation, not a reduction of the conclusion to its inputs; the paper's stated repair preserves the Frehse formula because the coefficient cancels. No step of the derivation defines a quantity in terms of the target conclusion or renames a known result as a prediction.

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

The central claim rests on standard elliptic theory plus the imported mean value property of Blank-Hao [6] and the author's earlier isotropic work [40,41,42]. No free parameters are fitted; the constants in the proofs are universal. The paper introduces no new physical entities; the orthonormal frame in Lemma 3.4 is a mathematical construction, not an invented object.

assumptions (5)

standard math Green's functions G_L and G_{L^2} exist for the Dirichlet and Navier problems and have the stated regularity and positivity (Lemma 2.6).
Invoked throughout Section 2; based on [35] and [25]. If the positivity of G_L failed, Lemma 5.2(i) would not rule out atoms of mu.
domain assumption Mean value property of Blank-Hao [6] for weak supersolutions of L = -div(A grad) (Lemma 2.3), including the set family D_R(x0) and monotonic averages.
Used in Lemma 2.4, Corollary 2.5, and throughout Section 5 for the pointwise representative. This is the structural premise for treating non-Lebesgue points of D^2u.
standard math Elliptic regularity and Sobolev embedding theorems in 2D (Folland [20], Gilbarg-Trudinger [24], semigroup results in [36]).
Used repeatedly to pass from L^2 or L^s equations to C^k regularity of u and of v=Lu.
standard math Jordan-Brouwer separation theorem for C^2 hypersurfaces in R^2 (Lima [34]).
Used in Lemma 6.8 to identify the connected components of {u<0} bounded by components of {u=0}.
domain assumption The asymptotic expansion of G_{L^2} in Lemma 2.7 is valid under the assumed C^infinity uniformly elliptic A.
Proved in the paper by direct computation; however, it is the essential link between the Green's function and the comparison function psi_x(y)=A(y)^{-1}(y-x).(y-x). If the remainder f2 were not W^{3,p}, the Frehse-type decomposition would fail.

how reviews work

0 comments

Cite this review

Pith. "Pith review of An anisotropic Alt-Caffarelli problem of higher order." pith.science (2026). https://pith.science/paper/IM3QYDGG

@misc{pith2026250520923,
  author       = {Pith},
  title        = {Pith review of: An anisotropic Alt-Caffarelli problem of higher order},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IM3QYDGG}},
  note         = {Machine review of arXiv:2505.20923}
}

abstract

We study a higher order version of the Alt-Caffarelli problem in two dimensions, where the Dirichlet energy is replaced by an anisotropic bending energy. This extends a previous study of the isotropic case in [41]. It turns out that smooth anisotropies do not affect the optimal $C^{2,1}$-regularity of minimizers. The proof requires an anisotropic version of an estimate by Frehse for the fundamental solution of the bilaplacian. This generalization paves the way for further studies of various free boundary problems of higher order.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

48 extracted references · 43 canonical work pages

[6]

Ivan Blank and Zheng Hao, The mean value theorem and basic properties of the obstacle problem for divergence form elliptic operators, Comm. Anal. Geom. 23 (2015), no. 1, 129–158, DOI 10.4310/CAG.2015.v23.n1.a4. MR3291366

work page doi:10.4310/cag.2015.v23.n1.a4 2015
[1]

H. W. Alt and L. A. Caffarelli, Existence and regularity for a minimum problem with free boundary , J. Reine Angew. Math. 325 (1981), 105–144. MR0618549

work page 1981
[2]

H. W. Alt, L. A. Caffarelli, and A. Friedman, A free boundary problem for quasi-linear elliptic equations , Annali della Scuola Normale Superiore di Pisa - Classe di Scienze 11 (1884)

work page
[3]

50 (2019), no

Ashok Aryal and Ivan Blank, Geometry of mean value sets for general divergence form uniformly elliptic operators , Potential Anal. 50 (2019), no. 1, 43–54, DOI 10.1007/s11118-017-9672-4. MR3900845

work page doi:10.1007/s11118-017-9672-4 2019
[4]

Ashbaugh and Dorin Bucur, On the isoperimetric inequality for the buckling of a clamped plate , Z

Mark S. Ashbaugh and Dorin Bucur, On the isoperimetric inequality for the buckling of a clamped plate , Z. Angew. Math. Phys. 54 (2003), no. 5, 756–770, DOI 10.1007/s00033-003-3204-3. Special issue dedicated to Lawrence E. Payne. MR2019178

work page doi:10.1007/s00033-003-3204-3 2003
[5]

Auscher and M

P. Auscher and M. Qafsaoui, Observations on W 1,p estimates for divergence elliptic equations with VMO coefficients , Boll. Unione Mat. Ital. Sez. B Artic. Ric. Mat. (8) 5 (2002), no. 2, 487–509 (English, with English and Italian summaries). 40 MARIUS M ¨ULLER

work page 2002
[7]

Strauss,Semi-linear second-order elliptic equations in L1, J

Ha ¨ ım Br´ ezis and Walter A. Strauss,Semi-linear second-order elliptic equations in L1, J. Math. Soc. Japan 25 (1973), 565–590, DOI 10.2969/jmsj/02540565. MR0336050

arXiv 1973
[8]

B Bico and J Roman, Elasto-capillarity: deforming an elastic structure with a liquid droplet , Journal of Physics: Condensed Matter, posted on 2010, DOI 10.1088/0953-8984/22/49/493101

work page doi:10.1088/0953-8984/22/49/493101 2010

Show all 48 references

[9]

Caffarelli, The obstacle problem, Lezioni Fermiane

Luis A. Caffarelli, The obstacle problem, Lezioni Fermiane. [Fermi Lectures], Accademia Nazionale dei Lincei, Rome; Scuola Normale Superiore, Pisa, 1998. MR2011808

1998
[10]

Caffarelli and Avner Friedman, The obstacle problem for the biharmonic operator , Ann

Luis A. Caffarelli and Avner Friedman, The obstacle problem for the biharmonic operator , Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 6 (1979), no. 1, 151–184. MR0529478

1979
[11]

Caffarelli, Avner Friedman, and Alessandro Torelli, The two-obstacle problem for the biharmonic operator , Pacific J

Luis A. Caffarelli, Avner Friedman, and Alessandro Torelli, The two-obstacle problem for the biharmonic operator , Pacific J. Math. 103 (1982), no. 2, 325–335. MR0705233

1982
[12]

Caffarelli, David Jerison, and Carlos E

Luis A. Caffarelli, David Jerison, and Carlos E. Kenig, Global energy minimizers for free boundary problems and full regularity in three dimensions , Noncompact problems at the intersection of geometry, analysis, and topology, Contemp. Math., vol. 350, Amer. Math. Soc., Provid...

2004 doi
[13]

Caffarelli, Jean-Michel Roquejoffre, and Yannick Sire, Variational problems for free boundaries for the frac- tional Laplacian, J

Luis A. Caffarelli, Jean-Michel Roquejoffre, and Yannick Sire, Variational problems for free boundaries for the frac- tional Laplacian, J. Eur. Math. Soc. (JEMS) 12 (2010), no. 5, 1151–1179, DOI 10.4171/JEMS/226. MR2677613

2010 doi
[14]

Donatella Danielli and Arshak Petrosyan, A minimum problem with free boundary for a degenerate quasilinear opera- tor, Calc. Var. Partial Differential Equations 23 (2005), no. 1, 97–124, DOI 10.1007/s00526-004-0294-5. MR2133664

2005 doi
[15]

Reine Angew

Daniela De Silva and David Jerison, A singular energy minimizing free boundary, J. Reine Angew. Math. 635 (2009), 1–21. MR2572253

2009
[16]

Serena Dipierro, Aram Karakhanyan, and Enrico Valdinoci, A free boundary problem driven by the biharmonic operator, Pure Appl. Anal. 2 (2020), no. 4, 875–942, DOI 10.2140/paa.2020.2.875. MR4229229

2020 doi
[17]

, Limit behaviour of a singular perturbation problem for the biharmonic operator , Appl. Math. Optim. 80 (2019), no. 3, 679–713, DOI 10.1007/s00245-019-09598-7. MR4026596

2019 doi
[18]

Teixeira, Cavity problems in discontinuous media, Calc

Disson dos Prazeres and Eduardo V. Teixeira, Cavity problems in discontinuous media, Calc. Var. Partial Differential Equations 55 (2016), no. 1, Art. 10, 15, DOI 10.1007/s00526-016-0955-1. MR3448940

2016 doi
[19]

Evans and Ronald F

Lawrence C. Evans and Ronald F. Gariepy, Measure theory and fine properties of functions , Revised edition, Text- books in Mathematics, CRC Press, Boca Raton, FL, 2015. MR3409135

2015
[20]

Folland, Introduction to partial differential equations, 2nd ed., Princeton University Press, Princeton, NJ,

Gerald B. Folland, Introduction to partial differential equations, 2nd ed., Princeton University Press, Princeton, NJ,
[21]

9 (1973), 91–103, DOI 10.1007/BF01320669

Jens Frehse, On the regularity of the solution of the biharmonic variational inequality , Manuscripta Math. 9 (1973), 91–103, DOI 10.1007/BF01320669. MR0324208

1973 doi
[22]

, Zum Differenzierbarkeitsproblem bei Variationsungleichungen h¨ oherer Ordnung, Abh. Math. Sem. Univ. Hamburg 36 (1971), 140–149, DOI 10.1007/BF02995917 (German). MR0330754

1971 doi
[23]

Kurt Friedrichs, ¨Uber ein Minimumproblem f¨ ur Potentialstr¨ omungen mit freiem Rande, Math. Ann. 109 (1934), no. 1, 60–82, DOI 10.1007/BF01449125 (German). MR1512880

1934 doi
[24]

Trudinger, Elliptic partial differential equations of second order , Classics in Mathematics, Springer-Verlag, Berlin, 2001

David Gilbarg and Neil S. Trudinger, Elliptic partial differential equations of second order , Classics in Mathematics, Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition. MR1814364

2001
[25]

37 (1982), no

Michael Gr¨ uter and Kjell-Ove Widman,The Green function for uniformly elliptic equations , Manuscripta Math. 37 (1982), no. 3, 303–342, DOI 10.1007/BF01166225. MR0657523

1982 doi
[26]

Hans-Christoph Grunau and Marius M¨ uller, A biharmonic analogue of the Alt-Caffarelli problem , Math. Ann. 390 (2024), no. 4, 5259–5297, DOI 10.1007/s00208-024-02883-z. MR4816111

2024 doi
[27]

MR0195360

John Happel and Howard Brenner, Low Reynolds number hydrodynamics with special applications to particulate media, Prentice-Hall, Inc., Englewood Cliffs, NJ, 1965. MR0195360

1965
[28]

Kinderlehrer, L

D. Kinderlehrer, L. Nirenberg, and J. Spruck, Regularity in elliptic free boundary problems. II. Equations of higher order, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 6 (1979), no. 4, 637–683. MR0563338

1979
[29]

Gorb and Naoe Hosoda and Ralph Spolenak and Eduard Arzt, In- fluence of surface roughness on gecko adhesion , Acta Biomaterialia 3 (2007), no

Gerrit Huber and Stanislav N. Gorb and Naoe Hosoda and Ralph Spolenak and Eduard Arzt, In- fluence of surface roughness on gecko adhesion , Acta Biomaterialia 3 (2007), no. 4, 607-610, DOI https://doi.org/10.1016/j.actbio.2007.01.007. ANISOTROPIC HIGHER ORDER ALT-CAFF ARELLI P...

2007 doi
[30]

David Jerison and Ovidiu Savin, Some remarks on stability of cones for the one-phase free boundary problem , Geom. Funct. Anal. 25 (2015), no. 4, 1240–1257, DOI 10.1007/s00039-015-0335-6. MR3385632

2015 doi
[31]

Reprint of the 1955 original

Fritz John, Plane waves and spherical means applied to partial differential equations , Dover Publications, Inc., Mineola, NY, 2004. Reprint of the 1955 original. MR2098409

2004
[32]

31, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA,

David Kinderlehrer and Guido Stampacchia, An introduction to variational inequalities and their applications , Clas- sics in Applied Mathematics, vol. 31, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA,
[33]

Pugno, Observation of optimal gecko’s adhesion on nanorough surfaces , Biosys- tems 94 (2008), no

Emiliano Lepore and Nicola M. Pugno, Observation of optimal gecko’s adhesion on nanorough surfaces , Biosys- tems 94 (2008), no. 3, 218-222, DOI https://doi.org/10.1016/j.biosystems.2008.06.009. Bio(nano)materials with structrure-property relationship

2008 doi
[34]

Lima, The Jordan-Brouwer separation theorem for smooth hypersurfaces , Amer

Elon L. Lima, The Jordan-Brouwer separation theorem for smooth hypersurfaces , Amer. Math. Monthly 95 (1988), no. 1, 39–42, DOI 10.2307/2323445. MR0935429

1988 doi
[35]

Littman, G

W. Littman, G. Stampacchia, and H. F. Weinberger, Regular points for elliptic equations with discontinuous coeffi- cients, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) 17 (1963), 43–77

1963
[36]

[2013 reprint of the 1995 original] [MR1329547]

Alessandra Lunardi, Analytic semigroups and optimal regularity in parabolic problems , Modern Birkh¨ auser Classics, Birkh¨ auser/Springer Basel AG, Basel, 1995. [2013 reprint of the 1995 original] [MR1329547]. MR3012216

1995
[37]

MR3887685

Dorina Mitrea, Distributions, partial differential equations, and harmonic analysis , 2nd ed., Universitext, Springer, Cham, 2018. MR3887685

2018
[38]

Tatsuya Miura, Singular perturbation by bending for an adhesive obstacle problem , Calc. Var. Partial Differential Equations 55 (2016), no. 1, Art. 19, 24, DOI 10.1007/s00526-015-0941-z. MR3456944

2016 doi
[39]

D 355 (2017), 34–44, DOI 10.1016/j.physd.2017.06.002

, Overhanging of membranes and filaments adhering to periodic graph substrates , Phys. D 355 (2017), 34–44, DOI 10.1016/j.physd.2017.06.002. MR3683120

2017 doi
[40]

Scuola Norm

Marius M¨ uller,On elliptic equations involving surface measures , Ann. Scuola Norm. Sup. Pisa Cl. Sci. (2024 (ahead of print))

2024
[41]

, The biharmonic Alt-Caffarelli problem in 2D , Ann. Mat. Pura Appl. (4) 201 (2022), no. 4, 1753–1799, DOI 10.1007/s10231-021-01178-3. MR4454382

2022 doi
[42]

26 (2024), no

, Polyharmonic equations involving surface measures , Interfaces Free Bound. 26 (2024), no. 1, 61–78, DOI 10.4171/ifb/503. MR4705642

2024 doi
[43]

Matteo Novaga and Shinya Okabe, Regularity of the obstacle problem for the parabolic biharmonic equation , Math. Ann. 363 (2015), no. 3-4, 1147–1186, DOI 10.1007/s00208-015-1200-5. MR3412355

2015 doi
[44]

Bennett Palmer, Equilibria for anisotropic bending energies , J. Math. Phys. 50 (2009), no. 2, 023512, 11, DOI 10.1063/1.3081008. MR2494852

2009 doi
[45]

B. N. J. Persson and S. Gorb, The effect of surface roughness on the adhesion of elastic plates with application to biological systems, J. Chem. Phys, posted on 2003, DOI https://doi.org/10.1063/1.1621854

2003 doi
[46]

Kathrin Stollenwerk, On the optimal domain for minimizing the buckling load of a clamped plate , Z. Angew. Math. Phys. 74 (2023), no. 1, Paper No. 12, 16, DOI 10.1007/s00033-022-01898-3. MR4519579

2023 doi
[47]

Chipot, P

Laurent Veron, Elliptic Equations Involving Measures , M. Chipot, P. Quittner. Stationary Partial Differential equa- tions, Volume 1, Elsevier, pp.593-712, 2004, Handbook of Differential Equations. Universit¨at Augsburg, Institut f¨ur Mathematik, 86159 Augsburg Email address :...

2004
[2000]

MR1786735

Reprint of the 1980 original. MR1786735

1980

Pith tools

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

[1] [6]

Ivan Blank and Zheng Hao, The mean value theorem and basic properties of the obstacle problem for divergence form elliptic operators, Comm. Anal. Geom. 23 (2015), no. 1, 129–158, DOI 10.4310/CAG.2015.v23.n1.a4. MR3291366

work page doi:10.4310/cag.2015.v23.n1.a4 2015

[2] [1]

H. W. Alt and L. A. Caffarelli, Existence and regularity for a minimum problem with free boundary , J. Reine Angew. Math. 325 (1981), 105–144. MR0618549

work page 1981

[3] [2]

H. W. Alt, L. A. Caffarelli, and A. Friedman, A free boundary problem for quasi-linear elliptic equations , Annali della Scuola Normale Superiore di Pisa - Classe di Scienze 11 (1884)

work page

[4] [3]

50 (2019), no

Ashok Aryal and Ivan Blank, Geometry of mean value sets for general divergence form uniformly elliptic operators , Potential Anal. 50 (2019), no. 1, 43–54, DOI 10.1007/s11118-017-9672-4. MR3900845

work page doi:10.1007/s11118-017-9672-4 2019

[5] [4]

Ashbaugh and Dorin Bucur, On the isoperimetric inequality for the buckling of a clamped plate , Z

Mark S. Ashbaugh and Dorin Bucur, On the isoperimetric inequality for the buckling of a clamped plate , Z. Angew. Math. Phys. 54 (2003), no. 5, 756–770, DOI 10.1007/s00033-003-3204-3. Special issue dedicated to Lawrence E. Payne. MR2019178

work page doi:10.1007/s00033-003-3204-3 2003

[6] [5]

Auscher and M

P. Auscher and M. Qafsaoui, Observations on W 1,p estimates for divergence elliptic equations with VMO coefficients , Boll. Unione Mat. Ital. Sez. B Artic. Ric. Mat. (8) 5 (2002), no. 2, 487–509 (English, with English and Italian summaries). 40 MARIUS M ¨ULLER

work page 2002

[7] [7]

Strauss,Semi-linear second-order elliptic equations in L1, J

Ha ¨ ım Br´ ezis and Walter A. Strauss,Semi-linear second-order elliptic equations in L1, J. Math. Soc. Japan 25 (1973), 565–590, DOI 10.2969/jmsj/02540565. MR0336050

arXiv 1973

[8] [8]

B Bico and J Roman, Elasto-capillarity: deforming an elastic structure with a liquid droplet , Journal of Physics: Condensed Matter, posted on 2010, DOI 10.1088/0953-8984/22/49/493101

work page doi:10.1088/0953-8984/22/49/493101 2010