pith. sign in

arxiv: 2604.16798 · v1 · submitted 2026-04-18 · 🧮 math.DS

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

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

Pith reviewed 2026-05-10 07:20 UTC · model grok-4.3

classification 🧮 math.DS
keywords evolution familynonautonomous perturbationunbounded operatorwell-posednessC0-semigroupBanach spaceevolution equation
0
0 comments X

The pith

The equation u'(t)=(A+B(t))u(t) admits an evolution family when the norm of the time-dependent unbounded perturbation B(t) is continuous.

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

This paper studies well-posedness for nonautonomous linear evolution equations in Banach spaces where the generator A is perturbed by unbounded operators B(t) that vary with time. It defines a specific norm on these perturbations that measures their size relative to the resolvent of A and proves that continuity of this norm on a closed interval is enough for an evolution family to exist. Additional regularity on B(t) then yields uniqueness of the family. The result matters because many applied models involve time-varying unbounded perturbations, and a mild continuity condition on this norm replaces stronger requirements used in earlier work.

Core claim

The nonautonomous Cauchy problem admits an evolution family whenever ||B(·)||_A is continuous on [a,b]. The family is unique if B(·)R(μ,A) is continuously differentiable in t and the limsup condition on the time derivative of this resolvent product holds.

What carries the argument

The normed space GL_A(X) consisting of unbounded operators C with D(A) subset D(C) and finite norm ||C||_A = (1/M) sup_{μ>ω0} (μ-ω0) ||C R(μ,A)||, which controls the perturbation relative to the semigroup generated by A.

If this is right

  • Existence of an evolution family follows directly from continuity of ||B(·)||_A alone.
  • Uniqueness holds once B(·)R(μ,A) is C1 in t and the uniform bound on its time derivative is satisfied.
  • The same framework applies to any Banach space in which A generates a C0-semigroup satisfying the given growth bound.
  • Concrete examples of unbounded time-dependent perturbations can be checked against the continuity condition to guarantee well-posedness.

Where Pith is reading between the lines

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

  • The continuity condition on ||B(·)||_A may be easier to verify than differentiability assumptions in applications to parabolic PDEs with time-dependent coefficients.
  • If the norm continuity can be relaxed to measurability, the result would cover a larger class of switching or impulsive perturbations.
  • The construction might combine with stability estimates for the unperturbed semigroup to produce growth bounds on the evolution family itself.

Load-bearing premise

The operators B(t) must lie in GL_A(X) and the function t to ||B(t)||_A must be continuous on the interval.

What would settle it

An explicit example of an operator A generating a C0-semigroup and a family B(t) in GL_A(X) with continuous ||B(·)||_A for which no evolution family solving u'(t)=(A+B(t))u(t) exists.

read the original abstract

We study conditions for the well-posedness of nonautonomous perturbation of evolution equations of the form \[ u'(t)=(A+B(t))u(t), \quad t \in [a,b], \] where $A$ generates a $\mathrm{C}_0$-semigroup $\left (T(t)\right )_{t\ge 0}$ with $\| T(t)\| \le Me^{\omega_0 t}$, $t\ge 0$, in a Banach space $\mathbb{X}$ and $B(t)$ are $t$-dependent (unbounded) linear operators in $\mathbb{X}$. The unbounded perturbation operators $B(t)$ are assumed to belong to a normed space (denoted by $\mathcal{GL}_A (\mathbb{X})$) of unbounded linear operators $C$ in $\mathbb{X}$ such that $D(A) \subset D(C)$ with norm \[ \| C\|_A:= (1/M) \sup_{\mu >\omega_0 } \| (\mu-\omega_0) CR(\mu,A)\| <\infty. \] We prove that the above-mentioned evolution equation admits an evolution family if $\| B(\cdot)\|_A$ is continuous in $[a,b]$. The evolution family is unique if $B(\cdot)R(\mu, A)$ as a function $[a,b]\to \mathcal{L}(\mathbb{X})$ is continuously differentiable, and \[ \limsup_{\mu \to\infty} \sup_{t\in [a,b]} \left \| \frac{d}{dt}[B(t)R(\mu,A)]\right \| <\infty. \] Examples are given to illustrate the obtained results.

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

0 major / 3 minor

Summary. The manuscript proves well-posedness results for the nonautonomous Cauchy problem u'(t)=(A+B(t))u(t) on a finite interval [a,b] in a Banach space X. Here A generates a C0-semigroup with standard growth bound, while the time-dependent perturbations B(t) lie in the space GL_A(X) of operators satisfying D(A)⊂D(B(t)) and finite ||B(t)||_A norm, where ||C||_A:=(1/M) sup_{μ>ω0} ||(μ-ω0) C R(μ,A)||. The central claims are that continuity of t↦||B(t)||_A on [a,b] yields existence of an evolution family, while continuous differentiability of t↦B(t)R(μ,A) together with the uniform bound lim sup_{μ→∞} sup_t ||d/dt [B(t)R(μ,A)]||<∞ yields uniqueness.

Significance. If the proofs hold, the result supplies a concrete, checkable criterion for existence and uniqueness of evolution families under unbounded nonautonomous perturbations. The norm ||·||_A is constructed precisely so that the resolvent perturbation theorem applies uniformly in t (ensuring A+B(t) generates a semigroup for each fixed t), after which standard Kato-Tanabe-type arguments on continuous generator families deliver the evolution family on the compact interval. The extra differentiability hypothesis for uniqueness is the natural one that makes the map t↦A+B(t) differentiable in the resolvent topology. The provision of illustrative examples is a positive feature. The work therefore offers a modest but useful extension of classical perturbation theory for nonautonomous problems.

minor comments (3)
  1. Abstract: the phrase 'the above-mentioned evolution equation admits an evolution family' assumes the reader already knows the precise definition of an evolution family (e.g., the two-parameter family U(t,s) satisfying the integral equation or the abstract Cauchy problem); a one-sentence reminder or reference to the standard definition would improve readability.
  2. The uniqueness statement invokes the bound on d/dt [B(t)R(μ,A)] only for large μ; it would be helpful to state explicitly that the bound is required to hold for all μ larger than some μ0>ω0 independent of t.
  3. Consider adding a short comparison paragraph in the introduction with the classical Kato-Tanabe or Tanabe theorems on evolution families generated by continuous families of generators; this would clarify the precise novelty of the GL_A-norm condition.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The referee's summary correctly outlines the main results on existence and uniqueness of evolution families for the nonautonomous Cauchy problem under the given conditions on the perturbation operators in GL_A(X). No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation defines the space GL_A(X) via a resolvent-based norm that encodes the standard relative boundedness condition allowing A+C to generate a semigroup, then invokes continuity of t ↦ ||B(t)||_A to obtain continuity of the family of generators in the resolvent topology. Existence and uniqueness of the evolution family then follow from the classical Kato-Tanabe theory on finite intervals; neither step reduces to a self-definition, a fitted parameter renamed as a prediction, nor a load-bearing self-citation. The argument is self-contained against external semigroup and evolution-family theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard C0-semigroup theory for the operator A and the newly introduced space of perturbations; no free parameters or invented physical entities.

axioms (2)
  • domain assumption A generates a C0-semigroup T(t) satisfying ||T(t)|| ≤ M e^{ω0 t} for t ≥ 0
    Standard assumption stated in the abstract for the unperturbed operator.
  • domain assumption B(t) belong to GL_A(X) with D(A) ⊂ D(B(t)) and finite ||B(t)||_A
    Core definition of the perturbation class used throughout the result.

pith-pipeline@v0.9.0 · 5612 in / 1384 out tokens · 51453 ms · 2026-05-10T07:20:33.605994+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

20 extracted references · 20 canonical work pages · 1 internal anchor

  1. [1]

    Batty, On a perturbation theorem of Kaiser and Weis,Semigroup Forum70(2005), 471–474,

    C.J.K. Batty, On a perturbation theorem of Kaiser and Weis,Semigroup Forum70(2005), 471–474,

    work page 2005

  2. [2]

    Bui and N.V

    X.-Q. Bui and N.V. Minh, Yosida distance and existence of invariant manifolds in the infinite- dimensional dynamical systems,Proceedings of the American Mathematical Society152(2024), no. 10, 4285–4300

    work page 2024

  3. [3]

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

    X.-Q. Bui and N.V. Minh,Unbounded perturbation of linear partial functional differential equations via Yosida distance, Submitted (arXiv preprint (2024):https://arxiv.org/pdf/2310.04873v2)

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  4. [4]

    Bui, N.D

    X.-Q. Bui, N.D. Huy, V.T. Luong, and N.V. Minh, A generation theorem for the perturbation of strongly continuous semigroups by unbounded operators,Journal of Differential Equations422 (2025), 489–499

    work page 2025

  5. [5]

    Dunford and J.T

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

    work page 1988

  6. [6]

    Engel and R

    K.J. Engel and R. Nagel,One-Parameter Semigroups for Linear Evolution Equations, Graduate Texts in Mathematics194, Springer, 2000

    work page 2000

  7. [7]

    Henry,Geometric Theory of Semilinear Parabolic Equations, Lecture Notes in Mathematics840, Springer-Verlag, Berlin-New York, 1981

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

    work page 1981

  8. [8]

    Kaiser and L

    C. Kaiser and L. Weis, A perturbation theorem for operator semigroups in Hilbert spaces,Semigroup Forum67(2003), no. 1, 63–75

    work page 2003

  9. [9]

    Latushkin and S

    Ju. Latushkin and S. Montgomery-Smith, Evolutionary semigroups and Lyapunov theorems in Banach spaces,Journal of Functional Analysis127(1995), 173–197

    work page 1995

  10. [10]

    Megdiche, A new generation criterion theorem for C 0-semigroups implying a generalization of Kaiser-Weis-Batty’s perturbation theorem,Semigroup Forum107(2023), 491–524

    H. Megdiche, A new generation criterion theorem for C 0-semigroups implying a generalization of Kaiser-Weis-Batty’s perturbation theorem,Semigroup Forum107(2023), 491–524

    work page 2023

  11. [11]

    Mallet-Paret, The Fredholm alternative for function differential equations of mixed type,Journal of Dynamics and Differential Equations,11(1999), 1–47

    J. Mallet-Paret, The Fredholm alternative for function differential equations of mixed type,Journal of Dynamics and Differential Equations,11(1999), 1–47

    work page 1999

  12. [12]

    Minh, On the proof of characterizations of the exponential dichotomy,Proceedings of the American Mathematical Society127(1999), 779–782

    N.V. Minh, On the proof of characterizations of the exponential dichotomy,Proceedings of the American Mathematical Society127(1999), 779–782. 24 X.-Q. BUI, V.T LUONG, AND N.V. MINH

    work page 1999

  13. [13]

    Miyadera, On perturbation theory for semi-groups of operators,Tohoku Mathematical Journal18 (1966), 299–310

    I. Miyadera, On perturbation theory for semi-groups of operators,Tohoku Mathematical Journal18 (1966), 299–310

    work page 1966

  14. [14]

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

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

    work page 1983

  15. [15]

    Rhandi, F

    A. Rhandi, F. R¨ abiger, R. Schnaubelt, and J. Voigt, Non-autonomous Miyadera,Differential Integral Equations13(2000), 341–368

    work page 2000

  16. [16]

    Rau, Hyperbolic evolutionary semigroups on vector valued function spaces,Semigroup Forum 48(1994), 107–118

    R. Rau, Hyperbolic evolutionary semigroups on vector valued function spaces,Semigroup Forum 48(1994), 107–118

    work page 1994

  17. [17]

    Tanaka, Perturbation theorems of Miyadera type for locally Lipschitz continuous integrated semigroups,Studia Mathematica156(2003), no

    N. Tanaka, Perturbation theorems of Miyadera type for locally Lipschitz continuous integrated semigroups,Studia Mathematica156(2003), no. 2, 177–187

    work page 2003

  18. [18]

    Tanaka, Locally Lipschitz continuous integrated semigroups,Studia Mathematica167(2005), no

    N. Tanaka, Locally Lipschitz continuous integrated semigroups,Studia Mathematica167(2005), no. 1, 1–16

    work page 2005

  19. [19]

    Voigt, On the perturbation theory for strongly continuous semigroups,Mathematische Annalen 229(1977), no

    J. Voigt, On the perturbation theory for strongly continuous semigroups,Mathematische Annalen 229(1977), no. 2, 163–171

    work page 1977

  20. [20]

    Widder,The Laplace Transform(2nd Ed.), Princeton University Press, Princeton, 1946

    D.V. Widder,The Laplace Transform(2nd Ed.), Princeton University Press, Princeton, 1946. F aculty of Fundamental Sciences, PHENIKAA University, Nguyen Trac Street, Duong Noi W ard, Hanoi 12116, Viet Nam Email address, corresponding author:quang.buixuan@phenikaa-uni.edu.vn VNU University of Education, Vietnam National University, Hanoi, 144 Xuan Thuy, Cau ...

    work page 1946