SearcharxivSearch

arXiv subjects

Alim Sukhtayev

Publications and source records attributed to Alim Sukhtayev.

At least 19 recordsLinked to original sources

Renormalized oscillation theory for singular linear Hamiltonian pencils

For many applications, critical information about system dynamics is encoded in associated eigenvalue problems that can be posed as linear Hamiltonian systems with suitable boundary conditions. Motivated by examples from hydrodynamics, quantum mechanics, and magnetohydrodynamics (MHD), we develop a general framework for analyzing a broad class of linear Hamiltonian systems with at least one singular boundary condition and possible nonlinear dependence on the spectral parameter. We show that renormalized oscillation results can be obtained in a natural way through consideration of the Maslov index associated with appropriately chosen paths of Lagrangian subspaces of $\mathbb{C}^{2n}$. This extends previous work by the authors for regular linear Hamiltonian systems that depend nonlinearly on the spectral parameter and singular linear Hamiltonian systems that depend linearly on the spectral parameter. We conclude the study by using our framework to study the spectrum in the setting of each of our motivating examples.

math.CA

Splitting Quantum Graphs

We derive a counting formula for the eigenvalues of Schrödinger operators with self-adjoint boundary conditions on quantum star graphs. More specifically, we develop techniques using Evans functions to reduce full quantum graph eigenvalue problems into smaller subgraph eigenvalue problems. These methods provide a simple way to calculate the spectra of operators with localized potentials.

math.SP

Spectral decomposition and decay to grossly determined solutions for a simplified BGK model

Extending work of Carty, we show that $H^1$ solutions of a simplified 1D BGK model decay exponentially in $L^2$ to a subclass of the class of grossly determined solutions as defined by Truesdell and Muncaster. In the process, we determine the spectrum and generalized eigenfunctions of the associated non-selfadjoint linearized operator and derive the associated generalized Fourier transform and Parseval's identity. Notably, our analysis makes use of rigged space techniques originating from quantum mechanics, as adapted by Ljance and others to the nonselfadjoint case.

math.AP

Fredholm determinants, Evans functions and Maslov indices for partial differential equations

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.

math.SP

Renormalized oscillation theory for linear Hamiltonian systems on [0,1] via the Maslov index

Working with a general class of linear Hamiltonian systems on $[0, 1]$, we show that renormalized oscillation results can be obtained in a natural way through consideration of the Maslov index associated with appropriately chosen paths of Lagrangian subspaces of $\mathbb{C}^{2n}$. We verify that our applicability class includes Dirac and Sturm-Liouville systems, as well as a system arising from differential-algebraic equations for which the spectral parameter appears nonlinearly.

math.CA

Renormalized Oscillation Theory for Singular Linear Hamiltonian Systems

Working with a general class of linear Hamiltonian systems with at least one singular boundary condition, we show that renormalized oscillation results can be obtained in a natural way through consideration of the Maslov index associated with appropriately chosen paths of Lagrangian subspaces of $\mathbb{C}^{2n}$. This extends previous work by the authors for regular linear Hamiltonian systems.

math.CA

A dynamical approach to semilinear elliptic equations

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.

math.AP

Exponential dichotomies for elliptic PDE on radial domains

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.

math.AP

A Sturm Liouville theorem for quadratic operator pencils

We establish a Sturm{Liouville theorem for quadratic operator pencils counting their unstable real roots, with applications to stability of waves. Such pencils arise, for example, in reduction of eigenvalue systems to higher-order scalar problems.

math.CA

The Maslov and Morse Indices for Sturm-Liouville Systems on the Half-Line

We show that for Sturm-Liouville Systems on the half-line $[0,\infty)$, the Morse index can be expressed in terms of the Maslov index and an additional term associated with the boundary conditions at $x = 0$. Relations are given both for the case in which the target Lagrangian subspace is associated with the space of $L^2 ((0,\infty), \mathbb{C}^{n})$ solutions to the Sturm-Liouville System, and the case when the target Lagrangian subspace is associated with the space of solutions satisfying the boundary conditions at $x = 0$. In the former case, a formula of Hörmander's is used to show that the target space can be replaced with the Dirichlet space, along with additional explicit terms. We illustrate our theory by applying it to an eigenvalue problem that arises when the nonlinear Schrödinger equation on a star graph is linearized about a half-soliton solution.

math.CA

Spectral stability of hydraulic shock profiles

By reduction to a generalized Sturm Liouville problem, we establish spectral stability of hydraulic shock profiles of the Saint-Venant equations for inclined shallow-water flow, over the full parameter range of their existence, for both smooth-type profiles and discontinuous-type profiles containing subshocks. Together with work of Mascia-Zumbrun and Yang-Zumbrun, this yields linear and nonlinear $H^2\cap L^1 \to H^2$ stability with sharp rates of decay in $L^p$, $p\geq 2$, the first complete stability results for large-amplitude shock profiles of a hyperbolic relaxation system.

math.AP

Instability of pulses in gradient reaction-diffusion systems: A symplectic approach

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.

math.DS

Diffusive stability of spatially periodic patterns with a conservation law

Applying the Lyapunov-Schmidt reduction approach introduced by Mielke and Schneider in their analysis of the fourth-order scalar Swift-Hohenberg equation, we carry out a rigorous small-amplitude stability analysis of Turing patterns for the model introduced by Matthews and Cox for pattern formation with a conservation law. Our results confirm that stability is accurately predicted in the small-amplitude limit by the formal modified Ginzburg-Lanadau system (mGL) consisting of a coupled Ginzburg-Landau equation and mean mode equation derived by Matthews and Cox, rigorously validating the standard weakly unstable approximation.

math.AP

Diffusive stability of spatially periodic solutions of the Brusselator model

Applying the Lyapunov-Schmidt reduction approach introduced by Mielke and Schneider in their analysis of the fourth-order scalar Swift-Hohenberg equation, we carry out a rigorous small-amplitude stability analysis of Turing patterns for the canonical second-order system of reaction diffusion equations given by the Brusselator model. Our results confirm that stability is accurately predicted in the small-amplitude limit by the formal Ginzburg Landau amplitude equations, rigorously validating the standard weakly unstable approximation and Eckhaus criterion.

math.AP

The Maslov and Morse indices for Schrödinger operators on $\mathbb{R}$

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.

math.DS

The Maslov index for Lagrangian pairs on $\mathbb{R}^{2n}$

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}$.

math.DS

The Maslov and Morse indices for Schrodinger operators on [0,1]

Assuming a symmetric potential and separated self-adjoint boundary conditions, we relate the Maslov and Morse indices for Schrödinger operators on $[0, 1]$. We find that the Morse index can be computed in terms of the Maslov index and two associated matrix eigenvalue problems. This provides an efficient way to compute the Morse index for such operators.

math.CA

Hadamard-type formulas via the Maslov form

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}$.

math.SP