Existence and uniqueness results for a nonlinear Budiansky-Sanders shell model

Trung Hieu Giang

REVIEW 1 major objections 5 minor 10 references

Existence and uniqueness results for a nonlinear Budiansky-Sanders shell model

T0 review · 1 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read Forces from a specially constructed family guarantee that a nonlinear shell model has a minimizer on any middle-surface shape, and small forces make that minimizer unique.

desk verdict Clever force-family idea, but Remark 3.3's integration-by-parts identity misses a g∂α√a term, so Theorem 3.4's proof fails for general shells. read the letter →

arxiv 2411.17405 v2 pith:H66DNNYL submitted 2024-11-26 math.AP

Trung Hieu Giang This is my paper · ORCID

classification math.AP MSC 74K2574B2035A1535A02

keywords nonlinearshelltheoryBudiansky-SandersmodelexistenceofminimizersuniquenessKorn'sinequalitycalculusvariationsChristoffelsymbolsclamped

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

The paper proves existence of minimizers for a nonlinear Budiansky-Sanders shell model under weaker hypotheses than earlier results. It shows that if the applied force is close (in $L^2$) to one of a specially constructed family of forces, then the total energy has at least one minimizer, regardless of the shape of the shell's middle surface. It also shows that when the applied force is small enough, the minimizer is unique. This extends Destuynder's earlier existence theorem, which required both small forces and small Christoffel symbols. The key is a family of forces whose work term cancels a troublesome membrane interaction through an integration by parts.

What carries the argument

The central objects are the special force family $\mathcal{A}$ and the Korn-type inequality of Lemma 3.5. The forces in $\mathcal{A}$ are engineered so that their work against a displacement equals a boundary-free expression involving only $\phi_1(\eta)+\phi_2(\eta)$; this converts the problematic term in the energy into one controlled by the modified curvature $\rho^{BS}_{\alpha\beta}$. Lemma 3.5 states that for every $(v_1,v_2)\in (W^{1,2}_0(\omega))^2$ there is a constant $C_S$ with $\sum_\alpha \|v_\alpha\|_{1,2} \le C_S \sum_{\alpha,\beta}\|v_{\alpha|\beta}+v_{\beta|\alpha}\|_2$, where $v_{\alpha|\beta}=\partial_\beta v_\alpha - \Gamma^\sigma_{\alpha\beta} v_\sigma$. Together with an existing norm equivalence on $X_0$ (that $\sum_{\alpha,\beta}(\|\gamma_{\alpha\beta}(\cdot)\|_2+\|\rho^{BS}_{\alpha\beta}(\cdot)\|_2)$ is an equivalent norm), this provides the coercivity needed for existence and the strict convexity-type estimate needed for uniqueness.

What would settle it

Construct a $C^2$ immersed surface $\theta$ and a sequence $(v_1,v_2)\in (W^{1,2}_0(\omega))^2$ with $\sum_{\alpha,\beta}\|v_{\alpha|\beta}+v_{\beta|\alpha}\|_2$ bounded but $\sum_\alpha\|v_\alpha\|_{1,2}$ unbounded; this would disprove Lemma 3.5. Concretely, one could choose a surface with large Christoffel symbols and test the inequality numerically, or look for a known counterexample to a Riemannian Korn inequality when the connection terms are present.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.4: for any immersion $\theta \in C^2(\omega;\mathbb{R}^3)$ defining the shell middle surface, and for any force $f = f_0 + h$ with $f_0$ in the special set $\mathcal{A}$ and $\|h^i\|_2$ small enough, the nonlinear Budiansky-Sanders functional $J_{BS}$ has at least one minimizer in $X_0$. Theorem 3.6 adds that if the total force is small enough, this minimizer is unique. The set $\mathcal{A}$ consists of forces with components $f^1 = (b^1_1+b^1_2)g$, $f^2 = (b^2_1+b^2_2)g$, $f^3 = \partial_1 g + \partial_2 g$ for some $g \in W^{1,2}(\omega)$; for these forces, integration by parts gives $\int_\omega f\cdot\eta\,\sqrt{a}\,dy = -\int_\omega (\phi_1(\eta)+\phi_2(\eta)) g\,\sqrt{a}\,dy$, which neutralizes the quadratic terms in $\phi_\alpha$ that otherwise obstruct coercivity. The argument also relies on a Korn-type inequality on surfaces, Lemma 3.5, to compare $\phi_\alpha$ with the modified curvature tensor $\rho^{BS}_{\alpha\beta}$.

Load-bearing premise

The proofs depend on Lemma 3.5, a Korn-type inequality for the surface connection whose proof is omitted and whose cited source is not explicitly shown to handle the Christoffel-symbol terms in $v_{\alpha|\beta}$; if that inequality were false for some geometry, the existence and uniqueness arguments would collapse.

Editorial extensions

If this is right

If the main theorems are correct, existence of minimizers holds for every $C^2$ immersed middle surface, with no smallness condition on the Christoffel symbols.
The set $\mathcal{A}$ contains forces of arbitrarily large and arbitrarily small $L^2$ norm, so the existence result is not limited to small loads; it applies near a family that spans a wide range of magnitudes.
For sufficiently small forces, the minimizer is unique, extending the cylindrical-shell uniqueness result of [8] to general shell geometries.
The construction suggests that the obstruction to coercivity in this shell model can be controlled by designing special loads, rather than by restricting the geometry.

Reading between the lines

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

One testable extension is to verify Lemma 3.5 numerically or analytically for concrete non-flat geometries (e.g., a sphere cap or a hyperbolic paraboloid); if the constant $C_S$ fails to exist for some immersion, the existence proof would need a different estimate.
The integration-by-parts mechanism behind $\mathcal{A}$ might be portable to other nonlinear shell models with similar membrane-flexural coupling, potentially yielding force families that restore compactness there too.
A natural next step is to quantify the smallness threshold on the perturbation $h$ in terms of the geometry and material constants, which the paper leaves implicit.

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 paper is a classic case of a good idea going sideways in the details. The force family A is clever: choosing f1, f2, f3 from a single g so that the work term formally cancels the linearized membrane part. On a flat surface, the integration by parts works. In general, it doesn't, because ∂α(g√a) produces an extra g ∂α√a term. The identity in Remark 3.3 is false; the stress-test note is right. The missing term is not a boundary artifact—η3 vanishes on the boundary, but the volume term −∫ g η3 ∂α√a dy survives.

This matters because Step 1 of Theorem 3.4 uses that identity to get the crucial estimate (3.3). Without it, the force term has a leftover linear term in η3 with coefficient ||g||2, which is not small and destroys the contradiction argument for the unbounded ρ-sequence. So the main existence theorem is unproven for general shells. The fix is conceptually simple: modify A so that f3 includes g(∂1√a + ∂2√a). But that is not the paper as written.

What is genuinely good: the motivation for A is novel, the uniqueness theorem (for small total forces) has a plausible proof once the identity is fixed, and the organization is clean. The appendix derivation of (3.15) is careful.

Two more soft spots. Lemma 3.5 is asserted with no proof; the cited Chen–Jost theorem with δ metric does not obviously imply a Korn inequality with surface Christoffel symbols. The norm equivalence from Destuynder is used as a black box, which is acceptable if quoted precisely but should be stated.

Bottom line: the paper should not be accepted as is. But the core idea is worth refereeing. I would send it to a good referee with a note that the integration-by-parts identity needs to be checked, and expect a major revision. For the reading group, it is a useful example of how a formal integration by parts can hide a geometry-dependent term.

Referee Report

1 major / 5 minor

Summary. The paper studies the nonlinear Budiansky-Sanders shell model, in which the unknown displacement η ∈ X0 minimizes the energy functional JBS(η) = ∫ω WBS(η)√a dy − ∫ω f·η√a dy. The main results are Theorem 3.4, asserting that for every element f̅ of a special family A and for sufficiently small L2 perturbations h, the problem with force f = f̅ + h has at least one minimizer, and Theorem 3.6, asserting uniqueness of the minimizer when the total force is small enough. The proof scheme is: establish coercivity using a Korn-type inequality for the surface connection (Lemma 3.5), combine it with a norm equivalence quoted from Destuynder [1], and then use convexity-type expansions to handle uniqueness. The appendix provides a detailed verification of the second-order expansion used in the uniqueness proof.

Significance. The paper proposes an appealing strategy to remove the smallness assumptions on the Christoffel symbols that appear in Destuynder's earlier existence theorem, by introducing a family A of special forces that can be arbitrarily large or small. If the proofs were correct, Theorems 3.4 and 3.6 would be a meaningful extension of the existing theory and would apply to general shell geometries. The paper also contains a useful detailed computation of the second variation of the energy in the appendix. However, the present version contains a critical error in the integration-by-parts identity on which the coercivity argument heavily relies, and the proof of a key lemma is omitted. These issues undermine the main existence claim as stated.

major comments (1)

[Theorem 3.4, Step 2; Theorem 3.6, Steps 1 and 3] The proofs rely on the norm equivalence (ζ1,ζ2,ζ3) ↦ ∑αβ(‖γαβ(ζ)‖2 + ‖ρBS_{αβ}(ζ)‖2) being equivalent to the canonical norm on X0, citing [1, p.75]. The manuscript does not state the hypotheses under which this equivalence holds. In classical shell theory, Korn-type inequalities of this kind are not guaranteed for every C^2 immersion without additional geometric assumptions (such as ellipticity of the middle surface). Since the paper claims its existence result applies to 'all kinds of geometries', the authors should either prove this norm equivalence for every immersion θ ∈ C^2 or state precisely the conditions from [1] and verify that they cover the claimed generality. This point is load-bearing for Step 2 of Theorem 3.4 and for the uniqueness conclusion in Theorem 3.6.

minor comments (5)

[Theorem 3.4] In the statement of Theorem 3.4, the symbol f is used both for an element of the family A and for the total applied force; the special part should be denoted consistently (e.g., f̅) to avoid confusion.
[Proof of Theorem 3.6, equation (3.10)] In inequality (3.10), the subscript n appears (η_n) where the argument should be the minimizer η_f; the same typo occurs in (3.11) and (3.13)-(3.14). This is a local presentation issue that does not affect the argument.
[Inequality (3.3)-(3.4)] When applying Lemma 3.5 to the terms ‖φ1(η)‖2 + ‖φ2(η)‖2, the factor 1/2 in the definition ρBS_{αβ}(η) = (1/2)((φα)|β + (φβ)|α) changes the constant CS by a factor of 2. This is harmless for the argument but should be corrected for clarity.
[Title and abstract] There are typographical issues in the title and running text, such as 'RESUL TS' and 'non lin ear'; these should be corrected in the final version.
[Introduction] The paper does not discuss how Theorem 3.4 relates to the geometric condition (H) in Theorem 1.2; a brief remark clarifying whether the new result supersedes or complements the earlier condition would be helpful.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the force family is defined explicitly, the key estimates are cited from external sources, and the author's own prior work appears only as background.

full rationale

The derivation chain is self-contained modulo externally cited estimates. The special force family A in Definition 3.1 is defined directly through the equations f^1=(b^1_1+b^1_2)g, f^2=(b^2_1+b^2_2)g, f^3=∂_1g+∂_2g; it is not inferred from or fitted to the existence or uniqueness conclusion. The key coercivity estimate Lemma 3.5 is attributed to Chen and Jost [7], an external source, and the norm equivalence used in Theorems 3.4 and 3.6 is attributed to Destuynder [1]. The author's own prior work [8] is mentioned only in the introduction as context and is not used as evidence for any claim in the proofs. No parameter is fitted to a subset of data and then renamed as a prediction, no uniqueness theorem is imported from the author's own prior work to forbid alternatives, and no known result is repackaged under new names. Even though the proof of Lemma 3.5 is omitted and there may be a mathematical correctness concern about the integration-by-parts identity in Remark 3.3 on non-flat surfaces, that concern is about validity of a stated identity, not about circularity: the identity is asserted as a direct computation rather than assumed as the conclusion. Therefore the paper does not reduce to its own inputs by construction.

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

The central claim rests on two external inequalities: the Korn-type inequality of Lemma 3.5 and the norm equivalence from Destuynder's paper. Both are plausible for clamped shells but not proved here. No free parameters are fitted.

assumptions (5)

domain assumption Lemma 3.5: Korn-type inequality Σ||v_α||_{1,2} ≤ C_S Σ||v_{α|β}+v_{β|α}||_2 on (W^{1,2}_0)^2
Used critically in Steps 1 and 2 of Theorem 3.4 and in the uniqueness proof. The proof is omitted and the cited [7, Theorem 5.5] with g=δ does not directly cover the Γ terms.
domain assumption Norm equivalence: η → Σ(||γ_{αβ}||_2+||ρ^BS_{αβ}||_2) is a norm on X0 equivalent to the canonical norm ([1, p.75])
Used to control ||η||_{X0} by the linearized strain measures in (3.7) and in the conclusion of uniqueness. It is taken from Destuynder's paper without proof.
domain assumption Coercivity of the elasticity tensor (2.2)
Standard ellipticity of the shell material, used throughout to get lower bounds.
domain assumption θ ∈ C^2 (or C^3) immersion so that b and Γ are bounded
Ensures the coefficients in the energy are regular enough for the Sobolev arguments; the paper states this at the start.
domain assumption Clamped boundary conditions: η_α∈W^{1,2}_0, η_3∈W^{2,2}_0
The admissible space X0 encodes clamped edges; used for the Korn inequality and integration by parts in Remark 3.3.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Existence and uniqueness results for a nonlinear Budiansky-Sanders shell model." pith.science (2026). https://pith.science/paper/H66DNNYL

@misc{pith2026241117405,
  author       = {Pith},
  title        = {Pith review of: Existence and uniqueness results for a nonlinear Budiansky-Sanders shell model},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/H66DNNYL}},
  note         = {Machine review of arXiv:2411.17405}
}

read the original abstract

A nonlinear shell model is studied in this paper. This is a nonlinear variant of the Budiansky-Sanders linear shell model. Under some suitable assumptions on the magnitude of the applied force, we will prove the existence of a minimizer for this shell model. In addition, we will also show that our existence result can be applied to all kinds of geometries of the middle surface of the shell. We will also show that the minimizer found in this fashion is unique, provided the applied forces are small enough. Our result hence extends the one given by Destuynder in [1].

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

An existence theorem for a nonlinear shell model in large dis placements analysis

Destuynder, P. An existence theorem for a nonlinear shell model in large dis placements analysis. Math. Meth. Appl. Sci. , (1983), 5: 68-83

work page 1983
[2]

On nonlinear membrane theory

Destuynder, P. On nonlinear membrane theory. Comput. Methods Appl. Mech. Engrg. 32 , (1982), no. 1–3, 377–399

work page 1982
[3]

and Sanders, J.L

Budiansky, P. and Sanders, J.L. On the ”best” ﬁrst order linear shell theory. Prog. in Appl. Mech. W. Prager. Anniversary, Volume. New York: Mc. Millan 1967; 129–140. EXISTENCE AND UNIQUENESS 13

work page 1967
[4]

On foundations of linear theory of thin elastic shells

Koiter, W.T. On foundations of linear theory of thin elastic shells. Proc. Kon. Ned. Akad. Wetensch. B73 (1970) 169-195

work page 1970
[5]

Foundations of Elastic Shell Theory

Naghdi, P.M. Foundations of Elastic Shell Theory. (I. N. Sneddon & R. Hill, Editors). Progress in Solid Mechanics (Vol. 4, pp. 1–90). North-Holla nd, Amsterdam, 1963

work page 1963
[6]

Mathematical Elasticity, Volume III: Theory of Shells

Ciarlet, P.G. Mathematical Elasticity, Volume III: Theory of Shells . North-Holland, Ams- terdam, 2000

work page 2000
[7]

and Jost, J.A

Chen, W. and Jost, J.A. Riemannian version of Korn’s inequality. Calc. Var. 14, 517–530 (2002)

work page 2002
[8]

Existence and uniqueness of minimizing solution for a nonli near clamped cylin- drical shell model

Giang, T.H. Existence and uniqueness of minimizing solution for a nonli near clamped cylin- drical shell model. J. Elliptic Parabol. Equ . 10:979-995 (2024)

work page 2024

Show all 10 references

[9]

A nonlinear generalization of the Koiter-Sanders-Budians ky bending strain measure

Acharya, A. A nonlinear generalization of the Koiter-Sanders-Budians ky bending strain measure. Int. J. Solids Struct. 37, 5517–5528 (2000)

2000
[10]

and Neff, P

Ghiba, L.D., Lewintan, P., Sky, A. and Neff, P. An essay on deformation measures in isotropic thin shell theories. Bending versus curvature. Math. Mech. Solids. (2024) Trung Hieu Giang 1,2 1 Department of Mathematics, City University of Hong Kong, 83 Ta t Chee A venue, Kowloon...

2024

Pith tools

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

[1] [1]

An existence theorem for a nonlinear shell model in large dis placements analysis

Destuynder, P. An existence theorem for a nonlinear shell model in large dis placements analysis. Math. Meth. Appl. Sci. , (1983), 5: 68-83

work page 1983

[2] [2]

On nonlinear membrane theory

Destuynder, P. On nonlinear membrane theory. Comput. Methods Appl. Mech. Engrg. 32 , (1982), no. 1–3, 377–399

work page 1982

[3] [3]

and Sanders, J.L

Budiansky, P. and Sanders, J.L. On the ”best” ﬁrst order linear shell theory. Prog. in Appl. Mech. W. Prager. Anniversary, Volume. New York: Mc. Millan 1967; 129–140. EXISTENCE AND UNIQUENESS 13

work page 1967

[4] [4]

On foundations of linear theory of thin elastic shells

Koiter, W.T. On foundations of linear theory of thin elastic shells. Proc. Kon. Ned. Akad. Wetensch. B73 (1970) 169-195

work page 1970

[5] [5]

Foundations of Elastic Shell Theory

Naghdi, P.M. Foundations of Elastic Shell Theory. (I. N. Sneddon & R. Hill, Editors). Progress in Solid Mechanics (Vol. 4, pp. 1–90). North-Holla nd, Amsterdam, 1963

work page 1963

[6] [6]

Mathematical Elasticity, Volume III: Theory of Shells

Ciarlet, P.G. Mathematical Elasticity, Volume III: Theory of Shells . North-Holland, Ams- terdam, 2000

work page 2000

[7] [7]

and Jost, J.A

Chen, W. and Jost, J.A. Riemannian version of Korn’s inequality. Calc. Var. 14, 517–530 (2002)

work page 2002

[8] [8]

Existence and uniqueness of minimizing solution for a nonli near clamped cylin- drical shell model

Giang, T.H. Existence and uniqueness of minimizing solution for a nonli near clamped cylin- drical shell model. J. Elliptic Parabol. Equ . 10:979-995 (2024)

work page 2024