Structure-preserving local discontinuous Galerkin discretization of conformational conversion systems
Pith reviewed 2026-05-21 18:44 UTC · model grok-4.3
The pith
Reformulating a two-state conversion model with auxiliary variables lets a local discontinuous Galerkin scheme with backward Euler time stepping satisfy a discrete entropy-stability inequality.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By recasting the conformational conversion system in auxiliary variables obtained through suitable nonlinear transformations, the local discontinuous Galerkin discretization combined with backward Euler time integration satisfies a discrete entropy-stability inequality. This inequality is the key step that proves existence of discrete solutions, convergence of the numerical scheme via discrete compactness, and, as a byproduct, the existence of global weak solutions that remain within the physical bounds of the continuous model.
What carries the argument
The reformulation of the model via auxiliary variables and nonlinear transformations that produces a discrete entropy-stability inequality for the LDG-backward Euler scheme.
If this is right
- Discrete solutions exist and remain positive and bounded for all time steps.
- The numerical scheme converges to a global weak solution of the continuous system.
- The physical bounds required by the model are respected by the computed solutions.
- Numerical tests on the scheme confirm both the theoretical guarantees and practical accuracy.
Where Pith is reading between the lines
- The same reformulation strategy could be tested on related reaction-diffusion or population models that require strict positivity.
- Long-time simulations of conformational systems become feasible without artificial clipping or projection steps.
- The entropy-stability proof might adapt to other spatial discretizations that support similar integration-by-parts identities.
Load-bearing premise
The chosen auxiliary-variable reformulation and nonlinear transformations are assumed to preserve enough structure for an entropy estimate while also enforcing positivity and boundedness at the discrete level.
What would settle it
A computation on successively refined meshes that produces negative values or values outside the physical bounds at any time step, or that fails to converge to a bounded weak solution, would show the central claim is false.
Figures
read the original abstract
We investigate a two-state conformational conversion system and introduce a novel structure-preserving numerical scheme that couples a local discontinuous Galerkin space discretization with the backward Euler time-integration method. The model is first reformulated in terms of auxiliary variables involving suitable nonlinear transformations, which allow us to enforce positivity and boundedness at the numerical level. Then, we prove a discrete entropy-stability inequality, which we use to show the existence of discrete solutions, as well as to establish the convergence of the scheme by means of some discrete compactness arguments. As a by-product of the theoretical analysis, we also prove the existence of global weak solutions satisfying the system's physical bounds. Numerical results validate the theoretical results and assess the capabilities of the proposed method in practice.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a local discontinuous Galerkin (LDG) method paired with backward Euler time stepping for discretizing a two-state conformational conversion system. By introducing auxiliary variables through nonlinear transformations, the scheme is designed to preserve positivity and boundedness. The authors establish a discrete entropy-stability inequality, which facilitates proofs of existence for discrete solutions, convergence of the numerical scheme using discrete compactness, and the existence of global weak solutions to the continuous problem that respect the physical bounds 0 < u,v < 1. The theoretical results are supported by numerical experiments.
Significance. This paper makes a meaningful contribution to structure-preserving numerical methods for constrained nonlinear PDEs. The entropy-based analysis leading to both discrete existence and convergence, along with the continuous weak solution existence as a byproduct, strengthens the reliability of such simulations in applications like molecular biology. The use of LDG with carefully chosen fluxes for exact cancellation in the entropy balance is a technical strength that could inspire similar approaches in related models.
minor comments (3)
- Abstract: The reference to 'some discrete compactness arguments' should be made more precise by naming the specific lemma or theorem employed in the convergence proof.
- Section 4 (scheme definition): The description of the numerical fluxes and lifting operators could benefit from an explicit statement of how they ensure the cancellation of interface terms in the entropy estimate.
- Numerical results section: Include more details on the spatial mesh size, polynomial degree, and time step sizes used in the experiments to facilitate reproducibility.
Simulated Author's Rebuttal
We thank the referee for the positive and constructive report, which accurately summarizes our contributions on the structure-preserving LDG scheme for conformational conversion systems. We appreciate the recognition of the entropy-stability analysis, discrete compactness arguments, and the byproduct existence result for global weak solutions. The recommendation for minor revision is noted, and we will incorporate any editorial improvements accordingly.
Circularity Check
No significant circularity; derivation relies on standard LDG and entropy analysis techniques
full rationale
The paper reformulates the conformational conversion system using auxiliary variables and nonlinear transformations to enforce positivity and boundedness at the discrete level. It then establishes a discrete entropy-stability inequality for the LDG-backward Euler scheme, from which existence of discrete solutions (via fixed-point or minimization), convergence (via discrete compactness), and existence of global weak solutions obeying 0 < u,v < 1 are deduced. These steps follow directly from the structure-preserving choices of numerical fluxes and lifting operators that ensure exact cancellation of interface terms, using well-established properties of LDG spaces and backward Euler integration. No step reduces by construction to a fitted parameter renamed as prediction, a self-definitional loop, or a load-bearing self-citation whose validity depends on the present work. The analysis is self-contained against external mathematical benchmarks for entropy-stable schemes.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Local discontinuous Galerkin spaces admit suitable numerical fluxes that preserve the required integration-by-parts identities.
- domain assumption The nonlinear transformations map the original variables to a form where positivity and boundedness are automatic.
Reference graph
Works this paper leans on
- [1]
-
[2]
P. F. Antonietti, S. Bonetti, M. Botti, M. Corti, I. Fumagalli, and I. Mazzieri.lymph: discontinuous polytopal methods for multi-physics differential problems.ACM Trans. Math. Software, 51(1):Art. 3, 22, 2025
work page 2025
-
[3]
P. F. Antonietti, F. Bonizzoni, M. Corti, and A. Dall’Olio. Discontinuous Galerkin approximations of the heterodimer model for protein-protein interaction.Comput. Methods Appl. Mech. Engrg., 431:Paper No. 117282, 17, 2024
work page 2024
-
[4]
P. F. Antonietti, M. Corti, S. G´ omez, and I. Perugia. A structure-preserving LDG discretization of the Fisher-Kolmogorov equation for modeling neurodegenerative diseases.Math. Comput. Simulation, 241:351– 366, 2026
work page 2026
-
[5]
G. R. Barrenechea, V. John, and P. Knobloch. Finite element methods respecting the discrete maximum principle for convection-diffusion equations.SIAM Rev., 66(1):3–88, 2024
work page 2024
-
[6]
F. Bonizzoni, M. Braukhoff, A. J¨ ungel, and I. Perugia. A structure-preserving discontinuous Galerkin scheme for the Fisher-KPP equation.Numer. Math., 146(1):119–157, 2020. 31
work page 2020
-
[7]
M. Braukhoff, I. Perugia, and P. Stocker. An entropy structure preserving space-time formulation for cross-diffusion systems: analysis and Galerkin discretization.SIAM J. Numer. Anal., 60(1):364–395, 2022
work page 2022
-
[8]
S. C. Brenner and L. R. Scott.The mathematical theory of finite element methods, volume 15 ofTexts in Applied Mathematics. Springer-Verlag, New York, 1994
work page 1994
-
[9]
Brezis.Functional analysis, Sobolev spaces and partial differential equations
H. Brezis.Functional analysis, Sobolev spaces and partial differential equations. Universitext. Springer, New York, 2011
work page 2011
-
[10]
P. Castillo, B. Cockburn, I. Perugia, and D. Sch¨ otzau. An a priori error analysis of the local discontinuous Galerkin method for elliptic problems.SIAM J. Numer. Anal., 38(5):1676–1706, 2000
work page 2000
-
[11]
P. Castillo, B. Cockburn, I. Perugia, and D. Sch¨ otzau. Local discontinuous Galerkin methods for elliptic problems.Commun. Numer. Methods Eng., 18(1):69–75, 2002
work page 2002
-
[12]
L. Chen and A. J¨ ungel. Analysis of a parabolic cross-diffusion population model without self-diffusion.J. Differential Equations, 224(1):39–59, 2006
work page 2006
-
[13]
X. Chen, A. J¨ ungel, and L. Wang. The Shigesada-Kawasaki-Teramoto cross-diffusion system beyond detailed balance.J. Differential Equations, 360:260–286, 2023
work page 2023
-
[14]
B. Cockburn, G. Kanschat, D. Sch¨ otzau, and C. Schwab. Local discontinuous Galerkin methods for the Stokes system.SIAM J. Numer. Anal., 40(1):319–343, 2002
work page 2002
-
[15]
M. Corti. Exploring tau protein and amyloid-beta propagation: a sensitivity analysis of mathematical models based on biological data.Brain Multiphysics, 7:100098, 2024
work page 2024
- [16]
-
[17]
W. Cui, R. Marsland, and P. Mehta. Effect of resource dynamics on species packing in diverse ecosystems. Phys. Rev. Lett., 125(4):048101, 6, 2020
work page 2020
-
[18]
M. Dreher and A. J¨ ungel. Compact families of piecewise constant functions inL p(0, T;B).Nonlinear Anal., 75(6):3072–3077, 2012
work page 2012
-
[19]
A. Ern and J.-L. Guermond.Finite elements I. Approximation and interpolation, volume 72 ofTexts Appl. Math.Cham: Springer, 2020
work page 2020
-
[20]
S. Fornari, A. Sch¨ afer, M. Jucker, A. Goriely, and E. Kuhl. Prion-like spreading of Alzheimer’s disease within the brain’s connectome.J. R. Soc. Interface, 16(159):20190356, 2019
work page 2019
-
[21]
S. Fornari, A. Sch¨ afer, E. Kuhl, and A. Goriely. Spatially-extended nucleation-aggregation-fragmentation models for the dynamics of prion-like neurodegenerative protein-spreading in the brain and its connectome. J. Theoret. Biol., 486:110102, 17, 2020
work page 2020
-
[22]
S. G´ omez, A. J¨ ungel, and I. Perugia. Structure-preserving Local Discontinuous Galerkin method for nonlinear cross-diffusion systems. arXiv:2406.17900, 2024
- [23]
-
[24]
M. H. Kabir and M. O. Gani. Numerical bifurcation analysis and pattern formation in a minimal reaction- diffusion model for vegetation.J. Theoret. Biol., 536:Paper No. 110997, 16, 2022
work page 2022
- [25]
-
[26]
B. Keith and T. M. Surowiec. Proximal Galerkin: A structure-preserving finite element method for point- wise bound constraints.Found. Comput. Math., 2024
work page 2024
-
[27]
S. Lemaire and J. Moatti. Structure preservation in high-order hybrid discretisations of potential-driven advection-diffusion: linear and nonlinear approaches.Math. Eng., 6(1):100–136, 2024. 32
work page 2024
-
[28]
R. Marsland, W. Cui, and P. Mehta. The minimum environmental perturbation principle: A new perspec- tive on Niche theory.Am. Nat., 196(3):291–305, 2020
work page 2020
-
[29]
F. Matth¨ aus. Diffusion versus network models as descriptions for the spread of prion diseases in the brain. J. Theoret. Biol., 240(1):104–113, 2006
work page 2006
-
[30]
J. Moatti. A structure preserving hybrid finite volume scheme for semiconductor models with magnetic field on general meshes.ESAIM Math. Model. Numer. Anal., 57(4):2557–2593, 2023
work page 2023
-
[31]
Roub´ ıˇ cek.Nonlinear partial differential equations with applications, volume 153 ofISNM, Int
T. Roub´ ıˇ cek.Nonlinear partial differential equations with applications, volume 153 ofISNM, Int. Ser. Numer. Math.Basel: Birkh¨ auser, 2005
work page 2005
-
[32]
J. Weickenmeier, M. Jucker, A. Goriely, and E. Kuhl. A physics-based model explains the prion-like features of neurodegeneration in Alzheimer’s disease, Parkinson’s disease, and amyotrophic lateral sclerosis.J. Mech. Phys. Solids, 124:264–281, 2019. A Newton’s iteration In this section, we derive the linear systems resulting from Newton’s iteration, there...
work page 2019
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.