The metaplectic representation,Weyl operators and spectral theory

Let X be the Grassmannian of Lagrangian subspaces of R²ⁿ and π: Θ → X the bundle of negative half-forms. We construct a canonical imbedding S(Rⁿ)_even → C^∞(Θ) which intertwines the metaplectic representation of M_p(n) on S(Rⁿ) with the induced representation of M_p(n) on C^∞(Θ). This imbedding converts the algebra of Weyl operators into an algebra of pseudodifferential operators and enables us to prove theorems about the spectral properties of Weyl operators by reducing them to standard facts about pseudodifferential operators. For instance we are able to prove a Weyl theorem on the asymptotic growth of eigenvalues with an “optimal” error estimate for such operators and an analogue of the Helton clustering theorem and the Chazarain-Duistermaat-Guillemin trace formula.     

Groups generated by analytic Schrödinger operators

If the potential in a two-particle system is the boundary value of an analytic function, the physical Hamiltonian H(0) has an analytic continuation H(φ) which is not normal. In case the potential is local and belongs to suitable $\text{L}$^p-spaces, there is a bounded operator P(0, φ) projecting onto the continuous subspace of H(φ). This paper shows that P(0, φ) H(φ) e^?2iφ generates a strongly differentiable group. It is proved that P(0, φ) H(φ) is spectral, and details of the spectral projection operators are presented. The reasoning is based on the Paley-Wiener theorem for functions in a strip. It applies to larger systems provided the resolvent of the multiparticle operator H(φ) satisfies certain regularity conditions that come from the theory of smooth operators. There are no smallness conditions on the potential.     

Schatten class membership of Hankel operators on the unit sphere

Let H²(S) be the Hardy space on the unit sphere S in Cn, n?2. Consider the Hankel operator Hf=(1−P)Mf|H²(S), where the symbol function f is allowed to be arbitrary in L²(S,dσ). We show that for p>2n, Hf is in the Schatten class Cp if and only if f−Pf belongs to the Besov space Bp. To be more precise, the “if” part of this statement is easy. The main result of the paper is the “only if” part. We also show that the membership Hf∈C2n implies f−Pf=0, i.e., Hf=0.     

On quasinormal,subnormal, and hyponormal Toeplitz operators

Let ? be a non-constant function inL ^∞(D) such thatφ=φ ₁+φ ₂, whereφ ₁ is an element in the Bergman spaceL _a ² (D), and \(\phi _2 \in \overline {L_a^2 (D)} \) , the space of all complex conjugates of functions inL _a ² (D). In this paper, it is shown that if 1 is an element in the closure of the range of the self-commutator ofT _?, \(T_{\bar \phi } T_\phi - T_\phi T\phi \) , then the Toeplitz operatorT _? defined ofL _a ² (D) is not quasinormal. Moreover, if \(\phi = \psi + \lambda \bar \psi \) , whereψ∈ H ^∞(D), and λεC, it is proved that ifT _? is quasinormal, thenT _? is normal. Also, the spectrum of a class of pure hyponormal Toeplitz operators is determined.     

Toeplitz operators on Bergman spaces

Let ? be an element in \(H^\infty (D) + C(\overline D )\) such that ?^* is locally sectorial. In this paper it is shown that the Toeplitz operator defined on the Bergman spaceA ² (D) is Fredholm. Also, it is proved that ifS is an operator onA ²(D) which commutes with the Toeplitz operatorT _? whose symbol ? is a finite Blaschke product, thenS H ^∞ (D) is contained inH ^∞ (D). Moreover, some spectral properties of Toeplitz operators are discussed, and it is shown that the spectrum of a class of Toeplitz operators defined on the Bergman spaceA ² (D), is not connected.     

On operators commuting with Toeplitz operators modulo the compact operators

We prove that an operator on H² of the disc commutes modulo the compacts with all analytic Toeplitz operators if and only if it is a compact perturbation of a Toeplitz operator with symbol in H^∞ + C. Consequently, the essential commutant of the whole Toeplitz algebra is the algebra of Toeplitz operators with symbol in QC. The image in the Calkin algebra of the Toeplitz operators with symbol in H^∞ + C is a maximal abelian algebra. These results lead to a characterization of automorphisms of the algebra of compact perturbations of the analytic Toeplitz operators.     

Right inverses for linear, constant coefficient partial differential operators on distributions over open half spaces

Results of Hörmander on evolution operators together with a characterization of the present authors [Ann. Inst. Fourier, Grenoble 40, 619–655 (1990)] are used to prove the following: Let P ∈ ?[z₁,...,z _n ] and denote by P _m its principal part. If P ? P_m is dominated by P _m then the following assertions for the partial differential operators P(D) and P _m(D) are equivalent for N ∈ S ^n?1:

1. P(D) and/or P_m D)admit a continuous linear right inverse on C ^∞(H ₊(N)).
2. P(D) admits a continuous linear right inverse on C ^∞ (? ⁿ ) and a fundamental solution E ∈ C ^∞(?ⁿ) satisfying Supp $E \subset \overline {H - (N)} $

where H ₊(N) := {x ∈ ? ⁿ :±(x,N) τ; 0}.     

Some applications of Banach algebra techniques

We consider some functional Banach algebras with multiplications as the usual convolution product * and the so‐called Duhamel product ?. We study the structure of generators of the Banach algebras (C⁽ⁿ⁾[0, 1], *) and (C⁽ⁿ⁾[0, 1], ?). We also use the Banach algebra techniques in the calculation of spectral multiplicities and extended eigenvectors of some operators. Moreover, we give in terms of extended eigenvectors a new characterization of a special class of composition operators acting in the Lebesgue space L^p[0, 1] by the formula (C_φf)(x) = f(φ(x)).     

A characterization of certain weak1-closed subalgebras of L∞

Let $\text{R}$ denote the real line and L^∞(R), the class of all Borel measurable L^∞-functions of $\text{R}$. Let S ≠ {0} or φ, be a linear subspace of L^∞(R) which is (i) translation invariant, (ii) weak¹-closed, (iii) self-adjoint, i.e., f?S implies f?S, and (iv) an algebra. Then either (a) S = all constant functions in L^∞; or (b) S = L^∞; or (c) there is a unique c > 0 such that S consists of all L^∞-functions which are periodic of period c.Extension of the above characterization of periodic subalgebras of L^∞ to LCA groups are presented. Also it is shown that the above characterization is in various ways best possible.     

Toeplitz operators on hardy spaceH p (S) with 0<p≤1

LetB ⁿ be the unit ball inC ⁿ ,S is the boundary ofB ⁿ . We letL ^p (S) denote the usual Lebesgue spaces overS with respect to the normalized surface measure,H ^p (B ⁿ ) is its usua holomorphic subspace.H ^p (S) denotes the atomic Hardy spaces defined in [GL]. LetPL ² (S)H ²(B ⁿ ) denote the orthogonal projection. For eachfL (S), we useM _f L ^p (S)L ^p (S) to denote the multiplication operator, and we define the Toeplitz operatorT _f =PM _f . The paper gives a characterization theorem onf such that the Toeplitz operatorsT _f and are bounded fromH ^p (S)H ^p (B ⁿ ) with 0<p1. Also several equivalent conditions are given.     

On the Carathéodory-John Multiplier Rule

Suppose Φ maps an open subset U of Rⁿ into R^k, a?U, S is a subset of U, and int Φ(S) denotes the interior of the image Φ(S). Call any result with conclusion Φ(a) ? int Φ(S) an interior mapping theorem. The best known example is an easy corollary of the classical Implicit Mapping Theorem: if Φ is strongly differentiable at a?U and if L = Φ′(a), then Φ(a) ? int Φ(U) whenever L(a) ? int L(U), that is, whenever the linear transformation L maps Rⁿ onto R^k. A more subtle interior mapping theorem is proved in this paper: if $\text{a ? U ∩}\text{C}\text{?}\text{,}\text{where}\text{C}$ is a convex subset of U, if Φ is strongly differentiable at a?U, and if L = Φ′(a), then Φ(a) ? int Φ(C) whenever L(a) ? int L(C). This Convex Interior Mapping Theorem is then applied to yield a short proof of the Carathéodory-John Multiplier Rule for minimizing a strongly differentiable function φ₀ subject to strongly differentiable inequality constraints φ₁ ? 0,…, φ_p ? 0 strongly differentiable equality constraints φ_{p + 1} = 0,…, φ_{p + q}= 0. (A corollary of this fundamental multiplier rule is the well-known Karush-Kuhn-Tucker theorem.) The demonstration proceeds by examining interiority properties of the mapping Φ = (φ₀, φ₁,…, φ_{p + q}) from U into R^{p + q +1}.     

On partial sums of a spectral analogue of the Möbius function

Sankaranarayanan and Sengupta introduced the function μ ^*(n) corresponding to the Möbius function. This is defined by the coefficients of the Dirichlet series 1/L _f (s), where L _f (s) denotes the L-function attached to an even Maaß cusp form f. We will examine partial sums of μ ^*(n). The main result is $\sum_{n\leq x}\mu^{*}(n)=O(x\exp(-A\sqrt{\log x}))$ , where A is a positive constant. It seems to be the corresponding prime number theorem.     

Numerical Ranges of Radial Toeplitz Operators on Bergman Space

A Toeplitz operator T_fT_\phi with symbol f\phi in L^￥(\mathbbD)L^{\infty}({\mathbb{D}}) on the Bergman space A²(\mathbbD)A^{2}({\mathbb{D}}), where \mathbbD\mathbb{D} denotes the open unit disc, is radial if f(z) = f(|z|)\phi(z) = \phi(|z|) a.e. on \mathbbD\mathbb{D}. In this paper, we consider the numerical ranges of such operators. It is shown that all finite line segments, convex hulls of analytic images of \mathbbD\mathbb{D} and closed convex polygonal regions in the plane are the numerical ranges of radial Toeplitz operators. On the other hand, Toeplitz operators T_fT_\phi with f\phi harmonic on \mathbbD\mathbb{D} and continuous on [`(\mathbbD)]{\overline{\mathbb{D}}} and radial Toeplitz operators are convexoid, but certain compact quasinilpotent Toeplitz operators are not.     

Functional calculi of second-order elliptic partial differential operators with bounded measurable coefficients

Consider a second-order elliptic partial differential operatorL in divergence form with real, symmetric, bounded measurable coefficients, under Dirichlet or Neumann conditions on the boundary of a strongly Lipschitz domain Ω. Suppose that 1 <p < ∞ and μ > 0. ThenL has a bounded H_∞ functional calculus in L^p(Ω), in the sense that ¦¦f (L +cI)u¦¦_p ≤C sup_¦arλ¦<μ ^¦f¦ ¦‖u¦‖_p for some constantsc andC, and all bounded holomorphic functionsf on the sector ¦ argλ¦ < μ that contains the spectrum ofL +cI. We prove this by showing that the operatorsf(L + cI) are Calderón-Zygmund singular integral operators.     

Orthogonally additive polynomials on spaces of continuous functions

We show that, for every orthogonally additive homogeneous polynomial P on a space of continuous functions C(K) with values in a Banach space Y, there exists a linear operator S:C(K)→Y such that P(f)=S(fn). This is the C(K) version of a related result of Sundaresam for polynomials on Lp spaces.     

Algebraic properties and the finite rank problem for Toeplitz operators on the Segal-Bargmann space

We study three different problems in the area of Toeplitz operators on the Segal-Bargmann space in Cn. Extending results obtained previously by the first author and Y.L. Lee, and by the second author, we first determine the commutant of a given Toeplitz operator with a radial symbol belonging to the class Sym_>0(Cn) of symbols having certain growth at infinity. We then provide explicit examples of zero-products of non-trivial Toeplitz operators. These examples show the essential difference between Toeplitz operators on the Segal-Bargmann space and on the Bergman space over the unit ball. Finally, we discuss the “finite rank problem”. We show that there are no non-trivial rank one Toeplitz operators Tf for f∈Sym_>0(Cn). In all these problems, the growth at infinity of the symbols plays a crucial role.     

Nonlinear random ergodic theorems for affine operators

Let (Ω,ß,μ) be a finite measure space and let (S,F,ν) be another probability measure space on which a measure preserving transformation φ is given. We introduce the so-called affine systems and prove a vector-valued nonlinear random ergodic theorem for the random affine system determined by a strongly F-measurable family of affine operators, where B is a reflexive Banach space, is a strongly F-measurable family of linear contractions on L₁(Ω,B) as well as on L_∞(Ω,B) and ξ is a function in (I−T)Lp(S×Ω,B) (1?p<∞) with the operator T defined by Tf(s,ω)=[Tsfφs](ω) which denotes the F⊗ß-measurable version of Tsfφs(ω). Moreover, some variant forms of the nonlinear random ergodic theorem are also obtained with some examples of affine systems for which the nonlinear ergodic theorems fail to hold.     

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 ⁰ .

     

A limit theorem for order preserving nonexpansive operators inL 1

We prove the following theorem:Let T be an order preserving nonexpansive operator on L ₁ (μ) (or L ₁ ⁺ ) of a σ-finite measure, which also decreases theL _∞-norm, and let S=tI+(1?t)T for 0<t<1. Then for everyf ∈ L_p (1<p<∞),the sequence S ⁿf converges weakly in L_p. (The assumptions do not imply thatT is nonexpansive inL _p for anyp>1, even ifμ is finite.) For the proof we show that ∥S ⁿ⁺¹ f?S ⁿf∥ _p → 0 for everyf ∈L _p, 1<p<∞, and apply toS the following theorem:Let T be order preserving and nonexpansive in L ₁ ⁺ , and assume that T decreases theL _∞-norm. Then forg ∈L _p (1<p<∞) Tⁿg is weakly almost convergent. If forf ∈ L_p we have T ⁿ⁺¹ f?T ⁿ f → 0weakly, then T ⁿf converges weakly in L_p (1<p<∞).