pith. machine review for the scientific record. sign in

arxiv: 2604.01812 · v2 · submitted 2026-04-02 · 🧮 math.AP

Recognition: 1 theorem link

· Lean Theorem

Local Well-Posedness of a Model for Stress-Driven Growth in the Presence of Nutrients

Helmut Abels , Julian Blawid , Georg Dolzmann
Authors on Pith no claims yet

Pith reviewed 2026-05-13 21:07 UTC · model grok-4.3

classification 🧮 math.AP
keywords morphoelastic growthlocal well-posednessfixed-point argumenthyperelasticityreaction-diffusion equationmultiplicative decompositionstress-driven growthexistence and uniqueness
0
0 comments X

The pith

The fully coupled system for nutrient-driven morphoelastic growth has unique local-in-time solutions.

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

The paper proves local existence and uniqueness for a model of tissue growth shaped by both mechanical stress and nutrient uptake. The deformation gradient splits multiplicatively into elastic and growth parts, the growth tensor evolves by an ODE driven by stress and nutrient concentration, the overall shape satisfies quasi-static hyperelastic equilibrium, and nutrients obey a linear elliptic reaction-diffusion equation whose coefficients depend on the current deformation and growth. A fixed-point argument establishes that the map sending a trial growth tensor to the induced fields is a contraction on a suitable Banach space for small times. This supplies a rigorous short-time foundation for simulating how biological materials expand or remodel when chemistry and mechanics interact. If the result holds, the model can be used to track the joint evolution of shape, internal stresses, and nutrient distribution without immediate loss of well-posedness.

Core claim

A model for morphoelastic growth driven by nutrient absorption is formulated with a multiplicative decomposition of the deformation gradient. The growth tensor satisfies an ordinary differential equation on a Banach space whose right-hand side depends on elastic stresses and nutrient concentration; the total deformation solves a quasi-static equilibrium equation derived from a hyperelastic variational integral; and the nutrient concentration solves a linear elliptic reaction-diffusion equation written in Lagrangian coordinates whose coefficients incorporate both the growth tensor and the deformation gradient. Existence and uniqueness of solutions to the resulting fully coupled system are is

What carries the argument

A fixed-point argument applied to the map that sends a growth tensor to the deformation and nutrient field obtained by solving the equilibrium and reaction-diffusion equations.

If this is right

  • Given initial data in the appropriate space, the model admits a unique solution on a positive time interval whose length depends on the data.
  • Short-time growth trajectories can be continued until a possible blow-up time is reached.
  • The nutrient concentration directly modulates the growth rate through its appearance in the right-hand side of the growth ODE.
  • Changes in material geometry induced by growth and elastic deformation alter the diffusion and reaction coefficients for the nutrient field.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The local theory supplies a starting point for numerical schemes that advance growing tissues over successive short intervals.
  • Under additional global bounds on the energy, the same contraction-mapping strategy might yield global existence.
  • The same fixed-point structure could be adapted to variants that include cell proliferation or anisotropic growth tensors.

Load-bearing premise

The growth law, hyperelastic energy density, and nutrient reaction terms are sufficiently regular that the coupled map is a contraction on a suitable Banach space for small time.

What would settle it

Explicit initial data and parameter values satisfying the regularity assumptions for which either no solution or at least two distinct solutions exist on every interval (0, T) with T > 0 would falsify the local well-posedness statement.

read the original abstract

A model for morphoelastic growth, that is, growth influenced by elastic stress, driven by the absorption of nutrients is considered. The model features a multiplicative decomposition of the deformation gradient into an elastic contribution and a growth tensor. While the evolution of the system is governed by an ordinary differential equation for the growth tensor on a suitable Banach space, which depends on the elastic stresses and the concentration of a nutrient field, the total deformation is given by the solution of a quasi-static equilibrium equation arising from the formal Euler-Lagrange equations of a hyperelastic variational integral. The nutrient concentration is determined by a linear elliptic reaction-diffusion equation which is formulated in Lagrangian coordinates and whose coefficients depend on the growth tensor as well as the deformation gradient accounting for the change of material properties due to elastic deformation and growth. Existence and uniqueness of solutions of this fully coupled system of differential equations is proven via a fixed-point argument.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper studies a morphoelastic growth model in which growth is driven by nutrient absorption and modulated by elastic stress. The deformation gradient admits the multiplicative decomposition F = F_e G with growth tensor G evolving by an ODE whose right-hand side depends on the elastic stress and the nutrient concentration. The deformation itself is recovered from the quasi-static Euler-Lagrange equation associated with a hyperelastic energy, while the nutrient concentration satisfies a linear elliptic reaction-diffusion equation posed in Lagrangian coordinates whose coefficients depend on both G and F. Local existence and uniqueness of solutions to the fully coupled system are obtained by a fixed-point argument on a small-time ball in a suitable Banach space.

Significance. If the contraction estimates hold under the stated regularity hypotheses, the result supplies a rigorous local well-posedness theory for a fully coupled morphoelastic-nutrient system. This is a meaningful contribution to the mathematical analysis of biological growth models, as it justifies the passage from the abstract constitutive laws to a well-defined evolution and opens the door to subsequent studies of long-time behavior or numerical approximation.

minor comments (3)
  1. [§2.1] §2.1: The precise function space for the growth tensor G (e.g., whether it is C^1 or merely Lipschitz) should be stated explicitly when the ODE is introduced, as this choice directly determines the admissible regularity for the subsequent fixed-point map.
  2. [§3.3] §3.3, after Eq. (3.12): The continuity of the nutrient solution operator with respect to the deformation gradient F is asserted but the modulus of continuity is not displayed; inserting the explicit dependence on ||F||_{C^0} would clarify the small-time restriction.
  3. [Assumption 2.3] The coercivity assumption on the hyperelastic density W (Assumption 2.3) is used to obtain existence for the quasi-static problem, yet the paper does not record the precise growth condition (e.g., W(F) ≥ c(|F|^p - 1)) that guarantees the required a-priori bound; adding this line would make the application of standard existence theory fully transparent.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our manuscript and the positive evaluation of its significance. The recommendation for minor revision is appreciated. No specific major comments were provided in the report, so we have no point-by-point responses to address at this stage. We will incorporate any minor suggestions that may arise during the revision process.

Circularity Check

0 steps flagged

No significant circularity; standard fixed-point construction

full rationale

The derivation proceeds by defining a fixed-point map on a small-time ball in a Banach space of growth tensors, verifying that the map is a contraction under explicit C^1 regularity and coercivity assumptions on the hyperelastic energy W, growth law, and nutrient reaction terms. The quasi-static Euler-Lagrange equation is solved by standard existence theory for the given growth and deformation, and the nutrient problem is treated as a parameter-dependent linear elliptic operator whose coefficients depend continuously on the growth tensor. No equation is defined in terms of its own output, no fitted parameter is relabeled as a prediction, and no load-bearing step reduces to a self-citation whose content is itself unverified. The argument is therefore self-contained against external benchmarks of contraction-mapping theory and elliptic regularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; the ledger is therefore limited to standard background results invoked by any fixed-point proof in PDE theory.

axioms (1)
  • standard math Banach fixed-point theorem applies once the solution map is shown to be a contraction
    The existence proof is explicitly described as relying on this theorem applied to the coupled system.

pith-pipeline@v0.9.0 · 5457 in / 1172 out tokens · 48234 ms · 2026-05-13T21:07:03.532570+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

56 extracted references · 56 canonical work pages

  1. [1]

    On a fluid-structure interaction problem for plaque growth

    Abels, H., and Liu, Y. On a fluid-structure interaction problem for plaque growth. Nonlinearity 36 , 1 (2023), 537--583

    work page 2023

  2. [2]

    On a fluid-structure interaction problem for plaque growth: cylindrical domain

    Abels, H., and Liu, Y. On a fluid-structure interaction problem for plaque growth: cylindrical domain. J. Differential Equations 345\/ (2023), 334--400

    work page 2023

  3. [3]

    Short-time existence of a quasi-stationary fluid-structure interaction problem for plaque growth

    Abels, H., and Liu, Y. Short-time existence of a quasi-stationary fluid-structure interaction problem for plaque growth. Adv. Nonlinear Anal. 12 , 1 (2023), Paper No. 20230101, 32

    work page 2023

  4. [4]

    Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions

    Agmon, S., Douglis, A., and Nirenberg, L. Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. I . Comm. Pure Appl. Math. 12\/ (1959), 623--727

    work page 1959

  5. [5]

    Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions

    Agmon, S., Douglis, A., and Nirenberg, L. Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. II . Comm. Pure Appl. Math. 17\/ (1964), 35--92

    work page 1964

  6. [6]

    A., Arruda, E

    Ambrosi, D., Ateshian, G. A., Arruda, E. M., Cowin, S. C., Dumais, J., Goriely, A., Holzapfel, G. A., Humphrey, J. D., Kemkemer, R., Kuhl, E., Olberding, J. E., Taber, L. A., and Garikipati, K. Perspectives on biological growth and remodeling. J. Mech. Phys. Solids 59 , 4 (2011), 863--883

    work page 2011

  7. [7]

    Growth and dissipation in biological tissues

    Ambrosi, D., and Guillou, A. Growth and dissipation in biological tissues. Contin. Mech. Thermodyn. 19 , 5 (2007), 245--251

    work page 2007

  8. [8]

    On the mechanics of a growing tumor

    Ambrosi, D., and Mollica, F. On the mechanics of a growing tumor. Internat. J. Engrg. Sci. 40 , 12 (2002), 1297--1316

    work page 2002

  9. [9]

    Ball, J. M. Remarques sur l'existence et la r\'egularit\'e des solutions d'elastostatique non lin\'eaire. In Recent contributions to nonlinear partial differential equations , vol. 50 of Res. Notes in Math. Pitman, Boston, Mass.-London, 1981, pp. 50--62

    work page 1981

  10. [10]

    Stress-modulated growth in the presence of nutrients---existence and uniqueness in one spatial dimension

    Bangert, K., and Dolzmann, G. Stress-modulated growth in the presence of nutrients---existence and uniqueness in one spatial dimension. ZAMM Z. Angew. Math. Mech. 103 , 10 (2023), Paper No. e202200558, 29

    work page 2023

  11. [11]

    Plates with incompatible prestrain

    Bhattacharya, K., Lewicka, M., and Sch\"affner, M. Plates with incompatible prestrain. Arch. Ration. Mech. Anal. 221 , 1 (2016), 143--181

    work page 2016

  12. [12]

    Regularity properties of solutions of a model for morphoelastic growth in the presence of nutrients in one spatial dimension

    Blawid, J., and Dolzmann, G. Regularity properties of solutions of a model for morphoelastic growth in the presence of nutrients in one spatial dimension. Proceedings in Applied Mathematics and Mechanics 26 , 1 (2026), e70084

    work page 2026

  13. [13]

    Multiscale modeling and analysis of growth of plant tissues

    Boudaoud, A., Kiss, A., and Ptashnyk, M. Multiscale modeling and analysis of growth of plant tissues. SIAM J. Appl. Math. 83 , 6 (2023), 2354--2389

    work page 2023

  14. [14]

    A model of controlled growth

    Bressan, A., and Lewicka, M. A model of controlled growth. Arch. Ration. Mech. Anal. 227 , 3 (2018), 1223--1266

    work page 2018

  15. [15]

    Growth models for tree stems and vines

    Bressan, A., Palladino, M., and Shen, W. Growth models for tree stems and vines. J. Differential Equations 263 , 4 (2017), 2280--2316

    work page 2017

  16. [16]

    Viscoelasticity and accretive phase-change at finite strains

    Chiesa, A., and Stefanelli, U. Viscoelasticity and accretive phase-change at finite strains. Z. Angew. Math. Phys. 76 , 2 (2025), Paper No. 53, 23

    work page 2025

  17. [17]

    Existence for accreting viscoelastic solids at large strains

    Chiesa, A., and Stefanelli, U. Existence for accreting viscoelastic solids at large strains. J. Elasticity 158 , 1 (2026), Paper No. 2, 21

    work page 2026

  18. [18]

    Existence results for a morphoelastic model

    Davoli, E., Nik, K., and Stefanelli, U. Existence results for a morphoelastic model. ZAMM Z. Angew. Math. Mech. 103 , 7 (2023), Paper No. e202100478, 25

    work page 2023

  19. [19]

    An existence result for accretive growth in elastic solids

    Davoli, E., Nik, K., Stefanelli, U., and Tomassetti, G. An existence result for accretive growth in elastic solids. Math. Models Methods Appl. Sci. 34 , 11 (2024), 2169--2190

    work page 2024

  20. [20]

    Interior estimates for elliptic systems of partial differential equations

    Douglis, A., and Nirenberg, L. Interior estimates for elliptic systems of partial differential equations. Comm. Pure Appl. Math. 8\/ (1955), 503--538

    work page 1955

  21. [21]

    Weak solutions to a model for phase separation coupled with finite-strain viscoelasticity subject to external distortion

    Eiter, T., and Schmeller, L. Weak solutions to a model for phase separation coupled with finite-strain viscoelasticity subject to external distortion. Math. Models Methods Appl. Sci. 35 , 11 (2025), 2425--2463

    work page 2025

  22. [22]

    How growth-induced stresses guide shape changes during animal morphogenesis: Mechanisms and implications

    Erlich, A., and Harmansa, S. How growth-induced stresses guide shape changes during animal morphogenesis: Mechanisms and implications. Seminars in Cell & Developmental Biology 175\/ (2025), 103661

    work page 2025

  23. [23]

    Incompatibility-driven growth and size control during development

    Erlich, A., and Zurlo, G. Incompatibility-driven growth and size control during development. Journal of the Mechanics and Physics of Solids 188\/ (2024), 105660

    work page 2024

  24. [24]

    The geometric nature of homeostatic stress in biological growth

    Erlich, A., and Zurlo, G. The geometric nature of homeostatic stress in biological growth. Journal of the Mechanics and Physics of Solids 201\/ (2025), 106155

    work page 2025

  25. [25]

    D., and M\"uller, S

    Friesecke, G., James, R. D., and M\"uller, S. A theorem on geometric rigidity and the derivation of nonlinear plate theory from three-dimensional elasticity. Comm. Pure Appl. Math. 55 , 11 (2002), 1461--1506

    work page 2002

  26. [26]

    The mathematics and mechanics of biological growth , vol

    Goriely, A. The mathematics and mechanics of biological growth , vol. 45 of Interdisciplinary Applied Mathematics . Springer, New York, 2017

    work page 2017

  27. [27]

    Isometric immersions and applications

    Han, Q., and Lewicka, M. Isometric immersions and applications. Notices Amer. Math. Soc. 71 , 6 (2024), 749--755

    work page 2024

  28. [28]

    W., and Penta, R

    Huang, R., Ogden, R. W., and Penta, R. Mathematical modelling of residual-stress based volumetric growth in soft matter. J. Elasticity 145 , 1-2 (2021), 223--241

    work page 2021

  29. [29]

    W., and Chapman, S

    Jones, G. W., and Chapman, S. J. Modeling growth in biological materials. SIAM Review 54 , 1 (2012), 52--118

    work page 2012

  30. [30]

    Allgemeine K ontinuumstheorie der V ersetzungen und E igenspannungen

    Kr\"oner, E. Allgemeine K ontinuumstheorie der V ersetzungen und E igenspannungen. Arch. Rational Mech. Anal. 4\/ (1960), 273--334

    work page 1960

  31. [31]

    Lee, E. H. Elastic-plastic deformation at finite strains. Journal of Applied Mechanics 36 , 1 (03 1969), 1--6

    work page 1969

  32. [32]

    Metric-induced morphogenesis and non- E uclidean elasticity: scaling laws and thin film models

    Lewicka, M. Metric-induced morphogenesis and non- E uclidean elasticity: scaling laws and thin film models. In Parabolic problems , vol. 80 of Progr. Nonlinear Differential Equations Appl. Birkh\"auser/Springer Basel AG, Basel, 2011, pp. 433--445

    work page 2011

  33. [33]

    Quantitative immersability of R iemann metrics and the infinite hierarchy of prestrained shell models

    Lewicka, M. Quantitative immersability of R iemann metrics and the infinite hierarchy of prestrained shell models. Arch. Ration. Mech. Anal. 236 , 3 (2020), 1677--1707

    work page 2020

  34. [34]

    Dimension reduction for thin films with transversally varying prestrain: oscillatory and nonoscillatory cases

    Lewicka, M., and Lu c i\' c , D. Dimension reduction for thin films with transversally varying prestrain: oscillatory and nonoscillatory cases. Comm. Pure Appl. Math. 73 , 9 (2020), 1880--1932

    work page 2020

  35. [35]

    Lewicka, M., Mahadevan, L., and Pakzad, M. R. The F \"oppl-von K \'arm\'an equations for plates with incompatible strains. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 467 , 2126 (2011), 402--426. With supplementary data available online

    work page 2011

  36. [36]

    Lewicka, M., and Mucha, P. B. A local existence result for a system of viscoelasticity with physical viscosity. Evol. Equ. Control Theory 2 , 2 (2013), 337--353

    work page 2013

  37. [37]

    Lewicka, M., and Mucha, P. B. A local and global well-posedness results for the general stress-assisted diffusion systems. J. Elasticity 123 , 1 (2016), 19--41

    work page 2016

  38. [38]

    Lewicka, M., Ochoa, P., and Pakzad, M. R. Variational models for prestrained plates with M onge- A mp\`ere constraint. Differential Integral Equations 28 , 9-10 (2015), 861--898

    work page 2015

  39. [39]

    Lewicka, M., and Pakzad, M. R. The infinite hierarchy of elastic shell models: some recent results and a conjecture. In Infinite dimensional dynamical systems , vol. 64 of Fields Inst. Commun. Springer, New York, 2013, pp. 407--420

    work page 2013

  40. [40]

    Thin structures with imposed metric

    Lewicka, M., and Raoult, A. Thin structures with imposed metric. In C IMPA S chool on M athematical M odels in B iology and M edicine , vol. 62 of ESAIM Proc. Surveys . EDP Sci., Les Ulis, 2018, pp. 79--90

    work page 2018

  41. [41]

    Plates with incompatible prestrain of high order

    Lewicka, M., Raoult, A., and Ricciotti, D. Plates with incompatible prestrain of high order. Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire 34 , 7 (2017), 1883--1912

    work page 2017

  42. [42]

    On the mechanics of solids with a growing mass

    Lubarda, V., and Hoger, A. On the mechanics of solids with a growing mass. International Journal of Solids and Structures 39 , 18 (2002), 4627--4664

    work page 2002

  43. [43]

    Frontiers in growth and remodeling

    Menzel, A., and Kuhl, E. Frontiers in growth and remodeling. Mechanics Research Communications 42\/ (2012), 1--14. Recent Advances in the Biomechanics of Growth and Remodeling

    work page 2012

  44. [44]

    Energetic formulation of multiplicative elasto-plasticity using dissipation distances

    Mielke, A. Energetic formulation of multiplicative elasto-plasticity using dissipation distances. Contin. Mech. Thermodyn. 15 , 4 (2003), 351--382

    work page 2003

  45. [45]

    Global existence results for viscoplasticity at finite strain

    Mielke, A., Rossi, R., and Savar\'e, G. Global existence results for viscoplasticity at finite strain. Arch. Ration. Mech. Anal. 227 , 1 (2018), 423--475

    work page 2018

  46. [46]

    Rate-independent elastoplasticity at finite strains and its numerical approximation

    Mielke, A., and Roub\'i c ek, T. Rate-independent elastoplasticity at finite strains and its numerical approximation. Math. Models Methods Appl. Sci. 26 , 12 (2016), 2203--2236

    work page 2016

  47. [47]

    On K orn's first inequality with non-constant coefficients

    Neff, P. On K orn's first inequality with non-constant coefficients. Proc. Roy. Soc. Edinburgh Sect. A 132 , 1 (2002), 221--243

    work page 2002

  48. [48]

    Local existence and uniqueness for quasistatic finite plasticity with grain boundary relaxation

    Neff, P. Local existence and uniqueness for quasistatic finite plasticity with grain boundary relaxation. Quart. Appl. Math. 63 , 1 (2005), 88--116

    work page 2005

  49. [49]

    Homogenization of biomechanical models of plant tissues with randomly distributed cells

    Piatnitski, A., and Ptashnyk, M. Homogenization of biomechanical models of plant tissues with randomly distributed cells. Nonlinearity 33 , 10 (2020), 5510--5542

    work page 2020

  50. [50]

    Korn's first inequality with variable coefficients and its generalization

    Pompe, W. Korn's first inequality with variable coefficients and its generalization. Comment. Math. Univ. Carolin. 44 , 1 (2003), 57--70

    work page 2003

  51. [51]

    K., Hoger, A., and McCulloch, A

    Rodriguez, E. K., Hoger, A., and McCulloch, A. D. Stress-dependent finite growth in soft elastic tissues. Journal of Biomechanics 27 , 4 (1994), 455--467

    work page 1994

  52. [52]

    An Introduction to Nonlinear Analysis

    Schechter, M. An Introduction to Nonlinear Analysis . Cambridge Studies in Advanced Mathematics. Cambridge University Press, 2005

    work page 2005

  53. [53]

    Analytical description of growth

    Skalak, R., Dasgupta, G., Moss, M., Otten, E., Dullemeijer, P., and Vilmann, H. Analytical description of growth. Journal of Theoretical Biology 94 , 3 (1982), 555--577

    work page 1982

  54. [54]

    Taber, L. A. Biomechanics of growth, remodeling, and morphogenesis. Applied Mechanics Reviews 48\/ (1995), 487--545

    work page 1995

  55. [55]

    Mathematical modeling and simulation of the evolution of plaques in blood vessels

    Yang, Y., J\"ager, W., Neuss-Radu, M., and Richter, T. Mathematical modeling and simulation of the evolution of plaques in blood vessels. J. Math. Biol. 72 , 4 (2016), 973--996

    work page 2016

  56. [56]

    Nonlinear functional analysis and its applications

    Zeidler, E. Nonlinear functional analysis and its applications. I . Springer-Verlag, New York, 1986. Fixed-point theorems, Translated from the German by Peter R. Wadsack

    work page 1986