Convexity of Solutions for an Iterative Equation in Banach Spaces
Abstract
By applying Schauder′s fixed point theorem we investigate the existence of increasing (decreasing) solutions of the iterative equation ℋ(f)∘f = F and further give conditions under which those solutions are convex or concave. As corollaries we obtain results on iterative equation in Banach spaces, where n1, n2, …, nk ≥ 2.
1. Introduction
Convexity is an important property of functions and the study of convexity for iterative equations can be traced to 1968 when Kuczma and Smajdor [25] investigated the convexity of iterative roots. Some recent results can be found from [17, 26–28]. In [27, 28], convexity of solutions for (1) was discussed on a compact interval, and in [26], nondecreasing convex solutions for (1) on open intervals were discussed. In [17], convexity of solutions for (1) was studied in Banach spaces. Up to now, there are no further results on monotonicity and convexity of solutions for (2) and (3) in Banach spaces. In fact, there are much more difficulties on monotonicity and convexity of solutions for these two equations in Banach spaces.
In this paper we study monotonicity and convexity of solutions for (2) and (3) in Banach spaces and generalize the results in [17]. Using Schauder’s fixed point theorem, we discuss increasing (decreasing) solutions for (3) and further give conditions under which those solutions are convex or concave. As corollaries, we obtain results on (2). The uniqueness and continuous dependence of those solutions are also discussed.
2. Preliminaries
As shown in [29, 30], an order cone K in an ordered real Banach space (X, ∥·∥) is said to be normal if there exists a constant N > 0 such that ∥x∥ ≤ N∥y∥ if θ≤Kx≤Ky in X. The smallest constant N, denoted by N(K), is called the normal constant of K.
3. Main Result
- (H1)
ℋ(f)(x) = x − 𝒫(f)(x).
3.1. Increasing and Decreasing Solutions
Theorem 1. Suppose that (H1) holds and F ∈ E+(Ω, 0, p1), where p1 ∈ (0, +∞) is a constant. Let 𝒫 : C+(Ω, 0, ∞) → E+(Ω, 0, ∞) such that
Proof. Define a mapping L : C+(Ω, 0, p) → C(Ω, X) by
The following is devoted to decreasing solutions.
Theorem 2. Suppose that (H1) holds and F ∈ E−(Ω, 0, p1). Let 𝒫 : C−(Ω, 0, ∞) → E+(Ω, 0, ∞) such that
The proof is almost the same as the proof of Theorem 1; we omit it here.
3.2. Convex and Concave Solutions
On the basis of the last subsection, we can discuss convexity of solutions for (3).
Theorem 3. Suppose that (H1) holds and , where p1 ∈ (0, +∞) is a constant. Let such that
In order to prove Theorem 3, we need the following lemma.
Lemma 4 (see [17], Lemma 3.1.)Let (X, K, ∥·∥) be an ordered real Banach space. Then composition f∘g is convex (resp., concave) if both f and g are convex (resp., concave) and increasing. In particular, for increasing convex (resp., concave) operator f, the iterate fk is also convex (resp., concave).
Proof of Theorem 3. Define a mapping as in Theorem 1. In order to prove that L is a self-mapping on , it suffices to prove that F + 𝒫(f)∘f is convex in the sense of K-order on Ω. In fact, by (17), we know 𝒫(f)(x) is increasing and convex on Ω. Hence, by Lemma 4 and , 𝒫(f)∘f is convex in the sense of K-order on Ω. Consequently, by ,
Similarly, we can prove the following results for concavity of solutions.
Theorem 5. Suppose that (H1) holds and , where p1 ∈ (0, +∞) is a constant. Let such that
4. Iterative Equation in Banach Spaces
- (H2)
G(y0, y1, …, yk) = y0 + g(y1, …, yk), g(y1, …, yk) ∈ C(Ωk, X).
4.1. Increasing and Decreasing Solutions
- (H3)
∃βi > 0 such that
()
Theorem 6. Suppose that (H2) and (H3) hold and F ∈ E+(Ω, 0, M1), where M1 ∈ (0, +∞) is a constant. If F(x) − g(y1, …, yk) ∈ Ω for any x, yi ∈ Ω and
In order to prove Theorem 6, we need the following lemmas.
Lemma 7 (see [17], Lemma 3.2.)Let (X, K, ∥·∥) be an ordered real Banach space such that K is normal, and let f, g ∈ C+(Ω, m, M) (resp., C−(Ω, m, M), , and ), where 0 ≤ m ≤ M ≤ +∞. Then
Lemma 8 (see [17], Lemma 3.3.)Let (X, K, ∥·∥) be an ordered real Banach space, and let f ∈ C−(Ω, m, M), where 0 ≤ m ≤ M < +∞. Then
Proof of Theorem 6. We apply Theorem 1. Define
Let p = M, and let p1 = M1; by (23),
Next, we prove that is continuous. By (H3), for any f1, f2 ∈ C+(Ω, 0, M), by Lemma 7, we have
- (H4)
∃βi > 0 such that
()
Theorem 9. Suppose that (H2) and (H4) hold and all even order iterates in (2) vanish. Let F ∈ E−(Ω, 0, M1), where M1 ∈ (0, +∞) is a constant. If F(x) − g(y1, …, yk) ∈ Ω, for all x, yi ∈ Ω and
By using Lemma 8, the proof is almost the same as the proof of Theorem 6. We omit it here.
4.2. Convex and Concave Solutions
- (H5)
if , then
()
Theorem 10. Suppose that (H2), (H3), and (H5) hold and , where M1 ∈ (0, +∞) is a constant. If F(x) − g(y1, …, yk) ∈ Ω for any x, yi ∈ Ω and
Proof. Similar to Theorem 6, by applying Theorem 3, it suffices to prove that is convex in the sense of K-order. In fact, each is convex in the sense of K-order because f is increasing and convex by Lemma 4. Hence, for every distinct comparable point x, y ∈ Ω, suppose x≤Ky; by (H3) and (H5), we have
- (H6)
if , then
()
Theorem 11. Suppose that (H2), (H3), and (H6) hold and , where M1 ∈ (0, +∞) is a constant. If F(x) − g(y1, …, yk) ∈ Ω for any x, yi ∈ Ω and
Example 12. Let X = C([0,1], ℝ) equipped with the norm ∥x∥ = sup t∈[0,1] | x(t)| for x ∈ X. Let
It is difficult to discuss the convexity of solutions for (2) without hypothesis (H2) and (3) without hypothesis (H1) because of the difficulties in discussing the inverse of a mapping in Banach spaces. The reason also leads to difficulties in discussing the convexity of solutions for (2) and (3) by applying the method in [23].
Acknowledgments
The author is grateful to the editor and the referee for their valuable comments and encouragement. This work is supported by Key Project of Sichuan Provincial Department of Education (12ZA086).