# Existence and Uniqueness of Positive Solution for Discrete Multipoint Boundary Value Problems

Authors: Huili Ma; Huifang Ma
Journal: International Scholarly Research Notices
 (2014)

---

## Abstract

It is expected in this paper to investigate the existence and uniqueness of positive solution for the following difference equation:-
Δ
2
u
(
t
-
1
)
=
f
(
t
,
u
(
t
)
)
+
g
(
t
,
u
(
t
)
)
,
t
∈
Z
1
,
T, subject to boundary conditions either u
(
0
)
-
β
Δ
u
(
0
)
=
0
,
u
(
T
+
1
)
=
α
u
(
η
) or Δ
u
(
0
)
=
0
,
u
(
T
+
1
)
=
α
u
(
η
), where 0
<
α
<
1
,
β
>
0
,  and
η
∈
Z
2
,
T
-
1. The proof of the main result is based upon a fixed point theorem of a sum operator. It is expected in this paper not only to establish existence and uniqueness of positive solution, but also to show a way to construct a series to approximate it by iteration.


---

## Body

## 1. Introduction

LetT
>
1 be an integer; Z
a
,
b
:
=
{
a
,
a
+
1
,
…
,
b
}, where a
,
b are positive integers. Difference equation appears as natural descriptions of observed evolution phenomena because most measurements of time evolving variables are discrete and so it arises in many physical problems, as nonlinear elasticity theory or mechanics, and engineering topics. In recent years, the study of positive solutions for discrete boundary value problems has attracted considerable attention, but most research dealt with two-point boundary value problem; see [1–4] and the references therein. For multipoint boundary value problem, there appeared a small sample of work related to the existence of positive solution; we refer the reader to [5–7]. However all of them do not address the problem with the uniqueness of positive solution.In this paper, we consider the existence uniqueness and positive solutions for difference equation(1)
-
Δ
2
u
(
t
-
1
)
=
f
(
t
,
u
(
t
)
)
+
g
(
t
,
u
(
t
)
)
,
t
∈
Z
1
,
T
,
subject to boundary conditions
(2)
(
i
)
u
(
0
)
-
β
Δ
u
(
0
)
=
0
,
u
(
T
+
1
)
=
α
u
(
η
)
,
or
(3)
(
ii
)
Δ
u
(
0
)
=
0
,
u
(
T
+
1
)
=
α
u
(
η
)
,
where 0
<
α
<
1, β
>
0, and η
∈
Z
2
,
T
-
1.LetE
=
C
(
Z
0
,
T
+
1
,
R
) denote the class of real valued functions ω on Z
0
,
T
+
1 with norm ∥
ω
∥
=
max
⁡
k
∈
Z
0
,
T
+
1
|
ω
(
k
)
|. Observe that E is a Banach space. Set P
=
{
u
∈
E
:
u
(
t
)
≥
0, t
∈
Z
0
,
T
+
1
} to be the normal cone in E with the normality constant 1. For u
,
v
∈
E, the notation u
~
v means that there exist λ
>
0 and μ
>
0 such that λ
v
≤
u
≤
μ
v. Clearly, ~ is an equivalence relation. Given h
>
θ, we denote by P
h the set P
h
=
{
x
∈
E
∣
x
~
h
}.Remark 1.
As suggested by the notation, by equippingZ
0
,
T
+
1 with the discrete topology, every ω
∈
C
(
Z
0
,
T
+
1
) is continuous.Definition 2 (see [8]).
LetD
=
P or D
=
P
0 and let γ be a real number with 0
≤
γ
<
1. An operator A
:
P
→
P is said to be γ-concave if it satisfies
(4)
A
(
t
x
)
≥
t
γ
A
x
,
t
∈
(
0
,
1
)
,
x
∈
D
.Definition 3 (see [8]).
An operatorA
:
E
→
E is said to be homogeneous if it satisfies
(5)
A
(
t
x
)
=
t
A
x
,
t
>
0
,
x
∈
E
.
An operator A
:
P
→
P is said to be subhomogeneous if it satisfies
(6)
A
(
t
x
)
≥
t
A
x
,
t
>
0
,
x
∈
P
.The main tool of this paper is the following fixed point theorem.Theorem 4 (see [9]).
LetP be a normal cone in a real Banach space E, A
:
P
→
P an increasing γ-concave operator, and B
:
P
→
P an increasing subhomogeneous operator. Assume that(i)
there ish
>
0 such that A
h
∈
P
h and B
h
∈
P
h;
(ii)
there exists a constantδ
0
>
0 such that, for any x
∈
P, A
x
≥
δ
0
B
x.Then the operator equation A
x
+
B
x
=
x has a unique solution x
*
∈
P
h. Moreover, constructing successively the sequence y
n
=
A
y
n
-
1
+
B
y
n
-
1, n
=
1,2
,
…, for any initial value y
0
∈
P
h, one has y
→
x
* as n
→
∞.Remark 5.
WhenB is a null operator, Theorem 4 also holds.


## 2. Positive and Uniqueness of Solutions to BVP (1)-(2)

In this section, we will apply Theorem4 to study the existence and uniqueness of positive solution for (1)-(2).Lemma 6 (see [6]).
IfT
∈
{
4
,
5
,
…
}, η
∈
Z
2
,
T
-
1, and α
,
β
∈
R are real numbers with β
≠
-
1 and (
T
+
1
-
α
η
)
+
β
(
1
-
α
)
≠
0, for any y defined in Z
0
,
T
+
1, the nonlocal boundary value problem
(7)
-
Δ
2
u
(
t
-
1
)
=
y
(
t
)
,
t
∈
Z
1
,
T
,
u
(
0
)
-
β
Δ
u
(
0
)
=
0
,
u
(
T
+
1
)
=
α
u
(
η
)
has a unique solution
(8)
u
(
t
)
=
∑
s
=
1
T
‍
G
(
t
,
s
)
y
(
s
)
,
where
(9)
G
(
t
,
s
)
=
{
(
s
+
β
)
[
T
+
1
-
t
-
α
(
η
-
t
)
]
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
,
s
<
min
⁡
{
t
,
η
}
,
(
T
+
1
-
t
)
(
s
+
β
)
+
α
(
η
+
β
)
(
t
-
s
)
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
,
η
≤
s
<
t
,
(
t
+
β
)
[
T
+
1
-
s
-
α
(
η
-
s
)
]
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
,
t
≤
s
<
η
,
(
T
+
1
-
s
)
(
t
+
β
)
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
,
max
⁡
{
t
,
η
}
≤
s
.Lemma 7.
Fort
∈
Z
0
,
T
+
1
,
s
∈
Z
1
,
T, the Green function G
(
t
,
s
) in Lemma 6 has the following properties:(i)
G
(
t
,
s
)
>
0, t
∈
Z
0
,
T
+
1, s
∈
Z
1
,
T;
(ii)
G
(
t
,
s
)
≤
r
(
s
)
h
(
t
), t
∈
Z
0
,
T
+
1
,
s
∈
Z
1
,
T, where
(10)
r
(
s
)
=
(
T
+
1
-
s
)
+
α
T
(
η
+
β
)
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
,
h
(
t
)
=
t
+
β
;
(iii)
fors
≥
t
,
G
(
t
,
s
)
=
p
(
s
)
h
(
t
), t
∈
Z
0
,
T
+
1, s
∈
Z
1
,
T, where
(11)
p
(
s
)
=
{
T
+
1
-
s
-
α
(
η
-
s
)
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
,
s
<
η
,
T
+
1
-
s
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
,
η
≤
s
.Proof.
Since (i) and (iii) are obvious, here we just prove (ii). Fors
<
t, s
<
η, notice that t
-
η
<
t
-
s,
(12)
G
(
t
,
s
)
≤
(
s
+
β
)
(
T
+
1
-
t
)
+
α
(
t
-
s
)
(
η
+
β
)
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
≤
(
t
+
β
)
(
T
+
1
-
s
)
+
α
(
T
+
1
-
s
)
(
η
+
β
)
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
≤
(
t
+
β
)
[
(
T
+
1
-
s
)
+
α
T
(
η
+
β
)
]
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
.
For η
≤
s
<
t,
(13)
G
(
t
,
s
)
≤
(
s
+
β
)
(
T
+
1
-
t
)
+
α
T
(
η
+
β
)
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
≤
(
t
+
β
)
(
T
+
1
-
s
)
+
α
T
(
η
+
β
)
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
≤
(
t
+
β
)
[
(
T
+
1
-
s
)
+
α
T
(
η
+
β
)
]
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
.
For t
≤
s
<
η,
(14)
G
(
t
,
s
)
≤
(
t
+
β
)
(
T
+
1
-
s
)
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
≤
(
t
+
β
)
[
(
T
+
1
-
s
)
+
α
T
(
η
+
β
)
]
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
.
For t
≤
s
,
η
≤
s,
(15)
G
(
t
,
s
)
=
(
t
+
β
)
(
T
+
1
-
s
)
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
≤
(
t
+
β
)
[
(
T
+
1
-
s
)
+
α
T
(
η
+
β
)
]
(
T
+
1
-
α
η
)
+
β
(
1
-
α
)
.
That is, for any t
∈
Z
0
,
T
+
1 and s
∈
Z
1
,
T, G
(
t
,
s
)
≤
r
(
s
)
h
(
t
).Theorem 8.
Assume that(A1)
f
,
g
:
Z
0
,
T
+
1
×
[
0
,
∞
)
→
[
0
,
∞
) are continuous and increasing with respect to the second variable, g
(
T
,
0
)
≠
0;
(A2)
g
(
t
,
λ
x
)
≥
λ
g
(
t
,
x
) for λ
∈
(
0
,
1
), t
∈
Z
0
,
T
+
1, x
∈
[
0
,
∞
) and there exists a constant γ
∈
(
0
,
1
) such that f
(
t
,
λ
x
)
≥
λ
γ
f
(
t
,
x
) for λ
∈
(
0
,
1
), t
∈
Z
0
,
T
+
1, x
∈
[
0
,
∞
);
(A3)
there exists a constantδ
0
>
0 such that f
(
t
,
x
)
≥
δ
0
g
(
t
,
x
), t
∈
Z
0
,
T
+
1, x
∈
[
0
,
∞
).The problem (1)-(2) has a unique positive solution u
*
∈
P
h, where h
(
t
)
=
t
+
β, t
∈
Z
0
,
T
+
1. Moreover, for any initial value u
0
∈
P
h, constructing successively the sequence
(16)
u
n
+
1
(
t
)
=
∑
s
=
1
T
‍
G
(
t
,
s
)
[
f
(
s
,
u
n
(
s
)
)
+
g
(
s
,
u
n
(
s
)
)
]
,
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
n
=
0,1
,
2
,
…
,
we have u
n
(
t
)
→
u
*
(
t
) as n
→
∞, where G
(
t
,
s
) is given as (9).Proof.
Define two operatorsA
:
P
→
E and B
:
P
→
E by
(17)
(
A
u
)
(
t
)
=
∑
s
=
1
T
‍
G
(
t
,
s
)
f
(
s
,
u
(
s
)
)
,
(
B
u
)
(
t
)
=
∑
s
=
1
T
‍
G
(
t
,
s
)
g
(
s
,
u
(
s
)
)
.
It is easy to see that u is a solution of (1)-(2) if and only if u
=
A
u
+
B
u. From (A2) and Lemma 7, we know that A
:
P
→
P and B
:
P
→
P. In the sequel we check that A
,
B satisfy all assumptions of Theorem 4.
Firstly, we prove thatA
,
B are two increasing operators. In fact, by (A1) and Lemma 6, for u
,
v
∈
P with u
≥
v, we know that u
(
t
)
≥
v
(
t
), t
∈
Z
0
,
T
+
1, and obtain
(18)
(
A
u
)
(
t
)
=
∑
s
=
1
T
‍
G
(
t
,
s
)
f
(
s
,
u
(
s
)
)
≥
∑
s
=
1
T
‍
G
(
t
,
s
)
f
(
s
,
v
(
s
)
)
=
(
A
v
)
(
t
)
.
Similarly, B
u
≥
B
v.
Next we show thatA is a γ-concave operator and B is a subhomogeneous operator. In fact, for any λ
∈
(
0
,
1
) and u
∈
P, from (A2), we know that
(19)
(
A
λ
u
)
(
t
)
=
∑
s
=
1
T
‍
G
(
t
,
s
)
f
(
s
,
λ
u
(
s
)
)
≥
λ
γ
∑
s
=
1
T
‍
G
(
t
,
s
)
f
(
s
,
u
(
s
)
)
=
λ
γ
(
A
u
)
(
t
)
.
That is, A is a γ-concave operator. At the same time, for any λ
∈
(
0
,
1
) and u
∈
P, from (A2), we get
(20)
(
B
λ
u
)
(
t
)
=
∑
s
=
1
T
‍
G
(
t
,
s
)
g
(
s
,
λ
u
(
s
)
)
≥
λ
∑
s
=
1
T
‍
G
(
t
,
s
)
g
(
s
,
u
(
s
)
)
=
λ
(
B
u
)
(
t
)
.
So B is subhomogeneous.
Now we show thatA
h
∈
P
h and B
h
∈
P
h. From (A3) and Lemma 7,
(21)
(
A
h
)
(
t
)
=
∑
s
=
1
T
‍
G
(
t
,
s
)
f
(
s
,
h
(
s
)
)
≥
∑
s
=
t
T
‍
G
(
t
,
s
)
f
(
s
,
h
(
s
)
)
=
h
(
t
)
∑
s
=
t
T
‍
p
(
s
)
f
(
s
,
s
+
β
)
≥
h
(
t
)
∑
s
=
t
T
‍
p
(
s
)
f
(
s
,
0
)
≥
δ
0
h
(
t
)
∑
s
=
t
T
‍
p
(
s
)
g
(
s
,
0
)
≥
δ
0
p
(
T
)
g
(
T
,
0
)
h
(
t
)
:
=
l
1
h
(
t
)
,
(
A
h
)
(
t
)
=
∑
s
=
1
T
‍
G
(
t
,
s
)
f
(
s
,
h
(
s
)
)
≤
h
(
t
)
∑
s
=
1
T
‍
r
(
s
)
f
(
s
,
h
(
s
)
)
≤
h
(
t
)
∑
s
=
1
T
‍
r
(
s
)
f
(
s
,
s
+
β
)
:
=
l
2
h
(
t
)
,
where l
1
=
δ
0
p
(
T
)
g
(
T
,
0
)
>
0 and l
2
=
∑
s
=
1
T
r
(
s
)
f
(
s
,
s
+
β
). Hence we have l
1
h
(
t
)
≤
(
A
h
)
(
t
)
≤
l
2
h
(
t
), t
∈
Z
0
,
T
+
1; that is, A
h
∈
P
h. We can similarly prove that B
h
∈
P
h. Thus condition (i) of Theorem 4 is satisfied.
In the following we show that condition (ii) of Theorem4 holds. From (A3),
(22)
(
A
u
)
(
t
)
=
∑
s
=
1
T
‍
G
(
t
,
s
)
f
(
s
,
u
(
s
)
)
≥
δ
0
∑
s
=
1
T
‍
G
(
t
,
s
)
g
(
s
,
u
(
s
)
)
=
δ
0
(
B
u
)
(
t
)
.
Then we get A
u
≥
δ
0
B
u
,
u
∈
P. By applying Theorem 4, it can be obtained that the operator equation A
u
+
B
u
=
u has a unique solution u
*
∈
P
h. Moreover, constructing successively the sequence u
n
=
A
u
n
-
1
+
B
u
n
-
1
,
n
=
1,2
,
…, for any initial value u
0
∈
P
h, we have u
n
→
u
* as n
→
∞. That is, problem (1)-(2) has a unique positive solution u
*
∈
P
h. In addition, for any initial value u
0
∈
P
h, constructing successively the sequence
(23)
u
n
+
1
(
t
)
=
∑
s
=
1
T
‍
G
(
t
,
s
)
[
f
(
s
,
u
(
s
)
)
+
g
(
s
,
u
(
s
)
)
]
,
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
n
=
0,1
,
2
,
…
,
we have u
n
(
t
)
→
u
*
(
t
) as n
→
∞.The following result can be obtained by Remark5 and Theorem 4.Corollary 9.
Assume that(A1)′
f
:
Z
0
,
T
+
1
×
[
0
,
∞
)
→
[
0
,
∞
) is continuous and increasing with respect to the second variable, f
(
T
,
0
)
≠
0;
(A2)′
there exists a constantγ
∈
(
0
,
1
) such that f
(
t
,
λ
x
)
≥
λ
γ
f
(
t
,
x
) for λ
∈
(
0
,
1
), t
∈
Z
0
,
T
+
1, x
∈
[
0
,
∞
).Then problem
(24)
-
Δ
2
u
(
t
-
1
)
=
f
(
t
,
u
(
t
)
)
,
t
∈
Z
1
,
T
,
u
(
0
)
-
β
Δ
u
(
0
)
=
0
,
u
(
T
+
1
)
=
α
u
(
η
)
has a unique positive solution u
*
∈
P
h, where h
(
t
)
=
t
+
β
,
t
∈
Z
0
,
T
+
1. Moreover, for any initial value u
0
∈
P
h, constructing successively the sequence
(25)
u
n
+
1
(
t
)
=
∑
s
=
1
T
‍
G
(
t
,
s
)
f
(
s
,
u
n
(
s
)
)
,
n
=
0,1
,
2
,
…
,
we have u
n
(
t
)
→
u
*
(
t
) as n
→
∞, where G
(
t
,
s
) is given as (9).Remark 10.
In a similar way, we can get the corresponding results for the difference equation (1) subject to boundary conditions
(26)
u
(
0
)
=
α
u
(
η
)
,
u
(
T
+
1
)
+
β
∇
u
(
T
+
1
)
=
0
,
which are symmetric to the boundary condition (2).Remark 11.
The results can also be generalized to discretem-point boundary value problems:
(27)
-
Δ
2
u
(
t
-
1
)
=
f
(
t
,
u
(
t
)
)
+
g
(
t
,
u
(
t
)
)
,
t
∈
Z
1
,
T
,
u
(
0
)
-
β
Δ
u
(
0
)
=
0
,
u
(
T
+
1
)
=
∑
i
=
1
m
-
2
‍
α
i
u
(
ξ
i
)
,
-
Δ
2
u
(
t
-
1
)
=
f
(
t
,
u
(
t
)
)
+
g
(
t
,
u
(
t
)
)
,
t
∈
Z
1
,
T
,
u
(
0
)
=
∑
i
=
1
m
-
2
‍
α
i
u
(
ξ
i
)
,
u
(
T
+
1
)
+
β
∇
u
(
T
+
1
)
=
0
.Example 12.
Consider the following nonlinear discrete problem:(28)
-
Δ
2
y
(
t
-
1
)
=
f
(
t
,
y
(
t
)
)
+
g
(
t
,
y
(
t
)
)
,
t
∈
Z
1,9
,
y
(
0
)
-
2
Δ
y
(
0
)
=
0
,
y
(
10
)
=
1
2
y
(
4
)
.
If we set
(29)
f
(
t
,
y
)
=
y
1
/
4
+
t
4
+
π
2
,
(
t
,
y
)
∈
Z
0,10
×
[
0
,
∞
)
,
g
(
t
,
y
)
=
arctan
y
+
t
3
,
(
t
,
y
)
∈
Z
0,10
×
[
0
,
∞
)
,
then f
,
g
:
Z
0,10
×
[
0
,
∞
)
→
[
0
,
∞
) are continuous and increasing with respect to the second variable, g
(
9
,
0
)
≠
0, and for λ
∈
(
0
,
1
), t
∈
Z
0,10, y
∈
[
0
,
∞
),
(30)
f
(
t
,
λ
y
)
=
λ
1
/
4
y
1
/
4
+
t
4
+
π
2
≥
λ
1
/
4
(
y
1
/
4
+
t
4
+
π
2
)
=
λ
1
/
4
f
(
t
,
y
)
,
g
(
t
,
λ
y
)
=
arctan
⁡
(
λ
y
)
+
t
3
≥
λ
arctan
y
+
t
3
≥
λ
(
arctan
y
+
t
3
)
=
λ
g
(
t
,
y
)
.
In addition,
(31)
f
(
t
,
y
)
=
y
1
/
4
+
t
4
+
π
2
≥
t
4
+
π
2
≥
t
3
+
π
2
≥
1
2
(
arctan
y
+
t
3
)
=
1
2
g
(
t
,
y
)
.
Thus, all conditions of Theorem 8 are satisfied and so problem (28) has a unique positive solution in P
t
+
2.


## 3. Positive and Uniqueness of Solutions to BVP (1) and (3)

Lemma 13 (see [6]).
Ifα
≠
1, the nonlocal boundary value problem
(32)
-
Δ
2
u
(
t
-
1
)
=
y
(
t
)
,
t
∈
Z
1
,
T
,
Δ
u
(
0
)
=
0
,
u
(
T
+
1
)
=
α
u
(
η
)
has a unique solution
(33)
u
(
t
)
=
∑
s
=
1
T
‍
G
^
(
t
,
s
)
y
(
s
)
,
where
(34)
G
^
(
t
,
s
)
=
{
T
+
1
-
t
+
α
(
t
-
η
)
1
-
α
,
s
<
min
⁡
{
t
,
η
}
,
T
+
1
-
t
+
α
(
t
-
s
)
1
-
α
,
η
≤
s
<
t
,
T
+
1
-
s
+
α
(
s
-
η
)
1
-
α
,
t
≤
s
<
η
,
T
+
1
-
s
1
-
α
,
max
⁡
{
t
,
η
}
≤
s
.Lemma 14.
Fort
∈
Z
0
,
T
+
1, s
∈
Z
1
,
T, the Green function G
(
t
,
s
) in Lemma 13 has the following property: (i)
G
(
t
,
s
)
>
0, t
∈
Z
0
,
T
+
1, s
∈
Z
1
,
T;
(ii)
G
(
t
,
s
)
≤
r
^
(
s
), t
∈
Z
0
,
T
+
1, s
∈
Z
1
,
T, where
(35)
r
^
(
s
)
=
T
+
1
-
s
+
α
T
1
-
α
.Proof.
We omit it since it is obvious.Theorem 15.
Assume that (A1), (A2), and (A3) are satisfied; then the problem (1)–(3) has a unique positive solution u
^
*
∈
P
h, where h
(
t
)
=
1, t
∈
Z
0
,
T
+
1. Moreover, for any initial value u
^
0
∈
P
h, constructing successively the sequence
(36)
u
^
n
+
1
(
t
)
=
∑
s
=
1
T
‍
G
^
(
t
,
s
)
[
f
(
s
,
u
^
n
(
s
)
)
+
g
(
s
,
u
^
n
(
s
)
)
]
,
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
i
n
=
0,1
,
2
,
…
,
we have u
^
n
(
t
)
→
u
^
*
(
t
) as n
→
∞, where G
^
(
t
,
s
) is given as (34).Proof.
It is similar to the proof of Theorem8.The following corollary can be obtained by Remark5 and Theorem 4.Corollary 16.
Assume that (A1)′ and (A2)′ are satisfied; then the problem(37)
-
Δ
2
u
(
t
-
1
)
=
f
(
t
,
u
(
t
)
)
,
t
∈
Z
1
,
T
,
Δ
u
(
0
)
=
0
,
u
(
T
+
1
)
=
α
u
(
η
)
has a unique positive solution u
^
*
∈
P
h, where h
(
t
)
=
1, t
∈
Z
0
,
T
+
1. Moreover, for any initial value u
^
0
∈
P
h, constructing successively the sequence
(38)
u
^
n
+
1
(
t
)
=
∑
s
=
1
T
‍
G
^
(
t
,
s
)
f
(
s
,
u
^
n
(
s
)
)
,
n
=
0,1
,
2
,
…
,
we have u
^
n
(
t
)
→
u
^
*
(
t
) as n
→
∞, where G
^
(
t
,
s
) is given as (34).Remark 17.
In a similar way, we can get the corresponding results for the difference equation (1) subject to boundary conditions
(39)
u
(
0
)
=
α
u
(
η
)
,
Δ
u
(
T
+
1
)
=
0
,
which are symmetric to the boundary condition (3).Remark 18.
The results can also be generalized to discretem-point boundary value problems:
(40)
-
Δ
2
u
(
t
-
1
)
=
f
(
t
,
u
(
t
)
)
+
g
(
t
,
u
(
t
)
)
,
t
∈
Z
1
,
T
,
Δ
u
(
0
)
=
0
,
u
(
T
+
1
)
=
∑
i
=
1
m
-
2
‍
α
i
u
(
ξ
i
)
,
-
Δ
2
u
(
t
-
1
)
=
f
(
t
,
u
(
t
)
)
+
g
(
t
,
u
(
t
)
)
,
t
∈
Z
1
,
T
,
u
(
0
)
=
∑
i
=
1
m
-
2
‍
α
i
u
(
ξ
i
)
,
Δ
u
(
T
+
1
)
=
0
.Example 19.
Consider the following nonlinear discrete problem:(41)
-
Δ
2
y
(
t
-
1
)
=
f
(
t
,
y
(
t
)
)
+
g
(
t
,
y
(
t
)
)
,
t
∈
Z
1,4
,
Δ
y
(
0
)
=
0
,
y
(
5
)
=
3
5
y
(
3
)
.
If we set
(42)
f
(
t
,
y
)
=
y
2
/
3
+
e
t
,
(
t
,
y
)
∈
Z
0,5
×
[
0
,
∞
)
,
g
(
t
,
y
)
=
y
1
+
y
t
2
+
1
,
(
t
,
y
)
∈
Z
0,5
×
[
0
,
∞
)
,
then f
,
g
:
Z
0,5
×
[
0
,
∞
)
→
[
0
,
∞
) are continuous and increasing with respect to the second variable, g
(
4
,
0
)
≠
0, and for λ
∈
(
0
,
1
), t
∈
Z
0,5, y
∈
[
0
,
∞
),
(43)
f
(
t
,
λ
y
)
=
λ
2
/
3
y
2
/
3
+
e
t
≥
λ
2
/
3
(
y
2
/
3
+
e
t
)
=
λ
2
/
3
f
(
t
,
y
)
,
g
(
t
,
λ
y
)
=
λ
y
1
+
λ
y
t
2
+
1
≥
λ
(
y
1
+
y
t
2
+
1
)
=
λ
g
(
t
,
y
)
.
In addition,
(44)
f
(
t
,
y
)
≥
e
0
=
1
26
·
26
≥
1
26
·
(
y
1
+
y
t
2
+
1
)
=
1
26
g
(
t
,
y
)
.
Thus, all conditions of Theorem 15 are satisfied and so problem (41) has a unique positive solution in P
1.



---

*Source: 531978-2014-10-29.xml*