Generalizations of Bohr inequality for Hilbert space operators

Let B(H) be the space of all bounded linear operators on a complex separable Hilbert space H. Bohr inequality for Hilbert space operators asserts that for A,B∈B(H) and p,q>1 real numbers such that 1/p+1/q=1,

²|A+B|?p²|A|+q²|B|     

Maps preserving peripheral spectrum of Jordan semi-triple products of operators

Let A and B be (not necessarily unital or closed) standard operator algebras on complex Banach spaces X and Y, respectively. For a bounded linear operator A on X, the peripheral spectrum σ_π(A) of A is the set σ_π(A)={z∈σ(A):|z|=max_ω∈σ(A)|ω|}, where σ(A) denotes the spectrum of A. Assume that Φ:A→B is a map the range of which contains all operators of rank at most two. It is shown that the map Φ satisfies the condition that σ_π(BAB)=σ_π(Φ(B)Φ(A)Φ(B)) for all A,B∈A if and only if there exists a scalar λ∈C with λ³=1 and either there exists an invertible operator T∈B(X,Y) such that Φ(A)=λTAT^-1 for every A∈A; or there exists an invertible operator T∈B(X^∗,Y) such that Φ(A)=λTA^∗T^-1 for every A∈A. If X=H and Y=K are complex Hilbert spaces, the maps preserving the peripheral spectrum of the Jordan skew semi-triple product BA^∗B are also characterized. Such maps are of the form A?UAU^∗ or A?UA^tU^∗, where U∈B(H,K) is a unitary operator, A^t denotes the transpose of A in an arbitrary but fixed orthonormal basis of H.     

Dense-lineability of sets of Birkhoff-universal functions with rapid decay

Let A be an unbounded Arakelian set in the complex plane whose complement has infinite inscribed radius, and ψ be an increasing positive function on the positive real numbers. We prove the existence of a dense linear manifold M of entire functions all of whose non-zero members are Birkhoff-universal, such that each function in M has overall growth faster than ψ and, in addition, exp(α|z|)f(z)→0 (z→∞, z∈A) for all α<1/2 and f∈M. With slightly more restrictive conditions on A, we get that the last property also holds for the action Tf of certain holomorphic operators T. Our results unify, extend and complete recent work by several authors.     

Jordan zero-product preserving additive maps on operator algebras

Let Φ:A→B be an additive surjective map between some operator algebras such that AB+BA=0 implies Φ(A)Φ(B)+Φ(B)Φ(A)=0. We show that, under some mild conditions, Φ is a Jordan homomorphism multiplied by a central element. Such operator algebras include von Neumann algebras, C^∗-algebras and standard operator algebras, etc. Particularly, if H and K are infinite-dimensional (real or complex) Hilbert spaces and A=B(H) and B=B(K), then there exists a nonzero scalar c and an invertible linear or conjugate-linear operator U:H→K such that either Φ(A)=cUAU⁻¹ for all A∈B(H), or Φ(A)=cUA^∗U⁻¹ for all A∈B(H).     

On the complex oscillation of meromorphic solutions of second order linear differential equations in the unit disc

The main purpose of this paper is to investigate the oscillation theory of meromorphic solutions of the second order linear differential equation f^″+A(z)f=0 for the case where A is meromorphic in the unit disc D={z:|z|<1}.     

Elementary operators on self-adjoint operators

Let H be a Hilbert space and let A and B be standard ∗-operator algebras on H. Denote by As and Bs the set of all self-adjoint operators in A and B, respectively. Assume that and are surjective maps such that M(AM^∗(B)A)=M(A)BM(A) and M^∗(BM(A)B)=M^∗(B)AM^∗(B) for every pair A∈As, B∈Bs. Then there exist an invertible bounded linear or conjugate-linear operator and a constant c∈{−1,1} such that M(A)=cTAT^∗, A∈As, and M^∗(B)=cT^∗BT, B∈Bs.     

Essential spectra of quasi-parabolic composition operators on Hardy spaces of analytic functions

In this work we study the essential spectra of composition operators on Hardy spaces of analytic functions which might be termed as “quasi-parabolic.” This is the class of composition operators on H² with symbols whose conjugate with the Cayley transform on the upper half-plane are of the form φ(z)=z+ψ(z), where ψ∈H^∞(H) and ℑ(ψ(z))>?>0. We especially examine the case where ψ is discontinuous at infinity. A new method is devised to show that this type of composition operator fall in a C*-algebra of Toeplitz operators and Fourier multipliers. This method enables us to provide new examples of essentially normal composition operators and to calculate their essential spectra.     

A slight improvement to Korenblum's constant

Let A²(D) be the Bergman space over the open unit disk D 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(z)‖?‖g(z)‖. This conjecture had been solved by Hayman [W.K. Hayman, On a conjecture of Korenblum, Analysis (Munich) 19 (1999) 195-205. [1]], but the constant c in that paper is not optimal. Since then, there are many papers dealing with improving the upper and lower bounds for the best constant c. For example, in 2004 C. Wang gave an upper bound on c, that is, c<0.67795, and in 2006 A. Schuster gave a lower bound, c>0.21. In this paper we slightly improve the upper bound for c.     

Endpoint estimates for the commutator of pseudo-differential operators

It is well known that the commutator Tb of the Calderón-Zygmund singular integral operator is bounded on L^p(Rⁿ) for 1 < p < +∞ if and only if b ∈ BMO [1]. On the other hand, the commutator T_b is bounded from H¹(Rⁿ) into L¹(Rⁿ) only if the function b is a constant [2]. In this article, we will discuss the boundedness of commutator of certain pseudo-differential operators on Hardy spaces H¹. Let T^σ be the operators that its symbol is S⁰_1,δ with 0 ≤ δ < 1, if b ∈ LMO_∞, then, the commutator [b, T^σ] is bounded from H¹(Rⁿ) into L¹(Rⁿ) and from L¹(Rⁿ) into BMO(Rⁿ); If [b, T^σ] is bounded from H¹(Rⁿ) into L¹(Rⁿ) or L¹(Rⁿ) into BMO(Rⁿ), then, b ∈ LMO_loc.     

On the essential commutant of analytic Toeplitz operators associated with spherical isometries

Let T∈Bn(H) be an essentially normal spherical isometry with empty point spectrum on a separable complex Hilbert space H, and let AT⊂B(H) be the unital dual operator algebra generated by T. In this note we show that every operator S∈B(H) in the essential commutant of AT has the form S=X+K with a T-Toeplitz operator X and a compact operator K. Our proof actually covers a larger class of subnormal operator tuples, called A-isometries, which includes for example the tuple T=(Mz₁,…,Mzn)∈B(H²n(σ)) consisting of the multiplication operators with the coordinate functions on the Hardy space H²(σ) associated with the normalized surface measure σ on the boundary ∂D of a strictly pseudoconvex domain D⊂Cn. As an application we determine the essential commutant of the set of all analytic Toeplitz operators on H²(σ) and thus extend results proved by Davidson (1977) [6] for the unit disc and Ding and Sun (1997) [11] for the unit ball.     

Norms of certain Jordan elementary operators

Let H be a complex Hilbert space and let B(H) denote the algebra of all bounded linear operators on H. For A,B∈B(H), the Jordan elementary operator UA,B is defined by UA,B(X)=AXB+BXA, ∀X∈B(H). In this short note, we discuss the norm of UA,B. We show that if dimH=2 and ‖UA,B‖=‖A‖‖B‖, then either AB^∗ or B^∗A is 0. We give some examples of Jordan elementary operators UA,B such that ‖UA,B‖=‖A‖‖B‖ but AB^∗≠0 and B^∗A≠0, which answer negatively a question posed by M. Boumazgour in [M. Boumazgour, Norm inequalities for sums of two basic elementary operators, J. Math. Anal. Appl. 342 (2008) 386-393].     

General preservers of quasi-commutativity on self-adjoint operators

Let H be a separable Hilbert space and Bsa(H) the set of all bounded linear self-adjoint operators. We say that A,B∈Bsa(H) quasi-commute if there exists a nonzero ξ∈C such that AB=ξBA. Bijective maps on Bsa(H) which preserve quasi-commutativity in both directions are classified.     

Region of variability of two subclasses of univalent functions

Let F₁ (F₂ respectively) denote the class of analytic functions f in the unit disk |z|<1 with f(0)=0=f^′(0)−1 satisfying the condition RePf(z)<3/2 (RePf(z)>−1/2 respectively) in |z|<1, where Pf(z)=1+zf^″(z)/f^′(z). For any fixed z₀ in the unit disk and λ∈[0,1), we shall determine the region of variability for logf^′(z₀) when f ranges over the class and , respectively.     

Integrals involving products of Airy functions, their derivatives and Bessel functions

A new integral representation of the Hankel transform type is deduced for the function Fn(x,Z)=Zn−1Ai(x−Z)Ai(x+Z) with x∈R, Z>0 and n∈N. This formula involves the product of Airy functions, their derivatives and Bessel functions. The presence of the latter allows one to perform various transformations with respect to Z and obtain new integral formulae of the type of the Mellin transform, K-transform, Laplace and Fourier transform. Some integrals containing Airy functions, their derivatives and Chebyshev polynomials of the first and second kind are computed explicitly. A new representation is given for the function ²|Ai(z)| with z∈C.     

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.     

Representation theory of 2-groups on Kapranov and Voevodsky's 2-vector spaces

In this paper the representation theory of 2-groups in 2-categories is considered, focusing the attention on the 2-category Rep2MatK(G) of representations of a 2-group G in (a version of) Kapranov and Voevodsky's 2-category of 2-vector spaces over a field K. The set of equivalence classes of such representations is computed in terms of the invariants π₀(G), π₁(G) and [α]∈H³(π₀(G),π₁(G)) classifying G, and the categories of intertwiners are described in terms of categories of vector bundles endowed with a projective action. In particular, it is shown that the monoidal category of finite dimensional linear representations (more generally, the category of [z]-projective representations, for any given cohomology class [z]∈H²(π₀(G),K^∗)) of the first homotopy group π₀(G) as well as its category of representations on finite sets both live in Rep2MatK(G), the first as the monoidal category of endomorphisms of the trivial representation (more generally, as the category of intertwiners between suitable 1-dimensional representations) and the second as a non-full subcategory of the homotopy category of Rep2MatK(G).     

The support points of several classes of analytic functions with fixed coefficients

Let B denote the set of functions ?(z) that are analytic in the unit disk D and satisfy |?(z)|?1(|z|<1). Let P denote the set of functions p(z) that are analytic in D and satisfy p(0)=1 and Rep(z)>0(|z|<1). Let T denote the set of functions f(z) that are analytic in D, normalized by f(0)=0 and f^′(0)=1 and satisfy that f(z) is real if and only if z is real (|z|<1). In this article we investigate the support points of the subclasses of B, P and T of functions with fixed coefficients.     

Landau's theorem for biharmonic mappings

In this paper, we show the existence of Landau constant for biharmonic mappings of the form F(z)=²|z|G(z)+K(z), |z|<1, where G and K are harmonic.     

On normal families and differential polynomials for meromorphic functions

We consider the normality criterion for a families F meromorphic in the unit disc Δ, and show that if there exist functions a(z) holomorphic in Δ, a(z)≠1, for each z∈Δ, such that there not only exists a positive number ε₀ such that |an(a(z)−1)−1|?ε₀ for arbitrary sequence of integers an(n∈N) and for any z∈Δ, but also exists a positive number B>0 such that for every f(z)∈F, B|f^′(z)|?|f(z)| whenever f(z)f^″(z)−a(z)(f^′2(z))=0 in Δ. Then is normal in Δ.