Entire Functions on Banach Spaces with a Separable Dual

Let E and F be complex Banach spaces. We show that if E has a separable dual, then every holomorphic function from E into F which is bounded on weakly compact sets is bounded on bounded sets.     

Factorization of weakly continuous differentiable mappings

Given real Banach spaces X and Y, let C _wbu¹(X, Y) be the space, introduced by R.M. Aron and J.B. Prolla, of C ¹ mappings from X into Y such that the mappings and their derivatives are weakly uniformly continuous on bounded sets. We show that f ∈ C _wbu¹(X, Y) if and only if f may be written in the form f = g ∘ S, where the intermediate space is normed, S is a precompact operator, and g is a Gateaux differentiable mapping with some additional properties.     

Multiplication operators in Köthe-Bochner spaces

Let X be a Banach space and E an order continuous Banach function space over a finite measure μ. We prove that an operator T in the Köthe-Bochner space E(X) is a multiplication operator (by a function in L^∞(μ)) if and only if the equality T(g〈f,x^∗〉x)=g〈T(f),x^∗〉x holds for every g∈L^∞(μ), f∈E(X), x∈X and x^∗∈X^∗.     

Julia sets of permutable Holomorphic maps

Let f and g be two permutable transcendental holomorphic maps in the plane. We shall discuss the dynamical properties of f, g and f o g and prove, among other things, that if either f has no wandering domains or f is of bounded type, then the Julia sets of f and f(g) coincide. Dedicated to Professor Sheng GONG on the occasion of his 75th birthday     

Integral representations for a class of operators

Let X be a completely regular Hausdorff space, E Hausdorff a quasi-complete locally convex space and Cb(X,E) all E-valued bounded continuous functions on X with strict topologies βt, , . We prove that a linear continuous mapping T:Cb(X,E)→E arises from a scalar measure μ∈(Cb^′(X),βz)(z=t,∞,τ) if and only if g(T(f))=0 whenever g○f=0 for any f∈Cb(X,E), g∈E^′.     

A construction of weakly inverse semigroups

Let S° be an inverse semigroup with semilattice biordered set E° of idempotents and E a weakly inverse biordered set with a subsemilattice Ep = { e ∈ E ｜ arbieary f ∈ E, S（f , e） loheain in w（e）} isomorphic to E° by θ：Ep→E°. In this paper, it is proved that if arbieary f, g ∈E, f ←→ g→→ f°θD^s° g°θand there exists a mapping φ from Ep into the symmetric weakly inverse semigroup P J（E∪ S°） satisfying six appropriate conditions, then a weakly inverse semigroup ∑ can be constructed in P J（S°）, called the weakly inverse hull of a weakly inverse system （S°, E, θ, φ） with I（∑） ≌ S°, E（∑） ∽- E. Conversely, every weakly inverse semigroup can be constructed in this way. Furthermore, a sufficient and necessary condition for two weakly inverse hulls to be isomorphic is also given.     

On the fourier-vilenkin coefficients

In this article, we prove the following statement that is true for both unbounded and bounded Vilenkin systems: for any ε∈(0, 1), there exists a measurable set E [0, 1)of measure bigger than 1-ε such that for any function f ∈ L~1[0, 1), it is possible to find a function g ∈ L~1[0, 1) coinciding with f on E and the absolute values of non zero Fourier coefficients of g with respect to the Vilenkin system are monotonically decreasing.     

Meromorphic functions that share a set with their derivatives

There exists a set S with three elements such that if a meromorphic function f, having at most finitely many simple poles, shares the set S CM with its derivative f^′, then f^′≡f.     

On holomorphic families of Schrödinger-type operators with singular potentials on manifolds of bounded geometry

We consider a family of Schrödinger-type differential expressions L(κ)=D²+V+κV(1), where κ∈C, and D is the Dirac operator associated with a Clifford bundle (E,∇E) of bounded geometry over a manifold of bounded geometry (M,g) with metric g, and V and V(1) are self-adjoint locally integrable sections of EndE. We also consider the family I(κ)=^*(∇F)∇F+V+κV(1), where κ∈C, and ∇F is a Hermitian connection on a Hermitian vector bundle F of bonded geometry over a manifold of bounded geometry (M,g), and V and V(1) are self-adjoint locally integrable sections of EndF. We give sufficient conditions for L(κ) and I(κ) to have a realization in L²(E) and L²(F), respectively, as self-adjoint holomorphic families of type (B). In the proofs we use Kato's inequality for Bochner Laplacian operator and Weitzenböck formula.     

Holomorphic extensions of Laplacians and their determinants

The Teichmüller space Teich(S) of a surface S in genus g>1 is a totally real submanifold of the quasifuchsian space QF(S). We show that the determinant of the Laplacian det^′(Δ) on Teich(S) has a unique holomorphic extension to QF(S). To realize this holomorphic extension as the determinant of differential operators on S, we introduce a holomorphic family {Δμ,ν} of elliptic second order differential operators on S whose parameter space is the space of pairs of Beltrami differentials on S and which naturally extends the Laplace operators of hyperbolic metrics on S. We study the determinant of this family {Δμ,ν} and show how this family realizes the holomorphic extension of det^′(Δ) as its determinant.     

On the distinguished character of the function spaces of holomorphic mappings of bounded type

Given two complex normed spaces E and F, F complete, and a balanced open subset U of E, we prove that the space $\text{H}$_(b(U, F) of the holomorphic mappings f: U → F of bounded type, endowed with its natural topology τ_b, is a distinguished quasi-normable Fréchet space, which is not a Schwartz space unless dim E < ∞ and dim F < ∞.     

Value distribution and shared sets of differences of meromorphic functions

We investigate value distribution and uniqueness problems of difference polynomials of meromorphic functions. In particular, we show that for a finite order transcendental meromorphic function f with λ(1/f)<ρ(f) and a non-zero complex constant c, if n?2, then fn(z)f(z+c) assumes every non-zero value a∈C infinitely often. This research also shows that there exist two sets S₁ with 9 (resp. 5) elements and S₂ with 1 element, such that for a finite order nonconstant meromorphic (resp. entire) function f and a non-zero complex constant c, Ef(z)(Sj)=Ef(z+c)(Sj)(j=1,2) imply f(z)≡f(z+c). This gives an answer to a question of Gross concerning a finite order meromorphic function f and its shift.     

The Lindelöf principle in ℂ n

Let D be a bounded domain in ? ⁿ . A holomorphic function f: D → ? is called normal function if f satisfies a Lipschitz condition with respect to the Kobayashi metric on D and the spherical metric on the Riemann sphere ??. We formulate and prove a few Lindelöf principles in the function theory of several complex variables.     

Propagation of boundary CR foliations and Morera type theorems for manifolds with attached analytic discs

We prove that homologically nontrivial generic smooth (2n−1)-parameter families of analytic discs in Cn, n?2, attached by their boundaries to a CR-manifold Ω, test CR-functions in the following sense: if a smooth function on Ω analytically extends into any analytic discs from the family, then the function satisfies tangential CR-equations on Ω. In particular, we give an answer (Theorem 1) to the following long standing open question, so called strip-problem, earlier solved only for special families (mainly for circles): given a smooth one-parameter family of Jordan curves in the plane and a function f admitting holomorphic extension inside each curve, must f be holomorphic on the union of the curves? We prove, for real-analytic functions and arbitrary generic real-analytic families of curves, that the answer is “yes,” if no point is surrounded by all curves from the family. The latter condition is essential. We generalize this result to characterization of complex curves in C² as real 2-manifolds admitting nontrivial families of attached analytic discs (Theorem 4). The main result implies fairly general Morera type characterization of CR-functions on hypersurfaces in C² in terms of holomorphic extensions into three-parameter families of attached analytic discs (Theorem 2). One of the applications is confirming, in real-analytic category, the Globevnik-Stout conjecture (Theorem 3) on boundary values of holomorphic functions. It is proved that a smooth function on the boundary of a smooth strictly convex domain in Cn extends holomorphically inside the domain if it extends holomorphically into complex lines tangent to a given strictly convex subdomain. The proofs are based on a universal approach, namely, on the reduction to a problem of propagation, from the boundary to the interior, of degeneracy of CR-foliations of solid torus type manifolds (Theorem 2.2).     

On ω-limit sets of ordinary differential equations in Banach spaces

Let X be an infinite-dimensional real Banach space. We classify ω-limit sets of autonomous ordinary differential equations x^′=f(x), x(0)=x₀, where f:X→X is Lipschitz, as being of three types I-III. We denote by SX the class of all sets in X which are ω-limit sets of a solution to (1), for some Lipschitz vector field f and some initial condition x₀∈X. We say that S∈SX is of type I if there exists a Lipschitz function f and a solution x such that S=Ω(x) and . We say that S∈SX is of type II if it has non-empty interior. We say that S∈SX is of type III if it has empty interior and for every solution x (of Eq. (1) where f is Lipschitz) such that S=Ω(x) it holds . Our main results are the following: S is a type I set in SX if and only if S is a closed and separable subset of the topological boundary of an open and connected set U⊂X. Suppose that there exists an open separable and connected set U⊂X such that , then S is a type II set in SX. Every separable Banach space with a Schauder basis contains a type III set. Moreover, in all these results we show that in addition f may be chosen Ck-smooth whenever the underlying Banach space is Ck-smooth.     

Normal families and uniqueness theorems for entire functions

There exists a set S with 3 elements such that if f is a non-constant entire function satisfying E(S,f)=E(S,f′), then f≡f′. The number 3 is best possible. The proof uses the theory of normal families in an essential way.     

The argument principle and holomorphic extendibility

LetD be a bounded domain in the complex plane whose boundary consists of finitely many pairwise disjoint simple closed curves. GivebD the standard orientation, and letA(D) be the algebra of all continuous functions on which are holomorphic onD. We prove that a continuous functionf onbD extends to a function inA(D) if and only if for eachg∈A(D) such thatf+g≠0 onbD, the change of argument off+g alongbD is nonnegative.     

Dirichlet and VMOA domains via Schwarzian derivative

Short proofs of the following results concerning a bounded conformal map g of the unit disc D are presented: (1) logg^′ belongs to the Dirichlet space if and only if the Schwarzian derivative Sg of g satisfies Sg(z)(1−²|z|)∈L²(D); (2) logg^′∈VMOA if and only if ²|Sg(z)|³(1−²|z|) is a vanishing Carleson measure on D. Analogous results for Besov and Qp,0 spaces are also given.     

Dynamics of composite functions meromorphic outside a small set

Let M denote the class of functions f meromorphic outside some compact totally disconnected set E=E(f) and the cluster set of f at any a∈E with respect to is equal to . It is known that class M is closed under composition. Let f and g be two functions in class M, we study relationship between dynamics of f○g and g○f. Denote by F(f) and J(f) the Fatou and Julia sets of f. Let U be a component of F(f○g) and V be a component of F(g○f) which contains g(U). We show that under certain conditions U is a wandering domain if and only if V is a wandering domain; if U is periodic, then so is V and moreover, V is of the same type according to the classification of periodic components as U unless U is a Siegel disk or Herman ring.     

Optimally uniform approximation by meromorphic functions in the strip

The paper studies the uniform approximation problem of functions f, which are continuous in a closed strip S _h and holomorphic in its interior. Such functions are approximated on S _h by meromorphic functions g, the growth of which is estimated in the terms of the Nevanlinna characteristic T (r, g) and depends on the growth of f in the strip and the differential properties of f on the boundary of the strip. Also, the possible location of the poles of g in the complex plane is studied.