EXISTENCE OF SOLUTION TO A SEMILINEAR DISCRETE

advertisement
No. 43/2015
pp. 45-51
doi: 10.17114/j.aua.2015.43.04
Acta Universitatis Apulensis
ISSN: 1582-5329
http://www.uab.ro/auajournal/
EXISTENCE OF SOLUTION TO A SEMILINEAR DISCRETE
PROBLEM INVOLVING P −LAPLACIAN
A. Ourraoui
Abstract. In this work, under appropriate assumptions, we present a result
on the existence of solutions of difference equation
−∆ |∆u(k − 1)|p−2 ∆u(k − 1) = f (k, u(k)) + g(k)|u(k)|q−2 u, k ∈ [1, T ].
Our method is based on the Ekeland’s variational principle.
2010 Mathematics Subject Classification: 47A75, 35B38, 35P30, 34L05, 34L30.
Keywords: Variational method; Discrete boundary value problem.
1. Introduction
Many papers devoted to study of the discrete equations have increased in recent
years, by using various methods and techniques as fixed point theorems, lower and
upper solutions, and variational approach, see for example [1, 2, 3, 4, 5, 6, 7, 10, 11,
12]...
Let T ≥ 2 be a fixed positive integer, [a, b] be the discrete interval {a, a + 1, ..., b}
where a and b are integers and a < b.
Motivated by the above mentioned papers, we deal with the following discrete
boundary value problem
−∆ |∆u(k − 1)|p−2 ∆u(k − 1) = f (k, u(k)) + g(k)|u(k)|q−2 u, k ∈ [1, T ].
(1)
u(0) = u(T + 1) = 0,
where ∆u(k) = u(k + 1) − u(k) is the forward difference operator, 1 < q < p < ∞
while f : [1, T ] × R → R is a continuous function.
Denoting by F : [1, T ] → R the primitive of f i.e.,
Z u
F (k, u) =
f (k, s)ds, u ∈ R.
0
45
A. Ourraoui – Existence of solution to a semilinear discrete problem . . .
There is by now a rich literature on problems like (1), which began to receive
much attention and are known to be mathematical models of various phenomena
arising in the study of elastic mechanics, control systems, artificial or biological
neural networks, computing, electrical circuit analysis, dynamical systems, economics,...For more detail, we may refer to [8, 13].
Here, we are concerned with investigating nonlinear discrete boundary value
problems by using variational approach.
The rest of this paper is arranged as follows. In section 2, we recall some basic
definitions and tools in order to prove our main result and at after all we give an
example.
2. Preliminaries and statement of main results
In this section, we recall some basic properties which will be used in the proof of
the precise result.
Solutions to (1) will be investigated in a space
n
o
W = u : [0, T + 1] → R s.t u(0) = u(T + 1) = 0 ,
which is a T -dimensional Hilbert space, see [2], with the inner product
(u, v) =
T
+1
X
∆u(k − 1)∆v(k − 1),
for all u, v ∈ W.
k=1
The associated norm is defined by
kuk =
+1
TX
|∆u(k − 1)|p
1
p
.
k=1
Moreover, it is useful to introduce other norms on W , namely
|u|m =
T
X
|u(k)|m
1
m
,
∀u ∈ W and m ≥ 2.
k=1
It can be verified (see [6]) that
T
2−m
2m
1
|u|2 ≤ |u|m ≤ T m |u|2 ,
∀u ∈ W and m ≥ 2.
Next, we list some inequalities that will be are used later.
46
(2)
A. Ourraoui – Existence of solution to a semilinear discrete problem . . .
Lemma 1. ([10]) For every u ∈ W , we have
(a)
T
X
m
|u(k)|
≤ T (T + 1)
m−1
k=1
(b)
T
+1
X
T
+1
X
|∆u(k − 1)|m ,
∀m ≥ 2.
k=1
p(k−1)
|∆u(k − 1)|
≤2
m
k=1
T
X
|u(k)|m ,
∀m > 1.
k=1
We say that u ∈ W is a weak solution of problem (1) if
T
+1 X
p(k−1)−2
|∆u(k − 1)|
T
T
X
X
∆ϕ(k − 1) =
f (k, u(k))ϕ(k) + µ
g(k)|u(k)|p ϕ(k),
k=1
k=1
k=1
for any ϕ ∈ W .
Related to problem (1), define the functional φ : W → R given by
φ(u) =
T
+1 X
k=1
T
T
k=1
k=1
X
1X
1
F (k, u(k)) −
|∆u(k − 1)|p −
g(k)|u(k)|q .
p
q
We assume the following conditions.
(g1 ) g ∈ L∞ ([1, T ]), g ≥ (6≡)0.
(f1 ) f (x, t) ∈ C([1, k] × R), f 6≡ 0.
f (k, t)
f (k, t)
< λ1 and λ1 < l2 := lim p−1 < ∞
p−1
t→∞ t
t→0 |t|
uniformly in [1, T ] where λ1 > 0 is the smallest positive eigenvalue of
−∆ |∆u(k − 1)|p−2 ∆u(k − 1) = λ|u(k)|p−2 u, k ∈ [1, T ],
(f2 ) 0 ≤ l1 := lim
(3)
u(0) = u(T + 1) = 0,
see [2] .
The following theorem is the main result of this paper.
Theorem 2. If (g1 ), (f1 ) and (f2 ) hold true, then the problem (1) has at least one
nontrivial weak solution.
Proof of Theorem 2. It is clear that the functional φ is differentiable and its derivative is given by
0
φ (u).v =
T
+1
X
|∆u(k−1)|
p−2
T
T
X
X
∆u(k−1)∆v(k−1)−
f (k, u(k))v(k)−
g(k)|u(k)|p−2 u(k)v(k),
k=1
k=1
47
k=1
A. Ourraoui – Existence of solution to a semilinear discrete problem . . .
for all u, v ∈ W.
For simplicity, we give an auxiliary result about f :
In view of (f1 ) and (f2 ) with l2 < ∞ we have
lim
t→∞
f (k, t)
= 0, for p < r < ∞, uniformly in
tr−1
[1, T ].
Therefore, for any ε > 0 there exists C(ε) > 0 such that
f (k, t) ≤ (l1 + ε)tp−1 + C(ε)tr−1 for all t ≥ 0, k ∈ [1, T ],
and thus
r
F (k, t) ≤ l1p+ε tp + C(ε)
r t , for all t ≥ 0, k ∈ [1, T ].
On the other hand, according to (f2 ) and the fact that l1 < λ1 , we may find ε1 > 0
such that
l1 + ε1 < λ1 ,
F (k, t) ≤
l 1 + ε1 p
t + C0 tr , for all t ≥ 0, k ∈ [1, T ]
p
with C0 > 0 is nonnegative constant.
We present the following Lemma:
Lemma 3. There exist ρ > 0 and α > 0 such that
φ(u) ≥ α > 0, for every u ∈ W, with kuk = ρ.
Proof of Lemma 3. By using of Lemma 1 we have
φ(u) =
T
+1 X
k=1
≥
T
T
k=1
k=1
X
1
1X
F (k, u(k)) −
|∆u(k − 1)|p −
g(k)|u(k)|q
p
q
T
T
T
1
C(ε) X
|g|∞ X
l1 + ε X
p
r
p
|u(k)| −
|u(k)| −
|u(k)|q
kuk −
p
p
r
q
k=1
≥
k=1
1
|g|∞
kukp −
T (T + 1)q−1
p
q
−C(ε)T (T + 1)r−1
T
+1
X
T
+1
X
k=1
k=1
T +1
X
l1 + ε1
|∆u(k − 1)| −
T (T + 1)p−1
|∆u(k − 1)|p
p
q
k=1
|∆u(k − 1)|r
k=1
≥ C1 kukp − |g|∞ C2 kukq − C3 kukr > 0,
1
> 0 and C2 , C3 are positive
for kuk is small enough, with C1 = p1 1 − l1λ+ε
1
constants.
48
(4)
A. Ourraoui – Existence of solution to a semilinear discrete problem . . .
Define
B ρ = {u ∈ E : kuk ≤ ρ}
endowed with metric
d(u, v) = ku − vk, u, v ∈ B ρ ,
and
∂Bρ = {u ∈ W : kuk = ρ}.
By the previous Lemma 3, we know that
φ(u)/∂Bρ ≥ α > 0
and it is easy to see that the functional φ is bounded from below.
Let c∗ = minB ρ φ(u), so we have c∗ < 0. In fact, fix a nonnegative function v ∈
W \ {0}, and note that for t > 0 we have
φ(tv) =
T
+1 X
k=1
≤
tp
p
T
T
X
1
1X
|∆tv(k − 1)|p −
F (k, tv(k)) −
g(k)|tv(k)|q
p
q
kvkp −
k=1
tp
l1
p
T
X
v(k)p −
k=1
tq
q
k=1
T
X
g(k)v(k)q .
k=1
Since q < p, the last inequality implies that for some t∗ > 0 sufficiently small,
φ(t∗ v) < 0, and t∗ v ∈ B ρ (0).
By the Ekeland’s variational principle in [9], we may find a sequence (un )n ⊂ B ρ (0)
such that
φ(un ) → c∗ i.e c∗ ≤ φ(un ) ≤ c∗ + n1 , ∀n > 0
and
1
φ(v) ≥ φ(un ) − kun − vk, ∀v 6= un .
n
Once that φ is differentiable, it follows from the last inequality that
φ0 (un ) → 0.
Indeed, let u ∈ W such that kuk = 1, putting ωn = un + λu. Fix n > 1 we have
kωn k ≤ kun k + λ < ρ
with λ > 0 is small enough. It yields
φ(un + λu) ≥ φ(un ) −
49
λ
kuk
n
A. Ourraoui – Existence of solution to a semilinear discrete problem . . .
then
φ(un + λu) − φ(un )
1
≥ − kuk,
λ
n
tending λ → 0 so we get
φ0 (un ).u ≥ −
1
n
that is,
|φ0 (un ).u| ≤
1
n
with kuk = 1. So φ0 (un ) → 0.
Since the sequence (un ) is bounded in W, there exists u1 ∈ W such that, up to
a subsequence, (un ) converges to u1 in W. Therefore,
φ(u1 ) = c∗ , and φ0 (u1 ) = 0,
and thus u1 is a non trivial solution of problem (1).
Example 1. Taking β > 0 and l2 > λ1 , the function f such that
tβ+1
f (x, t) = l21+t
β when t ≥ 0 and f (x, t) = 0 if t ≤ 0,
satisfies the conditions (f1 ) and (f2 ) provided l2 < ∞.
f (k, t)
< λ1 , k ∈ [1, T ] then, it is easy to
p−2 t
|t|→∞ |t|
check that there exists 0 ≤ λ < λ1 such that
1
λ
φ(u) ≥
1−
kukp − C4 kuk − C5 kukq ,
(5)
p
λ1
Remark 1. If we assume that lim sup
where C4 and C5 are positive constants.
Thus φ is coercive and bounded from below so it has a global minimizer.
References
[1] R.P. Agarwal, D. O’Regan, Boundary value problems for discrete equations,
Appl. Math. Lett 10 (1997), 83-89.
[2] R. P. Agarwal, K. Perera, D. O’Regan, Multiple positive solutions of singular
and nonsingular discrete problems via variational methods, Nonlinear Anal. 58 (2004),
69-73.
[3] R. P. Agarwal, K. Perera, and D. O’Regan, Multiple positive solutions of singular discrete p-Laplacian problems via variational methods, Advances in Difference
Equations, no. 2 (2005), 93-99.
50
A. Ourraoui – Existence of solution to a semilinear discrete problem . . .
[4] A. Ayoujil, On class of nonhomogeneous discrete Dirichlet problems, Acta Universitatis Apulensis, No. 39/2014 pp. 1-15. (in press)
[5] A. Ayoujil, On class of discrete boundary value problem via variational methods,
Afrika Matematika. (DOI 10.1007/s13370-014-0293-4.)
[6] X. Cai, J. Yu, Existence theorems for second-order discrete boundary value problems. J. Math. Anal. Appl. 320 ((2006)), 649-661.
[7] P. Candito, G. D’Agui, Three solutions to a perturbed nonlinear discrete Dirichlet problem, Journal of Mathematical Analysis and Applications, vol. 375, no. 2(
2011), 594-601.
[8] Y. Chen, S. Levine, M. Rao, Variable exponent, linear growth functionals in
image processing, SIAM J. Appl. Math. 66 (2006), No. 4, 1383-1406.
[9] I. Ekeland, Nonconvex minimization problems, Bull. Amer. Math. Soc. 3 (1979)
443-474.
[10] M. Galewski, R. Wieteska, Existence and multiplicity of positive solutions for
discrete anisotropic equations, Turk. J. Math, DOI: 10.3906/mat-1303-6.
[11] L. Kong, Homoclinic solutions for a second order difference equation with pLaplacian, Applied Mathematics and Computation 247 (2014) 1113-1121.
[12] B. Kone, S. Ouaro, Weak solutions for anisotropic discrete boundary value problems, J. Difference Equ. Appl., 18 February (2010).
[13] V.V. Zhikov, Averaging of functionals of the calculus of variations and elasticity
theory, Math. USSR Izv. 29 (1987), 33-66.
Anass Ourraoui
Department of Mathematics, ENSAH,
University of Mohamed I,
Oujda, Morocco
email: anas.our@hotmail.com
51
Download