Isometries of norm ideals of compact operators

Let $\text{J}$ be a symmetric norm ideal of compact operators on Hilbert space $\text{H}$, and assume that the finite rank operators are dense in $\text{J}$ and that $\text{J}$ is not the ideal of Hilbert-Schmidt operators. A linear transformation τ on $\text{J}$ is an isometry of $\text{J}$ onto itself if and only if there are unitary operators U and V on $\text{H}$ such that either τ(X) = UXV or τ(X) = UX^tV, where X^t denotes the transpose of X with respect to a fixed orthonormal basis of $\text{H}$.     

On a calculus for a generalized scalar operator

Let $\text{X}$ be a Banach space; S and T bounded scalar-type operators in $\text{X}$. Define Δ on the space of bounded operators on $\text{X}$ by ΔX = TX ? XS if X is a bounded operator. We set up a calculus for Δ which allows us to consider f(Δ), for f a complex-valued bounded Borel measurable function on the spectrum of Δ, as an operator in the space of bounded operators whose domain is a subspace of operators which we call measure generating. This calculus is used to obtain some results on when the kernel of Δ is a complemented subspace of the space of bounded operators on $\text{X}$.     

Fourier analysis on the Heisenberg group. I. Schwartz space

We derive a usable characterization of the group FT (Fourier Transform) of Schwartz space on the Heisenberg group $\text{H}$ⁿ, in terms of certain asymptotic series. To accomplish this we study in detail the FT of multiplication and differentiation operators on $\text{H}$ⁿ, the relation of multiple Fourier series to the FT, and the process of group contraction on $\text{H}$ⁿ. We use our characterization to solve a form of the division problem for convolution of $\text{H}$ⁿ, which has application to Hardy space theory.     

An algebra of pseudodifferential operators and the asymptotics of quantum mechanics

We discuss in detail the regularity properties of a class of pseudodifferential operators on $\text{R}$^l introduced by Grossmann, Loupias, and Stein, which are more regular and more symmetrical than usual pseudodifferential operators. Those operators that are self-adjoint form a suitable class of smooth observables for a nonrelativistic quantum theory. If their symbols are allowed to depend smoothly upon Planck's constant $\text{h}\text{?}$, those operators provide the framework for regular asymptotics expansions as $\text{h}\text{?}\text{→ 0}$ of quantum mechanics around classical mechanics.     

Representations of differential operators on a Lie group

In this paper we apply the theory of second-order partial differential operators with nonnegative characteristic form to representations of Lie groups. We are concerned with a continuous representation U of a Lie group G in a Banach space $\text{B}$. Let $\text{E}$ be the enveloping algebra of G, and let dU be the infinitesimal homomorphism of $\text{E}$ into operators with the Gårding vectors as a common invariant domain. We study elements in $\text{E}$ of the form

$\text{P=}\text{∑}\text{1}\text{r}\text{X}{}^2{}_{\mathrm{j}}\text{|X}{}_0$

with the X_j,'s in the Lie algebra $\text{G}$.If the elements X₀, X₁,…, X_r generate $\text{G}$ as a Lie algebra then we show that the space of C^∞-vectors for U is precisely equal to the C^∞-vectors for the closure $\text{dU(P)}\text{,}\text{of}\text{dU(P)}$. This result is applied to obtain estimates for differential operators.The operator $\text{dU(P)}$ is the infinitesimal generator of a strongly continuous semigroup of operators in $\text{B}$. If X₀ = 0 we show that this semigroup can be analytically continued to complex time ζ with Re ζ > 0. The generalized heat kernels of these semigroups are computed. A space of rapidly decreasing functions on G is introduced in order to treat the heat kernels.For unitary representations we show essential self-adjointness of all operators $\text{dU(Σ}{}_1{}^{\mathrm{r}}\text{X}{}_{\mathrm{j}}{}^2\text{+ (?1)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{X}{}_0$ with X₀ in the real linear span of the X_j's. An application to quantum field theory is given.Finally, the new characterization of the C^∞-vectors is applied to a construction of a counterexample to a conjecture on exponentiation of operator Lie algebras.Our results on semigroups of exponential growth, and on the space of C^∞ vectors for a group representation can be viewed as generalizations of various results due to Nelson-Stinespring [18], and Poulsen [19], who prove essential self-adjointness and a priori estimates, respectively, for the sum of the squares of elements in a basis for $\text{G}$ (the Laplace operator). The work of Hörmander [11] and Bony [3] on degenerate-elliptic (hypoelliptic) operators supplies the technical basis for this generalization. The important feature is that elliptic regularity is too crude a tool for controlling commutators. With the aid of the above-mentioned hypoellipticity results we are able to “control” the (finite dimensional) Lie algebra generated by a given set of differential operators.     

Grothendieck's theorem for noncommutative C1-algebras,with an Appendix on Grothendieck's constants

We study a conjecture of Grothendieck on bilinear forms on a C¹-algebra $\text{Ol}$. We prove that every “approximable” operator from $\text{Ol}$ into $\text{Ol}$¹ factors through a Hilbert space, and we describe the factorization. In the commutative case, this is known as Grothendieck's theorem. These results enable us to prove a conjecture of Ringrose on operators on a C¹-algebra. In the Appendix, we present a new proof of Grothendieck's inequality which gives an improved upper bound for the so-called Grothendieck constant k_G.     

L2 multipliers with power weights

Necessary and sufficient conditions are found for a multiplier operator to be bounded on L² of the line with weight |x|^2α. This paper is concerned primarily with the case $\text{α>}\text{1}\text{2}$. Multiplier operators are defined on these spaces by using the usual definition on a subspace that is shown to be dense in the space. The case $\text{α < ?}\text{1}\text{2}$ is treated by duality; $\text{|α| <}\text{1}\text{2}$ is briefly treated using a recent result on fractional integrals. The periodic case is also sketched.     

Spectral measures and the Bade reflexivity theorem

Let $\text{B}$ be a strongly equicontinuous Boolean algebra of projections on the quasi-complete locally convex space X and assume that the space L(X) of continuous linear operators on X is sequentially complete for the strong operator topology. Methods of integration with respect to spectral measures are used to show that the closed algebra generated by $\text{B}$ in L(X) consists precisely of those continuous linear operators on X which leave invariant each closed $\text{B}$-invariant subspace of X.     

Geometric approach to a dilation theorem

Problem: Given operators A_j ? O on Hilbert space $\text{H}$, with ΣA_j = 1, to find commuting projectors E_j on a Hilbert space $\text{H}$ ? $\text{H}$ such that (for all _j) x¹A_jy = x¹E_jy for, x, y ∈ $\text{H}$. This paper gives an explicit construction, quite different from the familiar solution.     

Representation and index theory for C1-algebras generated by commuting isometries

We discuss here representation and Fredholm theory for C¹-algebras generated by commuting isometries. More particularly, for n commuting isometries {V_j: 1 ? j ? n} on separable Hilbert space we give a representation resembling the well-known representation for a single isometry. Our representation permits an analysis of the C¹-algebras $\text{Ol}$=$\text{Ol}$(V_j:1?j?n) generated by the {V_j}. The commutator ideal in $\text{Ol}$ is identified precisely and, under certain additional hypotheses, the Fredholm operators in $\text{Ol}$ are also precisely determined. Finally, we obtain formulas in terms of topological data for the index of Fredholm operators in some interesting algebras of the type $\text{Ol}$(V_j:1?j?n).     

On some properties of convolution operators in K′1 and S′

Let $\text{H}$′ be either the space $\text{K}$′₁ of distributions of exponential growth or the space $\text{S}$′ of tempered distributions, and let $\text{O}$′_C($\text{H}$′:$\text{H}$′) be the space of convolution operators in $\text{H}$′. In each case $\text{H}$′ is the dual of a space $\text{H}$ of C^∞-functions which are in $\text{O}$′_C($\text{H}$′:$\text{H}$′). We establish necessary and sufficient conditions on the Fourier transform $\text{S}\text{?}$ of ? of S ? $\text{O}$′_C($\text{H}$′:$\text{H}$′) in order that every distribution u? $\text{O}$′_C($\text{H}$′:$\text{H}$′) with S1u?$\text{H}$ be in $\text{H}$. If $\text{H}$′ = $\text{K}$′₁, the condition is equivalent to S×H′¹=H′¹.     

Geometric Lipschitz spaces and applications to complex function theory and nilpotent groups

It is known that a function on $\text{R}$ⁿ which can be well approximated by polynomials, in the mean over Euclidean balls, is Lipschitz smooth in the usual sense. In this paper an analogous theorem is proved in which $\text{R}$ⁿ is replaced by a set X, the averages over balls are replaced by a family of sublinear operators satisfying certain axioms, and the polynomials are replaced by a class of functions having certain regularity properties with respect to the averaging operators. Applications are given to function theory on domains in $\text{C}$ⁿ, to nilpotent Lie groups, and to the classical Euclidean case. The first application provides a characterization of the duals of Hardy spaces on the ball in $\text{C}$ⁿ.     

Galois stratification over Frobenius fields

New first-order conformally covariant differential operators P_k on spinor-k-forms, i.e., tensor products of contravariant spinors with k-forms, in an arbitrary n-dimensional pseudo-Riemannian spin manifold, are introduced. This provides a series of generalizations of the Dirac operator $\text{?}\text{?}$, in analogy with the series of generalizations (introduced by the author in [1]) of the Maxwell operator and the conformally covariant Laplacian $\text{□}$ on functions. In particular, new intertwining operators for representations of SU(2, 2) and SO(p + 1, q + 1) are found. Related nonlinear covariant operators are also introduced, and mixed nonlinear covariant systems are obtained by coupling to the Yang-Mills-Higgs-Dirac system in dimension 4. The spinor-form bundle is isomorphic with E⁽³⁾ = E ? E ? E, where E is the spin bundle, and the P_k give a covariant operator on sections of E⁽³⁾. This is generalized to a covariant operator on E^{(2l + 1)}. The relation of powers of these operators to higher-order covariant operators on lower spin bundles (analogous to the relation between $\text{?}\text{?}$ and $\text{□}$) is discussed.     

On operator-valued analytic functions with constant norm

Let X be a complex Banach space and $\text{D}$ a domain in the complex plane. Let f: $\text{D}$ → X be an analytic function such that ∥f(ζ)∥ is constant as ζ ? $\text{D}$. If X is the complex plane, then by the classical maximum modulus theorem f;(ζ) itself is constant on $\text{D}$. This is not the case in general. In the paper we study the norm-constant analytic functions whose values are bounded linear operators over an uniformly convex complex Banach space or, in particular, over a complex Hilbert space.     

Operator-theoretic solution of stochastic systems

A (stochastic) operator-theoretic approach leads to expresssions for inverses of linear and nonlinear stochastic operators—useful for the solution of linear or nonlinear stochastic differential equations. Operator equations are developed for inverses of linear or nonlinear stochastic operators. Series expressions are obtained which allow writing the solution y=$\text{F}$^?1x of the operator equation $\text{F}$y=x. Special cases are studied in which $\text{F}$ may be linear or nonlinear, deterministic or stochastic in various combinations.     

Nonlinear Volterra equations on a Hilbert space

We consider equations of the form, u(t) = ? ∝₀^tA(t ? τ)g(u(τ)) dτ + ?(t) (I) on a Hubert space $\text{H}$. A(t) is a family of bounded, linear operators on $\text{H}$ while g is a transformation on $\text{D}$_g ?$\text{H}$ which can be nonlinear and unbounded. We give conditions on A and g which yield stability and asymptotic stability of solutions of (I). It is shown, in particular, that linear combinations with positive coefficients of the operators e^Mt and ?e^Mtsin Mt where M is a bounded, negative self-adjoint operator on $\text{H}$ satisfy these conditions. This is shown to yield stability results for differential equations of the form, $\text{Q (}\text{d}\text{dt}\text{) u = ? P (}\text{d}\text{dt}\text{) g(u(t)) + χ(t)}$, on $\text{H}$.     

On the square root of a positive B(X,X1)-valued function

Let (Ω, $\text{B}$, μ) be a measure space, $\text{X}$ a separable Banach space, and $\text{X}$¹ the space of all bounded conjugate linear functionals on $\text{X}$. Let f be a weak¹ summable positive B($\text{X, X}$¹)-valued function defined on Ω. The existence of a separable Hilbert space $\text{K}$, a weakly measurable B($\text{X, K}$)-valued function Q satisfying the relation $\text{Q}{}^1\text{(ω)Q(ω) = f(ω)}$ is proved. This result is used to define the Hilbert space L_2,f of square integrable operator-valued functions with respect to f. It is shown that for B⁺($\text{X, X}$¹)-valued measures, the concepts of weak¹, weak, and strong countable additivity are all the same. Connections with stochastic processes are explained.     

A class of extension properties that are not simply generated

Let $\text{P}$ be a closed-hereditary topological property preserved by products. Call a space $\text{P}$-regular if it is homeomorphic to a subspace of a product of spaces with $\text{P}$. Suppose that each $\text{P}$-regular space possesses a $\text{P}$-regular compactification. It is well-known that each $\text{P}$-regular space X is densely embedded in a unique space γ_scPX with $\text{P}$ such that if f: X → Y is continuous and Y has $\text{P}$, then f extends continuously to γ_scPX. Call $\text{P}$-pseudocompact if γ_scPX is compact.Associated with $\text{P}$ is another topological property $\text{P}$^#, possessing all the properties hypothesized for $\text{P}$ above, defined as follows: a $\text{P}$-regular space X has $\text{P}$^# if each $\text{P}$-pseudocompact closed subspace of X is compact. It is known that the $\text{P}$-pseudocompact spaces coincide with the $\text{P}$^#-pseudocompact spaces, and that $\text{P}$^# is the largest closed-hereditary, productive property for which this is the case. In this paper we prove that if $\text{P}$ is not the property of being compact and $\text{P}$-regular, then $\text{P}$^# is not simply generated; in other words, there does not exist a space E such that the spaces with $\text{P}$^# are precisely those spaces homeomorphic to closed subspaces of powers of E.     

When is an operator the integral of a given spectral measure?

For a closed densely defined operator T on a complex Hilbert space $\text{H}$ and a spectral measure E for $\text{H}$ of countable multiplicity q defined on a σ-algebra $\text{B}$ over an arbitrary space Λ we give three conceptually differing but equivalent answers to the question asked in the title of the paper (Theorem 1.5). We then study the simplifications which accrue when T is continuous or when q = 1 (Sect. 4). With the aid of these results we obtain necessary and sufficient conditions for T to be the integral of the spectral measure of a given group of unitary operators parametrized over a locally compact abelian group Γ (Sect. 5). Applying this result to the Hilbert space $\text{H}$ of functions which are L₂ with respect to Haar measure for Γ, we derive a generalization of Bochner's theorem on multiplication operators (Sect. 6). Some results on the multiplicity of indicator spectral measures over Γ are also obtained. When Γ = $\text{R}$ we easily deduce the classical theorem about the commutant of the associated self-adjoint operator (Sect. 7).     

Spectrum and continuum eigenfunctions of Schrödinger operators

We consider Schrödinger operators $\text{H = ?}\text{1}\text{2}\text{Δ + V}$ for a large class of potentials. V. We show that if H? = E? has a polynomially bounded solution ? then E is in the spectrum of H. This is accomplished by proving that the spectrum of H as an operator on L² is identical to its spectrum as an operator on the weighted L² space, L²_δ.