Knauf’s degree and monodromy in planar potential scattering

We consider Hamiltonian systems on (T*?², dq ∧ dp) defined by a Hamiltonian function H of the “classical” form H = p ²/2 + V(q). A reasonable decay assumption V(q) → 0, ‖q‖ → ∞, allows one to compare a given distribution of initial conditions at t = ?∞ with their final distribution at t = +∞. To describe this Knauf introduced a topological invariant deg(E), which, for a nontrapping energy E > 0, is given by the degree of the scattering map. For rotationally symmetric potentials V(q) = W(‖q‖), scattering monodromy has been introduced independently as another topological invariant. In the present paper we demonstrate that, in the rotationally symmetric case, Knauf’s degree deg(E) and scattering monodromy are related to one another. Specifically, we show that scattering monodromy is given by the jump of the degree deg(E), which appears when the nontrapping energy E goes from low to high values.     

Scalarization of stationary semiclassical problems for systems of equations and its application in plasma physics

We propose a method for determining asymptotic solutions of stationary problems for pencils of differential (and pseudodifferential) operators whose symbol is a self-adjoint matrix. We show that in the case of constant multiplicity, the problem of constructing asymptotic solutions corresponding to a distinguished eigenvalue (called an effective Hamiltonian, term, or mode) reduces to studying objects related only to the determinant of the principal matrix symbol and the eigenvector corresponding to a given (numerical) value of this effective Hamiltonian. As an example, we show that stationary solutions can be effectively calculated in the problem of plasma motion in a tokamak.     

The number of Hamiltonian decompositions of regular graphs

A Hamilton cycle in a graph Γ is a cycle passing through every vertex of Γ. A Hamiltonian decomposition of Γ is a partition of its edge set into disjoint Hamilton cycles. One of the oldest results in graph theory is Walecki’s theorem from the 19th century, showing that a complete graph K _n on an odd number of vertices n has a Hamiltonian decomposition. This result was recently greatly extended by Kühn and Osthus. They proved that every r-regular n-vertex graph Γ with even degree r = cn for some fixed c > 1/2 has a Hamiltonian decomposition, provided n = n(c) is sufficiently large. In this paper we address the natural question of estimating H(Γ), the number of such decompositions of Γ. Our main result is that H(Γ) = r ^(1+o(1))nr/2. In particular, the number of Hamiltonian decompositions of K _n is \({n^{\left( {1 + o\left( 1 \right)} \right){n^2}/2}}\).     

Minimal <Emphasis Type="Italic">P</Emphasis>-symmetric period problem of first-order autonomous Hamiltonian systems

Let P ∈ Sp(2n) satisfying P ^k = I _2n . We consider the minimal P-symmetric period problem of the autonomous nonlinear Hamiltonian system \(\dot x\left( t \right) = JH'\left( {x\left( t \right)} \right)\). For some symplectic matrices P, we show that for any τ > 0, the above Hamiltonian system possesses a kτ periodic solution x with kτ being its period provided H satis Fies Rabinowitz's conditions on the minimal minimal P-symmetric period conjecture, together with that H is convex and H(Px) = H(x).     

Some sufficient conditions for Hamiltonian property in terms of Wiener-type invariants

The Wiener-type invariants of a simple connected graph G = (V, E) can be expressed in terms of the quantities \(W_{f}=\sum_{\{u,v\}\subseteq V}f(d_{G}(u,v))\) for various choices of the function f(x), where d_G(u,v) is the distance between vertices u and v in G. In this paper, we give some sufficient conditions for a connected graph to be Hamiltonian, a connected graph to be traceable, and a connected bipartite graph to be Hamiltonian in terms of the Wiener-type invariants.     

Algebraic Hamiltonian actions

In this paper we deal with a Hamiltonian action of a reductive algebraic group G on an irreducible normal affine Poisson variety X. We study the quotient morphism \({\mu_{G,X}//G : X//G \rightarrow \mathfrak{g} //G}\) of the moment map \({\mu_{G,X} : X\rightarrow \mathfrak{g}}\) . We prove that for a wide class of Hamiltonian actions (including, for example, actions on generically symplectic varieties) all fibers of the morphism μ _G,X //G have the same dimension. We also study the “Stein factorization” of μ _G,X //G. Namely, let C _G,X denote the spectrum of the integral closure of \({\mu_{G,X}^{*}(\mathbb{K}[\mathfrak{g}]^G)}\) in \({\mathbb{K}(X)^G}\) . We investigate the structure of the \({\mathfrak{g} //G}\) -scheme C _G,X . Our results partially generalize those obtained by F. Knop for the actions on cotangent bundles and symplectic vector spaces.     

The essential spectrum of the three-particle discrete operator corresponding to a system of three fermions on a lattice

We consider a family of three-particle discrete Shrödinger operators H _μ (K). These operators are associated with the Hamiltonian for a system of three identical particles (fermions) with pairwise two-particle interactions on neighboring junctions of the d-dimensional lattice Z ^d . We describe the location and the structure of the essential spectrum of the operator H _μ (K) for all values of the three-particle quasi-momentum K ∈ T ^d and the interaction energy μ > 0.     

Some Poisson structures and Lax equations associated with the Toeplitz lattice and the Schur lattice

The Toeplitz lattice is a Hamiltonian system whose Poisson structure is known. In this paper, we unveil the origins of this Poisson structure and derive from it the associated Lax equations for this lattice. We first construct a Poisson subvariety H _n of GL _n (C), which we view as a real or complex Poisson–Lie group whose Poisson structure comes from a quadratic R-bracket on gl _n (C) for a fixed R-matrix. The existence of Hamiltonians, associated to the Toeplitz lattice for the Poisson structure on H _n , combined with the properties of the quadratic R-bracket allow us to give explicit formulas for the Lax equation. Then we derive from it the integrability in the sense of Liouville of the Toeplitz lattice. When we view the lattice as being defined over R, we can construct a Poisson subvariety H _n ^τ of U _n which is itself a Poisson–Dirac subvariety of GL _n ^R (C). We then construct a Hamiltonian for the Poisson structure induced on H _n ^τ , corresponding to another system which derives from the Toeplitz lattice the modified Schur lattice. Thanks to the properties of Poisson–Dirac subvarieties, we give an explicit Lax equation for the new system and derive from it a Lax equation for the Schur lattice. We also deduce the integrability in the sense of Liouville of the modified Schur lattice.     

Explicit symplectic multidimensional exponential fitting modified Runge-Kutta-Nyström methods

This paper is concerned with multidimensional exponential fitting modified Runge-Kutta-Nyström (MEFMRKN) methods for the system of oscillatory second-order differential equations q″(t)+Mq(t)=f(q(t)), where M is a d×d symmetric and positive semi-definite matrix and f(q) is the negative gradient of a potential scalar U(q). We formulate MEFMRKN methods and show clearly the relationship between MEFMRKN methods and multidimensional extended Runge-Kutta-Nyström (ERKN) methods proposed by Wu et al. (Comput. Phys. Comm. 181:1955–1962, 2010). Taking into account the fact that the oscillatory system is a separable Hamiltonian system with Hamiltonian \(H(p,q)=\frac{1}{2}p^{T}p+ \frac{1}{2}q^{T}Mq+U(q)\), we derive the symplecticity conditions for the MEFMRKN methods. Two explicit symplectic MEFMRKN methods are proposed. Numerical experiments accompanied demonstrate that our explicit symplectic MEFMRKN methods are more efficient than some well-known numerical methods appeared in the scientific literature.     

Spectral radius and Hamiltonicity of graphs with large minimum degree

Let G be a graph of order n and λ(G) the spectral radius of its adjacency matrix. We extend some recent results on sufficient conditions for Hamiltonian paths and cycles in G. One of the main results of the paper is the following theorem     

Homoclinic solutions for a class of second order discrete Hamiltonian systems

Consider the second order discrete Hamiltonian systems Δ2u(n-1)-L(n)u(n) + ▽W (n, u(n)) = f(n),where n ∈ Z, u ∈ RN and W : Z × RN → R and f : Z → RN are not necessarily periodic in n. Under some comparatively general assumptions on L, W and f , we establish results on the existence of homoclinic orbits. The obtained results successfully generalize those for the scalar case.     

Kulish–Sklyanin-type models: Integrability and reductions

We start with a Riemann–Hilbert problem (RHP) related to BD.I-type symmetric spaces SO(2r + 1)/S(O(2r ? 2s+1) ? O(2s)), s ≥ 1. We consider two RHPs: the first is formulated on the real axis R in the complex-λ plane; the second, on R ? iR. The first RHP for s = 1 allows solving the Kulish–Sklyanin (KS) model; the second RHP is related to a new type of KS model. We consider an important example of nontrivial deep reductions of the KS model and show its effect on the scattering matrix. In particular, we obtain new two-component nonlinear Schrödinger equations. Finally, using the Wronski relations, we show that the inverse scattering method for KS models can be understood as generalized Fourier transforms. We thus find a way to characterize all the fundamental properties of KS models including the hierarchy of equations and the hierarchy of their Hamiltonian structures.     

Bound states of a two-boson system on a two-dimensional lattice

We consider a Hamiltonian of a two-boson system on a two-dimensional lattice Z². The Schrödinger operator H(k₁, k₂) of the system for k₁ = k₂ = π, where k = (k₁, k₂) is the total quasimomentum, has an infinite number of eigenvalues. In the case of a special potential, one eigenvalue is simple, another one is double, and the other eigenvalues have multiplicity three. We prove that the double eigenvalue of H(π,π) splits into two nondegenerate eigenvalues of H(π, π ? 2β) for small β > 0 and the eigenvalues of multiplicity three similarly split into three different nondegenerate eigenvalues. We obtain asymptotic formulas with the accuracy of β² and also an explicit form of the eigenfunctions of H(π, π ?2β) for these eigenvalues.     

Geometry of Discrete-Time Spin Systems

Classical Hamiltonian spin systems are continuous dynamical systems on the symplectic phase space \((S^2)^n\). In this paper, we investigate the underlying geometry of a time discretization scheme for classical Hamiltonian spin systems called the spherical midpoint method. As it turns out, this method displays a range of interesting geometrical features that yield insights and sets out general strategies for geometric time discretizations of Hamiltonian systems on non-canonical symplectic manifolds. In particular, our study provides two new, completely geometric proofs that the discrete-time spin systems obtained by the spherical midpoint method preserve symplecticity. The study follows two paths. First, we introduce an extended version of the Hopf fibration to show that the spherical midpoint method can be seen as originating from the classical midpoint method on \(T^*\mathbf {R}^{2n}\) for a collective Hamiltonian. Symplecticity is then a direct, geometric consequence. Second, we propose a new discretization scheme on Riemannian manifolds called the Riemannian midpoint method. We determine its properties with respect to isometries and Riemannian submersions, and, as a special case, we show that the spherical midpoint method is of this type for a non-Euclidean metric. In combination with Kähler geometry, this provides another geometric proof of symplecticity.     

The number of eigenvalues of the two-particle discrete Schrödinger operator

We consider the two-particle discrete Schrödinger operator associated with the Hamiltonian of a system of two particles (fermions) interacting only at the nearest neighbor sites. We find the number and the location of the eigenvalues of this operator depending on the particle interaction energy, the system quasimomentum, and the dimension of the lattice ? ^ν , ν ≥ 1.     

On the existence of invariant tori in nearly-integrable Hamiltonian systems with finitely differentiable perturbations

We prove the existence of invariant tori in Hamiltonian systems, which are analytic and integrable except a 2n-times continuously differentiable perturbation (n denotes the number of the degrees of freedom), provided that the moduli of continuity of the 2n-th partial derivatives of the perturbation satisfy a condition of finiteness (condition on an integral), which is more general than a Hölder condition. So far the existence of invariant tori could be proven only under the condition that the 2n-th partial derivatives of the perturbation are Hölder continuous.     

An iterative algorithm for the least Frobenius norm Hermitian and generalized skew Hamiltonian solutions of the generalized coupled Sylvester-conjugate matrix equations

The iterative method of the generalized coupled Sylvester-conjugate matrix equations \(\sum\limits _{j=1}^{l}\left (A_{ij}X_{j}B_{ij}+C_{ij}\overline {X}_{j}D_{ij}\right )=E_{i} (i=1,2,\cdots ,s)\) over Hermitian and generalized skew Hamiltonian solution is presented. When these systems of matrix equations are consistent, for arbitrary initial Hermitian and generalized skew Hamiltonian matrices X _j (1), j = 1,2,? , l, the exact solutions can be obtained by iterative algorithm within finite iterative steps in the absence of round-off errors. Furthermore, we provide a method for choosing the initial matrices to obtain the least Frobenius norm Hermitian and generalized skew Hamiltonian solution of the problem. Finally, numerical examples are presented to demonstrate the proposed algorithm is efficient.     

Infinitely many periodic solutions for a class of second-order Hamiltonian systems

In this paper we study the existence of infinitely many periodic solutions for second-order Hamiltonian systems

$$\left\{ {\begin{array}{*{20}c} {\ddot u(t) + A(t)u(t) + \nabla F(t,u(t)) = 0,} \\ {u(0) - u(T) = \dot u(0) - \dot u(T) = 0,} \\ \end{array} } \right.$$

, where F(t, u) is even in u, and ?F(t, u) is of sublinear growth at infinity and satisfies the Ahmad-Lazer-Paul condition.

     

Transfer of energy to high frequencies in the cubic defocusing nonlinear Schrödinger equation

We consider the cubic defocusing nonlinear Schrödinger equation on the two dimensional torus. We exhibit smooth solutions for which the support of the conserved energy moves to higher Fourier modes. This behavior is quantified by the growth of higher Sobolev norms: given any δ?1,K?1,s>1, we construct smooth initial data u ₀ with \(\|u_{0}\|_{{H}^{s}}<\delta\), so that the corresponding time evolution u satisfies \(\|u(T)\|_{{H}^{s}}>K\) at some time T. This growth occurs despite the Hamiltonian’s bound on \(\|u(t)\|_{\dot{H}^{1}}\) and despite the conservation of the quantity \(\|u(t)\|_{L^{2}}\).The proof contains two arguments which may be of interest beyond the particular result described above. The first is a construction of the solution’s frequency support that simplifies the system of ODE’s describing each Fourier mode’s evolution. The second is a construction of solutions to these simpler systems of ODE’s which begin near one invariant manifold and ricochet from arbitrarily small neighborhoods of an arbitrarily large number of other invariant manifolds. The techniques used here are related to but are distinct from those traditionally used to prove Arnold Diffusion in perturbations of Hamiltonian systems.     

Quantization of the Kadomtsev–Petviashvili equation

We propose a quantization of the Kadomtsev–Petviashvili equation on a cylinder equivalent to an infinite system of nonrelativistic one-dimensional bosons with the masses m = 1, 2,.... The Hamiltonian is Galilei-invariant and includes the split and merge terms \(\Psi _{{m_1}}^\dag \Psi _{{m_2}}^\dag {\Psi _{{m_1} + {m_2}}}\) and \(\Psi _{{m_1} + {m_2}}^\dag {\Psi _{{m_1}}}{\Psi _{{m_2}}}\) for all combinations of particles with masses m ₁, m ₂, and m ₁ + m ₂ for a special choice of coupling constants. We construct the Bethe eigenfunctions for the model and verify the consistency of the coordinate Bethe ansatz and hence the quantum integrability of the model up to the mass M=8 sector.