Research Article | Open Access

Cunji Yang, Shaoming Wang, "Bounded Fatou Components of Composite Transcendental Entire Functions with Gaps", *Discrete Dynamics in Nature and Society*, vol. 2015, Article ID 149182, 6 pages, 2015. https://doi.org/10.1155/2015/149182

# Bounded Fatou Components of Composite Transcendental Entire Functions with Gaps

**Academic Editor:**Chin-Chia Wu

#### Abstract

We prove that composite transcendental entire functions with certain gaps have no unbounded Fatou component.

#### 1. Introduction

Let be a transcendental entire function. We write , and for for the th iterate of . The Fatou set or set of normality of consists of all in the complex plane which has a neighborhood such that the family is a normal family. The Julia set of is . For the fundamental results in the iteration theory of rational and entire functions, we refer to the original papers of Fatou [1–3], and Julia [4] and the books of Beardon [5], Carleson and Gamelin [6], Milnor [7], and Ren [8].

Let be a connected component of . Then , where is a component of . If there is a smallest positive integer such that , then is periodic of period . In particular, if , then is called invariant. If for some integer , is periodic, while is not periodic then is called preperiodic. If is periodic and then is called a Baker domain. If all the are disjoint, that is, for , then is called a wandering domain. Let be a transcendental entire function. In 1981, Baker [9] proposed whether every component of is bounded if the growth of is sufficiently small. The appropriate growth condition would appear to be of order , minimal type at most. In [9], Baker observed that this condition is best possible in the following sense: for any sufficiently large positive , the function is of order , mean type, and has an unbounded component of containing a segment of the positive real axis, such that as , locally uniformly in .

It is conjectured that if the order of is less than , minimal type, then every component of is bounded. It is still open for wandering domains, although there are several remarkable results for wandering domains under the assumptions that the growth satisfies, in addition, some regular conditions; see [10–17].

Suppose that is an entire function with gaps; that is, some of the are zero, in a certain sense. Then the function has the form . We say that has Fabry gaps if as , and has Fejér gaps if .

Wang [18] proved that every component of the Fatou set of an entire function with certain gaps is bounded, by using the properties of the entire functions with such gaps. Wang [18] obtained the following result.

Theorem 1. *Let be an entire function with . If has Fabry gaps, then every component of is bounded.*

For Fejér gap, Wang [18] proposed the following problem.

Let be an entire function with Fejér gaps, that is, Is every component of bounded?

For composite of entire function, Qiao [19] proved the following result.

Theorem 2. *Let be a transcendental entire function, where are entire functions with order . Then every nonwandering component is bounded.*

Cao and Wang [20] proved the following result.

Theorem 3. *Let , where are nonconstant holomorphic maps, each having order less than 1/2. If there is a number such that the lower order of is greater than 0, then every component of is bounded.*

Singh [21] proved the following result.

Theorem 4. *Let be the set of all entire functions such that, for given , **holds for all outside a set of logarithmic density 0. Let where is the set of all transcendental entire functions such that **If , where , then every component of is bounded.*

#### 2. Preliminaries

We use the standard notations for the maximum modulus , minimum modulus , order of growth , and lower order of growth of a function ; namely, Briefly, we also denote maximum modulus and minimum modulus by and .

Let be a set in . The logarithmic measure of a set is defined by . If , denote the part of in the interval , that is, , then the upper logarithmic density of the set is defined by the lower logarithmic density of the set is defined by If the upper and lower logarithmic density are equal, their common value is called the logarithmic density of .

Lemma 5 (see [22]). *Let be a transcendental entire function. Then there exists such that, for all and all , *

Lemma 6 (see [23]). *Let be an entire function of finite order with Fabry gaps. Then for given , **holds for all r outside a set of logarithmic density 0.*

Lemma 7 (see [24]). *Let be an entire function with **for some . Then for given , **holds for all outside a set of logarithmic density 0.*

Lemma 8 (see [25]). *If satisfies the gap-condition , then for given , **holds for all outside a set of finite logarithmic measure.*

Lemma 9 (see [26]). *For an entire function with Fejér gaps and , *

Lemma 10 (see [9]). *Let be a domain and a compact subset of . Let be the family of all holomorphic functions g on which omit the values 0, 1 and satisfy the condition that on . Then there exist constants and such that , for every and every .*

Lemma 11. *Let be a transcendental entire function of finite order with Fabry gaps. Then there exist and such that, for all , there exists satisfying and .*

*Proof. *By Lemma 6, given any , we have , for all outside a set of logarithmic density 0. Let . Then there exists such that, for all , there exists such that . If not, then there exists a sequence such that , for every . Thus . Socontradicting .

Set . There exists such that . By Lemma 6, Since , there exists , where such that . This completes the proof of Lemma 11.

By Lemma 9 and the same method in the proof of Lemma 11, we can prove the following result.

Lemma 12. *Let be a transcendental entire function of finite order with Fejér gaps. Then there exist and such that, for all , there exists satisfying and .*

By Lemma 7 and the same method in the proof of Lemma 11, we can prove the following result.

Lemma 13. *Let be a transcendental entire function of finite order with **for some . Then there exist and such that, for all , there exists satisfying and .*

#### 3. Main Results

In 2012, the authors proved some results on the bounded Fatou components of transcendental entire functions with gaps; see [27]. In this paper, we investigate the iteration of the composite entire functions with gaps and obtain the following results.

Theorem 14. *Let be a transcendental entire function, where have Fabry gaps of finite order. If **then has no unbounded component.*

*Proof. *The proof follows the idea of Theorems 3 and 4. Since is a transcendental entire function of finite order with Fabry gaps, by Lemma 11, there exist and sufficiently large such that, for , there exists such that andSince is a transcendental entire function of finite order, must be a transcendental entire function. It follows that there exists a number such that for all , and there exists a number such that for all sufficiently large. In fact, if there is a sequence which tend to such that then So Which gives a contradiction if we take any .

Given , define inductively It is easy to see that, for all , Thus and as for all .

Take number sufficiently large, for , by Lemma 11, there exists such that for . By the hypotheses of Theorem 14, (19), and Lemma 11, we havefor ; andSuppose on contrary that has an unbounded component . Without loss of generality we may assume 0, 1 belong to . Hence each map omits the values 0, 1 in . It follows from the unboundedness and connectivity of that there exists such that meets the circles for all , .

We choose a value such that and note that must contain a path joining a point to a point . It is clear that contains two subsets , such that joins to and contains and joins to . We know that and so . Also and so . Hence contains an arc joining a point to a point . Similarly contains an arc joining a point to a point .

Repeating the process inductively we obtain that contains an arc joining to a point and contains an arc joining a point to a point .

Since and are two subsets of , it follows that must contain an arc joining to the point . By induction it now follows that contains an arc joining a point to the point .

Thus is a component of containing , and, on , takes a value of modulus at least and as . Thus we conclude that locally uniformly in . Hence there exists such that, for all , for all . Thus the family satisfies the conditions of Lemma 10 on , and so there exist constants , such that for all and for all . Choose with such that and ; we have for all which contradicts the fact that is a transcendental entire function and as . This completes the proof of Theorem 14.

Corollary 15 (see [27]). *Let be a transcendental entire function of finite order with Fabry gaps. If **then has no unbounded component.*

*Remark 16. *If satisfies , , then , so Corollary 15 is an extension of Theorem 1.

By Lemma 12 and the same method used in the proof of Theorem 14, we can show the following result.

Theorem 17. *Let be a transcendental entire function, where have Fejér gaps. If **then has no unbounded component.*

By Theorem 17, we have the following.

Corollary 18 (see [27]). *Let be a transcendental entire function with Fejér gaps. If **then has no unbounded component.*

*Remark 19. *Corollary 18 partly answers the problem of Wang on the Fejér gaps.

By Lemma 13 and the same method of the proof of Theorem 14, we can show Theorem 20.

Theorem 20. *Let be a transcendental entire function, where are entire functions with the gap-conditions **If **then has no unbounded component.*

By Theorem 20, we have the following.

Corollary 21. *Let be a transcendental entire function, where are entire functions with the gap-conditions for some . If **then has no unbounded component.*

#### Conflict of Interests

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

#### Acknowledgments

This work was supported by the National Natural Science Foundation of China (Grant no. 11261002), the Natural Science Foundation of Yunnan Province of China (Grant no. 2012FZ167), and the Educational Commission of Yunnan Province of China (Grant no. 2012z121).

#### References

- P. Fatou, “Sur les equations fonctionnelles,”
*Bulletin de la Société Mathématique de France*, vol. 47, pp. 161–271, 1919. View at: Google Scholar - P. Fatou, “Sur les equations fonctionnelles,”
*Bulletin de la Société Mathématique de France*, vol. 48, pp. 33–94, 1920. View at: Google Scholar | MathSciNet - P. Fatou, “Sur l'iteration des fonctions transcendents entiers,”
*Acta Mathematica*, vol. 47, no. 4, pp. 337–370, 1926. View at: Publisher Site | Google Scholar | MathSciNet - G. Julia, “Memoire sur l'iteration des fonctions rationnelles,”
*Journal de Mathématiques Pures et Appliquées*, vol. 8, pp. 47–245, 1918. View at: Google Scholar - A. F. Beardon,
*Iteration of Rational Functions*, vol. 132 of*Graduate Texts in Mathematics*, Springer, New York, NY, USA, 1991. View at: Publisher Site | MathSciNet - L. Carleson and T. W. Gamelin,
*Complex Dynamics*, Springer, New York, NY, USA, 1993. View at: MathSciNet - J. Milnor,
*Dynamics in One Complex Variable: Introductory Lectures*, Vieweg, Berlin, Germany, 2nd edition, 2000. - F. Y. Ren,
*Complex Analysis Dynamics*, Fudan University Press, Shanghai, China, 1996, (Chinese). - I. N. Baker, “The iteration of polynomials and transcendental entire functions,”
*The Australian Mathematical Society (Series A)*, vol. 30, no. 4, pp. 483–495, 1981. View at: Google Scholar | MathSciNet - J. M. Anderson and A. Hinkkanen, “Unbounded domains of normality,”
*Proceedings of the American Mathematical Society*, vol. 126, no. 11, pp. 3243–3252, 1998. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - A. Hinkkanen, “Entire functions with bounded Fatou components,” in
*Transcendental Dynamics and Complex Analysis*, pp. 187–216, Cambridge University Press, 2008. View at: Google Scholar - A. Hinkkanen, “Entire functions with no unbounded Fatou component,” in
*Complex Analysis and Dynamical Systems II*, vol. 382 of*Contemporary Mathematics*, pp. 217–226, American Mathematical Society, Providence, RI, USA, 2005. View at: Google Scholar - Y. Wang, “Bounded domains of the Fatou set of an entire function,”
*Israel Journal of Mathematics*, vol. 121, pp. 55–60, 2001. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - J. H. Zheng, “Unbounded domains of normality of entire functions of small growth,”
*Mathematical Proceedings of the Cambridge Philosophical Society*, vol. 128, no. 2, pp. 355–361, 2000. View at: Publisher Site | Google Scholar | MathSciNet - Y. Yin, D. Xu, K. Sun, and H. Li, “Some scheduling problems with general position-dependent and time-dependent learning effects,”
*Information Sciences*, vol. 179, no. 14, pp. 2416–2425, 2009. View at: Publisher Site | Google Scholar | MathSciNet - Y. Yin, M. Liu, J. Hao, and M. Zhou, “Single-machine scheduling with job-position-dependent learning and time-dependent deterioration,”
*IEEE Transactions on Systems, Man, and Cybernetics: Systems*, vol. 42, no. 1, pp. 192–200, 2012. View at: Publisher Site | Google Scholar - Y. Q. Yin, W. H. Wu, T. C. E. Cheng, and C. C. Wu, “Single-machine scheduling with time-dependent and position-dependent deteriorating jobs,”
*International Journal of Computer Integrated Manufacturing*, 2014. View at: Publisher Site | Google Scholar - Y. F. Wang, “On the Fatou set of an entire function with gaps,”
*The Tohoku Mathematical Journal*, vol. 53, no. 1, pp. 163–170, 2001. View at: Publisher Site | Google Scholar | MathSciNet - J. Y. Qiao, “Stable set for iteration of entire functions,”
*Acta Mathematica Sinica*, vol. 37, no. 5, pp. 702–708, 1994 (Chinese). View at: Google Scholar | MathSciNet - C. L. Cao and Y. F. Wang, “Boundedness of Fatou components of holomorphic maps,”
*Journal of Dynamics and Differential Equations*, vol. 16, no. 2, pp. 377–384, 2004. View at: Publisher Site | Google Scholar | MathSciNet - A. P. Singh, “Composite entire functions with no unbounded Fatou components,”
*Journal of Mathematical Analysis and Applications*, vol. 335, no. 2, pp. 907–914, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - P. J. Rippon and G. M. Stallard, “Functions of small growth with no unbounded Fatou components,”
*Journal d'Analyse Mathématique*, vol. 108, pp. 61–86, 2009. View at: Publisher Site | Google Scholar | MathSciNet - W. H. Fuchs, “Proof of a conjecture of G. Póya concerning gap series,”
*Illinois Journal of Mathematics*, vol. 7, pp. 661–667, 1963. View at: Google Scholar | MathSciNet - W. K. Hayman, “Angular value distribution of power series with gaps,”
*Proceedings of the London Mathematical Society*, vol. 24, pp. 590–624, 1972. View at: Google Scholar | MathSciNet - T. Kovari, “A gap-theorem for entire functions of infinite order,”
*The Michigan Mathematical Journal*, vol. 12, no. 2, pp. 133–140, 1965. View at: Publisher Site | Google Scholar | MathSciNet - T. Murai, “The deficiency of entire functions with Fejér gaps,”
*Annales de l'Institut Fourier*, vol. 33, no. 3, pp. 39–58, 1983. View at: Publisher Site | Google Scholar | MathSciNet - C. J. Yang and Y. H. Li, “Bounded Fatou components of transcendental entire functions with gaps,”
*Acta Mathematica Sinica*, vol. 55, no. 1, pp. 179–186, 2012 (Chinese). View at: Google Scholar | MathSciNet

#### Copyright

Copyright © 2015 Cunji Yang and Shaoming Wang. 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.