## Abstract

For maps of one complex variable, *f*, given as the sum of a degree *n* power map and a degree *d* polynomial, we provide necessary and sufficient conditions that the geometric limit as *n* approaches infinity of the set of points that remain bounded under iteration by *f* is the closed unit disk or the unit circle. We also provide a general description, for many cases, of the limiting set.

This is a preview of subscription content, log in to check access.

## References

- 1.
Alves, A.M.: Geometric limits of Julia sets and connectedness locus of the family of polynomials \(p_c (z)= z^n+ cz^k\). Dyn. Syst. 1–17 (2019)

- 2.
Beardon, A.F.: Iteration of Rational Functions. Graduate Texts in Mathematics, vol. 132. Springer, New York (1991). https://doi.org/10.1007/978-1-4612-4422-6. Complex Analytic Dynamical Systems

- 3.
Boyd, B., Boyd, S.: Dynamics explorer, at sourceforge. Retrieved from https://sourceforge.net/projects/detool/

- 4.
Boyd, S.H., Schulz, M.J.: Geometric limits of Mandelbrot and Julia sets under degree growth. Int. J. Bifurc. Chaos

**22**(12), 1250301 (2012) - 5.
Carleson, L., Gamelin, T.W.: Complex Dynamics. Springer, Berlin (2013)

- 6.
Dontchev, A.L., Rockafellar, R.T.: Implicit Functions and Solution Mappings. Springer Monographs in Mathematics, vol. 208. Springer, Berlin (2009)

- 7.
Erdos, P., Turán, P.: On the distribution of roots of polynomials. Ann. Math. 105–119 (1950)

- 8.
Griffiths, P., Harris, J.: Principles of Algebraic Geometry. Wiley, New York (2014)

- 9.
Henrikson, J.: Completeness and total boundedness of the hausdorff metric. MIT Undergrad. J. Math.

**1**, 69–80 (1999) - 10.
Hörmander, L.: The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis. Springer, Berlin (2015)

- 11.
Hughes, C.P., Nikeghbali, A.: The zeros of random polynomials cluster uniformly near the unit circle. Compos. Math.

**144**(3), 734–746 (2008) - 12.
Ibragimov, I., Zaporozhets, D.: On distribution of zeros of random polynomials in complex plane. In: Prokhorov and Contemporary Probability Theory, pp. 303–323. Springer, Berlin (2013)

- 13.
Kaschner, S.R., Romero, R., Simmons, D.: Geometric limits of julia sets of maps \(z^n+ \text{ exp }\, (2\pi i\theta )\) as \(n\rightarrow \infty\). Int. J. Bifurc. Chaos

**25**(08), 1530021 (2015) - 14.
Milnor, J.: Dynamics in One Complex Variable. Annals of Mathematics Studies, vol. 160, 3rd edn. Princeton University Press, Princeton (2006)

- 15.
Rockafellar, R.T., Wets, R.J.B.: Variational Analysis, vol. 317. Springer, Berlin (2009)

## Acknowledgements

The authors are grateful to Roland Roeder at Indiana University Purdue University Indianapolis for his very helpful advice and the Butler University Mathematics Research Camp, where this project began. We are also very grateful to the referee for their insightful and helpful suggestions. All images we created with the Dynamics Explorer [3] program.

## Author information

### Affiliations

### Corresponding author

## Additional information

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Appendix

### Appendix

### Proof of Lemma 4

Note that

Let \(Z_q\) be the zero set of *q* and *A* be the maximum of |*q*(*z*)| on \(\overline{\mathbb D}\). Let *K* be a compact subset of \({\mathbb C}\backslash (S_0\cup Z_q)\); then there is an \(\epsilon >0\) such that for any \(z\in K\), we have \(|q(z)|>\epsilon\) and either \(|z|\ge 1+\epsilon\) or \(|z|\le 1-\epsilon\).

If \(|z|\ge 1+\epsilon\), then

where \(C=\log (1+A/(1+\epsilon ))\).

If \(|z|<1-\epsilon\), then there is an *N* such that for all \(n\ge N\), we have \(z^n\le \max \{\epsilon /2,A\}\). Then

Noting that \(\log _{+}|z|=0\) when \(|z|\le 1-\epsilon\), we have for all \(|z|\le 1+\epsilon\) that

Using Eqs. (1) and (2), we have \(\frac{1}{n}\log |f_{n}(z)|\rightarrow \log _{+}|z|\) uniformly on *K* as \(n\rightarrow \infty\); by the compactness theorem for families of subharmonic functions [10][Theorem 4.1.9], it follows that \(\frac{1}{n}\log |f_{n}(z)|\rightarrow \log _{+}|z|\) in \(L^1_{loc}({\mathbb C})\). Note that \(dd^c\log _{+}|z|=\mu\), and we have from the Poincarè-Lelong formula [8] that \(\frac{1}{n}dd^c\log |f_{n}(z)|=\mu _n\). Thus, we have

weakly as \(n\rightarrow \infty\). \(\square\)

## Rights and permissions

## About this article

### Cite this article

Brame, M., Kaschner, S. Geometric limits of Julia sets for sums of power maps and polynomials.
*Complex Anal Synerg* **6, **22 (2020). https://doi.org/10.1007/s40627-020-00059-4

Received:

Accepted:

Published:

### Keywords

- Complex dynamics
- Geometric limits
- Polynomial dynamics

### Mathematics Subject Classification

- 37F10
- 37F40