
#1
Feb2613, 07:05 PM

Sci Advisor
P: 1,732

Over in the Quantum Physics forums, we occasionally have threads involving rigged Hilbert space  a.k.a. Gel'fand triple: ##\Omega \subset H \subset \Omega'## where ##H## is a Hilbert space, ##\Omega## a dense subspace thereof such that certain unbounded continuousspectrum operators are welldefined everywhere thereon, and ##\Omega'## is its topological dual. A recent thread of this kind is: http://www.physicsforums.com/showthread.php?t=668013
With certain extensions of the meaning of "selfadjoint operator" to the space ##\Omega'##, some treatments of QM rely on the socalled nuclear spectral theorem (cf. Gelfand & Vilenkin vol 4) which basically assures us that the generalized eigenvectors of a selfadjoint operator ##A## in ##\Omega'## span ##\Omega##, and that operators of the form ##f(A)##, for analytic functions ##f##, make sense. This is basically a generalization of the usual spectral theorem for unbounded operators on Hilbert space to the distributional context of rigged Hilbert space. I've always felt it unsatisfactory that arbitrary elements of the dual space ##\Omega'## are not also covered by such a theorem. Recently, David Carfi put a series of papers on the arXiv claiming to do just this (and he confirmed to me in brief private correspondence that this is indeed his intent). In reverse time order the papers are: http://arxiv.org/abs/1104.4660 http://arxiv.org/abs/1104.4651 http://arxiv.org/abs/1104.3908 http://arxiv.org/abs/1104.3380 http://arxiv.org/abs/1104.3324 http://arxiv.org/abs/1104.3647 Unfortunately, my abilities in Functional Analysis, etc, are inadequate to form a reliable opinion about these papers. They have not been published in peerreviewed journals (afaict), but David Carfi seems to have published elsewhere in financial and economics mathematics. So... I'm hoping that the FA experts here can spare a little time to look through Carfi's papers and figure out whether he does indeed achieve what I described above, i.e., establish a sensible spectral expansion for all elements of the distribution space ##\Omega'##, and not merely the wellbehaved elements from ##\Omega##. 



#2
Feb2613, 07:47 PM

Mentor
P: 16,698

I got to admit that these papers look very interesting. I think I'm going to waste the coming days trying to work through them.
If you take a look at the last paper: http://arxiv.org/abs/1104.3647 The Theorem on page 3 really does seem something you want. But that's on a very first glance. I'll read through the papers and post my impressions here. Maybe it would be nice if you could do the same! 



#3
Feb2613, 08:06 PM

Sci Advisor
P: 1,732

I will, of course, now try again... 



#4
Feb2713, 10:11 AM

Mentor
P: 16,698

Papers by D. Carfi: extended spectral theory of distributions.
So, I've read the first paper: http://arxiv.org/abs/1104.4651
The paper introduces families of distributions. So let [itex]\mathcal{S}_n^\prime[/itex] be the dual of the Schwartz function (thus the tempered distributions). We are interested in functions [itex]v:I\rightarrow \mathcal{S}_n^\prime[/itex]. This notion can be used to generalize quite some good things. Most important, there is a bijective correspondence between such functions and operators between Schwartz classes. This is easy to see in finite dimensions. Let [itex]A[/itex] be a linear map from [itex]\mathbb{R}^n[/itex] to [itex]\mathbb{R}^m[/itex]. Then we can of course express [itex]A[/itex] as a matrix. Now we can look at [tex]\{1,...,m\}\rightarrow (\mathbb{R}^m)^*: i\rightarrow \text{Row}_i[/tex] So we have a family that sends a number i to the i'th row. Of course, the rows of a matrix are easily seen to be functionals. We want to generalize this notion to infinitedimensional spaces. So we want to talk about rows of infinitary matrices. But for this, we need to find some kind of "basis" for the Schwartz class. Now, it turns out that a basis for [ite]\mathcal{S}_n[/itex] is given by [itex]\delta_x,~x\in \mathbb{R}^n[/itex], the Dirac delta function. Using this, we can now construct an isomorphism [tex]\mathcal{B}(\mathcal{S}_n,\mathcal{S}_m) \leftrightarrow \mathcal{S}(\mathbb{R}^n,\mathcal{S}_m^\prime)[/tex] The set on the left side are the bounded functions between ndimensional and mdimensional Schwartz class. The set on the right side are the families [itex]\mathbb{R}^n\rightarrow \mathcal{S}_m^\prime[/itex] which satisfy some continuity property. Then there is a notion of "summable". I think it is based on the following. Consider a fixed real sequence [itex]v=(x_n)_n[/itex]. We can consider this to be "summable" if the series [itex]\sum_n x_n[/itex] exists. Now, let's define some functions. Let [itex]A\subseteq \mathbb{N}[/itex] finite. Define [tex]\hat{v}(A) = \{(y_n)_n ~\vert~ y_n=x_n~\text{if}~n\in A~ \text{and otherwise}~y_n=0\}[/tex] Then define [tex]a(\hat{v}(A)) = \sum y_n = \sum_{n\in A} x_n[/tex] This is a finite sum. Now, we can define [itex](x_n)_n[/itex] to be summable if the function [tex]u(A) = a(\hat{v}(A))[/tex] is a convergent net. Now, in the continuous case, we have a family [itex]v[/itex] of Schwartz functions instead of a sequence. But the definition remains quite the same thing. The paper then gives some criteria of summability and some equivalence notions. For example, he gives criteria with which we can detect summability of [itex]v[/itex] for more "algebraic" properties such as the existence of a transpose. I think most of these notions can be generalized a great deal. The paper only shows things for the Schwartz class, but I'm sure they hold more generally too. Maybe we can show versions of arbitrary nuclear spaces? I think that his other papers do things more generally though... 



#5
Feb2713, 09:39 PM

Sci Advisor
P: 1,732

The statement of the theorem of ##^S##spectral expansion of an operator ##A\in L(S_n')## seems like it only covers the tempered distributions ##u## in the ##^S##linear hull ##^S##span##(v)## of the eigenfamily ##v##. But this seems a bit trivial to me. Ordinary spectral theorems show that any vector can be expanded in terms of the eigenvectors of a selfadjoint operator, and that (almost) any other operator can be expanded in terms of those eigenvectors. This seems rather more general (and more difficult) than what Carfi is doing in arXiv:1104.3647. However, I still struggle to understand the connection (in any) between the way he "expands" distributions in terms of Dirac deltas, and the spectrum of a selfadjoint operator. He talks about transposability, but that's just a way of extending the operator from ##S## to ##S'##, isn't it? To get a genuine spectral theorem more powerful than the usual nuclear spectral theorem, one needs more than that, or so I would have thought. We need to express the expansion of any tempered distribution, or operator on ##S'##, in terms of the generalized eigenvectors of any selfadjoint operator (or some generalization or modification thereof). 



#6
Feb2713, 11:09 PM

Mentor
P: 16,698





#7
Feb2813, 02:07 AM

Sci Advisor
P: 1,732

No doubt you read the papers with more insight than me, but if you also don't find something like that soon, then we should probably just forget about it. 



#8
Feb2813, 02:38 PM

Sci Advisor
HW Helper
P: 11,863

Just a personal note: I think these articles are highly irrelevant to a (mathematical) physicist and it only remains to assert their value for the field of pure mathematics.



Register to reply 
Related Discussions  
Theory of Extended Particles  High Energy, Nuclear, Particle Physics  3  
Papers to prove and disprove string theory/ M Theory?  Beyond the Standard Model  15  
Question about Spectral Theory  Calculus & Beyond Homework  2  
Call For Papers with Extended Deadline of Mar. 10,  General Physics  0  
[SOLVED] Call for Papers with Extended Deadline: 2007 International Conferenceon Sci  General Physics  0 