- Research
- Open access
- Published:
On some Schwarz type inequalities
Journal of Inequalities and Applications volume 2020, Article number: 164 (2020)
Abstract
First, we establish some Schwarz type inequalities for mappings with bounded Laplacian, then we obtain boundary versions of the Schwarz lemma.
1 Introduction and preliminaries
Motivated by the role of the Schwarz lemma in complex analysis and numerous fundamental results, see for instance [16, 19] and references therein, in 2016, the first author [1](a) has posted on ResearchGate the project “Schwarz lemma, the Carathéodory and Kobayashi Metrics and Applications in Complex Analysis”.Footnote 1 Various discussions regarding the subject can also be found in the Q&A section on ResearchGate under the question “What are the most recent versions of the Schwarz lemma?” [1](b).Footnote 2 In this project and in [16], cf. also [13], we developed the method related to holomorphic mappings with strip codomain (we refer to this method as the approach via the Schwarz–Pick lemma for holomorphic maps from the unit disc into a strip). It is worth mentioning that the Schwarz lemma has been generalized in various directions; see [2, 4, 7, 8, 13, 14, 18, 21] and the references therein.
Recently Wang and Zhu [20] and Chen and Kalaj [5] have studied boundary Schwarz lemma for solutions of Poisson’s equation. They improved Heinz’s theorem [10] and Theorem A below. We found that Theorem A is a forgotten result of Hethcote [11], published in 1977.
Note that previously Burgeth [3] improved the above result of Heinz and Theorem A for real-valued functions (it is easy to extend his result for complex-valued functions; see below) by removing the assumption \(f(0)=0\) but it is overlooked in the literature. Recently, Mateljević and Sveltik [18] proved a Schwarz lemma for real harmonic functions with values in \((-1,1)\) using a completely different approach than Burgeth [3] and showed that the inequalities obtained are sharp.
In this paper, we further develop the method initiated in [18]. More precisely, we show that, if \(\mathbb{U}\) denotes the open unit disc and \(f: \mathbb {U}\to(-1,1)\), \(f \in C^{2}(\mathbb{U})\) and is continuous on \(\overline{\mathbb{U}}\), and \(|\Delta f|\leq c\) on \(\mathbb{U}\) for some \(c>0\), then the mapping \(u=f \pm \frac{c}{4} (1- |z|^{2})\) is subharmonic or superharmonic and we estimate the harmonic function \(P[u^{*}]\); see Theorem 2. Next, we extend the previous result to complex-valued functions; see Corollary 1. As an application, we provide an elementary proof of a theorem of Chen and Kalaj [5] giving an estimate of the solutions of the Poisson equations. Finally, we establish Schwarz lemmas at the boundary for solutions of \(|\Delta f| \leq c \). Our results are generalizations of Theorem 1.1 [20] and Theorem 2 [5].
The proofs are mainly based on two ingredients, the first of which is a sharp Schwarz lemma for real harmonic functions with values in \((-1,1)\), see Theorem B, and the second is the principle of harmonic majoration, which is a consequence of the maximum principle for subharmonic functions.
1.1 Notations and background
In this paper \(\mathbb{T}\) denotes the unit circle.
Recall that a real-valued function u, defined in an open subset D of the complex plane \(\mathbb{C}\), is harmonic if it satisfies Laplace’s equation \(\Delta u =0\) on D.
A real-valued function \(u \in\mathcal{C}^{2}(D)\) is called subharmonic if \(\Delta u(z) \geq0\) for all \(z\in D\).
Let P be the Poisson kernel, i.e., the function
and let G be the Green function on the unit disc, i.e., the function
Let \(\phi\in L^{1}(\mathbb{T})\) be an integrable function on the unit circle. Then the function \(P[\phi]\) given by
is harmonic in \(\mathbb {U}\) and has a radial limit that agrees with ϕ almost everywhere on \(\mathbb{T}\).
For \(g \in\mathcal{C}(\overline{\mathbb {U}})\), let
\(|z|<1\) and let \(dm(w)\) denote the Lebesgue measure in \(\mathbb{U}\).
If we consider the function
then u satisfies the Poisson equation
One can easily see that the previous equation has a non-unique solution. Indeed, the Poisson kernel \(P(z)=\frac {1-|z|^{2}}{|1-z|^{2}}\) is a harmonic function on the unit disc and \(\lim_{r\to1^{-}}P(re^{i\theta})=0\) a.e., but \(P \neq0\).
It is well known that, if ϕ is continuous on the unit circle, then the harmonic function \(P[\phi]\) extends continuously on \(\mathbb {T}\) and equals ϕ on \(\mathbb{T}\); see Hörmander [12].
The following is a consequence of the maximum principle for subharmonic functions.
Theorem
(Harmonic majoration)
Letube a subharmonic function in\(\mathcal{C}^{2}(\mathbb{U})\cap \mathcal{C}(\overline{\mathbb {U}})\). Then
2 The Schwarz lemma for harmonic functions
In [10], Heinz proved that, if f is a harmonic mapping f from the unit disc into itself such that \(f(0)=0\), then
Moreover, this inequality is sharp for each point \(z\in\mathbb{U}\).
This inequality for functions from the unit disk to unit ball of \(\mathbb{C}^{n}\) are discussed in [9] to establish Landau’s theorem for p-harmonic mappings in several variables.
Later, in 1977, Hethcote [11] improved the above result of Heinz by removing the assumption \(f(0)=0\) and showed the following.
Theorem A
([11])
Iffis a harmonic mapping from the unit disc into itself, then
holds for all\(z\in\mathbb{U}\).
We remark that the estimate of Theorem A cannot be sharp for all values z in the unit disc.
Recently, Mateljević and Sveltik [18] proved a Schwarz lemma for real harmonic functions with values in \((-1,1)\) using a completely different approach from Burgeth [3].
Theorem B
([18])
Let\(u:\mathbb{U}\to(-1,1)\)be a harmonic function such that\(u(0)=b\). Then
Moreover, this inequality is sharp for each\(z\in\mathbb{U}\), where\(M_{b}(r):= \frac{4}{\pi} \arctan \frac{a+r}{1+ar}\), \(m_{b}(r):=\frac {4}{\pi} \arctan\frac{a-r}{1-ar}\), and\(a= \tan\frac{b\pi}{4}\).
Clearly Theorem B improves Theorem A for real harmonic functions, as one can check the following elementary proposition.
Proposition 2.1
Letbbe in\((-1,1)\)and\(r\in[0,1)\). Then
- (1)
\(M_{b}(r) \leq \frac{1-r^{2}}{1+r^{2}}b+ \frac{4}{\pi} \arctan r =:A_{b}(r) \)and\(m_{b}(r) \geq \frac{1-r^{2}}{1+r^{2}}b- \frac{4}{\pi}\arctan r\).
- (2)
The mapping\(b \mapsto M_{b}(r)\)is increasing on\((-1,1)\).
Using a standard rotation, we can extend Theorem B for complex harmonic functions from the unit disc into itself.
Theorem 1
Let\(f: \mathbb {U}\to \mathbb {U}\)be a harmonic function from the unit disc into itself. Then
holds for all\(z\in\mathbb{U}\).
Proof
Fix \(z_{0}\) in the unit disc and choose unimodular λ such that \(\lambda f(z_{0})=|f(z_{0})|\).
Define \(u(z)=\Re(\lambda f(z))\).
Hence, using Theorem B, we get
as the mapping \(b\mapsto M_{b}(|z_{0}|)\) is increasing. □
3 Schwarz lemma for mappings with bounded Laplacian
The following theorem is our main result of this section.
Theorem 2
Letfbe a\(C^{2}(\mathbb{U})\)real-valued function, continuous on\(\overline{\mathbb {U}}\)and\(f^{*}=f\vert_{\mathbb{T}}\). Let\(b=P[f^{*}](0)\), \(c\in\mathbb{R}\)andKbe a positive number such that\(K \geq \|P[f^{*}]\|_{\infty}\).
- (i)
Iffsatisfies\(\Delta f\geq- c\), then
$$f(z)\leq K M_{b/K}\bigl( \vert z \vert \bigr) + \frac{c}{4} \bigl(1- \vert z \vert ^{2}\bigr) $$holds for all\(z\in\mathbb{U}\).
- (ii)
Iffsatisfies\(\Delta f\leq c\), then
$$f(z) \geq K m_{b/K}\bigl( \vert z \vert \bigr) - \frac{c}{4} \bigl(1- \vert z \vert ^{2}\bigr) $$holds for all\(z\in\mathbb{U}\).
Proof
(i) Define \(f^{0}(z)= f(z) + \frac{c}{4} (|z|^{2}-1)\), and set \(P[f^{*}](0)=b\). Then \(f^{0}\) is subharmonic and \(f^{0} \leq P[f^{*}]\). As \(\frac{1}{K} P[f^{*}]\) is a real harmonic function with codomain \((-1,1)\), by Theorem B, we obtain \(P[f^{*}](z) \leq K M_{b/K}(|z|)\). Thus
(ii) If f satisfies \(\Delta f\leq c\), then define \(f_{0}(z)= f(z) - \frac{c}{4} (|z|^{2}-1)\), and set \(P[f^{*}](0)=b\). In a similar way, we show that the inequality
holds for all \(z\in\mathbb{U}\). □
For complex-valued functions with bounded Laplacian from the unit disc into itself, we prove the following.
Corollary 1
Suppose that\(f: \mathbb {U}\to \mathbb {U}\), \(f \in C^{2}(\mathbb{U})\)and continuous on\(\overline{\mathbb{U}}\), and\(|\Delta f|\leq c\)on\(\mathbb{U}\)for some\(c>0\). Then
holds for all\(z\in\mathbb{U}\), where\(b=|P[f^{*}](0)|\).
Proof
Fix \(z_{0}\) in the unit disc and choose λ such that \(\lambda f(z_{0})=|f(z_{0})|\). Define \(u(z)=\Re(\lambda f(z))\) (we say that u is a real-valued harmonic associated to complex-valued harmonic f at \(z_{0}\)). We have \(\Delta u= \Re(\lambda\Delta f)\). As u is a real function with codomain \((-1,1)\) satisfying \(|\Delta u|\leq c\), by Theorem 2, we get
We have \(b_{1}=P[u^{*}](0)=\Re(\lambda P[ f^{*}](0))\leq|P[f^{*}](0)|\). Hence
where \(b=|P[f^{*}](0)|\), as the mapping \(b\mapsto M_{b}(|z_{0}|)\) is increasing. □
Under the conditions of the previous theorem and using Proposition 2.1 we obtain
3.1 Applications
For a given continuous function \(g: G\rightarrow\mathbb{C}\), Chen and Kalaj [5] established some Schwarz type Lemmas for mappings f in G satisfying the Poisson equation \(\Delta f=g\), where G is a subset of the complex plane \(\mathbb{C}\). Then they applied these results to obtain a Landau type theorem, which is a partial answer to the open problem in [6].
We provide a different and an elementary proof of Theorem C, giving a Schwarz type lemma for mappings satisfying Poisson’s equations.
Theorem C
([5])
Let\(g\in C(\overline{\mathbb{U}})\)and\(\phi\in C(\mathbb{T})\). If a complex-valued functionfsatisfies\(\Delta f = g\)in\(\mathbb{U}\)and\(f = \phi\)in\(\mathbb{T}\), then for\(z\in\mathbb{U}\)
where\(\|P[\phi]\|_{\infty}=\sup_{z\in\mathbb{U}}|P[\phi](z)|\)and\(\|g\|_{\infty}=\sup_{z\in\mathbb{U}}|g(z)|\).
Now we show that Theorem 2 implies Theorem C.
We will consider first the case when f is a real-valued \(C^{2}(\mathbb{U})\) function, continuous on \(\overline{\mathbb {U}}\), satisfying \(\Delta f=g\) and \(f^{*}=\phi\). Let \(K := \|P[\phi]\|_{\infty}\). By Theorem 2, we have
where \(b=P[\phi](0)\). Using Proposition 2.1(1), we get
and
Hence, the following inequality:
holds for all \(z\in\mathbb{U}\).
If f is a complex-valued function, we may consider \(u=\Re(\lambda f)\), where λ is a complex number of modulus 1. Indeed, we have
where \(u^{*}=\Re(\lambda\phi)\) on \(\mathbb{T}\). Now, one can choose λ such that
4 Boundary Schwarz lemmas
We establish Schwarz lemmas at the boundary for solutions of \(|\Delta f| \leq c \). Our results are generalizations of Theorem 1.1 [20] and Theorem 2 [5].
Theorem 3
Suppose\(f\in C^{2}(\mathbb {U})\), continuous on\(\overline{\mathbb {U}}\)with codomain\((-1,1)\), such that\(\Delta f \geq-c\). Iffis differentiable at\(z=1\)with\(f(1) =1\), then the following inequality holds:
where
Before giving the proof, one can easily show that
Hence
as \(a=\tan\frac{b\pi}{4}\).
Proof
Since f is differentiable at \(z=1\), we know that
That is,
On the other hand, Theorem 2(i) leads to
Dividing by \((1-r)\) and letting \(r\to1^{-}\), we get
Thus
□
Corollary 2
Suppose\(f\in C^{2}(\mathbb {U})\), with codomain\((-1,1)\), is continuous on\(\overline{\mathbb {U}}\)and is differentiable at\(z=1\)with\(f(1) =1\).
- (i)
If\(\Delta f \geq-c\), then
$$f_{x}(1) \geq \frac{2}{\pi}-b-\frac{c}{2}. $$ - (ii)
If\(|\Delta f| \leq c\)and\(f(0)=0\), then\(|b| \leq\frac {c}{4}\)and
$$f_{x}(1) \geq\frac{2}{\pi} -\frac{3}{4}c , $$
where\(b=P[f^{*}](0)\).
Proof
(i) Using the inequality \(M_{b} \leq A_{b}\) from Proposition 2.1 and \(M_{b}(1)=A_{b}(1)=1\), we get
(ii) The estimate \(|b| \leq\frac{c}{4}\) follows directly from Theorem 2 using the assumption \({f(0)=0}\). □
Remark 4
One can also prove directly that \(M_{b}'(1) \geq A_{b}'(1)\), that is,
Using the convexity of the tangent function, we get
For \(b\in[0,1)\), let us substitute x by \(\frac{\pi}{4}(1-b)\), we obtain
The following theorem is a generalization of Theorem 2 in [5] where the authors proved a Schwarz lemma on the boundary for a function f satisfying \(\Delta f=g\) and under the assumption \(f(0)=0\).
Theorem 5
Suppose that\(f\in\mathcal{C}^{2}(\mathbb {U})\cap\mathcal{C}(\overline{\mathbb {U}})\)is a function of\(\mathbb {U}\)into\(\mathbb {U}\)satisfying\(|\Delta f| \leq c\), where\(0\leq c<\frac{4}{\pi} \tan\frac{\pi}{4}(1-b) \). If, for some\(\xi\in\mathbb{T}\), \(\lim_{r \to1^{-}} |f(r\xi)|=1\), then
where\(b=|P[f^{*}](0)|\).
If, in addition, we assume that\(f(0)=0\), then
and
Proof
Using Corollary 1, we have
Thus
The conclusion follows as \(M_{b}'(1)= \frac{2}{\pi} \tan\frac{\pi }{4}(1-b)\).
If in addition, we assume that \(f(0)=0\), using the inequality (3.1), we obtain \(|b|<\frac{c}{4}\). Hence
The second estimate follows from the inequality (4.2). □
References
(a) https://www.researchgate.net/project/Schwarz-lemma-the-Caratheodory-and-Kobayashi-Metrics-and-Applications-in-Complex-Analysis. (b) https://www.researchgate.net/post/What_are_the_most_recent_versions_of_The_Schwarz_Lemma. (c) https://www.researchgate.net/publication/325430073_Miodrag_Mateljevic_Rigidity_of_holomorphic_mappings_Schwarz_and_Jack_lemma
Azeroǧlu, T.A., Örnek, B.N.: A refined Schwarz inequality on the boundary. Complex Var. Elliptic Equ. 58(4), 571–577 (2013)
Burgeth, B.: A Schwarz lemma for harmonic and hyperbolic-harmonic functions in higher dimensions. Manuscr. Math. 77, 283–291 (1992)
Chen, H.H.: The Schwarz–Pick lemma for planar harmonic mappings. Sci. China Math. 54, 1101–1118 (2011)
Chen, S., Kalaj, D.: The Schwarz type lemmas and the Landau type theorem of mappings satisfying Poisson’s equations. Complex Anal. Oper. Theory 13, 2049–2068 (2019)
Chen, S., Ponnusamy, S.: Landau’s theorem for solutions of the ∂-equation in Dirichlet type spaces. Bull. Aust. Math. Soc. 97(1), 80–87 (2018)
Chen, S., Rasila, A.: Schwarz–Pick type estimates of pluriharmonic mappings in the unit polydisk. Ill. J. Math. 58(4), 1015–1024 (2014)
Chen, Sh., Ponnusamy, S.: Schwarz lemmas for mappings satisfying Poisson’s equation. Indag. Math. 30(6), 1087–1098 (2019)
Chen, Sh., Ponnusamy, S., Wang, X.: Landau’s theorem for p-harmonic mappings in several variables. Ann. Pol. Math. 103(1), 67–87 (2011)
Heinz, E.: On one-to-one harmonic mappings. Pac. J. Math. 9, 101–105 (1959)
Hethcote, H.W.: Schwarz lemma analogues for harmonic functions. Int. J. Math. Educ. Sci. Technol. 8(1), 65–67 (1977)
Hörmander, L.: Notions of Convexity. Progress in Mathematics, vol. 127. Birkhäuser Boston, Boston (1994)
Kalaj, D., Vuorinen, M.: On harmonic functions and the Schwarz lemma. Proc. Am. Math. Soc. 140(1), 161–165 (2012)
Khalfallah, A.: Old and new invariant pseudo-distances defined by pluriharmonic functions. Complex Anal. Oper. Theory 9, 113–119 (2015)
Krantz, S.G.: The Carathéodory and Kobayashi metrics and applications in complex analysis (2006). arXiv:math/0608772v1 [math.CV]
Mateljević, M.: Schwarz lemma and Kobayashi metrics for harmonic and holomorphic functions. J. Math. Anal. Appl. 464, 78–100 (2018)
Mateljević, M.: Communications at Belgrade analysis seminar. University of Belgrade (2017 and 2018)
Mateljević, M., Svetlik, M.: Hyperbolic metric on the strip and the Schwarz lemma for HQR mappings. Appl. Anal. Discrete Math. 14, 150–168 (2020)
Osserman, R.: A sharp Schwarz inequality on the boundary. Proc. Am. Math. Soc. 128, 3513–3517 (2000)
Wang, X., Zhu, J.-F.: Boundary Schwarz lemma for solutions to Poisson’s equation. J. Math. Anal. Appl. 463, 623–633 (2018)
Zhu, J.-F.: Schwarz lemma and boundary Schwarz lemma for pluriharmonic mappings. Filomat 32(15), 5385–5402 (2018)
Acknowledgements
This article was supported by the Deanship of Scientific Research (DSR) at King Fahd University of Petroleum and Minerals (KFUPM).
Availability of data and materials
Not applicable.
Funding
The first author is partially supported by the Ministry of Education, Science and Technological Development of the Republic of Serbia, Grant No. 174 032. The second author would like to acknowledge the support provided by the Deanship of Scientific Research (DSR) at King Fahd University of Petroleum and Minerals (KFUPM).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the manuscript read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Mateljević, M., Khalfallah, A. On some Schwarz type inequalities. J Inequal Appl 2020, 164 (2020). https://doi.org/10.1186/s13660-020-02433-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02433-6