- Research
- Open Access
Normal families and asymptotic behaviors for solutions of certain Laplace equations
- Zhenhai Yan^{1} and
- Beatriz Ychussie^{2}Email author
https://doi.org/10.1186/s13662-015-0564-x
© Yan and Ychussie 2015
- Received: 25 February 2015
- Accepted: 3 July 2015
- Published: 22 July 2015
Abstract
In this paper, we consider some problems of normal families for solutions of certain Laplace with their derivatives that share a constant. We prove some results which are improvements of some earlier related theorems. Meanwhile, asymptotic behaviors of them are also obtained.
Keywords
- asymptotic behavior
- Laplace equation
- normal family
1 Introduction and results
Let D be a domain in \(\mathbb{C}\). Let \(\mathscr{F}\) be a solution of certain Laplace equations defined in the domain D. \(\mathscr{F}\) is said to be normal in D, in the sense of Montel, if for any sequence \(\{f_{n}\}\subset\mathscr{F}\), there exists a subsequence \(\{f_{n_{j}}\}\) such that \(f_{n_{j}}\) converges spherically locally uniformly in D to a meromorphic function or ∞.
Let \(g(z)\) be a solution of certain Laplace equations and a be a finite complex number. If \(f(z)\) and \(g(z)\) have the same zeros, then we say that they share a IM (ignoring multiplicity) (see [1, 2]).
In 2009, Schiff [3] proved the following result.
Theorem A
Let f be a transcendental meromorphic function in the complex plane. Let n, k be two positive integers such that \(n\geq k+1\), then \((f^{n})^{(k)}\) assumes every finite non-zero value infinitely often.
Corresponding to Theorem A, there are the following theorems about normal families in [4].
Theorem B
Let \(\mathscr{F}\) be a family of meromorphic functions in D. Let n, k be two positive integers such that \(n\geq k+3\). If \((f^{n})^{(k)}\neq1\) for each function \(f\in\mathscr{F}\), then \(\mathscr{F}\) is normal in D.
Recently, corresponding to Theorem B, Xue [5] proved the following result.
Theorem C
Let \(\mathscr{F}\) be a family of meromorphic functions in D. Let n, k be two positive integers such that \(n\geq k+2\). Let \(a\neq0\) be a finite complex number. If \((f^{n})^{(k)}\) and \((g^{n})^{(k)}\) share a in D for each pair of functions f and g in \(\mathscr{F}\), then \(\mathscr{F}\) is normal in D.
Lei, Yang and Fang [6] proved the following theorem.
Theorem D
Let f be a transcendental meromorphic function in the complex plane. Let k be a positive integer. Let \(L[f]=a_{k}f^{(k)}+a_{k-1}f^{(k-1)}+\cdots+a_{0}f\), where \(a_{0}, a_{1},\ldots, a_{k}\) are small functions and \(a_{j}\) (≢0) (\(j=1,2,\ldots,k\)). For \(c\neq0, \infty\), let \(F=f^{n}L[f]-c\), where n is a positive integer. Then, for \(n\geq2\), \(F=f^{n}L[f]-c\) has infinitely many zeros.
From Theorem D, we immediately obtain the following result.
Corollary D
Let f be a transcendental meromorphic function in the complex plane. Let c be a finite complex number such that \(c\neq0\). Let n, k be two positive integers. Then, for \(n\geq\frac{1+\sqrt{1+4k(k+1)^{2}}}{2k}\), \(f^{n}f^{(k)}-c\) has infinitely many zeros.
From Corollary D, it is natural to ask whether Corollary D can be improved by the idea of sharing values similarly with Theorem C? In this paper we investigate the problem and obtain the following result.
Theorem 1
Let \(\mathscr{F}\) be a family of meromorphic functions in D. Let n, k be two positive integers such that \(n\geq\frac{1+\sqrt{1+4k(k+1)^{2}}}{2k}\). Let a be a finite complex number such that \(a\neq0\). If, for each \(f\in\mathscr{F}\), f has only zeros of multiplicity at least k. If \(f^{n}f^{(k)}\) and \(g^{n}g^{(k)}\) share a in D for every pair of functions \(f, g\in\mathscr{F}\), then \(\mathscr{F}\) is normal in D.
Remark 1
From Theorem 1, it is easy to see \(\frac{1+\sqrt{1+4k(k+1)^{2}}}{2k}\geq2\) for any positive integer k.
Example 1
Example 2
Example 3
2 Lemmas
In order to prove our theorem, we need the following lemmas.
Lemma 2.1
- (1)
a number \(r\in(0,1)\);
- (2)
a sequence of complex numbers \(z_{n}\), \(|z_{n}|< r\);
- (3)
a sequence of functions \(f_{n}\in\mathscr{F}\);
- (4)
a sequence of positive numbers \(\rho_{n}\rightarrow0^{+}\);
Lemma 2.2
Let n, k be two positive integers such that \(n\geq\frac{1+\sqrt{1+4k(k+1)^{2}}}{2k}\), and let \(a\neq0\) be a finite complex number. If f is a rational but not a polynomial meromorphic function and f has only zeros of multiplicity at least k, then \(f^{n}f^{(k)}-a\) has at least two distinct zeros.
Proof
If \(f^{n}f^{(k)}-a\) has zeros and has exactly one zero.
By \(a\neq0\), we obtain \(z_{0}\neq\alpha_{i} \) (\(i=1,\ldots,s\)), where B is a non-zero constant.
Now we distinguish two cases.
Case 2. If \(l= N\), then we distinguish two subcases.
Subcase 2.1. If \(M\geq N\), by (2.9) and (2.10), we obtain \(\sum_{i=1}^{s}(M_{i}-1)\leq\deg g_{2}=t\). So \(M-s-\deg(g)\leq t\) and \(M\leq s+t+\deg(g)\leq(k+1)(s+t)-k<(k+1)(s+t)\), then this is impossible, which is similar to Case 1.
If \(f^{n}f^{(k)}-a\neq0\). We know f is rational but not a polynomial, then \(f^{n}f^{(k)}\) is rational but not a polynomial. At this moment, \(l=0\) for (2.8), proceeding as above in Case 1, we have a contradiction. □
3 Proof of Theorem 1
- (1)
a number \(r\in(0,1)\);
- (2)
a sequence of complex numbers \(z_{j}\), \(z_{j}\rightarrow0\) (\(j\rightarrow\infty\));
- (3)
a sequence of functions \(f_{j}\in\mathscr{F}\);
- (4)
a sequence of positive numbers \(\rho_{j}\rightarrow0^{+}\)
By Hurwitz’s theorem, the zeros of \(g(\xi)\) are at least k multiple.
If \(g^{n}(\xi)(g^{(k)}(\xi))\equiv a\) (≠0) and g has only zeros of multiplicity at least k, then g has no zeros. From \(g^{n}g^{(k)}\) having no zeros and \(g^{n}(\xi)(g^{(k)}(\xi))\equiv a\), we know that g has no poles. Because \(g(\xi)\) is a non-constant meromorphic function in \(\mathbb{C}\) and g has order at most 2, we obtain \(g(\xi)=e^{d\xi^{2}+h\xi+c}\), where d, h, c are constants and \(dh\neq0\). So \(g^{n}(\xi)(g^{(k)}(\xi))\not\equiv a\), which is a contradiction.
When \(g^{n}(\xi)(g^{(k)}(\xi))-a\neq0\), (\(a\neq0\)), we distinguish three cases.
Case 1. If g is a transcendental meromorphic function, by Corollary D, this is a contradiction.
Case 2. If g is a polynomial, the zeros of \(g(\xi)\) are at least k multiple and \(n\geq\frac{1+\sqrt{1+4k(k+1)^{2}}}{2k}\), then \(g^{n}(\xi)(g^{(k)}(\xi))-a=0\) must have zeros, which is a contradiction.
Case 3. If g is a non-polynomial rational function, by Lemma 2.2, which is a contradiction.
Since the zeros of \(f_{m}^{n}(0)(f^{(k)}_{m}(0))-a\) have no accumulation point, we have \(z_{j}+\rho_{j}\xi_{j}= 0\) and \(z_{j}+\rho_{j}\xi_{j}^{*}= 0\).
From the above, we know \(g^{n}g^{(k)}-a\) has just a unique zero. If g is a transcendental meromorphic function, by Corollary D, then \(g^{n}g^{(k)}-a= 0\) has infinitely many solutions, which is a contradiction.
From the above, we know \(g^{n}g^{(k)}-a\) has just a unique zero. If g is a polynomial, then we set \(g^{n}g^{(k)}-a=K(z-z_{0})^{l}\), where K is a non-zero constant and l is a positive integer. Because the zeros of \(g(\xi)\) are at least k multiple and \(n\geq\frac{1+\sqrt{1+4k(k+1)^{2}}}{2k}\), then we obtain \(l\geq3\). Then \([g^{n}g^{(k)}]'=Kl(z-z_{0})^{l-1}\) (\(l-1\geq2\)). But \([g^{n}g^{(k)}]'\) has exactly one zero, so \(g^{n}g^{(k)}\) has the same zero \(z_{0}\) too. Hence \(g^{n}g^{(k)}(z_{0})=0\), which redcontradicts with \(g^{n}g^{(k)}(z_{0})=a\neq0\).
If g is a rational function but not a polynomial, by Lemma 2.2, then \(g^{n}g^{(k)}-a=0\) at least has two distinct zeros, which is a contradiction.
4 Discussion
In 2013, Ren [9] proved the following theorem.
Theorem E
Let \(\mathscr{F}\) be a family of meromorphic functions in D, n be a positive integer and a, b be two constants such that \(a\neq0,\infty\) and \(b\neq\infty\). If \(n\geq3\) and for each function \(f\in\mathscr{F}\), \(f'-af^{n}\neq b\), then \(\mathscr{F}\) is normal in D.
Recently, Ren and Yang [4] improved Theorem E by the idea of shared values. Meanwhile, Yang and Ren [10] also proved the following theorem with some new ideas.
Theorem F
Let \(\mathscr{F}\) be a family of meromorphic functions in D, n be a positive integer and a, b be two constants such that \(a\neq0,\infty\) and \(b\neq\infty\). If \(n\geq4\) and for each pair of functions f and g in \(\mathscr{F}\), \(f'-af^{n}\) and \(g'-ag^{n}\) share the value b, then \(\mathscr{F}\) is normal in D.
By Theorem 1, we immediately obtain the following result.
Corollary 1
Let \(\mathscr{F}\) be a family of meromorphic functions in a domain D and each f has only zeros of multiplicity at least \(k+1\). Let n, k be positive integers and \(n\geq\frac{1+\sqrt{1+4k(k+1)^{2}}}{2k}\) and let \(a\neq0, \infty\) be a complex number. If \(f^{(k)}-af^{-n}\) and \(g^{(k)}-ag^{-n}\) share 0 for each pair of functions f and g in \(\mathscr {F}\), then \(\mathscr{F}\) is normal in D.
Remark 3
Obviously, for \(k=1\) and \(b=0\), Corollary 1 occasionally investigates the situation when the power of f is negative in Theorem F.
Recently, Yang and Ren [10] proved the following result.
Theorem G
Let \(\mathscr{F}\) be a family of meromorphic functions in the plane domain D. Let n be a positive integer such that \(n\geq2\). Let a be a finite complex number such that \(a\neq0\). If \(f^{n}f'\) and \(g^{n}g'\) share a in D for every pair of functions \(f, g\in\mathscr{F}\), then \(\mathscr{F}\) is normal in D.
Remark 4
Obviously, our result which has the more extensive form improves Theorems C and G in some sense.
Remark 5
For further study, we pose a question.
Question 1
Does the conclusion of Theorem 1 still hold for \(n\geq2\)?
Declarations
Acknowledgements
This work was completed while the corresponding author was visiting the Department of Mathematical Sciences at the Columbia University, and he is grateful for the kind hospitality of the Department.
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.
Authors’ Affiliations
References
- Drasin, D: Normal families and Nevanlinna theory. Acta Math. 122, 231-263 (1969) MathSciNetView ArticleGoogle Scholar
- Schwick, W: Sharing values and normality. Arch. Math. 59, 50-54 (1992) MathSciNetView ArticleGoogle Scholar
- Schiff, J: Normal Families. Springer, Berlin (1993) View ArticleGoogle Scholar
- Ren, YD, Yang, P: Growth estimates for modified Neumann integrals in a half space. J. Inequal. Appl. 2013, Article ID 572 (2013) MathSciNetView ArticleGoogle Scholar
- Xue, GX: Rarefied sets at infinity associated with the Schrödinger operator. J. Inequal. Appl. 2014, Article ID 247 (2014) View ArticleGoogle Scholar
- Lei, CL, Yang, DG, Fang, ML: Normal families and shared values of meromorphic functions. J. Math. Anal. Appl. 364, 143-150 (2010) MathSciNetView ArticleGoogle Scholar
- Xue, GX: A remark on the a-minimally thin sets associated with the Schrödinger operator. Bound. Value Probl. 2014, Article ID 133 (2014) View ArticleGoogle Scholar
- Zalcman, L: Normal families: new perspectives. Bull. Am. Math. Soc. 35, 215-230 (1998) MathSciNetView ArticleGoogle Scholar
- Ren, YD: Solving integral representations problems for the stationary Schrödinger equation. Abstr. Appl. Anal. 2013, Article ID 715252 (2013) Google Scholar
- Yang, DW, Ren, YD: Dirichlet problem on the upper half space. Proc. Indian Acad. Sci. Math. Sci. 124(2), 175-178 (2014) MathSciNetView ArticleGoogle Scholar