The cancellation of Fourier coefficients of cusp forms over different sparse sequences

Let λ f(n) be the n-th normalized Fourier coefficient of a holomorphic Hecke eigenform f(z)∈Sk(Γ).In this paper,we established nontrivial estimates for ∑n≤xλf(ni)λf(nj),where 1 ≤ i j ≤ 4.     

The first moment of the symmetric-square L-function

We find a twisted first moment of L(sym²f,s) at any point s on the critical line, over a basis of weight k Hecke eigenforms f for the full modular group, as k→∞. As a corollary we show that given any point on the critical line and large enough even k, there exists an eigenform f of weight k such that L(sym²f,s) is nonvanishing at that point.     

Meromorphic Functions That Share Fixed-Points

In this paper, we prove the following result: Let f(z) and g(z) be two nonconstant meromorphic(entire) functions, n ≥ 11(n ≥ 6) a positive integer. If fⁿ(z)f′(z) and gⁿ(z)g′(z) have the same fixed-points, then either f(z) = c₁e^cz2, g(z) = c₂e^− cz2, where c₁, c₂, and c are three constants satisfying 4(c₁c₂)^n + 1c² = −1, or f(z) ≡ tg(z) for a constant t such that t^n + 1 = 1.     

Differential operators and entire functions with simple real zeros

Let ? and f be functions in the Laguerre-Pólya class. Write ?(z)=e−αz²?₁(z) and f(z)=e−βz²f₁(z), where ?₁ and f₁ have genus 0 or 1 and α,β?0. If αβ<1/4 and ? has infinitely many zeros, then ?(D)f(z) has only simple real zeros, where D denotes differentiation.     

On Bernstein's inequality for entire functions of exponential type

It was shown by S.N. Bernstein that if f is an entire function of exponential type τ such that |f(x)|?M for −∞<x<∞, then |f^′(x)|?Mτ for −∞<x<∞. If p is a polynomial of degree at most n with |p(z)|?M for |z|=1, then f(z):=p(eiz) is an entire function of exponential type n with |f(x)|?M on the real axis. Hence, by the just mentioned inequality for functions of exponential type, |p^′(z)|?Mn for |z|=1. Lately, many papers have been written on polynomials p that satisfy the condition znp(1/z)≡p(z). They do form an intriguing class. If a polynomial p satisfies this condition, then f(z):=p(eiz) is an entire function of exponential type n that satisfies the condition f(z)≡einzf(−z). This led Govil [N.K. Govil, Lp inequalities for entire functions of exponential type, Math. Inequal. Appl. 6 (2003) 445-452] to consider entire functions f of exponential type satisfying f(z)≡eiτzf(−z) and find estimates for their derivatives. In the present paper we present some additional observations about such functions.     

Nonvanishing of Rankin–Selberg L-functions for Hilbert modular forms

Let F be a totally real number field of degree n over $\mathbb{Q}$ with ring of integers $\mathcal{O}$ and narrow class number one. Let S _2k (Γ) be the vector space of cuspidal Hilbert modular forms of parallel weight 2k for $\varGamma=\mathrm{SL}_{2}(\mathcal{O})$ , and let B _2k be an orthogonal Hecke eigenbasis for this space. For any fixed Hecke eigenform f∈S _2k (Γ) and any ε>0, we prove that $$\# \biggl\{ g \in B_{2k}: L \biggl(f \times g, \frac{1}{2} \biggr) \ne0 \biggr\} \gg k^{n- \varepsilon}, $$ where L(f×g,s) is the Rankin–Selberg L–function of f and g.     

Coefficients of Drinfeld modular forms and Hecke operators

Consider the space of Drinfeld modular forms of fixed weight and type for Γ₀(n)⊂GL₂(Fq[T]). It has a linear form bn, given by the coefficient of tm+n(q−1) in the power series expansion of a type m modular form at the cusp infinity, with respect to the uniformizer t. It also has an action of a Hecke algebra. Our aim is to study the Hecke module spanned by b₁. We give elements in the Hecke annihilator of b₁. Some of them are expected to be nontrivial and such a phenomenon does not occur for classical modular forms. Moreover, we show that the Hecke module considered is spanned by coefficients bn, where n runs through an infinite set of integers. As a consequence, for any Drinfeld Hecke eigenform, we can compute explicitly certain coefficients in terms of the eigenvalues. We give an application to coefficients of the Drinfeld Hecke eigenform h.     

Products of nearly holomorphic eigenforms

We prove that the product of two nearly holomorphic Hecke eigenforms is again a Hecke eigenform for only finitely many choices of factors.     

Determining modular forms on $${S L_2(\mathbb{Z})}$$ by central values of convolution L-functions

We show that a cuspidal normalized Hecke eigenform g of level one and even weight is uniquely determined by the central values of the family of Rankin– Selberg L-functions \({L(s, f\otimes g)}\) , where f runs over the Hecke basis of the space of cusp forms of level one and weight k with k varying over an infinite set of even integers.     

Meromorphic functions sharing two small functions with its derivative

In this paper, we find all the forms of meromorphic functions f(z) that share the value 0 CM^∗, and share b(z)IM^∗ with g(z)=a₁(z)f(z)+a₂(z)f^′(z). And a₁(z), a₂(z) and b(z) (a₂(z),b(z)?0) be small functions with respect to f(z). As an application, we show that some of nonlinear differential equations have no transcendental meromorphic solution.     

Univalence criterion and convexity for an integral operator

For analytic functions f and g in the open unit disk U, a new integral operator I₁(f,g)(z) is introduced. The main object of this paper is to obtain a univalence condition and the order of convexity for the integral operator I₁(f,g)(z).     

On the rank of odd hyper-quasi-polynomials

Given any nonzero entire function g: ? → ?, the complex linear space F(g) consists of all entire functions f decomposable as f(z + w)g(z - w)=φ₁(z)ψ₁(w)+???+ φ_n(z)ψ_n(w) for some φ₁, ψ₁, …, φ_n, ψ_n: ? → ?. The rank of f with respect to g is defined as the minimum integer n for which such a decomposition is possible. It is proved that if g is an odd function, then the rank any function in F(g) is even.     

Estimates for the zeros of differences of meromorphic functions

Let f be a transcendental meromorphic function and g(z)=f(z+c1)+f(z+c2)-2f(z) and g2(z)=f(z+c1)·f(z+c2)-f2(z).The exponents of convergence of zeros of differences g(z),g2(z),g(z)/f(z),and g2(z)/f2(z) are estimated accurately.     

Isotoping Heegaard surfaces in neat positions with respect to critical distance Heegaard surfaces

Suppose a closed orientable 3-manifold M has a genus g Heegaard surface P with distance d(P)=2g. Let Q be another genus g Heegaard surface which is strongly irreducible. Then we show that there is a height function f:M→I induced from P such that by isotopy, Q is deformed into a position satisfying the following; (1) fQ_| has 2g+2 critical points p₀,p₁,…,p2g+1 with f(p₀)<f(p₁)<?<f(p2g+1) where p₀ is a minimum and p2g+1 is a maximum, and p₁,…,p2g are saddles, (2) if we take regular values ri (i=1,…,2g+1) such that f(pi−1)<ri<f(pi), then f−1(ri)∩Q consists of a circle if i is odd, and f−1(ri)∩Q consists of two circles if i is even.     

The generalized Roper-Suffridge extension operator

Let f(z) be a normalized convex (starlike) function on the unit disc D. Let , where z=(z₁,z₂,…,z_n), z₁∈D, , p_i?1, i=2,…,n, are real numbers. In this note, we prove that Φ(f)(z)=(f(z₁),f′(z₁)^1/p₂z₂,…,f′(z₁)^1/p_nz_n) is a normalized convex (starlike) mapping on Ω, where we choose the power function such that (f′(z₁))^1/p_i|_z1=0=1, i=2,…,n. Some other related results are proved.     

Sharpened forms of the generalized Schwarz inequality on the boundary

In this paper, a boundary version of the Schwarz inequality is investigated. We obtain more general results at the boundary. If we know the second coefficient in the expansion of the function f(z) = 1 + c_pz^p + c_{p + 1}z^{p + 1}…, then we obtain new inequalities of the Schwarz inequality at boundary by taking into account c_{p + 1} and zeros of the function f(z) ? 1. The sharpness of these inequalities is also proved.     

Meromorphic functions sharing small functions

Let f and g be meromorphic functions sharing four small functions a₁, a₂, a₃, a₄ a_1, a_2, a_3, a_4 ignoring multiplicities. If there is a small function a₅a_5 distinct from a_j, j=1, 2, 3, 4, a_j, j=1, 2, 3, 4, such that [`(N)](r,f=a<sub>5</sub>=g) 1 S(r,f) \overline {N}(r,f=a_5=g)\ne S(r,f) , then f=g f=g , where [`(N)](r,f=a₅=g) \overline{N}(r,f=a_5=g) is the counting function of those common zeros of f(z)-a₅(z) f(z)-a_5(z) and g(z)-a₅(z) g(z)-a_5(z) counted only once ignoring multiplicities.     

Exponential polynomials as solutions of certain nonlinear difference equations

Recently, C.-C. Yang and I. Laine have investigated finite order entire solutions f of nonlinear differential-difference equations of the form fn + L(z, f ) = h, where n ≥ 2 is an integer. In particular, it is known that the equation f(z)2 + q(z)f (z + 1) = p(z), where p(z), q(z) are polynomials, has no transcendental entire solutions of finite order. Assuming that Q(z) is also a polynomial and c ∈ C, equations of the form f(z)n + q(z)e Q(z) f(z + c) = p(z) do posses finite order entire solutions. A classification of these solutions in terms of growth and zero distribution will be given. In particular, it is shown that any exponential polynomial solution must reduce to a rather specific form. This reasoning relies on an earlier paper due to N. Steinmetz.     

Finite-to-one maps into Euclidean manifolds and spaces with disjoint disks properties

It is shown that every Euclidean manifold M has the following property for any m?1: If f:X→Y is a perfect surjection between finite-dimensional metric spaces, then the mapping space C(X,M) with the source limitation topology contains a dense Gδ-subset of maps g such that dimBm(g)?mdimf+dimY−(m−1)dimM. Here, Bm(g)={(y,z)∈Y×M||f−1(y)∩g−1(z)|?m}. The existence of residual sets of finite-to-one maps into product of manifolds and spaces having disjoint disks properties is also obtained.     

A normal criterion about two families of meromorphic functions concerning shared values

In this paper, we mainly discuss the normality of two families of functions concerning shared values and proved: Let F and G be two families of functions meromorphic on a domain D■C,a1, a2, a3, a4 be four distinct finite complex numbers. If G is normal, and for every f ∈ F , there exists g ∈ G such that f(z) and g(z) share the values a1, a2, a3, a4, then F is normal on D.