Pith. sign in

REVIEW 3 major objections 5 minor 73 references

Admissibility theory in abstract Sobolev scales and transfer function growth at high frequencies

T0 review · 3 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Admissibility in abstract Sobolev scales is equivalent to high-frequency resolvent and transfer function growth.

desk verdict Solid new abstract equivalences for eta-admissibility, but the headline wave-energy decay theorem rests on a sketched proof and imported lemmas that are not verified in the manuscript. read the letter →

arxiv 2412.14786 v1 pith:5TZ43OQB submitted 2024-12-19 math.AP math.FAmath.OC

Lassi Paunonen , David Seifert , Nicolas Vanspranghe This is my paper · ORCID
classification math.APmath.FAmath.OC MSC 47D0634G1093B2835L9035L0535B40
keywords admissibilitystronglycontinuoussemigroupsSobolevscalesquadraticinterpolationtransferfunctiongrowthwaveequationNeumannboundarycontrolnon-uniformstability
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper establishes exact equivalences between time-domain regularity properties of linear semigroup systems and high-frequency growth rates of their resolvents and transfer functions. For control and observation operators that are $\eta$-admissible — meaning $L^2$ inputs produce final states in a negative-order Sobolev space, or solutions from smoother initial data have $L^2$ outputs — the paper shows that admissibility measured on a fractional-domain scale, on a quadratic interpolation scale, or through distributional outputs is the same condition, and that this condition implies a resolvent bound growing like $O(|\omega|^\eta)$. When the semigroup is a group, the converse holds as well. In the presence of both a control and an observation operator, the paper proves that an input-output Sobolev regularity gain of order $\eta_1+\eta_2$ is equivalent to the transfer function growing like $O(|\omega|^{\eta_1+\eta_2})$, with no invertibility assumption. These results matter because they convert boundary-control regularity questions for PDEs into frequency-domain estimates; the paper uses them to derive sharp high-frequency bounds for the Neumann-to-Dirichlet wave transfer function and, from these, non-uniform energy decay rates for a damped wave equation on a rectangle.

What carries the argument

The argument runs on two continuous Hilbert scales built from the generator $A$: the fractional-domain scale $\{X^{\mathrm{fr}}_s\}$ of domains of fractional powers of $\mu-A$, and the quadratic interpolation scale $\{X^{\mathrm{in}}_s\}$. Although these spaces can differ, the paper shows that admissibility measured on either scale is the same condition. The frequency-domain step uses the integral representation of fractional powers together with a resolvent-growth cancellation identity, which lets resolvent bounds on $X^{\mathrm{fr}}_\eta$ be traded for bounds on $X$ with growth $O(|\omega|^\eta)$. The time-domain machinery uses Besov-type characterisations of vector-valued Sobolev spaces, extension by reflection, and an elliptic-regularity lemma for the operator $L = -(d/dt)^2 - 2(d/dt) + 4$ to pass from finite intervals to the whole line. Duality between control and observation flows through the identification $X_{-\theta} \simeq (X^d_\theta)^*$ given by the Riesz map.

What would settle it

Compute the operator norm $\|\gamma((1+i\lambda)^2-\Delta_N)^{-1}\gamma^*\|_{\mathcal L(L^2(\partial\Omega))}$ on a smooth bounded domain at a sequence of large real $\lambda$; if its growth exceeds $O(|\lambda|^{-1/3})$, the wave transfer-function asymptotics and the rectangle energy decay built on them are false.

Watch

Extended reading notes

Core claim

The central discovery is that, for a strongly continuous semigroup on a Hilbert space, how much Sobolev regularity is lost at the input or gained at the output is tightly tied to how fast the resolvent or transfer function grows at high frequency. Concretely, for an $A$-bounded control operator $B$, the following are equivalent for each $\eta \in [0,1]$: $L^2$ inputs produce final states in the fractional-domain space $X^{\mathrm{fr}}_{-\eta}$; the same holds with the quadratic interpolation space $X^{\mathrm{in}}_{-\eta}$ (which can differ from $X^{\mathrm{fr}}_{-\eta}$ in general); and inputs that are $\eta$-smoother in the Sobolev sense produce final states in the original space. Each of these conditions is equivalent to the resolvent bound $\|(\sigma+i\omega-A)^{-1}B\|_{\mathcal L(U,X)} = O(|\omega|^\eta)$, and conversely when the semigroup is right-invertible; the observation-operator analogue is dual. For systems with both a control $B$ and an observation $C$, the paper proves that $Cx \in H^{-\eta_1-\eta_2}(0,T;Y)$ for every $L^2$ input $u$ holds exactly when $\|C(\sigma+i\omega-A)^{-1}B\|_{\mathcal L(U,Y)} = O(|\omega|^{\eta_1+\eta_2})$, without needing invertibility. Applied to the wave equation with Neumann boundary control, these equivalences yield the optimal growth $O(|\lambda|^{2\eta-1})$ for the Neumann-to-Dirichlet transfer function, with $\eta$ the loss exponent coming from sharp interior and boundary regularity theory.

Load-bearing premise

The sharp wave and rectangle results inherit a black-box boundary-regularity theorem with fixed loss exponents, and the abstract equivalences require the semigroup to be left- or right-invertible before resolvent growth can be converted back into time-domain admissibility.

Editorial extensions

If this is right

  • For any semigroup system satisfying the hypotheses, a resolvent growth bound $O(|\omega|^\eta)$ is equivalent to a concrete time-domain admissibility condition, so admissibility can be verified from frequency-domain data alone.
  • The Neumann-to-Dirichlet wave transfer function satisfies $\|\gamma((1+i\lambda)^2-\Delta_N)^{-1}\gamma^*\|_{\mathcal L(L^2(\partial\Omega))} = O(|\lambda|^{2\eta-1})$ and the $H^1(\partial\Omega)$-valued version grows like $O(|\lambda|^{2\eta})$, with the sharp exponents from boundary regularity theory.
  • The wave equation on a rectangle with Neumann damping supported on an arbitrary open portion of the boundary loses energy at rate $o(t^{-2/3+\varepsilon})$ for every fixed $\varepsilon>0$.
  • For the Schrödinger equation on a half-space with Neumann boundary data, $L^2$ boundary data produce $L^2$ solutions whose Dirichlet trace lies in $L^2(0,T;L^2(\partial\Omega)) \cap H^{-1/2}(0,T;H^1(\partial\Omega))$, showing that a natural transfer from waves to Schrödinger does not reverse.
  • The abstract results apply to second-order systems of the form $\ddot w + Lw = Pu$ with observation $Q_0w + Q_1\dot w$, yielding resolvent conditions for the quadratic pencil $p^2+L$ that control both classical and distributional admissibility.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The proved equivalences suggest a practical numerical admissibility test: fit the slope of $\|(\sigma+i\omega-A)^{-1}B\|$ on a vertical line at high frequencies; the measured exponent should equal the Sobolev loss of the input-to-state map, and deviations would expose modelling errors.
  • The same framework should extend to non-self-adjoint generators without difficulty, since the Sobolev scale only needs a resolvent; the paper's Hilbert-space assumption is used essentially in the Fourier/Plancherel steps, so a Banach-space version would need a genuinely different proof.
  • One could combine the transfer-function growth bounds with wavenumber-explicit Helmholtz solvers to test numerically whether the sharp boundary-regularity loss exponents are optimal on non-smooth domains, a question the paper leaves open.
  • The frequency-domain characterisation offers an 'admissibility diagnostic' for model reduction: systems whose transfer function grows faster than $O(|\omega|)$ are not classically admissible, and the Sobolev-scale bookkeeping here quantifies exactly how far they are.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. This paper develops an admissibility theory for strongly continuous semigroups on Hilbert spaces along two continuous Sobolev scales: fractional domains of the generator and quadratic interpolation spaces. The main abstract results (Theorems 3.2, 3.9, 3.12) show that η-admissibility in these scales is equivalent to distributional output/input regularity and, under left/right-invertibility or in the input-output case unconditionally, to high-frequency resolvent and transfer function growth of order O(|ω|^η) or O(|ω|^{η1+η2}). A second-order specialization (Section 5) and applications to Neumann boundary control of the wave equation (Section 6) yield bounds for the Neumann-to-Dirichlet transfer function, and Section 7 derives energy decay rates for a damped wave equation on a rectangle under a non-uniform Hautus test. The paper includes detailed self-contained appendices on Hilbert-valued Sobolev spaces and interpolation.

Significance. If correct, the abstract Theorems 3.2, 3.9, and 3.12 provide a clean dictionary between time-domain regularity on abstract Sobolev scales and high-frequency growth of resolvents and transfer functions; the second-order theorems and the wave estimates in Theorems 6.5 and 6.8 are natural and the exponents are sharp in the smooth case. The abstract part is supported by comparatively complete proofs, and the appendices on vector-valued Sobolev spaces are a useful and mostly self-contained reference. The advertised PDE application, however, is the least complete part: Theorem 7.5 is only sketched and depends on external lemmas, so Theorem 1.6 should currently be read as conditional. I would not recommend rejection, since the abstract core appears sound and the gaps are readily fixable.

major comments (3)
  1. [7.1 (Theorem 7.5)] The proof of Theorem 7.5 is labeled a sketch and delegates the spectral decomposition, the Riesz projection onto ker A_D, the contraction property of the restricted semigroup, and the resolvent bound (7.16) to [KW24, Lemmas 3.4, 3.6, 3.9, 3.11]. The manuscript explicitly flags maximal unboundedness of D as delicate and does not treat it. Since Theorem 7.5 is the load-bearing step behind Proposition 7.7 and Theorem 7.9, and hence behind Theorem 1.6, the advertised energy decay is conditional on unproved external lemmas and on hypotheses not checked for D = γ^*b. Please either state and prove the imported lemmas, verify their hypotheses for the Neumann damping operator, or clearly separate the conditional application from the unconditional abstract results.
  2. [7.2 (Proposition 7.7 vs Theorem 1.6)] The compatibility condition for initial data is inconsistent between statements: Theorem 1.6 requires ∂_n w0 = -b^2 w1, while Proposition 7.7 requires ∂_n w0 = -b w1, and the abstract equation (7.19) has damping term γ^* b^2 γ. This is not cosmetic, since it changes the class of initial data for which the decay estimate is claimed. Please correct the statement and, if the two versions correspond to different normalisations of b, say so explicitly.
  3. [6.1 (Theorem 6.4 and its use)] The sharp regularity theorem is imported as a black box with fixed loss exponents η = 1/3, 1/4, 1/6 and η = 1/4 + ε for rectangles. Theorems 6.5, 6.8, and Corollary 6.9 depend on it, and Proposition 7.7 and Theorem 7.9 inherit this dependence. The manuscript does not spell out the exact hypotheses under which [Tat98] applies to every geometry covered by Theorems 6.5 and 6.8, especially the unbounded-domain cases, and for the rectangle the use of [LT91, Theorem A] with η = 1/4 + ε is not accompanied by a verification that the hypotheses hold for the rectangle with an arbitrary open boundary observation set. Since the exponents in (1.7) and the decay rate in Theorem 1.6 are direct consequences of this input, please either state the full regularity theorem needed or add a careful remark explaining why the cited results apply in each case.
minor comments (5)
  1. [3.3 (Remark 3.11)] In the definition of X_B^1, equation (3.17), the infimum is taken over u ∈ Y but the intended space for the control is U; as written the norm is not defined correctly.
  2. [Global] There are several typographical issues: 'strongly continous' in the abstract, the broken word 'transf er' in the title line, and 'it is to tempting' in Remark 4.5.
  3. [B (Lemma B.2)] In the proof of Lemma B.2, equation (B.5) uses H^{-s}(0,T;E) for the norm of χφ_n; this should presumably be H^s(0,T;E), and the displayed estimate appears to be a typo inherited from the duality notation.
  4. [2.1] The sentence 'The letter C indicates various spaces of continuous...' conflicts with the later use of C for observation operators; consider renaming the generic constant in Section 3 to avoid confusion.
  5. [1.2 (Theorem 1.5)] The phrase 'a suitable unbounded domain' is too vague, since Theorems 6.5 and 6.8 depend on the geometric hypotheses that make Theorem 6.4 valid; please make the precise class of domains explicit in the theorem statements.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular derivation: the central admissibility and transfer-function equivalences are proved directly, and the PDE exponents are imported from external sharp regularity results rather than fitted or defined into existence.

full rationale

The paper is self-contained for its main abstract claims. Theorems 3.2 and 3.9 prove the equivalence of the fractional-domain, interpolation, distributional-output/smoother-input, and resolvent-growth conditions using direct semigroup arguments, duality (Proposition 4.10), interpolation characterizations (Theorem 4.7), and resolvent-integral estimates; the parameter eta is not fitted but is the given admissibility index. Theorem 3.12 is proved by converting the finite-time output regularity assumption (3.18) into the half-line Bessel-potential estimate (4.136) and then invoking the standard Paley-Wiener and shift-invariant multiplier characterization; conversely, the frequency-domain condition (3.19) directly gives the multiplier estimate, so the two sides are not equal by construction. The wave-equation exponents in Theorems 1.5 and 6.5 are imported from Lasiecka-Triggiani/Tataru (Theorem 6.4), which is an external regularity input rather than a consequence of the transfer-function bounds being derived. The energy-decay section is explicitly labelled as a sketch, and it relies on [KW24] and [CPS+23], including a paper with overlapping authors; this is a proof-completeness and hypothesis-checking risk, but it is not circular because the cited machinery is external and the abstract decay theorem is not used to define the Hautus parameters or the admissibility exponents. No step in the derivation reduces a stated prediction to its own input by definition.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

There are no data-fitting parameters or new physical entities. The paper introduces abstract Sobolev scales X^fr and X^in as mathematical constructions, but they are defined from the given generator and do not constitute invented entities with independent evidence requirements.

assumptions (5)
  • domain assumption A is the generator of a strongly continuous semigroup on a Hilbert space X, and control and observation operators are A-bounded. The scales {X^fr_s} and {X^in_s} are built from A and (mu - A).
    Assumed throughout Section 2.2 and in Theorems 3.2, 3.9, and 3.12.
  • standard math Standard Hilbert space quadratic interpolation, fractional powers, duality, and interpolation of operators hold, including exact interpolation constants and vector-valued Sobolev/Bessel potential characterizations.
    Used throughout Section 4 and Appendix A; the paper cites [McC92], [CWHM15], [Haa06], [LM68], and [Ama19].
  • domain assumption For the frequency-domain conditions to be equivalent back to time-domain admissibility, the semigroup is left-invertible for observation and right-invertible for control. An intermediate Hilbert space Z satisfying (3.16) exists for transfer functions.
    Explicit hypotheses in Theorems 3.2, 3.9, and 3.12. Remark 3.11 gives a canonical choice for Z, so this is mild.
  • domain assumption The sharp boundary regularity theorem of Lasiecka-Triggiani and Tataru, quoted as Theorem 6.4, holds with the loss exponents in (6.10).
    Imported as a black box in Section 6.1; all PDE transfer function asymptotics inherit it.
  • domain assumption For the decay application, the non-uniform Hautus test (7.4) holds with polynomial functions m and M, L has compact resolvent, and low-frequency unique continuation holds.
    These are explicit hypotheses of Theorem 7.5 and Proposition 7.7; in the rectangle case they are verified via [TT09], [RTTT05], and John-Holmgren unique continuation.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Admissibility theory in abstract Sobolev scales and transfer function growth at high frequencies." pith.science (2026). https://pith.science/paper/5TZ43OQB

@misc{pith2026241214786,
  author       = {Pith},
  title        = {Pith review of: Admissibility theory in abstract Sobolev scales and transfer function growth at high frequencies},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5TZ43OQB}},
  note         = {Machine review of arXiv:2412.14786}
}
read the original abstract

For strongly continous semigroups on Hilbert spaces, we investigate admissibility properties of control and observation operators shifted along continuous scales of spaces built by means of either interpolation and extrapolation or functional calculus. Our results show equivalence of admissibility in, on the one hand, a fractional domain of the generator and, on the other hand, a (different, in general) quadratic interpolation space of the same "Sobolev order". Furthermore, such properties imply quantified resolvent bounds in the original state space topology. When the semigroup is a group, the resulting frequency-domain estimates are in fact equivalent to the aforementioned time-domain properties. In the case of systems with both control and observation, we are able to translate input-output regularity properties into high-frequency growth rates of operator-valued transfer functions. As an application, based on results by Lasiecka, Triggiani and Tataru on interior and boundary regularity of the wave equation under Neumann control, we derive optimal asymptotics for the Neumann-to-Dirichlet wave transfer function. With that in hand, we establish non-uniform energy decay rates for the wave equation posed in a rectangle and subject to Neumann damping on an arbitrary open subset of the boundary.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

73 extracted references · 70 canonical work pages

  1. [1]

    Batty, Matthias Hieber, and Frank Neubrander

    Wolfgang Arendt, Charles J.K. Batty, Matthias Hieber, and Frank Neubrander. Vector-valued Laplace Transforms and Cauchy Problems , volume 96 of Monographs in Mathematics . Birkha \"u ser, 2001

    work page 2001

  2. [2]

    Schwenninger

    Sahiba Arora, Jochen Gl \"u ck, Lassi Paunonen, and Felix L. Schwenninger. Limit-case admissibility for positive infinite-dimensional systems. Preprint, https://arxiv.org/pdf/2404.01275, 2024

    arXiv 2024

  3. [3]

    Sharp polynomial decay rates for the damped wave equation on the torus

    Nalini Anantharaman and Matthieu L \'e autaud. Sharp polynomial decay rates for the damped wave equation on the torus. Analysis & PDE , 7(1):159--214, 2014

    work page 2014

  4. [4]

    Linear and quasilinear parabolic problems , volume 1

    Herbert Amann. Linear and quasilinear parabolic problems , volume 1. Springer, 1995

    work page 1995

  5. [5]

    Operator-valued Fourier multipliers, vector-valued Besov spaces, and applications

    Herbert Amann. Operator-valued Fourier multipliers, vector-valued Besov spaces, and applications. Mathematische Nachrichten , 186(1):5--56, 1997

    work page 1997

  6. [6]

    Compact embeddings of vector valued Sobolev and Besov spaces

    Herbert Amann. Compact embeddings of vector valued Sobolev and Besov spaces. Glasnik matemati c ki , 35(1):161--177, 2000

    work page 2000

  7. [7]

    Linear and quasilinear parabolic problems , volume 2

    Herbert Amann. Linear and quasilinear parabolic problems , volume 2. Springer, 2019

    work page 2019

  8. [8]

    Stabilization of elastic systems by collocated feedback , volume 2124

    Ka \" s Ammari and Serge Nicaise. Stabilization of elastic systems by collocated feedback , volume 2124. Springer, 2014

    work page 2014

Show all 73 references
  1. [9]

    The multidimensional wave equation with generalized acoustic boundary conditions II: Polynomial stability

    Zainab Abbas and Serge Nicaise. The multidimensional wave equation with generalized acoustic boundary conditions II: Polynomial stability . SIAM Journal on Control and Optimization , 53(4):2582--2607, 2015

    2015

  2. [10]

    Stabilization of second order evolution equations by a class of unbounded feedbacks

    Ka \"i s Ammari and Marius Tucsnak. Stabilization of second order evolution equations by a class of unbounded feedbacks. ESAIM: Control, Optimisation and Calculus of Variations , 6:361--386, 2001

    2001

  3. [11]

    Batty, Ralph Chill, and Yuri Tomilov

    Charles J.K. Batty, Ralph Chill, and Yuri Tomilov. Fine scales of decay of operator semigroups. Journal of the European Mathematical Society , 18(4):853--929, 2016

    2016

  4. [12]

    o ran Bergh and J \

    J \"o ran Bergh and J \"o rgen L \"o fstr \"o m. Interpolation Spaces: An Introduction . Springer-Verlag, 1976

    1976

  5. [13]

    Functional analysis, S obolev spaces and partial differential equations

    Ha\"im Brezis. Functional analysis, S obolev spaces and partial differential equations . Universitext. Springer, 2011

    2011

  6. [14]

    Spence, and Jared Wunsch

    Dean Baskin, Euan A. Spence, and Jared Wunsch. Sharp high-frequency estimates for the Helmholtz equation and applications to boundary integral equations. SIAM Journal on Mathematical Analysis , 48(1):229--267, 2016

    2016

  7. [15]

    Optimal polynomial decay of functions and operator semigroups

    Alexander Borichev and Yuri Tomilov. Optimal polynomial decay of functions and operator semigroups. Mathematische Annalen , 347:455--478, 2010

    2010

  8. [16]

    Control and nonlinearity

    Jean-Michel Coron. Control and nonlinearity . Number 136. American Mathematical Soc., 2007

    2007

  9. [17]

    Nonuniform stability of damped contraction semigroups

    Ralph Chill, Lassi Paunonen, David Seifert, Reinhard Stahn, and Yuri Tomilov. Nonuniform stability of damped contraction semigroups. Analysis & PDE , 16(5):1089--1132, 2023

    2023

  10. [18]

    Curtain and George Weiss

    Ruth F. Curtain and George Weiss. Exponential stabilization of well-posed systems by colocated feedback. SIAM Journal on Control and Optimization , 45(1):273--297, 2006

    2006

  11. [19]

    Chandler-Wilde, Ivan G

    Simon N. Chandler-Wilde, Ivan G. Graham, Stephen Langdon, and Euan A. Spence. Numerical-asymptotic boundary integral methods in high-frequency acoustic scattering. Acta numerica , 21:89--305, 2012

    2012

  12. [20]

    Chandler-Wilde, David P

    Simon N. Chandler-Wilde, David P. Hewett, and Andrea Moiola. Interpolation of Hilbert and Sobolev spaces: quantitative estimates and counterexamples. Mathematika , 61(2):414--443, 2015

    2015

  13. [21]

    One-parameter semigroups for linear evolution equations , volume 194

    Klaus-Jochen Engel, Rainer Nagel, and Simon Brendle. One-parameter semigroups for linear evolution equations , volume 194. Springer, 2000

    2000

  14. [22]

    Yvonne Four\`es and Irving E. Segal. Causality and analyticity. Transactions of the American Mathematical Society , 78(2):385--405, 1955

    1955

  15. [23]

    Chris Guiver, Hartmut Logemann, and Mark R. Opmeer. A mixed passivity/small-gain theorem for Sobolev input-output stability. SIAM Journal on Control and Optimization , 62(6):3042--3075, 2024

    2024

  16. [24]

    Chris Guiver, Hartmut Logemann, and Mark R. Opmeer. Operator-valued multiplier theorems for causal translation-invariant operators with applications to control theoretic input-output stability. Mathematics of Control, Signals, and Systems , 36(4):729--773, 2024

    2024

  17. [25]

    Chris Guiver and Mark R. Opmeer. Representations and regularity of vector-valued right-shift invariant operators between half-line Bessel potential spaces. Integral Equations and Operator Theory , 95(3):19, 2023

    2023

  18. [26]

    Elliptic problems in nonsmooth domains , volume 24 of Monographs and Studies in Mathematics

    Pierre Grisvard. Elliptic problems in nonsmooth domains , volume 24 of Monographs and Studies in Mathematics . Pitman (Advanced Publishing Program), Boston, MA, 1985

    1985

  19. [27]

    The functional calculus for sectorial operators

    Markus Haase. The functional calculus for sectorial operators . Springer, 2006

    2006

  20. [28]

    Haak and Peer C

    Bernhard H. Haak and Peer C. Kunstmann. Weighted admissibility and wellposedness of linear systems in Banach spaces. SIAM Journal on Control and Optimization , 45(6):2094--2118, 2007

    2007

  21. [29]

    Haak and Christian Le Merdy

    Bernhard H. Haak and Christian Le Merdy. -admissibility of observation and control operators. Houston Journal of Mathematics , 31(4):1153--1167, 2005

    2005

  22. [30]

    Ho and David L

    Lop F. Ho and David L. Russell. Admissible input elements for systems in Hilbert space and a Carleson measure criterion. SIAM Journal on Control and Optimization , 21(4):614--640, 1983

    1983

  23. [31]

    Decay of semilinear damped wave equations: cases without geometric control condition

    Romain Joly and Camille Laurent. Decay of semilinear damped wave equations: cases without geometric control condition. Annales Henri Lebesgue , 3:1241--1289, 2020

    2020

  24. [32]

    Partial differential equations , volume 1 of Applied Mathematical Sciences

    Fritz John. Partial differential equations , volume 1 of Applied Mathematical Sciences . Springer-Verlag, New York, fourth edition, 1982

    1982

  25. [33]

    Partington

    Birgit Jacob and Jonathan R. Partington. Admissibility of control and observation operators for semigroups: a survey. Current Trends in Operator Theory and Its Applications , pages 199--221, 2004

    2004

  26. [34]

    Schwenninger, and Hans Zwart

    Birgit Jacob, Felix L. Schwenninger, and Hans Zwart. On continuity of solutions for parabolic control systems and input-to-state stability. Journal of Differential Equations , 266(10):6284--6306, 2019

    2019

  27. [35]

    Exact controllability and stabilization: the multiplier method , volume 36

    Vilmos Komornik. Exact controllability and stabilization: the multiplier method , volume 36. Wiley, 1994

    1994

  28. [36]

    Perry Kleinhenz and Ruoyu P.T. Wang. Optimal backward uniqueness and polynomial stability of second order equations with unbounded damping. Preprint, https://arxiv.org/pdf/2310.19911, 2024

    2024 arXiv

  29. [37]

    \'Equation des ondes amorties

    Gilles Lebeau. \'Equation des ondes amorties. In Algebraic and Geometric Methods in Mathematical Physics: Proceedings of the Kaciveli Summer School, Crimea, Ukraine, 1993 , pages 73--109. Springer, 1996

    1993

  30. [38]

    Sur les espaces d'interpolation; dualit \'e

    Jacques-Louis Lions. Sur les espaces d'interpolation; dualit \'e . Mathematica Scandinavica , 9(1b):147--177, 1961

    1961

  31. [39]

    Non homogeneous boundary value problems for second order hyperbolic operators

    Irena Lasiecka, Jacques-Louis Lions, and Roberto Triggiani. Non homogeneous boundary value problems for second order hyperbolic operators. Journal de Math \'e matiques pures et Appliqu \'e es , 65(2):149--192, 1986

    1986

  32. [40]

    Probl\`emes aux limites non homog\`enes et applications , volume 1

    Jacques-Louis Lions and Enrico Magenes. Probl\`emes aux limites non homog\`enes et applications , volume 1. Dunod, 1968

    1968

  33. [41]

    Regularization and frequency-domain stability of well-posed systems

    Yuri Latushkin, Timothy Randolph, and Roland Schnaubelt. Regularization and frequency-domain stability of well-posed systems. Mathematics of Control, Signals and Systems , 17:128--151, 2005

    2005

  34. [42]

    Hyperbolicity of semigroups and fourier multipliers

    Yuri Latushkin and Roman Shvydkoy. Hyperbolicity of semigroups and fourier multipliers. In Systems, Approximation, Singular Integral Operators, and Related Topics: International Workshop on Operator Theory and Applications, IWOTA 2000 , pages 341--363. Springer, 2001

    2000

  35. [43]

    A cosine operator approach to modeling L_2(0, T; L_2( )) -boundary input hyperbolic equations

    Irena Lasiecka and Roberto Triggiani. A cosine operator approach to modeling L_2(0, T; L_2( )) -boundary input hyperbolic equations. Applied Mathematics and Optimization , 7(1):35--93, 1981

    1981

  36. [44]

    Sharp regularity theory for second order hyperbolic equations of Neumann type: Part I.— L_2 nonhomogeneous data

    Irena Lasiecka and Roberto Triggiani. Sharp regularity theory for second order hyperbolic equations of Neumann type: Part I.— L_2 nonhomogeneous data . Annali di Matematica Pura ed Applicata , 157(1):285--367, 1990

    1990

  37. [45]

    Regularity theory of hyperbolic equations with non-homogeneous Neumann boundary conditions

    Irena Lasiecka and Roberto Triggiani. Regularity theory of hyperbolic equations with non-homogeneous Neumann boundary conditions. II. General boundary data . Journal of Differential Equations , 94(1):112--164, 1991

    1991

  38. [46]

    L_2( ) -regularity of the boundary to boundary operator B^ L for hyperbolic and P etrowski PDE s

    Irena Lasiecka and Roberto Triggiani. L_2( ) -regularity of the boundary to boundary operator B^ L for hyperbolic and P etrowski PDE s. Abstract and Applied Analysis , (19):1061--1139, 2003

    2003

  39. [47]

    Global uniqueness, observability and stabilization of nonconservative Schr \"o dinger equations via pointwise Carleman estimates

    Irena Lasiecka, Roberto Triggiani, and Xu Zhang. Global uniqueness, observability and stabilization of nonconservative Schr \"o dinger equations via pointwise Carleman estimates. II. L_2( ) -estimate . Journal of Inverse and Ill-posed Problems , 12(2):183--231, 2004

    2004

  40. [48]

    Interpolation theory , volume 9

    Alessandra Lunardi. Interpolation theory , volume 9. Edizioni della normale Pisa, 2009

    2009

  41. [49]

    McCarthy

    John E. McCarthy. Geometric interpolation between Hilbert spaces. Arkiv f \"o r Matematik , 30(1-2):321--330, 1992

    1992

  42. [50]

    Controllability cost of conservative systems: resolvent condition and transmutation

    Luc Miller. Controllability cost of conservative systems: resolvent condition and transmutation. Journal of Functional Analysis , 218(2):425--444, 2005

    2005

  43. [51]

    Resolvent conditions for the control of unitary groups and their approximations

    Luc Miller. Resolvent conditions for the control of unitary groups and their approximations. Journal of Spectral Theory , 2(1):1--55, 2012

    2012

  44. [52]

    Andrea Moiola and Euan A. Spence. Is the Helmholtz equation really sign-indefinite? Siam Review , 56(2):274--312, 2014

    2014

  45. [53]

    Direct methods in the theory of elliptic equations

    Jind r ich Ne c as. Direct methods in the theory of elliptic equations . Springer Monographs in Mathematics. Springer, Heidelberg, 2012

    2012

  46. [54]

    Schwenninger

    Philip Preußler and Felix L. Schwenninger. On checking L^p -admissibility for parabolic control systems, 2024

    2024

  47. [55]

    Optimal rates of decay for operator semigroups on Hilbert spaces

    Jan Rozendaal, David Seifert, and Reinhard Stahn. Optimal rates of decay for operator semigroups on Hilbert spaces. Advances in Mathematics , 346:359--388, 2019

    2019

  48. [56]

    A spectral approach for the exact observability of infinite-dimensional systems with skew-adjoint generator

    Karim Ramdani, Tak \'e o Takahashi, G \'e rald Tenenbaum, and Marius Tucsnak. A spectral approach for the exact observability of infinite-dimensional systems with skew-adjoint generator. Journal of Functional Analysis , 226(1):193--229, 2005

    2005

  49. [57]

    David L. Russell. Controllability and stabilizability theory for linear partial differential equations: recent progress and open questions. SIAM Review , 20(4):639--739, 1978

    1978

  50. [58]

    Infinite-dimensional linear systems with unbounded control and observation: a functional analytic approach

    Dietmar Salamon. Infinite-dimensional linear systems with unbounded control and observation: a functional analytic approach. Transactions of the American Mathematical Society , 300(2):383--431, 1987

    1987

  51. [59]

    Sobolev , Besov and Nikolskii fractional spaces: imbeddings and comparisons for vector valued spaces on an interval

    Jacques Simon. Sobolev , Besov and Nikolskii fractional spaces: imbeddings and comparisons for vector valued spaces on an interval. Annali di Matematica Pura ed Applicata , 157:117--148, 1990

    1990

  52. [60]

    Euan A. Spence. Wavenumber-explicit bounds in time-harmonic acoustic scattering. SIAM Journal on Mathematical Analysis , 46(4):2987--3024, 2014

    2014

  53. [61]

    Passive and conservative continuous-time impedance and scattering systems

    Olof Staffans. Passive and conservative continuous-time impedance and scattering systems. Part I: Well-posed systems . Mathematics of Control, Signals and Systems , 15:291--315, 2002

    2002

  54. [62]

    Well-posed linear systems , volume 103

    Olof Staffans. Well-posed linear systems , volume 103. Cambridge university press, 2005

    2005

  55. [63]

    On continuity of functions with values in various banach spaces

    Walter Strauss. On continuity of functions with values in various banach spaces. Pacific journal of Mathematics , 19(3):543--551, 1966

    1966

  56. [64]

    On the regularity of boundary traces for the wave equation

    Daniel Tataru. On the regularity of boundary traces for the wave equation. Annali della Scuola Normale Superiore di Pisa-Classe di Scienze , 26(1):185--206, 1998

    1998

  57. [65]

    Michael E. Taylor. Partial differential equations. I , volume 115 of Applied Mathematical Sciences . Springer-Verlag, New York, 1996. Basic theory

    1996

  58. [66]

    Infinite-dimensional dynamical systems in mechanics and physics , volume 68

    Roger Temam. Infinite-dimensional dynamical systems in mechanics and physics , volume 68. Springer Science & Business Media, 2012

    2012

  59. [67]

    Fast and strongly localized observation for the schr \"o dinger equation

    Gerald Tenenbaum and Marius Tucsnak. Fast and strongly localized observation for the schr \"o dinger equation. Transactions of the American Mathematical Society , 361(2):951--977, 2009

    2009

  60. [68]

    a user Advanced Texts. Birkh\

    Marius Tucsnak and George Weiss. Observation and control for operator semigroups . Birkh\" a user Advanced Texts. Birkh\" a user, 2009

    2009

  61. [69]

    Well-posed systems—the LTI case and beyond

    Marius Tucsnak and George Weiss. Well-posed systems—the LTI case and beyond. Automatica , 50(7):1757--1779, 2014

    2014

  62. [70]

    Admissibility of unbounded control operators

    George Weiss. Admissibility of unbounded control operators. SIAM Journal on Control and Optimization , 27(3):527--545, 1989

    1989

  63. [71]

    Admissible observation operators for linear semigroups

    George Weiss. Admissible observation operators for linear semigroups. Israel Journal of Mathematics , 65:17--43, 1989

    1989

  64. [72]

    Transfer functions of regular linear systems

    George Weiss. Transfer functions of regular linear systems. I. Characterizations of regularity . Transactions of the American Mathematical Society , 342(2):827--854, 1994

    1994

  65. [73]

    Abstract parabolic evolution equations and their applications

    Atsushi Yagi. Abstract parabolic evolution equations and their applications . Springer Science & Business Media, 2010

    2010

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.