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

Let $A$ be a possibly unbounded skew-adjoint operator on the Hilbert space $X$ with compact resolvent. Let $C$ be a bounded operator from $\Dscr(A)$ to another Hilbert space $Y$. We consider the system governed by the state equation $\dot z(t)=Az(t)$ with the output $y(t)=Cz(t)$. We characterize the exact observability of this system only in terms of $C$ and of the spectral elements of the operator $A$. The starting point in the proof of this result is a Hautus type test, recently obtained in Miller \cite{Miller}. We then apply this result to various systems governed by partial differential equations with observation on the boundary of the domain. The Schrödinger equation, the Bernoulli-Euler plate equation and the wave equation in a square are considered. For the plate and Schrödinger equations, the main novelty brought in by our results is that we prove the exact boundary observability for an arbitrarily small observed part of the boundary. This is done by combining our spectral observability test to a theorem of Beurling on non harmonic Fourier series and to a new number theoretic result on shifted squares.

Data and Resources

Additional Info

Field Value
Source ISSN: 0022-1236
Author Ramdani, Karim, Takahashi, Takeo, Tenenbaum, Gérald, Tucsnak, Marius
Maintainer CCSD
Last Updated May 7, 2026, 23:21 (UTC)
Created May 7, 2026, 23:21 (UTC)
Identifier hal-00091371
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Robust control of infinite dimensional systems and applications (CORIDA) ; Institut Élie Cartan de Nancy (IECN) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire de Mathématiques et Applications de Metz (LMAM) ; Université Paul Verlaine - Metz (UPVM)-Centre National de la Recherche Scientifique (CNRS)-Université Paul Verlaine - Metz (UPVM)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Université de Lorraine ; Institut National de Recherche en Informatique et en Automatique (Inria)
creator Ramdani, Karim
date 2005-09-01T00:00:00
harvest_object_id 1af0b671-e834-4236-a190-8620268fb507
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-11-04T00:00:00
relation info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jfa.2005.02.009
set_spec type:ART