pith. machine review for the scientific record. sign in

arxiv: 2604.08683 · v1 · submitted 2026-04-09 · 🧮 math.OC · math.AP

Recognition: unknown

Stability for the stochastic heat equation with multiplicative noise via finite-dimensional feedback

V\'ictor Hern\'andez-Santamar\'ia , K\'evin Le Balc'h , Liliana Peralta
Authors on Pith no claims yet

Pith reviewed 2026-05-10 16:46 UTC · model grok-4.3

classification 🧮 math.OC math.AP
keywords stochastic heat equationmultiplicative noisefinite-dimensional feedbackmean-square stabilityalmost sure stabilityFourier modeslocalized controlcontrollability
0
0 comments X

The pith

Finite-dimensional feedback from Fourier modes stabilizes the stochastic heat equation at arbitrary rates in mean square and recovers almost sure stability.

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

The paper shows that a feedback control using only finitely many Fourier modes of the solution can make the mean-square exponential decay rate of the stochastic heat equation with multiplicative noise as large as desired. The control acts locally on any set of positive measure. This choice of modes also yields almost sure exponential stability at the same rate through a probabilistic comparison argument. A reader would care because it gives a concrete way to stabilize a randomly perturbed diffusion using limited actuators while unifying two different stability concepts in one construction, and it supplies a new feedback-based proof of controllability.

Core claim

The number of controlled Fourier modes determines the decay rate and permits arbitrarily fast mean-square stabilization; almost sure exponential stability then follows by a probabilistic argument, so both forms of stability are obtained simultaneously in the same framework and with the same rate.

What carries the argument

Finite-dimensional feedback built from finitely many Fourier modes of the solution, acting on a measurable subset of positive measure.

Where Pith is reading between the lines

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

  • The same finite-mode construction could be tested on other linear stochastic PDEs with multiplicative noise, such as the stochastic wave equation.
  • Avoiding the adjoint equation opens a route to direct numerical synthesis of the feedback law without solving a backward stochastic PDE.
  • The method may extend to boundary or pointwise controls if the Fourier-mode projection still captures the essential unstable directions.

Load-bearing premise

The uncontrolled equation already satisfies certain parameter-dependent decay estimates that can fail when the multiplicative noise is too strong.

What would settle it

Numerical simulation in which increasing the number of controlled Fourier modes fails to produce a corresponding increase in the observed mean-square decay rate, or in which strong multiplicative noise prevents any uniform decay even with many modes.

read the original abstract

In this paper, we study the long-time behavior of a stochastic heat equation with multiplicative noise and localized control. We begin by analyzing the uncontrolled dynamics and derive explicit decay rates for both mean-square and almost sure exponential stability. These estimates show that the two notions of stability may hold under different conditions on the parameters, reflecting the interplay between the drift and the multiplicative noise. We then introduce a finite-dimensional feedback control acting on a measurable subset of positive measure, built from finitely many Fourier modes of the solution. In particular, we show that the number of controlled modes determines the decay rate and allows for arbitrarily fast stabilization in the mean-square sense. As a consequence, almost sure exponential stability is recovered via a probabilistic argument, so that both notions of stability are achieved within the same framework and with the same decay rate. As an application, we provide a new proof of controllability for the stochastic heat equation based on an iterative construction of adapted controls in feedback form, avoiding the use of the adjoint equation.

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 analyzes the long-time behavior of the stochastic heat equation with multiplicative noise and localized control. It first derives explicit decay rates for the uncontrolled dynamics in both the mean-square and almost sure senses, noting that the two notions of stability hold under different parameter conditions. A finite-dimensional feedback controller is then constructed from finitely many Fourier modes of the solution, acting on a measurable subset of positive measure. The paper claims that the number of controlled modes determines the decay rate and permits arbitrarily fast mean-square stabilization; almost sure exponential stability is recovered from this via a probabilistic argument, yielding both stabilities at the same rate. An application to controllability is provided via an iterative construction of adapted feedback controls, avoiding the adjoint equation.

Significance. If the central claims hold, the work provides a concrete mechanism for achieving arbitrary-rate mean-square stabilization of a stochastic PDE via finite-dimensional localized feedback, followed by transfer to almost sure stability. The explicit parameter-dependent decay rates for the uncontrolled system and the new controllability proof are strengths that could influence subsequent research on stabilization and control of infinite-dimensional stochastic systems.

major comments (2)
  1. [High-mode tail estimates (following the uncontrolled analysis and preceding the finite-mode feedback construction)] The mean-square estimates for the high-mode tail (uncontrolled Fourier modes) are stated to follow from the decay rates derived for the uncontrolled equation. However, these rates are parameter-dependent and become non-positive once the multiplicative noise intensity exceeds a threshold determined by the Laplacian eigenvalues. Because the localized control has no direct action on high modes and multiplicative noise couples modes, it is unclear whether the tail energy remains decaying for strong noise; this appears load-bearing for the arbitrary-rate mean-square stabilization claim.
  2. [Almost sure stability recovery argument] The transfer from mean-square to almost sure exponential stability via a probabilistic argument assumes that the mean-square decay rate can be made arbitrarily large by increasing the number of controlled modes. If the high-mode contribution prevents this for strong noise, the subsequent almost sure recovery step does not follow at the claimed rate.
minor comments (2)
  1. [Control operator definition] Notation for the localized control operator and the precise definition of the measurable subset of positive measure should be clarified with an explicit example or figure.
  2. [Uncontrolled dynamics section] The manuscript would benefit from a short table comparing the parameter regimes for uncontrolled mean-square versus almost sure stability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough reading and valuable comments on our manuscript. The concerns raised about the high-mode tail estimates and the transfer to almost sure stability are important, and we address them point by point below. We will incorporate clarifications and additional details into a revised version.

read point-by-point responses

  1. Referee: [High-mode tail estimates (following the uncontrolled analysis and preceding the finite-mode feedback construction)] The mean-square estimates for the high-mode tail (uncontrolled Fourier modes) are stated to follow from the decay rates derived for the uncontrolled equation. However, these rates are parameter-dependent and become non-positive once the multiplicative noise intensity exceeds a threshold determined by the Laplacian eigenvalues. Because the localized control has no direct action on high modes and multiplicative noise couples modes, it is unclear whether the tail energy remains decaying for strong noise; this appears load-bearing for the arbitrary-rate mean-square stabilization claim.

    Authors: We appreciate this observation, which highlights a point that merits more explicit treatment in the text. While the high-mode tail is compared to the uncontrolled dynamics in the current draft, the multiplicative noise does induce coupling between modes. However, because the feedback is finite-dimensional and localized, its projection onto sufficiently high modes can be controlled, and the coupling terms involving the low-mode components are dominated by the arbitrarily fast decay of those components (achieved by taking the number of controlled modes large). We will revise the manuscript to include a self-contained Itô-formula estimate for the tail under the closed-loop dynamics, explicitly bounding the cross terms and showing that the tail decays at a rate governed by the minimal eigenvalue in the tail, which remains positive and compatible with the target overall decay rate for any fixed noise intensity. revision: yes

  2. Referee: [Almost sure stability recovery argument] The transfer from mean-square to almost sure exponential stability via a probabilistic argument assumes that the mean-square decay rate can be made arbitrarily large by increasing the number of controlled modes. If the high-mode contribution prevents this for strong noise, the subsequent almost sure recovery step does not follow at the claimed rate.

    Authors: The almost-sure stability is recovered from the mean-square decay via a standard Borel-Cantelli argument once the mean-square rate is made sufficiently large. As clarified in the response to the first comment, we will add a detailed proof that the overall mean-square decay rate can be made arbitrarily large (independent of the noise intensity) by increasing the number of controlled modes, with the high-mode tail controlled as described above. This ensures the probabilistic transfer holds at the same explicit rate. A short remark will also be added to delineate the parameter regimes. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper derives explicit decay rates for the uncontrolled stochastic heat equation via Fourier-mode analysis and standard stochastic estimates, then applies finite-dimensional feedback only to low modes while retaining the uncontrolled rates for the high-mode tail. These rates are computed independently of the feedback law and the target stabilization speed; the number of controlled modes is chosen to dominate the overall decay without redefining any quantity in terms of itself. No parameters are fitted to data, no self-citations form the load-bearing step, and no ansatz or uniqueness result is smuggled in. The chain therefore consists of independent estimates followed by a splitting argument and a probabilistic transfer, all external to the final decay rate.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard assumptions of stochastic PDE theory (existence of mild solutions, Itô calculus for infinite-dimensional processes) plus the specific construction of the finite-mode feedback operator. No new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The uncontrolled stochastic heat equation admits mild solutions and satisfies parameter-dependent mean-square and almost sure decay estimates.
    Invoked when the authors begin by analyzing the uncontrolled dynamics.
  • domain assumption The control operator is a finite-rank projection onto Fourier modes supported on a set of positive measure.
    Central to the feedback construction.

pith-pipeline@v0.9.0 · 5484 in / 1448 out tokens · 32502 ms · 2026-05-10T16:46:06.358396+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

33 extracted references · 3 canonical work pages

  1. [1]

    Observability inequalities and measurable sets

    Jone Apraiz, Luis Escauriaza, Gengsheng Wang, and Can Zhang. Observability inequalities and measurable sets. J. Eur. Math. Soc. (JEMS) , 16(11):2433--2475, 2014

    2014

  2. [2]

    Andr\'es \'Alvarez, V\'ictor Hern\'andez-Santamar\'ia, and Jaime A. Moreno. Rapid stabilization of the multidimensional heat equation by event-triggered finite-dimensional feedback. In preparation , 2026

    2026

  3. [3]

    A new example of an unstable system being stabilized by random parameter noise

    Ludwig Arnold. A new example of an unstable system being stabilized by random parameter noise. Match , (7):133--140, 1979

    1979

  4. [4]

    Stabilization by noise revisited

    Ludwig Arnold. Stabilization by noise revisited. Z. Angew. Math. Mech. , 70(7):235--246, 1990

    1990

  5. [5]

    Note on the internal stabilization of stochastic parabolic equations with linearly multiplicative G aussian noise

    Viorel Barbu. Note on the internal stabilization of stochastic parabolic equations with linearly multiplicative G aussian noise. ESAIM Control Optim. Calc. Var. , 19(4):1055--1063, 2013

    2013

  6. [6]

    A note on the stabilizability of stochastic heat equations with multiplicative noise

    Viorel Barbu, Catalin Lefter, and Gianmario Tessitore. A note on the stabilizability of stochastic heat equations with multiplicative noise. C. R. Math. Acad. Sci. Paris , 334(4):311--316, 2002

    2002

  7. [7]

    Carleman estimates and controllability of linear stochastic heat equations

    Viorel Barbu, Aurel R a s canu, and Gianmario Tessitore. Carleman estimates and controllability of linear stochastic heat equations. Appl. Math. Optim. , 47(2):97--120, 2003

    2003

  8. [8]

    Asymptotic exponential stability of stochastic partial differential equations with delay

    Tom\' a s Caraballo. Asymptotic exponential stability of stochastic partial differential equations with delay. Stochastics Stochastics Rep. , 33(1-2):27--47, 1990

    1990

  9. [9]

    Garrido-Atienza, and Jos\' e Real

    Tom\' a s Caraballo, Mar\' a J. Garrido-Atienza, and Jos\' e Real. Asymptotic stability of nonlinear stochastic evolution equations. Stochastic Anal. Appl. , 21(2):301--327, 2003

    2003

  10. [10]

    Rapid stabilization of the heat equation with localized disturbance

    Christian Calle, Patricio Guzm \'a n, and Hugo Parada. Rapid stabilization of the heat equation with localized disturbance. arXiv preprint arXiv:2512.19160 , 2025

    work page arXiv 2025

  11. [11]

    Stochastic partial differential equations

    Pao-Liu Chow. Stochastic partial differential equations . Advances in Applied Mathematics. CRC Press, Boca Raton, FL, second edition, 2015

    2015

  12. [12]

    On stabilization of partial differential equations by noise

    Tomás Caraballo, Kai Liu, and Xuerong Mao. On stabilization of partial differential equations by noise. Nagoya Math. J. , 161:155--170, 2001

    2001

  13. [13]

    Langa, and Takeshi Taniguchi

    Tom\' a s Caraballo, Jos\' e A. Langa, and Takeshi Taniguchi. The exponential behaviour and stabilizability of stochastic 2 D - N avier- S tokes equations. J. Differential Equations , 179(2):714--737, 2002

    2002

  14. [14]

    M\' a rquez-Dur\' a n, and Jos\' e Real

    Tom\' a s Caraballo, Antonio M. M\' a rquez-Dur\' a n, and Jos\' e Real. The asymptotic behaviour of a stochastic 3 D LANS - model. Appl. Math. Optim. , 53(2):141--161, 2006

    2006

  15. [15]

    Optimal cost for the null controllability of the stokes system with controls having n-1 components and applications

    Felipe W Chaves-Silva, Marcos G Ferreira-Silva, and Diego A Souza. Optimal cost for the null controllability of the stokes system with controls having n-1 components and applications. arXiv preprint arXiv:2512.04721 , 2025

    work page arXiv 2025

  16. [16]

    Chaves-Silva and Gilles Lebeau

    Felipe W. Chaves-Silva and Gilles Lebeau. Spectral inequality and optimal cost of controllability for the S tokes system. ESAIM Control Optim. Calc. Var. , 22(4):1137--1162, 2016

    2016

  17. [17]

    Global controllability to harmonic maps of the heat flow from a circle to a sphere

    Jean-Michel Coron and Shengquan Xiang. Global controllability to harmonic maps of the heat flow from a circle to a sphere. J. Math. Pures Appl. (9) , 204:Paper No. 103761, 47, 2025

    2025

  18. [18]

    Observability estimates and null controllability for forward and backward linear stochastic K uramoto- S ivashinsky equations

    Peng Gao, Mo Chen, and Yong Li. Observability estimates and null controllability for forward and backward linear stochastic K uramoto- S ivashinsky equations. SIAM J. Control Optim. , 53(1):475--500, 2015

    2015

  19. [19]

    Hasminski

    Rafail Z. Hasminski . Stochastic stability of differential equations , volume 7 of Monographs and Textbooks on Mechanics of Solids and Fluids, Mechanics and Analysis . Sijthoff & Noordhoff, Alphen aan den Rijn---Germantown, Md., 1980. Translated from the Russian by D. Louvish

    1980

  20. [20]

    Haussmann

    Ulrich G. Haussmann. Asymptotic stability of the linear I t\^ o equation in infinite dimensions. J. Math. Anal. Appl. , 65(1):219--235, 1978

    1978

  21. [21]

    Statistical null-controllability of stochastic nonlinear parabolic equations

    V\' ctor Hern\' a ndez-Santamar\' a, K\' e vin Le Balc'h, and Liliana Peralta. Statistical null-controllability of stochastic nonlinear parabolic equations. Stoch. Partial Differ. Equ. Anal. Comput. , 10(1):190--222, 2022

    2022

  22. [22]

    Global null-controllability for stochastic semilinear parabolic equations

    V\' ctor Hern\' a ndez-Santamar\' a, K\' e vin Le Balc'h, and Liliana Peralta. Global null-controllability for stochastic semilinear parabolic equations. Ann. Inst. H. Poincar\' e C Anal. Non Lin\' e aire , 40(6):1415--1455, 2023

    2023

  23. [23]

    Stability of semilinear stochastic evolution equations

    Akira Ichikawa. Stability of semilinear stochastic evolution equations. J. Math. Anal. Appl. , 90(1):12--44, 1982

    1982

  24. [24]

    Some results on the controllability of forward stochastic heat equations with control on the drift

    Qi L\" u . Some results on the controllability of forward stochastic heat equations with control on the drift. J. Funct. Anal. , 260(3):832--851, 2011

    2011

  25. [25]

    Global C arleman estimate for stochastic parabolic equations, and its application

    Xu Liu. Global C arleman estimate for stochastic parabolic equations, and its application. ESAIM Control Optim. Calc. Var. , 20(3):823--839, 2014

    2014

  26. [26]

    Contr\^ o le exact de l'\' e quation de la chaleur

    Gilles Lebeau and Luc Robbiano. Contr\^ o le exact de l'\' e quation de la chaleur. Comm. Partial Differential Equations , 20(1-2):335--356, 1995

    1995

  27. [27]

    Exponential mixing for random nonlinear wave equations: weak dissipation and localized control

    Ziyu Liu, Dongyi Wei, Shengquan Xiang, Zhifei Zhang, and Jia-Cheng Zhao. Exponential mixing for random nonlinear wave equations: weak dissipation and localized control. arXiv preprint arXiv:2407.15058 , 2024

    work page arXiv 2024

  28. [28]

    Stochastic stabilization and destabilization

    Xuerong Mao. Stochastic stabilization and destabilization. Systems Control Lett. , 23(4):279--290, 1994

    1994

  29. [29]

    Stochastic differential equations and applications

    Xuerong Mao. Stochastic differential equations and applications . Horwood Publishing Limited, Chichester, second edition, 2008

    2008

  30. [30]

    A note on exponential almost sure stability of stochastic differential equation

    Xuerong Mao, Qingshuo Song, and Dichuan Yang. A note on exponential almost sure stability of stochastic differential equation. Bull. Korean Math. Soc. , 51(1):221--227, 2014

    2014

  31. [31]

    Null controllability for forward and backward stochastic parabolic equations

    Shanjian Tang and Xu Zhang. Null controllability for forward and backward stochastic parabolic equations. SIAM J. Control Optim. , 48(4):2191--2216, 2009

    2009

  32. [32]

    Small-time local stabilization of the two-dimensional incompressible N avier- S tokes equations

    Shengquan Xiang. Small-time local stabilization of the two-dimensional incompressible N avier- S tokes equations. Ann. Inst. H. Poincar\' e C Anal. Non Lin\' e aire , 40(6):1487--1511, 2023

    2023

  33. [33]

    Quantitative rapid and finite time stabilization of the heat equation

    Shengquan Xiang. Quantitative rapid and finite time stabilization of the heat equation. ESAIM Control Optim. Calc. Var. , 30:Paper No. 40, 25, 2024

    2024