Topology on the space of Schwartz Distributions - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T13:17:15Z http://mathoverflow.net/feeds/question/80007 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/80007/topology-on-the-space-of-schwartz-distributions Topology on the space of Schwartz Distributions Jonathan Gleason 2011-11-04T05:26:38Z 2012-11-24T20:28:51Z <p>If we equip the Schwartz space $\mathcal{S}$ with its usual Fréchet space topology, then the space of continuous linear functionals $\mathcal{S}^\ast$ is known as the space of Schwartz distributions or tempered distributions. If we equip this space with the <a href="http://en.wikipedia.org/wiki/Strong_topology_%28polar_topology%29" rel="nofollow">strong topology</a>, is there anything we can say about the resulting topological vector space? Evidently, the resulting space <a href="http://mathoverflow.net/questions/63383/which-frechet-spaces-have-a-dual-that-is-a-frechet-space" rel="nofollow">will not be a Fréchet space</a>, but perhaps it will have other nice properties. In particular, I am interested in the space of continous linear operators on $\mathcal{S}^\ast$. Is there anything interesting we can say about this space?</p> <p>Unfortunately, a quick google search did not turn up many sources that dealt with the particulars of the topology on $\mathcal{S}^\ast$, much less the topology on the space of continuous linear operators on $\mathcal{S}^\ast$, so a point in the right direction to a reference would also be greatly appreciated.</p> <p><strong>EDIT</strong>: After thinking about this more deeply, I realize that I am interested in a specific type of operator on $\mathcal{S}^\ast$. $\mathcal{S}$ occurs naturally inside of $L^2$, so after identifying the dual of $L^2$ with itself via the Riesz Representation Theorem, we can in turn regard $\mathcal{S}$ as a subspace of $\mathcal{S}^\ast$. With this in mind, I am interested in the operators on $\mathcal{S}^\ast$ that <em>restrict to operators on $\mathcal{S}$</em>.</p> <p>The motivation for this question comes from quantum mechanics, where I have in mind the position and momentum operators acting on $\mathcal{S}^\ast$. I am thus interested in the operator algebra they generate. Furthermore, these of course restrict to operators on $\mathcal{S}$, and so I am likewise interseted in the operator algebra of operators on $\mathcal{S}^\ast$ that restrict to operators on $\mathcal{S}$. In particular, I would like to <em>abstractly characterize</em> this space.</p> <p>As this is the natural space for observables in quantum mechanics (whether physicsts realize it or not), there has to be at least something known about this space. . .</p> http://mathoverflow.net/questions/80007/topology-on-the-space-of-schwartz-distributions/80012#80012 Answer by Anatoly Kochubei for Topology on the space of Schwartz Distributions Anatoly Kochubei 2011-11-04T07:23:31Z 2011-11-04T07:23:31Z <p>A detailed study of topological properties of the space $S^*$ and other similar spaces of distributions is given in the book</p> <p>I. M. Gel'fand and G. E. Shilov, Generalized functions. Vol. 2: Spaces of fundamental and generalized functions, Academic Press, 1968.</p> http://mathoverflow.net/questions/80007/topology-on-the-space-of-schwartz-distributions/80015#80015 Answer by Sergei Akbarov for Topology on the space of Schwartz Distributions Sergei Akbarov 2011-11-04T07:31:50Z 2011-11-05T08:17:35Z <p>Perhaps, the following will be interesting for you: the strong topology on S*, obviously, coincides with the topology of uniform convergence on totally bounded sets, and this means that S*, being endowed with this topology, is what is called stereotype space. :) The definition is as follows. For a locally convex space X let us denote by X* the dual space (of functionals) endowed with the topology of uniform convergence on totally bounded sets. Then X is said to be {\it stereotype}, if X** is naturally isomorphic (as a locally convex space) to X. </p> <p>By the way, this kind of duality allows to consider linear continuous operators X*$\to$X* as linear continuous operators X$\to$X. :)</p> http://mathoverflow.net/questions/80007/topology-on-the-space-of-schwartz-distributions/80168#80168 Answer by Sergei Akbarov for Topology on the space of Schwartz Distributions Sergei Akbarov 2011-11-05T23:39:49Z 2011-11-06T01:26:52Z <p>Concerning this: "I am likewise interseted in the operator algebra of operators on S* that restrict to operators on S. In particular, I would like to abstractly characterize this space"</p> <p>I am not sure that I understand you correctly, but if you want to characterize the operators which are extensions from S to S*, then the following can be the answer. First, let us use some notations: for any x,y$\in$S we set $(x,y)=\int x(t)y(t)dt$, for any operator (everywhere operator will be linear and continuous) $A:S\to S$ we define a transposed operator $A^T:S\to S$ by formula $(Ax,y)=(x,A^Ty)$ (it does not always exist), the dual operator A*:S*$\to$ S* by formula A*f(x)=f(Ax) (it always exists) and for any operator B:S*$\to$S* its dual B*:S$\to$S by formula B*x(f)=Bf(x) (it also always exists). Let us also consider an operator F:S$\to$S*, Fx(y)=(x,y). </p> <p>Then </p> <p>1) B:S*$\to$S* is an extension of $A:S\to S$ iff $B\circ F=F\circ A$;</p> <p>2) an operator A:S$\to$S can be extended to some operator B:S*$\to$S* iff there exists a transposed operator $A^T:S\to S$; in this case B=A$^T$*;</p> <p>3) an operator B:S*$\to$S* is an extension of some operator A:S$\to$S iff for B* there exists a transposed operator B*$^T:S\to S$; in this case A=B*$^T$.</p> <p>Or were you asking about something else?</p> http://mathoverflow.net/questions/80007/topology-on-the-space-of-schwartz-distributions/114367#114367 Answer by jbc for Topology on the space of Schwartz Distributions jbc 2012-11-24T19:40:23Z 2012-11-24T19:40:23Z <p>As regards your first question, the space of tempered distributions is indeed an example of a special class of locally convex spaces which, while not metrisable, have very nice properties. These are the Silva spaces which were investigated by the portuguese mathematician Sebastiao e Silva---they are, by definition, inductive limits of sequences of Banach spaces with compact interconnecting mappings---in your case, these are even nuclear. The original articles are rather inaccessible but Koethe's monograph on topological vector spaces has a chapter on these spaces. Since everything in sight in your application is nuclear, the operator spaces you are interested in can be represented as tensor products (in any of the standard tensor product topologies---in this case they all coincide). These facts were investigated in considerable detail by some of the great masters of functional analysis, for example, Koethe, Schwartz and Grothendieck and there is a wealth of material on this topic in their works---for example, Koethe's treatise mentioned above, Schwartz' sequel to his classical "Th\'eorie des Distributions" (in which he considers vector-valued distributions---this is easily available online) and Grothendick's thesis. One can find more accesssible representations in the recent secondary literature on locally convex spaces.</p> http://mathoverflow.net/questions/80007/topology-on-the-space-of-schwartz-distributions/114374#114374 Answer by paul garrett for Topology on the space of Schwartz Distributions paul garrett 2012-11-24T20:28:51Z 2012-11-24T20:28:51Z <p>Just as a variation on the other answers: the Schwartz space can easily be written as a (projective) limit of Hilbert spaces $V_s$, basically requiring that both a function and its Fourier transform be in a Levi-Sobolev space. The inclusions for $s>t$ are compact (in fact, trace-class, seen by proving that they're composites of Hilbert-Schmidt) inclusions. This adds a bit to the assertion that it is Frechet, which would indeed give a proj lim of <em>Banach</em> spaces, but if we can have Hilbert spaces, it's even better. Then, as in the question, identifying $L^2(\mathbb R)$ with its own dual (up to complex conjugation, anyway), the dual of $V_s$ for positive $s$ is $V_{-s}$... and we can give it the strong (=Hilbert-space) topology. It is not completely formal-categorical, but easy enough, to show that the dual of the limit is the colimit of the duals, however we topologize them. With the Hilbert-space topologies we obtain (yet another presentation of) the strong topology on tempered distributions.</p> <p>It <em>is</em> completely formal that the dual of a colimit is the limit of duals, and a virtue of this set-up, with Hilbert spaces, is that the reflexivity is trivial.</p> <p>Also, operators on $V_{-\infty}=\bigcup_s V_s$ are easy to understand in this presentation. The operators that stabilize $V_{+\infty}=\bigcap_s V_s$ must stabilize each Hilbert space $V_s$, etc.</p>