M. REED and B. SIMON. Methods of Mathematical Physics, volume I. Academic Press, New York, 1972.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....U : H L 2 (X; M; such that (UAU Gamma1 f) m) F (m)f(m) f 2 L 2 (X; M; m 2 X for some essentially bounded function F , inf oe(A) ess inf X F; sup oe(A) ess sup X F; and k A k= ess sup X jF j =k F k 1 : This result is Thm. VII.3, Corollary and the Proposition on page 229, [9]) If K is a cone in H and U is unitary as in the spectral theorem, then K 2 = U(K) is a cone in L 2 (X; M; and the multiplication operator f 7 Ff in L 2 (X; M; is a bounded self adjoint operator which leaves K 2 invariant. Also K = f0g if and only if K 2 = f0g in their respective ....

M. REED and B. SIMON. Methods of Mathematical Physics, volume I. Academic Press, New York, 1972.

....theory of trace ideals for symmetric monoidal categories. We then show that if a tensored category has a nuclear ideal satisfying certain additional structure, then one can recover a trace ideal, as in the compact closed case. 8. 1 Hilbert Spaces Appropriate references for this material are [49, 55]. Definition 8.1 An operator B 2 L(H) the space of bounded linear operators on H, is called positive if hBx; xi 0, for all x 2 H. In this case, we write B 0 and B A if A Gamma B 0. Note for example that AA and A A are always positive. Theorem 8.2 ( 49] page 196) Suppose A 0. Then ....

....for this material are [49, 55] Definition 8.1 An operator B 2 L(H) the space of bounded linear operators on H, is called positive if hBx; xi 0, for all x 2 H. In this case, we write B 0 and B A if A Gamma B 0. Note for example that AA and A A are always positive. Theorem 8. 2 ([49] page 196) Suppose A 0. Then there exists a unique B 0 such that B 2 = A. Definition 8.3 The unique operator B of the previous theorem is denoted p A. Let A 2 L(H) Define jAj = p A A: Theorem 8.4 Let H be separable and fe i g an orthonormal basis. If A is a positive operator, we ....

[Article contains additional citation context not shown here]

M. Reed, B. Simon. Functional Analysis, Methods of Mathematical Physics, Volume I. Academic Press 1972

....Brillouin zone T : R d =L and D : Gammai r is the momentum operator. It follows that the spectrum consists of bands. Up to measure zero sets due to degeneracies, the eigenvalues E n (k) are analytic in k, and are non constant, see, e.g. Thomas [10] Wilcox [13] and Reed and Simon [9]) Thus the group velocity Gamma1 r k E n (k) vanishes at most on a set of measure zero. On the other hand the symmetry E n ( Gammak) E n (k) of the band functions implies in the non degenerate case that the group velocity vanishes for k = 0 and the other 2 d Gamma 1 fixed ....

Reed, M., Simon, B.: Methods in Mathematical Physics, Vol. IV: Analysis of Operators. New York: Academic Press 1978

.... = D(K(t) PhiD(K 1 2 (t) is self adjoint on the Hilbert space HK(t) Omega Gamma j D(K 1 2 (t) Phi H t( Omega Gamma ; 11) with inner product h F ; G i K(t) j h K 1 2 (t) f 1 ; K 1 2 (t) g 1 i t h f 2 ; g 2 i t ; 12) where F = f 1 f 2 ; G = g 1 g 2 2 HK(t) [9] [10] Since H(t) is self adjoint it gives rise to a group of unitary operators W t (s) j exp( Gammai H(t) s ) on HK(t) These operators can also be viewed as a contraction semigroup with generator Gammai H(t) for s 0. Therefore, from the Hille Yosida theorem we have k R( Gammai H(t) F ....

Reed, M., Simon, B.: Methods of Mathematical Physics I. New York: Academic Press 1980

....a quantum system in a rather general periodic medium is ballistic and that the asymptotic velocity exists. The latter is related to the band functions. It is known that for a certain class of singular potentials the spectrum of the Hamiltonian is absolutely continuous, see Thomas [21] Reed Simon [19], Knauf [13] It is a folk conjecture that absolute continuity implies ballistic motion. Our proof in d dimensions is based on Bloch theory. We consider potentials V : R d R which are periodic w.r.t. a regular lattice L ae R d V (q ) V (q) q 2 R d ; 2 L) so that we may consider it ....

.... n (k) are the eigenvalues in ascending order, P n (k) the eigenprojections; 5. for every n the following are Lebesgue Nullsets: fk 2 T j E n is not differentiable at kg; fk 2 T j P n is not differentiable at kg; fk 2 T j r k E n (k) 0g: Proof. 1 4) are proven in [19], resp. in [13] for d = 2. 5) is proven in [23] 21] see also [5] 2 Remark 2.2 We emphasize that while the assumptions (A q ) are sufficient for absolute continuity, for d 2 they are far from necessary for selfadjointness. It would be interesting to understand what happens in the gap The ....

Reed, M., Simon, B.: Methods in Mathematical Physics, Vol. IV: Analysis of Operators. New York: Academic Press 1978

....we note: Lemma 5.2. Let A n A in strong resolvent sense as n 1. Then dimRanP (E1;E2 ) A) lim n 1 dimRanP (E1;E2 ) A n ) 5.2) Proof. Fix m dimRanP (E1;E2 ) A) with m 1. We ll prove m RHS of (5.2) Suppose first that (E 1 ; E 2 ) aren t eigenvalues of A. Then by Theorem VIII.24 of [16], P (E1;E2 ) A n ) P (E1;E2 ) A) strongly as n 1. Picking orthonormal 1 ; m in RanP (E1;E2 ) A) we see that lim n 1 Tr(P (E1;E2 ) A n ) lim n 1 X j h j ; P (E1;E2 ) A n ) j i = m as required. If E 1;2 are arbitrary, we can always find a ffi 0 such that E 1 ffi; ....

M. Reed and B. Simon, Methods of Mathematical Physics. I. Functional Analysis, rev. and enl. ed., Academic Press, New York, 1980.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC