Comparison theorems for symplectic systems of difference equations

In the present paper, we prove comparison theorems for symplectic systems of difference equations, which generalize difference analogs of canonical systems of differential equations. We obtain general relations between the number of focal points of conjoined bases of two symplectic systems with matrices W _i and $ \hat W_i $ \hat W_i as well as their corollaries, which generalize well-known comparison theorems for Hamiltonian difference systems. We consider applications of comparison theorems to spectral theory and in the theory of transformations. We obtain a formula for the number of eigenvalues λ of a symplectic boundary value problem on the interval (λ ₁, λ ₂]. For an arbitrary symplectic transformation, we prove a relationship between the numbers of focal points of the conjoined bases of the original and transformed systems. In the case of a constant transformation, we prove a theorem that generalizes the well-known reciprocity principle for discrete Hamiltonian systems.     

A Sturmian separation theorem for symplectic difference systems

We establish a Sturmian separation theorem for conjoined bases of 2n-dimensional symplectic difference systems. In particular, we show that the existence of a conjoined basis without focal points in a discrete interval (0,N+1] implies that any other conjoined basis has at most n focal points (counting multiplicities) in this interval.     

Singular Sturmian separation theorems on unbounded intervals for linear Hamiltonian systems

In this paper we develop new fundamental results in the Sturmian theory for nonoscillatory linear Hamiltonian systems on an unbounded interval. We introduce a new concept of a multiplicity of a focal point at infinity for conjoined bases and, based on this notion, we prove singular Sturmian separation theorems on an unbounded interval. The main results are formulated in terms of the (minimal) principal solutions at both endpoints of the considered interval, and include exact formulas as well as optimal estimates for the numbers of proper focal points of one or two conjoined bases. As a natural tool we use the comparative index, which was recently implemented into the theory of linear Hamiltonian systems by the authors and independently by J. Elyseeva. Throughout the paper we do not assume any controllability condition on the system. Our results turn out to be new even in the completely controllable case.     

Oscillation theorems for linear Hamiltonian systems with nonlinear dependence on the spectral parameter and the comparative index

We consider linear Hamiltonian differential systems which depend in general nonlinearly on the spectral parameter and with Dirichlet boundary conditions. In our consideration we do not impose any controllability and strict normality assumptions and omit the Legendre condition for the Hamiltonian. We adapt the theory developed by A.A. Abramov for the Hamiltonian spectral problems based on piecewise constant transformations of their conjoined bases using the notion of the comparative index. We introduce the concept of oscillation numbers which generalize the notion of proper focal points and prove the oscillation theorem relating the number of finite eigenvalues in the given interval with the values of the oscillation numbers at the end points of this interval.     

Singular Sturmian separation theorems for nonoscillatory symplectic difference systems

ABSTRACT

In this paper, we derive new singular Sturmian separation theorems for nonoscillatory symplectic difference systems on unbounded intervals. The novelty of the presented theory resides in two aspects. We introduce the multiplicity of a focal point at infinity for conjoined bases, which we incorporate into our new singular Sturmian separation theorems. At the same time we do not impose any controllability assumption on the symplectic system. The presented results naturally extend and complete the known Sturmian separation theorems on bounded intervals by J. V. Elyseeva [Comparative index for solutions of symplectic difference systems, Differential Equations 45(3) (2009), pp. 445–459, translated from Differencial'nyje Uravnenija 45 (2009), no. 3, 431–444], as well as the singular Sturmian separation theorems for eventually controllable symplectic systems on unbounded intervals by O. Do?lý and J. Elyseeva [Singular comparison theorems for discrete symplectic systems, J. Difference Equ. Appl. 20(8) (2014), pp. 1268–1288]. Our approach is based on developing the theory of comparative index on unbounded intervals and on the recent theory of recessive and dominant solutions at infinity for possibly uncontrollable symplectic systems by the authors [P. ?epitka and R. ?imon Hilscher, Recessive solutions for nonoscillatory discrete symplectic systems, Linear Algebra Appl. 469 (2015), pp. 243–275; P. ?epitka and R. ?imon Hilscher, Dominant and recessive solutions at infinity and genera of conjoined bases for discrete symplectic systems, J. Difference Equ. Appl. 23(4) (2017), pp. 657–698]. Some of our results, including the notion of the multiplicity of a focal point at infinity, are new even for an eventually controllable symplectic difference system.     

On relative oscillation theory for symplectic eigenvalue problems

We develop an analog of classical oscillation theory for discrete symplectic eigenvalue problems with Dirichlet boundary conditions which, rather than measuring the spectrum of one single problem, measures the difference between the spectra of two different problems. This is done by replacing focal points of conjoined bases of one problem by matrix analogs of weighted zeros of Wronskians of conjoined bases of two different problems.     

Multiplicities of focal points for discrete symplectic systems: revisited

In this note, we define a notion of multiplicity of focal points for conjoined bases of discrete symplectic systems. We show that this definition is equivalent to the one given by Kratz in [Discrete oscillation, J. Difference Equ. Appl., 9(1), 135–147 (2003)] and, furthermore, it has a natural connection to the newly developed continuous time theory on linear Hamiltonian differential systems. Many results obtained recently by Bohner, Do?lý, and Kratz regarding the non-negativity of the corresponding discrete quadratic functionals, Sturmian separation and comparison theorems, and oscillation theorems relating the number of focal points of a certain special conjoined basis with the number of eigenvalues of the associated discrete symplectic eigenvalue problem, are now formulated in terms of this alternative definition of multiplicities.     

Maslov index in semi-Riemannian submersions

We study focal points and Maslov index of a horizontal geodesic γ : I → M in the total space of a semi-Riemannian submersion π : M → B by determining an explicit relation with the corresponding objects along the projected geodesic \({\pi\circ\gamma:I\to B}\) in the base space. We use this result to calculate the focal Maslov index of a (spacelike) geodesic in a stationary spacetime which is orthogonal to a timelike Killing vector field.     

Approximation of a system of singularly perturbed reaction-diffusion parabolic equations in a rectangle

The Dirichlet problem for a system of singularly perturbed reaction-diffusion parabolic equations in a rectangle is considered. The higher order derivatives of the equations are multiplied by a perturbation parameter ?², where ? takes arbitrary values in the interval (0, 1]. When ? vanishes, the system of parabolic equations degenerates into a system of ordinary differential equations with respect to t. When ? tends to zero, a parabolic boundary layer with a characteristic width ? appears in a neighborhood of the boundary. Using the condensing grid technique and the classical finite difference approximations of the boundary value problem, a special difference scheme is constructed that converges ?-uniformly at a rate of O(N ^?2ln² N + N ₀ ^?1 , where \(N = \mathop {\min }\limits_s N_s \), N ^s + 1 and N ₀ + 1 are the numbers of mesh points on the axes x _s and t, respectively.     

Relative symplectic caps, 4-genus and fibered knots

We prove relative versions of the symplectic capping theorem and sufficiency of Giroux’s criterion for Stein fillability and use these to study the 4-genus of knots. More precisely, suppose we have a symplectic 4-manifold X with convex boundary and a symplectic surface Σ in X such that ?Σ is a transverse knot in ?X. In this paper, we prove that there is a closed symplectic 4-manifold Y with a closed symplectic surface S such that (X,Σ) embeds into (Y,S) symplectically. As a consequence we obtain a relative version of the symplectic Thom conjecture. We also prove a relative version of the sufficiency part of Giroux’s criterion for Stein fillability, namely, we show that a fibered knot whose mondoromy is a product of positive Dehn twists bounds a symplectic surface in a Stein filling. We use this to study 4-genus of fibered knots in \(\mathbb {S}^{3} \). Further, we give a criterion for quasipositive fibered knots to be strongly quasipositive.     

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.     

On representations of the Weil-Deligne group

We study admissible orthogonal and symplectic representations of the Weil-Deligne group W′(\(\overline K \)/K) of a local non-Archimedean field K. As an application of the obtained results we show that the root number of the tensor product of two admissible symplectic representations of W′(\(\overline K \)/K) is 1.     

Finite difference schemes for the singularly perturbed reaction-diffusion equation in the case of spherical symmetry

The boundary value problem for the singularly perturbed reaction-diffusion parabolic equation in a ball in the case of spherical symmetry is considered. The derivatives with respect to the radial variable appearing in the equation are written in divergent form. The third kind boundary condition, which admits the Dirichlet and Neumann conditions, is specified on the boundary of the domain. The Laplace operator in the differential equation involves a perturbation parameter ?², where ? takes arbitrary values in the half-open interval (0, 1]. When ? → 0, the solution of such a problem has a parabolic boundary layer in a neighborhood of the boundary. Using the integro-interpolational method and the condensing grid technique, conservative finite difference schemes on flux grids are constructed that converge ?-uniformly at a rate of O(N ^?2ln² N + N ₀ ^?1 ), where N + 1 and N ₀ + 1 are the numbers of the mesh points in the radial and time variables, respectively.     

Focal points and principal solutions of linear Hamiltonian systems revisited

In this paper we present a novel view on the principal (and antiprincipal) solutions of linear Hamiltonian systems, as well as on the focal points of their conjoined bases. We present a new and unified theory of principal (and antiprincipal) solutions at a finite point and at infinity, and apply it to obtain new representation of the multiplicities of right and left proper focal points of conjoined bases. We show that these multiplicities can be characterized by the abnormality of the system in a neighborhood of the given point and by the rank of the associated T-matrix from the theory of principal (and antiprincipal) solutions. We also derive some additional important results concerning the representation of T-matrices and associated normalized conjoined bases. The results in this paper are new even for completely controllable linear Hamiltonian systems. We also discuss other potential applications of our main results, in particular in the singular Sturmian theory.     

Gaiotto’s Lagrangian Subvarieties via Derived Symplectic Geometry

Let Bun_G be the moduli space of G-bundles on a smooth complex projective curve. Motivated by a study of boundary conditions in mirror symmetry, Gaiotto (2016) associated to any symplectic representation of G a Lagrangian subvariety of T^?Bun_G. We give a simple interpretation of (a generalization of) Gaiotto’s construction in terms of derived symplectic geometry. This allows to consider a more general setting where symplectic G-representations are replaced by arbitrary symplectic manifolds equipped with a Hamiltonian G-action and with an action of the multiplicative group that rescales the symplectic form with positive weight.     

Schur positivity and the <Emphasis Type="Italic">q</Emphasis>-log-convexity of the Narayana polynomials

We prove two recent conjectures of Liu and Wang by establishing the strong q-log-convexity of the Narayana polynomials, and showing that the Narayana transformation preserves log-convexity. We begin with a formula of Brändén expressing the q-Narayana numbers as a specialization of Schur functions and, by deriving several symmetric function identities, we obtain the necessary Schur-positivity results. In addition, we prove the strong q-log-concavity of the q-Narayana numbers. The q-log-concavity of the q-Narayana numbers N _q (n,k) for fixed k is a special case of a conjecture of McNamara and Sagan on the infinite q-log-concavity of the Gaussian coefficients.     

Two formulas for the BR multiplicity

We prove a projection formula, expressing a relative Buchsbaum–Rim multiplicity in terms of corresponding ones over a module-finite algebra of pure degree, generalizing an old formula for the ordinary (Samuel) multiplicity. Our proof is simple in spirit: after the multiplicities are expressed as sums of intersection numbers, the desired formula results from two projection formulas, one for cycles and another for Chern classes. Similarly, but without using any projection formula, we prove an expansion formula, generalizing the additivity formula for the ordinary multiplicity, a case of the associativity formula.     

On spectra of almost simple groups with symplectic or orthogonal socle

Finite groups are said to be isospectral if they have the same sets of the orders of elements. We investigate almost simple groups H with socle S, where S is a finite simple symplectic or orthogonal group over a field of odd characteristic. We prove that if H is isospectral to S, then H/S presents a 2-group. Also we give a criterion for isospectrality of H and S in the case when S is either symplectic or orthogonal of odd dimension.     

Best quadrature formulas for evaluating line integrals of the first kind for certain classes of functions and curves determined by moduli of continuity

The extremal problem of minimizing the error of approximate evaluation of a line integral of the first kind is considered for certain classes of functions and spatial curves determined by moduli of continuity.It is proved that if the endpoints of the interval [0, L] (where L is the length of the curve along which the integration is performed) are not included in the set of nodes of a quadrature formula for evaluating the line integral of the first kind, then the best quadrature formula for the classes m^(p) _ρ of functions and \({H^{{\omega _1}, \ldots ,{\omega _m}}}\) of curves is the midpoint rectangle formula. If the extreme points x = 0 and x = L of the interval are included in the set of nodes of a quadrature formula for approximately evaluating the line integral (such formulas are said to be Markov-type), then, for these classes, the best formula is the trapezoidal rule. Sharp error estimates for all considered classed of functions and curves are calculated and a generalization to more general classes is given.