2013-12-13 13:27:05 8 Comments

I am an undergraduate studying quantum physics with the book of Griffiths. in 1-D problems, it said a free particle has un-normalizable states but normalizable states can be obtained by sum up the solutions to independent Schrodinger equations. in my view the book also suggests that a scattering state with E>V(infinity) is to be un-normalizable. Is it true in 1-D situations? If so can it be generalized to 3-D situations? And why?

### Related Questions

#### Sponsored Content

#### 1 Answered Questions

### Is the Klein-Gordon equation one evolution equation for states?

**2019-02-24 22:37:11****user1620696****87**View**3**Score**1**Answer- Tags: quantum-mechanics quantum-field-theory soft-question qft-in-curved-spacetime

#### 2 Answered Questions

### [SOLVED] Scattering, Perturbation and asymptotic states in LSZ reduction formula

**2015-10-01 13:30:33****SRS****994**View**15**Score**2**Answer- Tags: quantum-field-theory hilbert-space scattering vacuum s-matrix-theory

#### 0 Answered Questions

### Why scattering state solutions for finite square well potential are 'inherently' asymmetric?

**2017-09-28 23:07:43****Deepayan Turja****266**View**1**Score**0**Answer- Tags: quantum-mechanics symmetry scattering

#### 2 Answered Questions

### [SOLVED] Why the cross section can be obtained directly from the stationary scattering states?

**2016-03-20 14:26:30****user1620696****711**View**7**Score**2**Answer- Tags: quantum-mechanics scattering scattering-cross-section

#### 3 Answered Questions

### [SOLVED] Why is there a time dependence in the Heisenberg states of the Haag-Ruelle scattering theory?

**2016-08-16 02:07:08****Andrea Becker****469**View**8**Score**3**Answer- Tags: quantum-mechanics quantum-field-theory mathematical-physics scattering

#### 0 Answered Questions

### Perturbation theory and the accuracy of physics in real life scenarios

**2016-10-15 17:58:33****phyundergrad****126**View**3**Score**0**Answer- Tags: quantum-mechanics classical-mechanics perturbation-theory

#### 1 Answered Questions

### [SOLVED] Protocol for solving time independent Schrodinger equation

**2016-06-17 10:47:40****user100411****294**View**2**Score**1**Answer- Tags: quantum-mechanics wavefunction schroedinger-equation

#### 1 Answered Questions

### [SOLVED] Why is the reflection coefficient in quantum mechanical scattering defined this way?

**2016-03-04 18:19:45****Alex****1165**View**2**Score**1**Answer- Tags: quantum-mechanics wavefunction schroedinger-equation scattering probability

#### 4 Answered Questions

### [SOLVED] Bounded and Unbounded (Scattering) States in Quantum Mechanics

**2013-08-06 19:21:28****user86111****5800**View**8**Score**4**Answer- Tags: quantum-mechanics mathematical-physics operators eigenvalue discrete

#### 3 Answered Questions

### [SOLVED] What is a basis for the Hilbert space of a 1-D scattering state?

**2011-08-01 04:07:10****Mark Eichenlaub****1814**View**10**Score**3**Answer- Tags: quantum-mechanics mathematical-physics hilbert-space normalization linear-algebra

## 2 comments

## @WetSavannaAnimal 2013-12-15 07:55:21

Neuneck's answer is the pithiest description of

howyou get normalisable states as superpositions of non-normalisable states, but the following is more of a "why" these states happen. Hopefully, you should see that this discussion is independent of the number of dimensions.Practically speaking, the reason why there are always such states it is because observables fulfilling the canonical commutation relationship $[X,P]=i\,\hbar\,I$ have eigenvectors which are non-normalisable.

Actually there is no reason why we

haveto have eigenvectors, so at a deeper level, the basic reasonswhythere are always non-normalised states are(1)convenience - the need for wieldiness of mathematical description and(2)the mathematical ingenuity of the people who gave us this wieldy and handy mathematical description - most notably the genius of (in rough historical order), Paul Dirac, Laurent Schwartz, Alexander Grothendieck and Israel Gel'Fand. This discussion keeps the intuitive ideas of eigenvectors and other convenient tools on a unified and rigorous footing.## Grounding Ideas

The basic setting for quantum mechanics is Hilbert space, namely a complete (in the sense that every Cauchy sequence converges to a member of the space) vector space kitted with an inner product (Banach spaces are a weaker and more general concept - being complete vector spaces kitted simply with a norm. The norm in a Hilbert space comes from the inner product of a vector with itself).

So, intuitively, it is a complex vector space like $\mathbb{C}^N$ with "no holes in it" so we can talk about limits and do calculussy kind of stuff without worrying whether limits exist and, wherein we can talk about linear superposition and wherein we can "resolve" vectors uniquely into components through the inner product. So it's pretty much the state space of any physical system, aside from being complex, which is slightly unusual.

Now we look at the idea of a

linear functionalon a Hilbert space $\mathcal{H}$. This is simply alinearfunction $L:\mathcal{H}\to\mathbb{C}$ mapping the Hilbert space $\mathcal{H}$ to the underlying field (in this case $\mathbb{C}$. The inner product for some fixed "bra" $\ell\in\mathcal{H}$, namely the function $x\mapsto\left<\ell,x\right>$ is clearly a special case of this linear functional notion. However, in Hilbert space, everycontinuouslinear functional can indeed be represented by a "fixed bra" inner product and, since every fixed bra inner product clearly induces a continuous linear functional, the ideas ofcontinuous linear functionalandinner product with a fixed braareprecisely the same notion: this equivalence does NOT hold in any old vector space. This key equivalence property is special to Hilbert spaces is the subject matter of the Riesz representation theorem (see Wiki page of this name). So the continuous (topological) dual $\mathcal{H}^*$ of $\mathcal{H}$, being a poncy name for the vector space of continuous linear fucntionals on $\mathcal{H}$, isisomorphic to the original Hilbert space.It can be shown to be an alternative and

altogether equivalent definitionof "Hilbert space" as the one above (i.e. a complete inner product space) is:All this is very slick and attractive for describing things like quantum mechanics. It is also very easy in finite dimensional quantum systems, such as

e.g.an electron constrained to a being a superposition of spin up and down states. In finite dimensions, there is no difference at all between the notions ofcontinuous linear functionaland the more general one of simply alinear functional(*i.e. without to heed to continuity).## Rigging the Hilbert Space: Nonnormalisable States

In infinite dimensions - as with the quantum state space of the harmonic oscillator or the electron bound to a potential, we meet a glitch:

Not all linear functionals are continuous.OOOPS: so just as we covet our neighbour's iPhone 5 when we have "only" model 4, so too we covet a stronger concept than Hilbert space wherein a software upgrade would make all "useful" linear functionals continuous!

Less flippantly, here is where we get practical. In quantum mechanics, we need to implement the Heisenberg uncertainty principle, so we need Hermitian

observables$\hat{X}$ and $\hat{P}$ fulfilling the canonical commutation relationship (CCR) $[\hat{X},\,\hat{P}]=i\,\hbar\,I$ (see my answer here and here). It's not too hard to show that a quantum space truly implementing the HUP cannot be finite dimensional - if it were, then $\hat{X}$ and $\hat{P}$ would have square matrix representations and the Lie bracket $[\hat{X}, \hat{P}]$ between any pair offinitesquare matrices has a trace of nought, whereas the right hand side of the CCR certainly does not have zero trace. So we consider them to be operators on the Hilbert space $\mathbf{L}^2(\mathbb{R}^N)$, which is a Hilbert space with dimensionality $\aleph_0$, i.e. it has countably infinite basis vectors, for example, the eigenfunctions of the $N$-dimensional harmonic oscillator. Vectors in this Hilbert space are "everyday wavefunctions" $\psi:\mathbb{R}^N\to\mathbb{R}^N$ as conceived by Schrödinger with the crucialnormalisabilityproperty:$$\int\limits_{\mathbb{R}^N} |\psi(\vec{x})|^2\,{\rm d}^N x < \infty$$

Now, for convenience, we want to work in co-ordinates wherein one of $\hat{X}$ and $\hat{P}$ is the simple multiplication operator $X \psi(x) = x\,\psi(x)$. In my answer here I show that this means that there are co-ordinates where $X \psi(x) = x\,\psi(x)$ and, needfully $\hat{P} \psi(x) = -i\,\hbar \,{\rm d}_x \psi(x)$.

However,

neither of these operators is defined on our whole Hilbert space$\mathcal{H} = \mathbf{L}^2(\mathbb{R}^N)$: there are vectors (functions) $f$ in $\mathbf{L}^2(\mathbb{R}^N)$ (e.g.functions with jump discontinuities) which have no defined $P\,f\in\mathcal{H}$, owing to the derivative's being undefined at the discontinuity. Likewise, some normalisable functions $g$ have no defined $X\,g\in\mathcal{H}$; multiplication by $\vec{x}$ makes them unnormalisable (witness for example the function $f(x) = (1+x^2)^{-1}$).Furthermore, neither of these functions has eigenvectors in $\mathcal{H}$: if $X\,f(x) = \lambda f(x) = x f(x)\,\forall x\in\mathbb{R}$ then $f(x) = 0$ for $x\neq\lambda$ and the eigenfunction $e^{i\,k\,x}$ of $P$ is not normalisable.

But we want to salvage the idea of eigenstates and still be able to write our states in position or momentum co-ordinates.

Here is where the notion of Rigged Hilbert Space comes in - the ingenious process where we kit a dense subset $S\subset H$ of the original Hilbert space $H$ ("rig it") with a stronger topology, so that things like the Dirac delta are included in the topological dual space $S^*$ where $S\subset H\subset S^*$.

For QM we take the dense subset $S$ to be the "smooth" functions that still belong to $\mathcal{H}$ when mapped by any member of the algebra of operators generated by $X$ and $P$. That is, $S$ is invariant under this algebra and comprises precisely the Schwartz space of functions than can be multiplied by any polynomial and differentiated any number of times and still belong to $\mathcal{H}$. Any function in $\mathcal{H}$ can be arbitrarily well approximated (with respect to the Hilbert space norm) by some function in $S$.

At the same time, we kit the dense subset $S$ out with a stronger topology than the original Hilbert space one. Why do we do this? One of the basic problems with $\mathcal{H}$ is that the Dirac delta $\delta:\mathbf{L}^2(\mathbb{R})\to \mathbb{C};\;\delta\;f(x) = f(0)$, which can be construed as an eigenvector of $X$, is not a continuous linear functional on $\mathcal{H}$ even though of course it is a linear functional. To see this, consider the image of $f(x) + \exp(-x^2/(2 \sigma^2)$ under the delta funcional: we can choose a $\sigma$ to make this function arbitrarily near to $f(x)$ as measured by the $\mathbf{L}^2$ norm, but with images $f(0)$ and $f(0)+1$, respectively, under the Dirac $\delta$. So we kit the dense subset $S$ out a topology that is strong enough to "ferret out" all useful linear functionals and

makethem continuous. We now have a topological dual (space of all linear functionals continuous with respect to the stronger topology) $S^*$ of $S$ such that $S\subset\mathcal{H} = \mathcal{H}^*\subset S^*$.$S^∗$ is the space of tempered distributions as discussed in my answer here. $S^∗$ includes the Dirac delta, $e^{i\,k\,x}$ and is bijectively, isometrically mapped onto itself by the Fourier transform. Intuitively, functions and their Fourier transforms are precisely the same information for the tempered distributions. This ties in with the fact that position and momentum co-ordinate are mapped into each other by the Fourier transform and its inverse.

So there we have it. We now have a space of bras $S^*$ that is strictly bigger than the space of kets $\mathcal{H}$ and it needfully includes, by the construction of the rigged Hilbert space, nonnormalisable bras in $S^*\sim\mathcal{H}$ simply so that we can discuss eigenstates of all the observables we need in a rigorous way.

Good references for these notion are:

In the latter, Todd Trimble's suspicions are correct that the usual Gel'Fand triple is $S\subset H = \mathbf{L}^2(\mathbb{R}^N)\subset S^*$ with $S$ , $S^∗$ being the Schwartz space and tempered distributions as discussed in my answer here. The Wikipedia article on rigged Hilbert space is a little light on here: there's a great deal of detail about nuclear spaces that's glossed over so at the first reading I'd suggest you should take a specific example $S$ = Schwartz space and $S^∗$ = Tempered Distributions and keep this relatively simple (and, for QM most relevant) example exclusively in mind - for QM you won't need anything else. The Schwarz space and space of tempered distributions are automatically nuclear, so you don't need to worry too much about this idea at first reading.

## @WetSavannaAnimal 2013-12-15 09:38:11

Declaration: The writer got no commission from Apple in writing this. I don't even own an iPhone.

## @Neuneck 2013-12-13 14:03:33

The scattered states are indeed non-normalizable. This is because a plane wave is an unphscial state (which you can for example see by trying to calculate the Heisenberg uncertainty, which will read $\Delta x \cdot \Delta p = \infty \cdot 0 = ??$).

In order to create a physical state, you need to specify boundary conditions, i.e. a

physicalwavefunction at a given time $\Psi(t = 0)$. This can always be written as superposition of plane waves $$ \Psi(t=0) = \int \mathrm dE \; \tilde g(E) \psi(E)$$ where $\tilde g$ is the "envelope" of your function and the $\psi(E)$ are the solutions of thetime-independentSchroedinger equation $$ \hat H \psi(E) = E \cdot \psi(E)$$ If this is fulfilled, your full wavefunction $\Psi(t)$ will fulfill thetime-dependentSchroedinger equation.