Existence of two solutions for a fourth-order difference problem with p(k) exponent

The existence of nontrivial solutions for a fourth-order discrete anisotropic boundary value problem involving the p(k)-Laplacian operator with the Dirichlet and the Neumann boundary value conditions is investigated. Variational approach based on a new critical point theorem is applied. An example is inserted to illustrate main results.


Introduction
The study of discrete boundary value problems has attracted intense research interests in the last decade. Modeling of certain nonlinear problems led to the rapid development of the theory of difference equations; see the monograph of [1]. Recently there have been an increasing interest to the existence and multiplicity results to boundary value problems for difference equations with the p(k) -Laplacian operator. Continuous versions of this kind of problem are known to be mathematical models of various phenomena arising in the study of elastic mechanics (see [24]), electrorheological fluids (see [22]), and image restoration (see [8]). Continuous variational anisotropic problems were started by Fan and Zhang in [9]. The research concerning the discrete fourth-order anisotropic problems have only been started, see [17,20] and have been followed by the other authors (see [18,19]), where known tools from the critical point theory are applied to prove the existence of solutions. Concerning the fourth-order problems with exponent variable we mainly follow [18].
The results on this topic are usually achieved by using fixed point theorems in cones (see [3] and references therein). Another tool in the study of nonlinear difference equations is the upper and lower solution method (see, for instance, [13] and references therein). It is well known that variational method and critical point theory are important tools to deal with the problems for differential equations. Recently, the existence and multiplicity of solutions for nonlinear discrete boundary value problems have been investigated by adopting variational methods (see [2,12,15] ).
The main goal of this paper is to establish the existence of three solutions for the discrete anisotropic problem with a positive real parameter λ on the form where T ≥ 2 is a fixed positive integer, Let us put Research concerning the discrete anisotropic problems of type (1) was initiated by Kone and Ouaro in [17] and by Mihǎilescu, Rǎdulescu and Tersian in [20]. One can find in [4] and [6] further tools and ideas to study anisotropic discrete nonlinear problems. For the continuous counterpart of the fourth order discrete problems, one can see [23]. Also we may think of (1) as a discrete analogue of the fourth-order functional differential equation A special case of the above equation is the equation which is used to model deformations of elastic beams [7,14,21]. The paper is arranged as follows. In Sect. 1 we recall the main tools. In Sect. 2, we introduce notations and provide several inequalities useful in our investigations. After variational framework in Sect. 3 we formulate and prove the main result and special case. Finally we present an example.

Preliminaries
Let E be a real finite dimensional space. Given two Gâteaux differentiable mappings Φ, H : E → R with derivatives ϕ, h : E → E * we consider the following abstract equation We denote by J : E → R the action functional connected with (2), i.e.
. Then u is a critical point to J , and thus it solves (2).
We finish with a simple multiplicity result.
. Then u is a critical point to J , and thus it solves (2) . If, moreover, J is anti-coercive, then (2) has another solution different from u.

Auxiliary inequalities
Let us define the Euclidean space which is equipped with the norm Let us also define the following equivalent norms |u(k)| and the Luxemburg norm Note that there exists constant L > 0 such that Now we provide some inequalities used throughout the paper. Put

Lemma 1 For every u ∈ W we have what follows
Proof Relation (I1) is obtained by similar argument as in [11]. Using the inequality By (I1) we get (I2) as follows By the Hölder inequality we get Hence by (4) and (5) now we have (I2).
Relation (I3) is obtained by similar arguments as in [16]. By the weighted Hölder inequality and the Minkowski inequality we see that To see (I4) note that for any u ∈ W and for any k ∈ [1, T + 2] we have Combining the above inequalities by adding the left-hand sides and right-hand sides we obtain Since u(−1) = 0, for any k ∈ [−1, T + 2], we get Arguing as above, for any k ∈ [1, T + 2], we obtain Function w has only positive value, so for any u ∈ W by (6) and (7), respectively, we get and Hence for any k ∈ [−1, T + 2] the Hölder inequality implies The proof of Lemma 1 is complete.
Let ψ : W → R be given by the formula For any u ∈ W the following properties hold (see [5]):

Lemma 2 For all u ∈ W we have
Proof Let u ∈ W . By a similar argument as in [16], we have In the same manner we get k=1 q(k)|u(k)| p + + q + (T + 2).
Combining the above inequalities in view of (I4) we obtain inequality (9).

Variational framework
In this section we connect solutions to (1) with critical points of a suitably chosen action functional. Let Let λ > 0 be fixed. We consider a functional I λ : W → R defined by Then Applying twice, for the functional Φ, the summation by parts formula and use the conditions Δv(−1) = v(0) = Δv(T + 1) = v(T + 2) = 0 we can see that The derivative of H reads for all u, v ∈ W . Therefore H is of class C 1 on W . Hence I λ is of class C 1 on W .

Lemma 3 The functional Φ is coercive.
Proof To prove the coercivity of Φ note that for u large as well , u p(.) is large enough, so by (8) and (3) we get Hence, as u → +∞, we can conclude that Φ(u) → +∞.

Lemma 4 The function u ∈ W is a critical point of I λ in W iff u is a solution of problem (1).
Proof First, let u be a critical point of I λ in W . Then for all v ∈ W , I λ (u)(v) = 0 and Δu(−1) = Δu(T + 1) = u(−1) = u(T + 2) = 0. Thus, for every v ∈ W , taking twice summation by parts and taking Δv(−1) = Δv(T + 1) = v(−1) = v(T + 2) = 0 into account we have Since v ∈ W is arbitrary we get for every k ∈ [1, T ]. Therefore, u is a solution of (1). We conclude that every critical point of I λ in W is a solution of problem (1).
Fix λ ∈ 0, λ * * . We shall apply Theorem 1. The functional I λ is continuous and the subset D is closed and bounded, therefore there exists a minimum of I λ over D, which we denote by x 0 , so x 0 p(.) < L.
The energy functional J : E → R corresponding to (16) is on the form From Lemma 3 the functional J is coercive. It is also C 1 and strictly convex, so problem (16) is uniquely solvable by some v ∈ E. We shall prove that v ∈ D. If v < 1 the conclusion is immediate. Suppose v ≥ 1. Multiplying