-
Characteristic determinants for a second order difference equation on the half-line arising in hydrodynamics
Authors:
Yuri Latushkin,
Shibi Vasudevan
Abstract:
We study the point spectrum of a second order difference operator with complex potential on the half-line via Fredholm determinants of the corresponding Birman-Schwinger operator pencils, the Evans and the Jost functions. An application is given to instability of a generalization of the Kolmogorov flow for the Euler equation of ideal fluid on the two dimensional torus.
We study the point spectrum of a second order difference operator with complex potential on the half-line via Fredholm determinants of the corresponding Birman-Schwinger operator pencils, the Evans and the Jost functions. An application is given to instability of a generalization of the Kolmogorov flow for the Euler equation of ideal fluid on the two dimensional torus.
△ Less
Submitted 2 May, 2024;
originally announced May 2024.
-
Stability of fronts in the diffusive Rosenzweig-MacArthur model
Authors:
Anna Ghazaryan,
Stéphane Lafortune,
Yuri Latushkin,
Vahagn Manukian
Abstract:
We consider a diffusive Rosenzweig-MacArthur predator-prey model in the situation when the prey diffuses at the rate much smaller than that of the predator. In a certain parameter regime, the existence of fronts in the system is known: the underlying dynamical system in a singular limit is reduced to a scalar Fisher-KPP equation and the fronts supported by the full system are small perturbations o…
▽ More
We consider a diffusive Rosenzweig-MacArthur predator-prey model in the situation when the prey diffuses at the rate much smaller than that of the predator. In a certain parameter regime, the existence of fronts in the system is known: the underlying dynamical system in a singular limit is reduced to a scalar Fisher-KPP equation and the fronts supported by the full system are small perturbations of the Fisher-KPP fronts. The existence proof is based on application of the Geometric Singular Perturbation Theory with respect to two small parameters. This paper is focused on the stability of the fronts. We analyze the stability by means of energy estimates, exponential dichotomies, the Evans function calculation, and a technique that involves constructing the unstable augmented bundles. The energy estimates provide bounds on the unstable spectrum which depend on the small parameters of the system; the bounds are inversely proportional to these parameters. We further improve these estimates by showing that the eigenvalue problem is a small perturbation of some limiting (as the modulus of the eigenvalue parameter goes to infinity) system, and that the limiting system has exponential dichotomies. Persistence of the exponential dichotomies then leads to bounds uniform in the small parameters. The main novelty of this approach is related to the fact that the limit of the eigenvalue problem is not autonomous. We then use the concept of the unstable augmented bundles and by treating these as multiscale topological structures with respect to the same two small parameters consequently as in the existence proof, we show that the stability of the fronts is also governed by the scalar Fisher-KPP equation.
△ Less
Submitted 1 July, 2024; v1 submitted 26 January, 2024;
originally announced January 2024.
-
Fredholm determinants, continued fractions, Jost and Evans functions for a Jacobi matrix associated with the 2D-Euler equations
Authors:
Yuri Latushkin,
Shibi Vasudevan
Abstract:
For a second order difference equation that arises in the study of stability of unidirectional (generalized Kolmogorov) flows for the Euler equations of ideal fluids on the two dimensional torus, we relate the following five functions of the spectral parameter: the Fredholm determinants of the Birman-Schwinger operator pencils associated with the second order equation and the equivalent system of…
▽ More
For a second order difference equation that arises in the study of stability of unidirectional (generalized Kolmogorov) flows for the Euler equations of ideal fluids on the two dimensional torus, we relate the following five functions of the spectral parameter: the Fredholm determinants of the Birman-Schwinger operator pencils associated with the second order equation and the equivalent system of the first order equations; the Jost function constructed by means of the Jost solutions of the second order equation; the Evans function constructed by means of the matrix valued Jost solutions of the first order system, and, finally, to backward and forward continued fractions associated with the second order difference equation. We prove that all five functions are equal, and that their zeros are the discrete eigenvalues of the second order difference equation. We use this to improve an instability result for a generalization of the Kolmogorov (unidirectional) flow for the Euler equation on the 2D torus.
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
The Duistermaat index and eigenvalue interlacing for self-adjoint extensions of a symmetric operator
Authors:
Gregory Berkolaiko,
Graham Cox,
Yuri Latushkin,
Selim Sukhtaiev
Abstract:
Eigenvalue interlacing is a useful tool in linear algebra and spectral analysis. In its simplest form, the interlacing inequality states that a rank-one positive perturbation shifts each eigenvalue up, but not further than the next unperturbed eigenvalue. For different types of perturbations, this idea is known as Weyl interlacing, Cauchy interlacing, Dirichlet--Neumann bracketing and so on.
We…
▽ More
Eigenvalue interlacing is a useful tool in linear algebra and spectral analysis. In its simplest form, the interlacing inequality states that a rank-one positive perturbation shifts each eigenvalue up, but not further than the next unperturbed eigenvalue. For different types of perturbations, this idea is known as Weyl interlacing, Cauchy interlacing, Dirichlet--Neumann bracketing and so on.
We prove a sharp version of the interlacing inequalities for ``finite-dimensional perturbations in boundary conditions'', expressed as bounds on the spectral shift between two self-adjoint extensions of a fixed symmetric operator with finite and equal defect numbers. The bounds are given in terms of the Duistermaat index, a topological invariant describing the relative position of three Lagrangian planes in a symplectic space. Two of the Lagrangian planes describe the self-adjoint extensions being compared, while the third corresponds to the Friedrichs extension, which acts as a reference point.
Along the way several auxiliary results are established, including one-sided continuity properties of the Duistermaat triple index, smoothness of the (abstract) Cauchy data space without unique continuation-type assumptions, and a formula for the Morse index of an extension of a non-negative symmetric operator.
△ Less
Submitted 8 January, 2024; v1 submitted 11 November, 2023;
originally announced November 2023.
-
Uniform bounds of families of analytic semigroups and Lyapunov linear stability of planar fronts
Authors:
Yuri Latushkin,
Alin Pogan
Abstract:
We study families of analytic semigroups, acting in a Banach space, and depending on a parameter, and give sufficient conditions for existence of uniform with respect to the parameter norm bounds using spectral properties of the respective semigroup generators. In particular, we use estimates of the resolvent operators of the generators along vertical segments to estimate the growth/decay rate of…
▽ More
We study families of analytic semigroups, acting in a Banach space, and depending on a parameter, and give sufficient conditions for existence of uniform with respect to the parameter norm bounds using spectral properties of the respective semigroup generators. In particular, we use estimates of the resolvent operators of the generators along vertical segments to estimate the growth/decay rate of the norm for the family of analytic semigroups. These results are applied to prove the Lyapunov linear stability of planar traveling waves of systems of reaction-diffusion equations, and the bidomain equation, important in electrophysiology.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
Hamiltonian spectral flows, the Maslov index, and the stability of standing waves in the nonlinear Schrödinger equation
Authors:
Graham Cox,
Mitchell Curran,
Yuri Latushkin,
Robert Marangell
Abstract:
We use the Maslov index to study the spectrum of a class of linear Hamiltonian differential operators. We provide a lower bound on the number of positive real eigenvalues, which includes a contribution to the Maslov index from a non-regular crossing. A close study of the eigenvalue curves, which represent the evolution of the eigenvalues as the domain is shrunk or expanded, yields formulas for the…
▽ More
We use the Maslov index to study the spectrum of a class of linear Hamiltonian differential operators. We provide a lower bound on the number of positive real eigenvalues, which includes a contribution to the Maslov index from a non-regular crossing. A close study of the eigenvalue curves, which represent the evolution of the eigenvalues as the domain is shrunk or expanded, yields formulas for their concavity at the non-regular crossing in terms of the corresponding Jordan chains. This, along with homotopy techniques, enables the computation of the Maslov index at such a crossing. We apply our theory to study the spectral (in)stability of standing waves in the nonlinear Schrödinger equation on a compact spatial interval. We derive new stability results in the spirit of the Jones--Grillakis instability theorem and the Vakhitov--Kolokolov criterion, both originally formulated on the real line. A fundamental difference upon passing from the real line to the compact interval is the loss of translational invariance, in which case the zero eigenvalue of the linearised operator is geometrically simple. Consequently, the stability results differ depending on the boundary conditions satisfied by the wave. We compare our lower bound to existing results involving constrained eigenvalue counts, finding a direct relationship between the correction factors found therein and the objects of our analysis, including the second-order Maslov crossing form.
△ Less
Submitted 18 April, 2023; v1 submitted 9 November, 2022;
originally announced November 2022.
-
Fredholm determinants, Evans functions and Maslov indices for partial differential equations
Authors:
Graham Cox,
Yuri Latushkin,
Alim Sukhtayev
Abstract:
The Evans function is a well known tool for locating spectra of differential operators in one spatial dimension. In this paper we construct a multidimensional analogue as the modified Fredholm determinant of a ratio of Dirichlet-to-Robin operators on the boundary. This gives a tool for studying the eigenvalue counting functions of second-order elliptic operators that need not be self-adjoint. To d…
▽ More
The Evans function is a well known tool for locating spectra of differential operators in one spatial dimension. In this paper we construct a multidimensional analogue as the modified Fredholm determinant of a ratio of Dirichlet-to-Robin operators on the boundary. This gives a tool for studying the eigenvalue counting functions of second-order elliptic operators that need not be self-adjoint. To do this we use local representation theory for meromorphic operator-valued pencils, and relate the algebraic multiplicities of eigenvalues of elliptic operators to those of the Robin-to-Robin and Robin-to-Dirichlet operator pencils. In the self-adjoint case we relate our construction to the Maslov index, another well known tool in the spectral theory of differential operators. This gives new insight into the Maslov index and allows us to obtain crucial monotonicity results by complex analytic methods.
△ Less
Submitted 15 June, 2022;
originally announced June 2022.
-
Resolvent expansions for self-adjoint operators via boundary triplets
Authors:
Yuri Latushkin,
Selim Sukhtaiev
Abstract:
In this paper we develop certain aspects of perturbation theory for self-adjoint operators subject to small variations of their domains. We use the abstract theory of boundary triplets to quantify such perturbations and give the second order asymptotic analysis for resolvents, spectral projections, discrete eigenvalues of the corresponding self-adjoint operators. In particular, we derive explicit…
▽ More
In this paper we develop certain aspects of perturbation theory for self-adjoint operators subject to small variations of their domains. We use the abstract theory of boundary triplets to quantify such perturbations and give the second order asymptotic analysis for resolvents, spectral projections, discrete eigenvalues of the corresponding self-adjoint operators. In particular, we derive explicit formulas for the first variation and the Hessian of the eigenvalue curves bifurcating from a discrete eigenvalue of an unperturbed operator. An application is given to a matrix valued Robin Laplacian and more general Robin-type self-adjoint extensions.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
First-order asymptotic perturbation theory for extensions of symmetric operators
Authors:
Yuri Latushkin,
Selim Sukhtaiev
Abstract:
This work offers a new prospective on asymptotic perturbation theory for varying self-adjoint extensions of symmetric operators. Employing symplectic formulation of self-adjointness we obtain a new version of Krein formula for resolvent difference which facilitates asymptotic analysis of resolvent operators via first order expansion for the family of Lagrangian planes associated with perturbed ope…
▽ More
This work offers a new prospective on asymptotic perturbation theory for varying self-adjoint extensions of symmetric operators. Employing symplectic formulation of self-adjointness we obtain a new version of Krein formula for resolvent difference which facilitates asymptotic analysis of resolvent operators via first order expansion for the family of Lagrangian planes associated with perturbed operators. Specifically, we derive a Riccati-type differential equation and the first order asymptotic expansion for resolvents of self-adjoint extensions determined by smooth one-parameter families of Lagrangian planes. This asymptotic perturbation theory yields a symplectic version of the abstract Kato selection theorem and Hadamard-Rellich-type variational formula for slopes of multiple eigenvalue curves bifurcating from an eigenvalue of the unperturbed operator. The latter, in turn, gives a general infinitesimal version of the celebrated formula equating the spectral flow of a path of self-adjoint extensions and the Maslov index of the corresponding path of Lagrangian planes. Applications are given to quantum graphs, periodic Kronig-Penney model, elliptic second order partial differential operators with Robin boundary conditions, and physically relevant heat equations with thermal conductivity.
△ Less
Submitted 7 July, 2024; v1 submitted 30 November, 2020;
originally announced December 2020.
-
The essential spectrum of periodically-stationary solutions of the complex Ginzburg-Landau equation
Authors:
John Zweck,
Yuri Latushkin,
Jeremy L. Marzuola,
Christopher K. R. T. Jones
Abstract:
We establish the existence and regularity properties of a monodromy operator for the linearization of the cubic-quintic complex Ginzburg-Landau equation about a periodically-stationary (breather) solution. We derive a formula for the essential spectrum of the monodromy operator in terms of that of the associated asymptotic linear differential operator. This result is obtained using the theory of a…
▽ More
We establish the existence and regularity properties of a monodromy operator for the linearization of the cubic-quintic complex Ginzburg-Landau equation about a periodically-stationary (breather) solution. We derive a formula for the essential spectrum of the monodromy operator in terms of that of the associated asymptotic linear differential operator. This result is obtained using the theory of analytic semigroups under the assumption that the Ginzburg-Landau equation includes a spectral filtering (diffusion) term. We discuss applications to the stability of periodically-stationary pulses in ultrafast fiber lasers.
△ Less
Submitted 6 October, 2020; v1 submitted 18 May, 2020;
originally announced May 2020.
-
Exponential dichotomies for elliptic PDE on radial domains
Authors:
Margaret Beck,
Graham Cox,
Christopher Jones,
Yuri Latushkin,
Alim Sukhtayev
Abstract:
It was recently shown by the authors that a semilinear elliptic equation can be represented as an infinite-dimensional dynamical system in terms of boundary data on a shrinking one-parameter family of domains. The resulting system is ill-posed, in the sense that solutions do not typically exist forward or backward in time. In this paper we consider a radial family of domains and prove that the lin…
▽ More
It was recently shown by the authors that a semilinear elliptic equation can be represented as an infinite-dimensional dynamical system in terms of boundary data on a shrinking one-parameter family of domains. The resulting system is ill-posed, in the sense that solutions do not typically exist forward or backward in time. In this paper we consider a radial family of domains and prove that the linearized system admits an exponential dichotomy, with the unstable subspace corresponding to the boundary data of weak solutions to the linear PDE. This generalizes the spatial dynamics approach, which applies to infinite cylindrical (channel) domains, and also generalizes previous work on radial domains as we impose no symmetry assumptions on the equation or its solutions.
△ Less
Submitted 13 July, 2020; v1 submitted 24 July, 2019;
originally announced July 2019.
-
A dynamical approach to semilinear elliptic equations
Authors:
Margaret Beck,
Graham Cox,
Christopher Jones,
Yuri Latushkin,
Alim Sukhtayev
Abstract:
A characterization of a semilinear elliptic partial differential equation (PDE) on a bounded domain in $\mathbb{R}^n$ is given in terms of an infinite-dimensional dynamical system. The dynamical system is on the space of boundary data for the PDE. This is a novel approach to elliptic problems that enables the use of dynamical systems tools in studying the corresponding PDE. The dynamical system is…
▽ More
A characterization of a semilinear elliptic partial differential equation (PDE) on a bounded domain in $\mathbb{R}^n$ is given in terms of an infinite-dimensional dynamical system. The dynamical system is on the space of boundary data for the PDE. This is a novel approach to elliptic problems that enables the use of dynamical systems tools in studying the corresponding PDE. The dynamical system is ill-posed, meaning solutions do not exist forwards or backwards in time for generic initial data. We offer a framework in which this ill-posed system can be analyzed. This can be viewed as generalizing the theory of spatial dynamics, which applies to the case of an infinite cylindrical domain.
△ Less
Submitted 13 July, 2020; v1 submitted 23 July, 2019;
originally announced July 2019.
-
Instability of unidirectional flows for the 2D $α$-Euler equations
Authors:
Holger Dullin,
Yuri Latushkin,
Robert Marangell,
Shibi Vasudevan,
Joachim Worthington
Abstract:
We study stability of unidirectional flows for the linearized 2D $α$-Euler equations on the torus. The unidirectional flows are steady states whose vorticity is given by Fourier modes corresponding to a vector $\mathbf p \in \mathbb Z^{2}$. We linearize the $α$-Euler equation and write the linearized operator $L_{B} $ in $\ell^{2}(\mathbb Z^{2})$ as a direct sum of one-dimensional difference opera…
▽ More
We study stability of unidirectional flows for the linearized 2D $α$-Euler equations on the torus. The unidirectional flows are steady states whose vorticity is given by Fourier modes corresponding to a vector $\mathbf p \in \mathbb Z^{2}$. We linearize the $α$-Euler equation and write the linearized operator $L_{B} $ in $\ell^{2}(\mathbb Z^{2})$ as a direct sum of one-dimensional difference operators $L_{B,\mathbf q}$ in $\ell^{2}(\mathbb Z)$ parametrized by some vectors $\mathbf q\in\mathbb Z^2$ such that the set $\{\mathbf q +n \mathbf p:n \in \mathbb Z\}$ covers the entire grid $\mathbb Z^{2}$. The set $\{\mathbf q +n \mathbf p:n \in \mathbb Z\}$ can have zero, one, or two points inside the disk of radius $\|\mathbf p\|$. We consider the case where the set $\{\mathbf q +n \mathbf p:n \in \mathbb Z\}$ has exactly one point in the open disc of radius $\mathbf p$. We show that unidirectional flows that satisfy this condition are linearly unstable. Our main result is an instability theorem that provides a necessary and sufficient condition for the existence of a positive eigenvalue to the operator $L_{B,\mathbf q}$ in terms of equations involving certain continued fractions. Moreover, we are also able to provide a complete characterization of the corresponding eigenvector. The proof is based on the use of continued fractions techniques expanding upon the ideas of Friedlander and Howard.
△ Less
Submitted 23 July, 2019; v1 submitted 5 January, 2019;
originally announced January 2019.
-
An index theorem for Schrödinger operators on metric graphs
Authors:
Yuri Latushkin,
Selim Sukhtaiev
Abstract:
We show that the spectral flow of a one-parameter family of Schrödinger operators on a metric graph is equal to the Maslov index of a path of Lagrangian subspaces describing the vertex conditions. In addition, we derive an Hadamard-type formula for the derivatives of the eigenvalue curves via the Maslov crossing form.
We show that the spectral flow of a one-parameter family of Schrödinger operators on a metric graph is equal to the Maslov index of a path of Lagrangian subspaces describing the vertex conditions. In addition, we derive an Hadamard-type formula for the derivatives of the eigenvalue curves via the Maslov crossing form.
△ Less
Submitted 26 September, 2018; v1 submitted 25 September, 2018;
originally announced September 2018.
-
Limits of Quantum Graph Operators With Shrinking Edges
Authors:
Gregory Berkolaiko,
Yuri Latushkin,
Selim Sukhtaiev
Abstract:
We address the question of convergence of Schrödinger operators on metric graphs with general self-adjoint vertex conditions as lengths of some of graph's edges shrink to zero. We determine the limiting operator and study convergence in a suitable norm resolvent sense. It is noteworthy that, as edge lengths tend to zero, standard Sobolev-type estimates break down, making convergence fail for some…
▽ More
We address the question of convergence of Schrödinger operators on metric graphs with general self-adjoint vertex conditions as lengths of some of graph's edges shrink to zero. We determine the limiting operator and study convergence in a suitable norm resolvent sense. It is noteworthy that, as edge lengths tend to zero, standard Sobolev-type estimates break down, making convergence fail for some graphs. We use a combination of functional-analytic bounds on the edges of the graph and Lagrangian geometry considerations for the vertex conditions to establish a sufficient condition for convergence. This condition encodes an intricate balance between the topology of the graph and its vertex data. In particular, it does not depend on the potential, on the differences in the rates of convergence of the shrinking edges, or on the lengths of the unaffected edges.
△ Less
Submitted 17 May, 2019; v1 submitted 1 June, 2018;
originally announced June 2018.
-
Eigenvalues of the linearized 2D Euler equations via Birman-Schwinger and Lin's operators
Authors:
Yuri Latushkin,
Shibi Vasudevan
Abstract:
We study spectral instability of steady states to the linearized 2D Euler equations on the torus written in vorticity form via certain Birman-Schwinger type operators $K_λ(μ)$ and their associated 2-modified perturbation determinants $\mathcal D(λ,μ)$. Our main result characterizes the existence of an unstable eigenvalue to the linearized vorticity operator $L_{\rm vor}$ in terms of zeros of the 2…
▽ More
We study spectral instability of steady states to the linearized 2D Euler equations on the torus written in vorticity form via certain Birman-Schwinger type operators $K_λ(μ)$ and their associated 2-modified perturbation determinants $\mathcal D(λ,μ)$. Our main result characterizes the existence of an unstable eigenvalue to the linearized vorticity operator $L_{\rm vor}$ in terms of zeros of the 2-modified Fredholm determinant $\mathcal D(λ,0)=\det_{2}(I-K_λ(0))$ associated with the Hilbert Schmidt operator $K_λ(μ)$ for $μ=0$. As a consequence, we are also able to provide an alternative proof to an instability theorem first proved by Zhiwu Lin which relates existence of an unstable eigenvalue for $L_{\rm vor}$ to the number of negative eigenvalues of a limiting elliptic dispersion operator $A_{0}$.
△ Less
Submitted 6 February, 2018;
originally announced February 2018.
-
Stability criteria for the 2D $α$-Euler equations
Authors:
Yuri Latushkin,
Shibi Vasudevan
Abstract:
We derive analogues of the classical Rayleigh, Fjortoft and Arnold stability and instability theorems in the context of the 2D $α$-Euler equations.
We derive analogues of the classical Rayleigh, Fjortoft and Arnold stability and instability theorems in the context of the 2D $α$-Euler equations.
△ Less
Submitted 17 December, 2017;
originally announced December 2017.
-
Spectrum of non-planar traveling waves
Authors:
Anna Ghazaryan,
Yuri Latushkin,
Alin Pogan
Abstract:
In this paper we prove that a class of non self-adjoint second order differential operators acting in cylinders $Ω\times\mathbb R\subseteq\mathbb R^{d+1}$ have only real discrete spectrum located to the right of the right most point of the essential spectrum. We describe the essential spectrum using the limiting properties of the potential. To track the discrete spectrum we use spatial dynamics an…
▽ More
In this paper we prove that a class of non self-adjoint second order differential operators acting in cylinders $Ω\times\mathbb R\subseteq\mathbb R^{d+1}$ have only real discrete spectrum located to the right of the right most point of the essential spectrum. We describe the essential spectrum using the limiting properties of the potential. To track the discrete spectrum we use spatial dynamics and bi-semigroups of linear operators to estimate the decay rate of eigenfunctions associated to isolated eigenvalues.
△ Less
Submitted 6 November, 2017;
originally announced November 2017.
-
Stability of a planar front in a multidimensional reaction-diffusion system
Authors:
Anna Ghazaryan,
Yuri Latushkin,
Xinyao Yang
Abstract:
We study the planar front solution for a class of reaction diffusion equations in multidimensional space in the case when the essential spectrum of the linearization in the direction of the front touches the imaginary axis. At the linear level, the spectrum is stabilized by using an exponential weight. A-priori estimates for the nonlinear terms of the equation governing the evolution of the pertur…
▽ More
We study the planar front solution for a class of reaction diffusion equations in multidimensional space in the case when the essential spectrum of the linearization in the direction of the front touches the imaginary axis. At the linear level, the spectrum is stabilized by using an exponential weight. A-priori estimates for the nonlinear terms of the equation governing the evolution of the perturbations of the front are obtained when perturbations belong to the intersection of the exponentially weighted space with the original space without a weight. These estimates are then used to show that in the original norm, initially small perturbations to the front remain bounded, while in the exponentially weighted norm, they algebraically decay in time.
△ Less
Submitted 8 December, 2017; v1 submitted 1 July, 2017;
originally announced July 2017.
-
Instability of pulses in gradient reaction-diffusion systems: A symplectic approach
Authors:
Margaret Beck,
Graham Cox,
Christopher Jones,
Yuri Latushkin,
Kelly McQuighan,
Alim Sukhtayev
Abstract:
In a scalar reaction-diffusion equation, it is known that the stability of a steady state can be determined from the Maslov index, a topological invariant that counts the state's critical points. In particular, this implies that pulse solutions are unstable. We extend this picture to pulses in reaction-diffusion systems with gradient nonlinearity. In particular, we associate a Maslov index to any…
▽ More
In a scalar reaction-diffusion equation, it is known that the stability of a steady state can be determined from the Maslov index, a topological invariant that counts the state's critical points. In particular, this implies that pulse solutions are unstable. We extend this picture to pulses in reaction-diffusion systems with gradient nonlinearity. In particular, we associate a Maslov index to any asymptotically constant state, generalizing existing definitions of the Maslov index for homoclinic orbits. It is shown that this index equals the number of unstable eigenvalues for the linearized evolution equation. Finally, we use a symmetry argument to show that any pulse solution must have nonzero Maslov index, and hence be unstable.
△ Less
Submitted 20 September, 2017; v1 submitted 10 May, 2017;
originally announced May 2017.
-
The Selgrade decomposition for linear semiflows on Banach spaces
Authors:
Alex Blumenthal,
Yuri Latushkin
Abstract:
We extend Selgrade's Theorem, Morse spectrum, and related concepts to the setting of linear skew product semiflows on a separable Banach bundle. We recover a characterization, well-known in the finite-dimensional setting, of exponentially separated subbundles as attractor-repeller pairs for the associated semiflow on the projective bundle.
We extend Selgrade's Theorem, Morse spectrum, and related concepts to the setting of linear skew product semiflows on a separable Banach bundle. We recover a characterization, well-known in the finite-dimensional setting, of exponentially separated subbundles as attractor-repeller pairs for the associated semiflow on the projective bundle.
△ Less
Submitted 18 January, 2017;
originally announced January 2017.
-
The Maslov Index and the Spectra of Second Order Elliptic Operators
Authors:
Yuri Latushkin,
Selim Sukhtaiev
Abstract:
We consider second order elliptic differential operators on a bounded Lipschitz domain $Ω$. Firstly, we establish a natural one-to-one correspondence between their self-adjoint extensions, with domains of definition containing in $H^1(Ω)$, and Lagrangian planes in $H^{1/2}(\partialΩ)\times H^{-1/2}(\partialΩ)$. Secondly, we derive a formula relating the spectral flow of the one-parameter families…
▽ More
We consider second order elliptic differential operators on a bounded Lipschitz domain $Ω$. Firstly, we establish a natural one-to-one correspondence between their self-adjoint extensions, with domains of definition containing in $H^1(Ω)$, and Lagrangian planes in $H^{1/2}(\partialΩ)\times H^{-1/2}(\partialΩ)$. Secondly, we derive a formula relating the spectral flow of the one-parameter families of such operators to the Maslov index, the topological invariant counting the signed number of conjugate points of paths of Lagrangian planes in $H^{1/2}(\partialΩ)\times H^{-1/2}(\partialΩ)$. Furthermore, we compute the Morse index, the number of negative eigenvalues, in terms of the Maslov index for several classes of the second order operators: the $\vecθ-$periodic Schrödinger operators on a period cell $Q\subset \mathbb{R}^n$, the elliptic operators with Robin-type boundary conditions, and the abstract self-adjoint extensions of the Schrödinger operators on star-shaped domains. Our work is built on the techniques recently developed by B.Booß-Bavnbek, K. Furutani, and C. Zhu, and extends the scope of validity of their spectral flow formula by incorporating the self-adjoint extensions of the second order operators with domains in the first order Sobolev space $H^1(Ω)$. In addition, we generalize the results concerning relations between the Maslov and Morse indices quite recently obtained by G. Cox, J. Deng, C. Jones, J. Marzuola, A. Sukhtayev and the authors. Finally, we describe and study a link between the theory of abstract boundary triples and the Lagrangian description of self-adjoint extensions of abstract symmetric operators.
△ Less
Submitted 30 October, 2016;
originally announced October 2016.
-
The Maslov and Morse indices for Schrödinger operators on $\mathbb{R}$
Authors:
Peter Howard,
Yuri Latushkin,
Alim Sukhtayev
Abstract:
Assuming a symmetric potential that approaches constant endstates with a sufficient asymptotic rate, we relate the Maslov and Morse indices for Schrödinger operators on $\mathbb{R}$. In particular, we show that with our choice of convention, the Morse index is precisely the negative of the Maslov index.
Assuming a symmetric potential that approaches constant endstates with a sufficient asymptotic rate, we relate the Maslov and Morse indices for Schrödinger operators on $\mathbb{R}$. In particular, we show that with our choice of convention, the Morse index is precisely the negative of the Maslov index.
△ Less
Submitted 19 August, 2016;
originally announced August 2016.
-
The Maslov index for Lagrangian pairs on $\mathbb{R}^{2n}$
Authors:
Peter Howard,
Yuri Latushkin,
Alim Sukhtayev
Abstract:
We discuss a definition of the Maslov index for Lagrangian pairs on $\mathbb{R}^{2n}$ based on spectral flow, and develop many of its salient properties. We provide two applications to illustrate how our approach leads to a straightforward analysis of the relationship between the Maslov index and the Morse index for Schödinger operators on $[0,1]$ and $\mathbb{R}$.
We discuss a definition of the Maslov index for Lagrangian pairs on $\mathbb{R}^{2n}$ based on spectral flow, and develop many of its salient properties. We provide two applications to illustrate how our approach leads to a straightforward analysis of the relationship between the Maslov index and the Morse index for Schödinger operators on $[0,1]$ and $\mathbb{R}$.
△ Less
Submitted 1 August, 2016;
originally announced August 2016.
-
Stable foliations near a traveling front for reaction diffusion systems
Authors:
Yuri Latushkin,
Roland Schnaubelt,
Xinyao Yang
Abstract:
We establish the existence of a stable foliation in the vicinity of a traveling front solution for systems of reaction diffusion equations in one space dimension that arise in the study of chemical reactions models and solid fuel combustion. In this way we complement the orbital stability results from earlier papers by A. Ghazaryan, S. Schecter and Y. Latushkin. The essential spectrum of the diffe…
▽ More
We establish the existence of a stable foliation in the vicinity of a traveling front solution for systems of reaction diffusion equations in one space dimension that arise in the study of chemical reactions models and solid fuel combustion. In this way we complement the orbital stability results from earlier papers by A. Ghazaryan, S. Schecter and Y. Latushkin. The essential spectrum of the differential operator obtained by linearization at the front touches the imaginary axis. In spaces with exponential weights, one can shift the spectrum to the left. We study the nonlinear equation on the intersection of the unweighted and weighted spaces. Small translations of the front form a center unstable manifold. For each small translation we prove the existence of a stable manifold containing the translated front and show that the stable manifolds foliate a small ball centered at the front.
△ Less
Submitted 8 July, 2016;
originally announced July 2016.
-
Hadamard-type formulas via the Maslov form
Authors:
Yuri Latushkin,
Alim Sukhtayev
Abstract:
Given a star-shaped bounded Lipschitz domain $Ω\subset{\mathbb R}^d$, we consider the Schrödinger operator $L_{\mathcal G}=-Δ+V$ on $Ω$ and its restrictions $L^{Ω_t}_{\mathcal G}$ on the subdomains $Ω_t$, $t\in[0,1]$, obtained by shrinking $Ω$ towards its center. We impose either the Dirichlet or quite general Robin-type boundary conditions determined by a subspace ${\mathcal G}$ of the boundary s…
▽ More
Given a star-shaped bounded Lipschitz domain $Ω\subset{\mathbb R}^d$, we consider the Schrödinger operator $L_{\mathcal G}=-Δ+V$ on $Ω$ and its restrictions $L^{Ω_t}_{\mathcal G}$ on the subdomains $Ω_t$, $t\in[0,1]$, obtained by shrinking $Ω$ towards its center. We impose either the Dirichlet or quite general Robin-type boundary conditions determined by a subspace ${\mathcal G}$ of the boundary space $H^{1/2}(\partialΩ)\times H^{-1/2}(\partialΩ)$, and assume that the potential is smooth and takes values in the set of symmetric $(N\times N)$ matrices. Two main results are proved: First, for any $t_0\in(0,1]$ we give an asymptotic formula for the eigenvalues $λ(t)$ of the operator $L^{Ω_t}_{\mathcal G}$ as $t\to t_0$ up to quadratic terms, that is, we explicitly compute the first and second $t$-derivatives of the eigenvalues. This includes the case of the eigenvalues with arbitrary multiplicities. Second, we compute the first derivative of the eigenvalues via the (Maslov) crossing form utilized in symplectic topology to define the Arnold-Maslov-Keller index of a path in the set of Lagrangian subspaces of the boundary space. The path is obtained by taking the Dirichlet and Neumann traces of the weak solutions of the eigenvalue problems for $L^{Ω_t}_{\mathcal G}$.
△ Less
Submitted 27 January, 2016;
originally announced January 2016.
-
Counting spectrum via the Maslov index for one dimensional $θ-$periodic Schrödinger operators
Authors:
Christopher K. R. T. Jones,
Yuri Latushkin,
Selim Sukhtaiev
Abstract:
We study the spectrum of the Schrödinger operators with $n\times n$ matrix valued potentials on a finite interval subject to $θ-$periodic boundary conditions. For two such operators, corresponding to different values of $θ$, we compute the difference of their eigenvalue counting functions via the Maslov index of a path of Lagrangian planes. In addition we derive a formula for the derivatives of th…
▽ More
We study the spectrum of the Schrödinger operators with $n\times n$ matrix valued potentials on a finite interval subject to $θ-$periodic boundary conditions. For two such operators, corresponding to different values of $θ$, we compute the difference of their eigenvalue counting functions via the Maslov index of a path of Lagrangian planes. In addition we derive a formula for the derivatives of the eigenvalues with respect to $θ$ in terms of the Maslov crossing form. Finally, we give a new shorter proof of a recent result relating the Morse and Maslov indices of the Schrödinger operator for a fixed $θ$.
△ Less
Submitted 16 October, 2015;
originally announced October 2015.
-
Some results on the entropy of nonautonomous dynamical systems
Authors:
Christoph Kawan,
Yuri Latushkin
Abstract:
In this paper we advance the entropy theory of discrete nonautonomous dynamical systems that was initiated by Kolyada and Snoha in 1996. The first part of the paper is devoted to the measure-theoretic entropy theory of general topological systems. We derive several conditions guaranteeing that an initial probability measure, when pushed forward by the system, produces an invariant measure sequence…
▽ More
In this paper we advance the entropy theory of discrete nonautonomous dynamical systems that was initiated by Kolyada and Snoha in 1996. The first part of the paper is devoted to the measure-theoretic entropy theory of general topological systems. We derive several conditions guaranteeing that an initial probability measure, when pushed forward by the system, produces an invariant measure sequence whose entropy captures the dynamics on arbitrarily fine scales. In the second part of the paper, we apply the general theory to the nonstationary subshifts of finite type, introduced by Fisher and Arnoux. In particular, we give sufficient conditions for the variational principle, relating the topological and measure-theoretic entropy, to hold.
△ Less
Submitted 30 July, 2015;
originally announced July 2015.
-
The Morse and Maslov Indices for Schrödinger Operators
Authors:
Yuri Latushkin,
Alim Sukhtayev,
Selim Sukhtaiev
Abstract:
We study the spectrum of Schrödinger operators with matrix valued potentials utilizing tools from infinite dimensional symplectic geometry. Using the spaces of abstract boundary values, we derive relations between the Morse and Maslov indices for a family of operators on a Hilbert space obtained by perturbing a given self-adjoint operator by a smooth family of bounded self-adjoint operators. The a…
▽ More
We study the spectrum of Schrödinger operators with matrix valued potentials utilizing tools from infinite dimensional symplectic geometry. Using the spaces of abstract boundary values, we derive relations between the Morse and Maslov indices for a family of operators on a Hilbert space obtained by perturbing a given self-adjoint operator by a smooth family of bounded self-adjoint operators. The abstract results are applied to the Schrödinger operators with quasi-periodic, Dirichlet and Neumann boundary conditions. In particular, we derive an analogue of the Morse-Smale Index Theorem for the multidimensional Schrödinger operators with periodic potentials. For quasi convex domains in $\mathbb{R}^n$ we recast the results connecting the Morse and Maslov indices using the Dirichlet and Neumann traces on the boundary of the domain.
△ Less
Submitted 7 November, 2014; v1 submitted 6 November, 2014;
originally announced November 2014.
-
The Morse and Maslov indices for multidimensional Schrödinger operators with matrix-valued potentials
Authors:
Graham Cox,
Christopher K. R. T. Jones,
Yuri Latushkin,
Alim Sukhtayev
Abstract:
We study the Schrödinger operator $L=-Δ+V$ on a star-shaped domain $Ω$ in $\mathbb{R}^d$ with Lipschitz boundary $\partialΩ$. The operator is equipped with quite general Dirichlet- or Robin-type boundary conditions induced by operators between $H^{1/2}(\partialΩ)$ and $H^{-1/2}(\partialΩ)$, and the potential takes values in the set of symmetric $N\times N$ matrices. By shrinking the domain and res…
▽ More
We study the Schrödinger operator $L=-Δ+V$ on a star-shaped domain $Ω$ in $\mathbb{R}^d$ with Lipschitz boundary $\partialΩ$. The operator is equipped with quite general Dirichlet- or Robin-type boundary conditions induced by operators between $H^{1/2}(\partialΩ)$ and $H^{-1/2}(\partialΩ)$, and the potential takes values in the set of symmetric $N\times N$ matrices. By shrinking the domain and rescaling the operator we obtain a path in the Fredholm-Lagrangian-Grassmannian of the subspace of $H^{1/2}(\partialΩ)\times H^{-1/2}(\partialΩ)$ corresponding to the given boundary condition. The path is formed by computing the Dirichlet and Neumann traces of weak solutions to the rescaled eigenvalue equation. We prove a formula relating the number of negative eigenvalues of $L$ (the Morse index), the signed crossings of the path (the Maslov index), the number of negative eigenvalues of the potential matrix evaluated at the center of the domain, and the number of negative squares of a bilinear form related to the boundary operator.
△ Less
Submitted 3 June, 2015; v1 submitted 5 August, 2014;
originally announced August 2014.
-
Some Operator Bounds Employing Complex Interpolation Revisited
Authors:
Fritz Gesztesy,
Yuri Latushkin,
Fedor Sukochev,
Yuri Tomilov
Abstract:
We revisit and extend known bounds on operator-valued functions of the type $$ T_1^{-z} S T_2^{-1+z}, \quad z \in \ol Σ= \{z\in\bbC\,|\, \Re(z) \in [0,1]\}, $$ under various hypotheses on the linear operators $S$ and $T_j$, $j=1,2$. We particularly single out the case of self-adjoint and sectorial operators $T_j$ in some separable complex Hilbert space $\cH_j$, $j=1,2$, and suppose that $S$ (resp.…
▽ More
We revisit and extend known bounds on operator-valued functions of the type $$ T_1^{-z} S T_2^{-1+z}, \quad z \in \ol Σ= \{z\in\bbC\,|\, \Re(z) \in [0,1]\}, $$ under various hypotheses on the linear operators $S$ and $T_j$, $j=1,2$. We particularly single out the case of self-adjoint and sectorial operators $T_j$ in some separable complex Hilbert space $\cH_j$, $j=1,2$, and suppose that $S$ (resp., $S^*$) is a densely defined closed operator map** $\dom(S) \subseteq \cH_1$ into $\cH_2$ (resp., $\dom(S^*) \subseteq \cH_2$ into $\cH_1$), relatively bounded with respect to $T_1$ (resp., $T_2^*$). Using complex interpolation methods, a generalized polar decomposition for $S$, and Heinz's inequality, the bounds we establish lead to inequalities of the following type, \begin{align*} & \big\|\ol{T_2^{-x}ST_1^{-1+x}}\big\|_{\cB(\cH_1,\cH_2)} \leq N_1 N_2 e^{(θ_1 + θ_2) [x(1-x)]^{1/2}} \\ & \quad \times \big\|ST_1^{-1}\big\|_{\cB(\cH_1,\cH_2)}^{1-x} \, \big\|S^*(T_2^*)^{-1}\big\|_{\cB(\cH_2,\cH_1)}^{x}, \quad x \in [0,1], \end{align*} assuming that $T_j$ have bounded imaginary powers, that is, for some $N_j\ge 1$ and $θ_j \ge 0,$ $$ \big\|T_j^{is}\big\|_{\cB(\cH)} \leq N_j e^{θ_j |s|}, \quad s \in \bbR, \; j=1,2. $$ We also derive analogous bounds with $\cB(\cH_1,\cH_2)$ replaced by trace ideals, $\cB_p(\cH_1, \cH_2)$, $p \in [1,\infty)$. The methods employed are elementary, predominantly relying on Hadamard's three-lines theorem and Heinz's inequality.
△ Less
Submitted 7 May, 2014;
originally announced May 2014.
-
The Morse and Maslov indices for matrix Hill's equations
Authors:
Christopher K. R. T. Jones,
Yuri Latushkin,
Robert Marangell
Abstract:
For Hill's equations with matrix valued periodic potential, we discuss relations between the Morse index, counting the number of unstable eigenvalues, and the Maslov index, counting the number of signed intersections of a path in the space of Lagrangian planes with a fixed plane. We adapt to the one dimensional periodic setting the strategy of a recent paper by J. Deng and C. Jones relating the Mo…
▽ More
For Hill's equations with matrix valued periodic potential, we discuss relations between the Morse index, counting the number of unstable eigenvalues, and the Maslov index, counting the number of signed intersections of a path in the space of Lagrangian planes with a fixed plane. We adapt to the one dimensional periodic setting the strategy of a recent paper by J. Deng and C. Jones relating the Morse and Maslov indices for multidimensional elliptic eigenvalue problems.
△ Less
Submitted 18 June, 2015; v1 submitted 18 January, 2013;
originally announced January 2013.
-
Finding eigenvalues of holomorphic Fredholm operator pencils using boundary value problems and contour integrals
Authors:
Wolf-Juergen Beyn,
Yuri Latushkin,
Jens Rottmann-Matthes
Abstract:
Investigating the stability of nonlinear waves often leads to linear or nonlinear eigenvalue problems for differential operators on unbounded domains. In this paper we propose to detect and approximate the point spectra of such operators (and the associated eigenfunctions) via contour integrals of solutions to resolvent equations. The approach is based on Keldysh' theorem and extends a recent meth…
▽ More
Investigating the stability of nonlinear waves often leads to linear or nonlinear eigenvalue problems for differential operators on unbounded domains. In this paper we propose to detect and approximate the point spectra of such operators (and the associated eigenfunctions) via contour integrals of solutions to resolvent equations. The approach is based on Keldysh' theorem and extends a recent method for matrices depending analytically on the eigenvalue parameter. We show that errors are well-controlled under very general assumptions when the resolvent equations are solved via boundary value problems on finite domains. Two applications are presented: an analytical study of Schrödinger operators on the real line as well as on bounded intervals and a numerical study of the FitzHugh-Nagumo system. We also relate the contour method to the well-known Evans function and show that our approach provides an alternative to evaluating and computing its zeroes.
△ Less
Submitted 15 October, 2012;
originally announced October 2012.
-
The index formula and the spectral shift function for relatively trace class perturbations
Authors:
Fritz Gesztesy,
Yuri Latushkin,
Konstantin A. Makarov,
Fedor Sukochev,
Yuri Tomilov
Abstract:
We compute the Fredholm index, ${\rm ind}(D_A)$, of the operator $D_A = (d/dt) + A$ on $L^2(\mathbb{R};\mathcal{H})$ associated with the operator path $\{A(t)\}_{t=-\infty}^{\infty}$, where $(A f)(t) = A(t) f(t)$ for a.e. $t\in\mathbb{R}$, and appropriate $f \in L^2(\mathbb{R};\mathcal{H})$, via the spectral shift function $ξ(\, \cdot \,;A_+,A_-)$ associated with the pair $(A_+, A_-)$ of asymptoti…
▽ More
We compute the Fredholm index, ${\rm ind}(D_A)$, of the operator $D_A = (d/dt) + A$ on $L^2(\mathbb{R};\mathcal{H})$ associated with the operator path $\{A(t)\}_{t=-\infty}^{\infty}$, where $(A f)(t) = A(t) f(t)$ for a.e. $t\in\mathbb{R}$, and appropriate $f \in L^2(\mathbb{R};\mathcal{H})$, via the spectral shift function $ξ(\, \cdot \,;A_+,A_-)$ associated with the pair $(A_+, A_-)$ of asymptotic operators $A_{\pm}=A(\pm\infty)$ on the separable complex Hilbert space $\mathcal{H}$ in the case when $A(t)$ is generally an unbounded (relatively trace class) perturbation of the unbounded self-adjoint operator $A_-$. We derive a formula (an extension of a formula due to Pushnitski) relating the spectral shift function $ξ(\, \cdot \,;A_+,A_-)$ for the pair $(A_+, A_-)$, and the corresponding spectral shift function $ξ(\, \cdot \,;H_2,H_1)$ for the pair of operators $(H_2,H_1)=(D_A {D_A}^*, {D_A}^* D_A)$ in this relative trace class context. This formula is then used to identify the Fredholm index of $D_A$ with $ξ(0;A_+,A_-)$. In addition, we prove that ${\rm ind}(D_A)$ coincides with the spectral flow SpFlow$(\{A(t)\}_{t=-\infty}^\infty)$ of the family $\{A(t)\}_{t\in\mathbb{R}}$ and also relate it to the (Fredholm) perturbation determinant for the pair $(A_+, A_-)$. We also provide some applications in the context of supersymmetric quantum mechanics to zeta function and heat kernel regularized spectral asymmetries and the eta-invariant.
△ Less
Submitted 1 March, 2015; v1 submitted 9 April, 2010;
originally announced April 2010.
-
Derivatives of (Modified) Fredholm Determinants and Stability of Standing and Traveling Waves
Authors:
Fritz Gesztesy,
Yuri Latushkin,
Kevin Zumbrun
Abstract:
Continuing a line of investigation initiated in [11] exploring the connections between Jost and Evans functions and (modified) Fredholm determinants of Birman-Schwinger type integral operators, we here examine the stability index, or sign of the first nonvanishing derivative at frequency zero of the characteristic determinant, an object that has found considerable use in the study by Evans functio…
▽ More
Continuing a line of investigation initiated in [11] exploring the connections between Jost and Evans functions and (modified) Fredholm determinants of Birman-Schwinger type integral operators, we here examine the stability index, or sign of the first nonvanishing derivative at frequency zero of the characteristic determinant, an object that has found considerable use in the study by Evans function techniques of stability of standing and traveling wave solutions of partial differential equations (PDE) in one dimension. This leads us to the derivation of general perturbation expansions for analytically-varying modified Fredholm determinants of abstract operators. Our main conclusion, similarly in the analysis of the determinant itself, is that the derivative of the characteristic Fredholm determinant may be efficiently computed from first principles for integral operators with semi-separable integral kernels, which include in particular the general one-dimensional case, and for sums thereof, which latter possibility appears to offer applications in the multi-dimensional case.
A second main result is to show that the multi-dimensional characteristic Fredholm determinant is the renormalized limit of a sequence of Evans functions defined in [23] on successive Galerkin subspaces, giving a natural extension of the one-dimensional results of [11] and answering a question of [27] whether this sequence might possibly converge (in general, no, but with renormalization, yes). Convergence is useful in practice for numerical error control and acceleration.
△ Less
Submitted 30 November, 2016; v1 submitted 12 February, 2008;
originally announced February 2008.
-
Evans Functions, Jost Functions, and Fredholm Determinants
Authors:
Fritz Gesztesy,
Yuri Latushkin,
Konstantin A. Makarov
Abstract:
The principal results of this paper consist of an intrinsic definition of the Evans function in terms of newly introduced generalized matrix-valued Jost solutions for general first-order matrix-valued differential equations on the real line, and a proof of the fact that the Evans function, a finite-dimensional determinant by construction, coincides with a modified Fredholm determinant associated…
▽ More
The principal results of this paper consist of an intrinsic definition of the Evans function in terms of newly introduced generalized matrix-valued Jost solutions for general first-order matrix-valued differential equations on the real line, and a proof of the fact that the Evans function, a finite-dimensional determinant by construction, coincides with a modified Fredholm determinant associated with a Birman-Schwinger-type integral operator up to a nonvanishing factor.
△ Less
Submitted 15 November, 2005;
originally announced November 2005.
-
Non-self-adjoint operators, infinite determinants, and some applications
Authors:
Fritz Gesztesy,
Yuri Latushkin,
Marius Mitrea,
Maxim Zinchenko
Abstract:
We study various spectral theoretic aspects of non-self-adjoint operators. Specifically, we consider a class of factorable non-self-adjoint perturbations of a given unperturbed non-self-adjoint operator and provide an in-depth study of a variant of the Birman-Schwinger principle as well as local and global Weinstein-Aronszajn formulas.
Our applications include a study of suitably symmetrized (mo…
▽ More
We study various spectral theoretic aspects of non-self-adjoint operators. Specifically, we consider a class of factorable non-self-adjoint perturbations of a given unperturbed non-self-adjoint operator and provide an in-depth study of a variant of the Birman-Schwinger principle as well as local and global Weinstein-Aronszajn formulas.
Our applications include a study of suitably symmetrized (modified) perturbation determinants of Schrödinger operators in dimensions n=1,2,3 and their connection with Krein's spectral shift function in two- and three-dimensional scattering theory. Moreover, we study an appropriate multi-dimensional analog of the celebrated formula by Jost and Pais that identifies Jost functions with suitable Fredholm (perturbation) determinants and hence reduces the latter to simple Wronski determinants.
△ Less
Submitted 5 May, 2020; v1 submitted 15 November, 2005;
originally announced November 2005.
-
Fredholm Differential Operators with Unbounded Coefficients
Authors:
Yuri Latushkin,
Yuri Tomilov
Abstract:
We prove that a first order linear differential operator G with unbounded operator coefficients is Fredholm on spaces of functions on the real line with values in a reflexive Banach space if and only if the corresponding strongly continuous evolution family has exponential dichotomies on both semiaxises and a pair of the ranges of the dichotomy projections is Fredholm, and that the Fredholm inde…
▽ More
We prove that a first order linear differential operator G with unbounded operator coefficients is Fredholm on spaces of functions on the real line with values in a reflexive Banach space if and only if the corresponding strongly continuous evolution family has exponential dichotomies on both semiaxises and a pair of the ranges of the dichotomy projections is Fredholm, and that the Fredholm index of G is equal to the Fredholm index of the pair. The operator G is the generator of the evolution semigroup associated with the evolution family. In the case when the evolution family is the propagator of a well-posed differential equation u'(t)=A(t)u(t) with, generally, unbounded operators A(t), the operator G is a closure of the operator -d/dt+A(t). Thus, this paper provides a complete infinite dimensional generalization of well-known finite dimensional results by K. Palmer, and by A. Ben-Artzi and I. Gohberg.
△ Less
Submitted 1 August, 2003;
originally announced August 2003.
-
The Essential Spectrum of the Linearized 2D Euler Operator is a Vertical Band
Authors:
Roman Shvidkoy,
Yuri Latushkin
Abstract:
We prove that the essential spectrum of the operator obtained by linearization about a steady state of the Euler equations governing the motion of inviscid ideal fluid in dimension two is a vertical strip whose width is determined by the maximal Lyapunov exponent of the flow induced by the steady state.
We prove that the essential spectrum of the operator obtained by linearization about a steady state of the Euler equations governing the motion of inviscid ideal fluid in dimension two is a vertical strip whose width is determined by the maximal Lyapunov exponent of the flow induced by the steady state.
△ Less
Submitted 10 June, 2003;
originally announced June 2003.
-
Essential spectrum of the linearized 2D Euler equation and Lyapunov-Oseledets exponents
Authors:
Roman Shvydkoy,
Yuri Latushkin
Abstract:
The linear stability of a steady state solution of 2D Euler equations of an ideal fluid is being studied. We give an explicit geometric construction of approximate eigenfunctions for the linearized Euler operator $L$ in vorticity form acting on Sobolev spaces on two dimensional torus. We show that each nonzero Lyapunov-Oseledets exponent for the flow induced by the steady state contributes a ver…
▽ More
The linear stability of a steady state solution of 2D Euler equations of an ideal fluid is being studied. We give an explicit geometric construction of approximate eigenfunctions for the linearized Euler operator $L$ in vorticity form acting on Sobolev spaces on two dimensional torus. We show that each nonzero Lyapunov-Oseledets exponent for the flow induced by the steady state contributes a vertical line to the essential spectrum of $L$. Also, we compute the spectral and growth bounds for the group generated by $L$ via the maximal Lyapunov-Oseledets exponent. When the flow has arbitrarily long orbits, we show that the essential spectrum of $L$ on $L_2$ is the imaginary
△ Less
Submitted 10 June, 2003;
originally announced June 2003.
-
Spectral Analysis of Darboux Transformations for the Focusing NLS Hierarchy
Authors:
Radu C. Cascaval,
Fritz Gesztesy,
Helge Holden,
Yuri Latushkin
Abstract:
We study Darboux transformations associated with the focusing nonlinear Schrödinger equation (NLS_-) and their effect on spectral properties of the underlying Lax operator. The latter is a formally J-self-adjoint (but non-self-adjoint) one-dimensional Dirac-type operator with potential q. As one of our principal results we prove that under the most general hypothesis of local integrability on q,…
▽ More
We study Darboux transformations associated with the focusing nonlinear Schrödinger equation (NLS_-) and their effect on spectral properties of the underlying Lax operator. The latter is a formally J-self-adjoint (but non-self-adjoint) one-dimensional Dirac-type operator with potential q. As one of our principal results we prove that under the most general hypothesis of local integrability on q, the maximally defined operator D(q) generated by this Dirac operator is actually J-self-adjoint. We also establish the existence of Weyl--Titchmarsh-type solutions associated with D(q). The Darboux transformations considered in this paper guarantee that the resulting potentials q are locally nonsingular. Moreover, we prove that the construction of N-soliton NLS_- potentials q^{(N)} with respect to a general NLS_- background potential q, associated with Dirac operators D(q^{(N)}) and D(q), amounts to the insertion of N complex conjugate pairs of eigenvalues into the spectrum of D(q), leaving the rest of the spectrum (especially, the essential spectrum) invariant. These results are obtained by establishing the existence of bounded transformation operators which intertwine the background Dirac operator D(q) and the Dirac operator D(q^{(N)}) obtained after N Darboux transformations.
△ Less
Submitted 31 October, 2002;
originally announced October 2002.
-
Hyperbolicity of semigroups and Fourier multipliers
Authors:
Yuri Latushkin,
Roman Shvidkoy
Abstract:
We present a characterization of hyperbolicity for strongly continuous semigroups on Banach spaces in terms of Fourier multiplier properties of the resolvent of the generator. Hyperbolicity with respect to classical solutions is also considered. Our approach unifies and simplifies the M. Kaashoek-- S. Verduyn Lunel theory and multiplier-type results previously obtained by S. Clark, M. Hieber, S.…
▽ More
We present a characterization of hyperbolicity for strongly continuous semigroups on Banach spaces in terms of Fourier multiplier properties of the resolvent of the generator. Hyperbolicity with respect to classical solutions is also considered. Our approach unifies and simplifies the M. Kaashoek-- S. Verduyn Lunel theory and multiplier-type results previously obtained by S. Clark, M. Hieber, S. Montgomery-Smith, F. Räbiger, T. Randolph, and L. Weis.
△ Less
Submitted 28 July, 2001;
originally announced July 2001.
-
The Spectrum of a linearized 2D Euler operator
Authors:
Y. Latushkin,
Y. Li,
M. Stanislavova
Abstract:
We study the spectral properties of the linearized Euler operator obtained by linearizing the equations of incompressible two dimensional fluid at a steady state with the vorticity that contains only two nonzero complex conjugate Fourier modes.
We prove that the essential spectrum coincides with the imaginary axis, and give an estimate from above for the number of isolated nonimaginary eigenva…
▽ More
We study the spectral properties of the linearized Euler operator obtained by linearizing the equations of incompressible two dimensional fluid at a steady state with the vorticity that contains only two nonzero complex conjugate Fourier modes.
We prove that the essential spectrum coincides with the imaginary axis, and give an estimate from above for the number of isolated nonimaginary eigenvalues. In addition, we prove that the spectral map** theorem holds for the group generated by the linearized 2D Euler operator.
△ Less
Submitted 17 July, 2001;
originally announced July 2001.
-
A Spectral Map** Theorem and Invariant Manifolds for Nonlinear Schrödinger Equations
Authors:
F. Gesztesy,
C. K. R. T. Jones,
Y. Latushkin,
M. Stanislavova
Abstract:
A spectral map** theorem is proved that resolves a key problem in applying invariant manifold theorems to nonlinear Schr\" odinger type equations. The theorem is applied to the operator that arises as the linearization of the equation around a standing wave solution. We cast the problem in the context of space-dependent nonlinearities that arise in optical waveguide problems. The result is, ho…
▽ More
A spectral map** theorem is proved that resolves a key problem in applying invariant manifold theorems to nonlinear Schr\" odinger type equations. The theorem is applied to the operator that arises as the linearization of the equation around a standing wave solution. We cast the problem in the context of space-dependent nonlinearities that arise in optical waveguide problems. The result is, however, more generally applicable including to equations in higher dimensions and even systems. The consequence is that stable, unstable, and center manifolds exist in the neighborhood of a (stable or unstable) standing wave, such as a waveguide mode, under simple and commonly verifiable spectral conditions.
△ Less
Submitted 16 July, 1999;
originally announced July 1999.
-
Stability radius and internal versus external stability in Banach spaces: an evolution semigroup approach
Authors:
Stephen Clark,
Yuri Latushkin,
Stephen J. Montgomery-Smith,
Tim Randolph
Abstract:
In this paper the theory of evolution semigroups is developed and used to provide a framework to study the stability of general linear control systems. These include time-varying systems modeled with unbounded state-space operators acting on Banach spaces. This approach allows one to apply the classical theory of strongly continuous semigroups to time-varying systems. In particular, the complex…
▽ More
In this paper the theory of evolution semigroups is developed and used to provide a framework to study the stability of general linear control systems. These include time-varying systems modeled with unbounded state-space operators acting on Banach spaces. This approach allows one to apply the classical theory of strongly continuous semigroups to time-varying systems. In particular, the complex stability radius may be expressed explicitly in terms of the generator of a (evolution) semigroup. Examples are given to show that classical formulas for the stability radius of an autonomous Hilbert-space system fail in more general settings. Upper and lower bounds on the stability radius are provided for these general systems. In addition, it is shown that the theory of evolution semigroups allows for a straightforward operator-theoretic analysis of internal stability as determined by classical frequency-domain and input-output operators, even for nonautonomous Banach-space systems
△ Less
Submitted 8 December, 1999; v1 submitted 26 November, 1998;
originally announced November 1998.
-
Evolutionary Semigroups and Lyapunov Theorems in Banach Spaces
Authors:
Yuri D. Latushkin,
Stephen J. Montgomery-Smith
Abstract:
We present a spectral map** theorem for continuous semigroups of operators on any Banach space $E$. The condition for the hyperbolicity of a semigroup on $E$ is given in terms of the generator of an evolutionary semigroup acting in the space of $E$-valued functions. The evolutionary semigroup generated by the propagator of a nonautonomous differential equation in $E$ is also studied. A ``discr…
▽ More
We present a spectral map** theorem for continuous semigroups of operators on any Banach space $E$. The condition for the hyperbolicity of a semigroup on $E$ is given in terms of the generator of an evolutionary semigroup acting in the space of $E$-valued functions. The evolutionary semigroup generated by the propagator of a nonautonomous differential equation in $E$ is also studied. A ``discrete'' technique for the investigating of the evolutionary semigroup is developed and applied to describe the hyperbolicity (exponential dichotomy) of the nonautonomuos equation.
File Length: 68K
△ Less
Submitted 6 December, 1999; v1 submitted 8 July, 1993;
originally announced July 1993.
-
Lyapunov theorems for Banach spaces
Authors:
Yuri Latushkin,
Stephen Montgomery-Smith
Abstract:
We present a spectral map** theorem for semigroups on any Banach space $E$. From this, we obtain a characterization of exponential dichotomy for nonautonomous differential equations for $E$-valued functions. This characterization is given in terms of the spectrum of the generator of the semigroup of evolutionary operators.
We present a spectral map** theorem for semigroups on any Banach space $E$. From this, we obtain a characterization of exponential dichotomy for nonautonomous differential equations for $E$-valued functions. This characterization is given in terms of the spectrum of the generator of the semigroup of evolutionary operators.
△ Less
Submitted 23 February, 1993;
originally announced February 1993.