pith. sign in

arxiv: 2408.00947 · v2 · submitted 2024-08-01 · 🧮 math.NA · cs.NA

Strong convergence of an explicit full-discrete scheme for stochastic Burgers-Huxley equation

Pith reviewed 2026-05-23 22:19 UTC · model grok-4.3

classification 🧮 math.NA cs.NA
keywords stochastic Burgers-Huxley equationstrong convergencespectral Galerkin methodexponential integratoradditive space-time white noisemoment boundednessfull-discrete scheme
0
0 comments X

The pith

An explicit full-discrete scheme converges strongly for the stochastic Burgers-Huxley equation with space-time white noise.

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

The paper seeks to show that a fully discrete numerical method for the stochastic Burgers-Huxley equation, combining spectral Galerkin discretization in space with a nonlinear-tamed exponential integrator in time, converges strongly to the true mild solution at explicit rates in both space and time. It first establishes detailed regularity bounds on the solution and the approximations, including Sobolev norms, spatial L^∞ bounds, and temporal Hölder continuity, all derived inside semigroup theory. These bounds then permit proofs of uniform moment boundedness for the discrete solution and the convergence rates themselves. A reader would care because the equation models noisy nonlinear wave or reaction-diffusion phenomena, and the result supplies a theoretically justified explicit scheme that avoids solving nonlinear systems at each step.

Core claim

Within the framework of semigroup theory, precise estimations are obtained of the Sobolev regularity, L^∞ regularity in space, and Hölder continuity in time for the mild solution and for its semi-discrete and full-discrete approximations. These estimates are used to prove moment boundedness of the numerical solution and to obtain strong convergence rates in both the spatial and temporal discretization parameters for the explicit full-discrete scheme.

What carries the argument

The nonlinear-tamed exponential integrator scheme paired with spectral Galerkin spatial discretization, which tames the cubic and Burgers nonlinearities to keep the method explicit while supporting the regularity and convergence analysis.

If this is right

  • The numerical solution satisfies uniform bounds on its moments.
  • Strong error bounds hold that depend on the spatial spectral truncation level.
  • Strong error bounds hold that depend on the temporal step size of the integrator.
  • A numerical example confirms that the observed errors behave consistently with the derived rates.

Where Pith is reading between the lines

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

  • The regularity estimates derived here could serve as a template for analyzing similar explicit schemes on other semilinear stochastic PDEs with polynomial nonlinearities.
  • The separate spatial and temporal rates allow an explicit rule for balancing mesh size against time step to minimize total error for a given computational budget.
  • The taming technique might be adapted directly to related equations that include multiplicative noise.

Load-bearing premise

The mild solution and its semi-discrete and full-discrete approximations satisfy the stated Sobolev, L^∞ spatial, and Hölder temporal regularity estimates inside semigroup theory.

What would settle it

A computation in which successive refinements of the spatial mesh or time step fail to reduce the strong error to a high-resolution reference solution at the rates claimed by the analysis.

read the original abstract

The strong convergence of an explicit full-discrete scheme is investigated for the stochastic Burgers-Huxley equation driven by additive space-time white noise, which possesses both Burgers-type and cubic nonlinearities. To discretize the continuous problem in space, we utilize a spectral Galerkin method. Subsequently, we introduce a nonlinear-tamed exponential integrator scheme, resulting in a fully discrete scheme. Within the framework of semigroup theory, this study provides precise estimations of the Sobolev regularity, $L^\infty$ regularity in space, and H\"older continuity in time for the mild solution, as well as for its semi-discrete and full-discrete approximations. Building upon these results, we establish moment boundedness for the numerical solution and obtain strong convergence rates in both spatial and temporal dimensions. A numerical example is presented to validate the theoretical findings.

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

2 major / 1 minor

Summary. The paper investigates the strong convergence of an explicit full-discrete scheme for the stochastic Burgers-Huxley equation with additive space-time white noise. Spatial discretization uses spectral Galerkin, while time discretization employs a nonlinear-tamed exponential integrator. Within semigroup theory, it derives Sobolev regularity, L^∞ spatial regularity, and temporal Hölder continuity estimates for the mild solution and its semi- and full-discrete approximations. These are used to prove moment boundedness of the numerical solution and strong convergence rates in both space and time, with a numerical example for validation.

Significance. If the regularity estimates hold uniformly, the results would extend numerical analysis techniques to SPDEs combining quadratic and cubic nonlinearities under additive noise, yielding explicit strong convergence rates. The taming approach in the scheme addresses superlinear growth, which is a constructive element if the a-priori bounds close.

major comments (2)
  1. [Abstract / regularity estimates] Abstract and regularity section: The derivation of uniform L^∞(spatial) regularity and temporal Hölder continuity for the mild solution (and approximations) with the cubic nonlinearity is load-bearing for the subsequent moment boundedness and strong convergence claims. Standard semigroup fixed-point arguments for space-time white noise typically yield only local bounds or require auxiliary truncation for the superlinear term; it is not clear from the stated framework whether truncation (or an equivalent a-priori control) is introduced before applying Burkholder–Davis–Gundy to close the estimates uniformly in the discretization parameters.
  2. [Moment boundedness and convergence proofs] Moment boundedness step (following regularity estimates): The uniform-in-discretization moment bounds on the full-discrete solution rely on the L^∞ and Hölder estimates of the continuous mild solution. Without explicit verification that the cubic term does not produce a blow-up in the stochastic convolution estimates, the passage from regularity to global moment bounds (and thus to the convergence rates) does not close.
minor comments (1)
  1. [Scheme definition] Notation for the tamed nonlinearity and the precise form of the exponential integrator should be stated explicitly with equation numbers for reproducibility.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. We address the two major comments point-by-point below. Where the comments highlight a lack of clarity in the presentation of the estimates, we agree that revisions are warranted to strengthen the manuscript.

read point-by-point responses
  1. Referee: [Abstract / regularity estimates] Abstract and regularity section: The derivation of uniform L^∞(spatial) regularity and temporal Hölder continuity for the mild solution (and approximations) with the cubic nonlinearity is load-bearing for the subsequent moment boundedness and strong convergence claims. Standard semigroup fixed-point arguments for space-time white noise typically yield only local bounds or require auxiliary truncation for the superlinear term; it is not clear from the stated framework whether truncation (or an equivalent a-priori control) is introduced before applying Burkholder–Davis–Gundy to close the estimates uniformly in the discretization parameters.

    Authors: The regularity estimates in Sections 3.1–3.3 are obtained via a fixed-point argument applied directly in the space of processes possessing the target Sobolev, L^∞, and Hölder regularity, without auxiliary truncation of the continuous mild solution. The cubic term is controlled by combining the smoothing properties of the analytic semigroup, Sobolev embedding into L^∞, and a careful application of the Burkholder–Davis–Gundy inequality with constants chosen so that the resulting Gronwall-type inequality closes globally (see the estimates leading to (3.12) and (3.18)). The additive character of the noise is essential for this closure. We acknowledge that the manuscript does not spell out this closure step with sufficient explicitness; we will therefore insert a dedicated remark after Theorem 3.3 that recapitulates the parameter choices and confirms uniformity with respect to discretization parameters. revision: yes

  2. Referee: [Moment boundedness and convergence proofs] Moment boundedness step (following regularity estimates): The uniform-in-discretization moment bounds on the full-discrete solution rely on the L^∞ and Hölder estimates of the continuous mild solution. Without explicit verification that the cubic term does not produce a blow-up in the stochastic convolution estimates, the passage from regularity to global moment bounds (and thus to the convergence rates) does not close.

    Authors: Section 4 first invokes the already-established uniform L^∞ and temporal Hölder bounds on the continuous mild solution (Theorems 3.1–3.3) to control the nonlinear terms appearing in the mild formulation of the semi- and fully discrete approximations. The nonlinear-taming function then guarantees that the discrete solutions remain inside a ball whose radius is independent of the discretization parameters, allowing the stochastic convolution estimates to be closed by the same Burkholder–Davis–Gundy argument used for the continuous problem. The passage therefore does not rely on an unverified a-priori bound; it re-uses the continuous-solution regularity already proved. Nevertheless, to make the logical dependence transparent, we will add a short paragraph at the beginning of Section 4 that explicitly traces how the continuous L^∞ bound enters the discrete moment estimate and prevents blow-up of the cubic term. revision: partial

Circularity Check

0 steps flagged

No circularity; regularity and convergence follow from standard semigroup estimates independent of the target rates.

full rationale

The derivation chain begins with mild-solution regularity (Sobolev, L^∞ spatial, temporal Hölder) obtained inside the semigroup framework for the continuous problem, then transfers the same estimates to the semi-discrete and full-discrete approximations before proving moment bounds and strong convergence. None of these steps reduces by definition to the final convergence rates, nor relies on a self-citation chain or fitted parameter renamed as prediction. The abstract and structure indicate the estimates are derived first and used subsequently, with no load-bearing self-citation or ansatz smuggling visible in the provided text. This is the normal non-circular case for numerical SPDE analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper depends on standard assumptions from functional analysis and stochastic processes for SPDEs; no free parameters or invented entities are indicated in the abstract.

axioms (1)
  • standard math The framework of semigroup theory applies to the stochastic evolution equation
    Invoked for mild solution and regularity estimates as stated in the abstract.

pith-pipeline@v0.9.0 · 5673 in / 1104 out tokens · 33022 ms · 2026-05-23T22:19:40.275587+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    Mohan, Stochastic Burgers-Huxley equation: global solvabilit y, large deviations and er- godicity, arXiv: 2010.09023 (2020)

    M. Mohan, Stochastic Burgers-Huxley equation: global solvabilit y, large deviations and er- godicity, arXiv: 2010.09023 (2020)

  2. [2]

    Mohan, Mild solutions for the stochastic generalized Burgers- Huxley equation, J

    M. Mohan, Mild solutions for the stochastic generalized Burgers- Huxley equation, J. Theor. Probab. 35 (2022) 1511–1536

  3. [3]

    Zong, Differentiability of the transition semigroup of the stoch astic Burgers-Huxley equa- tion and application to optimal control, J

    G. Zong, Differentiability of the transition semigroup of the stoch astic Burgers-Huxley equa- tion and application to optimal control, J. Math. Anal. Appl. 518 (202 3) 126682

  4. [4]

    Hutzenthaler, A

    M. Hutzenthaler, A. Jentzen, P. Kloeden, Strong and weak dive rgence in finite time of Euler’s method for stochastic differential equations with non-globally Lipsc hitz continuous coefficients, Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 467 (2011) 1563 –1576

  5. [5]

    Hutzenthaler, A

    M. Hutzenthaler, A. Jentzen, P. Kloeden, Divergence of the mu ltilevel Monte Carlo Euler method for nonlinear stochastic differential equations, Ann. Appl. Probab. 23 (2013) 1913– 1966

  6. [6]

    Z. Liu, Z. Qiao, Strong approximation of monotone stochastic pa rtial differential equations driven by white noise, IMA J. Numer. Anal. 40 (2020) 1074–1093

  7. [7]

    Br´ ehier, J

    C. Br´ ehier, J. Cui, J. Hong, Strong convergence rates of semi-discrete splitting approximations for stochastic Allen-Cahn equation, IMA J. Numer. Anal. 39 (2019) 2096–2134

  8. [8]

    Br´ ehier, L

    C. Br´ ehier, L. Gouden` ege, Analysis of some splitting schemes f or the stochastic Allen-Cahn equation, Discrete Contin. Dyn. Syst. B 24 (2019) 4169–4190. 23

  9. [9]

    Becker, B

    S. Becker, B. Gess, A. Jentzen, P. Kloeden, Strong converge nce rates for explicit space-time discrete numerical approximations of stochastic Allen-Cahn equat ions, Stoch. PDE: Anal. Comp. 11 (2023) 211–268

  10. [10]

    Wang, An efficient explicit full-discrete scheme for strong app roximation of stochastic Allen-Cahn equation, Stoch

    X. Wang, An efficient explicit full-discrete scheme for strong app roximation of stochastic Allen-Cahn equation, Stoch. Process. Appl. 130 (2020) 6271–629 9

  11. [11]

    J. Cui, J. Hong, Strong and weak convergence rates of a spat ial approximation for stochastic partial differential equation with one-sided lipschitz coefficient, SIA M J. Numer. Anal. 57 (4) (2019) 1815–1841

  12. [12]

    Furihata, M

    D. Furihata, M. Kov´ acs, S. Larsson, F. Lindgren, Strong co nvergence of a fully discrete finite element approximation of the stochastic Cahn-Hilliard equation, SIA M J. Numer. Anal. 56 (2018) 708–731

  13. [13]

    J. Hong, D. Jin, D. Sheng, Density convergence of a fully discre te finite difference method for stochastic Cahn-Hilliard equation, arXiv: 2203.00571 (2023)

  14. [14]

    Z. Liu, Z. Qiao, Wong–Zakai approximations of stochastic Allen– Cahn equation, Int. J. Numer. Anal. Mod. 16 (2019) 681–694

  15. [15]

    R. Qi, X. Wang, Optimal error estimates of Galerkin finite element methods for stochastic Allen–Cahn equation with additive noise, J. Sci. Comput. 80 (2019) 11 71–1194

  16. [16]

    Da-Prato, A

    G. Da-Prato, A. Debussche, R. Temam, Stochastic Burgers’ equation, Nonlinear Differential Equations and Applications 1 (1994) 389–402

  17. [17]

    Da-Prato, D

    G. Da-Prato, D. Gatarek, Stochastic Burgers equation with c orrelated noise, Stochastics and Stochastics Reports 52 (1995) 29–41

  18. [18]

    G. Wang, M. Zeng, B. Guo, Stochastic Burgers’ equation drive n by fractional Brownian motion, J. Math. Anal. Appl. 371 (2010) 210–222

  19. [19]

    Alabert, I

    A. Alabert, I. Gynogy, On numerical approximation of stochas tic Burgers’ equation, in From Stochastic Calculus to Mathematical Finance, Berlin: Springer (200 6) 1–15

  20. [20]

    Hairer, J

    M. Hairer, J. Voss, Approximations to the stochastic Burgers equation, J. Nonlinear Sci. 21 (2011) 897–920

  21. [21]

    Bl¨ omker, Full discretization of the stochastic Burgers equ ation with correlated noise, IMA J

    D. Bl¨ omker, Full discretization of the stochastic Burgers equ ation with correlated noise, IMA J. Numer. Anal. 33 (2013) 825–848

  22. [22]

    Bl¨ omker, A

    D. Bl¨ omker, A. Jentzen, Galerkin approximations for the stoc hastic Burgers equation, SIAM J. Numer. Anal. 51 (2013) 694–715

  23. [23]

    Khan, Higher order pathwise approximation for the stochas tic Burgers’ equation with additive noise, Appl

    F. Khan, Higher order pathwise approximation for the stochas tic Burgers’ equation with additive noise, Appl. Numer. Math. 162 (2021) 67–80. 24

  24. [24]

    Jentzen, D

    A. Jentzen, D. Salimova, T. Welti, Strong convergence for exp licit space–time discrete nu- merical approximation methods for stochastic Burgers equations , J. Math. Anal. Appl. 469 (2019) 661–704

  25. [25]

    Jentzen, P

    A. Jentzen, P. E. Kloeden, Overcoming the order barrier in the numerical approximation of stochastic partial differential equations with additive space-time n oise, Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 465 (2009) 649–667

  26. [26]

    Hutzenthaler, A

    M. Hutzenthaler, A. Jentzen, F. Lindner, P. Puˇ snik, Strong convergence rates on the whole probability space for space-time discrete numerical approximation schemes for stochastic Burg- ers equations, arXiv:1911.01870 (2019)

  27. [27]

    Hutzenthaler, R

    M. Hutzenthaler, R. Link, Strong convergence rates for full- discrete approximationsof stochas- tic Burgers equations with multiplicative noise, arXiv:2210.17536 (202 2)

  28. [28]

    Kruse, Strong and weak approximation of semilinear stochas tic evolution equations, Springer, Lecture Notes in Mathematics, 2014

    R. Kruse, Strong and weak approximation of semilinear stochas tic evolution equations, Springer, Lecture Notes in Mathematics, 2014

  29. [29]

    Triebel, Interpolation Theory, Function Spaces, Differentia l Operators, Johann Ambrosius Barth, 1995

    H. Triebel, Interpolation Theory, Function Spaces, Differentia l Operators, Johann Ambrosius Barth, 1995

  30. [30]

    Pazy, Semigroups of linear operators and applications to par tial differential equations, Springer, New York, 1983

    A. Pazy, Semigroups of linear operators and applications to par tial differential equations, Springer, New York, 1983

  31. [31]

    M. Cai, S. Gan, X. Wang, Weak convergence rates for an explicit full-discretization of stochas- tic Allen–Cahn equation with additive noise, J. Sci. Comput. 86 (2021) 34

  32. [32]

    X. Wang, R. Qi, A note on an accelerated exponential Euler meth od for parabolic SPDEs with additive noise, Appl. Math. Lett. 46 (2015) 31–37. 25