Semilinear operators

Weakly closed, commutative, symmetric rings of operators on a Hilbert space are examined and their structure is ex ploited to characterize normal operators in terms of the rings they generate. In the first chapter, notation is established, and the less common theorems from Hilbert space theory not to be used in later sections are briefly reviewed. In Chapter II, the structure of weakly closed, commu tative, symmetric rings with a cyclic vector is specified. This theorem is then used in conjunction with a strucure called a canonical decomposition system to establish that every weakly closed, commutative, symmetric ring or opera tors acting on a separable space and containing the iden tity is spatially isomorphic to a "divect sum" of L rings of a certain type. In Chapter III, two sets of necessary and sufficient conditions are given for two normal operators on a separ able Hilbert space to be unitarily equivalent. The concept of a spectral class of a normal operator is introduced -a natural generalization of the concept of an eigen value. Each spectral class is assigned a multiplicity, and it is shown that two normal operators are unitarily equivalent iff they have the same spectral classes with the same respective multiplicities. A multiplicity is iv also defined for weakly continuous positive functionals o n the symmetric ring generated by a normal operator in the weak topology, and it is shown that this multiplicity function determines the operator. This multiplicity theory is compared w i t h a previous theory. v CHAPTER I INTRODUCTION We shall be concerned in this paper with rings of operators on a Hilbert space, in particular, weakly closed, commutative, symmetric rings. All Hilbert spaces to be considered will be complex Hilbert spaces. If H is a Hilbert space and x,y e H, then (x(y) will denote the inner product of x and y, and 1 Jxi| will denote the norm of x. We shall consider only bounded linear operators in this paper, and therefore we shall use the word "operator" solely to mean a bounded linear operator. The set of all operators on the Hilbert space H will be denoted by B(H). If A s B(H), then A* will denote the adjoint of A, We employ the usual concepts of isometric, unitary, hermitian, normal, and positive definite operators. Knowledge of the weak, strong, strongest, and norm topologies for B(H) is assumed. The norm topology is the strongest of the four; hence, any set of operators closed in one of the topologies is closed in the norm topology. By a ring of operators we shall mean a set of opera tors forming a ring in the usual algebraic sense which is also a vector space over the complex numbers. A ring R of operators is symmetric if A e R whenever A e R. from the theory of Banach algebras, we know that any norm closed, 1 we define an operator A a e BCLg) by A ftf = af* Note that two Ly,, functions which differ only on a set of measure zero give rise to the same operator. The ring of operators thus obtained is a maximal, commutative, symmetric ring. If E is a weakly closed, commutative, symmetric ring with maximal ideal space M, then the fact that E is closed under sups gives rise to some strong topological properties of M. In this case, M is totally disconnected, and the closure of every open set is open. Thus, M contains many sets which are both open and closed, and such sets we call clopen. It is easy to see that projections in E correspond v i a the Gelfand transform to the characteristic functions of clopen sets. If U is a clopen subset of M, then we will let pu denote the corresponding projection in E. pu (m) -JtjjCm) = the characteristic function of U. Throughout the remainder of this discussion, E will denote a weakly closed commutative, symmetric subring of B(H) with identity, and M will denote the maximal ideal space of E. Corresponding to each vector 5 e H, there is a measure u on M defined by The topological properties of M carry strong implications for the resulting measure space. If S = M is measurable, then there exists a clopen set U such that m (S\UUU\S) * 0. If ? is cyclic for E ' , then u is supported on all of M, in ( A $ 0 = J A (m)du(m)

From the viewpoint of the theory of orthomodular lattices of elementary propositions, Quantum Theories can be formulated in real, complex or quaternionic Hilbert spaces as established in Sol\'er's theorem. The said lattice eventually coincides with the lattice of all orthogonal projectors on a separable Hilbert space over R, C, or over the algebra of quaternions H. Quantum states are $\sigma$-additive probability measures on that non-Boolean lattice. Gleason's theorem proves that, if the Hilbert space is separable with dimension >2 and the Hilbert space is either real or complex, then states are one-to-one with standard density matrices (self-adjoint, positive, unit-trace, trace-class operators). The extension of this result to quaternionic Hilbert spaces was obtained by Varadarajan in 1968. Unfortunately, even if the hard part of the proof is correct, the formulation of this extension is mathematically incorrect. This is due to some peculiarities of the notion of trace in quaternionic Hilbert spaces, e.g., basis dependence, making the theory of trace-class operators in quaternionic Hilbert spaces different from the standard theory in real and complex Hilbert spaces. A minor issue also affects Varadarajan's statement for real Hilbert space formulation. This paper is mainly devoted to present Gleason-Varadarajan's theorem into a technically correct form valid for the three types of Hilbert spaces. After having develped part of the general mathematical technology of trace-class operators in (generally non-separable) quaternionic Hilbert spaces, we prove that only the {\em real part} of the trace enters the formalism of quantum theories (also dealing with unbounded observables and symmetries) and it can be safely used to formulate and prove a common statement of Gleason's theorem.

As earlier conjectured by several authors and much later established by Solèr, from the lattice-theory point of view, Quantum Mechanics may be formulated in real, complex or quaternionic Hilbert spaces only. On the other hand, no quantum systems seem to exist that are naturally described in a real or quaternionic Hilbert space. In a previous paper [23], we showed that any quantum system which is elementary from the viewpoint of the Poincaré symmetry group and it is initially described in a real Hilbert space, it can also be described within the standard complex Hilbert space framework. This complex description is unique and more precise than the real one as, for instance, in the complex description, all self-adjoint operators represent observables defined by the symmetry group. The complex picture fulfils the thesis of Solér’s theorem and permits the standard formulation of the quantum Noether’s theorem. The present work is devoted to investigate the remaining case, namely, the possibility of a description of a relativistic elementary quantum system in a quaternionic Hilbert space. Everything is done exploiting recent results of the quaternionic spectral theory that were independently developed. In the initial part of this work, we extend some results of group representation theory and von Neumann algebra theory from the real and complex cases to the quaternionic Hilbert space case. We prove the double commutant theorem also for quaternionic von Neumann algebras (whose proof requires a different procedure with respect to the real and complex cases) and we extend to the quaternionic case a result established in the previous paper concerning the classification of irreducible von Neumann algebras into three categories. In the second part of the paper, we consider an elementary relativistic system within Wigner’s approach defined as a locally-faithful irreducible strongly-continuous unitary representation of the Poincaré group in a quaternionic Hilbert space. We prove that, if the squared-mass operator is non-negative, the system admits a natural, Poincaré invariant and unique up to sign, complex structure which commutes with the whole algebra of observables generated by the representation itself. This complex structure leads to a physically equivalent reformulation of the theory in a complex Hilbert space. Within this complex formulation, differently from what happens in the quaternionic one, all self-adjoint operators represent observables in agreement with Solèr’s thesis, the standard quantum version of Noether theorem may be formulated and the notion of composite system may be given in terms of tensor product of elementary systems. In the third part of the paper, we focus on the physical hypotheses adopted to define a quantum elementary relativistic system relaxing them on the one hand, and making our model physically more general on the other hand. We use a physically more accurate notion of irreducibility regarding the algebra of observables only, we describe the symmetries in terms of automorphisms of the restricted lattice of elementary propositions of the quantum system and we adopt a notion of continuity referred to the states viewed as probability measures on the elementary propositions. Also in this case, the final result proves that there exists a unique (up to sign) Poincaré invariant complex structure making the theory complex and completely fitting into Solèr’s picture. The overall conclusion is that relativistic elementary systems are naturally and better described in complex Hilbert spaces even if starting from a real or quaternionic Hilbert space formulation and this complex description is uniquely fixed by physics.

In an earlier paper, the author derived generalized Rayleigh-quotient formulas for the real parts, imaginary parts, and moduli of the eigenvalues of diagonalizable matrices. More precisely, max-, min-max-, min-, and max-min-formulas were obtained. In this paper, we extend these results to the eigenvalues of linear nonsymmetric compact operators with simple eigenvalues in a Hilbert space. As an application, a new formula for the spectral radius is derived. An example arising from a boundary value problem in Mathematical Physics illustrates the general results, and numerical computations underpin the theoretical findings. In addition, the Euler column is treated from the area of Elastomechanics, which is complemented by references to other examples from this area.

In this paper, using the recently discovered notion of the S-spectrum, we prove the spectral theorem for a bounded or unbounded normal operator on a Clifford module (i.e., a two-sided Hilbert module over a Clifford algebra based on units that all square to be \(-1\)). Moreover, we establish the existence of a Borel functional calculus for bounded or unbounded normal operators on a Clifford module. Towards this end, we have developed many results on functional analysis, operator theory, integration theory and measure theory in a Clifford setting which may be of an independent interest. Our spectral theory is the natural spectral theory for the Dirac operator on manifolds in the non-self adjoint case. Moreover, our results provide a new notion of spectral theory and a Borel functional calculus for a class of n-tuples of commuting or non-commuting operators on a real or complex Hilbert space. Moreover, for a special class of n-tuples of operators on a Hilbert space our results provide a complementary functional calculus to the functional calculus of J. L. Taylor.

Equations of the form $$A(u) = F\frac{{{d^2}u}}{{d{y^2}}} + iG\frac{{du}}{{dy}} + (H - {\omega ^2}R)u = 0$$ with symmetric operator coefficients on a Hilbert space (ω is the frequency parameter) arise often in problems of mathematical physics. We study strongly elliptic equations whose symbols $${T_\omega }(\lambda ) = {\lambda ^2}F + \lambda G + H - {\omega ^2}R $$ satisfy the condition T ω(λ) ≥ ε(λ2 + H − V) for all λ ∈ ℝ provided ε is sufficiently small and V is a nonnegative H-compact positive operator. We prove that strongly elliptic equations may have only a finite number of outgoing waves. This enables us to pose the half range Cauchy problem with the radiation conditions at infinity and to prove its unique solvability. This is related to the Mandelstam hypothesis. The key tools (and the main results of the paper) are the factorization theorems which claim a representation of the symbol T ω, (λ) as a product of two linear divisors with special properties of involved operators.key wordsOperator differential equationsfactorizationelliptic pencils

M. Rosenblum in [2] presented a most ingenious proof of the Fuglede and Putnam Theorems by means of entire vector valued functions [1, p. 59]. We will demonstrate that some curious properties of bounded Hilbert space operators can be derived from Rosenblum's argument and similar arguments. Throughout this text we mean by an a bounded linear transformation of a Hilbert space into itself. Given an operator A we mean by A the uniform limit of the series I+A +A 2/2 1 +A3/3! +A4/4! + * * * . We let A * denote the adjoint of the operator A, and let z* denote the complex conjugate of the complex number z. A operator is an operator which commutes with its adjoint. A critical fact in the Rosenblum proof is that given a normal operator A and any complex number z, exp (izA) exp (iz*A *) exp (izA +iz*A *) = exp (iz*A *) exp (izA), and this operator is unitary because i(zA +z*A *) is skew hermitian. Our first result states, among other things, that the converse is true; if the above equations hold for a fixed operator A and all complex numbers z, then A is normal.

Given the abstract evolution equation y ′ ( t ) = A y ( t ) , t ∈ ℝ , y^{\prime} (t)=Ay(t),t\in {\mathbb{R}}, with a scalar type spectral operator A in a complex Banach space, we find conditions on A, formulated exclusively in terms of the location of its spectrum in the complex plane, necessary and sufficient for all weak solutions of the equation, which a priori need not be strongly differentiable, to be strongly Gevrey ultradifferentiable of order β ≥ 1 \beta \ge 1 , in particular analytic or entire, on ℝ {\mathbb{R}} . We also reveal certain inherent smoothness improvement effects and show that if all weak solutions of the equation are Gevrey ultradifferentiable of orders less than one, then the operator A is necessarily bounded. The important particular case of the equation with a normal operator A in a complex Hilbert space follows immediately.

The following (so-called unitary equivalence) problem is of paramount importance in the theory of operators: given two (bounded linear) operators A1, A2 on a (complex) Hilbert space , determine whether or not they are unitarily equivalent, i.e., whether or not there is a unitary operator U on such that U*A1U = A2. For normal operators this question is completely answered by the classical multiplicity theory [7; 11]. Many authors, in particular, Brown [3], Pearcy [9], Deckard [5], Radjavi [10], and Arveson [1; 2], considered the problem for non-normal operators and have obtained various significant results. However, most of their results (cf. [13]) deal only with operators which are of type I in the following sense [12]: an operator, A, is of type I (respectively, II1, II∞, III) if the von Neumann algebra generated by A is of type I (respectively, II1, II∞, III).

Although it is quite obvious that an increasing amount of energy is required to remove more and more electrons from an atom, the proof of this observation seems to be a ‘remarkably difficult problem in mathematical physics’. Here, by using well-known energy bounds, we show the monotonicity of ionization energies for the simplest nontrivial system, i.e., a nucleus (with infinite mass) and three electrons, which physically corresponds to ionization in the lithium isoelectronic series via the para-channel.

We obtain some necessary or sufficient conditions for an operator on a complex separable Hilbert space to be expressible as a product of two normal operators. For example, it is shown that if T is such a product, then $$\dim \ker T \ge \dim \ (\ker T^*\ \cap \ \mathrm {ran}\, T^*)$$ . On the other hand, any operator T satisfying $$\dim \ker T^* \ge \dim \ker T$$ and $$\dim \ (\ker T\ \cap \ \overline{\mathrm {ran}\, T})\ge \dim \ (\ker T^*\ \cap \ \mathrm {ran}\, T^*$$ ) is a product of two normal operators. Such results complement our previous ones on the products of finitely many normal operators. We also obtain characterizations for products of two essentially normal operators.

The multiplicities of the powers of a bounded linear operator T T , acting on a complex separable infinite-dimensional Banach space X \mathfrak {X} , satisfy the inequalities \[ ( ∗ ∗ ) μ ( T n ) ⩽ μ ( T h n ) ⩽ h μ ( T n ) for all h , n ⩾ 1. ( * * )\qquad \mu ({T^n}) \leqslant \mu ({T^{hn}}) \leqslant h\mu ({T^n})\quad {\text {for}}\;{\text {all}}\;h,n \geqslant 1. \] Nothing else can be said, in general, because simple examples show that for each sequence { μ n } n = 1 ∞ \{ {\mu _n}\} _{n = 1}^\infty , satisfying the inequalities ( ∗ ∗ ) ( * * ) , there exists T T acting on X \mathfrak {X} such that μ ( T n ) = μ n \mu ({T^n}) = {\mu _n} for all n ⩾ 1 n \geqslant 1 .

Let B(H) denote the set of all bounded linear operators on a complex Hilbert space H. In this paper, the authors present some norm inequalities for sum of operators which are a generalization of some recent results. Among other inequalities, it is shown that if S, T ? B(H) are normal operators, then ?S+T? ? 12(?S? + ?T?)+12?(?S?-?T?)2+4? f1(?S?)11(?T?)?? f2(?S?)12(?T?)? , where f1, f2, 11, 12 are non-negative continuous functions on [0, ?), in which f1 (x) f2 (x) = x and 11 (x)12 (x) = x (x ? 0). Moreover, several inequalities for the numerical radius are shown.

It is an old problem in operator theory whether a pair of norm one compact Hermitian operators with "small" (in norm) commutator can be "well" approximated by a commuting pair of Hermitian operators.We show that, for operators of rank not exceeding n, such approximants exist provided ||[A, B]||/n 1/2 is small.This improves a result of Pearcy and Shields and sheds some new light on the original question and its relationship to a few related ones.

Extract Although examples drive this book, we first provide a whirlwind survey of the general concepts of operator theory. We do not expect the student to master these topics now since they are covered in future chapters. A Hilbert space H is a complex vector space endowed with an inner product ⟨x,y⟩ that defines a norm ‖x‖=⟨x,x⟩ with respect to which H is (Cauchy) complete. The inner product on a Hilbert space satisfies the Cauchy–Schwarz inequality |⟨x,y⟩|⩽‖x‖‖y‖ for all x,y∈H⁠. Examples of Hilbert spaces include Cn (complex Euclidean space), ℓ2 (the space of square-summable complex sequences), and L2[0,1] (the Lebesgue space of square-integrable, complex-valued functions on [0,1]⁠). Vectors x,y in a Hilbert space H are orthogonal if ⟨x,y⟩=0⁠. The dimension of a Hilbert space H is the cardinality of a maximal set of nonzero orthogonal vectors. This book is almost exclusively concerned with Hilbert spaces of countable dimension. Every such Hilbert space has an orthonormal basis (un)n=1∞⁠, a (possibly finite) maximal orthogonal set such that ⟨um,un⟩=δmn for all m,n⩾1⁠. With respect to an orthonormal basis (un)n=1∞⁠, each x∈H enjoys a generalized Fourier expansion x=∑n=1∞⟨x,un⟩un that satisfies Parseval’s identity ‖x‖2=∑n=1∞|⟨x,un⟩|2. A subspace (a norm-closed linear submanifold) of H is itself a Hilbert space with the operations inherited from H⁠. If (wn)n=1∞ is a (possibly finite) orthonormal basis for a subspace M of H and x∈H⁠, then PMx=∑n=1∞⟨x,wn⟩wn belongs to M and satisfies ‖x−PMx‖⩽‖x−y‖ for every y∈M⁠. In short, PMx is the unique closest vector to x in M⁠. Furthermore, PM defines a linear transformation on H whose range is M⁠. It is called the orthogonal projection of H onto M and it satisfies PM2=PM and ⟨PMx,y⟩=⟨x,PMy⟩ for all x,y∈H⁠. Let H and K be Hilbert spaces. A linear transformation A:H→K is bounded if ‖A‖=sup{‖Ax‖K:‖x‖H=1} is finite. Let B(H,K) denote the set of bounded linear operators from H to K⁠. We write B(H) for B(H,H)⁠. The quantity ‖A‖ is the norm of A. Since B(H) is closed under addition and scalar multiplication, it is a vector space. Furthermore, since ‖A+B‖⩽‖A‖+‖B‖ and ‖cA‖=|c|‖A‖ for all A,B∈B(H) and c∈C⁠, it follows that B(H) is a normed vector space. Endowed with this norm, B(H) is complete and thus forms a Banach space. Moreover, the composition AB belongs to B(H) and ‖AB‖⩽‖A‖‖B‖ for all A,B∈B(H)⁠. Therefore, B(H) is a Banach algebra. For each A∈B(H,K)⁠, there is a unique A*∈B(K,H) such that ⟨Ax,y⟩K=⟨x,A*y⟩H for all x∈H and y∈K⁠. The operator A* is the adjoint of A; it is the analogue of the conjugate transpose of a matrix. One can show that A↦A* is conjugate linear, that A**=A⁠, ‖A‖=‖A*‖⁠, and ‖A*A‖=‖A‖2⁠. This additional structure upgrades B(H) from a Banach algebra to a C*-algebra. One can exploit adjoints to obtain information about the kernel and range of an operator. For most of the operators A∈B(H) covered in this book, we give the matrix representation [A]=[⟨Auj,ui⟩]i,j=1∞ with respect to an orthonormal basis (un)n=1∞ for H⁠. This matrix representation [A] defines a bounded operator x↦[A]x on the Hilbert space ℓ2 of square summable sequences that is structurally identical to A. Schur’s theorem helps us determine which infinite matrices define bounded operators on ℓ2⁠. Many of the operators covered in this book, such as the Cesàro operator, the Volterra operator, weighted shifts, Toeplitz operators, and Hankel operators, have fascinating structured-matrix representations. An important class of operators is the compact operators. These are the A∈B(H) such that (Axn)n=1∞ has a convergent subsequence whenever (xn)n=1∞ is a bounded sequence in H⁠. Equivalently, an operator is compact if it takes each bounded set to one whose closure is compact. Each finite-rank operator is compact and every compact operator is the norm limit of finite-rank operators. The compact operators form a norm-closed, *-closed ideal within B(H)⁠. Some operators have a particularly close relationship with their adjoint. For example, the operator M on L2[0,1] defined by (Mf)(x)=xf(x) satisfies M*=M⁠. Such operators are selfadjoint. If µ is a positive finite compactly supported Borel measure on C⁠, then the operator N on L2(μ) defined by (Nf)(z)=zf(z) satisfies (N*f)(z)=z―f(z)⁠, and thus N*N=NN*⁠. Such operators are normal. The operator (Uf)(eiθ)=eiθf(eiθ) on L2(T) satisfies U*U=UU*=I⁠. Such operators are unitary. Unitary operators preserve the ambient structure of Hilbert spaces and can serve as a vehicle to relate A∈B(H) with B∈B(K)⁠. We say that A is unitarily equivalent to B if there is a unitary U∈B(H,K) such that UAU*=B⁠. Unitary equivalence is often used to identify seemingly complicated operators with relatively simple ones.