TSWJ The Scientific World Journal 1537-744X Hindawi Publishing Corporation 372681 10.1155/2013/372681 372681 Research Article Locally Expansive Solutions for a Class of Iterative Equations http://orcid.org/0000-0002-5950-9165 Song Wei Chen Sheng Garcia-Pacheco F. J. Ibeas A. Minhós F. Department of Mathematics Harbin Institute of Technology Harbin Heilongjiang 150001 China hit.edu.cn 2013 5 11 2013 2013 25 08 2013 30 09 2013 2013 Copyright © 2013 Wei Song and Sheng Chen. 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.

Iterative equations which can be expressed by the following form fnx=Hx,fx,f2x,,fn1x, where n2, are investigated. Conditions for the existence of locally expansive C1 solutions for such equations are given.

1. Introduction

Let C(X,X) be the set of all continuous self-mappings on a topological space X. For any fC(X,X), let fm denote the mth iterate of f; that is, fm=ffm-1,  f0=id,m=1,2,. Equations having iteration as their main operation, that is, including iterates of the unknown mapping, are called iterative equations. It is one of the most interesting classes of functional equations , because it includes the problem of iterative roots [2, 5, 6], that is, finding some fC(X,X) such that fn is identical to a given FC(X,X). The well-known Feigenbaum equation f(x)=-(1/λ)f(f(λx)), arising in the discussion of period-doubling bifurcations [7, 8], is also an iterative equation.

As a natural generalization of the problem of iterative roots, iterative equations of the following form (1)λ1f(x)+λ2f2(x)++λnfn(x)=F(x),xI=[a,b] are known as polynomial-like iterative equations. Here, n2 is an integer, λi(i=1,2,,n), F:I is a given mapping, and f:II is unknown. As mentioned in [9, 10], polynomial-like iterative equations are important not only in the study of functional equations but also in the study of dynamical systems. For instance, such equations are encountered in the discussion on transversal homoclinic intersection for diffeomorphisms , normal form of dynamical systems , and dynamics of a quadratic mapping . Some problems of invariant curves for dynamical systems also lead to such iterative equations .

For the case that F is linear, where (1) can be written as (2)λnfn(x)+λn-1fn-1(x)++λ1f(x)+λ0x=0, many results  have been given to present all of its continuous solutions. Conditions that ensure the uniqueness of such solutions are also given by [18, 19].

For the case that F is nonlinear, the basic problems such as existence, uniqueness, and stability cannot be solved easily. In 1986, Zhang , under the restriction that λ10, constructed an interesting operator called “structural operator” for (1) and used the fixed point theory in Banach space to get the solutions of (1). Hence, he overcame the difficulties encountered by the formers. By means of this method, Zhang and Si made a series of works concerning these qualitative problems, such as . After that, (1) and other type equations were discussed extensively by employing this idea (see  and references therein).

On the other hand, great efforts have been made to solve the “leading coefficient problem” which was raised by [32, 33] as an open problem. The essence of solving this problem is to abolish the technical restriction λ10 and discuss (1) under the more natural assumption λn0. As mentioned in [34, 35], a mapping f is said to be locally expansive (resp., locally contractive) at its fixed point x0, if |f(x0)|>1 (resp., 0<|f(x0)|<1). In 2004, Zhang  gave positive answers to this problem in local C1 solutions in some cases of coefficients, but this paper only discussed the locally expansive case and the nonhyperbolic case. In 2009, Chen and Zhang  gave positive answers to this problem with more combinations between locally expansive mappings and locally contractive ones and combinations between increasing mappings and decreasing ones. The main tools used in the two papers above are Schröder transformation and Schauder fixed point theorem. In 2012, J. M. Chen and L. Chen  consider the locally contractive C1 solutions of the iterative equation G(x,f(x),,fn(x))=F(x), and some results on locally contractive solutions of  were generalized. In 2007, Xu and Zhang  answered this problem by constructing C0 solutions of (1). Their strategy is to construct the solutions piece by piece via a recursive formula obtained form (1). Following this idea, global increasing and decreasing solutions [38, 39] were also investigated.

Motivated by the above results, we will consider the existence of locally expansive C1 solutions for the iterative equation of the following form: (3)fn(x)=H(x,f(x),f2(x),,fn-1(x)), where n2. Some results on locally expansive solutions in  are generalized.

1.1. Basic Assumptions, Definitions, and Notations

Firstly, we state some assumptions on the known function H and the solution f. Let I,J be two intervals in R,kZ+,m,nN, and let Ck(Im,Jn) denote the set of all Ck maps from Im to Jn. It is well known that, for a compact interval I, C0(I,R) is a Banach space with the norm h=suptI|h(t)|,hC0(I,R) and C1(I,R) is also a Banach space with the norm h1=max{h,h},hC1(I,R).

For convenience, let X denote (x0,x1,,xn-1)Rn and O(0,0,,0)Rn, where n=2,3,. Let Hi(X) denote (H/xi)(X), where i=0,1,,n-1.

The assumption on f is

fC1(I,I),f(0)=0, where I is an interval to be determined.

Assumptions on H are

HC1(Rn,R),H(O)=0;

i=0n-1|Hi(O)|>1;

|Hi(X)-Hi(Y)|j=0n-1Mij|xj-yj| in a neighborhood V of ORn, where Mij are nonnegative constants, i,j=0,1,,n-1.

Define a set (4)={HH:RnRsatisfies(H1),(H2),and(H3)}.

Let δ>0,τ>0, and M>0 be three constants, and define a set (5)𝒜(δ,τ,M)={ϕC1([-δ,δ],R)ϕ(0)=0,|ϕ(x)|  ϕ(0)=τ,|ϕ(x)-ϕ(y)|M|x-y|,x,y[-δ,δ]([-δ,δ],R)ϕ(0)=0,|ϕ(x)|}. The set 𝒜(δ,τ,M) is nonempty and is a convex compact subset of C1([-δ,δ],R).

For cR,|c|>1,ϕ𝒜(δ,τ,M), and H, we define two functions as follows: (6)λϕ(s)=H(ϕ(c-ns),ϕ(c-n+1s),,ϕ(c-1s)),λiϕ(s)=Hxi(ϕ(c-ns),ϕ(c-n+1s),,ϕ(c-1s)), where i=0,1,,n-1,s[-δ,δ]. By the choices of H and ϕ, we have λϕ(0)=0 and λiϕ(0)=Hi(O), where i=0,1,,n-1.

If the solution f of (3) can be expressed as f(x)=ϕ(c(ϕ-1(x))) by the Schröder transformation, where c is a constant to be determined, then (3) can be reduced to the following auxiliary equation: (7)ϕ(cns)=H(ϕ(s),ϕ(cs),,ϕ(cn-1s)).

If function f is a solution of (3), then we can differentiate the equation. In fact, we can get that the derivative f(0) is a zero of the following polynomial: (8)P(x)=xn-Hn-1(O)xn-1--H1(O)x-H0(O). We refer to the polynomial (8) as the characteristic polynomial of (3).

Finally, we give a basic lemma.

Lemma 1.

Let DRm be a convex open set, and let a=(a1,,am) and a+h=(a1+h1,,am+hm) belong to D¯. If f:D¯R is continuous on D¯ and differentiable on D, then there exists a θ(0,1) such that (9)f(a+h)=f(a)+i=1mfxi(a+θh)hi.

2. Main Results

Let S(n)={1,2,,n-1}.

Theorem 2.

Suppose that H. Suppose that there is a neighborhood U of  ORn that satisfies

for all XU, H0(O)H0(X)0;

for all XU and all iS(n), Hi(O)Hi(X)0.

Then, (3) has a locally expansive increasing C1 solution near 0.

Theorem 3.

Suppose that n is odd and H. Suppose that there is a neighborhood  U of ORn that satisfies

for all XU, H0(O)H0(X)0;

for all XU, Hi(O)H0(X)0 for all odd iS(n) and Hi(O)Hi(X)0 for all even iS(n).

Then, (3) has a locally expansive decreasing C1 solution near 0.

Theorem 4.

Suppose that n is even and H. Suppose that there is a neighborhood  U of ORn that satisfies

for all XU, H0(O)H0(X)0;

for all XU, Hi(O)Hi(X)0 for all odd iS(n) and Hi(O)Hi(X)0 for all even iS(n).

Then, (3) has a locally expansive decreasing C1 solution near 0.

3. Proof of the Main Results Lemma 5.

Under the conditions of Theorem 2 (Theorems 3 and 4, resp.), there is a constant c>1 (resp., c<-1 in both cases) and σ>0 such that for arbitrary given τ>0, (7) has a  C1 solution ϕ on [-σ,σ] with ϕ(0)=0 and ϕ(0)=τ.

Proof.

If c is real and (7) has a local C1 solution ϕ with ϕ(0)=0 and ϕ(0)0, then by differentiating the equation, we can see that c is a root of characteristic polynomial (8).

If hypotheses of Theorem 2 hold, the hypothesis (H2) implies (10)P(1)=1-i=0n-1Hi(O)=1-i=0n-1|Hi(O)|<0. But P(x)+ when x+, and this means that P has a root c>1. In the case of Theorems 3 and 4, P has a root c<-1. Since for both of the cases c>1 and c<-1, 0<|c-n+i|<1,i=0,1,,n-1 and c is a zero of (8), we have (11)|c2n|-i=0n-1|Hi(O)||c2i|=|cn|(|cn|-i=0n-1|Hi(O)||ci||c-n+i|)>|cn|-i=0n-1|Hi(O)||ci|=0. The above inequality holds because of the choice of the sign of Hi(O),i=0,1,,n-1. This also means that 1-i=0n-1|Hi(O)||c-2n+2i|>0. Now, we can choose a constant σ1>0 such that the following statements are true;

(A1σ) holds on [-σ1,σ1], where σ{+,-};

(A2δ) holds on [-σ1,σ1], where δ{+,±,};

(H3) holds on [-σ1,σ1]n.

For a given τ>0, let (12)K2=τ2i,j=0n-1Mij|c-2n+i+j|1-i=0n-1|Hi(O)||c-2n+2i|. Furthermore, we can choose a 0<σ<min{σ1,σ1/τ} such that for, for all ϕ𝒜(σ,τ,K2), we have (13)ϕ([-σ,σ])[-σ1,σ1]. Define a mapping 𝒢:𝒜(σ,τ,K2)C1([-σ,σ],R) as follows: (14)𝒢ϕ(s)=λϕ(s)=H(ϕ(c-ns),ϕ(c-n+1s),,ϕ(c-1s)),s[-σ,σ].

In order to show that 𝒢 is a self-mapping on 𝒜(σ,τ,K2), we calculate (15)dds𝒢ϕ(s)=i=0n-1c-n+iϕ(c-n+is)λiϕ(s). Obviously, 𝒢ϕ(0)=0. Since cn=i=0n-1Hi(O)ci, we have (16)dds𝒢ϕ(0)=i=0n-1c-n+iϕ(0)λiϕ(0)=ϕ(0)c-ni=0n-1Hi(O)ci=τ.

Moreover, for all s[-σ,σ], by A2δ,δ{+,±,}, we have (17)|dds𝒢ϕ(s)|=|i=0n-1c-n+iϕ(c-n+is)λiϕ(s)|i=0n-1|c-n+i||ϕ(c-n+is)||λiϕ(s)||c-n|(i=0n-1|ci||Hi(O)|)ϕ(0)=τ. By (H3) and the choice of ϕ, we can get that (18)|dds𝒢ϕ(x)-dds𝒢ϕ(y)|=|i=0n-1c-n+iϕ(c-n+ix)λiϕ(x)-i=0n-1c-n+iϕ(c-n+iy)λiϕ(y)|i=0n-1|c-n+i|{|ϕ(c-n+ix)||λiϕ(x)-λiϕ(y)|+|ϕ(c-n+ix)-ϕ(c-n+iy)||λiϕ(y)|}i=0n-1|c-n+i|×{τ2j=0n-1Mij|c-n+j|+|c-n+i||Hi(O)|K2}|x-y|=(τ2i,j=0n-1|c-2n+i+j|Mij+i=0n-1|c-2n+2i||Hi(O)|K2)|x-y|. By the definition of K2, we get that (19)|dds𝒢ϕ(x)-dds𝒢ϕ(y)|K2|x-y|. Summing up the above discussion, we get that 𝒢(𝒜(σ,τ,K2))𝒜(σ,τ,K2).

Now, we will prove that 𝒢 is continuous. Considering ϕ,φ𝒜(σ,τ,K2), by Lemma 1 and A2δ,δ{+,±,}, we have (20)𝒢ϕ-𝒢φ=sups[-σ,σ]|λϕ(s)-λφ(s)|sups[-σ,σ]i=0n-1|Hi(O)||ϕ(c-n+is)-φ(c-n+is)|(i=0n-1|Hi(O)|)ϕ-φ. Furthermore, by (H3), we have(21)dds𝒢ϕ-dds𝒢φ=sups[-σ,σ]|i=0n-1c-n+iϕ(c-n+is)λiϕ(s)-i=0n-1c-n+iφ(c-n+is)λiφ(s)|sups[-σ,σ]i=0n-1|c-n+i||ϕ(c-n+is)λiϕ(s)-φ(c-n+is)λiφ(s)|sups[-σ,σ]i=0n-1|c-n+i|×{|ϕ(c-n+is)λiϕ(s)-ϕ(c-n+is)λiφ(s)|+|ϕ(c-n+is)λiφ(s)-φ(c-n+is)λiφ(s)|}=sups[-σ,σ]i=0n-1|c-n+i|×{|ϕ(c-n+is)||λiϕ(s)-λiφ(s)|+|ϕ(c-n+is)-φ(c-n+is)||λiφ(s)|}i,j=0n-1τ|c-n+i|Mijϕ-φ+i=0n-1|Hi(O)|ϕ-φ.  Finally, let (22)E=max{i,j=0n-1τ|c-n+i|Mij,i=0n-1|Hi(O)|}, and we get that (23)𝒢ϕ-𝒢φ1Eϕ-φ1. Now, the continuity of 𝒢 is evident. By Schauder’s fixed point theorem, there exists a ϕ𝒜(σ,τ,K2) such that 𝒢ϕ=ϕ. This means that (7) with the chosen c has a C1 solution on [-σ,σ] with derivative τ at 0.

Proof of Theorems <xref ref-type="statement" rid="thm2.1">2</xref>–<xref ref-type="statement" rid="thm2.3">4</xref>.

Let ϕ be the solution of (7) obtained in Lemma 5. By the continuity of ϕ, we are able to choose a neighborhood Jϕ([-σ,σ]) of 0 such that ϕ-1 exists and is also C1 on J. Without any loss of generality, we can assume that J=ϕ([-σ,σ]). Hence, ϕ:[-σ,σ]J is a homeomorphism. Moreover, we can choose a neighborhood IJ of 0 which is so small that ciϕ-1(x)[-σ,σ] for all xI,i=1,2,,n. Let f(x)=ϕ(cϕ-1(x)) for xI. Clearly f is also C1 and invertible on I. Moreover, all iterates fj,j=1,2,,n, are well defined on I, and fj(x)=ϕ(cjϕ-1(x)),xI. Obviously, we have f(0)=0,f(0)=c, and f is locally expansive. Finally, for any xI, we have (24)H(x,f(x),f2(x),,fn-1(x))=H(ϕ(ϕ-1(x)),ϕ(cϕ-1(x)),ϕ(c2ϕ-1(x)),,ϕ(cn-1ϕ-1(x)))=H(ϕ(c-n(cnϕ-1(x))),ϕ(c-n+1(cnϕ-1(x))),ϕ(c-n+2(cnϕ-1(x))),,ϕ(c-1(cnϕ-1(x))))=𝒢ϕ(cnϕ-1(x))=ϕ(cnϕ-1(x))=fn(x). Therefore, f is a locally expansive C1 solution of (3).

4. Examples Example 1.

Consider the following equation: (25)f3(x)=2sin(x)+sin(f2(x)). Obviously, H(x0,x1,x2)=2sin(x0)+sin(x2). It is easy to verify that H satisfy the assumptions of Theorem 2. This equation has at least one locally expansive increasing C1 solution in a neighborhood of 0.

Example 2.

Consider the following equation: (26)f3(x)=-2sin(x)-sin(f2(x)). Obviously, H(x0,x1,x2)=-2sin(x0)-sin(x2). It is easy to verify that H satisfy the assumptions of Theorem 3. This equation has at least one locally expansive decreasing C1 solution in a neighborhood of 0.

Example 3.

Consider the following equation: (27)f4(x)=2sin(x)+sin(f2(x)). Obviously, H(x0,x1,x2,x3)=2sin(x0)+sin(x2). It is easy to verify that H satisfy the assumptions of Theorem 4. This equation has at least one locally expansive decreasing C1 solution in a neighborhood of 0.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The research of the authors was supported by National Natural Science Foundation of China (Grant nos. 11101105 and 11001064), by the Fundamental Research Funds for the Central Universities (Grant no. HIT. NSRIF. 2014085), and by the Scientific Research Foundation for the Returned Overseas Chinese Scholars.

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 2-s2.0-54649084009 Kuczma M. Choczski B. Ger R. Iterative Functional Equations, Ecyclopedia of Mathematics and Its Application 1990 New York, NY, USA Cambridge University Press Nabeya S. On the functional equation fp+qx+rfx=a+bx+cfx Aequationes Mathematicae 1974 11 2-3 199 211 2-s2.0-0041568502 10.1007/BF01834919 Zhang J. Z. Yang L. Zhang W. N. Iterative Equations and Embedding Flow 1998 Shanghai Scientific and Technological Education Publishing House Abel N. Oeuvres Completes 1881 2 Christiana Dubby J. M. The Mathematical Work of Charles Babbage 1978 New York, NY, USA Cambridge University Press Collet P. Eckmann J. P. Lanford O. E. III Universal properties of maps on an interval Communications in Mathematical Physics 1980 76 3 211 254 2-s2.0-0000852213 10.1007/BF02193555 McCarthy P. J. The general exact bijective continuous solution of Feigenbaum's functional equation Communications in Mathematical Physics 1983 91 3 431 443 2-s2.0-33846310041 10.1007/BF01208784 Xu B. Zhang W. N. Decreasing solutions and convex solutions of the polynomial-like iterative equation Journal of Mathematical Analysis and Applications 2007 329 1 483 497 2-s2.0-33846325874 10.1016/j.jmaa.2006.06.087 Zhang W. N. Nikodem K. Xu B. Convex solutions of polynomial-like iterative equations Journal of Mathematical Analysis and Applications 2006 315 1 29 40 2-s2.0-29544452067 10.1504/IJVNV.2006.008525 Fontich E. Transversal homoclinic points of a class of conservative diffeomorphisms Journal of Differential Equations 1990 87 1 1 27 2-s2.0-38249016433 Bessis D. Marmi S. Turchetti G. On the singularities of divergent majorant series arising from normal form theory Rendiconti di Mathematica 7 1989 9 645 659 Greenfield S. J. Nussbaum R. D. Dynamics of a quadratic map in two complex variables Journal of Differential Equations 2001 169 1 57 141 2-s2.0-0035218458 10.1006/jdeq.2000.3895 Ng C. T. Zhang W. N. Quadratic invariant curves for a planar mapping Journal of Difference Equations and Applications 2000 6 2 147 163 2-s2.0-0012641772 Matowski J. Zhang W. N. On linear dependence of iterates Journal of Applied Analysis 2000 6 1 149 157 Yang D. L. Zhang W. N. Characteristic solutions of polynomial-like iterative equations Aequationes Mathematicae 2004 67 1-2 80 105 2-s2.0-2142665771 Zhang W. M. Zhang W. N. Discussion on continuous solutions of n-th order polynomial-like iterative equations Publicationes Mathematicae 2010 76 1-2 117 134 2-s2.0-77149147170 Jarczyk W. On an equation of linear iteration Aequationes Mathematicae 1996 51 3 303 310 2-s2.0-0042198165 Tabor J. Tabor J. On a linear iterative equation Results in Mathematica 1995 27 412 421 Zhang W. N. Discussion on the iterated equation i=1nλifix=Fx Chinese Science Bulletin 1987 32 21 1444 1451 Si J. G. C 2 solutions of the iterated equation i=1nλifix=Fx Acta Mathematica Sinica 1993 36 3 348 357 Zhang W. N. Stability of the solution of the iterated equation i=1nλifix=Fx Acta Mathematica Scientia 1988 8 4 421 424 Zhang W. N. Discussion on the differentiable solutions of the iterated equation i=1nλifix=Fx Nonlinear Analysis: Theory, Methods & Applications 1990 15 4 387 398 2-s2.0-45149139847 Zhang W. N. An application of Hardy-Böedewadt's theorem to iterated functional equations Acta Mathematica Scientia 1995 15 3 356 360 Kulczycki M. Tabor J. Iterative functional equations in the class of Lipschitz functions Aequationes Mathematicae 2002 64 1-2 24 33 2-s2.0-2142787330 Li X. P. The C1 solution of the high dimensional iterative equation with variable coefficients College Mathematics 2006 22 3 67 71 Li X. P. Deng S. F. Differentiablity for the high dimensional polynomial-like iterative equation Acta Mathematica Scientia 2005 25 1 130 136 Murugan V. Subrahmanyam P. V. Existence of solutions for equations involving iterated functional series Fixed Point Theory and Applications 2005 2005 2 219 232 2-s2.0-34547630729 10.1155/FPTA.2005.219 Murugan V. Subrahmanyam P. V. Special solutions of a general iterative functional equation Aequationes Mathematicae 2006 72 3 269 287 2-s2.0-33846829137 10.1007/s00010-006-2839-5 Murugan V. Subrahmanyam P. V. Erratum: Special solutions of a general class of iterative functional equations (Aequationes Mathematicae (2006) 72 (269–287)) Aequationes Mathematicae 2008 76 3 317 320 2-s2.0-57349115969 10.1007/s00010-008-2938-6 Wang X. P. Si J. G. Differentiable solutions of an iterative functional equation Aequationes Mathematicae 2001 61 1-2 79 96 2-s2.0-0347383392 Zhang W. N. Baker J. A. Continuous solutions of a polynomiallike iterative equation with variable coefficients Annales Polonici Mathematici 2000 73 29 36 Zhang J. Z. Yang L. Zhang W. N. Some advances on functional equations Advances in Mathematics 1995 24 5 385 405 Chen J. M. Zhang W. N. Leading coefficient problem for polynomial-like iterative equations Journal of Mathematical Analysis and Applications 2009 349 2 413 419 2-s2.0-53249155842 10.1016/j.jmaa.2008.09.015 Zhang W. N. On existence for polynomial-like iterative equations Results in Mathematics 2004 45 1-2 185 194 10.1007/BF03323006 Chen J. M. Chen L. C 1 solutions of the iterative equations Gx,fx,,fnx=Fx Journal of Mathematical Reseasrch with Applications 2012 32 1 119 126 Xu B. Zhang W. N. Construction of continuous solutions and stability for the polynomial-like iterative equation Journal of Mathematical Analysis and Applications 2007 325 2 1160 1170 2-s2.0-33750305776 10.1016/j.jmaa.2006.02.065 Li L. Zhang W. M. Continuously decreasing solutions for polynomial-like iterative equations Science in China A 2013 56 5 1051 1058 Zhang W. M. Xu B. Zhang W. N. Global solutions for leading coefficient problem of polynomial-like iterative equations Results in Mathematics 2013 63 1-2 79 93 2-s2.0-79958800935 10.1007/s00025-011-0162-5