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.     

Weyl-Titchmarsh theory for symplectic difference systems

In this work, we establish Weyl-Titchmarsh theory for symplectic difference systems. This paper extends classical Weyl-Titchmarsh theory and provides a foundation for studying spectral theory of symplectic difference systems.     

Oscillation theorems and Rayleigh principle for linear Hamiltonian and symplectic systems with general boundary conditions

The aim of this paper is to establish the oscillation theorems, Rayleigh principle, and coercivity results for linear Hamiltonian and symplectic systems with general boundary conditions, i.e., for the case of separated and jointly varying endpoints, and with no controllability (normality) and strong observability assumptions. Our method is to consider the time interval as a time scale and apply suitable time scales techniques to reduce the problem with separated endpoints into a problem with Dirichlet boundary conditions, and the problem with jointly varying endpoints into a problem with separated endpoints. These more general results on time scales then provide new results for the continuous time linear Hamiltonian systems as well as for the discrete symplectic systems. This paper also solves an open problem of deriving the oscillation theorem for problems with periodic boundary conditions. Furthermore, the present work demonstrates the utility and power of the analysis on time scales in obtaining new results especially in the classical continuous and discrete time theories.     

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.     

Some sufficient conditions for oscillation of impulsive delay hyperbolic systems with Robin boundary conditions

This paper deals with the oscillation problems of delay hyperbolic systems with impulses. Some sufficient conditions for oscillations of impulsive delay hyperbolic systems with Robin boundary conditions are obtained and the criteria of oscillation of the systems are established.     

Oscillation theorems for symplectic difference systems

We consider symplectic difference systems involving a spectral parameter, together with the Dirichlet boundary conditions. The main result of the paper is a discrete version of the so-called oscillation theorem which relates the number of finite eigenvalues less than a given number to the number of focal points of the principal solution of the symplectic system. In two recent papers the same problem was treated and an essential ingredient was to establish the concept of the multiplicity of a focal point. But there was still a rather restrictive condition needed, which is eliminated here by using the concept of finite eigenvalues (or zeros) from the theory of matrix pencils.     

A note on oscillation of second-order nonlinear difference equation with continuous variable

In this paper, by improving the proofs of some theorems in J. Math. Anal. Appl. 255 (2001) 349-357, we obtain some new oscillation criteria for the second-order nonlinear difference equation with continuous variable.     

Comparative index for solutions of symplectic difference systems

We introduce the comparative index of two conjoined bases of a symplectic difference system, which generalizes difference analogs of canonical systems of differential equations. We consider the main properties of the comparative index and its relation to the number of focal points of a conjoined basis of the symplectic system. We prove a formula relating the number of focal points (including multiplicities) of two bases in the interval (i, i + 1] and corollaries of this formula such as an estimate for the difference of the numbers of focal points of two conjoined bases in the interval (0, N + 1], the equality of the numbers of focal points of principal solutions for the primal and reciprocal systems, sufficient conditions for the solvability of the Riccati equation for a disconjugate symplectic system, etc.     

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.     

Finite difference reaction-diffusion systems with coupled boundary conditions and time delays

This paper is concerned with finite difference solutions of a coupled system of reaction-diffusion equations with nonlinear boundary conditions and time delays. The system is coupled through the reaction functions as well as the boundary conditions, and the time delays may appear in both the reaction functions and the boundary functions. The reaction-diffusion system is discretized by the finite difference method, and the investigation is devoted to the finite difference equations for both the time-dependent problem and its corresponding steady-state problem. This investigation includes the existence and uniqueness of a finite difference solution for nonquasimonotone functions, monotone convergence of the time-dependent solution to a maximal or a minimal steady-state solution for quasimonotone functions, and local and global attractors of the time-dependent system, including the convergence of the time-dependent solution to a unique steady-state solution. Also discussed are some computational algorithms for numerical solutions of the steady-state problem when the reaction function and the boundary function are quasimonotone. All the results for the coupled reaction-diffusion equations are directly applicable to systems of parabolic-ordinary equations and to reaction-diffusion systems without time delays.     

A note on the oscillation of linear time-invariant systems

A necessary and sufficient condition is given under which a linear time-invariant system of ordinary differential equations has a solution which is nonoscillatory with respect to a fixed set of cones. In contrast with existing results, ours allows that the given cones do not cover the whole space. The proof of the result is based on its discrete counterpart.     

A note on semipositone boundary value problems with nonlocal,nonlinear boundary conditions

We consider the existence of at least one positive solution to a semipositone boundary value problem with nonlocal, nonlinear boundary conditions, which can be quite general since the nonlinearity is realized as a Stieltjes integral. By assuming that the associated Stieltjes measure decomposes in a certain way, the classical Leray-Schauder degree is utilized to derive the existence result.     

A note on Taylor boundary conditions for accurate image restoration

In recent years, several efforts were made in order to introduce boundary conditions for deblurring problems that allow to get accurate reconstructions. This resulted in the birth of Reflective, Anti-Reflective and Mean boundary conditions, which are all based on the idea of guaranteeing the continuity of the signal/image outside the boundary. Here we propose new boundary conditions that are obtained by suitably combining Taylor series and finite difference approximations. Moreover, we show that also Anti-Reflective and Mean boundary conditions can be attributed to the same framework. Numerical results show that, in case of low levels of noise and blurs able to perform a suitable smoothing effect on the original image (e.g. Gaussian blur), the proposed boundary conditions lead to a significant improvement of the restoration accuracy with respect to those available in the literature.     

On the correction of finite difference eigenvalue approximations for sturm-liouville problems with general boundary conditions

When finite difference and finite element methods are used to approximate continuous (differential) eigenvalue problems, the resulting algebraic eigenvalues only yield accurate estimates for the fundamental and first few harmonics. One way around this difficulty would be to estimate the error between the differential and algebraic eigenvalues by some independent procedure and then use it to correct the algebraic eigenvalues. Such an estimate has been derived by Paine, de Hoog and Anderssen for the Liouville normal form with Dirichlet boundary conditions. In this paper, we extend their result to the Liouville normal form with general boundary conditions.Dedicated to Germund Dahlquist on the occasion of his 60th birthday.     

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.