- Research
- Open access
- Published:
Schwarz lemma involving the boundary fixed point
Fixed Point Theory and Applications volume 2016, Article number: 84 (2016)
Abstract
Let f be an holomorphic function which maps the unit disk into itself. In this paper, consider the zero of order k (i.e., \(f(z)-f(0)\) (or \(f(z)\)) has a zero of order k at \(z=0\)), we obtain the sharp estimates of the classical boundary Schwarz lemma involving the boundary fixed point. The results presented here would generalize the corresponding result obtained by Frolova et al. (Complex Anal. Oper. Theory 8:1129-1149, 2004).
1 Introduction and preliminaries
It is well known that the Schwarz lemma serves as a very powerful tool to study several research fields in complex analysis. For example, almost all results in the geometric function theory have the Schwarz lemma lurking in the background [2–6].
On the other hand, Schwarz lemma at the boundary is also an active topic in complex analysis, various interesting results have been obtained [7–14]. Before summarizing these results, it is necessary to give some elementary contents on the boundary fixed points [15].
Let \(\mathbb{D}\) denote the unit disk in \(\mathbb{C}\), \(H(\mathbb{D}, \mathbb{D})\) denote the class of holomorphic self-mappings of \(\mathbb {D}\), \(\mathbb{N}\) denote the set of all positive integers. The boundary point \(\xi\in\partial\mathbb{D}\) is called a fixed point of \(f\in H(\mathbb{D,\mathbb{D}})\) if
The classification of the boundary fixed points of \(f\in H(\mathbb {D,\mathbb{D}})\) can be performed via the value of the angular derivative
which belongs to \((0,\infty]\) due to the celebrated Julia-Carathédory theorem [13]. This theorem also asserts that the finite angular derivative at the boundary fixed point ξ exists if and only if the holomorphic function \(f'(z)\) has the finite angular limit \(\angle\lim_{z\rightarrow\xi}f'(z)\). For a boundary fixed point ξ of f, if
then ξ is called a regular boundary fixed point. The regular fixed points can be attractive if \(f'(\xi)\in(0,1)\), neutral if \(f'(\xi)=1\), or repulsive if \(f'(\xi)\in(1,\infty)\).
By the Julia-Carathédory theorem [13] (see also [7]) and the Wolff lemma [11], if \(f\in H(\mathbb{D,\mathbb{D}})\) with no interior fixed point, then there exists a unique regular boundary fixed point ξ such that \(f'(\xi)\in(0,1]\); and if \(f\in H(\mathbb {D,\mathbb{D}})\) with an interior fixed point, then \(f'(\xi)>1\) for any boundary fixed point \(\xi\in\partial\mathbb{D}\).
In particular, Unkelbach [16] (see also [17]) obtain the following boundary Schwarz lemma.
Theorem A
If \(f\in H(\mathbb{D}, \mathbb{D})\) has a regular boundary fixed point 1, and \(f(0)=0\), then
Moreover, equality in (1) holds if and only if f is of the form
for some constant \(a\in(-1,0]\).
Theorem A was improved 60 years later by Osserman [18] by removing the assumption \(f(0)=0\).
Theorem B
([18])
If \(f\in H(\mathbb{D}, \mathbb{D})\) with \(\xi=1\) as its regular boundary fixed point. Then
In [1], Frolova et al. proved the following theorem, which is an improvement of Theorem B.
Theorem C
([1])
If \(f\in H(\mathbb{D}, \mathbb{D})\) with \(\xi=1\) as its regular boundary fixed point. Then
Recently, Ren and Wang [15] offered an alternative and elementary proof of Theorem C and studied the extremal functions of the inequality (3). Their method of proof is quite different from that which Frolova et al. have used in [1].
In this paper, stimulated by the above-cited work (especially [15]), considering the zero of order, we obtain a version of boundary Schwarz lemma. This result is a generalization of the boundary Schwarz-Pick lemma obtained by Frolova et al. [1].
In order to prove the desired results, we first recall the classical Julia lemma [3] and the Julia-Carathéodory theorem [19].
Lemma 1
([3])
Let \(f\in H(\mathbb{D,\mathbb{D}})\) and let \(\xi\in\partial\mathbb{D}\). Suppose that there exists a sequence \({\{z_{n}\}}_{n\in\mathbb {N}}\subset\mathbb{D}\) converging to ξ as n tends to ∞, such that the limits
and
exist (finitely). Then \(\alpha>0\) and the inequality
holds throughout the open unit disk \(\mathbb{D}\) and is strict except for Möbius transformations of \(\mathbb{D}\).
Lemma 2
([19])
Let \(f\in H(\mathbb{D,\mathbb{D}})\) and let \(\xi\in\partial\mathbb{D}\). Then the following conditions are equivalent:
-
(i)
The lower limit
$$\begin{aligned} \alpha=\liminf_{z\rightarrow\xi}\frac{1-\vert f(z)\vert }{1- \vert z\vert } \end{aligned}$$(5)is finite, where the limit is taken as z approaches ξ unrestrictedly in \(\mathbb{D}\);
-
(ii)
f has a non-tangential limit, say \(f(\xi)\), at the point ξ, and the difference quotient
$$\begin{aligned} \frac{f(z)-f(\xi)}{z-\xi} \end{aligned}$$has a non-tangential limit, say \(f(\xi)\), at the point ξ;
-
(iii)
the derivative \(f'\) has a non-tangential limit, say \(f'(\xi)\), at the point ξ. Moreover, under the above conditions we have:
-
(a)
α in (i);
-
(b)
the derivatives \(f'(\xi)\) in (ii) and (iii) are the same;
-
(c)
\(f'(\xi)=\alpha\overline{\xi}f(\xi)\);
-
(d)
the quotient \(\frac{1-\vert f(z)\vert }{1- \vert z\vert }\) has the non-tangential limit α, at the point ξ.
-
(a)
Lemma 3
([17], p.35)
Let \(\varphi\in H(\mathbb{D}, \mathbb{D})\), and \(\varphi(z)=\sum_{n=0}^{\infty}b_{n} z^{\nu}\). Then
2 Main results and their proofs
We now state and prove each of our main results given by Theorems 1 and 2 below.
Theorem 1
Let \(f\in H(\mathbb{D},\mathbb{D})\) with \(\xi=1\) as its regular boundary fixed point and suppose \(f(0)=f'(0)=\cdots=f^{(k-1)}(0)=0, a_{k}=\frac{f^{(k)}(0)}{k!}\neq0, k\in\mathbb{N}\), we can obtain:
-
(I)
if \(0<\vert a_{k}\vert <1\), then
$$\begin{aligned} f'(1) \geq k+ \frac{\vert 1- a_{k} \vert ^{2}}{1- \vert a_{k} \vert ^{2}}\frac{2}{1+ \operatorname{\Re e}\frac{1-\overline{a_{k}}}{1-a_{k}}\frac{a_{k+1}}{1- \vert a_{k}\vert ^{2}}}, \end{aligned}$$(6)where \(a_{k+1}=\frac{f^{(k+1)}(0)}{(k+1)!}\). Equality holds in the inequality if and only if f is of the form
$$\begin{aligned} f(z)=z^{k}\frac{a_{k}-z\frac{z-a}{1-az}\frac{a_{k}-1}{1-\overline {a_{k}}}}{1-z\frac{z-a}{1-az}\frac{a_{k}-1}{1-\overline{a_{k}}}\overline{a_{k}} },\quad \forall z\in \mathbb{D}, \end{aligned}$$(7)for some constant \(a\in[-1,1)\).
-
(II)
If \(\vert a_{k}\vert =1\), then \(f(z)=z^{k}\).
Proof
In view of Lemma 3, we consider the following two cases.
Case I If \(0< \vert a_{k} \vert <1\), let
It is elementary to see that \(g\in H(\mathbb{D,D})\), and \(\xi=1\) is its regular boundary fixed point. A straightforward computation shows that
and
which is no larger than 1 in modulus. Applying Lemmas 1 and 2 to the holomorphic function \(h:\mathbb{D\rightarrow\overline{\mathbb{D}}}\) defined by
we obtain
In particular,
By combining (8), (9), and (11), we get the estimate in (6).
Furthermore, this bound in (6) is sharp. Indeed, if equality holds in (6) for \(z\in\mathbb{D}\), then we must have equalities in the corresponding inequalities in (4) and (11). Thus, we can obtain
for some constant \(a\in\overline{\mathbb{D}}\), and \(g'(0)\in(-1,1]\), which is possible only if \(a\in[-1,1)\).
Consequently, f must be of the form
for some constant \(a\in[-1,1)\).
Case II If \(\vert a_{k}\vert =1\), set
It is clear that \(g\in H(\mathbb{D},\mathbb{D}), \vert g(0)\vert =\vert a_{k}\vert =1 \). Thus by the principle of the maximum modulus, g is a constant function, and \(g(z)=a_{k}=g(1)=1\), and hence \(f(z) \equiv z^{k}\). This completes the proof. □
Taking into account the relation \(\vert \frac{1-\overline {a_{k}}}{1-a_{k}} \cdot\frac{a_{k+1}}{1- \vert a_{k}\vert ^{2}}\vert \leq1\) and using (6) in Theorem 1, we can readily deduce the following corollary (the proof is omitted here).
Corollary 1
Let \(f\in H(\mathbb{D},\mathbb{D})\) with \(\xi=1\) as its regular boundary fixed point and suppose \(f(0)=f'(0)=\cdots=f^{(k-1)}(0)=0, a_{k}=\frac {f^{(k)}(0)}{k!}\neq0, k\in\mathbb{N}\); we have the following.
If \(0< \vert a_{k} \vert <1\), then
In particular,
Remark 1
When \(n=1\), it follows from (15) that
Note that
Therefore, Theorem 1 (or Corollary 1) generalizes and improves Theorem A.
Theorem 2
Let \(f\in H(\mathbb{D},\mathbb{D})\) with \(\xi=1\) as its regular boundary fixed point and suppose \(f'(0)=\cdots=f^{(k-1)}(0)=0, a_{k}=\frac {f^{(k)}(0)}{k!}\neq0, k\in\mathbb{N}\), we can obtain:
-
(I)
If \(0<\vert a_{k}\vert <1-\vert f(0)\vert ^{2}\), then
$$\begin{aligned} f'(1)\geq(k-1)\frac{\vert 1-f(0)\vert ^{2}}{1-\vert f(0)\vert ^{2}}+\frac{2}{\operatorname{\Re e}(\frac{1-f^{2}(0)+a_{k}}{(1-f(0))^{2}} )}. \end{aligned}$$(16)Equality holds in the inequality if and only if f is of the form
$$\begin{aligned} f(z)=\frac{f(0)-z^{k}\frac{a-z}{1-az}\frac{1-f(0)}{1-\overline {f(0)}}}{1-z^{k}\frac{a-z}{1-az}\frac{1-f(0)}{1-\overline{f(0)}}\overline{f(0)}}. \end{aligned}$$ -
(II)
If \(\vert a_{k}\vert =1-\vert f(0)\vert ^{2}\), then
$$\begin{aligned} f(z)=\frac{\frac{1-f(0)}{1-\overline{f(0)}}z^{k}+f(0)}{1+\overline {f(0)}\frac{1-f(0)}{1-\overline{f(0)}}z^{k}}. \end{aligned}$$(17)
Proof
Set
It is not difficult to verify that \(g\in H(\mathbb{D,D})\), and \(\xi=1\) is its regular boundary fixed point. Elementary computations yield
and
On the other hand, let
which is in \(H(\mathbb{D}, \mathbb{D})\). By Lemma 3, we obtain the following results:
(I) If \(0< \vert a_{k}\vert <1-\vert f(0)\vert ^{2}\), then it follows from (19) that \(\vert \frac{g^{(k)}(0)}{k!}\vert <1\). By using Lemmas 1 and 2, we have
In particular,
From the above relation and (18), we deduce that
Applying a similar argument to Theorem 1, we deduce that equality holds in inequality (16) if and only if f is of the form
(II) If \(\vert a_{k}\vert =1-\vert f(0)\vert ^{2}\), then we find from (19) and (20) that \(\vert h(0)\vert =\vert \frac {g^{(k)}(0)}{k!}\vert =1\). By the principle of the maximum modulus, h is a constant function, and \(h(z)=g(1)=1\), and hence \(g(z) \equiv z^{k}\), which yields the assertion (17). This completes the proof. □
Remark 2
By setting \(k=1\) in (16) of Theorem 2, we get the following estimate:
which is Theorem C obtained by Frolova et al. [1]. Thus, Theorem 2 is a generalization of Theorem C.
References
Frolova, A, Levenshtein, M, Shoikhet, D, Vasil’ev, A: Boundary distortion estimates for holomorphic maps. Complex Anal. Oper. Theory 8, 1129-1149 (2004)
Abate, M: Iteration Theory of Holomorphic Maps on Taut Manifolds. Mediterranean Press, Rende (1989)
Elin, M, Jacobzon, F, Levenshtein, M, Shoikhet, D: The Schwarz lemma: rigidity and dynamics. In: Harmonic and Complex Analysis and Its Applications, pp. 135-230. Springer, Cham (2014)
Dai, SY, Chen, HH, Pan, YF: The Schwarz-Pick lemma of high order in several variables. Mich. Math. J. 59(3), 517-533 (2010)
Ruscheweyh, S: Two remarks on bounded analytic functions. Serdica 11, 200-202 (1985)
Liu, Y, Chen, ZH: Schwarz-Pick estimates for holomorphic mappings from the polydisk to the unit ball. J. Math. Anal. Appl. 376, 123-125 (2011)
Anderson, JM, Vasil’ev, A: Lower Schwarz-Pick estimates and angular derivatives. Ann. Acad. Sci. Fenn., Math. 33, 101-110 (2008)
Cowen, CC, Pommerenke, C: Inequalities for the angular derivative of an analytic function in the unit disk. J. Lond. Math. Soc. 26(2), 271-289 (1982)
Bolotnikov, V, Elin, M, Shoikhet, D: Inequalities for angular derivatives and boundary interpolation. Anal. Math. Phys. 3(1), 63-96 (2013)
Elin, M, Shoikhet, D, Tarkhanov, N: Separation of boundary singularities for holomorphic generators. Ann. Mat. Pura Appl. 190, 595-618 (2011)
Wolff, J: Sur une generalisation d’un theoreme de Schwarz. C. R. Acad. Sci. 182, 918-920 (1926)
Julia, G: Extension nouvelle d’un lemme de Schwarz. Acta Math. 42, 349-355 (1920)
Carathéodory, C: Uber die Winkle Derivierten Von Beschränkten Analytischen Functionen. Sitzungsber. Press. Acad. Viss. Berlin, Phys. Math. 4, 39-54 (1929)
Liu, TS, Wang, JF, Tang, XM: Schwarz lemma at the boundary of the unit ball in \(\mathbb {C}^{n}\) and its applications. J. Geom. Anal. 25(3), 1890-1914 (2015)
Ren, GB, Wang, XP: Extremal functions of boundary Schwarz lemma. arXiv:1502.02369
Unklebach, H: Über die Randverzerrung bei konformer Abbildung. Math. Z. 43, 739-742 (1938)
Herzig, A: Die Winkle derivierte und das Poisson-Stieltjes-Integral. Math. Z. 46, 129-156 (1940)
Osserman, R: A sharp Schwarz inequality on the boundary. Proc. Am. Math. Soc. 128, 3513-3517 (2000)
Sarason, D: Angular derivatives via Hilbert space. Complex Var. Elliptic Equ. 10, 1-10 (1988)
Acknowledgements
This work was supported by NNSF of China (Grant Nos. 11561030, 11261022), the Jiangxi Provincial Natural Science Foundation of China (Grant No. 20152ACB20002), and Natural Science Foundation of Department of Education of Jiangxi Province, China (Grant No. GJJ150301).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors contributed equally to this work.
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
Xu, Q., Tang, Y., Yang, T. et al. Schwarz lemma involving the boundary fixed point. Fixed Point Theory Appl 2016, 84 (2016). https://doi.org/10.1186/s13663-016-0574-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-016-0574-8