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.     

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.     

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 a Weyl-Titchmarsh theory for discrete symplectic systems on a half line

Recently, Bohner and Sun [9] introduced basic elements of a Weyl-Titchmarsh theory into the study of discrete symplectic systems. We extend this development through the introduction of Weyl-Titchmarsh functions together with a preliminary study of their properties. A limit point criterion is described and characterized. Green’s function for the half-line is introduced as a limit of such functions in the regular case and half-line solutions obtained are seen to satisfy λ-dependent boundary conditions at infinity.     

Two-point boundary value problems for finite fractional difference equations

In this paper, we introduce a two-point boundary value problem for a finite fractional difference equation. We invert the problem and construct and analyse the corresponding Green's function. We then provide an application and obtain sufficient conditions for the existence of positive solutions for a two-point boundary value problem for a nonlinear finite fractional difference equation.     

Positive solutions for systems of nonlinear discrete boundary value problems

Existence of eigenvalues yielding positive solutions for systems of second order discrete boundary value problems (two-point, three-point and generalized three-point) are established. The results are obtained by the use of a Guo–Krasnoselskii fixed point theorem in cones.     

Boundary value problem for p−Laplacian Caputo fractional difference equations with fractional sum boundary conditions

In this paper, we consider a discrete fractional boundary value problem of the form where 0 < α,β≤1, 1 < α + β≤2, 0 < γ≤1, , ρ is a constant, and denote the Caputo fractional differences of order α and β, respectively, is a continuous function, and ?_p is the p‐Laplacian operator. The existence of at least one solution is proved by using Banach fixed point theorem and Schaefer's fixed point theorem. Some illustrative examples are also presented. Copyright © 2015 John Wiley & Sons, Ltd.     

Existence and uniqueness of solutions of sequential nonlinear fractional difference equations with three‐point fractional sum boundary conditions

In this paper, we consider a discrete fractional boundary value problem of the form: where 0 < α,β≤1, 1 < α + β≤2, λ and ρ are constants, γ > 0, , is a continuous function, and E_βx(t) = x(t + β ? 1). The existence and uniqueness of solutions are proved by using Banach's fixed point theorem. An illustrative example is also presented. Copyright © 2014 John Wiley & Sons, Ltd.     

Green's functions for elliptic and parabolic systems with Robin-type boundary conditions

The aim of this paper is to investigate Green's function for parabolic and elliptic systems satisfying a possibly nonlocal Robin-type boundary condition. We construct Green's function for parabolic systems with time-dependent coefficients satisfying a possibly nonlocal Robin-type boundary condition assuming that weak solutions of the system are locally Hölder continuous in the interior of the domain, and as a corollary we construct Green's function for elliptic system with a Robin-type condition. Also, we obtain Gaussian bound for Robin Green's function under an additional assumption that weak solutions of Robin problem are locally bounded up to the boundary. We provide some examples satisfying such a local boundedness property, and thus have Gaussian bounds for their Green's functions.     

Interior continuity,continuity up to the boundary,and Harnack's inequality for double-phase elliptic equations with nonlogarithmic conditions

We prove continuity and Harnack's inequality for bounded solutions to elliptic equations of the type under the precise choice of μ.      

Discrete maximum principles for FE solutions of nonstationary diffusion‐reaction problems with mixed boundary conditions

In this article, we derive and discuss sufficient conditions for providing validity of the discrete maximum principle for nonstationary diffusion‐reaction problems with mixed boundary conditions, solved by means of simplicial finite elements and the θ time discretization method. The theoretical analysis is supported by numerical experiments. © 2009 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2011     

Dominant and recessive solutions at infinity and genera of conjoined bases for discrete symplectic systems

In this paper we introduce the theory of dominant solutions at infinity for nonoscillatory discrete symplectic systems without any controllability assumption. Such solutions represent an opposite concept to recessive solutions at infinity, which were recently developed for such systems by the authors. Our main results include: (i) the existence of dominant solutions at infinity for all ranks in a given range depending on the order of abnormality of the system, (ii) construction of dominant solutions at infinity with eventually the same image, (iii) classification of dominant and recessive solutions at infinity with eventually the same image, (iv) limit characterization of recessive solutions at infinity in terms of dominant solutions at infinity and vice versa, and (v) Reid’s construction of the minimal recessive solution at infinity. These results are based on a new theory of genera of conjoined bases for symplectic systems developed for this purpose in this paper.     

A second‐order linearized difference scheme on nonuniform meshes for nonlinear parabolic systems with Dirichlet boundary value conditions

A linearized three‐level difference scheme on nonuniform meshes is derived by the method of the reduction of order for the Dirichlet boundary value problem of the nonlinear parabolic systems. It is proved that the difference scheme is uniquely solvable and second order convergent in L_∞‐norm. © 2003 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 19: 638–652, 2003     

Numerical methods for coupled systems of quasilinear elliptic equations with nonlinear boundary conditions

This paper is concerned with numerical solutions of a coupled system of arbitrary number of quasilinear elliptic equations under combined Dirichlet and nonlinear boundary conditions. A finite difference system for a transformed system of the quasilinear equations is formulated, and three monotone iterative schemes for the computation of numerical solutions are given using the method of upper and lower solutions. It is shown that each of the three monotone iterations converges to a minimal solution or a maximal solution depending on whether the initial iteration is a lower solution or an upper solution. A comparison result among the three iterative schemes is given. Also shown is the convergence of the minimal and maximal discrete solutions to the corresponding minimal and maximal solutions of the continuous system as the mesh size tends to zero. These results are applied to a heat transfer problem with temperature dependent thermal conductivity and a Lotka-Volterra cooperation system with degenerate diffusion. This degenerate property leads to some interesting distinct property of the system when compared with the non-degenerate semilinear systems. Numerical results are given to the above problems, and in each problem an explicit continuous solution is constructed and is used to compare with the computed solution