Operator Theory a Comprehensive Course in Analysis, Part 4
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
286365111.Pdf
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Caltech Authors PROOF OF THE STRONG SCOTT CONJECTURE FOR CHANDRASEKHAR ATOMS RUPERT L. FRANK, KONSTANTIN MERZ, HEINZ SIEDENTOP, AND BARRY SIMON Dedicated to Yakov Sinai on the occasion of his 85th birthday. Abstract. We consider a large neutral atom of atomic number Z, taking rel- ativistic effects into account by assuming the dispersion relation pc2p2 + c4. We study the behavior of the one-particle ground state density on the length scale Z−1 in the limit Z; c ! 1 keeping Z=c fixed and find that the spher- ically averaged density as well as all individual angular momentum densities separately converge to the relativistic hydrogenic ones. This proves the gen- eralization of the strong Scott conjecture for relativistic atoms and shows, in particular, that relativistic effects occur close to the nucleus. Along the way we prove upper bounds on the relativistic hydrogenic density. 1. Introduction 1.1. Some results on large Z-atoms. The asymptotic behavior of the ground state energy and the ground state density of atoms with large atomic number Z have been studied in detail in non-relativistic quantum mechanics. Soon after the advent of quantum mechanics it became clear that the non- relativistic quantum multi-particle problem is not analytically solvable and of in- creasing challenge with large particle number. This problem was addressed by Thomas [51] and Fermi [11, 12] by developing what was called the statistical model of the atom. The model is described by the so-called Thomas{Fermi functional (Lenz [28]) Z ZZ TF 3 5=3 Z 1 ρ(x)ρ(y) (1) EZ (ρ) := 10 γTFρ(x) − ρ(x) dx + dx dy ; 3 jxj 2 3 3 jx − yj R R ×R | {z } =:D[ρ] 2 2=3 where γTF = (6π =q) is a positive constant depending on the number q of spin states per electron, i.e., physically 2. -
1 Bounded and Unbounded Operators
1 1 Bounded and unbounded operators 1. Let X, Y be Banach spaces and D 2 X a linear space, not necessarily closed. 2. A linear operator is any linear map T : D ! Y . 3. D is the domain of T , sometimes written Dom (T ), or D (T ). 4. T (D) is the Range of T , Ran(T ). 5. The graph of T is Γ(T ) = f(x; T x)jx 2 D (T )g 6. The kernel of T is Ker(T ) = fx 2 D (T ): T x = 0g 1.1 Operations 1. aT1 + bT2 is defined on D (T1) \D (T2). 2. if T1 : D (T1) ⊂ X ! Y and T2 : D (T2) ⊂ Y ! Z then T2T1 : fx 2 D (T1): T1(x) 2 D (T2). In particular, inductively, D (T n) = fx 2 D (T n−1): T (x) 2 D (T )g. The domain may become trivial. 3. Inverse. The inverse is defined if Ker(T ) = f0g. This implies T is bijective. Then T −1 : Ran(T ) !D (T ) is defined as the usual function inverse, and is clearly linear. @ is not invertible on C1[0; 1]: Ker@ = C. 4. Closable operators. It is natural to extend functions by continuity, when possible. If xn ! x and T xn ! y we want to see whether we can define T x = y. Clearly, we must have xn ! 0 and T xn ! y ) y = 0; (1) since T (0) = 0 = y. Conversely, (1) implies the extension T x := y when- ever xn ! x and T xn ! y is consistent and defines a linear operator. -
Noncommutative Uniform Algebras
Noncommutative Uniform Algebras Mati Abel and Krzysztof Jarosz Abstract. We show that a real Banach algebra A such that a2 = a 2 , for a A is a subalgebra of the algebra C (X) of continuous quaternion valued functions on a compact setk kX. ∈ H ° ° ° ° 1. Introduction A well known Hirschfeld-Zelazkoú Theorem [5](seealso[7]) states that for a complex Banach algebra A the condition (1.1) a2 = a 2 , for a A k k ∈ implies that (i) A is commutative, and further° ° implies that (ii) A must be of a very speciÞc form, namely it ° ° must be isometrically isomorphic with a uniformly closed subalgebra of CC (X). We denote here by CC (X)the complex Banach algebra of all continuous functions on a compact set X. The obvious question about the validity of the same conclusion for real Banach algebras is immediately dismissed with an obvious counterexample: the non commutative algebra H of quaternions. However it turns out that the second part (ii) above is essentially also true in the real case. We show that the condition (1.1) implies, for a real Banach algebra A,thatA is isometrically isomorphic with a subalgebra of CH (X) - the algebra of continuous quaternion valued functions on acompactsetX. That result is in fact a consequence of a theorem by Aupetit and Zemanek [1]. We will also present several related results and corollaries valid for real and complex Banach and topological algebras. To simplify the notation we assume that the algebras under consideration have units, however, like in the case of the Hirschfeld-Zelazkoú Theorem, the analogous results can be stated for none unital algebras as one can formally add aunittosuchanalgebra. -
Topological Divisors of Zero and Shilov Boundary
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Topology and its Applications 153 (2006) 1152–1163 www.elsevier.com/locate/topol Topological divisors of zero and Shilov boundary Alain Escassut Laboratoire de Mathématiques UMR 6620, Université Blaise Pascal, Clermont-Ferrand, Les Cézeaux, 63177 Aubiere cedex, France Received 17 February 2005; accepted 1 March 2005 Abstract Let L be a field complete for a non-trivial ultrametric absolute value and let (A, ·) be a com- mutative normed L-algebra with unity whose spectral semi-norm is ·si.LetMult(A, ·) be the set of continuous multiplicative semi-norms of A,letS be the Shilov boundary for (A, ·si) and let ψ ∈ Mult(A, ·si).Thenψ belongs to S if and only if for every neighborhood U of ψ in Mult(A, ·), there exists θ ∈ U and g ∈ A satisfying gsi = θ(g) and γ(g)<gsi ∀γ ∈ S \ U. Suppose A is uniform, let f ∈ A and let Z(f ) ={φ ∈ Mult(A, ·) | φ(f)= 0}.Thenf is a topo- logical divisor of zero if and only if there exists ψ ∈ S such that ψ(f) = 0. Suppose now A is complete. If f is not a divisor of zero, then it is a topological divisor of zero if and only if the ideal fAis not closed in A. Suppose A is ultrametric, complete and Noetherian. All topological divisors of zero are divisors of zero. This applies to affinoid algebras. Let A be a Krasner algebra H(D)without non-trivial idempotents: an element f ∈ H(D)is a topological divisor of zero if and only if fH(D) is not a closed ideal; moreover, H(D) is a principal ideal ring if and only if it has no topological divisors of zero but 0 (this new condition adds to the well-known set of equivalent conditions found in 1969). -
Isospectralization, Or How to Hear Shape, Style, and Correspondence
Isospectralization, or how to hear shape, style, and correspondence Luca Cosmo Mikhail Panine Arianna Rampini University of Venice Ecole´ Polytechnique Sapienza University of Rome [email protected] [email protected] [email protected] Maks Ovsjanikov Michael M. Bronstein Emanuele Rodola` Ecole´ Polytechnique Imperial College London / USI Sapienza University of Rome [email protected] [email protected] [email protected] Initialization Reconstruction Abstract opt. target The question whether one can recover the shape of a init. geometric object from its Laplacian spectrum (‘hear the shape of the drum’) is a classical problem in spectral ge- ometry with a broad range of implications and applica- tions. While theoretically the answer to this question is neg- ative (there exist examples of iso-spectral but non-isometric manifolds), little is known about the practical possibility of using the spectrum for shape reconstruction and opti- mization. In this paper, we introduce a numerical proce- dure called isospectralization, consisting of deforming one shape to make its Laplacian spectrum match that of an- other. We implement the isospectralization procedure using modern differentiable programming techniques and exem- plify its applications in some of the classical and notori- Without isospectralization With isospectralization ously hard problems in geometry processing, computer vi- sion, and graphics such as shape reconstruction, pose and Figure 1. Top row: Mickey-from-spectrum: we recover the shape of Mickey Mouse from its first 20 Laplacian eigenvalues (shown style transfer, and dense deformable correspondence. in red in the leftmost plot) by deforming an initial ellipsoid shape; the ground-truth target embedding is shown as a red outline on top of our reconstruction. -
Corona Problem
数理解析研究所講究録 1487 巻 2006 年 13-26 13 Geometry of Banach Spaces Predual to $H^{\infty}$ and Corona Problem Alexander Brudnyi* Department of Mathematics and Statistics University of Calgary, Calgary Canada Abstract In this paper we present a new general approach to the multi-dimensional corona problem for the ball and polydisk. We also describe some properties of the Banach spaces predual to the spaces $H^{\infty}$ defined on these domains. 1. Corona Problem 1.1. In the present paper we discuss one of the fundamental problems in the theory of uniform algebras known as the corona problem. Such a problem was originally raised by S. Kakutani in 1941 and asked whether the open unit disk $\mathrm{D}\subset \mathbb{C}$ is dense in the maximal ideal space of the algebra $H^{\infty}(\mathrm{D})$ of bounded holomorphic functions on $\mathrm{D}$ with the supremum norm. This problem was answered affirmatively by L. Carleson in 1962 [C1]. Let us recall that for a uniform algebra $A$ of continuous functions defined on a Hausdorff topological space $X$ , the maximal ideal space $\mathcal{M}(A)$ is the set of all nonzero homomorphisms $Aarrow \mathbb{C}$ equipped with the weak*-topology of the dual space $A^{*}$ , known as the Gelfand topology. Then $\mathcal{M}(A)$ is a compact Hausdorff space. Any function $f\in A$ can be considered as a function on $\mathcal{M}(A)$ by means of the Celfand transform: $\hat{f}(m):=m(f)$ , $m\in \mathcal{M}(A)$ . If $A$ separates points on $X$ , then $X$ is naturally embedded into $\mathcal{M}(A),$ $xrightarrow\delta_{x}$ , $\delta_{x}$ $X$ $x\in X$ , where is the evaluation functional at $x$ . -
1. INTRODUCTION 1.1. Introductory Remarks on Supersymmetry. 1.2
1. INTRODUCTION 1.1. Introductory remarks on supersymmetry. 1.2. Classical mechanics, the electromagnetic, and gravitational fields. 1.3. Principles of quantum mechanics. 1.4. Symmetries and projective unitary representations. 1.5. Poincar´esymmetry and particle classification. 1.6. Vector bundles and wave equations. The Maxwell, Dirac, and Weyl - equations. 1.7. Bosons and fermions. 1.8. Supersymmetry as the symmetry of Z2{graded geometry. 1.1. Introductory remarks on supersymmetry. The subject of supersymme- try (SUSY) is a part of the theory of elementary particles and their interactions and the still unfinished quest of obtaining a unified view of all the elementary forces in a manner compatible with quantum theory and general relativity. Supersymme- try was discovered in the early 1970's, and in the intervening years has become a major component of theoretical physics. Its novel mathematical features have led to a deeper understanding of the geometrical structure of spacetime, a theme to which great thinkers like Riemann, Poincar´e,Einstein, Weyl, and many others have contributed. Symmetry has always played a fundamental role in quantum theory: rotational symmetry in the theory of spin, Poincar´esymmetry in the classification of elemen- tary particles, and permutation symmetry in the treatment of systems of identical particles. Supersymmetry is a new kind of symmetry which was discovered by the physicists in the early 1970's. However, it is different from all other discoveries in physics in the sense that there has been no experimental evidence supporting it so far. Nevertheless an enormous effort has been expended by many physicists in developing it because of its many unique features and also because of its beauty and coherence1. -
Operator Theory in the C -Algebra Framework
Operator theory in the C∗-algebra framework S.L.Woronowicz and K.Napi´orkowski Department of Mathematical Methods in Physics Faculty of Physics Warsaw University Ho˙za74, 00-682 Warszawa Abstract Properties of operators affiliated with a C∗-algebra are studied. A functional calculus of normal elements is constructed. Representations of locally compact groups in a C∗-algebra are considered. Generaliza- tions of Stone and Nelson theorems are investigated. It is shown that the tensor product of affiliated elements is affiliated with the tensor product of corresponding algebras. 1 0 Introduction Let H be a Hilbert space and CB(H) be the algebra of all compact operators acting on H. It was pointed out in [17] that the classical theory of unbounded closed operators acting in H [8, 9, 3] is in a sense related to CB(H). It seems to be interesting to replace in this context CB(H) by any non-unital C∗- algebra. A step in this direction is done in the present paper. We shall deal with the following topics: the functional calculus of normal elements (Section 1), the representation theory of Lie groups including the Stone theorem (Sections 2,3 and 4) and the extensions of symmetric elements (Section 5). Section 6 contains elementary results related to tensor products. The perturbation theory (in the spirit of T.Kato) is not covered in this pa- per. The elementary results in this direction are contained the first author’s previous paper (cf. [17, Examples 1, 2 and 3 pp. 412–413]). To fix the notation we remind the basic definitions and results [17]. -
RAPORT DE AUTOEVALUARE Perioada: 1.01.2003 – 30.11.2007
RAPORT DE AUTOEVALUARE perioada: 1.01.2003 – 30.11.2007 1. Datele de autentificare al unitatii de cercetare – dezvoltare: 1.1 Institutul de Matematica “Simion Stoilow” al Academiei Romane 1.2 Institutie de stat cu personalitate juridica in subordinea Academiei Romane. 1.3 Infiintata prin HG. 255 / 8.03.1990 (publicata in MO p.I nr. 220/1992) 1.4 Numarul de inregistrare in Registrul Potentialilor Contractori: 2685 1.5 Director: CSI. Dr. Vasile Brinzanescu 1.6 Adresa: Calea Grivitei, nr. 21, Sector 1, Bucuresti 1.7 Tel. 319.65.06 Fax. 319.65.05 Web. http:www.imar.ro e-mail [email protected] 2. Domeniul de specialitate: 2.1 Conform clasificarii UNESCO: 1100 2.2 Conform clasificarii CAEN: 7310 3. Starea Unitatii de cercetare – dezvoltare: ● Misiunea unitatii de cercetare – dezvoltare: cercetare stiintifica pe probleme de matematica pura si aplicata, precum si pe probleme de matematica in cadrul unor cercetari interdisciplinare ● Modul de valorificare al rezultatelor: articole stiintifice in reviste de specialitate sau in volume comunicari in cadrul unor manifestari stiintifice nationale si internationale monografii si tratate stiintifice ● Situatia financiara: nu are datorii la bugetul de stat. 1 4. Indeplinirea criteriilor primare de performanta: (Detalii in Anexa la raport.) Criteriul Factor de Numar TOTAL importanta A1 CRITERII PRIMARE DE PERFORMANTA 27555.55 1 Lucrări ştiinţifice/tehnice in reviste de specialitate cotate ISI . 30 494 14820 2 Factor de impact cumulat al lucrărilor cotate ISI. 5 341.11 1705.55 3 Citări in reviste de specialitate cotate ISI. 5 2200 11000 4 Brevete de invenţie. 30 1 30 5 Citari in sitemul ISI ale cercetarilor brevetate. -
Of Operator Algebras Vern I
proceedings of the american mathematical society Volume 92, Number 2, October 1984 COMPLETELY BOUNDED HOMOMORPHISMS OF OPERATOR ALGEBRAS VERN I. PAULSEN1 ABSTRACT. Let A be a unital operator algebra. We prove that if p is a completely bounded, unital homomorphism of A into the algebra of bounded operators on a Hubert space, then there exists a similarity S, with ||S-1|| • ||S|| = ||p||cb, such that S_1p(-)S is a completely contractive homomorphism. We also show how Rota's theorem on operators similar to contractions and the result of Sz.-Nagy and Foias on the similarity of p-dilations to contractions can be deduced from this result. 1. Introduction. In [6] we proved that a homomorphism p of an operator algebra is similar to a completely contractive homomorphism if and only if p is completely bounded. It was known that if S is such a similarity, then ||5|| • ||5_11| > ||/9||cb- However, at the time we were unable to determine if one could choose the similarity such that ||5|| • US'-1!! = ||p||cb- When the operator algebra is a C*- algebra then Haagerup had shown [3] that such a similarity could be chosen. The purpose of the present note is to prove that for a general operator algebra, there exists a similarity S such that ||5|| • ||5_1|| = ||p||cb- Completely contractive homomorphisms are central to the study of the repre- sentation theory of operator algebras, since they are precisely the homomorphisms that can be dilated to a ^representation on some larger Hilbert space of any C*- algebra which contains the operator algebra. -
18.102 Introduction to Functional Analysis Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.102 Introduction to Functional Analysis Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 108 LECTURE NOTES FOR 18.102, SPRING 2009 Lecture 19. Thursday, April 16 I am heading towards the spectral theory of self-adjoint compact operators. This is rather similar to the spectral theory of self-adjoint matrices and has many useful applications. There is a very effective spectral theory of general bounded but self- adjoint operators but I do not expect to have time to do this. There is also a pretty satisfactory spectral theory of non-selfadjoint compact operators, which it is more likely I will get to. There is no satisfactory spectral theory for general non-compact and non-self-adjoint operators as you can easily see from examples (such as the shift operator). In some sense compact operators are ‘small’ and rather like finite rank operators. If you accept this, then you will want to say that an operator such as (19.1) Id −K; K 2 K(H) is ‘big’. We are quite interested in this operator because of spectral theory. To say that λ 2 C is an eigenvalue of K is to say that there is a non-trivial solution of (19.2) Ku − λu = 0 where non-trivial means other than than the solution u = 0 which always exists. If λ =6 0 we can divide by λ and we are looking for solutions of −1 (19.3) (Id −λ K)u = 0 −1 which is just (19.1) for another compact operator, namely λ K: What are properties of Id −K which migh show it to be ‘big? Here are three: Proposition 26. -
Regularity Conditions for Banach Function Algebras
Regularity conditions for Banach function algebras Dr J. F. Feinstein University of Nottingham June 2009 1 1 Useful sources A very useful text for the material in this mini-course is the book Banach Algebras and Automatic Continuity by H. Garth Dales, London Mathematical Society Monographs, New Series, Volume 24, The Clarendon Press, Oxford, 2000. In particular, many of the examples and conditions discussed here may be found in Chapter 4 of that book. We shall refer to this book throughout as the book of Dales. Most of my e-prints are available from www.maths.nott.ac.uk/personal/jff/Papers Several of my research and teaching presentations are available from www.maths.nott.ac.uk/personal/jff/Beamer 2 2 Introduction to normed algebras and Banach algebras 2.1 Some problems to think about Those who have seen much of this introductory material before may wish to think about some of the following problems. We shall return to these problems at suitable points in this course. Problem 2.1.1 (Easy using standard theory!) It is standard that the set of all rational functions (quotients of polynomials) with complex coefficients is a field: this is a special case of the “field of fractions" of an integral domain. Question: Is there an algebra norm on this field (regarded as an algebra over C)? 3 Problem 2.1.2 (Very hard!) Does there exist a pair of sequences (λn), (an) of non-zero complex numbers such that (i) no two of the an are equal, P1 (ii) n=1 jλnj < 1, (iii) janj < 2 for all n 2 N, and yet, (iv) for all z 2 C, 1 X λn exp (anz) = 0? n=1 Gap to fill in 4 Problem 2.1.3 Denote by C[0; 1] the \trivial" uniform algebra of all continuous, complex-valued functions on [0; 1].