Analysis and numerical simulations of a landfast ice model
Pith reviewed 2026-05-08 05:44 UTC · model grok-4.3
The pith
A model for landfast ice has local strong solutions, global solutions near constant equilibria without external forces, and time-periodic solutions, with numerics showing stationary states of vanishing velocity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The system of nonlinear partial differential equations for landfast ice thickness, concentration, and velocity possesses strong local solutions for general initial data, strong global solutions when external forces vanish and data lies near constant equilibria, and time-periodic solutions; numerical experiments confirm the formation of stationary equilibria in which ice velocity is identically zero.
What carries the argument
The coupled system of nonlinear partial differential equations that evolves ice thickness, concentration, and velocity under a viscous-plastic constitutive law modified to allow vanishing motion.
If this is right
- Strong solutions exist at least locally in time for initial data in appropriate Sobolev spaces.
- Global-in-time strong solutions exist when external forces are absent and initial data is sufficiently close to a constant equilibrium.
- Time-periodic solutions exist for the forced system.
- Numerical solutions starting near equilibrium converge to stationary states with exactly zero velocity.
Where Pith is reading between the lines
- The stability near equilibria could be used to construct numerical schemes that exactly preserve zero-velocity states once reached.
- The same analytical approach may extend to other grounded-ice models whose rheology permits zero motion.
- Periodic solutions suggest that coastal ice could exhibit repeating cycles under seasonally varying winds or currents.
Load-bearing premise
The ice's resistance to deformation and its interaction with the coast are captured exactly by the chosen viscous-plastic relations and forcing terms.
What would settle it
An explicit initial condition near a constant equilibrium, run without external forces, that develops large velocities or ceases to exist after finite time would contradict the global well-posedness and stability statements.
Figures
read the original abstract
In this manuscript, we consider a common modeling framework for Arctic landfast ice based on the work of Lemieux et al. [27], which is designed for use in large-scale climate models. This approach extends the classical viscous-plastic sea-ice model introduced by Hibler [18], which remains the most used model for simulating large-scale sea-ice dynamics in climate science. In particular, landfast ice refers to sea-ice that is attached to the coastline or grounded and therefore exhibits nearly vanishing motion. We present a rigorous analytical and numerical study of this landfast ice model. The main analytical contributions are the local strong well-posedness, the global strong well-posedness in the absence of external forces and for initial data close to constant equilibrium solutions, and the existence of time-periodic solutions. Complementing the analysis, we perform numerical simulations that illustrate key qualitative differences between landfast ice and classical viscous-plastic sea-ice models. In particular, the simulations reveal the formation of stationary equilibrium states characterized by vanishing ice velocity. These observations are consistent with the global-in-time existence result close to equilibria established in Theorem 4.1 as well as the time-periodic result in Theorem 5.2. The combined analytical and numerical results provide new insight into the structure, stability, and long-term behavior of landfast ice dynamics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript analyzes a landfast ice model extending the Hibler viscous-plastic sea-ice model with landfast modifications from Lemieux et al. It establishes local strong well-posedness, global strong well-posedness without external forces for initial data near constant equilibria (Theorem 4.1), and existence of time-periodic solutions (Theorem 5.2). Numerical simulations demonstrate the formation of stationary equilibrium states with vanishing ice velocity, consistent with the theoretical results.
Significance. If the well-posedness theorems hold, the paper makes a valuable contribution by providing rigorous mathematical analysis for a model relevant to Arctic climate simulations. The combination of existence results for local, global, and periodic solutions, along with numerical illustrations of key physical behaviors like stationary states, offers new insights into the stability and long-term dynamics of landfast ice. This bridges applied mathematics and geophysical modeling effectively.
minor comments (2)
- [Numerical simulations] The numerical illustrations show qualitative agreement with the theorems but lack quantitative error metrics or convergence rates, which would help confirm the accuracy of the simulations.
- [Introduction] A more detailed comparison with existing mathematical analyses of the classical Hibler model would contextualize the novelty of the landfast extensions.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of our manuscript, which accurately summarizes the local and global strong well-posedness results, the existence of time-periodic solutions, and the supporting numerical simulations for the landfast ice model. We appreciate the recognition of the work's relevance to Arctic climate modeling and the bridging of mathematical analysis with geophysical applications.
Circularity Check
No significant circularity detected in analytical claims
full rationale
The paper establishes local strong well-posedness, global strong well-posedness near equilibria without forcing, and existence of time-periodic solutions for the landfast ice extension of the Hibler viscous-plastic system. These are proved using standard fixed-point and continuation arguments for quasilinear parabolic-hyperbolic PDEs once the landfast modifications (vanishing velocity near coast/grounding) are incorporated into the constitutive law. The modeling framework is taken from the external citation to Lemieux et al. [27], but the existence theorems themselves are independent mathematical results with no reduction to fitted parameters, self-definitional loops, or load-bearing self-citations. Numerical illustrations of equilibria are presented as consistent with the theorems rather than as substitutes for them. The derivation chain is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard assumptions on initial data regularity and forcing terms required for strong solutions of the viscous-plastic sea-ice PDE system
Reference graph
Works this paper leans on
-
[1]
Amann,Linear and Quasilinear Parabolic Problems
H. Amann,Linear and Quasilinear Parabolic Problems. Monographs in Mathematics, vol. 89, Birkh¨ auser, 1995
work page 1995
- [2]
-
[3]
T. Binz, F. Brandt, M. Hieber, Interaction of geophysical flows with sea ice dynamics.NoDEA Nonlinear Differential Equations Appl.33(2026), Paper No. 35
work page 2026
-
[4]
E. Blockley, M. Vancoppenolle, E. Hunke, C. Bitz, D. Feltham, J.-F. Lemieux, M. Losch, E. Maisonnave, D. Notz, P. Rampal, S. Tietsche, B. Tremblay, A. Turner, F. Massonnet, E. ´Olason, A. Roberts, Y. Aksenov, T. Fichefet, G. Garric, D. Iovino, G. Madec, C. Rousset, D. Salas y Melia, D. Schroeder, The future of sea ice modeling: where do we go from here?.B...
work page 2020
- [5]
-
[6]
D. Boutros, X. Liu, M. Thomas, E.S. Titi, Global well-posedness of the elastic-viscous-plastic sea- ice model with the inviscid Voigt-regularisation.Math. Models Methods Appl. Sci.To appear, 2026. https://doi.org/10.1142/S0218202526500156
-
[7]
Brandt,Geophysical Flow Models: An Approach by Quasilinear Evolution Equations
F.C.H.L. Brandt,Geophysical Flow Models: An Approach by Quasilinear Evolution Equations. PhD thesis, Technische Universit¨ at Darmstadt, 2024. https://doi.org/10.26083/tuprints-00027378
-
[8]
Brandt, Well-posedness of Hibler’s parabolic-hyperbolic sea ice model.J
F. Brandt, Well-posedness of Hibler’s parabolic-hyperbolic sea ice model.J. Evol. Equ.25(2025), Paper No. 82
work page 2025
- [9]
- [10]
- [11]
- [12]
-
[13]
R. Denk, G. Dore, M. Hieber, J. Pr¨ uss, A. Venni, New thoughts on old results of R.T. Seeley.Math. Ann.328(2004), 545–583
work page 2004
- [14]
-
[15]
R. Denk, M. Hieber, J. Pr¨ uss,R-Boundedness, Fourier Multipliers and Problems of Elliptic and Parabolic Type. Mem. Amer. Math. Soc., vol. 166, 2003, no. 788
work page 2003
-
[16]
Global existence and uniqueness for Hibler's visco-plastic sea-ice model
S. Dingel, K. Disser, Global existence and uniqueness for Hibler’s visco-plastic sea-ice model. arXiv:2508.16537
-
[17]
Amann,One-Parameter Semigroups for Linear Evolution Equations
H. Amann,One-Parameter Semigroups for Linear Evolution Equations. Graduate Texts in Mathematics, vol. 194, Springer-Verlag, New York, 2000
work page 2000
-
[18]
Hibler, A dynamic thermodynamic sea ice model.J
W.D. Hibler, A dynamic thermodynamic sea ice model.J. Phys. Oceanogr.9(1979), 815–846
work page 1979
- [19]
-
[20]
E.C. Hunke, J.K. Dukowicz, An elastic-viscous-plastic model for sea ice dynamics.J. Phys. Oceanogr.27(1997), 1849–1867
work page 1997
-
[21]
M. Kimmrich, S. Danilov, M. Lorsch, On the convergence of the modified elastic-viscous-plastic method for solving the sea ice momentum equation.J. Comput. Phys.296(2015), 90–100
work page 2015
-
[22]
M. Kreyscher, M. Harder, P. Lemke, G. Flato, M. Gregory, Results of the sea ice model intercomparison project: evaluation of sea ice rheology schemes for use in climate simulations.J. Geophys. Res.105(2000), 11299–11320
work page 2000
-
[23]
C. K¨ onig Beatty, D.M. Holland, Modeling landfast sea ice by adding tensile strength.J. Phys. Oceanogr.40(2010), 185–198
work page 2010
-
[24]
P.C. Kunstmann, L. Weis, Perturbation theorems for maximal L p-regularity.Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4)30(2001), 415–435
work page 2001
-
[25]
P.C. Kunstmann, L. Weis, MaximalL p-regularity for Parabolic Equations, Fourier Multiplier Theorems andH ∞- functional Calculus. In:Functional Analytic Methods for Evolution Equations. M. Iannelli, R. Nagel and S. Piazzera (eds.), Springer, 2004, 65–311
work page 2004
-
[26]
J. LeCrone, J. Pr¨ uss, M. Wilke, On quasilinear parabolic evolution equations in weighted Lp-spaces II.J. Evol. Equ.14 (2014), 509–533
work page 2014
-
[27]
J.-F. Lemieux, F. Dupont, P. Blain, F. Roy, G.C. Smith, G.M. Flato, Improving the simulation of landfast ice by combining tensile strength and a parameterization for grounded ridges.J. Geophys. Res. Oceans121(2016), 7354– 7368
work page 2016
-
[28]
J.-F. Lemieux, B. Tremblay, Numerical convergence of viscous-plastic sea ice models.J. Geophys. Res.114(2009), C05009
work page 2009
-
[29]
X. Liu, M. Thomas, E.S. Titi, Well-posedness of Hibler’s dynamical sea-ice model.J. Nonlinear Sci.32(2022), Paper No. 49
work page 2022
- [30]
-
[31]
Mahoney, Landfast sea ice in a changing Arctic
A.R. Mahoney, Landfast sea ice in a changing Arctic. In:Arctic Report Card 2018. E. Osborne, J.A. Richter-Menge, M.O. Jeffries (Eds.), NOAA, 2014
work page 2018
-
[32]
C. Mehlmann, S. Kahl, A hybrid particle-continuum method for simulating landfast sea ice via subgrid iceberg inter- action.J. Comput. Phys.554, Paper No. 114752
-
[33]
C. Mehlmann, P. Korn, Sea-ice on triangular grids.J. Comput. Phys.428(2021), Paper No. 110086
work page 2021
-
[34]
C. Mehlmann, T. Richter, A modified global Newton solver for viscous-plastic sea ice models.Ocean Model.116(2017), 96–117
work page 2017
-
[35]
C. Mehlmann, T. Richter, A finite element multigrid framework to solve the sea ice momentum equation.J. Com- put. Phys.348(2017), 847–861
work page 2017
-
[36]
P. Piersanti, R. Temam, On the dynamics of shallow ice sheets: modeling and analysis.Adv. Nonlinear Anal.12 (2023), Paper No. 20220280
work page 2023
-
[37]
J. Pr¨ uss, G. Simonett, Maximal regularity for evolution equations in weighted L p-spaces.Arch. Math.82(2004), 415–431
work page 2004
-
[38]
J. Pr¨ uss, G. Simonett,Moving Interfaces and Quasilinear Parabolic Evolution Equations. Monographs in Mathematics, vol. 105, Birkh¨ auser, 2016
work page 2016
-
[39]
J. Pr¨ uss, G. Simonett, M. Wilke, Critical spaces for quasilinear parabolic evolution equations and applications.J. Dif- ferential Equations264(2018), 2028–2074
work page 2018
-
[40]
J. Pr¨ uss, G. Simonett, R. Zacher, On convergence of solutions to equilibria for quasilinear parabolic problems.J. Dif- ferential Equations246(2009), 3902–3931
work page 2009
- [41]
-
[42]
Y. Shih, C. Mehlmann, M. Losch, G. Stadler, Robust and efficient primal-dual Newton-Krylov solvers for viscous-plastic sea-ice models.J. Comput. Phys.474(2023), Paper No. 111802
work page 2023
-
[43]
J. Stroeve, D. Notz, Changing state of Arctic sea ice across all seasons.Environ. Res. Lett.13(2018), Paper No. 103001
work page 2018
-
[44]
C. Strong, I.G. Rigor, Arctic marginal ice zone trending wider in summer and narrower in winter.Geophys. Res. Lett.40 (2013), 4864–4868
work page 2013
-
[45]
Triebel,Interpolation Theory, Function Spaces, Differential Operators
H. Triebel,Interpolation Theory, Function Spaces, Differential Operators. North-Holland, 1978
work page 1978
-
[46]
Weis, Operator-valued Fourier multiplier theorems and maximal L p-regularity.Math
L. Weis, Operator-valued Fourier multiplier theorems and maximal L p-regularity.Math. Ann.319(2001), 735–758
work page 2001
-
[47]
M. Yaremchuk, G. Panteleev, On the Jacobian approximation in sea ice models with viscous-plastic rheology.Ocean Model.177(2022), Paper 102078. 32 FELIX BRANDT AND CAROLIN MEHLMANN
work page 2022
-
[48]
J. Zhang, W.D. Hibler, On an efficient numerical method for modeling sea ice dynamics.J. Geophys. Res.102(1991), 8691–8702. Department of Mathematics, University of California at Berkeley, Berkeley, 94720, CA, USA. Email address:fbrandt@berkeley.edu Institute of Analysis and Numerics, Otto-von-Guericke University Magdeburg, Universit ¨atsplatz 2, 39106 Ma...
work page 1991
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.