Search

We prove time-pointwise quantitative unique continuation estimates for the evolution operators associated to (fractional powers of) the Baouendi--Grushin operators on the cylinder $\mathbb{R}^d \times \mathbb{T}^d$. Corresponding spectral inequalities, relating for functions from spectral subspaces associated to finite energy intervals their $L^2$-norm on the whole cylinder to the $L^2$-norm on a suitable subset, and results on exact and approximate null-controllabilty are deduced. This extends and complements results obtained recently by the authors and by Jaming and Wang., Comment: 32 pages

The relative distance between eigenvalues of the compression of a not necessarily semibounded self-adjoint operator to a closed subspace and some of the eigenvalues of the original operator in a gap of the essential spectrum is considered. It is shown that this distance depends on the maximal angles between pairs of associated subspaces. This generalises results by Drma\v{c} in [Linear Algebra Appl. 244 (1996), 155--163] from matrices to not necessarily (semi)bounded operators., Comment: 12 pages

A final-state observability result in the Banach space setting for non-autonomous observation problems is obtained that covers and extends all previously known results in this context, while providing a streamlined proof that follows the established Lebeau-Robbiano strategy., Comment: 9 pages

We develop a Logvinenko--Sereda theory for one-dimensional vector-valued self-adjoint operators. We thus deliver upper bounds on $L^2$-norms of eigenfunctions -- and linear combinations thereof -- in terms of their $L^2$- and $W^{1,2}$-norms on small control sets that are merely measurable and suitably distributed along each interval. An essential step consists in proving a Bernstein-type estimate for Laplacians with rather general vertex conditions. Our results carry over to a large class of Schr\"odinger operators with magnetic potentials; corresponding results are unknown in higher dimension. We illustrate our findings by discussing the implications in the theory of quantum graphs.

We prove quantitative spectral inequalities for the (anisotropic) Shubin operators on the whole Euclidean space, thus relating for functions from spectral subspaces associated to finite energy intervals their $L^2$-norm on the whole space to the $L^2$-norm on a suitable subset. A particular feature of our estimates is that the constant relating these $L^2$-norms is very explicit in geometric parameters of the corresponding subset of the whole space, which may become sparse at infinity and may even have finite measure. This extends results obtained recently by J. Martin and, in the particular case of the harmonic oscillator, by A. Dicke, I. Veseli\'c, and the second author. We apply our results towards null-controllability of the associated parabolic equations, as well as to the ones associated to the (degenerate) Baouendi-Grushin operators acting on $\mathbb R^d \times \mathbb T^d$.

We prove a spectral inequality (a specific type of uncertainty relation) for Schr\"odinger operators with confinement potentials, in particular of Shubin-type. The sensor sets are allowed to decay exponentially, where the precise allowed decay rate depends on the potential. The proof uses an interpolation inequality derived by Carleman estimates, quantitative weighted $L^2$-estimates and an $H^1$-concentration estimate, all of them for functions in a spectral subspace of the operator., Comment: 17 pages; fixed typos, and editorial changes

We establish a family of uncertainty principles for finite linear combinations of Hermite functions. More precisely, we give a geometric criterion on a subset $S\subset \RR^d$ ensuring that the $L^2$-seminorm associated to $S$ is equivalent to the full $L^2$-norm on $\RR^d$ when restricted to the space of Hermite functions up to a given degree. We give precise estimates how the equivalence constant depends on this degree and on geometric parameters of $S$. From these estimates we deduce that the parabolic equation whose generator is the harmonic oscillator is null-controllable from $S$. In all our results, the set $S$ may have sub-exponentially decaying density and, in particular, finite volume. We also show that bounded sets are not efficient in this context., Comment: Changes compared to previous version: Minor typos corrected, minor editorial changes, two references added, one removed. Manuscript to appear in slightly different form in Journal of Fourier Analysis and Applications with DOI 10.1007/s00041-022-09989-5. Changes compared to manuscript in publication process: Minor editorial changes, several references added

In this note, an alternative approach to establish observability for semigroups based on their smoothing properties is presented. The results discussed here are closely related to those recently obtained in [arXiv:2112.01788], but the current proof allows to get rid of several technical assumptions by following the standard complex analytic approach established by Kovrijkine combined with an idea from [arXiv:2201.02370]., Comment: 10 pages; improved constant by using different asymptotics

We prove observability and null-controllability for quadratic parabolic differential equations. The sensor set is allowed to be sparse and have finite volume if the generator has trivial singular space $S$. In the case of generators with singular space $S \neq \{0\}$ the sensor set is permitted to decay in directions determined by $S$. The proof is based on dissipation estimates for the quadratic differential operator with respect to spectral projections of partial harmonic oscillators and corresponding uncertainty relations., Comment: 30 pages; some typos fixed and minor editorial changes

Recent (scale-free) quantitative unique continuation estimates for spectral subspaces of Schr\"odinger operators are extended to allow singular potentials such as certain $L^p$-functions. The proof is based on accordingly adapted Carleman estimates. Applications include Wegner and initial length scale estimates for random Schr\"odinger operators and control theory for the controlled heat equation with singular heat generation term., Comment: 18 pages; updated references, some typos fixed, minor editorial changes

We provide an abstract framework for a Logvinenko-Sereda type theorem, where the classical compactness assumption on the support of the Fourier transform is replaced by the assumption that the functions under consideration belong to a spectral subspace associated with a finite energy interval for some lower semibounded self-adjoint operator on a Euclidean $L^2$-space. Our result then provides a bound for the $L^2$-norm of such functions in terms of their $L^2$-norm on a thick subset with a constant explicit in the geometric and spectral parameters. This recovers previous results for functions on the whole space, hyperrectangles, and infinite strips with compact Fourier support and for finite linear combinations of Hermite functions and allows to extend them to other domains. The proof follows the approach by Kovrijkine and is based on Bernstein-type inequalities for the respective functions, complemented with a suitable covering of the underlying domain., Comment: 31 pages, 2 figures; minor changes and fixed typos, added references, and updated bibliography

A definition of the Laplacian on Cartesian products with mixed boundary conditions using quadratic forms is proposed. Its consistency with the standard definition for homogeneous and certain mixed boundary conditions is proved and, as a consequence, tensor representations of the corresponding Sobolev spaces of first order are derived. Moreover, a criterion for the domain to belong to the Sobolev space of second order is proved., Comment: 7 pages; some material regarding mixed boundary conditions of product type added, added or updated references, minor changes and fixed typos

The minimax principle for eigenvalues in gaps of the essential spectrum in the form presented by Griesemer, Lewis, and Siedentop in [Doc. Math. 4 (1999), 275--283] is adapted to cover certain abstract perturbative settings with bounded or unbounded perturbations, in particular ones that are off-diagonal with respect to the spectral gap under consideration. This in part builds upon and extends the considerations in the author's appendix to [J. Spectr. Theory 10 (2020), 843--885]. Several monotonicity and continuity properties of eigenvalues in gaps of the essential spectrum are deduced, and the Stokes operator is revisited as an example., Comment: 31 pages; modified introduction, added references and appendix, some editorial changes and fixed typos

The variation of spectral subspaces for linear self-adjoint operators under an additive bounded perturbation is considered. The objective is to estimate the norm of the difference of two spectral projections associated with isolated parts of the spectrum of the perturbed and unperturbed operators. Recent results for semidefinite and general, not necessarily semidefinite, perturbations are unified to statements that cover both types of perturbations and, at the same time, also allow for certain perturbations that were not covered before., Comment: 7 pages

We prove that localization near band edges of multi-dimensional ergodic random Schr\"odinger operators with periodic background potential in $L^2(\mathbb{R}^d)$ is universal. By this we mean that localization in its strongest dynamical form holds without extra assumptions on the random variables and independently of regularity or degeneracy of the Floquet eigenvalues of the background operator. The main novelty is an initial scale estimate the proof of which avoids Floquet theory altogether and uses instead an interplay between quantitative unique continuation and large deviation estimates. Furthermore, our reasoning is sufficiently flexible to prove this initial scale estimate in a non-ergodic setting, which promises to be an ingredient for understanding band edge localization also in these situations., Comment: 13 pages; now the stronger dynamical localization in the short range case is formulated, a few references have beed added, minor editorial changes

We classify all sets of the form $\bigcup_{t\in\mathbb{R}}\mathrm{spec}(A+tB)$ where $A$ and $B$ are self-adjoint operators and $B$ is bounded, non-negative, and non-zero. We show that these sets are exactly the complements of discrete subsets of $\mathbb{R}$, that is, of at most countable subsets of $\mathbb{R}$ that contain none of their accumulation points., Comment: 6 pages; a counterexample for sign-indefinite perturbations and some references have been added, some editorial changes

We consider the control problem for the generalized heat equation for a Schroedinger operator on a domain with a reflection symmetry with respect to a hyperplane. We show that if this system is null-controllable, then so is the system on its respective parts and the corresponding control cost does not exceed the one on the whole domain. As an application, we obtain null-controllability results for the heat equation on half-spaces, orthants, and sectors of angle $\pi/2$. As a byproduct, we also obtain explicit control cost bounds for the heat equation on certain triangles and corresponding prisms in terms of geometric parameters of the control set., Comment: 20 pages, 3 figures

We consider the control problem of the heat equation on bounded and unbounded domains, and more generally the corresponding inhomogeneous equation for the Schr\"odinger semigroup. We show that if the sequence of null-controls associated to an exhaustion of an unbounded domain converges, then the solutions do in the same way, and that the control cost estimate carries over to the limiting problem on the unbounded domain. This allows to infer the controllability on unbounded domains by studying the control problem on a sequence of bounded domains.

We survey recent results on the control problem for the heat equation on unbounded and large bounded domains. First we formulate new uncertainty relations, respectively spectral inequalities. Then we present an abstract control cost estimate which improves upon earlier results. It is particularly interesting when combined with the earlier mentioned spectral inequalities since it yields sharp control cost bounds in several asymptotic regimes. We also show that control problems on unbounded domains can be approximated by corresponding problems on a sequence of bounded domains forming an exhaustion. Our results apply also for the generalized heat equation associated with a Schr\"odinger semigroup., Comment: 31 pages, 1 figure

We prove and apply two theorems: First, a quantitative, scale-free unique continuation estimate for functions in a spectral subspace of a Schr\"odinger operator on a bounded or unbounded domain, second, a perturbation and lifting estimate for edges of the essential spectrum of a self-adjoint operator under a semi-definite perturbation. These two results are combined to obtain lower and upper Lipschitz bounds on the function parametrizing locally a chosen edge of the essential spectrum of a Schr\"odinger operator in dependence of a coupling constant. Analogous estimates for eigenvalues, possibly in gaps of the essential spectrum, are exhibited as well.

The variation of spectral subspaces for linear self-adjoint operators under an additive bounded semidefinite perturbation is considered. A variant of the Davis-Kahan $ \sin2\Theta $ theorem from [SIAM J. Numer. Anal. 7 (1970), 1--46] adapted to this situation is proved. Under a certain additional geometric assumption on the separation of the spectrum of the unperturbed operator, this leads to a sharp estimate on the norm of the difference of the spectral projections associated with isolated components of the spectrum of the perturbed and unperturbed operators, respectively. Without this additional geometric assumption on the isolated components of the spectrum of the unperturbed operator, a corresponding estimate is obtained by transferring the optimization approach for general perturbations in [J. Anal. Math. 135 (2018), 313--343] to the present situation., Comment: 11 pages; updated references, some typos fixed, numbering adjusted to journal version

In this paper we discuss the problem of decomposition for unbounded $2\times 2$ operator matrices by a pair of complementary invariant graph subspaces. Under mild additional assumptions, we show that such a pair of subspaces decomposes the operator matrix if and only if its domain is invariant for the angular operators associated with the graphs. As a byproduct of our considerations, we suggest a new block diagonalization procedure that resolves related domain issues. In the case when only a single invariant graph subspace is available, we obtain block triangular representations for the operator matrices., Comment: 21 pages. This paper provides a complete overhaul and extension to the authors previous work arXiv:1307.6439 and includes an example

The variation of spectral subspaces for linear self-adjoint operators under an additive bounded off-diagonal perturbation is studied. To this end, the optimization approach for general perturbations in [J. Anal. Math., to appear; arXiv:1310.4360 (2013)] is adapted. It is shown that, in contrast to the case of general perturbations, the corresponding optimization problem can not be reduced to a finite-dimensional problem. A suitable choice of the involved parameters provides an upper bound for the solution of the optimization problem. In particular, this yields a rotation bound on the subspaces that is stronger than the previously known one from [J. Reine Angew. Math. (2013), DOI:10.1515/crelle-2013-0099]., Comment: 8 pages; some editorial changes, two added references, some corrected typos

The problem of variation of spectral subspaces for linear self-adjoint operators under an additive bounded perturbation is considered. The aim is to find the best possible upper bound on the norm of the difference of two spectral projections associated with isolated parts of the spectrum of the perturbed and unperturbed operators. In the approach presented here, a constrained optimization problem on a specific set of parameters is formulated, whose solution yields an estimate on the arcsine of the norm of the difference of the corresponding spectral projections. The problem is solved explicitly. This optimizes the approach by Albeverio and Motovilov in [Complex Anal. Oper. Theory 7 (2013), 1389--1416]. In particular, the resulting estimate is stronger than the one obtained there., Comment: 23 pages, 1 figure

An analogue of the Davis-Kahan sin2\Theta\ theorem from [SIAM J. Numer. Anal. 7 (1970), 1--46] is proved under a general spectral separation condition. This extends the generic sin2\theta\ estimates recently shown by Albeverio and Motovilov in [Complex Anal. Oper. Theory 7 (2013), 1389--1416]. The result is applied to the subspace perturbation problem to obtain a bound on the arcsine of the norm of the difference of the spectral projections associated with isolated components of the spectrum of the unperturbed and perturbed operators, respectively., Comment: 16 pages

The problem of block diagonalization for diagonally dominant symmetric block operator matrices with self-adjoint diagonal entries is considered. We show that a reasonable block diagonalization with respect to a reducing graph subspace requires a related skew-symmetric operator to be a strong solution to the associated Riccati equation. Under mild additional regularity conditions, we also establish that this skew-symmetric operator is a strong solution to the Riccati equation if and only if the graph subspace is reducing for the given operator matrix. These regularity conditions are shown to be automatically fulfilled whenever the corresponding relative bound of the off-diagonal part is sufficiently small. This extends the results by Albeverio, Makarov, and Motovilov in [Canad. J. Math. Vol. \textbf{55}, 2003, 449--503], where the off-diagonal part is required to be bounded., Comment: 17 pages

We prove that the set of orthogonal projections on a Hilbert space equipped with the length metric is $\frac\pi2$-geodesic. As an application, we consider the problem of variation of spectral subspaces for bounded linear self-adjoint operators and obtain a new estimate on the norm of the difference of two spectral projections associated with isolated parts of the spectrum of the perturbed and unpertubed operators, respectively. In particular, recent results by Kostrykin, Makarov and Motovilov from [Trans. Amer. Math. Soc., V. 359, No. 1, 77 -- 89] and [Proc. Amer. Math. Soc., 131, 3469 -- 3476] are sharpened.