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.
[Math] applications of Plancherel formulae
big-listrt.representation-theory
Related Solutions
I would like to elaborate slightly on my comment. First of all, Fourier analysis has a very broad meaning. Fourier introduced it as a means to study the heat equation, and it certainly remains a major tool in the study of PDE. I'm not sure that people who use it in this way think of it in a particularly representation-theoretic manner.
Also, when one thinks of the Fourier transform as interchanging position space and frequency space, or (as in quantum mechanics) position space and momentum space, I don't think that a representation theoretic view-point necessarily need play much of a role.
So, when one thinks about Fourier analysis from the point of view of group representation theory, this is just one part of Fourier analysis, perhaps the most foundational part, and it is probably most important when one wants to understand how to extend the basic statements regarding Fourier transforms or Fourier series from functions on $\mathbb R$ or $S^1$ to functions on other (locally compact, say) groups.
As I noted in my comment, the basic question is: how to decompose the regular representation of $G$ on the Hilbert space $L^2(G)$. When $G$ is locally compact abelian, this has a very satisfactory answer in terms of the Pontrjagin dual group $\widehat{G}$, as described in Dick Palais's answer: one has a Fourier transform relating $L^2(G)$ and $L^2(\widehat{G})$. A useful point to note is that $G$ is discrete/compact if and only if $\widehat{G}$ is compact/discrete. So $L^2(G)$ is always described as the Hilbert space direct integral of the characters of $G$ (which are the points of $\widehat{G}$) with respect to the Haar measure on $\widehat{G}$, but when $G$ is compact, so that $\widehat{G}$ is discrete, this just becomes a Hilbert space direct sum, which is more straightforward (thus the series of Fourier series are easier than the integrals of Fourier transforms).
I will now elide Dick Palais's distinction between the Fourier case and the more general context of harmonic analysis, and move on to the non-abelian case. As Dick Palais also notes, when $G$ is compact, the Peter--Weyl theorem nicely generalizes the theory of Fourier series; one again describes $L^2(G)$ as a Hilbert space direct sum, not of characters, but of finite dimensional representations, each appearing with multiplicity equal to its degree (i.e. its dimension). Note that the set over which one sums now is still discrete, but is not a group. And there is less homogeneity in the description: different irreducibles have different dimensions, and so contribute in different amounts (i.e. with different multiplicities) to the direct sum.
When G is locally compact but neither compact nor abelian, the theory becomes more complex. One would like to describe $L^2(G)$ as a Hilbert space direct integral of matrix coefficients of irreducible unitary representations, and for this, one has to find the correct measure (the so-called Plancherel measure) on the set $\widehat{G}$ of irreducible unitary representations. Since $\widehat{G}$ is now just a set, a priori there is no natural measure to choose (unlike in the abelian case, when $\widehat{G}$ is a locally compact group, and so has its Haar measure), and in general, as far as I understand, one doesn't have such a direct integral decomposition of $L^2(G)$ in a reasonable sense.
But in certain situations (when $G$ is of "Type I") there is such a decomposition, for a uniquely determined measure, so-called Plancherel measure, on $\widehat{G}$. But this measure is not explicitly given. Basic examples of Type I locally compact groups are semi-simple real Lie groups, and also semi-simple $p$-adic Lie groups.
The major part of Harish-Chandra's work was devoted to explicitly describing the Plancherel measure for semi-simple real Lie groups. The most difficult part of the question is the existence of atoms (i.e. point masses) for the measure; these are irreducible unitary representations of $G$ that embed as subrepresentations of $L^2(G)$, and are known as "discrete series" representations. Harish-Chandra's description of the discrete series for all semi-simple real Lie groups is one of the major triumphs of 20th century representation theory (indeed, 20th century mathematics!).
For $p$-adic groups, Harish-Chandra reduced the problem to the determination of the discrete series, but the question of explicitly describing the discrete series in that case remains open.
One important thing that Harish-Chandra proved was that not all points of $\widehat{G}$ (when $G$ is a real or $p$-adic semisimple Lie group) are in the support of Plancherel measure; only those which satisfy the technical condition of being "tempered". (So this is another difference from the abelian case, where Haar measure is supported uniformly over all of $\widehat{G}$.) Thus in explicitly describing Plancherel measure, and hence giving an explicit form of Fourier analysis for any real semi-simple Lie group, he didn't have to classify all unitary representations of $G$.
Indeed, the classification of all such reps. (i.e. the explicit description of $\widehat{G}$) remains an open problem for real semi-simple Lie groups (and even more so for $p$-adic semi-simple Lie groups, where even the discrete series are not yet classified).
This should give you some sense of the relationship between Fourier analysis in its representation-theoretic interpretation (i.e. the explicit description of $L^2(G)$ in terms of irreducibles) and the general classification of irreducible unitary representations of $G$. They are related questions, but are certainly not the same, and one can fully understand one without understanding the other.
Speaking as a nonexpert, I'd emphasize that the subject as a whole is deep and difficult. Even leaving aside the recent developments for $p$-adic groups, the representation theory of semisimple Lie groups has been studied for generations in the spirit of harmonic analysis. So there is a lot of literature and a fair number of books (not all still in print). Having heard many of Harish-Chandra's lectures years ago, I know that the subject requires enormous dedication and plenty of background knowledge including classical special cases. Some books are certainly more accessible for self-study than others, but a lot depends on what you already know and what you think you want to learn.
Access to MathSciNet is helpful for tracking books and other literature, as well as some insightful reviews. Without attempting my own assessment, here are the most likely books to be aware of besides the corrected paperback reprint of Varadarajan's 1989 Cambridge book (I have the original but not the corrected printing, so don't know how many changes were made):
MR2426516 (2009f:22009), Faraut, Jacques (F-PARIS6-IMJ), Analysis on Lie groups. An introduction. Cambridge Studies in Advanced Mathematics, 110. Cambridge University Press, Cambridge, 2008.
MR1151617 (93f:22009), Howe, Roger (1-YALE); Tan, Eng-Chye (SGP-SING), Nonabelian harmonic analysis. Applications of SL(2,R). Universitext. Springer-Verlag, New York, 1992.
MR0498996 (58 #16978), Wallach, Nolan R., Harmonic analysis on homogeneous spaces. Pure and Applied Mathematics, No. 19. Marcel Dekker, Inc., New York, 1973.
This old book by Wallach as well as another by him on Lie group representations are presumably out of print. In any case, textbooks at an introductory level which emphasize both Lie group representations and harmonic analysis (often in the direction of symmetric spaces) are relatively few and far between. That probably reflects the practical fact that graduate courses aren't often attempted and are inevitably rather advanced. On the other hand, there are some modern graduate-level texts on compact Lie groups and related harmonic analysis as well as books on Lie groups and their representations with less coverage of harmonic analysis and symmetric spaces.
Best Answer
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