1. Trang chủ
  2. » Khoa Học Tự Nhiên

NORMAL CRITERIA FOR MEROMORPHIC FUNCTIONS

13 202 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 13
Dung lượng 303,56 KB
File đính kèm Preprint1447.rar (284 KB)

Nội dung

In 2011, Aulaskari and R.. atty .. a (J. Michigan. Math. Vol. 60) introduced the concept of ϕ normal meromorphic functions on the unit disc D, where the function ϕ(r) : 0, 1) → (0, ∞) admits a sufficient regularity near 1 and exceeds 1 1−r2 in growth. They examined the class of meromorphic functions f on D satisfying f (z) = O(ϕ(|z|), as |z| → 1 −. In this paper, we establish some ϕ normal criteria for meromorphic functions. Moreover, as a corollary of our results, for a special case of ϕ, we obtain some normal criteria for meromorphic functions under a condition where functions and their derivative share a set (rather than just sharing a value as in known results)

ϕ- NORMAL CRITERIA FOR MEROMORPHIC FUNCTIONS TRAN VAN TANA,∗ AND NGUYEN VAN THINB .. .. Abstract. In 2011, Aulaskari and Rattya (J. Michigan. Math. Vol. 60) introduced the concept of ϕ- normal meromorphic functions on the unit disc D, where the function ϕ(r) : [0, 1) → (0, ∞) admits a sufficient regularity 1 near 1 and exceeds 1−r 2 in growth. They examined the class of meromorphic functions f on D satisfying f # (z) = O(ϕ(|z|), as |z| → 1− . In this paper, we establish some ϕ- normal criteria for meromorphic functions. Moreover, as a corollary of our results, for a special case of ϕ, we obtain some normal criteria for meromorphic functions under a condition where functions and their derivative share a set (rather than just sharing a value as in known results). 1. Introduction An increasing function ϕ : [0, 1) → (0, ∞) is called smoothly increasing if (1) ϕ(r)(1 − r) → ∞ as r → 1− , and ϕ(|a + z/ϕ(|a|)|) → 1, as |a| → 1− ϕ(|a|) uniformly on compact subsets of C. In 2011, Aulaskari and R¨atty¨a [1] introduced the concept of ϕ -normal meromorphic functions as follows: For a smoothly increasing function ϕ, we say that the meromorphic function f in the unit disc D is ϕ-normal if (2) (3) Ra (z) := ||f ||N ϕ := supz∈D f # (z) < ∞, ϕ(|z|) |f (z) where f # (z) := (1+|f is the spherical derivative of f. (z)|2 ) ϕ Denote by N the set of all ϕ-normal meromorphic functions on D. For each smooth increasing function ϕ, set ϕ∗ (r) := ϕ(r) + (1 − r)−1 , then ϕ∗ is also ∗ smoothly increasing and N ϕ = N ϕ . Furthermore, the function ϕ∗ satisfies the condition: ϕ∗ (r)(1 − r) ≥ 1 for all r ∈ [0, 1). Therefore, in [1], the authors ∗ Corresponding author. Email addresses: tranvantanhn@yahoo.com (T.V.Tan); nguyenvanthintn@gmail.com (N.V.Thin). 2000 Mathematics Subject Classification. Primary 30D45, 30D35. Key words: ϕ− normal function, differential algebraic equation, Nevanlinna theory. 1 2 considered that the smoothly increasing ϕ satisfies the added condition ϕ(r)(1 − r) ≥ 1 for all r ∈ [0, 1). We refer readers to [1] for comments on the concept of ϕ-normal meromorphic functions. In this paper, we consider a larger family of functions ϕ : in the above definition of smoothly increasing functions mentioned above, condition (1) is replaced by the following condition (1 ) ϕ(r)(1 − r) ≥ 1 for all r ∈ [0, 1). 1 If we take ϕ0 = 1−r then the concept ϕ0 -normal functions coincides with the concept of normal functions (note that ϕ0 does not satisfy condition (1), but it satisfies conditions (1 ) and (2)). The first main suppose of this paper is to establish the types of LohwaterPommerenke-Zalcman’s criterion (see [4], [5]) for ϕ− normal functions. Theorem 1. Let ϕ : [0, 1) → (0, ∞) be a smoothly increasing function, and let f be a meromorphic function on the unit disc D. Assume that all zeros and all poles of f have multiplicity at least p, q, respectively. Let β be a real number satisfying −p < β < q. If f is not ϕ- normal then, there exist (i) a sequence {an } ⊂ D, |an | → 1; zn ∈ D; (ii) a sequence {zn } ⊂ D with zn → z∗ ∈ D and wn := an + ϕ(|an |) (iii) a sequence {ρn }, ρn → 0+ ρn such that gn (ξ) := ρβn f (wn + ξ) → g(ξ) locally uniformly with respect to ϕ(|an |) the spherical metric, where g is a nonconstant meromorphic function on C, all of whose zeros and poles have multiplicity at least p, q respectively. We note that in the case where β = 0, the above theorem is similar to Theorem 6 in [1]. Theorem 2. Let ϕ : [0, 1) → (0, ∞) be a smoothly increasing function, and let f be a meromorphic function on the unit disc D which has all zeros with multiplicity at least k. Assume that there exists a constant A ≥ 1 such that |f (k) (z)| ≤ Aϕk (|z|) whenever f (z) = 0. If f is not ϕ− normal, then for each 0 ≤ α ≤ k, there exist, (i) a sequence {an } ⊂ D, |an | → 1; (ii) a number 0 < r < 1; zn (iii) points zn , |zn | < r satisfying wn := an + ∈ D; ϕ(|an |) (iv) a sequence {ρn }, ρn → 0+ ρn f (wn + ξ) ϕ(|an |) such that gn (ξ) = → g(ξ) locally uniformly with respect to the ραn 3 spherical metric, where g is a nonconstant meromorphic function on C, all of 3 whose zeros have multiplicity at least k, g # (ξ) ≤ g # (0) = kA + 1. 2 Remark 1. Since ϕ(|z|) ≥ 1, for all z ∈ D, the above theorem remains valid if the condition |f (k) (z)| ≤ Aϕk (|z|) whenever f (z) = 0 is replaced by the condition |f (k) (z)| ≤ A whenever f (z) = 0. By using the above types of Lohwater-Pommerenke-Zalcman’s lemma, now we establish some ϕ− normal criteria. Theorem 3. Let f be a meromorphic function on the unit disc D, all of whose zeros and poles are multiplicity at least m and n respectively, where m, n are 1 1 + < 1. Let α1 , α2 be two distinct nonzero complex positive integers satisfying m n numbers and the set S = {α1 , α2 }, and let M be positive number. If |f (z)| ≤ M ϕ(|z|) whenever f (z) ∈ S, then f is a ϕ− normal function. Take ϕ := Theorem 3. 1 1−|z| , and M := max{|α1 |, |α2 |}, we get the following corollary of Corollary 1. Let f be meromorphic function on the unit disc D, all of whose zeros and poles are multiplicity at least m and n respectively, where m, n are 1 1 + < 1. Let α1 , α2 be two distinct nonzero complex positive integers satisfying m n numbers and the set S = {α1 , α2 }. If f (z) and f (z) share S − IM (in the sense of that {z : f (z) ∈ S} = {z : f (z) ∈ S}), then f is a normal function. We would like to emphasize here that so far, there are many normal criteria for meromorphic functions under a condition where functions and their derivative share values (or share functions). Corollary 1 is the first criterion for the case where the functions and their derivative share a set. Theorem 4. Let f be an entire function in a domain D, all of whose zeros are multiplicity at least 3. let α be a nonzero complex number and M be positive number. If |f (z)| ≤ M ϕ(|z|) whenever f (z) = α, then f is a ϕ− normal function. Take ϕ := 1 1−|z| , and M := |α|, we get the following corollary of Theorem 4. Corollary 2. Let f be an entire function on the unit disc D, all of whose zeros have multiplicity at least 3, let α be a nonzero complex number. If f (z) and f (z) share α − IM (in the sense of that f (z) = α iff f (z) = α), then f is a normal function. 4 Next, we study the solution of a differential algebraic equation. We consider the following differential algebraic equation on the unit disc D. dk w dz k (4) m n = Pj (z, w)Dj [w]. j=1 m j Here, k, n are positive integers; Pj (z, w) := i=0 aij (z)wi , where aij (z) are holomorphic functions; and Dj [w] is a differential monomial in w of the form Dj [w] = ( dl w dw j1 d2 w j2 ) ( 2 ) . . . ( l )jl , dz dz dz j1 , . . . , jl ∈ N ∪ {0}. We define the weight of Dj by νj := j1 +2j2 +· · ·+ljl and the weight of P [w](z) := m j=1 Pj (z, w)Dj [w] by ν(P ) := maxj=1,...,m {νj }. Theorem 5. Asumme that nk > ν(P ) and f is a meromorphic solution of (4) such that all zeros of f have multiplicity at least k. If the coefficients {aij } satisfy the condition lim (5) |z|→1 1 ϕ(|z|) mj nk−ν(P ) |aij (z)| < +∞, max 1≤j≤m i=0 then f is ϕ− normal. We note that for the case where k = 1 the above theorem is similar to the one obtained by Aulaskari-Wulan [3] in 2001 on the strong normal criteria. In the following theorem, we examine equation (4) in the case where kn can be smaller than ν(P ). Set ΓDj = j1 + · · · + jl , ΥDj = j1 + 2j2 + · · · + ljl . Theorem 6. Assume that ΥDj ≥ 1, (ΓDj + 1)k > ΥDj , nk > max ΓDj , j=1,...,m a0j ≡ 0 for all j ∈ {1, . . . , m} and (6) lim |z|→1 1 ϕ(|z|) nk−maxj=1,...,m ΓDj mj |aij (z)| < +∞. max 1≤j≤m i=1 Assume that f is a meromorphic solution of (4) such that of zeros of f have multiplicity at least k. Then f is a ϕ− normal. Finally, we give the following estimate for the order of ϕ− normal functions. 5 Theorem 7. Let f be a ϕ− normal meromorphic function. Then, the order ρ(f ) of f satisfies log T0 (r, f ) ρ(f ) := lim sup ≤ 2χ, r→1− − log(1 − r) where χ is the order of ϕ, defined by log ϕ(r) χ = lim sup , r→1− − log(1 − r) and T0 (r, f ) is the Ahlfors-Shimizu characteristic function of f. Acknowledgements: This research is funded by Vietnam National Foundation for Science and Technology Development (NAFOSTED). The first named author was partially supported by Vietnam Institute for Advanced Study in Math´ ematics, the Institut des Hautes Etudes Scientifiques (France), and a travel grant from Simons Foundation. 2. Some Lemmas In order to prove our theorems, we need the following lemmas. Lemma 1 (Zalcman’s Lemma, see [5]). Let F be a family of meromorphic functions on the unit disc D whose all zeros and poles have multiplicity at least p, q, respectively. Let α be a real number satisfying −p < α < q. Then, F is not normal at z0 if and only if there exist (i) a number r, 0 < r < 1; (ii) points zn with |zn | < r, zn → z0 ; (iii) functions fn ∈ F; (iv) positive numbers ρn → 0+ ; such that gn (ξ) = ραn fn (zn + ρn ξ) → g(ξ) locally uniformly with respect to the spherical metric, where g is a nonconstant meromorphic function on C, all of whose zeros and poles have multiplicity at least p, q respectively. Moreover, g has order at most 2. Similarly to Theorem 3 in [1], we give the following lemma: Lemma 2. Let ϕ : [0, 1) → (0, ∞) be a smoothly increasing function, and let f is a meromorphic function on D. Then f ∈ N ϕ if and only if the family z )}a∈D is normal in D. {fa (z) := f (a + ϕ(|a|) Proof. It is clear that |a + z |z| | ≤ |a| + ≤ |a| + |z|(1 − |a|) < 1, ϕ(|a|) ϕ(|a|) 6 for all z ∈ D. Therefore, functions fa (z) (a ∈ D) are well defined on D. • Assume that f ∈ N ϕ . We have z z z f # (a + ) f # (a + ) ϕ(|a + |) ϕ(|a|) ϕ(|a|) ϕ(|a|) # (fa ) (z) = (2.1) = . . z ϕ(|a|) ϕ(|a|) ϕ(|a + |) ϕ(|a|) Therefore, by the definition of the function ϕ and since f is ϕ-normal, we have, for any compact subset K ⊂ D, Supz∈K (fa )# (z) < ∞. Thus, the family {fa (z) : a ∈ D} is normal in D. • Assume that the family {fa (z) : a ∈ D} is normal in D. If f ∈ N ϕ , then there exists a sequence {zn } ⊂ D such that limn→∞ |zn | = 1 and f # (zn ) (2.2) → ∞ as n → ∞. ϕ(|zn |) On the other hand, the family {fa (z) : a ∈ D} is normal in D. Hence, {fzn (z)}∞ n=1 is also normal in D. In particular, it is normal at z = 0. Thus, there exists a f # (zn ) constant M > 0 such that = (fzn )# (0) ≤ M. This contradicts with (2.2). ϕ(|zn |) Then, f ∈ N ϕ . We have completed the proof of Lemma 2. Lemma 3 (see [6]). Let F be a family of meromorphic functions on the unit disc, all of whose zeros have multiplicity at least k, and suppose that there exists A ≥ 1 such that |f (k) (z)| ≤ A whenever f (z) = 0. If F is not normal, then there exist, for each 0 ≤ α ≤ k, (i) a number r, 0 < r < 1, (ii) points zn , |zn | < r, (ii) functions fn ∈ F, and (iv) the sequence {ρn } → 0+ f (zn + ρn ξ) such that gn (ξ) = → g(ξ) locally uniformly with respect to the spherραn ical metric, where g is a nonconstant meromorphic function on C such that g # (ξ) ≤ g # (0) = kA + 1. 3. Proof of Theorems Proof of Theorem 1. Suppose that f is not ϕ- normal. Then by Lemma 2, the family F = {fa }a∈D is not normal (see the definition of functions {fa } in Lemma 7 2). Hence, there exists the sequence am ∈ D such that z Fam = fam : fam (z) = f (am + ) ϕ(|am |) is not normal at some point z∗ . It is clear that there exists a subsequence, denote again {aj } such that |aj | → 1− . By Lemma 1, for all −p < β < q, there exist (i) points {zn } ⊂ D with, zn → z∗ ; (ii) functions fatn ∈ Fam ; (iii) positive numbers ρn → 0+ ; such that gn (ξ) = ρβn fatn (zn + ρn ξ) locally uniformly with respect to the spherical metric, where g is a nonconstant meromorphic function on C, all of whose zeros and poles have multiplicity at least p, q respectively. zn + ρn ξ zn ). Take wn = atn + , we get We have fatn (zn + ρn ξ) = f (atn + ϕ(|atn |) ϕ(|atn |) the conclusion of Theorem 1. Proof of Theorem 2. Suppose that f is not ϕ− normal. Then by Lemma 2, we z ) : a ∈ D} is not normal in D. Thus, there have that the family {f (a + ϕ(|a|) exists the sequence am → 1− such that z ) Fam = fam : fam (z) = f (am + ϕ(|am |) is not normal in D. Then, without loss of the generality, we may assume that |am | → 1− . z ϕk (|am + |) ϕ(|am |) Since limm→∞ = 1, uniformly on compact subsets of C, ϕk (|am |) there exists a positive integer M such that z ϕk (|am + |) 3 ϕ(|am |) (3.1) ≤ k 2 ϕ (|am |) for all z ∈ D, and m ≥ M. For any m ≥ M and for any z∗ ∈ D satisfying fam (z∗ ) = 0, we have also z∗ f (am + ) = 0. Therefore, by the assumption, we have ϕ(|am |) z∗ z∗ |f (k) (am + )| ≤ Aϕk (|am + |). ϕ(|am |) ϕ(|am |) Then, by (3.1), we have |fa(k) (z∗ )| = m 1 ϕk (|am |) |f (k) (am + z∗ )| ≤ A ϕ(|am |) z∗ |) 3 ϕ(|am |) ≤ A. k 2 ϕ (|am |) ϕk (|am + Then, by Lemma 3 (for the family {fam }m≥M ), for all 0 ≤ α ≤ k, there exist: 8 (i) a number 0 < r < 1, (ii) points zn , |zn | < r, (iii) a sub-sequence, denote again by {fan }, and (iv) a sequence ρn → 0+ fa (zn + ρn ξ) such that gn (ξ) = n → g(ξ) locally uniformly with respect to the ραn spherical metric, where g is a nonconstant meromorphic function on C such that 3 g # (ξ) ≤ g # (0) = kA + 1. 2 zn + ρn ξ zn Since fan (zn +ρn ξ) = f (an + ), by taking wn = an + , we complete ϕ(|an |) ϕ(|an |) the proof of Theorem 2. Proof of Theorem 3. Suppose that f is not ϕ− normal. Then, by Theorem 1 (with β = 0), there exist: (i) a sequence {an } ⊂ D, |an | → 1; zn (ii) a sequence {zn } ⊂ D: zn → z∗ ∈ D, and wn = an + ; ϕ(|an |) (iii) the sequence ρn → 0+ ρn ξ) → g(ξ) locally uniformly with respect to such that gn (ξ) = f (wn + ϕ(|an |) the spherical metric, where g is a nonconstant meromorphic function on C, all of zeros and poles of g have multiplicity at least m and n, respectively. Claim 1: All zeros of g − αi (i = 1, 2) are multiple. Indeed, for any zero point ξ0 of g − αi (for some i ∈ {1, 2}), by Hurwitz’s theorem, there exists a sequence {ξn } → ξ0 such that f (wn + ρn ξn ) = gn (ξn ) = αi . ϕ(|an |) Then, by the assumption, we have f (wn + ρn ρn ξn ) ≤ M ϕ(|wn + ξn |). ϕ(|an |) ϕ(|an |) Hence, (3.2) ρn ρn f (wn + ξn ) ϕ(|an |) ϕ(|an |) zn + ρn ξn ϕ(|an + |) ϕ(|an |) ≤ M ρn . ϕ(|an |) |gn (ξn )| = From (3.2) and (2), we get g (ξ0 ) = lim gn (ξn ) = 0. n→∞ 9 On the other hand, since g is non-constant and all zeros of g have multiplicity at least m(≥ 2), we get that g (ξ) ≡ 0. Hence, ξ0 is a multiple zero of g − αi . Then, we get Claim 1. For each meromorphic function u, denote by Tu (r) the Nevanlinna characteristic function of u (in the disc {z : |z| < r}), and denote by N (r, u1 ) the counting funtion (counted multiplicity) of zeros (in the disc {z : |z| < r}) of u, (and by N (r, u1 )) for the case of regardless multiplicity). By the First and the Second Main Theorems (in Nevanlinna theory), we have 1 1 1 ) + N (r, ) + o(Tg (r)) 2Tg (r) ≤ N (r, g) + N (r, ) + N (r, g g − α1 g − α2 1 1 1 1 1 1 1 ) + N (r, ) + o(Tg (r)) ≤ N (r, g) + N (r, ) + N (r, n m g 2 g − α1 2 f − α2 1 1 ≤ ( + + 1)Tg (r) + o(Tg (r)). (3.3) m n 1 1 + < 1. This contradicts to the condition m n We have completed the proof of Theorem 3. Proof of Theorem 4. We can get the proof of Theorem 4 by an argument similar to the proof of Theorem 3 with the following remark: • Claim 1 is replaced by the claim: all zeros of g − α are multiple. • Inequality (3.3) is replaced by the following estimate: 1 1 Tg (r) ≤ N (r, ) + N (r, ) + o(Tg (r)) g g−α 1 1 1 1 ≤ N (r, ) + N (r, ) + o(Tg (r)) 3 g 2 g−α 5 ≤ Tg (r) + o(Tg (r)). 6 This is a contradiction. Proof of Theorem 5. Assume that f be a solution of equation (4) all of whose zeros have multiplicity at least k, but f is not ϕ- normal. By Theorem 1 (with β = 0), there exist: (i) a sequence {av } ⊂ D, |av | → 1; zv (ii) a sequence {zv } ⊂ D, zv → z∗ ∈ D, and wv = av + ; ϕ(|av |) (iii) a sequence ρv → 0+ ρv such that gv (ξ) = f (wv + ξ) → g(ξ) locally uniformly with respect to the ϕ(|av |) spherical metric, where g is a nonconstant meromorphic function on C. 10 Since all zeros of f have multiplicity at least k, and by Hurwitz’s theorem, all zeros of g also have multiplicity at least k. Hence, there exist ξ0 ∈ C such that g (k) (ξ0 ) = 0. (3.4) Indeed, otherwise if g (k) (ξ) ≡ 0, then g is a (non-constant) polynomial with degree at most k − 1. This contradicts to the fact that all zeros of g have multiplicity at least k. We have − ρv ρv gv( ) (ξ) = f ( ) (wv + ξ), for all ∈ N∗ . ϕ(|av |) ϕ(|av |) Therefore, since f is a solution of equation (4), we get ρv ϕ(|av |) −k gv(k) (ξ0 ) n m ≤ Pj (wv + j=1 ρv ρv ξ0 , gv (ξ0 )) |Dj [gv ](ξ0 )| ϕ(|av |) ϕ(|av |) −νj . This implies that gv(k) (ξ0 ) n m ≤ Pj (wv + ρv ρv ξ0 , gv (ξ0 )) |Dj [gv ](ξ0 )| ϕ(|av |) ϕ(|av |) nk−νj ρv ρv ξ0 , gv (ξ0 )) |Dj [gv ](ξ0 )| ϕ(|av |) ϕ(|av |) nk−ν(P ) Pj (wv + j=1 m ≤ j=1 , (the last inequality holds for all v >> 0). Thus, there exist a constant M > 0 such that (3.5) gv(k) (ξ0 ) n ) ≤ M ρnk−ν(P v 1 ϕ(|av |) nk−ν(P ) mj · max 1≤j≤m aij (wv + i=0 ρv ξ0 ) , ϕ(|av |) (note that gv (ξ0 ) → g(ξ0 ) and Dj [gv ](ξ0 ) → Dj [g](ξ0 ), hence, they have an upper bound). This implies (3.6) mj ρv zv + ρv ξ0 max aij (wv + ξ0 ) ϕ a + v n nk−ν(P ) 1≤j≤m i=0 ϕ(|av |) ϕ(|av |) (k) nk−ν(P ) gv (ξ0 ) ≤ M ρv · . nk−ν(P ) ρv ϕ(|av |) ϕ( wv + ξ0 ) ϕ(|av |) On the other hand, by the definition of function ϕ (condition (2)), we have zv + ρv ξ0 ϕ av + ϕ(|av |) (3.7) lim = 1, v→∞ ϕ(|av |) (note that zv + ρv ξ0 ∈ D for v >> 0). 11 Therefore, by (5) and by taking limits both sides in (3.6), we get that g (k) (ξ0 ) = (k) limv→∞ gv (ξ0 ) = 0 (note that nk > ν(P )). This contradicts to (3.4). We have completed the proof of Theorem 5. Proof of Theorem 6. It is clear that m j=1 Pj (z, f )Dj [f ] = 0 on {z : f (z) = 0} (note that a0j ≡ 0 for j = 1, . . . , m). Thus for a solution f of (4), we have |f (k) (z)| = 0 < 1 for all z such that f (z) = 0. Hence, if f is not ϕ-normal. Then, by Theorem 2 (for α = k) and Remark 1, there exist (i) a sequence {av } ⊂ D, |av | → 1; (ii) a number 0 < r < 1; zv ; (iii) points zv , |zv | < r, and wv = av + ϕ(|av |) (iv) a sequence ρv → 0+ ρv f (wv + ξ) ϕ(|av |) → g(ξ) locally uniformly with respect to such that gv (ξ) = ρkv the spherical metric, where g is a nonconstant meromorphic function on C, all of whose zeros have multiplicity at least k. By an argument as in the proof of Theorem 5, there exists ξ0 ∈ C such that g (k) (ξ0 ) = 0. (3.8) We have j (j) (j) ρk−j (wv + v ϕ (|av |)gv (ξ) = f ρv ξ), ϕ(|av |) for all j ∈ N∗ . Therefore, since f is a solution of (4), we have m |ϕ(|av |) nk (gv(k) )n (ξ0 )| ≤ Pj (wv + j=1 ΓD k−ΥDj ρv Γ ξ0 , gv (ξ0 )) |Dj [gv ](ξ0 )|ϕ(|av |) Dj ρv j . ϕ(|av |) Thus, there exist a constant M > 0 such that (3.9) min j=1,...,m |(gv(k) )n (ξ0 )| ≤ M ρv {(ΓDj +1)k−ΥDj } 1 ϕ(|av |) nk− max mj · max 1≤j≤m aij (wv + i=0 j=1,...,m ΓDj ρv ξ0 ) . ϕ(|av |) 12 This implies (3.10) min j=1,...,m |(gv(k) )n (ξ0 )| ≤ M ρv mj i=1 max · {(ΓDj +1)k−ΥDj } 1≤j≤m ϕ( wn + aij (wn + ρn ξ0 ) ϕ(|an |) zn + ρn ξ0 ϕ(|an |) ϕ(|an |) ϕ an + ρn ξ0 ) ϕ(|an |) nk− max j=1,...,m nk− max j=1,...,m ΓDj . ΓDj On the other hand, by the definition of ϕ (and note that zv + ρv ξ0 ∈ D for v >> 0), we have zv + ρv ξ0 ϕ(|av |) ϕ(|av |) ϕ av + lim v→∞ = 1. (k) Hence, by taking limits both sides in (3.10), we get g (k) (ξ0 ) = limv→∞ gv (ξ0 ) = 0, which contradicts to (3.8). We have completed the proof of Theorem 6. Proof of Theorem 7. Since f is ϕ− normal, there exist a constant M > 0 such that f # (z) ≤ M ϕ(|z|), for all z ∈ D Then, we have S(t) = 1 π |f # (z)|2 dxdy ≤ |z|≤t M2 π ϕ2 (|z|)dxdy. |z|≤t On the other hand, ϕ is a increasing function. Hence, we have ϕ2 (t)dxdy = M 2 ϕ2 (t)t2 . S(t) ≤ |z|≤t By the definition of the Ahlfors-Shimizu characteristic function, we have r T0 (r, f ) = 0 S(t) dt ≤ M 2 t r ϕ2 (t)tdt 0 2 2 = O r ϕ (r) . Hence, ρ(f ) = lim sup r→1− log T0 (r, f ) log ϕ2 (r) ≤ lim sup = 2χ. − log(1 − r) r→1− − log(1 − r) 13 References .. .. [1] R. Aulaskari and J. Rattya, Properties of meromorphic ϕ -normal function, J. Michigan. Math, 60(2011), 93-111. .. .. [2] R. Aulaskari, S. Makhmutov and J. Rattya, Results on meromorphic φ-normal functions, Complex Variable and Elliptic Equations , 54(2009), 855-863. [3] R. Aulaskari and H. Wulan, A Version of the Lohwater-Pommerenke Theorem for Strongly Normal Functions, Computational Methods and Function Theory, 1(2001), 99-105. [4] A.J. Lohwater and Ch. Pommerenke, On meromorphic functions, Ann. Acad. Sci. Fenn. Ser. A I Math. 550(1973),1-12. [5] L. Zalcman, Normal families: New perspective, Bull. Amer. Mat. Soc, 35(1998), 215-230. [6] X. Pang and L. Zalcman, Normal families and shared values, Bull. London. Math. Soc, 32(2000), 325-331. A Department of Mathematics, Hanoi National University of Education, 136 Xuan Thuy Street, Cau Giay, Hanoi, Viet Nam. B Department of Mathematics, Thai Nguyen University of Education, Luong Ngoc Quyen Street, Thai Nguyen City, Vietnam [...]... Results on meromorphic φ -normal functions, Complex Variable and Elliptic Equations , 54(2009), 855-863 [3] R Aulaskari and H Wulan, A Version of the Lohwater-Pommerenke Theorem for Strongly Normal Functions, Computational Methods and Function Theory, 1(2001), 99-105 [4] A.J Lohwater and Ch Pommerenke, On meromorphic functions, Ann Acad Sci Fenn Ser A I Math 550(1973),1-12 [5] L Zalcman, Normal families: New... f (z) = 0 Hence, if f is not ϕ -normal Then, by Theorem 2 (for α = k) and Remark 1, there exist (i) a sequence {av } ⊂ D, |av | → 1; (ii) a number 0 < r < 1; zv ; (iii) points zv , |zv | < r, and wv = av + ϕ(|av |) (iv) a sequence ρv → 0+ ρv f (wv + ξ) ϕ(|av |) → g(ξ) locally uniformly with respect to such that gv (ξ) = ρkv the spherical metric, where g is a nonconstant meromorphic function on C, all... the Ahlfors-Shimizu characteristic function, we have r T0 (r, f ) = 0 S(t) dt ≤ M 2 t r ϕ2 (t)tdt 0 2 2 = O r ϕ (r) Hence, ρ(f ) = lim sup r→1− log T0 (r, f ) log ϕ2 (r) ≤ lim sup = 2χ − log(1 − r) r→1− − log(1 − r) 13 References [1] R Aulaskari and J Rattya, Properties of meromorphic ϕ -normal function, J Michigan Math, 60(2011), 93-111 [2] R Aulaskari, S Makhmutov and J Rattya, Results on meromorphic. ..11 Therefore, by (5) and by taking limits both sides in (3.6), we get that g (k) (ξ0 ) = (k) limv→∞ gv (ξ0 ) = 0 (note that nk > ν(P )) This contradicts to (3.4) We have completed the proof of Theorem 5 Proof of Theorem 6 It is clear that m j=1 Pj (z, f )Dj [f ] = 0 on {z : f (z) = 0} (note that a0j ≡ 0 for j = 1, , m) Thus for a solution f of (4), we have |f (k) (z)| = 0 < 1 for all z such... definition of ϕ (and note that zv + ρv ξ0 ∈ D for v >> 0), we have zv + ρv ξ0 ϕ(|av |) ϕ(|av |) ϕ av + lim v→∞ = 1 (k) Hence, by taking limits both sides in (3.10), we get g (k) (ξ0 ) = limv→∞ gv (ξ0 ) = 0, which contradicts to (3.8) We have completed the proof of Theorem 6 Proof of Theorem 7 Since f is ϕ− normal, there exist a constant M > 0 such that f # (z) ≤ M ϕ(|z|), for all z ∈ D Then, we have S(t) = 1... have multiplicity at least k By an argument as in the proof of Theorem 5, there exists ξ0 ∈ C such that g (k) (ξ0 ) = 0 (3.8) We have j (j) (j) ρk−j (wv + v ϕ (|av |)gv (ξ) = f ρv ξ), ϕ(|av |) for all j ∈ N∗ Therefore, since f is a solution of (4), we have m |ϕ(|av |) nk (gv(k) )n (ξ0 )| ≤ Pj (wv + j=1 ΓD k−ΥDj ρv Γ ξ0 , gv (ξ0 )) |Dj [gv ](ξ0 )|ϕ(|av |) Dj ρv j ϕ(|av |) Thus, there exist a constant... and Ch Pommerenke, On meromorphic functions, Ann Acad Sci Fenn Ser A I Math 550(1973),1-12 [5] L Zalcman, Normal families: New perspective, Bull Amer Mat Soc, 35(1998), 215-230 [6] X Pang and L Zalcman, Normal families and shared values, Bull London Math Soc, 32(2000), 325-331 A Department of Mathematics, Hanoi National University of Education, 136 Xuan Thuy Street, Cau Giay, Hanoi, Viet Nam B Department ... f (z) ∈ S}), then f is a normal function We would like to emphasize here that so far, there are many normal criteria for meromorphic functions under a condition where functions and their derivative... condition ϕ(r)(1 − r) ≥ for all r ∈ [0, 1) We refer readers to [1] for comments on the concept of ϕ -normal meromorphic functions In this paper, we consider a larger family of functions ϕ : in the... multiplicity at least k Then f is a ϕ− normal Finally, we give the following estimate for the order of ϕ− normal functions 5 Theorem Let f be a ϕ− normal meromorphic function Then, the order ρ(f

Ngày đăng: 14/10/2015, 08:22

TỪ KHÓA LIÊN QUAN