Showing 1–38 of 38 results for author: Boulton, L

Jumps, cusps and fractals in the solution of the periodic linear Benjamin-Ono equation

Authors: Lyonell Boulton, Breagh Macpherson, Beatrice Pelloni

Abstract: We establish two complementary results about the regularity of the solution of the periodic initial value problem for the linear Benjamin-Ono equation. We first give a new simple proof of the statement that, for a dense countable set of the time variable, the solution is a finite linear combination of copies of the initial condition and of its Hilbert transform. In particular, this implies that di… ▽ More We establish two complementary results about the regularity of the solution of the periodic initial value problem for the linear Benjamin-Ono equation. We first give a new simple proof of the statement that, for a dense countable set of the time variable, the solution is a finite linear combination of copies of the initial condition and of its Hilbert transform. In particular, this implies that discontinuities in the initial condition are propagated in the solution as logarithmic cusps. We then show that, if the initial condition is of bounded variation (and even if it is not continuous), for almost every time the graph of the solution in space is continuous but fractal, with upper Minkowski dimension equal to 3/2. In order to illustrate this striking dichotomy, in the final section we include accurate numerical evaluations of the solution profile, as well as estimates of its box-counting dimension for two canonical choices of irrational time. △ Less

Submitted 22 May, 2025; v1 submitted 2 January, 2025; originally announced January 2025.

Comments: 18 pages, 4 figures

Spectral analysis of Dirac operators for dislocated potentials with a purely imaginary jump

Authors: Lyonell Boulton, David Krejcirik, Tho Nguyen Duc

Abstract: In this paper we present a complete spectral analysis of Dirac operators with non-Hermitian matrix potentials of the form $i\operatorname{sgn}(x)+V(x)$ where $V\in L^1$. For $V=0$ we compute explicitly the matrix Green function. This allows us to determine the spectrum, which is purely essential, and its different types. It also allows us to find sharp enclosures for the pseudospectrum and its com… ▽ More In this paper we present a complete spectral analysis of Dirac operators with non-Hermitian matrix potentials of the form $i\operatorname{sgn}(x)+V(x)$ where $V\in L^1$. For $V=0$ we compute explicitly the matrix Green function. This allows us to determine the spectrum, which is purely essential, and its different types. It also allows us to find sharp enclosures for the pseudospectrum and its complement, in all parts of the complex plane. Notably, this includes the instability region, corresponding to the interior of the band that forms the numerical range. Then, with the help of a Birman-Schwinger principle, we establish in precise manner how the spectrum and pseudospectrum change when $V\not=0$, assuming the hypotheses $\|V\|_{L^1}<1$ or $V\in L^1\cap L^p$ where $p>1$. We show that the essential spectra remain unchanged and that the $\varepsilon$-pseudospectrum stays close to the instability region for small $\varepsilon$. We determine sharp asymptotic for the discrete spectrum, whenever $V$ satisfies further conditions of decay at infinity. Finally, in one of our main findings, we give a complete description of the weakly-coupled model. △ Less

Submitted 8 April, 2025; v1 submitted 10 September, 2024; originally announced September 2024.

Comments: Revised version accepted for publication in J. Spectr. Theory

Jumps and cusps: a new revival effect in local dispersive PDEs

Authors: Lyonell Boulton, George Farmakis, Beatrice Pelloni, David A. Smith

Abstract: We study the presence of a non-trivial revival effect in the solution of linear dispersive boundary value problems for two benchmark models which arise in applications: the Airy equation and the dislocated Laplacian Schr{ö}dinger equation. In both cases, we consider boundary conditions of Dirichlet-type. We prove that, at suitable times, jump discontinuities in the initial profile are revived in t… ▽ More We study the presence of a non-trivial revival effect in the solution of linear dispersive boundary value problems for two benchmark models which arise in applications: the Airy equation and the dislocated Laplacian Schr{ö}dinger equation. In both cases, we consider boundary conditions of Dirichlet-type. We prove that, at suitable times, jump discontinuities in the initial profile are revived in the solution not only as jump discontinuities but also as logarithmic cusp singularities. We explicitly describe these singularities and show that their formation is due to interactions between the symmetries of the underlying spatial operators with the periodic Hilbert transform. △ Less

Submitted 2 March, 2024; originally announced March 2024.

Comments: 35 pages, 3 figures, 2 appendices

MSC Class: 35P05

The pseudospectrum of an operator with Bessel-type singularities

Authors: Lyonell Boulton, Marco Marletta

Abstract: 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, wh… ▽ More 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. △ Less

Submitted 12 June, 2024; v1 submitted 20 October, 2023; originally announced October 2023.

Comments: 31 pages, 4 figures and 1 table. Paper dedicated to Professor E. Brian Davies FRS on the occasion of his 80th birthday. Carbon copy of the final version which appears in the Journal of Spectral Theory, https://ems.press/journals/jst/articles/14297856

The phenomenon of revivals on complex potential Schrödinger's equation

Authors: Lyonell Boulton, George Farmakis, Beatrice Pelloni

Abstract: The mysterious phenomena of revivals in linear dispersive periodic equations was discovered first experimentally in optics in the 19th century, then rediscovered several times by theoretical and experimental investigations. While the term has been used systematically and consistently by many authors, there is no consensus on a rigorous definition. In this paper, we describe revivals modulo a regul… ▽ More The mysterious phenomena of revivals in linear dispersive periodic equations was discovered first experimentally in optics in the 19th century, then rediscovered several times by theoretical and experimental investigations. While the term has been used systematically and consistently by many authors, there is no consensus on a rigorous definition. In this paper, we describe revivals modulo a regularity condition in a large class of Schrödinger's equations with complex bounded potentials. As we show, at rational times the solution is given explicitly by finite linear combinations of translations and dilations of the initial datum, plus an additional continuous term. △ Less

Submitted 12 June, 2024; v1 submitted 19 August, 2023; originally announced August 2023.

Comments: 17 pages, 2 figures. This paper is published in https://ems.press/journals/zaa/articles/14297854

Completeness of trajectories associated to Appell hypergeometric functions

Authors: Lyonell Boulton

Abstract: We examine the linear completeness of trajectories of eigenfunctions associated to non-linear eigenvalue problems, subject to Dirichlet boundary conditions on a segment. We pursue two specific goals. On the one hand, we establish that linear completeness persists for the non-linear Schrödinger equation, even when the trajectories lie far from those of the linear equation where bifurcations occur.… ▽ More We examine the linear completeness of trajectories of eigenfunctions associated to non-linear eigenvalue problems, subject to Dirichlet boundary conditions on a segment. We pursue two specific goals. On the one hand, we establish that linear completeness persists for the non-linear Schrödinger equation, even when the trajectories lie far from those of the linear equation where bifurcations occur. On the other hand, we show that this is also the case for a fully non-linear version of this equation which is naturally associated with Appell hypergeometric functions. Both models shed new light on a framework for completeness in the non-linear setting, considered by L.E. Fraenkel over 40 years ago, that may have significant potential but which does not seem to have received much attention. △ Less

Submitted 12 April, 2023; v1 submitted 15 March, 2023; originally announced March 2023.

Comments: 16 pages, 1 figure

MSC Class: 34L10; 34C25; 34B15

The eigenvalues and eigenfunctions of the non-linear equation associated to second order Sobolev embeddings

Authors: Lyonell Boulton, Jan Lang

Abstract: We consider the non-linear eigenvalue equations characterizing $L^p$ into $L^q$ Sobolev embeddings of second order for Navier boundary conditions at both ends of a line segment. We give a complete description of the s-numbers and the extremal functions in the general case $(p,q)\in(1,\infty)^2$. Among other results, we show that these can be expressed in terms of those of related first order embed… ▽ More We consider the non-linear eigenvalue equations characterizing $L^p$ into $L^q$ Sobolev embeddings of second order for Navier boundary conditions at both ends of a line segment. We give a complete description of the s-numbers and the extremal functions in the general case $(p,q)\in(1,\infty)^2$. Among other results, we show that these can be expressed in terms of those of related first order embeddings, if and only if $\frac{1}{p}+\frac{1}{q}=1$. Our findings shed new light on the surprising nature of higher order Sobolev spaces in the Banach space setting. △ Less

Submitted 20 May, 2023; v1 submitted 10 April, 2022; originally announced April 2022.

Comments: 28 pages

Norm-ideal perturbations of one-parameter semigroups and applications

Authors: Lyonell Boulton, Spyridon Dimoudis

Abstract: The notion of equivalence classes of generators of one-parameter semigroups based on the convergence of the Dyson expansion can be traced back to the seminal work of Hille and Phillips, who in Chapter XIII of the 1957 edition of their Functional Analysis monograph, developed the theory in minute detail. Following their approach of regarding the Dyson expansion as a central object, in the first par… ▽ More The notion of equivalence classes of generators of one-parameter semigroups based on the convergence of the Dyson expansion can be traced back to the seminal work of Hille and Phillips, who in Chapter XIII of the 1957 edition of their Functional Analysis monograph, developed the theory in minute detail. Following their approach of regarding the Dyson expansion as a central object, in the first part of this paper we examine a general framework for perturbation of generators relative to the Schatten-von Neumann ideals on Hilbert spaces. This allows us to develop a graded family of equivalence relations on generators, which refine the classical notion and provide stronger-than-expected properties of convergence for the tail of the perturbation series. We then show how this framework realises in the context of non-self-adjoint Schrodinger operators. △ Less

Submitted 14 October, 2022; v1 submitted 6 February, 2022; originally announced February 2022.

Comments: 24 pages

MSC Class: 47D06; 81Q12; 81Q15

Beyond periodic revivals for linear dispersive PDEs

Authors: Lyonell Boulton, George Farmakis, Beatrice Pelloni

Abstract: We study the phenomenon of revivals for the linear Schrödinger and Airy equations over a finite interval, by considering several types of non-periodic boundary conditions. In contrast with the case of the linear Schrödinger equation examined recently (which we develop further), we prove that, remarkably, the Airy equation does not generally exhibit revivals even for boundary conditions very close… ▽ More We study the phenomenon of revivals for the linear Schrödinger and Airy equations over a finite interval, by considering several types of non-periodic boundary conditions. In contrast with the case of the linear Schrödinger equation examined recently (which we develop further), we prove that, remarkably, the Airy equation does not generally exhibit revivals even for boundary conditions very close to periodic. We also describe a new, weaker form of revival phenomena, present in the case of certain Robin-type boundary conditions for the linear Schrödinger equation. In this weak revival, the dichotomy between the behaviour of the solution at rational and irrational times persists, but in contrast with the classical periodic case, the solution is not given by a finite superposition of copies of the initial condition. △ Less

Submitted 9 July, 2021; v1 submitted 2 March, 2021; originally announced March 2021.

Comments: 26 pages, 8 figures, typos corrected, main results moved to the introduction, reduced size of the figures

Journal ref: Proceedings of the Royal Society A (2021) 477:20210241

New Revival Phenomena for Linear Integro-Differential Equations

Authors: Lyonell Boulton, Peter J. Olver, Beatrice Pelloni, David A. Smith

Abstract: We present and analyse a novel manifestation of the revival phenomenon for linear spatially periodic evolution equations, in the concrete case of three nonlocal equations that arise in water wave theory and are defined by convolution kernels. Revival in these cases is manifested in the form of dispersively quantised cusped solutions at rational times. We give an analytic description of this phenom… ▽ More We present and analyse a novel manifestation of the revival phenomenon for linear spatially periodic evolution equations, in the concrete case of three nonlocal equations that arise in water wave theory and are defined by convolution kernels. Revival in these cases is manifested in the form of dispersively quantised cusped solutions at rational times. We give an analytic description of this phenomenon, and present illustrative numerical simulations. △ Less

Submitted 3 October, 2020; originally announced October 2020.

MSC Class: Primary: 35C05. Secondary: 35B65; 35R09

Perturbations of Gibbs semigroups and the non-selfadjoint harmonic oscillator

Authors: Lyonell Boulton

Abstract: Let $T$ be the generator of a $C_0$-semigroup $e^{-Tt}$ which is of finite trace for all $t>0$ (a Gibbs semigroup). Let $A$ be another closed operator, $T$-bounded with $T$-bound equal to zero. In general $T+A$ might not be the generator of a Gibbs semigroup. In the first half of this paper we give sufficient conditions on $A$ so that $T+A$ is the generator of a Gibbs semigroup. We determine these… ▽ More Let $T$ be the generator of a $C_0$-semigroup $e^{-Tt}$ which is of finite trace for all $t>0$ (a Gibbs semigroup). Let $A$ be another closed operator, $T$-bounded with $T$-bound equal to zero. In general $T+A$ might not be the generator of a Gibbs semigroup. In the first half of this paper we give sufficient conditions on $A$ so that $T+A$ is the generator of a Gibbs semigroup. We determine these conditions in terms of the convergence of the Dyson-Phillips expansion corresponding to the perturbed semigroup in suitable Schatten-von Neumann norms. In the second half of the paper we consider $T=H_\vartheta=-e^{-i\vartheta}\partial_x^2+e^{i\vartheta}x^2$, the non-selfadjoint harmonic oscillator, on $L^2(\mathbb{R})$ and $A=V$, a locally integrable potential growing like $|x|^α$ for $0\leq α<2$ at infinity. We establish that the Dyson-Phillips expansion converges in this case in an $r$ Schatten-von Neumann norm for $r>\frac{4}{2-α}$ and show that $H_\vartheta+V$ is the generator of a Gibbs semigroup $\mathrm{e}^{-(H_\vartheta+V)τ}$ for $|\argτ|\leq \fracπ{2}-|\vartheta|$. From this we determine asymptotics for the eigenvalues and for the resolvent norm of $H_\vartheta+V$. △ Less

Submitted 10 July, 2018; v1 submitted 17 June, 2018; originally announced June 2018.

Comments: 24 pages. One example added and some typos corrected in this new version

MSC Class: 47D06; 81Q12; 81Q15

A multi-term basis criterion for families of dilated periodic functions

Authors: Lyonell Boulton, Houry Melkonian

Abstract: In this paper we formulate a concrete method for determining whether a system of dilated periodic functions forms a Riesz basis in $L^2(0,1)$. This method relies on a general framework developed by Hedenmalm, Lindqvist and Seip about 20 years ago, which turns the basis question into one about the localisation of the zeros and poles of a corresponding analytic multiplier. Our results improve upon v… ▽ More In this paper we formulate a concrete method for determining whether a system of dilated periodic functions forms a Riesz basis in $L^2(0,1)$. This method relies on a general framework developed by Hedenmalm, Lindqvist and Seip about 20 years ago, which turns the basis question into one about the localisation of the zeros and poles of a corresponding analytic multiplier. Our results improve upon various criteria formulated previously, which give sufficient conditions for invertibility of the multiplier in terms of sharp estimates on the Fourier coefficients. Our focus is on the concrete verification of the hypotheses by means of analytical or accurate numerical approximations. We then examine the basis question for profiles in a neighbourhood of a non-basis family generated by periodic jump functions. For one of these profiles, the $p$-sine functions, we determine a threshold for positive answer to the basis question which improves upon those found recently. △ Less

Submitted 13 November, 2017; v1 submitted 28 August, 2017; originally announced August 2017.

Comments: The introduction of the updated version now includes an example which is arbitrarily close to the jump function such that the corresponding dilations form a Riesz basis. Section 2 has been substantially changed to reflect the established multi-term criterion in terms of the multipliers instead of the corresponding operators. The paper consists of 26 pages and 4 figures

MSC Class: 41A30; 34C25

Computation of sharp estimates of the Poincaré constant on planar domains with piecewise self-similar boundary

Authors: Lehel Banjai, Lyonell Boulton

Abstract: We establish a strategy for finding sharp upper and lower numerical bounds of the Poincaré constant on a class of planar domains with piecewise self-similar boundary. The approach consists of four main components: W1) tight inner-outer shape interpolation, W2) conformal mapping of the approximate polygonal regions, W3) grad-div system formulation of the spectral problem and W4) computation of the… ▽ More We establish a strategy for finding sharp upper and lower numerical bounds of the Poincaré constant on a class of planar domains with piecewise self-similar boundary. The approach consists of four main components: W1) tight inner-outer shape interpolation, W2) conformal mapping of the approximate polygonal regions, W3) grad-div system formulation of the spectral problem and W4) computation of the eigenvalue bounds. After describing the method, justifying its validity and determining general convergence estimates, we show concrete evidence of its effectiveness by computing lower and upper bound estimates for the constant on the Koch snowflake. △ Less

Submitted 12 April, 2019; v1 submitted 28 August, 2017; originally announced August 2017.

Comments: 37 pages, 8 figures, 2 tables. V2 is a significant re-writing of the originally submitted manuscript. New focus on general fractal regions

MSC Class: 65N25; 35P15; 28A80

Generalised cosine functions, basis and regularity properties

Authors: Lyonell Boulton, Houry Melkonian

Abstract: We examine regularity and basis properties of the family of rescaled $p$-cosine functions. We find sharp estimates for their Fourier coefficients. We then determine two thresholds, $p_0<2$ and $p_1>2$, such that this family is a Schauder basis of $L_s(0,1)$ for all $s>1$ and $p\in[p_0,p_1]$. We examine regularity and basis properties of the family of rescaled $p$-cosine functions. We find sharp estimates for their Fourier coefficients. We then determine two thresholds, $p_0<2$ and $p_1>2$, such that this family is a Schauder basis of $L_s(0,1)$ for all $s>1$ and $p\in[p_0,p_1]$. △ Less

Submitted 3 November, 2015; originally announced November 2015.

Comments: 24 pages

MSC Class: Primary: 42A16; Secondary: 42A65

Sharp eigenvalue enclosures for the perturbed angular Kerr-Newman Dirac operator

Authors: Lyonell Boulton, Monika Winklmeier

Abstract: A certified strategy for determining sharp intervals of enclosure for the eigenvalues of matrix differential operators with singular coefficients is examined. The strategy relies on computing the second order spectrum relative to subspaces of continuous piecewise linear functions. For smooth perturbations of the angular Kerr-Newman Dirac operator, explicit rates of convergence due to regularity of… ▽ More A certified strategy for determining sharp intervals of enclosure for the eigenvalues of matrix differential operators with singular coefficients is examined. The strategy relies on computing the second order spectrum relative to subspaces of continuous piecewise linear functions. For smooth perturbations of the angular Kerr-Newman Dirac operator, explicit rates of convergence due to regularity of the eigenfunctions are established. Existing benchmarks are validated and sharpened by several orders of magnitude in the unperturbed setting. △ Less

Submitted 6 August, 2015; v1 submitted 20 October, 2014; originally announced October 2014.

Comments: 27 pages, 2 figures, 5 tables. Some errors fixed

MSC Class: 65L15; 65L20; 65L60; 35P15; 83C57

Basis properties of the p,q-sine functions

Authors: Lyonell Boulton, Gabriel Lord

Abstract: We improve the currently known thresholds for basisness of the family of periodically dilated p,q-sine functions. Our findings rely on a Beurling decomposition of the corresponding change of coordinates in terms of shift operators of infinite multiplicity. We also determine refined bounds on the Riesz constant associated to this family. These results seal mathematical gaps in the existing literatu… ▽ More We improve the currently known thresholds for basisness of the family of periodically dilated p,q-sine functions. Our findings rely on a Beurling decomposition of the corresponding change of coordinates in terms of shift operators of infinite multiplicity. We also determine refined bounds on the Riesz constant associated to this family. These results seal mathematical gaps in the existing literature on the subject. △ Less

Submitted 28 November, 2014; v1 submitted 28 May, 2014; originally announced May 2014.

Comments: 28 pages, 5 figures, computer codes included in appendix

Finite element eigenvalue enclosures for the Maxwell operator

Authors: Gabriel Raúl Barrenechea, Lyonell Boulton, Nabile Boussaid

Abstract: We propose employing the extension of the Lehmann-Maehly-Goerisch method developed by Zimmermann and Mertins, as a highly effective tool for the pollution-free finite element computation of the eigenfrequencies of the resonant cavity problem on a bounded region. This method gives complementary bounds for the eigenfrequencies which are adjacent to a given real parameter. We present a concrete numer… ▽ More We propose employing the extension of the Lehmann-Maehly-Goerisch method developed by Zimmermann and Mertins, as a highly effective tool for the pollution-free finite element computation of the eigenfrequencies of the resonant cavity problem on a bounded region. This method gives complementary bounds for the eigenfrequencies which are adjacent to a given real parameter. We present a concrete numerical scheme which provides certified enclosures in a suitable asymptotic regime. We illustrate the applicability of this scheme by means of some numerical experiments on benchmark data using Lagrange elements and unstructured meshes. △ Less

Submitted 20 February, 2014; originally announced February 2014.

Comments: arXiv admin note: substantial text overlap with arXiv:1306.5354

On the quality of complementary bounds for eigenvalues

Authors: L. Boulton, A. Hobiny

Abstract: A concrete formulation of the Lehmann-Maehly-Goerisch method for semi-definite self-adjoint operators with compact resolvent is considered. Precise rates of convergence are determined in terms of how well the trial spaces capture the spectral subspace of the operator. Optimality of the choice of a shift parameter which is intrinsic to the method is also examined. The main theoretical findings are… ▽ More A concrete formulation of the Lehmann-Maehly-Goerisch method for semi-definite self-adjoint operators with compact resolvent is considered. Precise rates of convergence are determined in terms of how well the trial spaces capture the spectral subspace of the operator. Optimality of the choice of a shift parameter which is intrinsic to the method is also examined. The main theoretical findings are illustrated by means of a few numerical experiments involving one-dimensional Schrodinger operators. △ Less

Submitted 11 August, 2014; v1 submitted 20 November, 2013; originally announced November 2013.

Comments: A few typos corrected. Clarification of the scope of the method discussed added. Paper is 22 pages long and it has 4 figures

On the convergence of the quadratic method

Authors: Lyonell Boulton, Aatef Hobiny

Abstract: The convergence of the so-called quadratic method for computing eigenvalue enclosures of general self-adjoint operators is examined. Explicit asymptotic bounds for convergence to isolated eigenvalues are found. These bounds turn out to improve significantly upon those determined in previous investigations. The theory is illustrated by means of several numerical experiments performed on particularl… ▽ More The convergence of the so-called quadratic method for computing eigenvalue enclosures of general self-adjoint operators is examined. Explicit asymptotic bounds for convergence to isolated eigenvalues are found. These bounds turn out to improve significantly upon those determined in previous investigations. The theory is illustrated by means of several numerical experiments performed on particularly simple benchmark models of one-dimensional Schrodinger operators. △ Less

Submitted 5 August, 2014; v1 submitted 1 July, 2013; originally announced July 2013.

Comments: Main result extended to isolated eigenvalues of general self-adjoint operators. Two gaps in proofs and many typos corrected

MSC Class: 34L15; 35P15

Eigenvalue enclosures

Authors: Gabriel Raúl Barrenechea, Lyonell Boulton, Nabile Boussaid

Abstract: This paper is concerned with methods for numerical computation of eigenvalue enclosures. We examine in close detail the equivalence between an extension of the Lehmann-Maehly-Goerisch method developed a few years ago by Zimmermann and Mertins, and a geometrically motivated method developed more recently by Davies and Plum. We extend various previously known results in the theory and establish expl… ▽ More This paper is concerned with methods for numerical computation of eigenvalue enclosures. We examine in close detail the equivalence between an extension of the Lehmann-Maehly-Goerisch method developed a few years ago by Zimmermann and Mertins, and a geometrically motivated method developed more recently by Davies and Plum. We extend various previously known results in the theory and establish explicit convergence estimates in both settings. The theoretical results are supported by two benchmark numerical experiments on the isotropic Maxwell eigenvalue problem. △ Less

Submitted 20 February, 2014; v1 submitted 22 June, 2013; originally announced June 2013.

On the stability of a forward-backward heat equation

Authors: Lyonell Boulton, Marco Marletta, David Rule

Abstract: 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 th… ▽ More 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. △ Less

Submitted 31 October, 2011; originally announced October 2011.

Comments: 21 pages, 3 figures

Eigenvalue enclosures and convergence for the linearized MHD operator

Authors: Lyonell Boulton, Michael Strauss

Abstract: We discuss how to compute certified enclosures for the eigenvalues of benchmark linear magnetohydrodynamics operators in the plane slab and cylindrical pinch configurations. For the plane slab, our method relies upon the formulation of an eigenvalue problem associated to the Schur complement, leading to highly accurate upper bounds for the eigenvalue. For the cylindrical configuration, a direct ap… ▽ More We discuss how to compute certified enclosures for the eigenvalues of benchmark linear magnetohydrodynamics operators in the plane slab and cylindrical pinch configurations. For the plane slab, our method relies upon the formulation of an eigenvalue problem associated to the Schur complement, leading to highly accurate upper bounds for the eigenvalue. For the cylindrical configuration, a direct application of this formulation is possible, however, it cannot be rigourously justified. Therefore in this case we rely on a specialized technique based on a method proposed by Zimmermann and Mertins. In turns this technique is also applicable for finding accurate complementary bounds in the case of the plane slab. We establish convergence rates for both approaches. △ Less

Submitted 16 September, 2011; originally announced September 2011.

Comments: 22 pages, 4 figures and 2 tables

Generalised Weyl theorems and spectral pollution in the Galerkin method

Authors: Lyonell Boulton, Nabile Boussaid, Mathieu Lewin

Abstract: We consider a general framework for investigating spectral pollution in the Galerkin method. We show how this phenomenon is characterised via the existence of particular Weyl sequences which are singular in a suitable sense. For a semi-bounded selfadjoint operator A we identify relative compactness conditions on a selfadjoint perturbation B ensuring that the limiting set of spectral pollution of A… ▽ More We consider a general framework for investigating spectral pollution in the Galerkin method. We show how this phenomenon is characterised via the existence of particular Weyl sequences which are singular in a suitable sense. For a semi-bounded selfadjoint operator A we identify relative compactness conditions on a selfadjoint perturbation B ensuring that the limiting set of spectral pollution of A and B coincide. Our results show that, under perturbation, this limiting set behaves in a similar fashion as the essential spectrum. △ Less

Submitted 22 November, 2011; v1 submitted 16 November, 2010; originally announced November 2010.

Comments: The new version deals with Galerkin sequences which are dense in the form domain of A, when A is bounded from below

Journal ref: Journal of Spectral Theory 2, 4 (2012) 329-354

Approximation properties of the $q$-sine bases

Authors: Lyonell Boulton, Gabriel Lord

Abstract: For $q>12/11$ the eigenfunctions of the non-linear eigenvalue problem associated to the one-dimensional $q$-Laplacian are known to form a Riesz basis of $L^2(0,1)$. We examine in this paper the approximation properties of this family of functions and its dual, in order to establish non-orthogonal spectral methods for the $p$-Poisson boundary value problem and its corresponding parabolic time evolu… ▽ More For $q>12/11$ the eigenfunctions of the non-linear eigenvalue problem associated to the one-dimensional $q$-Laplacian are known to form a Riesz basis of $L^2(0,1)$. We examine in this paper the approximation properties of this family of functions and its dual, in order to establish non-orthogonal spectral methods for the $p$-Poisson boundary value problem and its corresponding parabolic time evolution initial value problem. The principal objective of our analysis is the determination of optimal values of $q$ for which the best approximation is achieved for a given $p$ problem. △ Less

Submitted 9 February, 2011; v1 submitted 15 August, 2010; originally announced August 2010.

Comments: 20 pages, 11 figures and 2 tables. We have fixed a number of typos and added references. Changed the title to better reflect the content

On the convergence of second order spectra and multiplicity

Authors: Lyonell Boulton, Michael Strauss

Abstract: Let A be a self-adjoint operator acting on a Hilbert space. The notion of second order spectrum of A relative to a given finite-dimensional subspace L has been studied recently in connection with the phenomenon of spectral pollution in the Galerkin method. We establish in this paper a general framework allowing us to determine how the second order spectrum encodes precise information about the mul… ▽ More Let A be a self-adjoint operator acting on a Hilbert space. The notion of second order spectrum of A relative to a given finite-dimensional subspace L has been studied recently in connection with the phenomenon of spectral pollution in the Galerkin method. We establish in this paper a general framework allowing us to determine how the second order spectrum encodes precise information about the multiplicity of the isolated eigenvalues of A. Our theoretical findings are supported by various numerical experiments on the computation of inclusions for eigenvalues of benchmark differential operators via finite element bases. △ Less

Submitted 5 May, 2010; originally announced May 2010.

Comments: 22 pages, 2 figures, 4 tables, research paper.

MSC Class: 65N12; 37L65

Journal ref: Proceedings of the Royal Society A, 2010

On a class of non-self-adjoint periodic boundary value problems with discrete real spectrum

Authors: Lyonell Boulton, Michael Levitin, Marco Marletta

Abstract: In [arXiv:0801.0172] we examined a family of periodic Sturm-Liouville problems with boundary and interior singularities which are highly non-self-adjoint but have only real eigenvalues. We now establish Schatten class properties of the associated resolvent operator. In [arXiv:0801.0172] we examined a family of periodic Sturm-Liouville problems with boundary and interior singularities which are highly non-self-adjoint but have only real eigenvalues. We now establish Schatten class properties of the associated resolvent operator. △ Less

Submitted 14 April, 2010; originally announced April 2010.

Comments: 8 pages.

MSC Class: 47E05; 34B24; 76R99

Non-variational computation of the eigenstates of Dirac operators with radially symmetric potentials

Authors: Lyonell Boulton, Nabile Boussaid

Abstract: We discuss a novel strategy for computing the eigenvalues and eigenfunctions of the relativistic Dirac operator with a radially symmetric potential. The virtues of this strategy lie on the fact that it avoids completely the phenomenon of spectral pollution and it always provides two-side estimates for the eigenvalues with explicit error bounds on both eigenvalues and eigenfunctions. We also disc… ▽ More We discuss a novel strategy for computing the eigenvalues and eigenfunctions of the relativistic Dirac operator with a radially symmetric potential. The virtues of this strategy lie on the fact that it avoids completely the phenomenon of spectral pollution and it always provides two-side estimates for the eigenvalues with explicit error bounds on both eigenvalues and eigenfunctions. We also discuss convergence rates of the method as well as illustrate our results with various numerical experiments. △ Less

Submitted 2 August, 2008; originally announced August 2008.

Journal ref: LMS J. Comput. Math. 13 (2010) 10-32

On a class of non-self-adjoint periodic eigenproblems with boundary and interior singularities

Authors: Lyonell Boulton, Michael Levitin, Marco Marletta

Abstract: We prove that the spectrum of a certain PT-symmetric periodic problem is purely real. Our results extend to a larger class of potentials those recently found by Brian Davies [math.SP/0702122] and John Weir [arXiv:0711.1371]. We prove that the spectrum of a certain PT-symmetric periodic problem is purely real. Our results extend to a larger class of potentials those recently found by Brian Davies [math.SP/0702122] and John Weir [arXiv:0711.1371]. △ Less

Submitted 19 November, 2010; v1 submitted 30 December, 2007; originally announced January 2008.

Comments: 20 pages, this final version includes correction of several typos and change of title

MSC Class: 47E05; 34B24; 76Rxx

Journal ref: Journal of Differential Equations, Volume 249, Issue 12, 15 December 2010, Pages 3081-3098

On Approximation of the Eigenvalues of Perturbed Periodic Schrodinger Operators

Authors: Lyonell Boulton, Michael Levitin

Abstract: This paper addresses the problem of computing the eigenvalues lying in the gaps of the essential spectrum of a periodic Schrodinger operator perturbed by a fast decreasing potential. We use a recently developed technique, the so called quadratic projection method, in order to achieve convergence free from spectral pollution. We describe the theoretical foundations of the method in detail, and il… ▽ More This paper addresses the problem of computing the eigenvalues lying in the gaps of the essential spectrum of a periodic Schrodinger operator perturbed by a fast decreasing potential. We use a recently developed technique, the so called quadratic projection method, in order to achieve convergence free from spectral pollution. We describe the theoretical foundations of the method in detail, and illustrate its effectiveness by several examples. △ Less

Submitted 14 February, 2007; originally announced February 2007.

Comments: 17 pages, 2 tables and 2 figures

MSC Class: 47A75; 65J10

On the boundary of the pseudospectrum and its fault points

Authors: Lyonell Boulton, Peter Lancaster

Abstract: The theme of this paper was motivated by the question: How effective are path-following procedures for tracing the pseudospectral boundary? The present study of the mathematical properties of the boundary of the pseudospectrum is the result. This boundary is generally made up piecewise smooth curves. We shown how the Schur triangular form of the matrix can be used to analyse dynamical properties… ▽ More The theme of this paper was motivated by the question: How effective are path-following procedures for tracing the pseudospectral boundary? The present study of the mathematical properties of the boundary of the pseudospectrum is the result. This boundary is generally made up piecewise smooth curves. We shown how the Schur triangular form of the matrix can be used to analyse dynamical properties of the singular points on these curves. △ Less

Submitted 8 February, 2007; originally announced February 2007.

Comments: 15 pages, 3 figures

MSC Class: 15A60; 65F35

Stability of Quadratic Projection Methods

Authors: Lyonell Boulton, Michael Strauss

Abstract: In this paper we discuss the stability of an alternative pollution-free procedure for computing spectra. The main difference with the Galerkin method lies in the fact that it gives rise to a weak approximate problem which is quadratic in the spectral parameter, instead of linear. Previous accounts on this new procedure can be found in Levitin and Shargorodsky (2002) [math.SP/0212087] and Boulton… ▽ More In this paper we discuss the stability of an alternative pollution-free procedure for computing spectra. The main difference with the Galerkin method lies in the fact that it gives rise to a weak approximate problem which is quadratic in the spectral parameter, instead of linear. Previous accounts on this new procedure can be found in Levitin and Shargorodsky (2002) [math.SP/0212087] and Boulton (2006) [math.SP/0503126]. △ Less

Submitted 1 February, 2007; v1 submitted 28 June, 2006; originally announced June 2006.

Comments: 19 pages, 4 figures. In this updated version we have made a small number of minor corrections

MSC Class: Primary: 47B36; Secondary: 47B39; 81-08

On Pseudospectra of Matrix Polynomials and their Boundaries

Authors: Lyonell Boulton, Peter Lancaster, Panayiotis Psarrakos

Abstract: In the first part of this paper, the main concern is with smoothness properties of the boundary of the pseudospectrum of a matrix polynomial. In the second part, results are obtained concerning the number of connected components of pseudospectra, as well as results concerning matrix polynomials with multiple eigenvalues, or the proximity to such polynomials. In the first part of this paper, the main concern is with smoothness properties of the boundary of the pseudospectrum of a matrix polynomial. In the second part, results are obtained concerning the number of connected components of pseudospectra, as well as results concerning matrix polynomials with multiple eigenvalues, or the proximity to such polynomials. △ Less

Submitted 29 October, 2006; v1 submitted 10 April, 2006; originally announced April 2006.

Comments: 31 pages, 5 figures, recently submitted to Mathematics of Computation. In this revised version we have corrected some further typos and added an extra example

MSC Class: 65F15; 65F35; 93D09

Non-variational approximation of discrete eigenvalues of self-adjoint operators

Authors: Lyonell Boulton

Abstract: We establish sufficiency conditions in order to achieve approximation to discrete eigenvalues of self-adjoint operators in the second-order projection method suggested recently by Levitin and Shargorodsky, [math.SP/0212087]. We find explicit estimates for the eigenvalue error and study in detail two concrete model examples. Our results show that, unlike the majority of the standard methods, seco… ▽ More We establish sufficiency conditions in order to achieve approximation to discrete eigenvalues of self-adjoint operators in the second-order projection method suggested recently by Levitin and Shargorodsky, [math.SP/0212087]. We find explicit estimates for the eigenvalue error and study in detail two concrete model examples. Our results show that, unlike the majority of the standard methods, second-order projection strategies combine non-pollution and approximation at a very high level of generality. △ Less

Submitted 7 March, 2005; originally announced March 2005.

Comments: 24 pages, 1 figure, 2 tables

MSC Class: 47B36; 47B39; 81-80

Finite lifetime eigenfunctions of coupled systems of harmonic oscillators

Authors: Lyonell Boulton, Stefania Marcantognini, Maria Moran

Abstract: We find a Hermite-type basis for which the eigenvalue problem associated to the operator $H_{A,B}:=B(-\partial_x^2)+Ax^2$ acting on $L^2({\bf R};{\bf C}^2)$ becomes a three-terms recurrence. Here $A$ and $B$ are two constant positive definite matrices with no other restriction. Our main result provides an explicit characterization of the eigenvectors of $H_{A,B}$ that lie in the span of the firs… ▽ More We find a Hermite-type basis for which the eigenvalue problem associated to the operator $H_{A,B}:=B(-\partial_x^2)+Ax^2$ acting on $L^2({\bf R};{\bf C}^2)$ becomes a three-terms recurrence. Here $A$ and $B$ are two constant positive definite matrices with no other restriction. Our main result provides an explicit characterization of the eigenvectors of $H_{A,B}$ that lie in the span of the first four elements of this basis when $AB\not= BA$. △ Less

Submitted 31 March, 2004; v1 submitted 10 March, 2004; originally announced March 2004.

Comments: 11 pages, 1 figure. Some typos where corrected in this new version

MSC Class: 34L40 (primary) ; 34L10; 81Q10 (secondary)

Limiting set of second order spectra

Authors: Lyonell Boulton

Abstract: M.Levitin and E.Shargorodsky purposed in a recent article, [math.SP/0212087], the use of the so called ``second order relative spectrum'', to find eigenvalues of self-adjoint operators in gaps of the essential spectrum. Let $M$ be a self-adjoint operator acting on the Hilbert space $H$. A complex number $z$ is in the second order spectrum of $M$ relative to a finite dimensional subspace… ▽ More M.Levitin and E.Shargorodsky purposed in a recent article, [math.SP/0212087], the use of the so called ``second order relative spectrum'', to find eigenvalues of self-adjoint operators in gaps of the essential spectrum. Let $M$ be a self-adjoint operator acting on the Hilbert space $H$. A complex number $z$ is in the second order spectrum of $M$ relative to a finite dimensional subspace $Λ\subset dom M^2$ if and only if the truncation to $Λ$ of $(M-z)^2$ is not invertible. It is remarkable that these sets seem to provide a general method to estimating eigenvalues free from the problems of spectral pollution present in most linear methods. In this notes we investigate rigorously various aspects of the use of second order spectrum to finding eigenvalues. Our main result shows that, under certain fairly mild hypothesis on $M$, the uniform limit of the second order spectra, as $Λ$ increases toward $H$, contains the isolated eigenvalues of $M$ of finite multiplicity. In applications the essential spectrum can be computed analytically, while precisely these eigenvalues are the ones that should be approximated numerically. Hence this method seems to combine non-pollution and approximation at a very high level of generality. △ Less

Submitted 29 October, 2003; v1 submitted 27 June, 2003; originally announced June 2003.

Comments: 20 pages, 3 figures, 2 tables

MSC Class: Primary: 47B36; Secondary: 47B39; 81-08

Projection methods for discrete Schrodinger operators

Authors: Lyonell S. Boulton

Abstract: Let $H$ be the discrete Schrödinger operator $Hu(n):=u(n-1)+u(n+1)+v(n)u(n)$, $u(0)=0$ acting on $l^2({\bf Z}^+)$ where the potential $v$ is real-valued and $v(n)\to 0$ as $n\to \infty$. Let $P$ be the orthogonal projection onto a closed linear subspace $L \subset l^2({\bf Z}^+)$. In a recent paper E.B. Davies defines the second order spectrum ${\rm Spec}_2(H,L)$ of $H$ relative to $L$ as the se… ▽ More Let $H$ be the discrete Schrödinger operator $Hu(n):=u(n-1)+u(n+1)+v(n)u(n)$, $u(0)=0$ acting on $l^2({\bf Z}^+)$ where the potential $v$ is real-valued and $v(n)\to 0$ as $n\to \infty$. Let $P$ be the orthogonal projection onto a closed linear subspace $L \subset l^2({\bf Z}^+)$. In a recent paper E.B. Davies defines the second order spectrum ${\rm Spec}_2(H,L)$ of $H$ relative to $L$ as the set of $z \in {\bf C}$ such that the restriction to $L$ of the operator $P(H-z)^2P$ is not invertible within the space $L$. The purpose of this article is to investigate properties of ${\rm Spec}_2(H,L)$ when $L$ is large but finite dimensional. We explore in particular the connection between this set and the spectrum of $H$. Our main result provides sharp bounds in terms of the potential $v$ for the asymptotic behaviour of ${\rm Spec}_2(H,L)$ as $L$ increases towards $l^2({\bf Z}^+)$. △ Less

Submitted 13 February, 2003; v1 submitted 23 January, 2002; originally announced January 2002.

Comments: 24 pages, 5 figures, the version 2 contains some corrections in section 4

Report number: MA-USB-01-02 MSC Class: 47B36; 47B39; 81-08

Spectral behaviour of a simple non-self-adjoint operator

Authors: L. S. Boulton

Abstract: We investigate the spectrum of a typical non-self-adjoint differential operator $AD=-d^2/dx^2\otimes A$ acting on $\Lp(0,1)\otimes \mathbb{C}^2$, where $A$ is a $2\times 2$ constant matrix. We impose Dirichlet and Neumann boundary conditions in the first and second coordinate respectively at both ends of $[0,1]\subset\mathbb{R}$. For $A\in \mathbb{R}^{2\times 2}$ we explore in detail the connect… ▽ More We investigate the spectrum of a typical non-self-adjoint differential operator $AD=-d^2/dx^2\otimes A$ acting on $\Lp(0,1)\otimes \mathbb{C}^2$, where $A$ is a $2\times 2$ constant matrix. We impose Dirichlet and Neumann boundary conditions in the first and second coordinate respectively at both ends of $[0,1]\subset\mathbb{R}$. For $A\in \mathbb{R}^{2\times 2}$ we explore in detail the connection between the entries of $A$ and the spectrum of $AD$, we find necessary conditions to ensure similarity to a self-adjoint operator and give numerical evidence that suggests a non-trivial spectral evolution. △ Less

Submitted 15 May, 2001; v1 submitted 21 February, 2001; originally announced February 2001.

Comments: 42 pages, 6 figures

Report number: KCL-MTH-01-07 MSC Class: 34L05; 47E05; 34L16

Non-self-adjoint harmonic oscillator, compact semigroups and pseudospectra

Authors: Lyonell S. Boulton

Abstract: We provide new information concerning the pseudospectra of the complex harmonic oscillator. Our analysis illustrates two different techniques for getting resolvent norm estimates. The first uses the JWKB method and extends for this particular potential some results obtained recently by E.B. Davies. The second relies on the fact that the bounded holomorphic semigroup generated by the complex harm… ▽ More We provide new information concerning the pseudospectra of the complex harmonic oscillator. Our analysis illustrates two different techniques for getting resolvent norm estimates. The first uses the JWKB method and extends for this particular potential some results obtained recently by E.B. Davies. The second relies on the fact that the bounded holomorphic semigroup generated by the complex harmonic oscillator is of Hilbert-Schmidt type in a maximal angular region. In order to show this last property, we deduce a non-self-adjoint version of the classical Mehler's formula. △ Less

Submitted 8 October, 1999; v1 submitted 29 September, 1999; originally announced September 1999.

Comments: 22 pages, LaTeX 2e

MSC Class: 34L40;47A75;47D06