BOUNDARY VALUE PROBLEMS OF A HIGHER ORDER NONLINEAR DIFFERENCE EQUATION

Transcription

1 U.P.B. Sci. Bull., Series A, Vol. 79, Iss. 4, 2017 ISSN BOUNDARY VALUE PROBLEMS OF A HIGHER ORDER NONLINEAR DIFFERENCE EQUATION Lianwu Yang 1 We study a higher order nonlinear difference equation. By maing use of the critical point theory, some sufficient conditions for the existence of the solution to the boundary value problems are obtained. Keywords: Existence, boundary value problems, higher order, Saddle Point Theorem, critical point theory MSC2010: 39A10, 47J30, 58E05 1. Introduction Recently, the theory of nonlinear difference equations have widely occurred as the mathematical models describing real life situations in computer science, electrical circuit analysis, economics, neural networs, ecology, cybernetics, biological systems, matrix theory, combinatorial analysis, optimal control, probability theory, and population dynamics. These studies cover many of the branches of nonlinear difference equations, such as stability, attractivity, periodicity, homoclinic solutions, oscillation, and boundary value problems, see [2],[4],[5], [7],[8],[9],[10],[11], [12],[18],[19],[20],[21],[22],[23],[24],[25],[25],[26], [30],[31],[32] and the references therein. For the general bacground of difference equations, one can refer to the monographs [1],[3]. Below N, Z and R denote the sets of all natural numbers, integers and real numbers respectively. T is a positive integer. For any a, b Z, define Za = a, a + 1, }, Za, b = a, a + 1,, b} when a b. Besides, * denotes the transpose of a vector. The present paper considers the following higher order nonlinear difference equation r i x i + x +i = f, x +M,, x,, x M, n N, Z1, T, 1 with boundary value conditions x 1 m = x 2 m = = x 0 = 0, x T +1 = x T +2 = = x T +m = 0, 2 where r i is a real number, M is a given nonnegative integer, m = maxn, M}, f CR 2M+2, R. When n = 1, r 0 = 1, r 1 = 1 and M = 1, 1 can be reduced to the following second order difference equation 2 x 1 = f, x +1, x, x 1, Z1, T. 3 Equation 3 can be seen as an analogue discrete form of the following second order differential equation d 2 x = ft, xt + 1, xt, xt 1, t [1, T ]. 4 dt2 1 School of Mathematical and Computer Science, Yichun University, Yichun , China, ycumath@163.com 93

2 94 Lianwu Yang Equations similar in structure to 4 arise in the study of the periodic solutions, homoclinic orbits of functional differential equations [13],[14],[15],[16],[17],[27],[29]. In 1994, Ahlbrandt and Peterson [2] gave a formulation of generalized zeros and n, n-disconjugacy for even order formally self-adjoint scalar difference equation i γ i i i u i = 0, 5 and Peil, Peterson [28] studied the asymptotic behavior of solutions of 5 with γ i 0 for 1 i n 1. Anderson [4] in 1998 considered 5 for Za and obtained a formulation of generalized zeros and n, n-disconjugacy for 5. In 2014, Deng [10] established some sufficient conditions for the boundary value problem of the following equation 2 p 1 2 u 2 q u 1 δ + r u δ = f, u, 6 and gave some new results by using the critical point theory. By Lyapunov-Schmidt reduction methods and computations of critical groups, Hu [18] in 2014 proved that the equation r i x i + x +i + f, x = 0. 7 has four periodic solutions. Recently, Liu, Zhang and Shi [23] considered the boundary value problem of the following difference equation 2 p n 1 2 u n 2 q n u n 1 δ + r n u δ n = fn, u n, 8 by using Mountain Pass Lemma. To the best of our nowledge, the results on boundary value problems of high order nonlinear difference equations are very scare in the literature. What s more, 1 is a ind of difference equation containing both many advances and retardations. It has important analog in the continuous case of higher order functional differential equation for which the evolution of the function depends on its current state, its history, and its future as well. And the traditional ways of establishing the functional in [5],[18] are inapplicable to our case. In this paper, we shall study the existence of solutions of the boundary value problem 1 with 2. First, we shall construct a suitable functional J such that solutions of the boundary value problem 1 with 2 correspond to critical points of J. Then, by using the Saddle Point Theorem, we obtain the existence of critical points of J. The motivation for the present wor stems from the recent papers [10],[23]. Throughout this paper, we assume that the symbol F i u 1,, u i, u T defines the partial derivative of a function F on the i variable. Our main results are the following theorems. Theorem 1.1. Assume that r and F satisfy the following assumptions: r 1 r 0 + n r s < 0; s=1 F 1 there exists a function F t, u M,, u 0 which is continuously differentiable in the variable from u M to u 0 for every t Z and satisfies 0 F 2+M+it + i, u M+i,, u i = ft, u M,, u 0,, u M ; i= M

3 Boundary value problems of a higher order nonlinear difference equation 95 F 2 there exist constants c 1 > 0, c 2 > 0 and 1 < τ < 2 such that M F t, u M,, u 0 c 1 u τ j + c 2, t, u M,, u 0 R M+2. j=0 Then the boundary value problem 1 with 2 possesses at least one solution. Example 1.1. In 1, let where 1 < α < 2. Since 0 i= M F, x +M,, x = F 2+M+i + i, x M+i,, x i = αx M M j=0 x 2 +i α 2 M j x+i j α It is easy to verify that assumptions r 1, F 1, F 2 are satisfied. By 1.1, the boundary value problem 1 with 2 possesses at least one solution. Corollary 1.1. Assume that r and F satisfy r 1, F 1 and the following assumption: F 3 there exist a constant K 1 > 0 such that for any t, y M,, y 0 R M+2, F i t, u M,, u i,, u 0 K 1, i = 2, 3,, M + 2. Then the boundary value problem 1 with 2 possesses at least one solution. Remar 1.1. Assumption F 3 implies that there exists a constant K 2 > 0 such that M F 3 F t, u M,, u 0 K 2 + K 1 u j, t, u M,, u 0 R M+2. j=0 Theorem 1.2. Assume that r and F satisfy F 1, F 3 and the following assumptions: r 2 r s = 0; s=0 M F 4 for every t R, F t, u M,, u 0 + as u 2 i Then the boundary value problem 1 with 2 possesses at least one solution. For basic nowledge of variational methods, the reader is referred to [27],[29]. 2. Variational structure Our main tool is the critical point theory. We shall establish suitable variational structure to study the existence of the boundary value problem 1 with 2. At first, we shall state some basic notations which will be used in the proofs of our main results. Let R T be the real Euclidean space with dimension T. On one hand, we define the inner product on R T as follows: x, y = x j y j, x, y R T, 9 j=1 by which the norm can be induced by x = j=1 x 2 j 1 2, x R T. 10

4 96 Lianwu Yang On the other hand, we define the norm s on R T as follows: x s = x j s j=1 1 s, for all x R T and s > 1. Since x s and x 2 are equivalent, there exist constants 1, 2 such that 2 1 > 0, and 1 x 2 x s 2 x 2, x R T. 11 For the boundary value problem 1 with 2, consider the functional J defined on R T as follows: where and Jx := i= M r i x i + x +i x F, x +M,, x, 12 F 2+M+i + i, u M+i,, u i = f, u M,, u 0,, u M, x 1 n = x 2 M = = x 0 = 0, x T +1 = x T +2 = = x T +M = 0. It is easy to see that J C 1 R T, R and for any x = x } T = x 1, x 2,..., x T, by using x 1 M = x 2 M = = x 0 = 0, x T +1 = x T +2 = = x T +M = 0, we can compute the partial derivative as J x = r i x i + x +i f, x +M,, x,, x M, Z1, T. Thus, x is a critical point of J on R T if and only if r i x i + x +i = f, x +M,, x,, x M, Z1, T. We reduce the existence of the boundary value problem 1 with 2 to the existence of critical points of J on R T. That is, the functional J is just the variational framewor of the boundary value problem 1 with 2. For all x R T, J can be rewritten as Jx = 1 T 2 P x, x F, x +M,, x,

5 Boundary value problems of a higher order nonlinear difference equation 97 where x = x } R T, x = x 1, x 2,, x T, Z1, T, and 2r 0 r 1 r 2 r n 1 r n r n r n 1 r 2 r 1 r 1 2r 0 r 1 r n 2 r n 1 r n r n r 3 r 2 r 2 r 1 2r 0 r n 3 r n 2 r n 1 r n r 4 r 3 P = r 2 r 3 r r n r n 1 r n 2 2r 0 r 1 r 1 r 2 r 3 r n r n 1 r n 2 r n 3 r 1 2r 0 is a T T matrix. Assume that the eigenvalues of P are λ 1, λ 2,, λ T respectively. By [6], the eigenvalues of P are λ j = 2r 0 r l exp i 2jπ } l r l exp i 2jπ } T l 2jlπ = 2 r l cos, 13 T T T l=1 l=1 l=1 where j = 1, 2,, T. By 13, it is clear that 2r 0 2 r l λ j 2r r l, j = 1, 2,, T. 14 Let V and W be Banach spaces, and U V be an open subset of V. A function f : U W is called Fréchet-differentiable at x U if there exists a bounded linear operator A x : V W such that fx + h fx A x h lim W = 0. h 0 h V We write Dfx = A x and call it the Fréchet derivative of f at x. For convenience, we identify x R T with x = x 1, x 2,, x T. Definition 2.1. Let E be a real Banach space, J C 1 E, R, i.e., J is a continuously Fréchet-differentiable functional defined on E. J is said to satisfy the Palais-Smale condition P.S. condition for short if any sequence x n} n N E for which J x n} n N is bounded and J x n 0 n possesses a convergent subsequence in E. Let B ρ denote the open ball in E about 0 of radius ρ and let B ρ denote its boundary. 3. Main lemmas In this section, we give two lemmas which will play important roles in the proofs of our main results. Lemma 3.1. Saddle Point Theorem [29] Let E be a real Banach space, E = E 1 E 2, where E 1 0} and is finite dimensional. Assume that J C 1 E, R satisfies the P.S. condition and J 1 there exist constants µ, ρ > 0 such that l=1 J Bρ E 1 µ; l=0

6 98 Lianwu Yang J 2 there exists e B ρ E 1 and a constant ω µ such that J e+e2 ω. Then J possesses a critical value c ω, where c = inf max Jhx, x B ρ E 1 h Γ Γ = h C B ρ E 1, E h Bρ E 1 = id} and id denotes the identity operator. Lemma 3.2. Assume that r 2 and F 1, F 3, F 4 are satisfied. Then the functional J satisfies the P.S. condition. Proof. It is easy to see that 0 is an eigenvalue of P and ξ = 1 T 1, 1,, 1 R T is an eigenvector of P corresponding to 0. Let λ 1, λ 2,, λ T 1 be the other eigenvalues of P. Applying matrix theory, it is obvious that λ j > 0 for all j Z1, T 1. Let λ max = max λ j j = 1, 2,, T 1}, 15 Then Set λ min = min λ j j = 1, 2,, T 1}. 16 Z = er P = Z = x R T P x = 0 R T }. } x R T x = c}, c R. Let Y be the complement of Z. Let x n} n N RT be such that J x n} is n N bounded and J x n 0 as n. Then there exists a positive constant D such that D J x n D, n N. Let x n = y n + z n Y + Z. First, on one hand, for n large enough, it follows from x J x n, x = P x n, x + f, x n +M,, xn,, xn M x, with F 1 and F 3 that P x n, y n f, x n K 1 +M,, xn T y n [ K T y n,, xn M y n ] y n. On the other hand, it is easy to see that P x n, y n = P y n, y n y n λ min 2. Thus, we have y n λ min 2 [ K T + 1 ] y n. + y n The above inequality implies that y n} is bounded. n N Next, we shall prove that z n} is bounded. It comes from n N D J x n = 1 P x n, x n + F, x n +M 2,, xn

7 = 1 2 Boundary value problems of a higher order nonlinear difference equation 99 P x n, x n + [ ] F, x n +M,, xn F, z n +M,, zn that + F F, z n +M,, zn, z n +M,, zn D P y n, y n + F D λ max y n 2 T F +, x n +M,, xn F, z n +M,, zn, z n +M + αyn +M,, zn u 2 F, z n +M + αyn +M,, zn + where α 0, 1. It follows that T F u M+1 + αy n D λ max y n 2 + K1 T y n, }, z n +M,, zn + αy n y n y n +M + is bounded. Assumption F 4 implies that z n} is bounded. Assume, for the sae of contradiction, that z n + as n. Since there exist c n R T, N, such that z n = c n, c n,, c n R T, then as n. Since then F z n T = F z n T = c n = T c n +, z n +M,, zn = F, 0,, c n, 1 T,, z n +M,, zn + as n. This contradicts the fact that T F }, z n +M,, zn is bounded and hence the proof of Lemma 3.2 is completed.

8 100 Lianwu Yang 4. Proof of the main results In this section, we shall prove that Theorems 1.1, 1.2 hold respectively via the variational methods. Proof of Theorem 1.1. For any x = x 1, x 2,, x T R T, combining with F 2, it is easy to see that Jx = 1 T 2 P x, x F, x +M,, x 1 2 λ min x 2 c 1 T = 1 2 λ min x 2 c 1 M j=0 j=0 M x +j τ c 2 T x +j τ c 2 T 1 2 λ min x 2 c 1 M + 1 τ 2 x τ c 2 T + as x +. By the continuity of Jx, we have from the above inequality that there exist lower bounds of values of the functional Jx. And this implies that Jx attains its minimal value at some point which is just the critical point of Jx with the finite norm. The proof of Theorem 1.1 is finished. Remar 4.1. Due to 1.1, the conclusion of Corollary 1.1 is obviously true. Proof of Theorem 1.2. By r 2, we have that the matrix P is positive definite. First, it follows from Lemma 3.2 that J satisfies the P.S. condition. Next, we shall prove the conditions J 1 and J 2. For any y Y, by F 3, Jy = 1 T 2 P y, y + F, y +M,, y 1 2 λ min y 2 + T K 2 + K 1 T j=0 M y +j 1 2 λ min y 2 + T K 2 + K 1 M + 1T y as y +. Therefore, it is easy to see that the condition J 1 is satisfied. For any z Z, z = z 1, z 2,, z T, there exists c R such that z = c, for all n Z1, T. From F 4, we have that there exists a constant ρ > 0 such that F, 0,, c > 0 for Z1, T and c > ρ/ M + 1. Let K 3 = Therefore, we have Jz = min n Z1,T, c ρ/ M+1 F, 0,, c, K 4 = min0, K 3 }. Then F, 0,, c K 4,, c,, c Z1, T R M+1. F, z +M,, z = F, 0,, c T K 4, z Z. So all the assumptions of the Saddle Point Theorem are satisfied and the proof of Theorem 1.2 is complete.

9 Boundary value problems of a higher order nonlinear difference equation 101 Acnowledgement The author would lie to than the anonymous referees and the editors for their valuable comments and suggestions for improving this paper. This project is supported by the National Natural Science Foundation of China No R E F E R E N C E S [1] R.P. Agarwal, P.J.Y. Wong, Advanced Topics in Difference Equations, Kluwer Academic Publishers, Dordrecht, [2] C.D. Ahlbrandt, A.C. Peterson, The n, n-disconjugacy of a 2nth-order linear difference equation, Comput. Math. Appl., , No. 1-3, 1-9. [3] Z. AlSharawi, J.M. Cushing, S. Elaydi, Theory and Applications of Difference Equations and Discrete Dynamical Systems, Springer, New Yor, [4] D. Anderson, A 2nth-order linear difference equation, Comput. Math. Appl., 21998, No. 4, [5] G.M. Bisci, D. Repovš, Existence of solutions for p-laplacian discrete equations, Appl. Math. Comput., , [6] J.L. Chen, X.H. Chen, The Particular Matrix, KTsinghua University Press, Beijing, [7] P. Chen, X.F. He, Existence and multiplicity of homoclinic solutions for second-order nonlinear difference equations with Jacobi operators, Math. Methods Appl. Sci., , No. 18, [8] P. Chen, X.H. Tang, Existence of homoclinic solutions for some second-order discrete Hamiltonian systems, J. Difference Equ. Appl., , No. 4, [9] P. Chen, Z.M. Wang, Infinitely many homoclinic solutions for a class of nonlinear difference equations, Electron. J. Qual. Theory Differ. Equ., , No. 47, [10] X.Q. Deng, Nonexistence and existence results for a class of fourth-order difference mixed boundary value problems, J. Appl. Math. Comput., , No. 1, [11] X.Q. Deng, X. Liu, Y.B. Zhang, H.P. Shi, Periodic and subharmonic solutions for a 2nth-order difference equation involving p-laplacian, Indag. Math. N.S., , No. 5, [12] X.Q. Deng, H.P. Shi, On boundary value problems for second order nonlinear functional difference equations, Acta Appl. Math., , No. 3, [13] C.J. Guo, R.P. Agarwal, C.J. Wang, D. O Regan, The existence of homoclinic orbits for a class of first order superquadratic Hamiltonian systems, Mem. Differential Equations Math. Phys., , [14] C.J. Guo, D. O Regan, C.J. Wang, R.P. Agarwal, Existence of homoclinic orbits of superquadratic second-order Hamiltonian systems, Z. Anal. Anwend., , No. 1, [15] C.J. Guo, D. O Regan, Y.T. Xu, R.P. Agarwal, Existence of periodic solutions for a class of secondorder superquadratic delay differential equations, Dyn. Contin. Discrete Impuls. Syst. Ser. A Math. Anal., , No. 5, [16] C.J. Guo, D. O Regan, Y.T. Xu, R.P. Agarwal, Existence of homoclinic orbits of a class of second-order differential difference equations, Dyn. Contin. Discrete Impuls. Syst. Ser. A Math. Anal., , No. 6, [17] C.J. Guo, D. O Regan, Y.T. Xu, R.P. Agarwal, Homoclinic orbits for a singular second-order neutral differential equation, J. Math. Anal. Appl., , No. 2, [18] R.H. Hu, Multiplicity of periodic solutions for a higher order difference equation, Abstr. Appl. Anal., , 1-7. [19] M. Jia, Standing waves for the discrete nonlinear Schrödinger equations, Electron. J. Differential Equations, , No. 183, 1-9.

10 102 Lianwu Yang [20] J.H. Leng, Existence of periodic solutions for a higher order nonlinear difference equation, Electron. J. Differential Equations, , No. 134, [21] J.H. Leng, Periodic and subharmonic solutions for 2nth-order ϕ c -Laplacian difference equations containing both advance and retardation, Indag. Math. N.S., , No. 4, [22] X. Liu, Y.B. Zhang, X.Q. Deng, Nonexistence and existence results for a fourth-order p-laplacian discrete Neumann boundary value problem, Bull. Malays. Math. Sci. Soc., , No. 1, [23] X. Liu, Y.B. Zhang, H.P. Shi, Nonexistence and existence results for a class of fourth-order difference Neumann boundary value problems, Indag. Math. N.S., , No. 1, [24] X. Liu, Y.B. Zhang, H.P. Shi, Nonexistence and existence results for a class of fourth-order difference Dirichlet boundary value problems, Math. Methods Appl. Sci., , No. 4, [25] X. Liu, Y.B. Zhang, H.P. Shi, Existence and multiple solutions for discrete Dirichlet boundary value problems via variational methods, Politehn. Univ. Bucharest Sci. Bull. Ser. A Appl. Math. Phys., , No. 2, [26] X. Liu, Y.B. Zhang, H.P. Shi, X.Q. Deng, Boundary value problems of second order nonlinear difference equations with Jacobi operators, J. Contemp. Math. Anal., , No. 6, [27] J. Mawhin, M. Willem, Critical Point Theory and Hamiltonian Systems, Springer, New Yor, [28] T. Peil, A. Peterson, Asymptotic behavior of solutions of a two-term difference equation, Rocy Mountain J. Math., , No. 1, [29] P.H. Rabinowitz,Minimax Methods in Critical Point Theory with Applications to Differential Equations, Amer. Math. Soc., Providence, RI, New Yor, [30] H.P. Shi, Boundary value problems of second order nonlinear functional difference equations, J. Difference Equ. Appl., , No. 9, [31] H.P. Shi, W.P. Ling, Neumann boundary value problems of second order nonlinear functional difference equations with Jacobi operators, Proc. A. Razmadze Math. Inst., , [32] H.P. Shi, X. Liu, Y.B. Zhang, Nonexistence and existence results for a 2nth-order discrete Dirichlet boundary value problem, Kodai Math. J., , No. 2,