SearcharxivSearch

arXiv subjects

Marco Marletta

Publications and source records attributed to Marco Marletta.

At least 19 recordsLinked to original sources

No Spectral Invisibility for Dissipative Barrier Truncations in Any Dimension

The dissipative barrier method suppresses spectral pollution, but whether it can itself conceal genuine spectral points has remained open. Known as the graveyard problem in computational spectral theory, the higher-dimensional case has remained unresolved for more than a decade. We resolve it for Schr\"{o}dinger operators in dimensions $d\geq2$; together with the known one-dimensional theorem, this settles the no-invisibility problem in all dimensions. Let $A=-\Delta+V$ be a Dirichlet Schr\"odinger operator on a connected open set $\Omega\subseteq\mathbb R^d$ with $V\in L^1_{\mathrm{loc}}(\Omega)$ bounded below, and set $H=A+iS$, where $S\geq0$ and $S\in L^p(\Omega)$, with $1 0}$ be a nested family of nonempty connected bounded open sets such that $\Omega_R\nearrow\Omega$ as $R\nearrow+\infty$. Denote by $H_R$ the Dirichlet truncation of $H$ to $\Omega_R$. We prove that every spectral point of $H$ is detected by the truncations: for every $\lambda\in\sigma(H)$ and every neighborhood $U$ of $\lambda$, $\sigma(H_R)\cap U\neq\emptyset$ for sufficiently large $R$. Equivalently, $\sigma(H)\subseteq\liminf_{R\to\infty}\sigma(H_R)$. Thus the barrier method does not trade suppression of spectral pollution for spectral invisibility. No regularity of $\partial\Omega$ is required, and the assumptions reach the critical Sobolev scale. The proof combines compactness of the dissipative form perturbation, Cwikel-type Schatten estimates for Birman--Schwinger operators, generalized strong resolvent convergence, and a reverse Hansmann--Weyl spectral-variation inequality due to Gil'. A two-dimensional numerical example illustrates the absence of spectral invisibility for the truncated dissipative operators.

math.NA

The pseudospectrum of an operator with Bessel-type singularities

In this paper we examine the asymptotic structure of the pseudospectrum of the singular Sturm-Liouville operator $L=\partial_x(f\partial_x)+\partial_x$ subject to periodic boundary conditions on a symmetric interval, where the coefficient $f$ is a regular odd function that has only a simple zero at the origin. The operator $L$ is closely related to a remarkable model examined by Davies in 2007, which exhibits surprising spectral properties balancing symmetries and strong non-self-adjointness. In our main result, we derive a concrete construction of classical pseudo-modes for $L$ and give explicit exponential bounds of growth for the resolvent norm in rays away from the spectrum.

math.SP

On the complexity of the inverse Sturm-Liouville problem

This paper explores the complexity associated with solving the inverse Sturm-Liouville problem with Robin boundary conditions: given a sequence of eigenvalues and a sequence of norming constants, how many limits does a universal algorithm require to return the potential and boundary conditions? It is shown that if all but finitely many of the eigenvalues and norming constants coincide with those for the zero potential then the number of limits is zero, i.e. it is possible to retrieve the potential and boundary conditions precisely in finitely many steps. Otherwise, it is shown that this problem requires a single limit; moreover, if one has a priori control over how much the eigenvalues and norming constants differ from those of the zero-potential problem, and one knows that the average of the potential is zero, then the computation can be performed with complete error control. This is done in the spirit of the Solvability Complexity Index. All algorithms are provided explicitly along with numerical examples.

math.NA

Spectral properties of the inhomogeneous Drude-Lorentz model with dissipation

We establish spectral enclosures and spectral approximation results for the inhomogeneous lossy Drude-Lorentz system with purely imaginary poles, in a possibly unbounded Lipschitz domain of $\mathbb{R}^3$. Under the assumption that the coefficients $θ_e$, $θ_m$ of the material are asymptotically constant at infinity, we prove that: 1) the essential spectrum can be decomposed as the union of the spectrum of a bounded operator pencil in the form $- \operatorname{div} p(ω) \nabla$ and of a second order $\operatorname{curl} \operatorname{curl}_0 - V_{e,\infty}(ω)$ pencil with constant coefficients; 2) spectral pollution due to domain truncation can lie only in the essential numerical range of a $\operatorname{curl} \operatorname{curl}_0 - f(ω)$ pencil. As an application, we consider a conducting metamaterial at the interface with the vacuum; we prove that the complex eigenvalues with non-trivial real part lie outside the set of spectral pollution. We believe this is the first result of enclosure of spectral pollution for the Drude-Lorentz model without assumptions of compactness on the resolvent of the underlying Maxwell operator.

math.SP

The spectral form of the functional model for maximally dissipative operators: A Lagrange identity approach

The spectral and scattering properties of non-selfadjoint problems pose a mathematical challenge. Apart from exceptional cases, the well-developed methods used to examine the spectrum of selfadjoint problems are not applicable. One of the tools to attack non-selfadjoint problems are functional models. A drawback of many functional models is that their constructions require objects which may be difficult to describe explicitly, such as operator square roots, making it hard to apply the results to specific examples. We develop a functional model for the case when the non-selfadjointness arises both in additive terms and in the boundary conditions which is based on the Lagrange identity. The flexibility of the choice of the $Γ$-operators in the Lagrange identity means that these can be chosen so that expressions arising in the model are given explicitly in terms of physical parameters (coefficients, boundary conditions and Titchmarsh-Weyl $M$-function) of the maximally dissipative operator. The presentation of such explicit expressions for the spectral form of the functional model is arguably the main contribution of the present paper. In the spectral form of the functional model, the selfadjoint dilation is very simple, being the operator of multiplication by an independent variable in some auxiliary vector-valued function space. We also obtain an explicit expression for the completely non-selfadjoint part of the operator and an operator-analytic proof of the famous result by Sz.-Nagy-Foias on the pure absolute continuity of the spectrum of the minimal selfadjoint dilation. Finally, we consider an example of a limit circle Sturm-Liouville operator.

math.SP

Spectral analysis and domain truncation methods for Maxwell's equations

We analyse how the spectrum of the anisotropic Maxwell system with bounded conductivity on a Lipschitz domain is approximated by domain truncation. First we prove a new non-convex enclosure for the spectrum of the Maxwell system, with weak assumptions on the geometry of the domain and none on the behaviour of the coefficients at infinity. We also establish a simple criterion for non-accumulation of eigenvalues on the imaginary axis as well as resolvent estimates. For asymptotically constant coefficients, we describe the essential spectrum and show that spectral pollution may occur only in the essential numerical range of the quadratic pencil $L_\infty(ω)$ $=$ $μ_\infty^{-1}$ $\mbox{curl}^2$ $-$ $ω^2ε_\infty$, acting on divergence-free vector fields. Further, every isolated spectral point of the Maxwell system lying outside the essential numerical range of the pencil $L_\infty$ and outside the part of the essential spectrum on the imaginary axis is approximated by spectral points of the Maxwell system on the truncated domains. Our analysis is based on two new abstract results on the (limiting) essential spectrum of polynomial pencils and triangular block operator matrices, which are of general interest. We believe our strategy of proof could be used to establish domain truncation spectral exactness for more general classes of non-self-adjoint differential operators and systems with non-constant coefficients.

math.SP

Universal algorithms for computing spectra of periodic operators

Schrödinger operators with periodic (possibly complex-valued) potentials and discrete periodic operators (possibly with complex-valued entries) are considered, and in both cases the computational spectral problem is investigated: namely, under what conditions can a "one-size-fits-all" algorithm for computing their spectra be devised? It is shown that for periodic banded matrices this can be done, as well as for Schrödinger operators with periodic potentials that are sufficiently smooth. In both cases implementable algorithms are provided, along with examples. For certain Schrödinger operators whose potentials may diverge at a single point (but are otherwise well-behaved) it is shown that there does not exist such an algorithm, though it is shown that the computation is possible if one allows for two successive limits.

math.SP

Computing the Sound of the Sea in a Seashell

The question of whether there exists an approximation procedure to compute the resonances of any Helmholtz resonator, regardless of its particular shape, is addressed. A positive answer is given, and it is shown that all that one has to assume is that the resonator chamber is bounded and that its boundary is $\mathcal C^2$. The proof is constructive, providing a universal algorithm which only needs to access the values of the characteristic function of the chamber at any requested point.

math.SP

Computing Scattering Resonances

The question of whether it is possible to compute scattering resonances of Schrödinger operators - independently of the particular potential - is addressed. A positive answer is given, and it is shown that the only information required to be known a priori is the size of the support of the potential. The potential itself is merely required to be $\mathcal{C}^1$. The proof is constructive, providing a universal algorithm which only needs to access the values of the potential at any requested point.

math.SP

Essential numerical ranges for linear operator pencils

We introduce concepts of essential numerical range for the linear operator pencil $λ\mapsto A-λB$. In contrast to the operator essential numerical range, the pencil essential numerical ranges are, in general, neither convex nor even connected. The new concepts allow us to describe the set of spectral pollution when approximating the operator pencil by projection and truncation methods. Moreover, by transforming the operator eigenvalue problem $Tx=λx$ into the pencil problem $BTx=λBx$ for suitable choices of $B$, we can obtain non-convex spectral enclosures for $T$ and, in the study of truncation and projection methods, confine spectral pollution to smaller sets than with hitherto known concepts. We apply the results to various block operator matrices. In particular, Theorem 4.12 presents substantial improvements over previously known results for Dirac operators while Theorem 4.5 excludes spectral pollution for a class of non-selfadjoint Schrödinger operators which it has not been possible to treat with existing methods.

math.SP

The essential numerical range for unbounded linear operators

We introduce the concept of essential numerical range $W_{\!e}(T)$ for unbounded Hilbert space operators $T$ and study its fundamental properties including possible equivalent characterizations and perturbation results. Many of the properties known for the bounded case do \emph{not} carry over to the unbounded case, and new interesting phenomena arise which we illustrate by some striking examples. A key feature of the essential numerical range $W_{\!e}(T)$ is that it captures spectral pollution in a unified and minimal way when approximating $T$ by projection methods or domain truncation methods for PDEs.

math.SP

Essential spectrum for Maxwell's equations

We study the essential spectrum of operator pencils associated with anisotropic Maxwell equations, with permittivity $\varepsilon$, permeability $μ$ and conductivity $σ$, on finitely connected unbounded domains. The main result is that the essential spectrum of the Maxwell pencil is the union of two sets: namely, the spectrum of the pencil $\mathrm{div}((ω\varepsilon + i σ) \nabla\,\cdot\,)$, and the essential spectrum of the Maxwell pencil with constant coefficients. We expect the analysis to be of more general interest and to open avenues to investigation of other questions concerning Maxwell's and related systems.

math.FA

Uniqueness for an inverse problem in electromagnetism with partial data

A uniqueness result for the recovery of the electric and magnetic coefficients in the time-harmonic Maxwell equations from local boundary measurements is proven. No special geometrical condition is imposed on the inaccessible part of the boundary of the domain, apart from imposing that the boundary of the domain is $C^{1,1}$. The coefficients are assumed to coincide on a neighbourhood of the boundary, a natural property in applications.

math.AP

On the stability of a forward-backward heat equation

In this paper we examine spectral properties of a family of periodic singular Sturm-Liouville problems which are highly non-self-adjoint but have purely real spectrum. The problem originated from the study of the lubrication approximation of a viscous fluid film in the inner surface of a rotating cylinder and has received a substantial amount of attention in recent years. Our main focus will be the determination of Schatten class inclusions for the resolvent operator and regularity properties of the associated evolution equation.

math.SP

On the Inverse Resonance Problem for Schrodinger Operators

We consider Schrödinger operators on [0,\infty) with compactly supported, possibly complex-valued potentials in L^1([0,\infty)). It is known (at least in the case of a real-valued potential) that the location of eigenvalues and resonances determines the potential uniquely. From the physical point of view one expects that large resonances are increasingly insignificant for the reconstruction of the potential from the data. In this paper we prove the validity of this statement, i.e., we show conditional stability for finite data. As a by-product we also obtain a uniqueness result for the inverse resonance problem for complex-valued potentials.

math-ph

The abstract Titchmarsh-Weyl M-function for adjoint operator pairs and its relation to the spectrum

In the setting of adjoint pairs of operators we consider the question: to what extent does the Weyl M-function see the same singularities as the resolvent of a certain restriction $A_B$ of the maximal operator? We obtain results showing that it is possible to describe explicitly certain spaces $\Sc$ and $\tilde{\Sc}$ such that the resolvent bordered by projections onto these subspaces is analytic everywhere that the M-function is analytic. We present three examples -- one involving a Hain-Lüst type operator, one involving a perturbed Friedrichs operator and one involving a simple ordinary differential operators on a half line -- which together indicate that the abstract results are probably best possible.

math.SP