Some generalizations for the Schwarz-Pick lemma and boundary Schwarz lemma

: In this paper, we first obtain a Schwarz-Pick type lemma for the holomorphic self-mapping of the unit disk with respect to the q -distance. Second, we establish the general Schwarz-Pick lemma for the self-mapping of the unit disk satisfying the Poisson di ff erential inequality. As an application, it is proven that this mapping is Lipschitz continuous with respect to the q -distance under certain conditions. Moreover, the corresponding explicit Lipschitz constant is given. Third, it is proved that there exists a self-mapping of the unit disk satisfying the Poisson di ff erential inequality, which does not meet conditions of the boundary Schwarz lemma. Finally, with some additional conditions, a boundary Schwarz lemma for the self-mapping of the unit disk satisfying the Poisson di ff erential inequality is established.


Introduction
Let D be the unit disk in the complex plane C centered at the origin and denote T = ∂D.The symbol C n (Ω) stands for the class of all complex-valued n-times continuously differentiable functions from the domain Ω into C.In particular, we let C(Ω) = C 0 (Ω).A real-valued function u ∈ C 2 (Ω) is called real harmonic if it satisfies the following Laplace's equation: A complex-valued function ω = u + iv is harmonic if both u and v are real harmonic.We refer the readers to [12] for an excellent discussion on harmonic mappings in the plane.Suppose that g ∈ C(D).Then, it is well known that the solution of the Poisson's equation ∆ω = g in D satisfying the boundary condition ω| T = f ∈ L 1 (T) is given by where The hyperbolic metric on D, the Gaussian curvature of which is equal to -4, is given by |dz|/(1−|z| 2 ).Then, the hyperbolic distance between two points z 1 , z 2 ∈ D is defined by where the infimum is taken over all the rectifiable curves γ which connect z 1 and z 2 with γ ∈ D. It is well known that Also, we can consider the quasihyperbolic metric |dz|/(1 − |z|) on D. Then, it gives rise to the quasihyperbolic distance between two points z 1 , z 2 ∈ D, which is defined by where the infimum is taken over all rectifiable curves γ which connect z 1 and z 2 with γ ∈ D. Actually, we can consider the general q-metric |dz|/(1 − |z| q ) on D, q ∈ [1, 2], which leads to the following q-pseudo distance where the infimum is taken over all rectifiable curves γ which connect z 1 and z 2 with γ ∈ D. For completeness, we will prove that this q-pseudo distance is a distance in Lemma 7.
A self-mapping f of D is said to be Lipschitz continuous with respect to the q-distance if there exists a constant L > 0, such that the inequality The classic Schwarz-Pick lemma plays an important role in complex analysis.It is stated as follows: If f is a holomorphic self-mapping of D, then we have or The Schwarz-Pick lemmas (1.6) or (1.7) have many generalizations.See the references [1, 6, 13, 30-32, 34, 35, 39, 46] on this topic.The first work of this paper is to extend (1.7) to the case for the q-distance.It is presented as follows: Suppose that f satisfies the following the Poisson differential inequality: where This kind of mapping contains many classical mappings.For example, it includes a holomorphic mapping, a harmonic mapping, the mapping satisfying Poisson's equation ∆ f = g (where g is continuous on D), the harmonic mapping between Riemannian surfaces satisfying some inequalities and so on.In addition, those mappings that satisfy (1.9) are also closely related to the following partial differential equations where This equation has a deep connection with the average curvature problem of surfaces in differential geometry, the conjugate isothermal coordinates of surfaces, and the Monge-Ampère equation and so on.Based on this backgrounds, the study of mappings that satisfy the Poisson differential inequality (1.9) has attracted much attention from researchers.See the articles [4,18,20,42,45] and the references therein.Recently, Kalaj [21] extended the results of Bernstein [4] and Heinz [18] to the case for spaces and applied the relevant results to the theory of harmonic quasiconformal mappings.The study of mappings satisfying the Poisson differential inequality that are also quasiconformal or quasiregular have also attracted many authors' interest, see [3,10,22].Let f be a quasiconformal self-mapping of the unit disk satisfying the following Poisson differential equation In [23], Kalaj obtained the following result.
Lemma 1. [23] Suppose that f is a K-quasiconformal self-mapping of D satisfying the Poisson differential equation (1.11), and that f (0) = 0. Then there exists a constant C(B, K), which depends only on B and K, such that (1.12) The inequality (1.12) can be seen as a kind of Schwarz-Pick type inequality for the Kquasiconformal self-mapping of D satisfying the Poisson differential inequality (1.11).Generally, the condition for quasiconformality in Lemma 1 can not be removed.Recently, Zhong et al. [47] showed the following result.
In the next result of this paper, we will improve Theorem 2 by giving the explicit constant L(a, b, K) and showing that the result is still valid when we consider all of the cases for q > 0. Our result is presented as follows.
Theorem 3.For given q > 0, suppose that f : where . (1.14) As an application of Theorem 3, we provide the following more general form of [47, Corollary 1.5].
Corollary 1.For a given q > 0, suppose that f : Proof.According to Lemma 9, we see that there exists a constant L(a, b, K) such that the inequality holds for any z ∈ D. Combining this with Theorem 3, we get By the definition of q-distance, we derive that inequality (1.15) is valid.□ The classic boundary Schwarz lemma for the holomorphic mapping states the following: ) Let f be a holomorphic self-mapping of D satisfying that f (0) = 0.If f is differentiable at the point z = 1 and satisfies that f (1) = 1, then we have the follwoing: The boundary Schwarz lemma is a basic and important result in complex analysis.Its generalizations and applications have received widespread attention; see [5, 7, 9, 15-17, 25-29, 40, 43, 44].In [25], Lemma 2 was generalized to the following form: , where e iθ = βα −1 and θ ∈ R.
Recently, the extension of the boundary Schwarz lemma to harmonic mappings has also attracted scholars' attention.In [50], Zhu and Wang established the following harmonic version of the boundary Schwarz lemma.
satisfying the Poisson equation ∆ f = g and f (0) = 0, and if f is differentiable at the point z = 1 and satisfies that f (1) = 1, then we have where ||g|| ∞ := sup z∈D |g(z)|.This result was extended by Mohapatra et al. [37] and Mohapatra [38].See the high dimensional version of the boundary Schwarz lemma for harmonic mappings in [11,24,33,36,49].As a generalization of planar harmonic maps, those self-mappings that satisfy the Poisson differential inequality (1.11) can be naturally considered as analogous to the boundary Schwarz lemma.Unfortunately, those types of mappings generally are not associated with the boundary Schwarz lemma of types (1.16).This is because we have established the following results: Theorem 4.There exists a self-mapping f of D, which is differentiable at z = 1 and satisfies that f (0) = 0 and f (1) = 1, in addition to the Poisson differential inequality According to Lemma 4, we see that there exists a self-mapping of D that satisfies the Poisson differential inequality (1.9), which is associated with a boundary Schwarz lemma of type (1.16).Therefore, we naturally ask the following question: which subset of the family has boundary Schwarz lemma of type (1.16)?Next, we establish a result in this regard.

Some preparations
L' Hospital's rule for monotonicity is important to derive some inequalities and it will be used to prove some results.The following lemma can be obtained in [48] by letting x = t 2 .Lemma 6.For any q > 0, the inequalities hold for any x ∈ [0, 1).
Remark 1.In the rest of this paper, we will always use the constant c q , which is defined by In Section 1, we defined the following general q-pseudo distance in D: where the infimum is taken over all rectifiable curves γ in D connected z 1 and z 2 .Next, we will prove that it is a distance.
Proof.Obviously, for any z 1 , z 2 ∈ D, we have that d q (z 1 , z 2 ) ≥ 0 and d q (z 1 , z 2 ) = d q (z 2 , z 1 ).Hence, we only prove that if d q (z 1 , z 2 ) = 0, then z 1 = z 2 .This is because, by taking x = |z| 2 in Lemma 6, we get Hence, by the definitions of hyperbolic distance and q-pseudo distance, we have Therefore, it must be that This shows that the q-pseudo distance d q (•, •) defined in D is a distance.□ We also need the following general Schwarz lemma for harmonic self-mappings of the unit disk, which was obtained by Hethcote [19].
Lemma 12. ( [41]) Suppose that f is a holomorphic self-mapping of D. Then, In what follows, we generalize Lemma 12 to the following form.

Proof of Theorem 1
Proof.By using Proposition 1 for n = 1 and f (0) = 0, we get According to the definition of q-distance, we have that d q ( f (z 1 ), f (z 2 )) ≤ d q (z 1 , z 2 ).This finishes the proof.□ Remark 3. Considering the case for n = 1 and f (0) = 0 in Proposition 1, we get the following Schwarz-Pick lemma: Suppose that f is a holomorphic self-mapping from unit disk D into itself with f (0) = 0; then, we have From the proof of Proposition

Proof of Theorem 3
Proof.According to Lemma 9, we see that there exists a constant L(a, b, K), such that the inequality holds for any z ∈ D, where where h(z) = l(z)(|D f (z)| 2 + 1) and ||l|| ∞ ≤ max{a, b}.For example, we can define l as follows: Since f ∈ C 2 (D), we see that h ∈ C(D).Hence, by Lemma 9, we get By virtue of the solution of Poisson's equation, we have where f | T := k.Since P[k] is a harmonic self-mapping of D, we get the following by Lemma 8 Combining Lemmas 6, 8, 10 and 11, we get This completes the proof.□

Conclusions
By establishing the general Schwarz-Pick lemma, which is a generalization of the result of Ruscheweyh [41] and sharp when n = 1 and f (0) = 0, we have obtained a Schwarz-Pick-type lemma for the holomorphic self-mapping of the unit disk with respect to the q-distance.We also have established the general Schwarz-Pick lemma for self-mappings of the unit disk satisfying the Poisson differential inequality.This obtained result improved the one in [47] by giving the explicit constant L(a, b, K), and it showed that the result is still valid when we consider all of the cases for q > 0.
As an application, it has been proven that this mapping is Lipschitz continuous with respect to the q-distance under certain conditions; Moreover, the corresponding explicit Lipschitz constant has been given.Next, we investigated the boundary Schwarz lemma for self-mappings of the unit disk satisfying the Poisson differential inequality.We found that those types of mappings are generally not associated with the boundary Schwarz lemma.With some additional conditions, we have established a boundary Schwarz lemma for self-mappings of the unit disk satisfying the Poisson differential inequality.

2 π − 3
max{a, b} • (L 2 (a, b, K) 1, we see that the inequality (3.2) is sharp.The equation holds if and only if | f (z)| = |z|, which is subject to the condition if and only if f