-
Boltzmann's Billiard Systems: Computation of the Billiard Map** and Some Numerical Results
Authors:
Michael Plum,
Airi Takeuchi,
Lei Zhao
Abstract:
L. Boltzmann proposed a billiard model with a planar central force problem reflected against a line not passing through the center. He asserted that such a system is ergodic, which thus illustrates his ergodic hypothesis. However, it has been recently shown that when the underlying central force problem is the Kepler problem then the system is actually integrable by Gallavotti-Jauslin. This raises…
▽ More
L. Boltzmann proposed a billiard model with a planar central force problem reflected against a line not passing through the center. He asserted that such a system is ergodic, which thus illustrates his ergodic hypothesis. However, it has been recently shown that when the underlying central force problem is the Kepler problem then the system is actually integrable by Gallavotti-Jauslin. This raises the question of whether Boltzmann's assertion holds true for some central force problems that he considered. In this paper, we present some geometrical and numerical analysis on the dynamics of several of these systems. As indicated by the numerics, many of these systems show chaotic dynamics and a system seems to be ergodic.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
Dynamics of the black soliton in a regularized nonlinear Schrodinger equation
Authors:
Dmitry E. Pelinovsky,
Michael Plum
Abstract:
We consider a family of regularized defocusing nonlinear Schrodinger (NLS) equations proposed in the context of the cubic NLS equation with a bounded dispersion relation. The time evolution is well-posed if the black soliton is perturbed by a small perturbation in the Sobolev space $H^s(\R)$ with s > 1/2. We prove that the black soliton is spectrally stable (unstable) if the regularization paramet…
▽ More
We consider a family of regularized defocusing nonlinear Schrodinger (NLS) equations proposed in the context of the cubic NLS equation with a bounded dispersion relation. The time evolution is well-posed if the black soliton is perturbed by a small perturbation in the Sobolev space $H^s(\R)$ with s > 1/2. We prove that the black soliton is spectrally stable (unstable) if the regularization parameter is below (above) some explicitly specified threshold. We illustrate the stable and unstable dynamics of the perturbed black solitons by using the numerical finite-difference method. The question of orbital stability of the black soliton is left open due to the mismatch of the function spaces for the energy and momentum conservation.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
Breathers and rogue waves for semilinear curl-curl wave equations
Authors:
Michael Plum,
Wolfgang Reichel
Abstract:
We consider localized solutions of variants of the semilinear curl-curl wave equation $s(x) \partial_t^2 U +\nabla\times\nabla\times U + q(x) U \pm V(x) |U|^{p-1} U = 0$ for $(x,t)\in \mathbb{R}^3\times\mathbb{R}$ and arbitrary $p>1$. Depending on the coefficients $s, q, V$ we can prove the existence of three types of localized solutions: time-periodic solutions decaying to $0$ at spatial infinity…
▽ More
We consider localized solutions of variants of the semilinear curl-curl wave equation $s(x) \partial_t^2 U +\nabla\times\nabla\times U + q(x) U \pm V(x) |U|^{p-1} U = 0$ for $(x,t)\in \mathbb{R}^3\times\mathbb{R}$ and arbitrary $p>1$. Depending on the coefficients $s, q, V$ we can prove the existence of three types of localized solutions: time-periodic solutions decaying to $0$ at spatial infinity, time-periodic solutions tending to a nontrivial profile at spatial infinity (both types are called breathers), and rogue waves which converge to $0$ both at spatial and temporal infinity. Our solutions are weak solutions and take the form of gradient fields. Thus they belong to the kernel of the curl-operator so that due to the structural assumptions on the coefficients the semilinear wave equation is reduced to an ODE. Since the space dependence in the ODE is just a parametric dependence we can analyze the ODE by phase plane techniques and thus establish the existence of the localized waves described above. Noteworthy side effects of our analysis are the existence of compact support breathers and the fact that one localized wave solution $U(x,t)$ already generates a full continuum of phase-shifted solutions $U(x,t+b(x))$ where the continuous function $b:\mathbb{R}^3\to\mathbb{R}$ belongs to a suitable admissible family.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
Eigenvalue analysis of the Lax operator for the one-dimensional cubic nonlinear defocusing Schrödinger equation
Authors:
Xian Liao,
Michael Plum
Abstract:
We characterize the location and number of eigenvalues for the Lax operator associated to the one-dimensional cubic nonlinear defocusing Schrödinger equation. With the help of a newly discovered unitary matrix, the analysis reduces to the study of the spectral problem for a unitarily equivalent operator, which involves only the amplitude and the phase velocity of the potential. Examples of potenti…
▽ More
We characterize the location and number of eigenvalues for the Lax operator associated to the one-dimensional cubic nonlinear defocusing Schrödinger equation. With the help of a newly discovered unitary matrix, the analysis reduces to the study of the spectral problem for a unitarily equivalent operator, which involves only the amplitude and the phase velocity of the potential. Examples of potentials with special amplitude and phase velocity are investigated.
△ Less
Submitted 31 January, 2023; v1 submitted 11 July, 2022;
originally announced July 2022.
-
Spectrum of the Maxwell Equations for a Flat Interface between Homogeneous Dispersive Media
Authors:
Malcolm Brown,
Tomáš Dohnal,
Michael Plum,
Ian Wood
Abstract:
The paper determines and classifies the spectrum of a non-self-adjoint operator pencil generated by the time-harmonic Maxwell problem with a nonlinear dependence on the frequency for the case of two homogeneous materials joined at a planar interface. We study spatially one-dimensional and two-dimensional reductions in the whole space $\mathbb{R}$ and $\mathbb{R}^2$. The dependence on the spectral…
▽ More
The paper determines and classifies the spectrum of a non-self-adjoint operator pencil generated by the time-harmonic Maxwell problem with a nonlinear dependence on the frequency for the case of two homogeneous materials joined at a planar interface. We study spatially one-dimensional and two-dimensional reductions in the whole space $\mathbb{R}$ and $\mathbb{R}^2$. The dependence on the spectral parameter, i.e. the frequency, is in the dielectric function and we make no assumptions on its form. These function values determine the spectral sets. In order to allow also for non-conservative media, the dielectric function is allowed to be complex, yielding a non-self-adjoint problem. The whole spectrum consists of eigenvalues and the essential spectrum, but the various standard types of essential spectra do not coincide in all cases. The main tool for determining the essential spectra are Weyl sequences.
△ Less
Submitted 4 June, 2022;
originally announced June 2022.
-
Stability of black solitons in optical systems with intensity-dependent dispersion
Authors:
Dmitry E. Pelinovsky,
Michael Plum
Abstract:
Black solitons are identical in the nonlinear Schrödinger (NLS) equation with intensity-dependent dispersion and the cubic defocusing NLS equation. We prove that the intensity-dependent dispersion introduces new properties in the stability analysis of the black soliton. First, the spectral stability problem possesses only isolated eigenvalues on the imaginary axis. Second, the energetic stability…
▽ More
Black solitons are identical in the nonlinear Schrödinger (NLS) equation with intensity-dependent dispersion and the cubic defocusing NLS equation. We prove that the intensity-dependent dispersion introduces new properties in the stability analysis of the black soliton. First, the spectral stability problem possesses only isolated eigenvalues on the imaginary axis. Second, the energetic stability argument holds in Sobolev spaces with exponential weights. Third, the black soliton persists with respect to addition of a small decaying potential and remains spectrally stable when it is pinned to the minimum points of the effective potential. The same model exhibits a family of traveling dark solitons for every wave speed and we incorporate properties of these dark solitons for small wave speeds in the analysis of orbital stability of the black soliton.
△ Less
Submitted 20 May, 2022;
originally announced May 2022.
-
Operator estimates for homogenization of the Robin Laplacian in a perforated domain
Authors:
Andrii Khrabustovskyi,
Michael Plum
Abstract:
Let $\varepsilon>0$ be a small parameter. We consider the domain $Ω_\varepsilon:=Ω\setminus D_\varepsilon$, where $Ω$ is an open domain in $\mathbb{R}^n$, and $D_\varepsilon$ is a family of small balls of the radius $d_\varepsilon=o(\varepsilon)$ distributed periodically with period $\varepsilon$. Let $Δ_\varepsilon$ be the Laplace operator in $Ω_\varepsilon$ subject to the Robin condition…
▽ More
Let $\varepsilon>0$ be a small parameter. We consider the domain $Ω_\varepsilon:=Ω\setminus D_\varepsilon$, where $Ω$ is an open domain in $\mathbb{R}^n$, and $D_\varepsilon$ is a family of small balls of the radius $d_\varepsilon=o(\varepsilon)$ distributed periodically with period $\varepsilon$. Let $Δ_\varepsilon$ be the Laplace operator in $Ω_\varepsilon$ subject to the Robin condition ${\partial u\over \partial n}+γ_\varepsilon u = 0$ with $γ_\varepsilon\ge 0$ on the boundary of the holes and the Dirichlet condition on the exterior boundary. Kaizu (1985, 1989) and Brillard (1988) have shown that, under appropriate assumptions on $d_\varepsilon$ and $γ_\varepsilon$, the operator $Δ_\varepsilon$ converges in the strong resolvent sense to the sum of the Dirichlet Laplacian in $Ω$ and a constant potential. We improve this result deriving estimates on the rate of convergence in terms of $L^2\to L^2$ and $L^2\to H^1$ operator norms. As a byproduct we establish the estimate on the distance between the spectra of the associated operators.
△ Less
Submitted 18 June, 2021;
originally announced June 2021.
-
Gap Localization of TE-Modes by arbitrarily weak defects - multiband case
Authors:
B. M. Brown,
V. Hoang,
M. Plum,
M. Radosz,
I. Wood
Abstract:
This paper considers the propagation of TE-modes in photonic crystal waveguides. The waveguide is created by introducing a linear defect into a periodic background medium. Both the periodic background problem and the perturbed problem are modelled by a divergence type equation. A feature of our analysis is that we allow discontinuities in the coefficients of the operator, which is required to mode…
▽ More
This paper considers the propagation of TE-modes in photonic crystal waveguides. The waveguide is created by introducing a linear defect into a periodic background medium. Both the periodic background problem and the perturbed problem are modelled by a divergence type equation. A feature of our analysis is that we allow discontinuities in the coefficients of the operator, which is required to model many photonic crystals. Using the Floquet-Bloch theory in negative order Sobolev spaces, we characterize the precise number of eigenvalues created by the line defect in terms of the band functions of the original periodic background medium for arbitrarily weak defects.
△ Less
Submitted 15 January, 2019;
originally announced January 2019.
-
Interface conditions for a metamaterial with strong spatial dispersion
Authors:
Andrii Khrabustovskyi,
Karim Mnasri,
Michael Plum,
Christian Stohrer,
Carsten Rockstuhl
Abstract:
Local constitutive relations, i.e. a weak spatial dispersion, are usually considered in the effective description of metamaterials. However, they are often insufficient and effects due to a nonlocality, i.e. a strong spatial dispersion, are encountered. Recently (K.~Mnasri et al., arXiv:1705.10969), a generic form for a nonlocal constitutive relation has been introduced that could accurately descr…
▽ More
Local constitutive relations, i.e. a weak spatial dispersion, are usually considered in the effective description of metamaterials. However, they are often insufficient and effects due to a nonlocality, i.e. a strong spatial dispersion, are encountered. Recently (K.~Mnasri et al., arXiv:1705.10969), a generic form for a nonlocal constitutive relation has been introduced that could accurately describe the bulk properties of a metamaterial in terms of a dispersion relation. However, the description of functional devices made from such nonlocal metamaterials also requires the identification of suitable interface conditions. In this contribution, we derive the interface conditions for such nonlocal metamaterials.
△ Less
Submitted 29 September, 2017;
originally announced October 2017.
-
Orbital Stability of Domain Walls in Coupled Gross-Pitaevskii Systems
Authors:
Andres Contreras,
Dmitry E. Pelinovsky,
Michael Plum
Abstract:
Domain walls are minimizers of energy for coupled one-dimensional Gross--Pitaevskii systems with nontrivial boundary conditions at infinity. It has been shown that these solutions are orbitally stable in the space of complex $\dot{H}^1$ functions with the same limits at infinity. In the present work we adopt a new weighted $H^1$ space to control perturbations of the domain walls and thus to obtain…
▽ More
Domain walls are minimizers of energy for coupled one-dimensional Gross--Pitaevskii systems with nontrivial boundary conditions at infinity. It has been shown that these solutions are orbitally stable in the space of complex $\dot{H}^1$ functions with the same limits at infinity. In the present work we adopt a new weighted $H^1$ space to control perturbations of the domain walls and thus to obtain an improved orbital stability result. A major difficulty arises from the degeneracy of linearized operators at the domain walls and the lack of coercivity.
△ Less
Submitted 23 August, 2017; v1 submitted 2 February, 2017;
originally announced February 2017.
-
A breather construction for a semilinear curl-curl wave equation with radially symmetric coefficients
Authors:
Michael Plum,
Wolfgang Reichel
Abstract:
We consider the semilinear curl-curl wave equation $s(x) \partial_t^2 U +\nabla\times\nabla\times U + q(x) U \pm V(x) |U|^{p-1} U = 0 \mbox{ for } (x,t)\in \mathbb{R}^3\times\mathbb{R}$. For any $p>1$ we prove the existence of time-periodic spatially localized real-valued solutions (breathers) both for the $+$ and the $-$ case under slightly different hypotheses. Our solutions are classical soluti…
▽ More
We consider the semilinear curl-curl wave equation $s(x) \partial_t^2 U +\nabla\times\nabla\times U + q(x) U \pm V(x) |U|^{p-1} U = 0 \mbox{ for } (x,t)\in \mathbb{R}^3\times\mathbb{R}$. For any $p>1$ we prove the existence of time-periodic spatially localized real-valued solutions (breathers) both for the $+$ and the $-$ case under slightly different hypotheses. Our solutions are classical solutions that are radially symmetric in space and decay exponentially to $0$ as $|x|\to \infty$. Our method is based on the fact that gradient fields of radially symmetric functions are annihilated by the curl-curl operator. Consequently, the semilinear wave equation is reduced to an ODE with $r=|x|$ as a parameter. This ODE can be efficiently analyzed in phase space. As a side effect of our analysis, we obtain not only one but a full continuum of phase-shifted breathers $U(x,t+a(x))$, where $U$ is a particular breather and $a:\mathbb{R}^3\to\mathbb{R}$ an arbitrary radially symmetric $C^2$-function.
△ Less
Submitted 28 October, 2016;
originally announced October 2016.
-
Rigorous numerical enclosures for positive solutions of Lane-Emden's equation with sub-square exponents
Authors:
Kazuaki Tanaka,
Michael Plum,
Kouta Sekine,
Masahide Kashiwagi,
Shin'ichi Oishi
Abstract:
The purpose of this paper is to obtain rigorous numerical enclosures for solutions of Lane-Emden's equation $-Δu=|u|^{p-1} u$ with homogeneous Dirichlet boundary conditions. We prove the existence of a nondegenerate solution $u$ nearby a numerically computed approximation $\hat{u}$ together with an explicit error bound, i.e., a bound for the difference between $ u $ and $\hat{u}$. In particular, w…
▽ More
The purpose of this paper is to obtain rigorous numerical enclosures for solutions of Lane-Emden's equation $-Δu=|u|^{p-1} u$ with homogeneous Dirichlet boundary conditions. We prove the existence of a nondegenerate solution $u$ nearby a numerically computed approximation $\hat{u}$ together with an explicit error bound, i.e., a bound for the difference between $ u $ and $\hat{u}$. In particular, we focus on the sub-square case in which $1<p<2$ so that the derivative $p|u|^{p-1}$ of the nonlinearity $|u|^{p-1} u$ is not Lipschitz continuous. In this case, it is problematic to apply the classical Newton-Kantorovich theorem for obtaining the existence proof, and moreover several difficulties arise in the procedures to obtain numerical integrations rigorously. We design a method for enclosing the required integrations explicitly, proving the existence of a desired solution based on a generalized Newton-Kantorovich theorem. A numerical example is presented where an explicit solution-enclosure is obtained for $ p=3/2 $ on the unit square domain $Ω=(0,1)^2$.
△ Less
Submitted 7 September, 2021; v1 submitted 15 July, 2016;
originally announced July 2016.
-
A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
Authors:
Filomena Pacella,
Michael Plum,
Dagmar Rütters
Abstract:
We prove existence, non-degeneracy, and exponential decay at infinity of a non-trivial solution to Emden's equation $-Δu = | u |^3$ on an unbounded $L$-shaped domain, subject to Dirichlet boundary conditions. Besides the direct value of this result, we also regard this solution as a building block for solutions on expanding bounded domains with corners, to be established in future work. Our proof…
▽ More
We prove existence, non-degeneracy, and exponential decay at infinity of a non-trivial solution to Emden's equation $-Δu = | u |^3$ on an unbounded $L$-shaped domain, subject to Dirichlet boundary conditions. Besides the direct value of this result, we also regard this solution as a building block for solutions on expanding bounded domains with corners, to be established in future work. Our proof makes heavy use of computer assistance: Starting from a numerical approximate solution, we use a fixed-point argument to prove existence of a near-by exact solution. The eigenvalue bounds established in the course of this proof also imply non-degeneracy of the solution.
△ Less
Submitted 7 January, 2016;
originally announced January 2016.
-
Ground States of a Nonlinear Curl-Curl Problem in Cylindrically Symmetric Media
Authors:
Thomas Bartsch,
Tomáš Dohnal,
Michael Plum,
Wolfgang Reichel
Abstract:
We consider the nonlinear curl-curl problem $\nabla\times\nabla\times U + V(x) U= Γ(x)|U|^{p-1}U$ in $\mathbb{R}^3$ related to the nonlinear Maxwell equations for monochromatic fields. We search for solutions as minimizers (ground states) of the corresponding energy functional defined on subspaces (defocusing case) or natural constraints (focusing case) of $H(\mathrm{curl};\mathbb{R}^3)$. Under a…
▽ More
We consider the nonlinear curl-curl problem $\nabla\times\nabla\times U + V(x) U= Γ(x)|U|^{p-1}U$ in $\mathbb{R}^3$ related to the nonlinear Maxwell equations for monochromatic fields. We search for solutions as minimizers (ground states) of the corresponding energy functional defined on subspaces (defocusing case) or natural constraints (focusing case) of $H(\mathrm{curl};\mathbb{R}^3)$. Under a cylindrical symmetry assumption on the functions $V$ and $Γ$ the variational problem can be posed in a symmetric subspace of $H(\mathrm{curl};\mathbb{R}^3)$. For a strongly defocusing case $\mathrm{esssup}\, Γ<0$ with large negative values of $Γ$ at infinity we obtain ground states by the direct minimization method. For the focusing case $\mathrm{essinf}\, Γ>0$ the concentration compactness principle produces ground states under the assumption that zero lies outside the spectrum of the linear operator $\nabla \times \nabla \times +V(x)$. Examples of cylindrically symmetric functions $V$ are provided for which this holds.
△ Less
Submitted 26 November, 2014;
originally announced November 2014.
-
Spectral properties of elliptic operator with double-contrast coefficients near a hyperplane
Authors:
Andrii Khrabustovskyi,
Michael Plum
Abstract:
In this paper we study the asymptotic behaviour as $\varepsilon\to 0$ of the spectrum of the elliptic operator $\mathcal{A}^\varepsilon=-{1\over b^\varepsilon}\mathrm{div}(a^\varepsilon\nabla)$ posed in a bounded domain $Ω\subset\mathbb{R}^n$ $(n \geq 2)$ subject to Dirichlet boundary conditions on $\partialΩ$. When $\varepsilon\to 0$ both coefficients $a^\varepsilon$ and $b^\varepsilon$ become hi…
▽ More
In this paper we study the asymptotic behaviour as $\varepsilon\to 0$ of the spectrum of the elliptic operator $\mathcal{A}^\varepsilon=-{1\over b^\varepsilon}\mathrm{div}(a^\varepsilon\nabla)$ posed in a bounded domain $Ω\subset\mathbb{R}^n$ $(n \geq 2)$ subject to Dirichlet boundary conditions on $\partialΩ$. When $\varepsilon\to 0$ both coefficients $a^\varepsilon$ and $b^\varepsilon$ become high contrast in a small neighborhood of a hyperplane $Γ$ intersecting $Ω$. We prove that the spectrum of $\mathcal{A}^\varepsilon$ converges to the spectrum of an operator acting in $L^2(Ω)\oplus L^2(Γ)$ and generated by the operation $-Δ$ in $Ω\setminusΓ$, the Dirichlet boundary conditions on $\partialΩ$ and certain interface conditions on $Γ$ containing the spectral parameter in a nonlinear manner. The eigenvalues of this operator may accumulate at a finite point. Then we study the same problem, when $Ω$ is an infinite straight strip ("waveguide") and $Γ$ is parallel to its boundary. We show that $\mathcal{A}^\varepsilon$ has at least one gap in the spectrum when $\varepsilon$ is small enough and describe the asymptotic behaviour of this gap as $\varepsilon\to 0$. The proofs are based on methods of homogenization theory.
△ Less
Submitted 20 October, 2015; v1 submitted 9 April, 2014;
originally announced April 2014.
-
Spectrum created by line defects in periodic structures
Authors:
B. M. Brown,
V. Hoang,
M. Plum,
I. Wood
Abstract:
The spectrum of periodic differential operators typically exhibits a band-gap structure. In this paper, we will consider perturbations to periodic differential operators and investigate the spectrum the perturbation induces in the gaps. More specifically, we consider the operator $$ L_0 =-\frac{1}{\eps_0(x,y,z)}Δ$$ in $\R^3$ with $\eps_0$ periodic in all three directions. The perturbation is intro…
▽ More
The spectrum of periodic differential operators typically exhibits a band-gap structure. In this paper, we will consider perturbations to periodic differential operators and investigate the spectrum the perturbation induces in the gaps. More specifically, we consider the operator $$ L_0 =-\frac{1}{\eps_0(x,y,z)}Δ$$ in $\R^3$ with $\eps_0$ periodic in all three directions. The perturbation is introduced by replacing $\eps_0$ by $\eps_0+\eps_1$ where we assume that $\eps_1$ is still periodic in one direction, but compactly supported in the remaining two directions, creating a line defect. We will show that even small perturbations $\eps_1$ lead to additional spectrum in the spectral gaps of the unperturbed operator $L_0$ and investigate some properties of the spectrum that is created.
△ Less
Submitted 26 June, 2013;
originally announced June 2013.
-
A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem
Authors:
Patrick J. McKenna,
Filomena Pacella,
Michael Plum,
Dagmar Roth
Abstract:
A wide variety of articles, starting with the famous paper (Gidas, Ni and Nirenberg in Commun. Math. Phys. 68, 209-243 (1979)) is devoted to the uniqueness question for the semilinear elliptic boundary value problem -Δu=λu+u^p in Ω, u>0 in Ω, u=0 on the boundary of Ω, where λ ranges between 0 and the first Dirichlet Laplacian eigenvalue. So far, this question was settled in the case of Ω being a b…
▽ More
A wide variety of articles, starting with the famous paper (Gidas, Ni and Nirenberg in Commun. Math. Phys. 68, 209-243 (1979)) is devoted to the uniqueness question for the semilinear elliptic boundary value problem -Δu=λu+u^p in Ω, u>0 in Ω, u=0 on the boundary of Ω, where λ ranges between 0 and the first Dirichlet Laplacian eigenvalue. So far, this question was settled in the case of Ω being a ball and, for more general domains, in the case λ=0. In (McKenna et al. in J. Differ. Equ. 247, 2140-2162 (2009)), we proposed a computer-assisted approach to this uniqueness question, which indeed provided a proof in the case Ω=(0,1)x(0,1), and p=2. Due to the high numerical complexity, we were not able in (McKenna et al. in J. Differ. Equ. 247, 2140-2162 (2009)) to treat higher values of p. Here, by a significant reduction of the complexity, we will prove uniqueness for the case p=3.
△ Less
Submitted 22 October, 2012;
originally announced October 2012.
-
On the spectrum of waveguides in planar photonic bandgap structures
Authors:
Malcolm Brown,
Vu Hoang,
Michael Plum,
Ian Wood
Abstract:
We study a Helmholtz-type spectral problem related to the propagation of electromagnetic waves in photonic crystal waveguides. The waveguide is created by introducing a linear defect into a two-dimensional periodic medium. The defect is infinitely extended and aligned with one of the coordinate axes. The perturbation is expected to introduce guided mode spectrum inside the band gaps of the fully p…
▽ More
We study a Helmholtz-type spectral problem related to the propagation of electromagnetic waves in photonic crystal waveguides. The waveguide is created by introducing a linear defect into a two-dimensional periodic medium. The defect is infinitely extended and aligned with one of the coordinate axes. The perturbation is expected to introduce guided mode spectrum inside the band gaps of the fully periodic, unperturbed spectral problem. In the first part of the paper, we prove that, somewhat unexpectedly, guided mode spectrum can be created by arbitrarily "small" perturbations. Secondly we show that, after performing a Floquet decomposition in the axial direction of the waveguide, for any fixed value of the quasi-momentum $k_x$ the perturbation generates at most finitely many new eigenvalues inside the gap.
△ Less
Submitted 4 April, 2012;
originally announced April 2012.
-
Interfaces Supporting Surface Gap Soliton Ground States in the 1D Nonlinear Schroedinger Equation
Authors:
Tomas Dohnal,
Kaori Nagatou,
Michael Plum,
Wolfgang Reichel
Abstract:
We consider the problem of verifying the existence of $H^1$ ground states of the 1D nonlinear Schrödinger equation for an interface of two periodic structures: $$-u" +V(x)u -λu = Γ(x) |u|^{p-1}u \ {on} \R$$ with $V(x) = V_1(x), Γ(x)=Γ_1(x)$ for $x\geq 0$ and $V(x) = V_2(x), Γ(x)=Γ_2(x)$ for $x<0$. Here $V_1,V_2,Γ_1,Γ_2$ are periodic, $λ<\minσ(-\tfrac{d^2}{dx^2}+V)$, and $p>1$. The article [T. Dohn…
▽ More
We consider the problem of verifying the existence of $H^1$ ground states of the 1D nonlinear Schrödinger equation for an interface of two periodic structures: $$-u" +V(x)u -λu = Γ(x) |u|^{p-1}u \ {on} \R$$ with $V(x) = V_1(x), Γ(x)=Γ_1(x)$ for $x\geq 0$ and $V(x) = V_2(x), Γ(x)=Γ_2(x)$ for $x<0$. Here $V_1,V_2,Γ_1,Γ_2$ are periodic, $λ<\minσ(-\tfrac{d^2}{dx^2}+V)$, and $p>1$. The article [T. Dohnal, M. Plum and W. Reichel, "Surface Gap Soliton Ground States for the Nonlinear Schrödinger Equation," \textit{Comm. Math. Phys.} \textbf{308}, 511-542 (2011)] provides in the 1D case an existence criterion in the form of an integral inequality involving the linear potentials $V_{1},V_2$ and the Bloch waves of the operators $-\tfrac{d^2}{dx^2}+V_{1,2}-λ$. We choose here the classes of piecewise constant and piecewise linear potentials $V_{1,2}$ and check this criterion for a set of parameter values. In the piecewise constant case the Bloch waves are calculated explicitly and in the piecewise linear case verified enclosures of the Bloch waves are computed numerically. The integrals in the criterion are evaluated via interval arithmetic so that rigorous existence statements are produced. Examples of interfaces supporting ground states are reported including such, for which ground state existence follows for all periodic $Γ_ {1,2}$ with $\esssup Γ_{1,2}>0$.
△ Less
Submitted 1 July, 2013; v1 submitted 16 February, 2012;
originally announced February 2012.
-
Surface Gap Soliton Ground States for the Nonlinear Schrödinger Equation
Authors:
Tomáš Dohnal,
Michael Plum,
Wolfgang Reichel
Abstract:
We consider the nonlinear Schrödinger equation $(-Δ+V(x))u = Γ(x) |u|^{p-1}u$, $x\in \R^n$ with $V(x) = V_1(x) χ_{\{x_1>0\}}(x)+V_2(x) χ_{\{x_1<0\}}(x)$ and $Γ(x) = Γ_1(x) χ_{\{x_1>0\}}(x)+Γ_2(x) χ_{\{x_1<0\}}(x)$ and with $V_1, V_2, Γ_1, Γ_2$ periodic in each coordinate direction. This problem describes the interface of two periodic media, e.g. photonic crystals. We study the existence of ground…
▽ More
We consider the nonlinear Schrödinger equation $(-Δ+V(x))u = Γ(x) |u|^{p-1}u$, $x\in \R^n$ with $V(x) = V_1(x) χ_{\{x_1>0\}}(x)+V_2(x) χ_{\{x_1<0\}}(x)$ and $Γ(x) = Γ_1(x) χ_{\{x_1>0\}}(x)+Γ_2(x) χ_{\{x_1<0\}}(x)$ and with $V_1, V_2, Γ_1, Γ_2$ periodic in each coordinate direction. This problem describes the interface of two periodic media, e.g. photonic crystals. We study the existence of ground state $H^1$ solutions (surface gap soliton ground states) for $0<\min σ(-Δ+V)$. Using a concentration compactness argument, we provide an abstract criterion for the existence based on ground state energies of each periodic problem (with $V\equiv V_1, Γ\equiv Γ_1$ and $V\equiv V_2, Γ\equiv Γ_2$) as well as a more practical criterion based on ground states themselves. Examples of interfaces satisfying these criteria are provided. In 1D it is shown that, surprisingly, the criteria can be reduced to conditions on the linear Bloch waves of the operators $-\tfrac{d^2}{dx^2} +V_1(x)$ and $-\tfrac{d^2}{dx^2} +V_2(x)$.
△ Less
Submitted 5 April, 2011; v1 submitted 12 November, 2010;
originally announced November 2010.
-
Localized Modes of the Linear Periodic Schrödinger Operator with a Nonlocal Perturbation
Authors:
Tomáš Dohnal,
Michael Plum,
Wolfgang Reichel
Abstract:
We consider the existence of localized modes corresponding to eigenvalues of the periodic Schrödinger operator $-\partial_x^2+ V(x)$ with an interface. The interface is modeled by a jump either in the value or the derivative of $V(x)$ and, in general, does not correspond to a localized perturbation of the perfectly periodic operator. The periodic potentials on each side of the interface can, mor…
▽ More
We consider the existence of localized modes corresponding to eigenvalues of the periodic Schrödinger operator $-\partial_x^2+ V(x)$ with an interface. The interface is modeled by a jump either in the value or the derivative of $V(x)$ and, in general, does not correspond to a localized perturbation of the perfectly periodic operator. The periodic potentials on each side of the interface can, moreover, be different. As we show, eigenvalues can only occur in spectral gaps. We pose the eigenvalue problem as a $C^1$ gluing problem for the fundamental solutions (Bloch functions) of the second order ODEs on each side of the interface. The problem is thus reduced to finding matchings of the ratio functions $R_\pm=\frac{ψ_\pm'(0)}{ψ_\pm(0)}$, where $ψ_\pm$ are those Bloch functions that decay on the respective half-lines. These ratio functions are analyzed with the help of the Prüfer transformation. The limit values of $R_\pm$ at band edges depend on the ordering of Dirichlet and Neumann eigenvalues at gap edges. We show that the ordering can be determined in the first two gaps via variational analysis for potentials satisfying certain monotonicity conditions. Numerical computations of interface eigenvalues are presented to corroborate the analysis.
△ Less
Submitted 24 August, 2009; v1 submitted 27 November, 2008;
originally announced November 2008.
-
Spectral Pollution
Authors:
E B Davies,
M Plum
Abstract:
We discuss the problems arising when computing eigenvalues of self-adjoint operators which lie in a gap between two parts of the essential spectrum. Spectral pollution, i.e. the apparent existence of eigenvalues in numerical computations, when no such eigenvalues actually exist, is commonplace in problems arising in applied mathematics. We describe a geometrically inspired method which avoids th…
▽ More
We discuss the problems arising when computing eigenvalues of self-adjoint operators which lie in a gap between two parts of the essential spectrum. Spectral pollution, i.e. the apparent existence of eigenvalues in numerical computations, when no such eigenvalues actually exist, is commonplace in problems arising in applied mathematics. We describe a geometrically inspired method which avoids this difficulty, and show that it yields the same results as an algorithm of Zimmermann and Mertins.
△ Less
Submitted 12 February, 2003;
originally announced February 2003.
-
On the Spectrum of the Orr-Sommerfeld Equation on the semiaxis
Authors:
Jan-R. Lahmann,
Michael Plum
Abstract:
The Orr-Sommerfeld equation is a spectral problem which is known to play an important role in hydrodynamic stability. For an appropriate operator theoretical realization of the equation, we will determine the essential spectrum, and calculate an enclosure of the set of all eigenvalues by elementary analytical means.
The Orr-Sommerfeld equation is a spectral problem which is known to play an important role in hydrodynamic stability. For an appropriate operator theoretical realization of the equation, we will determine the essential spectrum, and calculate an enclosure of the set of all eigenvalues by elementary analytical means.
△ Less
Submitted 18 June, 1998;
originally announced June 1998.
-
On a New Algorithm for the Computation of Enclosures for the Titchmarsh-Weyl m-Function
Authors:
B. M. Brown,
M. S. P. Eastham,
D. K. R. McCormack,
M. Plum
Abstract:
The paper reports on computation of verified enclosures for the Titchmarsh-Weyl m-function. It examines some cases in which Lohner's AWA algorithm must be suplimented by mathematical analysis.
The paper reports on computation of verified enclosures for the Titchmarsh-Weyl m-function. It examines some cases in which Lohner's AWA algorithm must be suplimented by mathematical analysis.
△ Less
Submitted 12 January, 1998; v1 submitted 5 January, 1998;
originally announced January 1998.
-
On the spectrum of second order differential operators with complex coefficients
Authors:
B. M. Brown,
W. D. Evans,
D. K. R. McCormack,
M. Plum
Abstract:
The Weyl-Sims classification for a second-order ordinary differential equation with general complex coefficients is investigated. Connections are then established between the associated m-function and the spectral properties of maximal-accretive realisations of the differential expression.
The Weyl-Sims classification for a second-order ordinary differential equation with general complex coefficients is investigated. Connections are then established between the associated m-function and the spectral properties of maximal-accretive realisations of the differential expression.
△ Less
Submitted 6 May, 1998; v1 submitted 12 December, 1997;
originally announced December 1997.