AAA Abstract and Applied Analysis 1687-0409 1085-3375 Hindawi Publishing Corporation 164851 10.1155/2013/164851 164851 Research Article Convexity of Solutions for an Iterative Equation in Banach Spaces http://orcid.org/0000-0003-3908-8751 Gong Xiaobing 1,2 Bellouquid Abdelghani 1 Key Laboratory of Numerical Simulation of Sichuan Province Neijiang Sichuan 641100 China 2 College of Mathematics and Information Science Neijiang Normal University Neijiang Sichuan 641100 China njtc.edu.cn 2013 15 9 2013 2013 18 03 2013 02 08 2013 2013 Copyright © 2013 Xiaobing Gong. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

By applying Schauder's fixed point theorem we investigate the existence of increasing (decreasing) solutions of the iterative equation ff=F and further give conditions under which those solutions are convex or concave. As corollaries we obtain results on iterative equation Gfx,fn1,,fnkx=F(x) in Banach spaces, where n1,n2,,nk2.

1. Introduction

Iterative root problem [1, 2], being a weak version of the problem of embedding flows, plays an important role in the theory of dynamical systems. As a natural generalization of the iterative root problem, the polynomial-like iterative equation (1)  λ1f(x)+λ2f2(x)++λmfm(x)=F(x),xS, where S is a subset of a linear space over , F:SS is a given function, λis (i=1,,m) are real constants, f:SS is the unknown function, and fi is the ith iterate of f, that is, fi(x)=f(fi-1(x)) and f0(x)=x for all xS, is one of the important iterative functional equations [3, 4] and was studied in many papers. For S, while some works (e.g., ) are contributed to the case of linear F, there are many results given to the case of nonlinear F, for example, [12, 13] for m=2,  for general m,  for smoothness, and  for analyticity. Some efforts were also devoted to (1) in high-dimensional spaces such as in [17, 18]; radially monotonic solutions were discussed in high-dimensional Euclidean spaces by properties of orthogonal group in , and the existence of convex solutions was proved by introducing a partial order in Banach spaces in . A general iterative equation can be presented as (2)G(f(x),fn1(x),,fnk(x))=F(x),xS, where k>0 and n1,n2,,nk2. In 1995, C0 solutions of (2) were discussed in , and as continuations of   , C1 and C2 solutions were studied in [20, 21], respectively, for S. In 2007, by lifting maps on the unit circle 𝕋1 and maps on the torus 𝕋n, the existence, uniqueness, and stability of continuous solutions for (2) were proved on the unit circle in . A more general iterative functional equation (3)(f)f=F was studied in [23, 24] in high-dimensional spaces, where is a operator. Equation (3) is a generalization of iterative equation (2). In fact, if (f)=G(f0,fn1-1,,fnk-1), then (3) becomes (2). In , the existence of Lipschitzian solutions for (3) was proved on a compact convex subset of N, and by using this result, the existence of Lipschitzian solutions for equation (4)n=1+λnfn(x)=F(x) was investigated on a compact interval of and a compact convex subset of N,N>1. Later, the results were partially generalized to an arbitrary closed (not necessarily convex) subset of a Banach space and the existence of solutions for iterative functional equations (5)n=-+Anfn(x)=F(x),A0f(x)+n=1+Anfn(x)=F(x), was proved in , where Ans are bounded linear operators on the Banach space.

Convexity is an important property of functions and the study of convexity for iterative equations can be traced to 1968 when Kuczma and Smajdor  investigated the convexity of iterative roots. Some recent results can be found from [17, 2628]. In [27, 28], convexity of solutions for (1) was discussed on a compact interval, and in , nondecreasing convex solutions for (1) on open intervals were discussed. In , 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 . 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 in , in order to discuss monotonicity and convexity of solutions in Banach spaces, we need to introduce a partial order. For convenience, we use the conventions of . As in , a nonempty subset K of a real vector space X is called a cone if xK implies that axK for all a>0. A nonempty and nontrivial ({θ}, where θ denotes the zero element of X) subset KX is called an order cone in X if K is a convex cone and satisfies K(-K)={θ}. Having chosen such an order cone K in X, we can define a partial order xKy in X, simply called the K-order, if (6)y-xK. A real vector space X equipped with a K-order is called an ordered vector space, abbreviated by OVS and denoted by (X,K). A real Banach space (X,·) associated with a K-order is called an ordered real Banach space, abbreviated by OBS and denoted by (X,K,·), if K is closed. One can define increasing (decreasing) operators as in  in an ordered real vector space (X,K). An operator f:DXX is said to be increasing (resp., decreasing) in the sense of the K-order if xKy implies f(x)Kf(y) (resp., f(x)Kf(y)). An operator f:DX, where DX is a convex subset, is said to be convex (resp., concave) in the sense of the K-order if f(λx+(1-λ)y)Kλf(x)+(1-λ)f(y) (resp., f(λx+(1-λ)y)Kλf(x)+(1-λ)f(y)) for all λ[0,1] and for every pair of distinct comparable points x,yD (i.e., either xKy or xKy).

Let Ω be a compact convex subset of an ordered real Banach space (X,K,·) with nonempty interior, and let C(Ω,X) consist of all continuous functions f:ΩX. C(Ω,X) is a Banach space equipped with the norm fC(Ω,X)supxΩf(x). For 0mM<+, define (7)E+(Ω,m,M){fC(Ω,X):m(y-x)Kf(y)-f(x)KM(y-x)  if  xKy,  f(y)-f(x)My-xif  x  and  y  are  not  comparable},E-(Ω,m,M){fC(Ω,X):m(y-x)Kf(x)-f(y)KM(y-x)  if  xKy,f(y)-f(x)My-xif  x  and  y  are  not  comparable},Ecv+(Ω,m,M){fE+(Ω,m,M):f  is  convex  onΩ  in  K-order},Ecc+(Ω,m,M){fE+(Ω,m,M):f  is  concaveon  Ω  in  K-order},C+(Ω,m,M){fE+(Ω,m,M):f(Ω)Ω},C-(Ω,m,M){fE-(Ω,m,M):f(Ω)Ω},Ccv+(Ω,m,M){fEcv+(Ω,m,M):f(Ω)Ω},Ccc+(Ω,m,M){fEcc+(Ω,m,M):f(Ω)Ω},I(f)inf{M:x,yΩ,θKf(y)-f(x)KM(y-x)  if  xKy,f(y)-f(x)My-xif  x  and  y  are  not  comparable},D(f)inf{M:x,yΩ,θKf(x)-f(y)KM(y-x)  if  xKy,f(y)-f(x)My-xif  x  and  y  are  not  comparable}. Similar to Lemma  2.2 in , C+(Ω,m,M), C-(Ω,m,M), Ccv+(Ω,m,M), and Ccc+(Ω,m,M) are compact convex subsets of C(Ω,X).

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 xNy if θKxKy in X. The smallest constant N, denoted by N(K), is called the normal constant of K.

3. Main Result

We first discuss monotonicity and convexity of solutions for iterative functional equation (3) in the ordered real Banach space (X,K,·) such that K is normal and N(K)1. Consider (3) with the following hypothesis:

(f)(x)=x-𝒫(f)(x).

3.1. Increasing and Decreasing Solutions Theorem 1.

Suppose that (H1) holds and FE+(Ω,0,p1), where p1(0,+) is a constant. Let 𝒫:C+(Ω,0,)E+(Ω,0,) such that (8)𝒫(f)E+(Ω,0,α(I(f))), where α:(0,+)(0,+) is an increasing function and F(x)+𝒫(f)(y)Ω for any x,yΩ. If there exists p(0,) such that (9)p1p(1-α(p)) and 𝒫|C+(Ω,0,p) is continuous, then (3) has a solution fC+(Ω,0,p).

Proof.

Define a mapping L:C+(Ω,0,p)C(Ω,X) by (10)Lf(x)=F(x)+𝒫(f)f(x). We first prove that L is a self-mapping on C+(Ω,0,p). Obviously, 𝒫(f)f is well defined and F+𝒫(f)fC(Ω,X). By F(x)+𝒫(f)(y)Ω for any x,yΩ and the definition of C+(Ω,0,p), (F+𝒫(f)f)(Ω)Ω. Further, when x,yΩ are not comparable, that is, x-yK and y-xK, by (8) and FE+(Ω,0,p1), we have (11)Lf(x)-Lf(y)=(F(x)-F(y))+(𝒫(f)f(x)-𝒫(f)f(y))F(x)-F(y)+𝒫(f)f(x)-𝒫(f)f(y)p1x-y+α(I(f))f(x)-f(y)(p1+pα(p))x-y, where the monotonicity of the function α is employed, which implies that (12)Lf(x)-Lf(y)px-y because of (9). When x,yΩ are comparable, suppose that xKy. By the definition of C+(Ω,0,p), θKf(y)-f(x)Kp(y-x); thus f(x)Kf(y). Hence, by (8), we get (13)θK𝒫(f)f(y)-𝒫(f)f(x)Kα(I(f))(f(y)-f(x)). Consequently, we have (14)θKLf(y)-Lf(x)=(F(y)-F(x))+(𝒫(f)f(y)-𝒫(f)f(x))p1(y-x)+α(I(f))(f(y)-f(x))(p1+pα(p))(y-x), where the monotonicity of the function α is employed, which implies that (15)θKLf(y)-Lf(x)Kp(y-x) because of (9). Thus, (12) and (15) imply that L is a self-mapping on C+(Ω,0,p). The continuity of 𝒫|C+(Ω,0,p) implies that L is continuous on C+(Ω,0,p). Since C+(Ω,0,p) is a compact convex subset, by Schauder’s fixed point theorem, we see that L has a fixed point fC+(Ω,0,p). Thus, f is an increasing solution of (3). The proof is completed.

The following is devoted to decreasing solutions.

Theorem 2.

Suppose that (H1) holds and FE-(Ω,0,p1). Let 𝒫:C-(Ω,0,)E+(Ω,0,) such that (16)𝒫(f)E+(Ω,0,α(I(f))), where α:(0,+)(0,+) is an increasing function and F(x)+𝒫(f)(y)Ω for any x,yΩ. If condition (9) holds for a constant p(0,) and 𝒫|C-(Ω,0,p) is continuous, then (3) has a solution fC-(Ω,0,p).

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 FEcv+(Ω,0,p1), where p1(0,+) is a constant. Let 𝒫:Ccv+(Ω,0,)Ecv+(Ω,0,) such that (17)𝒫(f)Ecv+(Ω,0,α(I(f))), where α:(0,+)(0,+) is an increasing function and F(x)+𝒫(f)(y)Ω for any x,yΩ. If there exists p(0,) such that (18)p1p(1-α(p)), and 𝒫|Ccv+(Ω,0,p) is continuous, then (3) has a solution fCcv+(Ω,0,p).

In order to prove Theorem 3, we need the following lemma.

Lemma 4 (see [<xref ref-type="bibr" rid="B4">17</xref>, Lemma 3.1]).

Let (X,K,·) be an ordered real Banach space. Then composition fg 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 <xref ref-type="statement" rid="thm3.3">3</xref>.

Define a mapping L:Ccv+(Ω,0,p)C(Ω,X) as in Theorem 1. In order to prove that L is a self-mapping on Ccv+(Ω,0,p), 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 fCcv+(Ω,0,p), 𝒫(f)f is convex in the sense of K-order on Ω. Consequently, by FEcv+(Ω,0,p1), (19)F(tx+(1-t)y)+𝒫(f)f(tx+(1-t)y)tF(x)+(1-t)F(y)+t𝒫(f)f(x)+(1-t)𝒫(f)f(y)=t(F(x)+𝒫(f)f(x))+(1-t)(F(y)+𝒫(f)f(y)) for every pair of distinct comparable points x,yΩ and t[0,1]. So L is an self-mapping on Ccv+(Ω,0,p). The remaining part of the proof is the same as the proof of Theorem 1. This completes the proof.

Similarly, we can prove the following results for concavity of solutions.

Theorem 5.

Suppose that (H1) holds and FEcc+(Ω,0,p1), where p1(0,+) is a constant. Let 𝒫:Ccc+(Ω,0,)Ecc+(Ω,0,) such that (20)𝒫(f)Ecc+(Ω,0,α(I(f))), where α:(0,+)(0,+) is a increasing function and F(x)+𝒫(f)(y)Ω for any x,yΩ. If there exists p(0,) such that (21)p1p(1-α(p)), and 𝒫|Ccc+(Ω,0,p) is continuous, then (3) has a solution fCcc+(Ω,0,p).

4. Iterative Equation in Banach Spaces

In this section, we are going to discuss monotonicity and convexity of solutions for (2) in the ordered real Banach space (X,K,·) such that K is normal and N(K)1. Consider (2) with the following hypotheses:

G(y0,y1,,yk)=y0+g(y1,,yk), g(y1,,yk)C(Ωk,X).

Before discussing convexity, we prove the existence of increasing and decreasing solutions of (2).

4.1. Increasing and Decreasing Solutions

We first study increasing solutions. Consider (2) with the following hypothesis:

βi>0 such that (22)θKg(y-1,,y-k)-g(y1,,yk)Ki=1kβi(yi-y-i)ify-iKyi,g(y1,,yk)-g(y-1,,y-k)i=1kβiyi-y-iforanyyi,y-iΩ.

Theorem 6.

Suppose that (H2) and (H3) hold and FE+(Ω,0,M1), where M1(0,+) is a constant. If F(x)-g(y1,,yk)Ω for any x,yiΩ and (23)M1M-i=1kβiMni for a constant M(0,+), then (2) has a solution fC+(Ω,0,M). Additionally, if (24)i=1kβij=0ni-1Mj<1, then the solution f is unique in C+(Ω,0,M) and depends continuously on F.

In order to prove Theorem 6, we need the following lemmas.

Lemma 7 (see [<xref ref-type="bibr" rid="B4">17</xref>, Lemma 3.2]).

Let (X,K,·) be an ordered real Banach space such that K is normal, and let f,gC+(Ω,m,M) (resp., C-(Ω,m,M), Ccv+(Ω,m,M), and Ccc+(Ω,m,M)), where 0mM+. Then (25)fk-gkC(Ω,X)j=0k-1M0jf-gC(Ω,X),k=1,2,.

Lemma 8 (see [<xref ref-type="bibr" rid="B4">17</xref>, Lemma 3.3]).

Let (X,K,·) be an ordered real Banach space, and let fC-(Ω,m,M), where 0mM<+. Then (26)-M2n-1(y-x)Kf2n-1(y)-f2n-1(x)K-m2n-1(y-x),n=1,2,,m2n(y-x)Kf2n(y)-f2n(x)KM2n(y-x),n=1,2,, for all xKy in Ω.

Proof of Theorem <xref ref-type="statement" rid="thm4.1">6</xref>.

We apply Theorem 1. Define (27)𝒫(f)(x)=-g(fn1-1(x),,fnk-1(x)). By (H2), 𝒫(f)C(Ω,X). Next we prove that 𝒫(f) is an operator from C+(Ω,0,) to E+(Ω,0,) such that (28)𝒫(f)E+(Ω,0,α(I(f))). By the definition of C+(Ω,0,), for fC+(Ω,0,), we have (29)θKf(y)-f(x)KI(f)(y-x) if xKy, and (30)f(x)-f(y)I(f)x-y if x,yΩ are not comparable, that is, x-yK and y-xK. Note that (31)θKfni-1(y)-fni-1(x)KI(f)ni-1(y-x),i=1,2,,k if xKy, and (32)fni-1(x)-fni-1(y)I(f)ni-1x-y,i=1,2,,k if x,yΩ are not comparable, that is, x-yK and y-xK. By (H3), we get (33)θK𝒫(f)(y)-𝒫(f)(x)=g(fn1-1(x),,fnk-1(x))-g(fn1-1(y),,fnk-1(y))Ki=1kβi(fni-1(y)-fni-1(x))Ki=1kβiI(f)ni-1(y-x) if xKy, and (34)𝒫(f)(y)-𝒫(f)(x)=g(fn1-1(x),,fnk-1(x))-g(fn1-1(y),,fnk-1(y))i=1kβifni-1(y)-fni-1(x)i=1kβiI(f)ni-1y-xi=1kβiI(f)ni-1y-x if x,yΩ are not comparable, that is, x-yK and y-xK, where N(K)1 is employed. Hence, 𝒫(f)E+(Ω,0,i=1kβiI(f)ni-1). Let α(I(f))=i=1kβiI(f)ni-1. Obviously, function α is increasing on (0,+). By the definition of C+(Ω,0,+), we have fni-1(x)Ω,i=1,2,,k for any fC+(Ω,0,+). Hence, F(x)+𝒫(f)(y)Ω,forallx,yΩ.

Let p=M, and let p1=M1; by (23), (35)p(1-α(p))=M(1-i=1kβiMni-1)=M-i=1kβiMniM1.

Next, we prove that 𝒫(f)|C+(Ω,0,M) is continuous. By (H3), for any f1,f2C+(Ω,0,M), by Lemma 7, we have (36)𝒫(f1)-𝒫(f2)C+(Ω,X)=supxΩg(f1n1-1(x),f1n2-1(x),,f1nk-1(x))-g(f2n1-1(x),f2n2-1(x),,f2nk-1(x))i=1kβif1ni-1(x)-f2ni-1(x)C+(Ω,X)i=1kβij=0ni-2Mjf1-f2C(Ω,X). By Theorem 1, there exists an fC+(Ω,0,M) such that (37)(f)f=F. By (H2), we have (38)G(f,fn1,,fnk)=F. This completes the proof of existence. Under the additional hypothesis (24), we see from (36) that the mapping L defined as (10) is a contraction mapping on the closed subset C+(Ω,0,M). The uniqueness of solution follows. Let f1,f2C+(Ω,0,M) be solutions of (2) with the given functions F1,F2 respectively. By the uniqueness, f1=F1+𝒫(f1)f1 and f2=F2+𝒫(f2)f2. Hence, (39)f1-f2C(Ω,X)=(F1-F2)+(𝒫(f1)f1-𝒫(f2)f2)C(Ω,X)F1-F2C(Ω,X)+𝒫(f1)f1-𝒫(f2)f2C(Ω,X)i=1kβij=0ni-1Mjf1-f2C(Ω,X)+F1-F2C(Ω,X). By (24), we have f1-f2C(Ω,X)(1/(1-i=1kβij=0ni-1Mj))F1-F2C(Ω,X), implying that the solution of (2) depends continuously on F. The proof is completed.

Similarly, we can prove the following result for decreasing solutions. We need the following hypothesis:

βi>0 such that (40)θKg(y1,,yk)-g(y-1,,y-k)Ki=1kβi(yi-y-i)ify-iKyi,g(y1,,yk)-g(y-1,,y-k)i=1kβiyi-y-ifor  any  yi,y-iΩ.

Theorem 9.

Suppose that (H2) and (H4) hold and all even order iterates in (2) vanish. Let FE-(Ω,0,M1), where M1(0,+) is a constant. If F(x)-g(y1,,yk)Ω, for all x,yiΩ and (41)M1M-i=1kβiMni for a constant M(0,+), then (2) has a solution fC-(Ω,0,M). Additionally, if (42)i=1kβij=0ni-1Mj<1, then the solution f is unique in C-(Ω,0,M) and depends continuously on F.

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

On the basis of the last subsection we can discuss convexity of solutions for (2). Consider (2) with the following hypothesis:

if  yiKy-iory-iKyiinΩ, then (43)tg(y1,,yk)+(1-t)g(y-1,,y-k)Kg(ty1+(1-t)y-1,,tyk+(1-t)y-k).

Theorem 10.

Suppose that (H2), (H3), and (H5) hold and FEcv+(Ω,0,M1), where M1(0,+) is a constant. If F(x)-g(y1,,yk)Ω for any x,yiΩ and (44)M1M-i=1kβiMni for a constant M(0,+), then (2) has a solution fCcv+(Ω,0,M). Additionally, if (45)i=1kβij=0ni-1Mj<1, then the solution f is unique in Ccv+(Ω,0,M) and depends continuously on F.

Proof.

Similar to Theorem 6, by applying Theorem 3, it suffices to prove that 𝒫(f):=-g(fn1-1,,fnk-1) is convex in the sense of K-order. In fact, each fni-1,i=1,2,,k 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 xKy; by (H3) and (H5), we have (46)𝒫(f)(tx+(1-t)y)=-g(fn1-1(tx+(1-t)y),,fnk-1(tx+(1-t)y))K-g(tfn1-1(x)+(1-t)fn1-1(y),,tfnk-1(x)+(1-t)fnk-1(y))K-tg(fn1-1(x),,fnk-1(x))-(1-t)g(fn1-1(y),,fnk-1(y))=t𝒫(f)(x)+(1-t)𝒫(f)(y). The proof is completed.

Similarly, we can prove the following results for concavity of solutions. We need the following hypothesis:

if  yiKy-iory-iKyiinΩ, then (47)g(ty1+(1-t)y-1,,tyk+(1-t)y-k)Ktg(y1,,yk)+(1-t)g(y-1,,y-k).

Theorem 11.

Suppose that (H2), (H3), and (H6) hold and FEcc+(Ω,0,M1), where M1(0,+) is a constant. If F(x)-g(y1,,yk)Ω for any x,yiΩ and (48)M1M-i=1kβiMni for a constant M(0,+), then (2) has a solution fCcv+(Ω,0,M). Additionally, if (49)i=1kβij=0ni-1Mj<1, then the solution f is unique in Ccv+(Ω,0,M) and depends continuously on F.

Example 12.

Let X=C([0,1],) equipped with the norm x=supt[0,1]|x(t)| for xX. Let (50)Ω{xC([0,1],[0,1]):|x(t1)-x(t2)||t1-t2|,t1,t2[0,1]}, a subset of X. Then, the equation (51)G(f(x),f2(x),f3(x))=f(x)-132(f2(x))2-148ef3(x)=14x2,xΩ, is an iterative equation of the form (2) in the infinite-dimensional setting, where (52)G(y0,y1,y2)=y0-132y12-148ey2 and F(x)(1/4)x2. Note that (53)K+[0,1]{xC([0,1],):x(t)0} is a normal order cone in X and N(K)=1. Then, Ω is a compact convex subset of the ordered real Banach space (X,K,·). Clearly, (H2) is satisfied and (54)g(y1,y2)=-132y12-148ey2. If y-1Ky1,y-2Ky2,y-i,yiΩ,i=1,2, then (55)0Kg(y-1,y-2)-g(y1,y2)=(132y12+148ey2)-(132y-12+148ey-2)K116(y1-y-1)+116(y2-y-2). For any y-i,yiΩ, (56)g(y1,y2)-g(y-1,y-)=(132y-12+148ey-2)-(132y12+148ey2)116y1-y-1+116y2-y-2, where β1=1/16,β2=1/16. Hence, (H3) is satisfied.

If yiKy-i or y-iKyi in Ω, then (57)tg(y1,y2)+(1-t)g(y-1,y-2)=t(-132y12-148ey2)+(1-t)(-132y-12-148ey-2)=-132(ty12+(1-t)y-12)-148(tey2+(1-t)ey-2)K-132(ty1+(1-t)y-1)2-148ety2+(1-t)y-2Kg(ty1+(1-t)y-1,ty2+(1-t)y-2). Hence, (H5) is satisfied. Similar to Example  4.2 in , FEcv+(Ω,0,1/2). F(x)-g(y1,y2)=(1/4)x2+(1/32)y12+(1/48)ey2Ω for any x,y1,y2Ω. In this case, (58)M-i=1kβiMni-M1=M-116M2-116M3-120 for all M[1,3]; that is, inequality (44) holds. By Theorem 10, (51) has an increasing solution fCcv+(Ω,0,M).

Additionally, if M=1, we have (59)i=1Kβij=0nj-1Mj=116(1+M)+116(1+M+M2)=516<1. Hence, the solution is unique and depends continuously on F.

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 .

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).

Kuczma M. Choczewski B. Ger R. Iterative Functional Equations 1990 32 Cambridge, UK Cambridge University Press Encyclopedia of Mathematics and its Applications 10.1017/CBO9781139086639 MR1067720 Targoński G. Topics in Iteration Theory 1981 6 Göttingen, Germany Vandenhoeck & Ruprecht MR623257 Baron K. Jarczyk W. Recent results on functional equations in a single variable, perspectives and open problems Aequationes Mathematicae 2001 61 1-2 1 48 10.1007/s000100050159 MR1820808 ZBL0972.39011 Zhang J. Yang L. Zhang W. Some advances on functional equations Advances in Mathematics 1995 24 5 385 405 MR1381750 ZBL0862.39009 Dhombres J. G. Itération linéaire d'ordre deux Publicationes Mathematicae Debrecen 1977 24 3-4 177 187 MR0487136 ZBL0398.39006 Jarczyk W. On an equation of linear iteration Aequationes Mathematicae 1996 51 3 303 310 10.1007/BF01833285 MR1394735 ZBL0872.39010 Matkowski J. Zhang W. On linear dependence of iterates Journal of Applied Analysis 2000 6 1 149 157 10.1515/JAA.2000.149 MR1758193 ZBL0972.39012 Mukherjea A. Ratti J. S. On a functional equation involving iterates of a bijection on the unit interval Nonlinear Analysis 1983 7 8 899 908 10.1016/0362-546X(83)90065-2 MR709042 ZBL0518.39005 Mukherjea A. Ratti J. S. A functional equation involving iterates of a bijection on the unit interval. II Nonlinear Analysis: Theory, Methods & Applications 1998 31 3-4 459 464 10.1016/S0362-546X(96)00322-7 MR1487557 ZBL0899.39005 Tabor J. Tabor J. On a linear iterative equation Results in Mathematics 1995 27 3-4 412 421 10.1007/BF03322847 MR1331116 ZBL0831.39006 Yang D. Zhang W. Characteristic solutions of polynomial-like iterative equations Aequationes Mathematicae 2004 67 1-2 80 105 10.1007/s00010-003-2708-4 MR2049607 ZBL1060.39019 Malenica M. On the solutions of the functional equation ϕ(x)+ϕ2(x)=F(x) Matematički Vesnik 1982 6 3 301 305 MR724165 ZBL0522.39006 Zhao L. R. Existence and uniqueness theorem for the solution of the functional equation λ1f(x)+λ2f(x)=F(x) Journal of China University of Science and Technology 1983 13 21 27 MR725432 Zhang W. Discussion on the iterated equationn i=1nλifi(x)=F(x) Chinese Science Bulletin 1987 32 1444 1451 Zhang W. N. Discussion on the differentiable solutions of the iterated equation i=1nλifi(x)=F(x) Nonlinear Analysis: Theory, Methods & Applications 1990 15 4 387 398 10.1016/0362-546X(90)90147-9 MR1066395 ZBL0717.39005 Si J. G. The existence of local analytic solutions to the iterated equation i=1nλifi(x)=F(x) Acta Mathematica Sinica 1994 37 5 590 600 MR1311515 Gong X. Zhang W. Convex solutions of the polynomial-like iterative equation in Banach spaces Publicationes Mathematicae Debrecen 2013 82 2 341 358 10.5486/PMD.2013.5305 MR3034350 Zhang W. Solutions of equivariance for a polynomial-like iterative equation Proceedings of the Royal Society of Edinburgh A 2000 130 5 1153 1163 10.1017/S0308210500000615 MR1800096 ZBL0983.39010 Si J. Discussion on the C0 solution of the iterated equation G(fn0x;fn1x,...,fnk(x))=F(x) Journal of Mathematical Research and Exposition 1995 15 149 150 Si J. G. C 1 -solutions of a class of iterative equations Acta Mathematica Sinica. Chinese Series 1996 39 2 247 256 MR1411969 Si J. G. Zhang W. N. On C2 solutions of a functional equations Acta Mathematica Sinica 1998 41 5 1061 1064 MR1681798 ZBL1015.39007 Zdun M. C. Zhang W. A general class of iterative equations on the unit circle Czechoslovak Mathematical Journal 2007 57 3 809 829 10.1007/s10587-007-0077-1 MR2356282 ZBL1174.39005 Kulczycki M. Tabor J. Iterative functional equations in the class of Lipschitz functions Aequationes Mathematicae 2002 64 1-2 24 33 10.1007/s00010-002-8028-2 MR1929247 ZBL1009.39021 Tabor J. Żołdak M. Iterative equations in Banach spaces Journal of Mathematical Analysis and Applications 2004 299 2 651 662 10.1016/j.jmaa.2004.06.011 MR2098266 ZBL1069.47064 Kuczma M. Smajdor A. Fractional iteration in the class of convex functions Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques 1968 16 717 720 MR0244662 Trif T. Convex solutions to polynomial-like iterative equations on open intervals Aequationes Mathematicae 2010 79 3 315 325 10.1007/s00010-010-0020-7 MR2665539 ZBL1223.39014 Xu B. Zhang W. Decreasing solutions and convex solutions of the polynomial-like iterative equation Journal of Mathematical Analysis and Applications 2007 329 1 483 497 10.1016/j.jmaa.2006.06.087 MR2306817 ZBL1114.39007 Zhang W. Nikodem K. Xu B. Convex solutions of polynomial-like iterative equations Journal of Mathematical Analysis and Applications 2006 315 1 29 40 10.1016/j.jmaa.2005.10.006 MR2196527 ZBL1090.39012 Zeidler E. Nonlinear Functional Analysis and Its Applications. Vol. I: Fixed-Point Theorems 1986 New York, NY, USA Springer Translated by P. R. Wadsack 10.1007/978-1-4612-4838-5 MR816732 Amann H. Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces SIAM Review 1976 18 4 620 709 MR0415432 10.1137/1018114 ZBL0345.47044