The transcendental meromorphic solutions of a certain type of nonlinear differential equations

In this paper, we study the differential equations of the following form w²+R(z)²(w(k))=Q(z), where R(z), Q(z) are nonzero rational functions. We proved the following three conclusions: (1) If either P(z) or Q(z) is a nonconstant polynomial or k is an even integer, then the differential equation w²+P²(z)²(w(k))=Q(z) has no transcendental meromorphic solution; if P(z), Q(z) are constants and k is an odd integer, then the differential equation has only transcendental meromorphic solutions of the form f(z)=acos(bz+c). (2) If either P(z) or Q(z) is a nonconstant polynomial or k>1, then the differential equation w²+(z−z₀)P²(z)²(w(k))=Q(z) has no transcendental meromorphic solution, furthermore the differential equation w²+A(z−z₀)²(w^′)=B, where A, B are nonzero constants, has only transcendental meromorphic solutions of the form , where a, b are constants such that Ab²=1, a²=B. (3) If the differential equation , where P is a nonconstant polynomial and Q is a nonzero rational function, has a transcendental meromorphic solution, then k is an odd integer and Q is a polynomial. Furthermore, if k=1, then Q(z)≡C (constant) and the solution is of the form f(z)=Bcosq(z), where B is a constant such that B²=C and q^′(z)=±P(z).     

On the functions counting walks with small steps in the quarter plane

Models of spatially homogeneous walks in the quarter plane $\mathbf{ Z}_{+}^{2}$ with steps taken from a subset $\mathcal{S}$ of the set of jumps to the eight nearest neighbors are considered. The generating function (x,y,z)?Q(x,y;z) of the numbers q(i,j;n) of such walks starting at the origin and ending at $(i,j) \in\mathbf{ Z}_{+}^{2}$ after n steps is studied. For all non-singular models of walks, the functions x?Q(x,0;z) and y?Q(0,y;z) are continued as multi-valued functions on C having infinitely many meromorphic branches, of which the set of poles is identified. The nature of these functions is derived from this result: namely, for all the 51 walks which admit a certain infinite group of birational transformations of C ², the interval $]0,1/|\mathcal{S}|[$ of variation of z splits into two dense subsets such that the functions x?Q(x,0;z) and y?Q(0,y;z) are shown to be holonomic for any z from the one of them and non-holonomic for any z from the other. This entails the non-holonomy of (x,y,z)?Q(x,y;z), and therefore proves a conjecture of Bousquet-Mélou and Mishna in Contemp. Math. 520:1?C40 (2010).     

On the radii of convexity and starlikeness for some special classes of analytic functions in a disk

We introduce the class O _α, 0≤α≤1, of functions w=?(z), ?(0)=0, ?′(0)=0,..., ? ₍₀₎ ^(n?1) =0, f ⁽ⁿ⁾(0)=(n-l)! analytic in the disk |z|<1 and satisfying the condition $$\operatorname{Re} \left( {\frac{{1 - 2z^n \cos \Theta + z^{2n} }}{{z^{n - 1} }}f'(z)} \right) > \alpha , 0 \leqslant \Theta \leqslant \pi , n = 1,2,3,... .$$ We establish the radius of convexity in the class Oα and the radius of starlikeness in the class Uα of functions σ(z)=z?′(z), ?(z)?O _α.     

Meromorphic Solutions for a Class of Differential Equations and Their Applications

In this note, we study the admissible meromorphic solutions for algebraic differential equation fⁿf' + P_n?1(f) = R(z)e^α(z), where P_n?1(f) is a differential polynomial in f of degree ≤ n ? 1 with small function coefficients, R is a non-vanishing small function of f, and α is an entire function. We show that this equation does not possess any meromorphic solution f(z) satisfying N(r, f) = S(r, f) unless P_n?1(f) ≡ 0. Using this result, we generalize a well-known result by Hayman.     

Common Borel Radii of an Algebroid Function and Its Derivative

In this article, by comparing the characteristic functions, we prove that for any ν-valued algebroid function w(z) defined in the open unit disk with ${\limsup_{r\rightarrow1-}T(r,w)/\log\frac{1}{1-r}=\infty}$ and the hyper order ρ ₂(w)?=?0, the distribution of the Borel radii of w(z) and w′(z) is the same. This is the extension of G. Valiron’s conjecture for the meromorphic functions defined in ${\widehat{\mathbb{C}}}$ .     

Estimation of the remainder of a cubature formula on a Chebyshev grid

Let C(Q) denote the space of continuous functions f(x, y) in the square Q = [?1, 1] × [?1, 1] with the norm $\begin{gathered} \left\| f \right\| = \max \left| {f(x,y)} \right|, \hfill \\ (x,y) \in Q. \hfill \\ \end{gathered} $ On a Chebyshev grid, a cubature formula of the form $\int\limits_{ - 1}^1 {\int\limits_{ - 1}^1 {\frac{1} {{\sqrt {(1 - x^2 )(1 - y^2 )} }}f(x,y)dxdy = \frac{{\pi ^2 }} {{mn}}\sum\limits_{i = 1}^n {\sum\limits_{j = 1}^m {f\left( {\cos \frac{{2i - 1}} {{2n}}\pi ,\cos \frac{{2j - 1}} {{2m}}\pi } \right)} + R_{m,n} (f)} } } $ is considered in some class H(r ₁, r ₂) of functions f ?? C(Q) defined by a generalized shift operator. The remainder R _{m, n} (f) is proved to satisfy the estimate $\mathop {\sup }\limits_{f \in H(r_1 ,r_2 )} \left| {R_{m,n} (f)} \right| = O(n^{ - r_1 + 1} + m^{ - r_2 + 1} ), $ where r ₁, r ₂ > 1; ??^?1 ?? n/m ?? ?? with ?? > 0; and the constant in O(1) depends on ??.     

Pair correlation of roots of rational functions with rational generating functions and quadratic denominators

For any rational functions with complex coefficients A(z),B(z), and C(z), where A(z), C(z) are not identically zero, we consider the sequence of rational functions H _m (z) with generating function ∑H _m (z)t ^m =1/(A(z)t ²+B(z)t+C(z)). We provide an explicit formula for the limiting pair correlation function of the roots of $\prod_{m=0}^{n}H_{m}(z)$ , as n→∞, counting multiplicities, on certain closed subarcs J of a curve $\mathcal{C}$ where the roots lie. We give an example where the limiting pair correlation function does not exist if J contains the endpoints of $\mathcal{C}$ .     

On Sharing Values of Meromorphic Functions and Their Differences

For a meromorphic function f in the complex plane, we prove that if f is a finite order transcendental entire function which has a finite Borel exceptional value a, if ${f(z+\eta)\not\equiv f(z)}$ for some ${\eta\in \mathbb{C}}$ , and if f(z + η) ? f(z) and f(z) share the value a CM, then $$ a=0 \quad {\rm and} \quad \frac{f(z+\eta)-f(z)}{f(z)}=A, $$ where A is a nonzero constant. We also consider problems on sharing values of meromorphic functions and their differences when their orders are not an integer or infinite.     

Derivatives of meromorphic functions and exponential functions

We take up a new method to prove a Picard type theorem. Let f be a meromorphic function in the complex plane, whose zeros are multiple, and let R be a Möbius transformation. If \({\overline {\lim } _{r \to \infty }}\frac{{T\left( {r,f} \right)}}{{{r^2}}} = \infty \) then f′z) = R(e ^z ) has infinitely many solutions in the complex plane.     

Rationally convex sets on the unit sphere in ℂ2

Let X be a rationally convex compact subset of the unit sphere S in ?², of three-dimensional measure zero. Denote by R(X) the uniform closure on X of the space of functions P/Q, where P and Q are polynomials and Q≠0 on X. When does R(X)=C(X)? Our work makes use of the kernel function for the $\bar{\delta}_{b}Let X be a rationally convex compact subset of the unit sphere S in ℂ², of three-dimensional measure zero. Denote by R(X) the uniform closure on X of the space of functions P/Q, where P and Q are polynomials and Q≠0 on X. When does R(X)=C(X)? Our work makes use of the kernel function for the operator on S, introduced by Henkin in [5] and builds on results obtained in Anderson–Izzo–Wermer [3]. We define a real-valued function ε _X on the open unit ball intB, with ε _X (z,w) tending to 0 as (z,w) tends to X. We give a growth condition on ε _X (z,w) as (z,w) approaches X, and show that this condition is sufficient for R(X)=C(X) (Theorem 1.1). In Section 4, we consider a class of sets X which are limits of a family of Levi-flat hypersurfaces in intB. For each compact set Y in ℂ², we denote the rationally convex hull of Y by . A general reference is Rudin [8] or Aleksandrov [1].     

A note on uniqueness problem for meromorphic mappings with 2N + 3 hyperplanes

In this paper,a uniqueness theorem for meromorphic mappings partially sharing 2N+3 hyperplanes is proved.For a meromorphic mapping f and a hyperplane H,set E(H,f) = {z|ν(f,H)(z) 0}.Let f and g be two linearly non-degenerate meromorphic mappings and {Hj}j2=N1+ 3be 2N + 3 hyperplanes in general position such that dim f-1(Hi) ∩ f-1(Hj) n-2 for i = j.Assume that E(Hj,f) E(Hj,g) for each j with 1 j 2N +3 and f = g on j2=N1+ 3f-1(Hj).If liminfr→+∞ 2j=N1+ 3N(1f,Hj)(r) j2=N1+ 3N(1g,Hj)(r) NN+1,then f ≡ g.     

Singular integrals along Lipschitz curves with holomorphic kernels

If γ(x)=x+iA(x),tan ^?1‖A′‖_∞<ω<π/2,S _ω ⁰ ={z∈C}| |argz|<ω, or, |arg(-z)|<ω} We have proved that if φ is a holomorphic function in S _ω ⁰ and \(\left| {\varphi (z)} \right| \leqslant \frac{C}{{\left| z \right|}}\) , denotingT f (z)= ∫?(z-ζ)f(ζ)dζ, ?f∈C ₀(γ), ?z∈suppf, where C_c(γ) denotes the class of continuous functions with compact supports, then the following two conditions are equivalent:

1. T can be extended to be a bounded operator on L²(γ);
2. there exists a function ?₁ ∈H ^∞(S _ω ⁰ ) such that ?′₁(z)=?(z)+?(-z), ?z∈S _ω ⁰ ?z∈S _w ⁰ .

     

On algebraic relations for Ramanujan’s functions

Let P,Q, and R denote the Ramanujan Eisenstein series. We compute algebraic relations in terms of P(q ⁱ ) (i=1,2,3,4), Q(q ⁱ ) (i=1,2,3), and R(q ⁱ ) (i=1,2,3). For complex algebraic numbers q with 0<|q|<1 we prove the algebraic independence over ? of any three-element subset of {P(q),P(q ²),P(q ³),P(q ⁴)} and of any two-element subset of {Q(q),Q(q ²),Q(q ³)} and {R(q),R(q ²),R(q ³)}, respectively. For all the results we use some expressions of $P(q^{i_{1}}), Q(q^{i_{2}}) $ , and $R(q^{i_{3}}) $ in terms of theta constants. Computer-assisted computations of functional determinants and resultants are essential parts of our proofs.     

Fixed points of meromorphic functions and of their differences,divided differences and shifts

Let f(z) be a finite order meromorphic function and let c∈C\{0} be a constant.If f(z)has a Borel exceptional value a∈C,it is proved that max{τ(f(z)),τ(△_cf(z))}=max{τ(f(z)),τ(f(z+c))}=max{τ(△_cf(z)),τ(f(z+c))}=σ(f(z)).If f(z) has a Borel exceptional value b∈(C\{0})∪{∞},it is proved that max{τ(f(z)),τ(△cf(z)/f(z))}=max{τ(△cf(z)/f(z)),τ(f(z+c))}=σ(f(z)) unless f(z) takes a special form.Here τ(g(z)) denotes the exponent of convergence of fixed points of the meromorphic function g(z),and σ(g(z)) denotes the order of growth of g(z).     

Inequalities for the Coefficients of Meromorphic Starlike Functions with Nonzero Pole

In this article we consider functions f that are meromorphic and univalent in the unit disc ${\mathbb{D}}$ with pole at the point ${z = p \in (0, 1)}$ and having a Taylor expansion at the origin of the form $$f(z) = z + \sum _{n=2}^{\infty}a_n(f)z^n, \quad |z| < p.$$ The class of functions that satisfy the above conditions and map the unit disc such that ${\overline{\mathbb{C}} \setminus f(\mathbb{D})}$ is starlike with respect to a point w ₀ ( ≠ 0, ∞) will be denoted by Σ *(p, w ₀). We generalize and sharpen an inequality for a ₂(f), ${f \in \Sigma^*(p,w_0)}$ , proved by Miller (Proc Am Math Soc 80:607–613, 1980) by use of the coefficients a _n (f), n ≥ 3.     

On the Fourth Moment of Coefficients of Symmetric Square L-Function

Let f(z) be a holomorphic Hecke eigencuspform of weight k for the full modular group. Let ?? _f (n) be the nth normalized Fourier coefficient of f(z). Suppose that L(sym² f, s) is the symmetric square L-function associated with f(z), and $ \lambda _{sym^2 f} (n) $ (n) denotes the nth coefficient L(sym² f, s). In this paper, it is proved that $$ \sum\limits_{n \leqslant x} {\lambda _{sym^2 f}^4 (n)} = xP2(\log x) + O(x^{\frac{{79}} {{81}} + \varepsilon } ), $$ , where P ₂(t) is a polynomial in t of degree 2. Similarly, it is obtained that $$ \sum\limits_{n \leqslant x} {\lambda _f^4 (n^2 )} = x\tilde P2(\log x) + O(x^{\frac{{79}} {{81}} + \varepsilon } ), $$ , where $ \tilde P_2 (t) $ is a polynomial in t of degree 2.     

Ombres Convexité, régularité et sous-harmonicité

Letf:V→R be a function defined on a subsetV ofR ⁿ ×R ^d let?:x→inf{f(x t);t such that(x t)∈V} denote theshadow off and letΦ={(x t)∈V; f(x t)=?(x)} This paper deals with the characterization of some properties of ? in terms of the infinitesimal behavior off near points ζ∈Φ proving in particular a conjecture of J M Trépreau concerning the cased=1 Characterizations of this type are provided for the convexity the subharmonicity or theC ^{1 1} regularity of ? in the interior ofI={x∈ R ⁿ;εR ^d (x t)∈V} and in theC ^{1 1} case an expression forD ²? is given To some extent an answer is given to the following question: which convex function ?:I→R I interval ?R (resp which function √:I→R of classC ^{1 1}) is the shadow of aC ² functionf:I×R→R?     

On quasilinear Beltrami-type equations with degeneration

We consider the solvability problem for the equation $f_{\bar z} $ = v(z, f(z))f _z , where the function v(z,w) of two variables may be close to unity. Such equations are called quasilinear Beltrami-type equations with ellipticity degeneration. We prove that, under some rather general conditions on v(z,w), the above equation has a regular homeomorphic solution in the Sobolev classW _loc ^1,1 . Moreover, such solutions f satisfy the inclusion f ^?1 ∈ W _loc ^1,2 .     

A sharp weightedL 2-estimate for the solution to the time-dependent Schrödinger equation

For Ξ∈R ⁿ ,t∈R andf∈S(R ⁿ ) define $\left( {S^2 f} \right)\left( t \right)\left( \xi \right) = \exp \left( {it\left| \xi \right|^2 } \right)\hat f\left( \xi \right)$ . We determine the optimal regularitys ₀ such that $\int_{R^n } {\left\| {(S^2 f)[x]} \right\|_{L^2 (R)}^2 \frac{{dx}}{{(1 + |x|)^b }} \leqslant C\left\| f \right\|_{H^s (R^n )}^2 ,s > s_0 } ,$ holds whereC is independent off∈S(R ⁿ ) or we show that such optimal regularity does not exist. This problem has been treated earlier, e.g. by Ben-Artzi and Klainerman [2], Kato and Yajima [4], Simon [6], Vega [9] and Wang [11]. Our theorems can be generalized to the case where the exp(it|ξ|²) is replaced by exp(it|ξ|^a),a≠2. The proof uses Parseval's formula onR, orthogonality arguments arising from decomposingL ²(R ⁿ ) using spherical harmonics and a uniform estimate for Bessel functions. Homogeneity arguments are used to show that results are sharp with respect to regularity.     

Estimates for the Fourier coefficients of symmetric square L-functions

Let f(z) be a holomorphic Hecke eigenform of even weight k for the full modular group ${SL_2(\mathbb{Z})}$ , and denote by L(s, sym² f) the corresponding symmetric square L-function associated to f. Suppose that ${\lambda_{\rm{sym}^2} f(n)}$ is the nth normalized Fourier coefficient of L(s, sym² f). In this paper, the asymptotic formula $$\begin{array}{ll}\sum_{n\leq x} \lambda^2_{\rm{sym}^2 f}(n) = C x + O(x^{\frac{10}{13}} \log^{9} x)\end{array}$$ is established.