Uniformity over primes of tamely ramified splittings

We fix a prime p and let f(X) vary over all monic integer polynomials of fixed degree n. Given any possible shape of a tamely ramified splitting of p in an extension of degree n, we prove that there exists a rational function φ(X)∈ℚ(X) such that the density of the monic integer polynomials f(X) for which the splitting of p has the given shape in ℚ[X]/f(X) is φ(p) (here reducible polynomials can be neglected). As a corollary, we prove that, for p≥n, the density of irreducible monic polynomials of degree n in ℤ _p [X] is the value at p of a rational function φ _n (X)∈ℚ(X). All rational functions involved are effectively computable. Received: 15 September 1998 / Revised version: 21 October 1999     

A criterion of normality based on a single holomorphic function

Let F be a family of functions holomorphic on a domain D ⊂ ℂ Let k ≥ 2 be an integer and let h be a holomorphic function on D, all of whose zeros have multiplicity at most k −1, such that h(z) has no common zeros with any f ∈ F. Assume also that the following two conditions hold for every f ∈ F: (a) f(z) = 0 ⇒ f′(z) = h(z); and (b) f′(z) = h(z) ⇒ |f ^(k)(z)| ≤ c, where c is a constant. Then F is normal on D.     

Oscillation of Solutions of Linear Differential Equations

This paper is devoted to studying the growth problem, the zeros and fixed points distribution of the solutions of linear differential equations f″＋e^-zf′＋Q（z）f=F（z）,whereQ（z）≡h（z）e^cz and c∈R.     

On typically real functions which are generated by a fixed typically real function

Let T be the family of all typically real functions, i.e. functions that are analytic in the unit disk Δ:= {z ∈ ℂ: |z| < 1}, normalized by f(0) = f′(0) − 1 = 0 and such that Imz Im f(z) ⩾ 0 for z ∈ Δ.     

β级星像函数类和凸像函数类的扩展问题

本文利用文[2,3]的引理和算子L(a,c)f(z)的一些性质.结合Hadamard乘积,研究了算子L(a,c)f(z),获得了L(a,c)f(z)∈S*(β)和L(a,c)f(z)∈K(β)的充分条件,推广了文[2,3]的相关结论.     

On factorization of meromorphic functions

This paper improves on the results of Noda, Y., Li Baoqing and Song Quodong, and proves the following theorem: Letf(z) be a transcendental meromorphic function. Then the set {a∈C;(z−a)f(z) is not prime} is at most a countable set.     

Finding rational points on bielliptic genus 2 curves

We discuss a technique for trying to find all rational points on curves of the form Y ²=f ₃ X ⁶+f ₂ X ⁴+f ₁ X ²+f ₀, where the sextic has nonzero discriminant. This is a bielliptic curve of genus 2. When the rank of the Jacobian is 0 or 1, Chabauty's Theorem may be applied. However, we shall concentrate on the situation when the rank is at least 2. In this case, we shall derive an associated family of elliptic curves, defined over a number field ℚα. If each of these elliptic curves has rank less than the degree of ℚα : ℚ, then we shall describe a Chabauty-like technique which may be applied to try to find all the points (x,y) defined over ℚα) on the elliptic curves, for which x∈ℚ. This in turn allows us to find all ℚ-rational points on the original genus 2 curve. We apply this to give a solution to a problem of Diophantus (where the sextic in X is irreducible over ℚ), which simplifies the recent solution of Wetherell. We also present two examples where the sextic in X is reducible over ℚ. Received: 27 November 1998 / Revised version: 4 June 1999     

Are the degrees of best (co)convex and unconstrained polynomial approximation the same?

Let ℂ[−1,1] be the space of continuous functions on [−,1], and denote by Δ² the set of convex functions f ∈ ℂ[−,1]. Also, let E _n (f) and E _n ⁽²⁾ (f) denote the degrees of best unconstrained and convex approximation of f ∈ Δ² by algebraic polynomials of degree < n, respectively. Clearly, En (f) ≦ E _n ⁽²⁾ (f), and Lorentz and Zeller proved that the inverse inequality E _n ⁽²⁾ (f) ≦ cE _n (f) is invalid even with the constant c = c(f) which depends on the function f ∈ Δ². In this paper we prove, for every α > 0 and function f ∈ Δ², that

Incompleteness and minimality of complex exponential system

A necessary and sufficient condition is obtained for the incompleteness of a complex exponential system E(A,M)in C_α,where C_αis the weighted Banach space consisting of all complex continuous functions f on the real axis R with f(t)exp(-α(t))vanishing at infinity,in the uniform norm‖f‖_α=sup{|f(t)e~(-α(t))|:t∈R}with respect to the weightα(t).If the incompleteness holds, then the complex exponential system E(?)is minimal and each function in the closure of the linear span of complex exponential system E(?)can be extended to an entire function represented by a Taylor-Dirichlet series.     

Nonfree actions of countable groups and their characters

The paper studies the region of values of the system {c ₂, c ₃, f(z ₁), f′(z ₁)},where z ₁ is an arbitrary fixed point of the disk |z| < 1; f ∈ T,and the class T consists of all the functions f(z) = z + c ₂ z ² + c ₃z³ + ⋯ regular in the disk |z| < 1 that satisfy the condition Im z · Im f(z) > 0 for Im z ≠ 0. The region of values of f′(z ₁) in the subclass of functions f ∈ T with prescribed values c ₂, c ₃, and f(z ₁) is determined. Bibliography: 10 titles.     

Properties of differences of meromorphic functions

Let f be a transcendental meromorphic function. We propose a number of results concerning zeros and fixed points of the difference g(z) = f(z + c) − f(z) and the divided difference g(z)/f(z).     

Distortion theorem for Bloch mappings on the unit ball <Emphasis Type="Italic">ℬ</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper, we obtain a version of subordination lemma for hyperbolic disk relative to hyperbolic geometry on the unit disk D. This subordination lemma yields the distortion theorem for Bloch mappings f ∈ H（B^n） satisfying ｜｜f｜｜0 = 1 and det f＇（0） = α ∈ （0, 1], where｜｜f｜｜0 = sup{（1 - ｜z｜^2 ）n＋1/2n det（f＇（z））[1/n ： z ∈ B^n}. Here we establish the distortion theorem from a unified perspective and generalize some known results. This distortion theorem enables us to obtain a lower bound for the radius of the largest univalent ball in the image of f centered at f（0）. When a = 1, the lower bound reduces to that of Bloch constant found by Liu. When n = 1, our distortion theorem coincides with that of Bonk, Minda and Yanagihara.     

To distortion theorems for typically real functions

The paper studies the region of values of the system {f(z ₁), f(z ₂), c ₂},where z _j , j=1, 2, are arbitrary fixed points of the disk |z|<1; f ∈ T, and the class T consists of all functions f(z) = z + c ₂ z ² + ··· regular in the disk |z| < 1 and satisfying the condition Im f(z)·Im z>0 for Im z > 0 for Im z ≠ 0. The region of values of f(z ₁) in the subclass of functions f (z) ∈ T with prescribed values c ₂ and f(z ₂) is determined. Bibliography: 8 titles.     

On power deformations of univalent functions

For an analytic function f (z) on the unit disk |z| < 1 with f (0) = f′(0) − 1 = 0 and f (z) ≠ 0, 0 < |z| < 1, we consider the power deformation f _c (z) = z(f (z)/z) ^c for a complex number c. We determine those values c for which the operator maps a specified class of univalent functions into the class of univalent functions. A little surprisingly, we will see that the set is described by the variability region of the quantity zf′(z)/ f (z), |z| < 1, for most of the classes that we consider in the present paper. As an unexpected by-product, we show boundedness of strongly spirallike functions.     

BMO-scale of distribution on ℝ n

Let S′ be the class of tempered distributions. For ƒ ∈ S′ we denote by J ^−α ƒ the Bessel potential of ƒ of order α. We prove that if J ^−α ƒ ∈ BMO, then for any λ ∈ (0, 1), J ^−α (f)_λ ∈ BMO, where (f)_λ = λ⁻ⁿ f(φ(λ⁻¹)), φ ∈ S. Also, we give necessary and sufficient conditions in order that the Bessel potential of a tempered distribution of order α > 0 belongs to the VMO space.     

New Coins From Old: Computing With Unknown Bias

Suppose that we are given a function f : (0, 1)→(0,1) and, for some unknown p∈(0, 1), a sequence of independent tosses of a p-coin (i.e., a coin with probability p of “heads”). For which functions f is it possible to simulate an f(p)-coin? This question was raised by S. Asmussen and J. Propp. A simple simulation scheme for the constant function f(p)≡1/2 was described by von Neumann (1951); this scheme can be easily implemented using a finite automaton. We prove that in general, an f(p)-coin can be simulated by a finite automaton for all p ∈ (0, 1), if and only if f is a rational function over ℚ. We also show that if an f(p)-coin can be simulated by a pushdown automaton, then f is an algebraic function over ℚ; however, pushdown automata can simulate f(p)-coins for certain nonrational functions such as . These results complement the work of Keane and O’Brien (1994), who determined the functions f for which an f(p)-coin can be simulated when there are no computational restrictions on the simulation scheme. * Supported by a Miller Fellowship. † Supported in part by NSF Grant DMS-0104073 and by a Miller Professorship. ‡ This work is supported under a National Science Foundation Graduate Research Fellowship.     

Accuracy of several multidimensional refinable distributions

Compactly supported distributions f₁,..., f_r on ℝ^d are fefinable if each f_i is a finite linear combination of the rescaled and translated distributions f_j(Ax−k), where the translates k are taken along a lattice Γ ⊂ ∝^d and A is a dilation matrix that expansively maps Γ into itself. Refinable distributions satisfy a refinement equation f(x)=Σ_k∈Λ c_k f(Ax−k), where Λ is a finite subset of Γ, the c_k are r×r matrices, and f=(f₁,...,f_r)^T. The accuracy of f is the highest degree p such that all multivariate polynomials q with degree(q)<p are exactly reproduced from linear combinations of translates of f₁,...,f_r along the lattice Γ. We determine the accuracy p from the matrices c_k. Moreover, we determine explicitly the coefficients y_α,i(k) such that x^α=Σ _i=1 ^r Σ_k∈Γy_α,i(k) fi(x+k). These coefficients are multivariate polynomials y_α,i(x) of degree |α| evaluated at lattice points k∈Γ.     

Hausdorff dimension of Julia set of a polynomial with a Siegel disk

Let f(z) = e2πiθz(1 z/d)d,θ∈R\Q be a polynomial. Ifθis an irrational number of bounded type, it is easy to see that f(z) has a Siegel disk centered at 0. In this paper, we will show that the Hausdorff dimension of the Julia set of f(z) satisfies Dim(J(f))<2.     

Carathéodory balls and norm balls of the domainH={(z1,z2)∈C2∶|z1|+|z2|<1}

LetH be the domain inC ² defined byH={Z=(z ₁,z ₂):║Z║₁=│z║₁│+│z║₂│<1}. LetC _H(z,w) be the Carathéodory distance ofH,z,w∈H. The Carathéodory ballB _C(z_C,α;H) with centerz _C,z_C∈H, and radius α, 0<α<1, is defined byB _c(z_C,α;H)={z∶C_H(z,z_C)<arc tanh α}. The norm ballB _N(z_N,r) with centerz _N,z_N∈H, and radiusr, 0<r<1-‖z _N‖₁, is defined byB _N(z_N,r)={z∶ ‖z−z_N‖₁<r}. Theorem:The only Carathéodory balls of H which are also norm balls are those with their center at the origin.     

On Lefschetz series

Let R = ⊕ _i=0^∞ R ⁱ be a connected graded commutative algebra over the field ℚ of rational numbers, and let f be a graded endomorphism of R. In this paper, we show that the Lefschetz series of f can be computed directly from the induced linear map Q(f) on the ℚ vector space of indecomposables of R. We give an explicit algorithm to compute the Lefschetz series of f from Q(f). The main tool we used is the graded algebra version of Gr?bner basis theory. At the end of this paper, some examples and applications are given.