pith. sign in

arxiv: 2310.04873 · v3 · submitted 2023-10-07 · 🧮 math.DS

Roughness of exponential dichotomy under unbounded perturbation in linear partial functional differential equations

Xuan-Quang Bui , Nguyen Van Minh This is my paper

Pith reviewed 2026-05-24 06:22 UTC · model grok-4.3

classification 🧮 math.DS
keywords exponential dichotomyroughnessYosida distancepartial functional differential equationsunbounded perturbationssolution semigroupsphase space
0
0 comments X

The pith

If the Yosida distances d_Y(A, A_1) and d_Y(B, B_1) are sufficiently small, then the perturbed equation admits an exponential dichotomy whenever the original does.

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

The paper establishes that exponential dichotomies in linear partial functional differential equations are rough under unbounded perturbations quantified by the Yosida distance. It defines this distance via limsup of norms of Yosida approximations and shows that small values for both the generator A and the delay operator B preserve the dichotomy in the perturbed system. The argument uses estimates on the distance between the generators of the associated solution semigroups inside the phase space C([-r,0], X). Proofs proceed without any assumed relation between the domains of the original and perturbed operators. A reader would care because the result widens the class of admissible perturbations for which stability properties can be transferred in infinite-dimensional delay equations.

Core claim

If d_Y(A, A_1) and d_Y(B, B_1) are sufficiently small, then the perturbed equation u'(t)=A_1 u(t) + B_1 u_t also admits an exponential dichotomy whenever the original equation u'(t)=A u(t) + B u_t admits one. The proofs are based on estimates of the Yosida distance between the generators of the solution semigroups associated with the two equations in the phase space C([-r,0],X), without assuming any relation between their domains.

What carries the argument

The Yosida distance d_Y(U,V) := limsup as mu to +infty of the operator norm of U_mu minus V_mu, used to control the distance between semigroup generators in the phase space C([-r,0],X).

If this is right

  • The exponential dichotomy property transfers from the original equation to the perturbed one when both Yosida distances are small enough.
  • The transfer holds for the full class of linear partial functional differential equations with fixed delay r>0.
  • No domain inclusion or equality between the generators is required for the estimates to go through.

Where Pith is reading between the lines

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

  • The same distance could be used to obtain roughness statements for other qualitative properties such as asymptotic stability or existence of invariant manifolds.
  • Concrete models in population dynamics or viscoelasticity could be checked by computing Yosida approximations of their operators.
  • The method may adapt to time-dependent or nonlinear perturbations once the linear case is settled.

Load-bearing premise

The central estimates rely on the Yosida distance between the generators of the solution semigroups without any relation assumed between their domains.

What would settle it

An explicit pair of operators A,A1,B,B1 with arbitrarily small d_Y(A,A1) and d_Y(B,B1) for which the original equation has an exponential dichotomy but the perturbed one does not.

read the original abstract

This paper is concerned with the roughness of exponential dichotomies under unbounded perturbations of a class of linear partial functional differential equations \begin{equation}\label{pfde-000-1star} u'(t)=Au(t)+Bu_t, \end{equation} where $A$ is a linear operator on a Banach space $\mathbb{X}$ and $B$ is a linear operator from $C([-r,0],\mathbb{X})$ into $\mathbb{X}$, where $r>0$ is a given constant. To quantify the size of unbounded perturbations, we introduce the \textit{Yosida distance} between linear operators $U$ and $V$, defined by $d_Y(U,V):=\limsup_{\mu\to +\infty} \| U_\mu-V_\mu\|$, where $U_\mu$ and $V_\mu$ are the Yosida approximations of $U$ and $V$, respectively. We show that if $d_Y(A, A_1)$ and $d_Y(B, B_1)$ are sufficiently small, then the perturbed equation \begin{equation}\label{pfde-000-2star} u'(t)=A_1u(t)+B_1u_t \end{equation} also admits an exponential dichotomy whenever \eqref{pfde-000-1star} admits one. The proofs are based on estimates of the Yosida distance between the generators of the solution semigroups associated with \eqref{pfde-000-1star} and \eqref{pfde-000-2star} in the phase space $C([-r,0],\mathbb{X})$, without assuming any relation between their domains.

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

1 major / 0 minor

Summary. The paper establishes a roughness result for exponential dichotomies in linear partial functional differential equations of the form u'(t) = A u(t) + B u_t on a Banach space X, where A generates a semigroup and B maps the delay space C([-r,0],X) into X. It introduces the Yosida distance d_Y(U,V) = limsup_{μ→∞} ||U_μ - V_μ|| and proves that if d_Y(A,A_1) and d_Y(B,B_1) are sufficiently small, then the perturbed equation with (A_1,B_1) inherits an exponential dichotomy from the original whenever the latter possesses one. The argument proceeds by estimating the Yosida distance between the generators G and G_1 of the associated solution semigroups on the phase space C([-r,0],X) and invoking standard roughness theorems for dichotomies.

Significance. If the central estimates hold, the result extends classical roughness theorems for dichotomies to a class of unbounded perturbations without requiring domain compatibility between the unperturbed and perturbed operators. This is potentially useful for applications involving partial differential equations with delays where domains may differ. The introduction of the Yosida distance as a quantitative measure for unbounded perturbations is a methodological contribution.

major comments (1)
  1. [Abstract] Abstract (and the paragraph on proofs): the central claim requires that d_Y(G,G_1) ≤ C (d_Y(A,A_1) + d_Y(B,B_1)) for some C independent of the operators, so that smallness of the input distances implies smallness of the phase-space distance and hence dichotomy transfer. When dom(A) and dom(A_1) share no common dense subspace, it is not immediate that the Yosida approximants G_μ constructed from the resolvent of A and the action of B satisfy the required limsup bound; the identity relating (λ-G)^{-1} to (λ-A)^{-1} and B may fail to pass to the limit in a manner that controls ||G_μ - G1_μ||. This estimate is load-bearing for the roughness conclusion and must be verified explicitly.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for isolating the load-bearing estimate on the Yosida distance between the phase-space generators. We address this point directly below.

read point-by-point responses

  1. Referee: [Abstract] Abstract (and the paragraph on proofs): the central claim requires that d_Y(G,G_1) ≤ C (d_Y(A,A_1) + d_Y(B,B_1)) for some C independent of the operators, so that smallness of the input distances implies smallness of the phase-space distance and hence dichotomy transfer. When dom(A) and dom(A_1) share no common dense subspace, it is not immediate that the Yosida approximants G_μ constructed from the resolvent of A and the action of B satisfy the required limsup bound; the identity relating (λ-G)^{-1} to (λ-A)^{-1} and B may fail to pass to the limit in a manner that controls ||G_μ - G1_μ||. This estimate is load-bearing for the roughness conclusion and must be verified explicitly.

    Authors: The manuscript derives precisely this bound without assuming any relation between dom(A) and dom(A_1). The generator G of the solution semigroup on C([-r,0],X) is defined via the resolvent identity that expresses (λ-G)^{-1} in terms of (λ-A)^{-1} and the (bounded) operator B; the same holds for G_1. Subtracting the two identities and taking operator norms yields ||G_μ - G1_μ|| ≤ K (||A_μ - A1_μ|| + ||B_μ - B1_μ||) for a constant K depending only on the dichotomy constants, r, and the uniform bound on the resolvents for large μ. Because each Yosida approximant is constructed separately from its own resolvent, the estimate passes to the limsup as μ→∞ independently of whether the domains intersect densely. The resulting inequality d_Y(G,G_1) ≤ C (d_Y(A,A_1) + d_Y(B,B_1)) is therefore valid under the paper’s hypotheses. We will add one clarifying sentence in the abstract and a short remark after the statement of the main theorem to make the domain-independence explicit. revision: partial

Circularity Check

0 steps flagged

No circularity; derivation is self-contained operator estimate

full rationale

The paper defines the Yosida distance d_Y and claims to derive an upper bound on d_Y(G,G_1) (where G,G_1 are phase-space generators) in terms of d_Y(A,A_1) and d_Y(B,B_1), then invokes standard roughness theorems for the dichotomy transfer. This chain consists of explicit estimates on Yosida approximants and semigroup generators; it does not reduce any quantity to a fitted parameter, a self-referential definition, or a load-bearing self-citation. The argument is presented as a direct consequence of the operator estimates in the phase space without domain overlap assumptions, making the derivation independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The result rests on standard properties of C0-semigroups on Banach spaces and the definition of exponential dichotomy; the new Yosida distance is introduced as a technical tool rather than an invented physical entity.

axioms (2)
  • standard math The solution operators generate C0-semigroups on the phase space C([-r,0],X)
    Invoked implicitly when comparing generators of the solution semigroups (abstract).
  • standard math Exponential dichotomy is defined via the usual splitting with exponential decay rates on the phase space
    Standard background assumption for the property being preserved.
invented entities (1)
  • Yosida distance d_Y(U,V) no independent evidence
    purpose: To quantify the size of unbounded perturbations between linear operators
    New definition introduced in the paper; no independent evidence outside the mathematical construction itself.

pith-pipeline@v0.9.0 · 5833 in / 1407 out tokens · 16583 ms · 2026-05-24T06:22:59.930155+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On the well-posedness of linear evolution equations under unbounded nonautonomous perturbations

    math.DS 2026-04 unverdicted novelty 5.0

    If the norm of the time-dependent unbounded perturbation operators is continuous, the nonautonomous evolution equation admits an evolution family, unique under additional differentiability and bounded derivative conditions.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages · cited by 1 Pith paper

  1. [1]

    Adimy and K

    M. Adimy and K. Ezzinbi. A class of linear partial neutral f unctional-differential equations with nondense domain. Journal of Differential Equations 147 (1998), no. 2, 285–332

    work page 1998

  2. [2]

    Adimy, K

    M. Adimy, K. Ezzinbi, and A. Ouhinou. Behavior near hyperb olic stationary solutions for par- tial functional differential equations with infinite delay. Nonlinear Analysis: Theory, Methods & Applications 68 (2008), no. 8, 2280–2302

    work page 2008

  3. [3]

    Adimy, K

    M. Adimy, K. Ezzinbi, and A. Ouhinou. Variation of constan ts formula and almost peri- odic solutions for some partial functional differential equ ations with infinite delay. Journal of Mathematical Analysis and Applications 317 (2006), no. 2, 668–689

    work page 2006

  4. [4]

    Adimy, K

    M. Adimy, K. Ezzinbi, and M. Laklach. Spectral decomposit ion for partial neutral functional differential equations. Canadian Applied Mathematics Quarterly 9 (2001), no. 1, 1–34

    work page 2001

  5. [5]

    Batkai and S

    A. Batkai and S. Piazzera. Semigroups for Delay Equations . Research Notes in Mathematics

    work page

  6. [6]

    A K Peters, Ltd., W ellesley, MA, 2005

    work page 2005

  7. [7]

    Bui and N.V

    X.-Q. Bui and N.V. Minh. Yosida distance and existence of i nvariant manifolds in the infinite- dimensional dynamical systems. To appear in Proceedings of the American Mathematical Society. arXiv preprint https://arxiv.org/abs/2301.12080

    work page arXiv

  8. [8]

    Bui, N.D

    X.-Q. Bui, N.D. Huy, V.T. Luong, and N.V. Minh. A generatio n theorem for the perturba- tion of strongly continuous semigroups by unbounded operat ors. Submitted. arXiv preprint https://arxiv.org/abs/2405.06812

    work page arXiv

  9. [9]

    Chow and H

    S.-N. Chow and H. Leiva. Unbounded perturbation of the exp onential dichotomy for evolution equations. Journal of Differential Equations 129 (1996), no. 2, 509–531

    work page 1996

  10. [10]

    W.A. Coppel. Dichotomies in Stability Theory . Lecture Notes in Mathematics 629. Springer- Verlag, Berlin-New York, 1978

    work page 1978

  11. [11]

    Da Prato and A

    G. Da Prato and A. Lunardi. Stability, instability and ce nter manifold theorem for fully nonlinear autonomous parabolic equations in Banach space. Archive for Rational Mechanics and Analysis 101 (1998), 115–141

    work page 1998

  12. [12]

    Daleckii and M.G

    Ju.L. Daleckii and M.G. Krein. Stability of Solutions of Differential Equations in Banach Spaces. American Mathematical Society Translations, 1974

    work page 1974

  13. [13]

    Diekmann, S.A

    O. Diekmann, S.A. van Gils, S.M. Verduyn Lunel, and H.O. W alther. Delay Equations . Springer-Verlag, New York-Heidelberg-Berlin, 1995

    work page 1995

  14. [14]

    Drisi, B

    N. Drisi, B. Es-sebbar, and K. Ezzinbi. Perron’s theorem for nondensely defined partial func- tional differential equations. Electronic Journal of Qualitative Theory of Differential Eq ua- tions (2017), paper no. 81, 20 pp

    work page 2017

  15. [15]

    Dunford and J.T

    N. Dunford and J.T. Schwartz. Linear Operators General Theory, Part I . Wiley, New York, 1988

    work page 1988

  16. [16]

    Y. Hino, S. Murakami, T. Naito, and N.V. Minh. A variation -of-constants formula for abstract functional differential equations in the phase space. Journal of Differential Equations 179 (2002), 336–355

    work page 2002

  17. [17]

    Engel and R

    K.J. Engel and R. Nagel. One-Parameter Semigroups for Linear Evolution Equations . Grad- uate Texts in Mathematics 194. Springer, 2000

    work page 2000

  18. [18]

    J. Hale. Theory of Functional Differential Equations (second edition). Applied Mathematical Sciences 3. Springer-Verlag, New York-Heidelberg, 1977

    work page 1977

  19. [19]

    D. Henry. Geometric Theory of Semilinear Parabolic Equations . Lecture Notes in Mathematics 840 (1981). Springer-Verlag, Berlin-New York, 1981

    work page 1981

  20. [20]

    N.T. Huy. Exponential dichotomy of evolution equations and admissibility of function spaces on a half-line. Journal of Functional Analysis 235 (2006), no. 1, 330–354

    work page 2006

  21. [21]

    Huy and N.V

    N.T. Huy and N.V. Minh. Exponential dichotomy of differen ce equations and applications to evolution equations on the half-line. Computers & Mathematics with Applications 42, 301– 311

    work page

  22. [22]

    A. Lunardi. Analytic Semigroups and Optimal Regularity in Parabolic Pr oblems. Birkh¨ auser, Basel, 1995

    work page 1995

  23. [23]

    N.V. Minh, F. R¨ abiger, and R. Schnaubelt. Exponential s tability, exponential expansiveness and exponential dichotomy of evolution equations on the hal f line. Integral Equations and Operator Theory 32 (1998), 332–353

    work page 1998

  24. [24]

    Murakami and N.V

    S. Murakami and N.V. Minh. Some invariant manifolds for a bstract functional differential equations and linearized stabilities. Vietnam Journal of Mathematics 30 (2002), 437–458

    work page 2002

  25. [25]

    A. Pazy. Semigroups of Linear Operators and Applications to Partial Differential Equations . Applied Mathematical Sciences 44. Springer-Verlag, New York, 1983

    work page 1983

  26. [26]

    J. Pr¨ uss. Perturbations of exponential dichotomies fo r hyperbolic evolution equations. Op- erator Semigroups Meet Complex Analysis, Harmonic Analysi s and Mathematical Physics , 453–461, Operator Theory: Advances and Applications 250. Birkh¨ auser/Springer, Cham, 2015. UNBOUNDED PERTURBATION OF LINEAR PFDE VIA YOSIDA DISTANCE 1 9

    work page 2015

  27. [27]

    Travis and G.F

    C.C. Travis and G.F. W ebb. Existence and stability for pa rtial functional differential equa- tions. Transactions of the American Mathematical Society 200 (1974), 394–418

    work page 1974

  28. [28]

    Travis and G.F

    C.C. Travis and G.F. W ebb. Existence, stability and comp actness in the α-norm for partial functional differential equations. Transactions of the American Mathematical Society 240 (1978), 129–143

    work page 1978

  29. [29]

    Travis and G.F

    C.C. Travis and G.F. W ebb. Partial functional differenti al equations with deviating argument in time variable. Journal of Mathematical Analysis and Applications 56 (1976), 397–409

    work page 1976

  30. [30]

    J. W u. Theory and Applications of Partial Functional Differential Equations. Applied Math- ematical Sciences 119. Springer-Verlag, New York, 1996

    work page 1996

  31. [31]

    J. Yang, J. Gimeno, and R. de la Llave. Persistence and smo oth dependence on parameters of periodic orbits in functional differential equations close to an ODE or an evolutionary PDE. Journal of Differential Equations 338 (2022), 76–127

    work page 2022

  32. [32]

    K. Yosida. Functional Analysis. Springer-Verlag, Berlin, 1995

    work page 1995

  33. [33]

    L. Zhou, K. Lu, and W. Zhang. Equivalences between nonuni form exponential dichotomy and admissibility. Journal of Differential Equations 262 (2017), no. 1, 682–747. F aculty of Fundamental Sciences, PHENIKAA University, Hanoi 121 16, Vietnam Email address : quang.buixuan@phenikaa-uni.edu.vn Department of Mathematics and Statistics, University of Arka nsas...

    work page 2017