pith. sign in

arxiv: 2512.07072 · v2 · submitted 2025-12-08 · 🧮 math.AP

Conditional stability for an inverse problem of a fully-discrete stochastic hyperbolic equation

Bin Wu , Xu Zhu , Wenwen Zhou , Zewen Wang This is my paper

Pith reviewed 2026-05-17 01:25 UTC · model grok-4.3

classification 🧮 math.AP
keywords inverse problemCarleman estimatestochastic hyperbolic equationfully discrete schemeLipschitz stabilityinitial data recoveryrandom source
0
0 comments X

The pith

A new Carleman estimate for the fully-discrete stochastic hyperbolic equation yields Lipschitz stability for recovering three unknowns in the inverse problem.

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

This paper proves a new Carleman estimate adapted to a fully discrete scheme for a one-dimensional stochastic hyperbolic equation. Using this estimate, the authors establish Lipschitz stability for an inverse problem that determines the initial displacement, initial velocity, and random source term. The available data consist of the discrete spatial derivative at the left endpoint together with the solution and its time derivative at the final time. The discrete setting produces an additional term that depends on mesh size in the stability bound.

Core claim

We prove a new Carleman estimate for the fully-discrete stochastic hyperbolic equation. Based on this Carleman estimate, we establish a Lipschitz stability for this discrete inverse problem by the discrete spatial derivative data at the left endpoint and the measurements of the solution and its time derivative at the final time. Owing to the discrete setting, an extra term with respect to mesh size arises in the right-hand side of the stability estimate.

What carries the argument

A new Carleman estimate for the fully-discrete stochastic hyperbolic equation that incorporates discretization and stochastic forcing to derive the Lipschitz stability bound.

If this is right

  • Lipschitz stability holds for recovering the initial displacement, initial velocity, and random source from the specified discrete measurements.
  • The stability inequality contains an explicit term proportional to the mesh size that controls the discretization contribution.
  • The Carleman method extends to fully discrete stochastic hyperbolic settings while retaining the recovery of three unknowns.
  • Mesh refinement reduces the size of the extra term and thereby tightens the stability bound.

Where Pith is reading between the lines

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

  • The same Carleman construction could be attempted for other finite-difference or finite-element schemes provided the discrete stochastic operator satisfies analogous commutator identities.
  • The mesh-size term indicates that the method is naturally compatible with numerical implementations where one can balance discretization error against measurement noise.
  • Similar conditional stability results may apply to related inverse problems for stochastic parabolic or Schrödinger equations once appropriate discrete Carleman estimates are available.

Load-bearing premise

The new Carleman estimate holds for the chosen fully-discrete scheme and the form of the stochastic forcing.

What would settle it

A numerical computation on the fully-discrete scheme in which small perturbations to the initial data or source produce changes in the measurements that violate the Lipschitz bound even after accounting for the mesh-size term.

read the original abstract

In this paper, we investigate a discrete inverse problem of determining three unknowns, i.e. initial displacement, initial velocity and random source term, in a fully discrete approximation of one-dimensional stochastic hyperbolic equation. We firstly prove a new Carleman estimate for the fully-discrete stochastic hyperbolic equation. Based on this Carleman estimate, we then establish a Lipschitz stability for this discrete inverse problem by the discrete spatial derivative data at the left endpoint and the measurements of the solution and its time derivative at the final time. Owing to the discrete setting, an extra term with respect to mesh size arises in the right-hand side of the stability estimate.

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 / 2 minor

Summary. The manuscript proves a new Carleman estimate for a fully discrete stochastic hyperbolic equation on a one-dimensional grid and applies it to obtain a Lipschitz stability result for the inverse problem of recovering the initial displacement, initial velocity, and random source term. The data consist of the discrete spatial derivative at the left endpoint together with the solution and its time derivative at the final time; the resulting stability inequality contains an explicit remainder term that depends on the mesh size.

Significance. If the Carleman estimate holds with constants that remain controllable as the mesh is refined, the result supplies a concrete stability bound for a fully discrete stochastic inverse problem. Such bounds are useful for justifying numerical reconstruction algorithms that must operate with both discretization error and stochastic forcing.

major comments (2)
  1. [Carleman estimate section] The Carleman estimate (stated after the introduction of the fully discrete scheme) must be examined for mesh dependence of the constants. In discrete hyperbolic Carleman proofs the weight functions and summation-by-parts identities typically generate factors of order 1/Δt or 1/Δx; the Itô-correction terms arising from the stochastic forcing must be absorbed without inflating these factors. If any constant grows as the mesh parameters tend to zero, the Lipschitz constant in the stability theorem becomes unusable even for moderately fine grids.
  2. [Stability theorem] In the stability theorem, the mesh-size remainder appears on the right-hand side, but it is not shown whether this term is of strictly lower order than the left-hand side quantities or whether it can be made arbitrarily small uniformly in the unknowns. The proof should explicitly track how the stochastic integral is controlled so that the remainder does not destroy the Lipschitz character for practical mesh sizes.
minor comments (2)
  1. [Abstract] The abstract states that three unknowns are recovered but does not clarify whether the random source term is recovered pointwise or only in a suitable averaged sense; a short sentence in the introduction would remove ambiguity.
  2. [Preliminaries] Notation for the discrete spatial derivative operator and the stochastic increment should be introduced once and used consistently; several passages repeat the same definition.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough reading and insightful comments on our manuscript. We address the two major comments point by point below, indicating where revisions will be made to strengthen the presentation and clarify the mesh dependence.

read point-by-point responses

  1. Referee: [Carleman estimate section] The Carleman estimate (stated after the introduction of the fully discrete scheme) must be examined for mesh dependence of the constants. In discrete hyperbolic Carleman proofs the weight functions and summation-by-parts identities typically generate factors of order 1/Δt or 1/Δx; the Itô-correction terms arising from the stochastic forcing must be absorbed without inflating these factors. If any constant grows as the mesh parameters tend to zero, the Lipschitz constant in the stability theorem becomes unusable even for moderately fine grids.

    Authors: We appreciate the referee's emphasis on this crucial point. In the proof of the Carleman estimate, we employ a discrete multiplier technique combined with a carefully chosen weight function that is a direct discretization of the continuous counterpart. The summation-by-parts formulas and the discrete Itô formula are applied such that all generated factors remain bounded independently of Δt and Δx, provided the CFL condition Δt/Δx ≤ 1 is satisfied. The stochastic correction terms are controlled via the Itô isometry and discrete energy estimates without introducing additional mesh-dependent growth. Nevertheless, to make this independence fully transparent, we will insert an explicit remark after the statement of the Carleman estimate that records the mesh-independent character of the constants and outlines the key estimates that prevent blow-up. revision: yes

  2. Referee: [Stability theorem] In the stability theorem, the mesh-size remainder appears on the right-hand side, but it is not shown whether this term is of strictly lower order than the left-hand side quantities or whether it can be made arbitrarily small uniformly in the unknowns. The proof should explicitly track how the stochastic integral is controlled so that the remainder does not destroy the Lipschitz character for practical mesh sizes.

    Authors: We agree that the order and control of the remainder term require additional explicit tracking. The mesh-size contribution originates from the truncation error in the discrete Carleman identity and from the approximation of the stochastic integral. Using the Burkholder–Davis–Gundy inequality together with the a priori discrete energy bound on the solution, the remainder can be estimated by C(Δx + Δt) multiplied by the sum of the L²-norms of the three unknowns. This is strictly lower order for small mesh sizes. We will revise the proof of the stability theorem to include a dedicated paragraph that follows the stochastic integral term step by step and states the precise condition on the mesh size under which the remainder can be absorbed into the left-hand side while preserving the Lipschitz character. This constitutes a partial revision because the underlying estimates are already present but need to be written out more explicitly. revision: partial

Circularity Check

0 steps flagged

No circularity: Carleman estimate proved independently before stability application

full rationale

The derivation chain begins with an independent proof of a new Carleman estimate for the fully-discrete stochastic scheme, followed by its application to obtain Lipschitz stability for the inverse problem using boundary and final-time data. The abstract explicitly separates these steps ('We firstly prove a new Carleman estimate... Based on this Carleman estimate, we then establish...'), with the stability estimate carrying an explicit mesh-size remainder term. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations appear in the described structure. The result remains self-contained against external benchmarks such as the discrete Carleman identity and integration-by-parts arguments.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence of a new Carleman estimate whose proof details are not visible from the abstract; no free parameters or invented entities are mentioned.

axioms (1)
  • domain assumption A Carleman estimate holds for the chosen fully-discrete stochastic hyperbolic scheme.
    Invoked to obtain the Lipschitz stability from boundary and terminal measurements.

pith-pipeline@v0.9.0 · 5401 in / 1109 out tokens · 32769 ms · 2026-05-17T01:25:18.377520+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

33 extracted references · 33 canonical work pages

  1. [1]

    Inverse scattering by a random periodic structure

    Bao G, Lin Y, Xu X. Inverse scattering by a random periodic structure. SIAM Journal on Numerical Analysis, 2020, 58(5): 2934-2952

    work page 2020

  2. [2]

    An inverse random source problem in quantifying the elastic modulus of nanomaterials

    Bao G, Xu X. An inverse random source problem in quantifying the elastic modulus of nanomaterials. Inverse Problems, 2012, 29(1): 015006

    work page 2012

  3. [3]

    Convergence of an inverse problem for a 1-D discrete wave equation

    Baudouin L, Ervedoza S. Convergence of an inverse problem for a 1-D discrete wave equation. SIAM Journal on Control and Optimization, 2013, 51(1): 556-598

    work page 2013

  4. [4]

    Stability of an inverse problem for the discrete wave equation and convergence results

    Baudouin L, Ervedoza S, Osses A. Stability of an inverse problem for the discrete wave equation and convergence results. Journal de Math´ ematiques Pures et Appliqu´ ees, 2015, 103(6): 1475-1522

    work page 2015

  5. [5]

    Carleman estimates and applications to inverse problems for hyperbolic systems

    Bellassoued M, Yamamoto M. Carleman estimates and applications to inverse problems for hyperbolic systems. Tokyo: Springer, 2017

    work page 2017

  6. [6]

    Carleman estimates for time-discrete parabolic equa- tions and applications to controllability

    Boyer F and Hern´ andez-Santamar´ ıa V. Carleman estimates for time-discrete parabolic equa- tions and applications to controllability. ESAIM: Control, Optimisation and Calculus of Variations, 2020, 26: 12

    work page 2020

  7. [7]

    Discrete carleman estimates for elliptic operators and uniform controllability of semi-discretized parabolic equations

    Boyer F, Hubert F and Le Rousseau J. Discrete carleman estimates for elliptic operators and uniform controllability of semi-discretized parabolic equations. Journal de math´ ematiques pures et appliqu´ ees, 2010, 93(3): 240-276

    work page 2010

  8. [8]

    Carleman estimates for semi-discrete parabolic operators and application to the controllability of semi-linear semi-discrete parabolic equations

    Boyer F and Le Rousseau J. Carleman estimates for semi-discrete parabolic operators and application to the controllability of semi-linear semi-discrete parabolic equations. Annales de l’Institut Henri Poincar´ e, Analyse non lin´ eaire, 2014, 31(5): 1035-1078. 35

    work page 2014

  9. [9]

    Carleman estimates and controllability results for fully discrete approximations of 1D parabolic equations

    Casanova P G and Hern´ andez-Santamar´ ıa V. Carleman estimates and controllability results for fully discrete approximations of 1D parabolic equations. Advances in Computational Mathematics, 2021, 47: 1-71

    work page 2021

  10. [10]

    Sharp adaptation for inverse problems with random noise

    Cavalier L, Tsybakov A. Sharp adaptation for inverse problems with random noise. Proba- bility Theory and Related Fields, 2002, 123(3): 323-354

    work page 2002

  11. [11]

    Carleman estimates and controllability for a semi- discrete fourth-order parabolic equation

    Cerpa E, Lecaros R, Nguyen T and P´ erez A. Carleman estimates and controllability for a semi- discrete fourth-order parabolic equation. Journal de Math´ ematiques Pures et Appliqu´ ees, 2022, 164: 93-130

    work page 2022

  12. [12]

    Stability and regularization for ill-posed Cauchy problem of a stochastic parabolic differential equation

    Dou F, L¨ u P, Wang Y. Stability and regularization for ill-posed Cauchy problem of a stochastic parabolic differential equation. Inverse Problems, 2024, 40(11): 115005

    work page 2024

  13. [13]

    Controllability of a simplified time-discrete stabilized Kuramoto- Sivashinsky system

    Hern´ andez-Santamar´ ıa V. Controllability of a simplified time-discrete stabilized Kuramoto- Sivashinsky system. Evolution Equations and Control Theory, 2023, 12(2): 459-501

    work page 2023

  14. [14]

    A new type of ill-posed and inverse problems for parabolic equations

    Klibanov M V. A new type of ill-posed and inverse problems for parabolic equations. Com- munications on Analysis and Computation, 2024, 2(4): 367-398

    work page 2024

  15. [15]

    Boundary controllability of a fully-discrete approximation of linear KdV equation

    Kumar M. Boundary controllability of a fully-discrete approximation of linear KdV equation. preprint, 2025. https://hal.science/hal-04828698v2

    work page 2025

  16. [16]

    Discrete carleman estimates and application to controllability for a fully-discrete parabolic operator with dynamic boundary conditions

    Lecaros R, Morales R, P´ erez A and Zamorano S. Discrete carleman estimates and application to controllability for a fully-discrete parabolic operator with dynamic boundary conditions. Journal of Differential Equations, 2023, 365: 832-881

    work page 2023

  17. [17]

    Stability estimate for the semi-discrete linearized Benjamin- Bona-Mahony equation

    Lecaros R, Ortega J H, P´ erez A. Stability estimate for the semi-discrete linearized Benjamin- Bona-Mahony equation. ESAIM: Control, Optimisation and Calculus of Variations, 2021, 27: 93

    work page 2021

  18. [18]

    An inverse random source problem for the biharmonic wave equation

    Li P, Wang X. An inverse random source problem for the biharmonic wave equation. SIAM/ASA Journal on Uncertainty Quantification, 2022, 10(3): 949-974

    work page 2022

  19. [19]

    Carleman estimate for stochastic parabolic equations and inverse stochastic parabolic problems

    L¨ u Q. Carleman estimate for stochastic parabolic equations and inverse stochastic parabolic problems. Inverse Problems, 2012, 28(4): 045008

    work page 2012

  20. [20]

    Observability estimate and state observation problems for stochastic hyperbolic equa- tions

    L¨ u Q. Observability estimate and state observation problems for stochastic hyperbolic equa- tions. Inverse Problems, 2013, 29(9): 095011

    work page 2013

  21. [21]

    An inverse source problem for semilinear stochastic hyperbolic equations

    L¨ u Q, Wang Y. An inverse source problem for semilinear stochastic hyperbolic equations. arXiv preprint arXiv:2504.17398, 2025

    work page arXiv 2025

  22. [22]

    Global uniqueness for an inverse stochastic hyperbolic problem with three unknowns

    L¨ u Q, Zhang X. Global uniqueness for an inverse stochastic hyperbolic problem with three unknowns. Communications on Pure and Applied Mathematics, 2015, 68(6): 948-63

    work page 2015

  23. [23]

    Inverse problems for stochastic partial differential equations: some progresses and open problems

    L¨ u Q, Zhang X. Inverse problems for stochastic partial differential equations: some progresses and open problems. Numerical Algebra, Control and Optimization, 2024, 14(2): 227-272

    work page 2024

  24. [24]

    Null controllability for stochastic fourth order semi-discrete parabolic equa- tions

    Wang Y, Zhao Q. Null controllability for stochastic fourth order semi-discrete parabolic equa- tions. arXiv preprint arXiv:2405.03257, 2024

    work page arXiv 2024

  25. [25]

    On the stability of recovering two sources and initial status in a stochastic hyperbolic-parabolic system

    Wu B, Liu J. On the stability of recovering two sources and initial status in a stochastic hyperbolic-parabolic system. Inverse Problems, 2022, 38(2): 025010

    work page 2022

  26. [26]

    Carleman estimates for space semi-discrete approximations of one-dimensional stochastic parabolic equation and its applications

    Wu B, Wang Y, Wang Z. Carleman estimates for space semi-discrete approximations of one-dimensional stochastic parabolic equation and its applications. Inverse Problems, 2024, 40(11): 115003. 36

    work page 2024

  27. [27]

    Global uniqueness in an inverse problem for a class of damped stochastic plate equations

    Yu Y, Zhao Q. Global uniqueness in an inverse problem for a class of damped stochastic plate equations. Mathematical Methods in the Applied Sciences, 2023, 46(1): 765-776

    work page 2023

  28. [28]

    Conditional stability in determination of initial data for stochastic parabolic equa- tions

    Yuan G. Conditional stability in determination of initial data for stochastic parabolic equa- tions. Inverse Problems, 2017, 33(3): 035014

    work page 2017

  29. [29]

    Determination of two unknowns simultaneously for stochastic Euler–Bernoulli beam equations

    Yuan G. Determination of two unknowns simultaneously for stochastic Euler–Bernoulli beam equations. Journal of Mathematical Analysis and Applications, 2017, 450(1): 137-151

    work page 2017

  30. [30]

    Convergence analysis of a coefficient inverse problem for the semi-discrete damped wave equation

    Zhang W, Zhao Z. Convergence analysis of a coefficient inverse problem for the semi-discrete damped wave equation. Applicable Analysis, 2022, 101(4): 1430-1455

    work page 2022

  31. [31]

    Carleman and observability estimates for stochastic wave equations

    Zhang X. Carleman and observability estimates for stochastic wave equations. SIAM Journal on Mathematical Analysis, 2008, 40(2): 851-868

    work page 2008

  32. [32]

    Null Controllability for Stochastic Semidiscrete Parabolic Equations

    Zhao Q. Null Controllability for Stochastic Semidiscrete Parabolic Equations. SIAM Journal on Control and Optimization, 2025, 63(3): 2007-2028

    work page 2025

  33. [33]

    Propagation, observation, and control of waves approximated by finite difference methods

    Zuazua E. Propagation, observation, and control of waves approximated by finite difference methods. SIAM review, 2005, 47(2): 197-243. 37

    work page 2005