On the univalence of functions with logharmonic laplacian

In this paper, we prove Radó’s theorem holds for functions of the form is logharmonic. We show that if F is of the form , where is logharmonic, then F is starlike iff ψ(z)=h(z)/g(z) is starlike. In addition, when , where L is logharmonic and H is harmonic, we give the sufficient conditions for F to be locally univalent.     

An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields

Let K be a complete and algebraically closed valued field of characteristic 0. We prove that the set of rational integers is positive existentially definable in the field of meromorphic functions on K in the language of rings augmented by a constant symbol for the independent variable z and by a symbol for the unary relation “the function x takes the value 0 at 0”. Consequently, we prove that the positive existential theory of in the language is undecidable. In order to obtain these results, we obtain a complete characterization of all analytic projective maps (over K) from an elliptic curve minus a point to , for any elliptic curve defined over the field of constants.     

Quasi sure analysis of local times of anticipating smooth semimartingales

Let be the anticipating smooth semimartingale and be its generalized local time. In this paper, we give some estimates about the quasi sure property of Xt and its quadratic variation process t〈X〉. We also study the fractional smoothness of and prove that the quadratic variation process of can be constructed as the quasi sure limit of the form , where is a sequence of subdivisions of [a,b], , i=0,1,…,n².     

Quartic residues and binary quadratic forms

Let be a prime, m∈Z and . In this paper we obtain a general criterion for m to be a quartic residue in terms of appropriate binary quadratic forms. Let d>1 be a squarefree integer such that , where is the Legendre symbol, and let ε_d be the fundamental unit of the quadratic field . Since 1942 many mathematicians tried to characterize those primes p so that ε_d is a quadratic or quartic residue . In this paper we will completely solve these open problems by determining the value of , where p is an odd prime, and . As an application we also obtain a general criterion for , where {u_n(a,b)} is the Lucas sequence defined by and .     

Normal families of meromorphic functions with multiple zeros and poles

Let k be a positive integer with k?2 and let be a family of functions meromorphic on a domain D in , all of whose poles have multiplicity at least 3, and of whose zeros all have multiplicity at least k+1. Let a(z) be a function holomorphic on D, a(z)?0. Suppose that for each , f^(k)(z)≠a(z) for z∈D. Then is a normal family on D.     

Planar isolated and stable fixed points have index =1

Let be an open subset and be an orientation reversing homeomorphism. We prove that if p∈W is an isolated and stable fixed point of f then the fixed point index of f at p, , is 1. We apply our theorem to the study of the orbital stability of isolated periodic orbits of flows in four-dimensional riemannian manifolds.     

On Korenblum's constant

Let be the Bergman space over the open unit disk in the complex plane. Korenblum conjectured that there is an absolute constant c∈(0,1), such that whenever |f(z)|?|g(z)| () in the annulus c<|z|<1, then ‖f‖?‖g‖. In 1999 Hayman proved Korenblum's conjecture. But the sharp value of c (we use γ to denote this sharp value) is still unknown. In this paper we give an upper bound on γ, that is, γ<0.67795, which improves an earlier result of the author.     

Monoids with sub-log-exponential free spectra

A classic result from the 1960s states that the asymptotic growth of the free spectrum of a finite group is sub-log-exponential if and only if is nilpotent. Thus a monoid is sub-log-exponential implies , the pseudovariety of semigroups with nilpotent subgroups. Unfortunately, little more is known about the boundary between the sub-log-exponential and log-exponential monoids.The pseudovariety consists of those finite semigroups satisfying (x^ωy^ω)^ω(y^ωx^ω)^ω(x^ωy^ω)^ω≈(x^ωy^ω)^ω. Here it is shown that a monoid is sub-log-exponential implies . A quick application: a regular sub-log-exponential monoid is orthodox. It is conjectured that a finite monoid is sub-log-exponential if and only if it is , the finite monoids in having nilpotent subgroups. The forward direction of the conjecture is proved; moreover, the conjecture is proved for when is completely (0)-simple. In particular, the six-element Brandt monoid (the Perkins semigroup) is sub-log-exponential.     

Notes on ordered reproducing Hilbert spaces over the complex plane

Let f, g be entire functions. If there exist M₁,M₂>0 such that |f(z)|?M₁|g(z)| whenever |z|>M₂ we say that f?g. Let X be a reproducing Hilbert space with an orthogonal basis . We say that X is an ordered reproducing Hilbert space (or X is ordered) if f?g and g∈X imply f∈X. In this note, we show that if then X is ordered; if then X is not ordered. In the case , there are examples to show that X can be of order or opposite.