Abstract
We list different examples of analytic dependence on some parameters of Julia type sets or attractors of (generated) iterated function systems.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
By multifunctions we mean in this paper only functions whose values are non-empty compact sets. Oka [16] was the first to venture beyond the classical theory of multivalued analytic functions such as branching of analytic functions and Riemann surfaces. He started from the famous Hartogs theorem which can be expressed in the following way: if \(f:G\longrightarrow \mathbb{C }\) is a continuous function defined on a domain \(G\subset \mathbb{C }\), then \(f\) is holomorphic if and only if \((G\times \mathbb{C }){\setminus } \mathrm{graph}(f)\) is pseudoconvex (see [15, p. 132]). The idea of Oka was to take a mapping defined in a domain \(G\) in \(\mathbb{C }\) with values being compact subsets of \(\mathbb{C }\) and define its graph so that it is a subset of \(\mathbb{C }^2\) and then say that this mapping is analytic if the complement of the graph to \(G\times \mathbb{C }\) is pseudoconvex. The idea was nearly forgotten for a long time and then sprang to attention in papers of different researchers starting from around 1980, when other definitions were given and compared. The first crucial application of analytic multifunctions was in uniform algebras – Słodkowski used them to solve the so-called Pełczyński conjecture for \(C^\star \)-algebras [19]. Then other applications followed, e.g. in the interpolation of Banach spaces. For a more detailed history, a very good introduction to the subject and applications see [2].
Let us give an idea behind the notion. If we have an analytic multifunction \(\lambda \mapsto K(\lambda )\) and we know some properties of a set \(K(\lambda _0)\), we may see the sets \(K(\lambda )\) for \(\lambda \) close to \(\lambda _0\) as an analytic perturbation of the set \(K(\lambda _0)\) and we may ask whether the properties of the sets were preserved or if not how they were changed.
The word “dynamical” in the title of the paper refers to complex dynamics. From its point of view, the type of dependence of the special sets (namely Julia sets, limit sets, attractors) on the parameters involved in their construction is of interest. Analytic multifunction provide natural tools allowing description of this dependence.
Let us finally also note that some special Julia type sets can be obtained when we iterate multifunctions (see [9]), but we will not present this approach here.
2 What is an analytic multifunction?
Let \(X\) and \(Y\) be Hausdorff topological spaces and denote by \(\kappa (Y)\) the family of all non-empty compact subsets of \(Y\). Any mapping \(K: X\longrightarrow \kappa (Y)\) is called a multifunction. By its graph we mean
We say that the multifunction \(K\) is upper semicontinuous if for each open subset \(U\) of \(Y\) the set \( \{x\in X:\; K(x)\subset U\}\) is open in \(X\). If \((X,d)\) is a metric space and \(Y\) is compact, given a multifunction \(K: X\longrightarrow \kappa (Y)\) we define its upper semicontinuous regularization \(K^\star \) by
where \(B(x,r):=\{t\in X:\; d(t,x)<r\}\) (see [3]). It is the smallest upper semicontinuous multifunction that contains \(K\).
We list now four definitions of analytic multifunctions.
Definition 2.1
[19] Let \(\Omega \) be an open subset of a complex Banach space \(E\). An upper semicontinuous multifunction \(K: \Omega \longrightarrow \kappa (\mathbb{C }^{N})\) is (weakly) analytic if for every \(a\in \Omega \) and for every plurisubharmonic function \(u\) in a neighbourhood of \(\{a\}\times K(a)\) the function \(z\mapsto \sup u(\{z\}\times K(z))\) is plurisubharmonic.
This definition deals with plurisubharmonic functions therefore the following standard example is natural here.
Example 2.2
[17] (c.f. also [10]) Let \(\Omega \) be an open subset of a complex Banach space \(E\) and let \(u:\Omega \rightarrow [-\infty , \infty )\) be a function. Consider the mapping \(D:\Omega \longrightarrow \kappa (\mathbb{C })\) defined by the formula \(D(z):= \{\zeta \in \mathbb{C }: |\zeta |\le \exp (u(z))\}\). Then \(D\) is (weakly) analytic if and only if \(u\) is plurisubharmonic.
Definition 2.1 was given by Słodkowski [19] who then went to make another stronger definition of analytic dependence for multifunctions.
Definition 2.3
[20] We say that a subset \(S\) of a complex Banach space \(E\) has the local maximum property if there is no holomorphic function \(f:W\longrightarrow \mathbb C \) (where \(W\subset E\) is open) such that \(|f|\) restricted to \(W\cap S\) has a strict local maximum.
Let \(\Omega \) be an open subset of a complex Banach space \(E\). An upper semicontinuous multifunction \(K:\Omega \longrightarrow \kappa (\mathbb{C }^{N})\) is said to be strongly analytic if for any \((N+1)\)-dimensional complex affine subspace \(L\) of \(E\times \mathbb{C }^{N}\) the set \(L\cap \mathrm graph (K)\) has the local maximum property.
Before we give an example, we need some notations. Let \(d\ge 2\), \(N\ge 1\) and put \(\mathcal{P }_d:=\{P:\mathbb{C }^{N}\rightarrow \mathbb{C }^{N}\,|\, P\) is a polynomial mapping and deg\(P\le d\}\). This can be viewed as a complex Banach space (of finite dimension). Denote by \(\tilde{P}\) the homogeneous part of \(P\) of degree \(d\). Put
This set is open in \( \mathcal{P }_d\) (see also the discussion of it in Sect. 5).
Example 2.4
[10, Remark 2] Let \(\zeta \in \mathbb{C }^{N}\). Then \(Z_\zeta : \Omega \ni P\mapsto P^{-1}(\zeta )\) is strongly analytic.
In particular, it may be deduced from Example 2.4 that algebroid multifunctions, i.e. multifunctions of the form
(where \(U\) is an open set in \(\mathbb{C }^{N}\) and \(a_j:U\rightarrow \mathbb{C }\) are holomorphic) are strongly analytic. For a proof of this implication one needs a composition theorem.
If \(E=\mathbb{C }\), the notions of strong and weak analyticity are identical (see [19, 21]). If the dimension of the space is higher than 1, the strong analyticity implies the weak one but not vice versa, which is shown by the following example.
Example 2.5
[21] The multifunction
is weakly analytic but is not strongly analytic.
Let us go to a more special case yet.
Definition 2.6
A multifunction is trivially analytic if its graph is the union of the graphs of a family of holomorphic functions.
Each trivially analytic multifunction is strongly analytic. The significance of such set-valued mappings is shown in Słodkowski’s theorem stating that any strongly analytic multifunction can be approximated by a decreasing sequence of locally trivially analytic multifunctions [22].
Let us define another notion, which has been intensively studied since [13].
Definition 2.7
(see c.f. [1] or [4]) Let \(A\) be a subset of \(\overline{\mathbb{C }}, \Lambda \) an open subset of \(\mathbb{C }\) and \(\lambda _0\in \Lambda \). A holomorphic motion of \(A\) (parametrized by \(\Lambda \) and \(\lambda _0\)) is a map \(\Phi : \Lambda \times A\longrightarrow \overline{\mathbb{C }}\) such that
-
(i)
\(\forall a\in A:\;\) the map \( \Phi (\cdot , a): \Lambda \ni \lambda \mapsto \Phi (\lambda ,a)\in \overline{\mathbb{C }}\) is holomorphic;
-
(ii)
\(\forall \lambda \in \Lambda :\;\) the map \(\Phi _\lambda :=\Phi (\lambda ,\cdot ): A\ni a\mapsto \Phi (\lambda , a)\in \overline{\mathbb{C }}\) is injective;
-
(iii)
the map \(\Phi _{\lambda _0}\) is the identity on \(A\).
It is noteworthy that every motion defined above extends to a holomorphic motion of \(\Lambda \times \overline{A}\) (see [1, 23]). Therefore we can restrict our attention to holomorphic motions of compact sets.
It follows directly from Definitions 2.7 and 2.6 that if \(\Phi \) is a holomorphic motion of a compact set \(A\subset \mathbb{C }\) and with values in \(\mathbb{C }\), then
is a trivially analytic multifunction: thus analytic multifunctions can be viewed as generalizations of such holomorphic motions.
Now we turn to quite another type of definition. It was motivated by holomorphic motions on the one hand and by some elementary properties of analytic multifunctions on the other. Namely, we consider now a concept of analyticity of functions defined on open subsets of \(\overline{\mathbb{C }}\) and with compact values included in \(\overline{\mathbb{C }}\). Before we can do this, however, we must first make another definition, that of a multigauge.
Definition 2.8
[18] Let \(X\) and \(Y\) be Hausdorff topological spaces, \(K:X\longrightarrow \kappa (Y)\) be an upper semicontinuous multifunction and \(\mathcal{M }\) and \(\mathcal{L }\) be families of upper semicontinuous multifunctions. We write
-
(i)
\(K\in \mathcal{M }^\downarrow \) if there exists a decreasing sequence \((K_n)\) in \(\mathcal{M }\) such that \(\forall x\in X:\ K(x)=\bigcap _n K_n(x)\);
-
(ii)
\(K\in \mathcal{M }^\uparrow \) if \(\forall x_0\in X\; \forall y_0 \in \partial K(x_0)\; \exists U_0 \) a neighbourhood of \(x_0\) and \(L\in \mathcal{M }\) such that \(L(x)\subset K(x), x\in U_0\) and \(y_0\in L(x_0)\).
The family \(\mathcal{M }\) is called a multigauge if \(\mathcal{M }^\downarrow =\mathcal{M }\) and \(\mathcal{M }^\uparrow =\mathcal{M }\).
The multigauge generated by \(\mathcal{L }\) is the smallest multigauge containing \(\mathcal{L }\) (i.e. the intersection of all multigauges containing \(\mathcal{L }\)).
Now we can define an analytic multifunction.
Definition 2.9
[18] Let \(\Omega \) be an open subset of \(\overline{\mathbb{C }}\). Put
(we can take above also \(q\equiv \infty \)). Let \(\mathcal{A }(\Omega )\) be the multigauge generated by \(\mathcal{R }(\Omega )\). We say that a multifunction \(K:\Omega \longrightarrow \kappa (\overline{\mathbb{C }})\) is analytic in \(\Omega \) if \(K\in \mathcal{A }(\Omega )\).
Ransford proposed this definition in [18] and exhibited many properties of the obtained family. This approach allowed him to tackle the Julia sets of rational and entire functions, which are not compact in \(\mathbb{C }\). Previously, for this special case, meromorphic multifunctions were defined in [3], but in [18] they are viewed as analytic functions with compact values in \(\kappa (\overline{\mathbb{C }})\). As should be expected, Ransford showed also that for upper semicontinuous multifunctions \(K: \Omega \longrightarrow \kappa (\mathbb{C })\) with \(\Omega \subset \mathbb{C }\) the notions of analyticity from Definitions 2.1 and 2.9 are identical.
3 Julia sets
Let \(R\) be a non-constant rational function of degree at least 2. The Fatou set of \(R\) is the maximal open subset of \(\overline{\mathbb{C }}\) on which the family of iterates \(\{R^n: n\in \mathbb{N }\}\) is equicontinuous. The Julia set of \(R\), denoted by \(J(R)\), is the complement of the Fatou set in \(\overline{\mathbb{C }}\) (see [5]). Note that the Julia set is always compact in \(\overline{\mathbb{C }}\), it is also non-empty.
We want to underline a special case: if \(R=p\) is a polynomial of degree \(d\ge 2\), then the filled-in Julia set of \(p\) is the set
Then \(J(p)=\partial K[p]\) and on the other hand \(K[p]\) is the polynomially convex hull of \(J(p)\). Both sets \(J(p)\) and \(K[p]\) are compact in \(\mathbb{C }\).
And now let us discuss a variant of these definitions. The Fatou set of a non-constant entire function \(f\) is the maximal open subset of \(\mathbb{C }\) (sic!) on which the family of iterates \(\{f^n: n\in \mathbb{N }\}\) is equicontinuous. The Julia set \(J(f)\) is then defined as the complement of the Fatou set relative to \(\mathbb{C }\). It is closed, but in general not bounded. Let \(\overline{J(f)}\) denote its closure in \(\overline{\mathbb{C }}\).
We start with an example of a holomorphic motion: the very first one given by Mañé, Sad and Sullivan.
Theorem 3.1
[13] Let \(\Lambda \) be a domain in \(\mathbb{C }\) and let \(\{R_\lambda \}\) be a family of rational functions \(R_\lambda : \overline{\mathbb{C }}\longrightarrow \overline{\mathbb{C }}\) depending analytically on the parameter \(\lambda \in \Lambda \). Then there exists an open dense subset \(\Lambda ^{\prime }\) of \(\Lambda \) such that for every \(\lambda _0\in \Lambda ^{\prime }\) there exists a neighbourhood \(\Lambda _0\) and a holomorphic motion \(h: \Lambda _0\times J(R_{\lambda _0})\longrightarrow \overline{\mathbb{C }}\) such that \(\forall \lambda \in \Lambda _0: h_\lambda (J(R_{\lambda _0}))=J(R_{\lambda })\).
In the assertion of this theorem there appears the dense open subset \(\lambda \) of the parameter domain \(\Lambda \), which usually is different from the whole set. Baribeau and Ransford addressed this inconvenience and proved
Theorem 3.2
[3] (c.f. also [18]) Let \(\Lambda \) be a domain in \(\mathbb{C }\).
-
(1)
Let \(\{R_\lambda \}\) be a family of rational maps of degree at least \(2\) depending analytically on the parameter \(\lambda \). Then
$$\begin{aligned} J^\star :\Lambda \ni \lambda \mapsto J(R_\lambda )^\star \in \kappa (\overline{\mathbb{C }}) \end{aligned}$$is analytic.
-
(2)
Let \(\{f_\lambda \}\) be a family of non-constant entire functions depending analytically on the parameter \(\lambda \). Then
$$\begin{aligned} \overline{J}{}^\star :\Lambda \ni \lambda \mapsto \overline{J(f_\lambda )}{}^{\star }\in \kappa (\overline{\mathbb{C }}) \end{aligned}$$is analytic.
Let us note a consequence.
Corollary 3.3
Let \(\Lambda \) be a domain in \(\mathbb{C }\). If \(\{p_\lambda \}\) is a family of polynomials of degree at least \(2\) depending analytically on the parameter \(\lambda \), then
is analytic.
Let us now move to higher dimensions. Our attention will be restricted here only to polynomial mappings. Recall the notation of \(\mathcal{P }_d\) and its open subset \(\Omega \) which we used in the previous section (just before Example 2.4). For \(P\in \Omega \) we can define the filled-in Julia set \(K[P]\) for a polynomial mapping \(P\) in the same way as it was done for the polynomials on the complex plane. Then \(K[P]\) is a non-empty polynomially convex compact subset of \(\mathbb{C }^{N}\).
Now we can state a generalization and in the same time a strengthening of Corollary 3.3.
Theorem 3.4
[10] The multifunction
is strongly analytic.
4 Attractors of IFSs
Recall the definition of an iterated function system (IFS for short). It is a finite family of contracting mappings on a complete metric space (see [8]).
This section is based on [4], where a special form of IFSs will be considered. The definition of an IFS is generalized: the family is allowed to be countable. On the other hand, we restrict our attention to the complex plane. Our setting is therefore as follows.
Let \(S=\{f_\iota \}_{\iota \in I}\) be a finite or countable family of contractions of \(\mathbb{C }\) with contraction ratios \(\{c_\iota \}\) satisfying
The limit set of the IFS (for definition see [4]) may fail to be compact if \(I\) is infinite. But its closure is always compact. Since the object of study of this paper are compact-valued functions we will speak here only about the closure of the limit set, which we may define (c.f. [4, Lemma 1]) as the unique fixed point of the map
(here \(\kappa (\mathbb{C })\) is equipped with the Hausdorff metric) and which we denote by \(A(S)\) and call the attractor of the IFS \(S\). We say (see [8]) that \(S\) satisfies the open set condition (OSC for short) if there exists a non-empty open set \(U\) such that
We say (see [4]) that \(S\) satisfies the closed open set condition (COSC) if there exists a non-empty open set \(U\) such that
We are ready to state the results. The situation is easier if we assume COSC.
Theorem 4.1
[4] Let \(\Lambda \) be an open subset of \(\mathbb{C }\) and let \(\{S_\lambda \}\) be a family of IFSs satisfying COSC and depending analytically on the parameter \(\lambda \in \Lambda \). Then for every \(\lambda _0\) there exists a holomorphic motion \(\Phi :\Lambda \times A(S_{\lambda _0})\longrightarrow \mathbb{C }\) such that \(\Phi _\lambda (A(S_{\lambda _0})) =A(S_\lambda )\), \(\lambda \in \Lambda \).
The next result holds under the weaker assumption of OSC.
Theorem 4.2
[4] Let \(\Lambda \) be an open subset of \(\mathbb{C }\) and \(\{S_\lambda \}\) be a family of IFSs of injective contractions satisfying OSC where \(S_\lambda \) is of the form \(S_\lambda =\{f_{\iota , \lambda }\}\). For each \(\lambda \in \Lambda \) let \(U(\lambda )\) be the set for \(S_\lambda \) which arises from OSC. We assume that all of the functions \((\lambda , z)\mapsto f_{\iota ,\lambda }(z)\) are holomorphic in two variables and that there exists a holomorphic function \(g:\Lambda \longrightarrow \mathbb{C }\) such that \(g(\lambda _0)\in U(\lambda _0){\setminus } A(S_{\lambda _0})\) for some \(\lambda _0\) and \(g(\lambda )\in U(\lambda )\), \(\lambda \in \Lambda \). Then there exists a neighbourhood \(\Lambda _0\subset \Lambda \) of \(\lambda _0\) and a holomorphic motion \(\Phi :\Lambda _0\times A(S_{\lambda _0})\longrightarrow \mathbb{C }\) such that \(\Phi _\lambda (A(S_{\lambda _0}))=A(S_{\lambda })\), \(\lambda \in \Lambda _0\).
Let us recall that the originals of these theorems from [4] deal also with the limit set but we omit here this aspect.
The final result of this section does not require COSC nor OSC and does not deal with the limit set in the original version.
Theorem 4.3
[4] Let \(\Lambda \) be an open subset of \(\mathbb{C }\) and \(\{S_\lambda \}\) be a family of IFSs where \(S_\lambda \) is of the form \(S_\lambda =\{f_{\iota , \lambda }\}\). We assume that all of the functions \((\lambda , z)\mapsto f_{\iota ,\lambda }(z)\) are holomorphic in two variables. Then the multifunction
is analytic.
5 Some generalizations
We list here only three generalizations of the results from the previous two sections, namely of the theorems concerning analytic multifunctions. For some generalizations of those dealing with holomorphic motions see e.g. [6, 7, 14].
The first part of this section deals with Julia type sets and is based on [11]. Let \(d\ge 2\) and \(N\ge 1\). Fix any norm \(||\cdot ||\) on \(\mathcal{P }_d\) and put
It is easy to check that \(\lfloor P\rfloor >0 \iff \tilde{P}^{-1}(\{0\})= \{0\}\). We can rewrite therefore
Take a sequence \((P_n)\) of polynomial mappings lying in \(\Omega \). It appears that the natural generalization of the filled-in Julia set of a polynomial mapping is given by
which is non-empty, polynomially convex and compact. We call this set the filled-in Julia set of the sequence \((P_n)\).
Take now a function \(\varrho : \mathbb{N }\rightarrow \mathbb{N }\) and define the set
Consider
and for \(P\in E_\varrho \), define
Then \((E_\varrho , \Vert \cdot \Vert )\) is a complex Banach space. We are interested in the open set
Note that if \(\varrho =\mathbf 1 \equiv 1\), then \(E_\mathbf 1 \) is a space of sequences (of polynomial mappings). We may state the first generalization of Theorem 3.4
Theorem 5.1
[11] The multifunction
is strongly analytic.
Put \(\Sigma _\varrho := \{\sigma :\mathbb N \longrightarrow \mathbb N \ | \ \sigma \le \varrho \}\). For \(P=[P_{n,j}]\in \Omega _\varrho \) and \(\sigma \in \Sigma _\varrho \) take the sequence \((P_{1,\sigma (1)},P_{2,\sigma (2)},\ldots )=(P_{n,\sigma (n)}) \in \Omega _\mathbf 1 , \) We define
This set is compact and non-empty, but in general not polynomially convex. Therefore we call it the partly filled-in composite Julia set generated by \(P\). Its polynomially convex hull is denoted by \(K[P]\) and called the composite (filled-in) Julia set associated with \(P\). Both sets can be viewed as generalizations of the filled-in Julia sets for polynomial mappings.
Theorem 5.2
[11] Let \(\varrho : \mathbb{N }\rightarrow \mathbb{N }\) be a function. Then the multifunction
is strongly analytic and the multifunction
is (weakly) analytic.
It could also be the case that this last multifunction is in fact strongly analytic too, but this is not known.
The last part of this article is about a generalization of IFSs and is based on [12]. Let \(\mathcal L (\mathbb{C }^{N})\) denote the space of all bounded linear operators on \(\mathbb{C }^{N}\), furnished with the usual operator norm \(\Vert \cdot \Vert \). Let \(\mathcal F (\mathbb{C }^{N})\) be the space of all continuous affine operators on \(\mathbb{C }^{N}\). Every operator \(T:\mathbb{C }^{N}\longrightarrow \mathbb{C }^{N}\) in \(\mathcal F (\mathbb{C }^{N})\) has the natural decomposition \(T=\tilde{T}+T(0)\) with \(\tilde{T}\in \mathcal L (\mathbb{C }^{N})\). Hence \(\mathcal F (\mathbb{C }^{N})=\mathcal L (\mathbb{C }^{N})\oplus \mathbb{C }^{N}\) and the natural norm in \(\mathcal F (\mathbb{C }^{N})\) is given by the formula \(\Vert T\Vert =\Vert \tilde{T}\Vert +|T(0)|\).
Take now a function \(\varrho : \mathbb{N }\rightarrow \mathbb{N }\). In a similar way as before we put
and for \(T\in E_\varrho \), define
It can be shown that \((E_\varrho , \Vert \cdot \Vert )\) is a complex Banach space. For \(T\in E_\varrho \) we put \(\tilde{T}:=[\tilde{T}_{n,j}]\). We are interested in the open set
Note again that \(E_\mathbf 1 \) is a space of sequences (of affine operators). Fix a sequence \((T_n)\in \Omega _\mathbf 1 \). Then for each \(n\) the mapping \(T_1\circ \cdots \circ T_n\) is a contraction in \(\mathbb{C }^{N}\) and hence by the Banach contraction principle it has the unique fixed point \(b[T_1\circ \cdots \circ T_n]\in \mathbb{C }^{N}\). It can be shown that the limit
exists. Now for \(\sigma \in \Sigma _\varrho \) and \(T\in \Omega _\varrho \), in a similar way as before, we consider the sequence \((T_{n,\sigma (n)})\in \Omega _\mathbf 1 \). We define finally for \(T\in \Omega _\varrho \) the set
This set is compact and can be viewed as a generalization of some attractors defined in the previous section. Hence we call it the attractor of \(T\). We are ready to state the last theorem of this article.
Theorem 5.3
[12] Fix a function \(\varrho : \mathbb{N }\rightarrow \mathbb{N }\). Then the multifunction
is trivially analytic.
References
Astala, K., Martin, G.J.: Holomorphic motions. In: Heinonen, J., Kilpelinen, T., Koskela, P. (eds.) Papers on Analysis, pp. 27–40. Rep. Univ. Jyväskylä Dep. Math. Stat. 83, Univ. Jyväskylä, Jyväskylä (2001)
Aupetit, B.: Analytic multifunctions and their applications. In: Gauthier, P.M., Sabidussi, G. (eds.) Complex potential theory (Montreal, PQ, 1993), pp. 1–74. NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. vol. 439. Kluwer Acad. Publ., Dordrecht (1994)
Baribeau, L., Ransford, T.: Meromorphic multifunctions in complex dynamics. Ergodic Theory Dyn. Syst. 12, 39–52 (1992)
Baribeau, L., Roy, M.: Analytic multifunctions, holomorphic motions and Hausdorff dimension in IFSs. Monatsh. Math. 147, 199–217 (2006)
Beardon, A.F.: Iteration of rational functions. In: Graduate Texts in Mathematics. vol. 132. Springer, New York (1991)
Buzzard, G.T., Verma, K.: Hyperbolic automorphisms and holomorphic motions in \({\mathbb{C}}^2\). Michigan Math. J. 49, 541–565 (2001)
Comerford, M.: Holomorphic motions of hyperbolic nonautonomous Julia sets. Complex Var. Elliptic Equ. 53, 1–22 (2008)
Hutchinson, J.E.: Fractals and self-similarity. Indiana Univ. Math. J. 30, 713–747 (1981)
Klimek, M.: Iteration of analytic multifunctions. Nagoya Math. J. 162, 19–40 (2001)
Klimek, M.: On perturbations of pluriregular sets generated by sequences of polynomial maps. Ann. Polon. Math. 80, 171–184 (2003)
Klimek, M., Kosek, M.: Strong analyticity of partly filled-in composite Julia sets. Set-Valued Anal. 14, 55–68 (2006)
Klimek, M., Kosek, M.: Generalized iterated function systems, multifunctions and Cantor sets. Ann. Polon. Math. 96, 25–41 (2009)
Mañé, R., Sad, P., Sullivan, D.: On the dynamics of rational maps. Ann. Sci. École Norm. Sup. 16(4), 193–217 (1983)
Mummert, P.P.: The solenoid and holomorphic motions for Hénon maps. Indiana Univ. Math. J. 56, 2739–2761 (2007)
Nishino, T.: Function theory in several complex variables. Translations of Mathematical Monographs, vol. 193. American Mathematical Society, Providence (2001)
Oka, K.: Note sur les familles des fonctions analytiques multiformes etc. J. Sci. Hiroshima Univ. 4, 93–98 (1934)
Ransford, T.: Analytic multivalued functions. Essay presented to the Trinity College Research Fellowship Competition, Cambridge Uviv (1983)
Ransford, T.: A new approach to analytic multifunctions. Set-Valued Anal. 7, 159–194 (1999)
Słodkowski, Z.: Analytic set-valued functions and spectra. Math. Ann. 256, 363–386 (1981)
Słodkowski, Z.: Analytic multifunctions, q-plurisubharmonic functions and uniform algebras. In. Greenleaf, F., Gulick, D. (eds) Proc. Conf. Banach Algebras and Several Complex Variables, pp. 243–258. Contemp. Math., vol. 32. Amer. Math. Soc., Providence (1984)
Słodkowski, Z.: An analytic set-valued selection and its applications to the corona theorem, to polynomial hulls and joint spectra. Trans. Am. Math. Soc. 294, 367–377 (1986)
Słodkowski, Z.: Approximation of analytic multifunctions. Proc. Am. Math. Soc. 105, 387–396 (1989)
Słodkowski, Z.: Holomorphic motions and polynomial hulls. Proc. Am. Math. Soc. 111, 347–355 (1991)
Acknowledgments
I would like to thank the referees for their valuable suggestions.
Open Access
This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Kosek, M. Dynamical analytic multifunctions. RACSAM 108, 465–473 (2014). https://doi.org/10.1007/s13398-013-0118-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13398-013-0118-6
Keywords
- Complex dynamics
- Julia sets
- Polynomial mappings
- Rational mappings
- Iterated functions systems
- Analytic multifunctions
- Holomorphic motions