 Research
 Open Access
 Published:
Dynamics of the functions \( f_\mu (z)=z\exp (z+\mu ) \) with the real parameter
SpringerPlus volume 5, Article number: 850 (2016)
Abstract
In this paper, the dynamics of the functions \( f_{\mu }(z)=z\exp (z+\mu ) \) with the real parameter is studied. We say that a real parameter \( \mu \) belongs to the set \( B_n \) for a positive integer n if \( f_\mu \) has an attracting cycle of norder. We prove that the Fatou set \( F(f_\mu ) \) is a completely invariant attracting basin for every parameter \( \mu <0 \). Further, regarding the set \( B_n \) for \( n>1 \), we prove the following results: (1) There exists \( \mu _{*}\ne +\infty \) such that \( B_2 = (2,\mu _{*}) \). (2) For every positive integer \( n>2 \), the set \( B_n \) is nonempty. (3) For every prime number \( p>3 \), the set \( B_p \) has at least two components.
Introduction and main results
Let \( f^n \) be the nth iterate of a transcendental entire function f. The maximal open set F(f) where the family \( \{f^n\}_{n=0}^{\infty } \) is normal in the sense of Montel is called the Fatou set, and its complement \( J(f):={\mathbb {C}}\backslash F(f) \) is called the Julia set. The dynamics given by the iteration of transcendental entire maps has been widely studied (cf. Eremenko and Lyubich 1992).
Baker (1970) first obtained an entire function f with the property \( J(f)={\mathbb {C}} \). He proved the following Theorem.
Theorem 1
For a certain real positive value k , the function \( f(z)=kze^z \) has the whole plane for its set J(f).
After that, many authors (cf. Fagella 1995; Jang 1992; Kuroda and Jang 1997; Morosawa 1998) studied the dynamics of the functions \( f_{\mu }(z):=z\exp (z+\mu ) \). Jang (1992) proved that the set
is an infinite set. Further, Morosawa (1998) proved that the onedimensional Lebesgue measure of \( B_0 \) is positive.
The function \( f_{\mu } \) has only two singular values: an asymptotic value 0 and a critical value \( f_{\mu }(1) \), hence the Fatou set \( F(f_\mu ) \) has no wandering components. The asymptotic value is fixed, hence there is only one free singular orbit. It follows that there is at most one cycle of periodic Fatou components, either attracting, parabolic or Siegel. Since for real parameters the orbit of the free critical value is entirely real, there is no possibility of Siegel discs. Hence only attracting or parabolic cycles are possible and attracting or parabolic periodic points (if they exist) are real.
In this paper, our main goal is to study the structure of \( B_n \), where
for every positive integer n.
For every real parameter \( \mu \), \( f_\mu \) has two real fixed points 0 and \( \mu \). The multiplier of 0 is \( e^{\mu }\), and the multiplier of \( \mu \) is \( 1\mu \). Hence \( \mu \in {B_1} \) if and only if \( \mu \) satisfies the following condition:
This immediately implies that \( B_1=(\infty ,0)\cup (0,2) \).
Since a completely invariant domain contains all singular values, it is easy to see that if \( \mu \in (0, 2) \), then the Fatou set \( F(f_\mu ) \) is not a completely invariant attracting basin. However, for \( \mu \in (\infty ,0) \), we have the following result.
Theorem 2
For every parameter \( \mu <0 \), the Fatou set \( F(f_\mu ) \) is a completely invariant attracting basin.
Regarding the set \( B_n \) for \( n>1 \), we prove the following Theorems.
Theorem 3
There exists \( \mu _{*}\ne +\infty \) such that \( B_2 = (2,\mu _{*}) \).
Theorem 4
For every positive integer \( n>2 \), \( B_n \ne \emptyset \).
Theorem 5
For every prime number \( p>3 \) , the set \( B_p \) has at least two components.
Remark 6
We believe that \( B_3 \) is also an interval and Theorem 5 holds also for every integer \( n>3 \). An interesting problem is how many components contained in \( B_p \).
The Proof of Theorem 2
In order to prove Theorem 2, we need the following Lemmas. Set \( h_r(x):=r^2\exp (2x)x^2 \) and \( \Delta _r:=\{z\in {\mathbb {C}}\ z<r\} \).
Lemma 7
Let \( r\in (0, e^{1}) \), then \( h_r \) has 3 distinct zeros \( x_1<1, x_2\in (1, 0) \) and \( x_3>0 \). Moreover, the solving set of inequality \( h_r(x)\ge 0 \) is the union of \( I_1=(\infty , x_1] \) and \( I_2=[x_2, x_3] \).
Proof
Noting \( f_0(x)=xe^x \) and \( h_r(x)=e^{2x}(r^2x^2e^{2x}) \), we have
and
From \( f'_0(x)=(x+1)e^x \), we see that \( f_0(x) \) is decreasing in \( (\infty , 1] \) and increasing in \( [1, +\infty ) \), and \( f_0(1)=e^{1} \) is the minimum value of \( f_0(x) \). Note that
if \( r\in (0, e^{1}) \), then we infer that \( f_0(x)=r \) has the only one root \( x_3>0 \), and \( f_0(x)=r \) has two roots \( x_1<1 \) and \( x_2\in (1, 0) \). Moreover, the solving set of inequality \( f_0(x)<r \) is the union of \( (\infty , x_1) \) and \( (x_2, x_3) \). Hence from (1) and (2), we obtain the assertion. \(\square \)
Lemma 8
Let \( r\in (0, e^{1}) \), then \( f_0^{1}(\Delta _r) \) has two connected components \( D_1 \) and \( D_2 \), and the set \( D_1\cup D_2\cup (\infty , 0) \) is connected.
Proof
For every \( z=x+iy\in {f_0^{1}(\Delta _r)} \), we have
which implies
It follows that
From Lemma 7, we know that the graph of \( y=\sqrt{h_r(x)} \) consists of two curves
and
Therefore, \( f_0^{1}(\Delta _r) \) has two connected components \( D_1 \) and \( D_2 \), where \( \partial {D_1}=L_1 \) and \( \partial {D_2}=L_2 \). Obviously the set \( D_1\cup D_2\cup (\infty , 0) \) is connected. Hence we obtain the assertion. \(\square \)
Lemma 9
Let \( I=(a,b) \) be an open interval, and \( f: I \rightarrow I \) be a continuous mapping.

(1)
If \( f(x)>x \) for every \( x\in I \), then we have
$$\begin{aligned} \lim _{n\rightarrow +\infty } f^n(x)=b. \end{aligned}$$ 
(2)
If \( f(x)<x \) for every \( x\in I \), then we have
$$\begin{aligned} \lim _{n\rightarrow +\infty } f^n(x)=a. \end{aligned}$$
Proof
(1) Suppose \( f(x)>x \) for every \( x\in I \). Then it follows that the sequence \( \{f^n(x)\}_{n=1}^{\infty } \) is increasing. Hence the sequence \( \{f^n(x)\}_{n=1}^{\infty } \) either tends to \( +\infty \) or tends to \( x_0<+\infty \). If the first case happens, then we have \( b=+\infty \). If the second case happens, then we infer \( x_0=b \). Otherwise, \( x_0<b \), and then \( x_0 \) is a fixed point of f, which contradicts that \( f(x)>x \) for every \( x\in I \). Thus, we obtain that the sequence \( \{f^n(x)\}_{n=1}^{\infty } \) tends to b.
(2) Similar as the proof of (1), we can obtain (2) easily. \(\square \)
Proof of Theorem 2
Proof
Let \( \mu <0 \). Then singular value 0 of \( f_\mu \) is an attracting fixed point. Denote the immediate attracting basin of 0 by D. For every \( x<0 \), we have
from Lemma 9, it follows that \( \lim _{n\rightarrow {+\infty }}f_\mu ^n(x)=0 \). Hence \( x\in F(f_\mu ) \), and then \( (\infty , 0)\subset D \).
Take r enough small such that \( r_1:=re^{\mu }<\mu \) and \( r<e^{1} \). Then \( r_1+\mu <0 \). For every \( z\in \Delta _{r_1} \), we have
This implies \( \Delta _{r_1}\subset D \). Hence \( f_\mu ^{1}(\Delta _{r_1})\subset F(f_\mu ) \).
It is easy to see that \( f_\mu (z)<r_1\Leftrightarrow f_0(z)<r, \) which implies \( f_\mu ^{1}(\Delta _{r_1})=f_0^{1}(\Delta _r) \). From Lemma 8, we know that \( f_\mu ^{1}(\Delta _{r_1}) \) has two connected components \( D_1 \) and \( D_2 \), the set \( D_1\cup D_2\cup (\infty , 0) \) is connected. Since \( (\infty , 0)\subset D \), we infer \( f_\mu ^{1}(\Delta _{r_1})\subset D \). Hence D is completely invariant. Since the Fatou set \( F(f_\mu ) \) has at most one cycle of periodic components, and has no wandering components, we have \( F(f_\mu )=D \). Thus, Theorem 2 is proved completely. \(\square \)
Dynamics of \( f_\mu (x) \) for \( \mu \le 2 \) and the Proof of Theorem 3
For a real parameter \( \mu \), the attracting periodic points of \( f_\mu \) (if they exist) are real. From now on, we suppose that the function \( f_\mu \) only defined in \( \mathbb {R} \).
It is known that \( f_\mu \) has only two fixed points 0 and \( \mu \), the multiplier of 0 is \( e^{\mu }\), and the multiplier of \( \mu \) is \( 1\mu \). We see that the periodic point 0 of \( f_\mu \) is attracting (resp. parabolic) for \(\mu <0\) (resp. \(\mu =0\)), the fixed point \(\mu \) of \( f_\mu \) is attracting for \(\mu \in (0,2)\), and the fixed point \( \mu =2 \) of \( f^2_\mu \) is parabolic for \(\mu =2\). So the behavior of the iteration of \(f_\mu \) for \(\mu \le 2\) should be simple. Indeed, we have the following result.
Theorem 10

(1)
If \( \mu \le 0 \), then every point in \( (\infty , \mu ) \) is absorbed by the fixed point 0 and every point in \( (\mu , +\infty ) \) escapes to \( +\infty \) under iteration of \( f_\mu \).

(2)
If \( \mu \in (0, 2] \), then every point in \( (\infty , 0) \) is absorbed by the fixed point \( \mu \) and every point in \( (0, +\infty ) \) escapes to \( +\infty \) under iteration of \( f_\mu \).
Before proving Theorem 10, we first introduce some preliminary facts.
For the function \( f_\mu \), we have \( f'_\mu (x)=(x+1)\exp (x+\mu ) \), it follows that \( f_\mu \) is decreasing in \( (\infty , 1] \) and increasing in \( [1, +\infty ) \), and \( s:=f_\mu (1) \) is the minimum value of \( f_\mu \). Moreover, we see that the following Claims hold.
Claim 1
If \( \mu \le 0 \) , then

(1)
\(f_\mu (x)>x, \ \ {for\;every }\quad x\in (\mu , +\infty )\);

(2)
\(0<f_\mu (x)<x, \ \ {for\;every }\quad x\in (0, \mu ),\ \ \mu \ne 0\);

(3)
\(0>f_\mu (x)>x, \ \ {for\;every }\quad x\in (\infty ,0)\).
Claim 2
If \( \mu > 0 \) , then

(1)
\(f_\mu (x)>x, \ \ {for\;every }\quad x\in (0, +\infty )\);

(2)
\(f_\mu (x)<x, \ \ {for\;every }\quad x\in (\mu , 0)\);

(3)
\(f_\mu (x)>x, \ \ {for\;every }\quad x\in (\infty , \mu )\).
Since \( f_\mu (x) \) is increasing in \( [1, +\infty ) \) and \( f_\mu (\mu )=\mu \), by Claim 2, we obtain the following Claim.
Claim 3
If \( \mu \in (0, 1] \) , then

(1)
\(x>f_\mu (x)>\mu , \ \ \ {for\;every }\quad x\in (\mu , 0)\);

(2)
\(x<f_\mu (x)<\mu , \ \ \ {for\;every }\quad x\in (1, \mu ),\ \ \mu \ne 1\).
Let \( g_\mu (x):=x+f_\mu (x)+2\mu \). Then
For the function \( g_\mu (x) \), we have
and
From (5), we see that the curve \( y=g_\mu (x) \) is convex in \( (\infty , 2] \) and concave in \( [2, +\infty ) \). Furthermore, we have the following two Lemmas.
Lemma 11
If \( \mu \le 2 \), then the function \( g_\mu (x) \) is increasing in \( (\infty , +\infty ) \).
Proof
From (4), we have
Since the curve \( y=g_\mu (x) \) is convex in \( (\infty , 2] \) and concave in \( [2, +\infty ) \), we infer that the function \( g_\mu (x) \) is increasing in \( (\infty , +\infty ) \). \(\square \)
Lemma 12
If \( \mu >2 \), then the function \( g_\mu \) has only three distinct zeros \( \mu , p \) and q , where
moreover
Proof
From (4), we have
Note that \( g_\mu (0)=2\mu >0\) and \( g_\mu (\mu )=0 \). Since the curve \( y=g_\mu (x) \) is convex in \( (\infty , 2] \) and concave in \( [2, +\infty ) \), we infer that the function \( g_\mu \) has only three distinct zeros \( \mu , p \) and q , where \( p<\mu \) and \(2<q<0,\) moreover, \( g'_\mu (p)>0 \) and \( g'_\mu (q)>0.\)
Proof of Theorem 10
Proof
First, we prove the part (1) of Theorem 10.
From Claim 1, by Lemma 9, we infer that for \( \mu \le 0 \),
and
i.e., every point in \( (\mu , +\infty ) \) escapes to \( +\infty \) and every point in \( (\infty , \mu ) \) is absorbed by the fixed point 0 under iteration of \( f_\mu \). Thus, the part (1) of Theorem 10 is proved.
Next, we prove the part (2) of Theorem 10.
From Claim 2, by Lemma 9, we infer that every point in \( (0, +\infty ) \) escapes to \( +\infty \) under iteration of \( f_\mu \) for \( \mu > 0 \).
For every \( x\in (\infty , 0) \), we have \( f_\mu (x)\in [s, 0) \). Hence, once we have proven that every point in [s, 0) is absorbed by the fixed point \( \mu \) under iteration of \( f_\mu \), then it follows that every point in \( (\infty ,0) \) is also absorbed by the fixed point \( \mu \) under iteration of \( f_\mu \).
Note that \( s>1 \) for \( \mu \in (0, 1) \) and \( s=1 \) for \( \mu =1 \). Using Lemma 9, from Claim 3, we infer that for \( \mu \in (0, 1] \), every point in [s, 0) is absorbed by the fixed point \( \mu \) under iteration of \( f_\mu \), and then every point in \( (\infty , 0) \) is also absorbed by the fixed point \( \mu \) under iteration of \( f_\mu \).
The remainder to be proved is the following claim:
For \( \mu \in (1,2] \), every point in [s, 0) is absorbed by the fixed point \( \mu \) under iteration of \( f_\mu \).
Suppose \( \mu \in (1, 2] \). By Lemma 11, \( g_\mu (x) \) is increasing in \( (\infty , +\infty ) \), we have
Hence by (3), we have
Since \( f_\mu (x) \) is decreasing in \( (\infty ,1] \), noting \( f_\mu (\mu )=\mu \) and \( f_\mu (s)=f^2_\mu (1)<1 \), we have
and
From (8), (9) and (10), we obtain
Hence by Lemma 9, we get
and then
Thus we obtain
Further, from (10), we have
i.e., every point in \( [s,1) \) is absorbed by the fixed point \( \mu \) under iteration of \( f_\mu \). For every \( x\in [1,0) \), we have
Assume \( f^n_\mu (x)\ge 1 \) hold for all positive integer n. Then it follows that the sequence \( \{f^n_\mu (x)\}_{n=1}^{\infty } \) is decreasing, hence it tends to a fixed point \( x_0\in [1,0) \) of \( f_\mu \). This contradicts that \( f_\mu (x)=x\exp (x+\mu )<x \) for every \( x\in [1,0) \). So there exists a positive integer k such that \( f^k_\mu (x)\in [s, 1) \), and it follows from (11) that
which implies that x is absorbed by the fixed point \( \mu \) under iteration of \( f_\mu \).
Thus, we completed the proof of Theorem 10. \(\square \)
As a corollary of Theorem 10, we have the following result.
Theorem 13
If \( \mu \le 2 \), then \( f_\mu \) has no periodic points of n order for any \( n \ge 2 \).
From (3) and Lemma 12, we immediately get the following result.
Lemma 14
For every \( \mu >2 \), \( f_\mu \) has only one cycle of periodic points of 2order.
Let \( \{p, q\} \) be the cycle of periodic points of 2order of \( f_\mu \) for \( \mu >2 \), which satisfies (6) and (7). Note that \( g_\mu (p)=0 \) and \( q=f_\mu (p)=p\exp (p+\mu ) \), which imply
then from (4), we have
From (6), (7) and (13), we infer
Let \( \lambda \) denote the multiplier of the cycle \(\{p, q\} \). We have
It follows from (12) that
Hence by (14), we get \( \lambda <1 \). Furthermore, we have the following result.
Lemma 15
The multiplier \( \lambda \) as a function of \( \mu \) defined in \( (2,+\infty ) \) is decreasing, and its range is \( (\infty , 1) \).
Proof
From (12), we have
Moreover, since \( q=f_\mu (p)=p\exp (p+\mu ) \), i.e., \( \log (q/p)=p+\mu \), we have
From (16) and (17), by direct calculation, we obtain
and
From (15), we have
Then by (16), (18) and (19), we get
By (12) and \( \mu >2 \), we have \( p+q+4=2\mu +4<2 \). Hence by (6), (14) and (20), we infer \( \frac{d\lambda }{d\mu }<0 \), thus \( \lambda \) as a function of \( \mu \) is decreasing.
Following (6), (14) and (18), we get \( \frac{dp}{d\mu }<0 \), hence p as a function of \( \mu \) is decreasing, and then \( \lim _{\mu \rightarrow {2^{+}}}p \) exists, say \( p_0 \). Then from \( g_\mu (p)=0 \), we have \( g_2(p_0)=0 \). Since the function \( g_2(x) \) is increasing in \( (\infty , +\infty ) \), we get \( p_0=2 \). Hence from (12) and (15), we have
and
It is easy to obtain by calculating that
which implies \( \lim _{\mu \rightarrow {+\infty }}q=0.\) Hence from (12) and (15), we have
Since \( \lambda \) is decreasing, by (21) and (22), we obtain that the range of \( \lambda \) is \( (\infty , 1) \). \(\square \)
Proof of Theorem 3
Proof
Set \( \mu _{*}:=\lambda ^{1}(1) \). Then by Lemma 15, we have \( \mu _{*}\ne +\infty \) and \( \lambda ^{1}(1,1)=(2, \mu _{*}) \). By Theorem 13 and Lemma 14, we deduce that \( \mu \in B_2 \) if and only if \( \mu >2 \) and \( \lambda (\mu )\in (1,1) \). Hence we obtain \( B_2=(2, \mu _{*})\).
Therefore, Theorem 3 is proved completely. \(\square \)
Remark 16
Computation of \( \mu _*\).
Noting \( q\in (2, 0) \) and \( \mu >2 \), we obtain
and then
Hence the equation \( p=q\exp (q+\mu )\) with \( \lambda (\mu _*)=1 \) implies that \( \mu _*\) is the root of the function
The plot of \(\Phi (\mu )\) is as in Fig. 1. One can compute the root of \( \Phi (\mu ) \) up to machine precision with numerical methods like bisection, secant method and so on.
Result: \( \mu _*= 2.526467725\cdots \)
(with \( p = 4.351324903\cdots \) and \( q = 0.701610548\cdots \)).
Remark 17
The Taylor series expansion of \( \lambda (\mu ) \).
From (12), (15) and (20), we have
which implies that
Suppose that the formal Taylor series expansion with expansion point 2 is
then
Note that \( a_0=\lambda (2^+)=1 \), and let \( t:=(\mu 2) \), from (23) we have
which implies that
The comparison of the left and the right side with respect to \( t^l \) yields
The Plot of the Taylor series expansion of \(\lambda (\mu )\) up to 10th order with expansion point 2 is as in Fig. 2. Indeed, the Taylor polynomials can also be used to approximate \( \mu _*\).
The Proof of Theorem 4
In this section we prove Theorem 4 by finding a parameter \( \mu _n \) such that \( f_{\mu _n} \) has superattracting periodic points of norder. This parameter \( \mu _n \) satisfies the equation \( f_{\mu }^{n}(1)=1 \), i.e., \( \mu \) belongs to the set
where \( s_n(\mu ):=f_{\mu }^n(1) \) for every positive integer n.
Lemma 18
(Jang (1992)) Let \( n\ge 2 \), then \( s_n(\mu )\rightarrow 0 \) as \( \mu \rightarrow +\infty \).
Lemma 19
For every positive integer n , \( E_n \) is a finite set, and \( E_1=\{1\}\subset E_n \).
Proof
Since \( s_1(\mu )=f_{\mu }(1)=\exp (\mu 1) \), we get \( E_1=\{1\} \), and from \( s_n(1)=1 \), we get \( \{1\}\subset E_n \).
Now, suppose \( n\ge 2 \). Since \( s_1(\mu )=f_\mu (1) \) is the minimum value of \( f_\mu \), we have
Hence \( \mu \ge 1 \) for every \( \mu \in E_n \). From Lemma 18, there is \( M_n \) such that \( s_n(\mu )>1 \) for every \( \mu >M_n \). Hence \( \mu \le M_n \) for every \( \mu \in E_n \). Thus \( E_n \) is a bounded set, and then is a finite set. \(\square \)
Lemma 19 allows us to define \( \mu _n:=\max \{\mu \in E_n\} \). Clearly, \( \mu _1=1 \) and \( \mu _n\ge 1 \) for every \( n\ge 2 \).
Lemma 20
Let \( n\ge 2 \). If \(\mu >\mu _n \), then \( s_n(\mu )>1 \) and \( s_{n+1}(\mu )<s_{n}(\mu ) \).
Proof
It is easy to see that \( s_n(\mu )<0 \) for every \( \mu \). Set
Clearly, \( I_n \) is an interval, and \( I_n\subset (\infty , 0) \). Note that \( 1\not \in I_n \) from the definition of \( \mu _n \). Hence by Lemma 18 and \( s_n(\mu _n)=1 \), we infer \( I_n=(1,0) \). Hence if \( \mu >\mu _n \), then \( 1<s_n (\mu )<0 \). Noting \( \mu _n\ge 1 \), we have
Thus we obtain the assertion. \(\square \)
The following two Lemmas have been proved by Kuroda and Jang (1997). Here we give different proofs of them.
Lemma 21
The sequence \( \{\mu _n\}_{n=1}^{\infty } \) is increasing.
Proof
Since \( \mu _n\ge 1 \) and \( s_{n}(\mu _{n})=1 \) for every \( n\ge 1 \), we have
Since
we get
Hence there exists \( \mu _{n}'> \mu _{n} \) such that \( s_{n+1}(\mu _{n}') < s_{n+1}(\mu _{n}) \le 1 \). Following Lemma 20, we deduce \( \mu _{n}' < \mu _{n+1} \), and then \( \mu _{n} < \mu _{n+1} \). Thus \( \{\mu _n\}_{n=1}^{\infty } \) is increasing. \(\square \)
Lemma 22
For every positive integer n , the function \( f_{\mu _n} \) has superattracting periodic points of norder.
Proof
Clearly, \( f_{\mu _1} \) has the superattracting fixed point \( 1 \). Since \( \mu _2>1 \), we have
This implies that \( s_1(\mu _2), s_2(\mu _2) \) are superattracting periodic points of 2order of \( f_{\mu _2} \).
Let \( n\ge 3 \) and \( k=2,3,\ldots ,n1 \). Then \( \mu _n>\mu _k>1 \) from Lemma 21. Hence by Lemma 20, we have
This implies that \( s_1(\mu _n), s_2(\mu _n), \cdots , s_{n}(\mu _n) \) are superattracting periodic points of norder of \( f_{\mu _n} \). \(\square \)
From Lemma 22, we immediately get the following Theorem.
Theorem 23
For every positive integer n , \( \mu _n\in {B_n} \).
The Proof of Theorem 5
Let \(\hat{B}_n\) be the set of real parameters \(\mu \) such that \( f_{\mu } \) has a periodic point of norder, whose multiplier is less than 1. It follows from the implicit function theorem that the set \( \hat{B}_{n} \) is an open set for every positive integer n.
Theorem 24
Suppose that p is a prime number, (a, b) is a component of \( \hat{B}_p \). Then \( f_a \) has parabolic periodic points of porder. Furthermore, \( a\in \partial {B_p} \).
Proof
From Theorem 13, we know that if \( \mu \le 2 \), then \( f_\mu \) has no periodic points of porder. Hence we have \( a\ge 2 \). Choose a decreasing sequence \( \{a_n\}_{n=1}^{\infty }\subset (a,b) \) such that \( \lim _{n\rightarrow \infty }a_n=a \), and choose a periodic point \( x_n \) of porder of \( f_{a_n} \) with multiplier \( \lambda _n<1 \). From Claim 2 in “Dynamics of f _{ μ }(x) for μ ≤ 2 and the Proof of Theorem 3” section, we have \( x_n <0 \). Since \( s_1(\mu ) \) is the minimum value of \( f_\mu \) and \( s_1(\mu )=\exp (\mu 1) \) as a function of \(\mu \) is decreasing, we have
Thus we may suppose that \( \{x_n\}_{n=1}^{\infty } \) is a convergent sequence, otherwise we consider a subsequence of \(\{x_n\}_{n=1}^{\infty }\). Set \( x_0:=\lim _{n\rightarrow \infty }x_n \), then we have
and
Hence \( x_0 \) is a fixed point of \( f_a^p \), and its multiplier \( \lambda _0\le 1 \) from \( \lambda _n<1 \). Since p is a prime number, \( x_0 \) is either fixed point or periodic point of porder of \( f_a \).
Assume \( x_0 \) is not a periodic point of porder of \( f_a \), then \( x_0 \) is a fixed point of \( f_a \). Thus \( x_0=0 \) or \( x_0=a \). Noting \( (f_a^p)^\prime (0)=e^{pa}>1 \), we have \( x_0=a \). Define the function
We have
Hence there exists a disc D which is a neighborhood of \( (x_0,a) \) such that \( F_x^\prime (x,\mu )<0 \) for every \( (x,\mu )\in D \). Choose a positive integer m such that \( (x_m,a_m)\in D \) and \( (a_m,a_m)\in D \). Note that \( x_m\ne a_m \), and \( F(x_m,a_m)=0, F(a_m,a_m)=0 \). Then by Rolle theorem, there exists a point \( (y_0,a_m)\in D \) such that \( F_x^\prime (y_0,a_m)= 0 \). It contradicts that \( F_x^\prime (y_0,a_m)< 0 \). Hence \( x_0 \) is a periodic point of porder of \( f_a \).
Because of \( a\notin \hat{B}_p \), we infer that \( \lambda _0=1 \). Hence \( x_0 \) is a parabolic periodic point of porder of \( f_a \). Since \( \lambda _0= \lim _{n\rightarrow \infty }\lambda _n \), we infer that \( a_n\in {B_p} \) for large enough n. This implies \( a\in \partial {B_p}\). Hence, Theorem 24 is completed. \(\square \)
The proof of Theorem 5 needs Theorem 24 and the following Lemmas.
Lemma 25
(Li and York 1975, LiYork theorem) Let I be a closed interval, and \( f: I \rightarrow I \) be a continuous mapping. If f has periodic points of 3order, then f has periodic points of n order for every positive integer n.
Lemma 26
(Deng and Cai (1993)) Let \( f: {\mathbb {R}} \rightarrow {\mathbb {R}} \) be a continuously differentiable function. Suppose that f has two fixed points \( x_1, x_2 \), say \( x_1<x_2 \). If their multipliers are greater than 1, then f has another fixed point \( x_3\in (x_1,x_2)\).
Proof of Theorem 5
Proof
By assumption, the prime number \( p\ge 5 \).
Set \( I_0:=[s_1(\mu _3),0] \) and \( g: =f_{\mu _3}I_0 \). Since \( s_1(\mu _3) \) is the minimum value of \( f_{\mu _3} \), we see that g is a selfmapping of \( I_0 \). From Lemma 22, g has superattracting periodic points of 3order. According to Lemma 25, g has periodic points of porder. Since the Fatou set \( F(f_\mu ) \) has at most one cycle of periodic components, we get that all of the periodic points of porder of g are repelling. Let \( n_p \) denote the number of the cycles of periodic points of porder of g , and \( n'_p \) (resp. \( n''_p \)) denote the number of the cycles of which the multipliers are greater (resp. less) than 1. Clearly, \( 1 \le n_p <+\infty \). Since the periodic points of porder of g are repelling, we have \( n'_p + n''_p = n_p \). Since p is a prime number, every fixed point of \( g^{p} \) is either fixed point or periodic point of porder of g. Noting that g has only two fixed points 0 and \( \mu \), we get that \( g^p_\mu \) has \( pn_p + 2 \) fixed points. Assume \( n''_p=0 \), then \( g^p_\mu \) has at least \( pn_p \) fixed points, whose multipliers are greater than 1. However, by Lemma 26, we deduce that \( g^p_\mu \) has at least \( 2pn_p1 \) fixed points, and then \( pn_p + 2\ge 2pn_p1 \), which contradicts that \( pn_p\ge p \ge 5 \). Hence we obtain \( n''_p\ne 0 \), which implies \( \mu _3\in \hat{B}_{p} \).
Let (a, b) be the component of \( \hat{B}_{p} \), which contains \( \mu _3 \). Then by Theorem 24, there exists \( a_0 \) such that \( a_0<\mu _3 \) and \( a_0\in {B_p} \). From Lemma 21, \( \mu _3<\mu _p \). Since \( \mu _3\notin {B_p} \), we infer that there exist two different components of \( B_p \), one of them contains \( a_0 \), the other contains \( \mu _p \).
Thus, Theorem 5 is proved completely. \(\square \)
Conclusions
It is known that the dynamics given by the iteration of transcendental entire maps has been widely studied. In this paper, we consider the dynamics of the functions \(f_{\mu }(z)=ze^{z+\mu }\) with the real parameter, and prove that the Fatou set \(F({f_{\mu }})\) is a completely invariant attracting basin for every parameter \(\mu <0\). We say that a real parameter \(\mu \) belongs to the set \(B_n\) for a positive integer n if \(f_{\mu }\) has an attracting cycle of norder. Regarding the set \(B_n\) for \(n>1\), we show that (1) there exists \(\mu _*\ne +\infty \) such that \(B_2=(2,\mu _*)\); (2) for every positive integer \(n>2\), the set \(B_n\) is nonempty; (3) for every prime number \(p>3\), the set \(B_p\) has at least two components.
References
Baker IN (1970) Limit functions and sets of nonnormality in iteration theory. Ann Acad Sci Fenn Ser A I Math 467:1–11
Deng XC, Cai KJ (1993) Dynamics of the mapping \(z \mapsto \exp (az+bz^2)(a, b\in \mathbb{R})\) (I) exploding domains. Acta Math Sin 36(1):31–44
Eremenko AE, Lyubich MY (1992) Dynamical properties of some classes of entire functions. Ann Inst Fourier Grenoble 42(4):989–1020
Fagella N (1995) Limiting dynamics for the complex standard family. Int J Bifurc Chaos Appl Sci Eng 5:673–699
Jang CM (1992) Julia set of the function \(z\exp (z+\mu )\). Tohoku Math J 44:271–277
Kuroda T, Jang CM (1997) Julia set of the function \(z\exp (z+\mu )\) II. Tohoku Math J 49:577–584
Li TY, York JA (1975) Period three implies chaos. Am Math Mon 82(10):985–992
Morosawa S (1998) Note on the iteration of \(f_{\mu }(z)=z\exp (z+\mu )\). Sci Bull Josai Univ Spec Issue 4:11–16
Authors’ contributions
The main idea of this paper was proposed by XCD, FNM, JML and WJY, prepared the manuscript initially and performed all the steps of the proofs in this research. All authors read and approved the final manuscript.
Acknowledgements
The authors would like to express their hearty thanks to Professor Liao Liangwen for his helpful discussions and suggestions, and Professor Valeria Olivo for her useful and valuable advices.
This work was supported by the Visiting Scholar Program of Chern Institute of Mathematics at Nankai University when the authors worked as visiting scholars. The fourth author would like to express their hearty thanks to Chern Institute of Mathematics provided very comfortable research environments to him. This work is supported by the NSF of China (11271090, 41172295), the Foundation for Young Talents in Educational Commission of Guangdong Province (2015KQNCX116), the NSF of Guangdong Province (2016A030310257, 2015A030313346, S2012010010121).
Competing interests
The authors declare that they have no competing interests.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Deng, X., Meng, F., Lin, J. et al. Dynamics of the functions \( f_\mu (z)=z\exp (z+\mu ) \) with the real parameter. SpringerPlus 5, 850 (2016). https://doi.org/10.1186/s4006401624112
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s4006401624112
Keywords
 Julia set
 Fatou set
 Periodic point
 Critical value
Mathematics Subject Classification
 Primary 37F10
 Secondary 30D05