7
$\begingroup$

I've learned a few things about harmonic analysis on semisimple Lie groups recently and the amount of effort that goes into the proof of the Plancherel formula seems overwhelming. Of course it has led to great discoveries in representation theory, but I was wondering whether there are some direct applications of the Plancherel formula. And now when I'm thinking about it, I don't even recall any applications of the classical Plancherel formula.

$\endgroup$
5
  • 5
    $\begingroup$ Any time I want to integrate some product of matrix coefficients without looking up explicit Haar measure and messing about with changes of variable. Sorry if that sounds banal, but as stated the scope of your question is rather wide. (A popular proof that $\zeta(2)=\pi^2/6$ uses the Plancherel formula for the circle.) $\endgroup$
    – Yemon Choi
    Nov 20, 2010 at 19:26
  • 3
    $\begingroup$ There is a killer application of the Plancherel formula in the proofs of various known instances of Langlands Functoriality, if my understanding is correct. My understanding is certainly limited though. The application goes like this: we have two groups, say inner forms of each other, and we want to check the automorphic forms on them basically naturally biject with each other. We use the trace formula and check each term on one side matches up with a term on the other side. But for the terms corresponding to the identity element this is not formal: it is basically the Tamagawa Number Conj... $\endgroup$ Nov 21, 2010 at 8:34
  • 3
    $\begingroup$ ...ecture. However we're OK: if those terms don't match up then one gets a statement of the form "the trace of this wide class of functions $f$ on a space of $L^2$ functions is equal to some constant times $f(0)$". One now rules this out immediately as a consequence of Plancherel---it's so trivial that (in my experience) most experts just dismiss it as obvious, but when I was actually trying to read some proofs of these things recently I got very hung up about this and only unravelled it once I found the argument spelt out in Langlands' base change book. $\endgroup$ Nov 21, 2010 at 8:37
  • $\begingroup$ @Kevin Buzzard: A very good point. $\endgroup$
    – MBN
    Mar 10, 2011 at 16:08
  • 4
    $\begingroup$ I came across this question today just a few minutes after reading another question where one of the answers uses the classical Plancherel formula, so let me record a link to it here: mathoverflow.net/questions/265073/…. $\endgroup$
    – KConrad
    Mar 20, 2017 at 14:38

5 Answers 5

7
$\begingroup$

The most basic and useful application of the classical Plancherel formula is to define the Fourier transform on $L^2$ by density. It is then customary to illustrate Plancherel formula by computing a few basic integrals. For example, from the easy fact that $$ \widehat{{\bf 1}_{[-1, 1]}}(\xi) = \int_{-1}^1 e^{-i\xi x} \, dx = 2 \, {\sin \xi \over \xi}, $$ we compute the not totally obvious yet classical integral $$ \int_{\bf R} \Bigl({\sin \xi\over \xi}\Bigr)^2 d\xi = {\pi \over 2} \int_{\bf R} ({\bf 1}_{[-1, 1]}(x))^2\,dx = \pi. $$ From the easy $$ \widehat{e^{iax}{\bf 1}_{[0,\infty[}(x)}= {-i \over \xi -a} $$ and the standard formula for the derivative, we get the not so easy Wallis integral $$ \int_{\bf R} {dx\over (1+x^2)^n} = \biggl\Vert {1\over (x-i)^{n}}\biggr\Vert_2^2 = {2\pi\over (n-1)!^2} \ \Bigl\Vert \xi^{n-1}\,e^{\xi}\,{\bf 1}_{{\bf R}_-}(\xi)\Bigr\Vert_2^2 % = {4\pi^2\over (n-1)!^2} \int_0^\infty \xi^{2n-2} e^{-\xi} d\xi = {(2n-2)!\over 2^{2n-2}(n-1)!^2} \, \pi $$ and so on.

For the Lie group case, see the thesis of R. Gomez

$\endgroup$
0
6
$\begingroup$

The key fact which underlies the Plancheral formula (say for real semi-simple Lie groups) is Harish--Chandra's theorem describing the discrete series (when they exist, what their infinitesimal characters are, what their Harish-Chandra characters are, and so on). (See my answer here for an elaboration on this.)

The results on the existence and basic properties of discrete series are fundamental in all of the theory of automorphic forms, Shimura varieties, the trace formula, and so on. It's impossible to overstate this.

$\endgroup$
5
$\begingroup$

The standard way to decompose $L^2(G)$ (where $G$ can be a wide variety of things) is to decompose a dense subspace (usually Schwartz or compactly supported), then prove the Plancherel formula, which implies that the decomposition extends to $L^2$. So it's foundational. If you already believe the result, the work you have to do might seem excessive, though.

People don't seem to do so much "applied" harmonic analysis on, say, semisimple Lie groups, so you (by which I mean "I") don't see many applications. But you can use the (noncommutative) Fourier transform to solve certain differential equations (e.g. when the operator comes from the center of the universal enveloping algebra), and you can talk about Sobolev spaces, so you can prove things about smoothness of solutions. The spectral decomposition of automorphic forms is used a lot (especially applied to analytic number theory).

$\endgroup$
1
$\begingroup$

The Plancherel formula does almost all the work when you show that the continuous wavelet transform or the short-time Fourier transform are isometries (up to a constant).

$\endgroup$
1
$\begingroup$

The Plancherel Transform does get complicated especially for non commutative groups, and semi simple Lie groups happen to be the worse ones. A fairly simple application of the Plancherel transform on $\mathbb R$ is that it takes complicated convolutions to simple pointwise multiplication on the frequency domain.

Also in wavelets analysis and representation theory, complicated operators get simplified by intertwining them with the Fourier transform. For example consider the coefficient operator $W_f:L^2(\mathbb R)\to L^2(\mathbb R)$ such that $W_{g}(f)(x) = \langle f,L(x)g \rangle $ if you try to prove that the Left regular representation $L$ of $\mathbb R$ is not admissible in term of continuous wavelets, you will need to take the Fourier (plancherel in this case) transform of $W_{g}f$ in order to prove that it is not square integrable.

Vignon S. Oussa

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.