Wave Function Zero At Infinity?

[GAGS]

Its looking quite simple problem but let me explain properly my question.
Wave function as we know is also known as matter wave/field amplitude. Then definitely there is associated a wave with it. Then how can we say that wave amplitude vanished at infinite!

 

[Fredrik]

Because if it isn't,
\int |\psi(x)|^2 dx
is infinite.

 

[malawi_glenn]

GAGS, for a bound system, wavefunction must go to zero due to the reason Fredrik told you. This is not applicable to free particles.

Recall that the wavefunction is the probability amplitude for finding the particle at a certain location.

 

[Hurkyl]

Because if it isn't,
\int |\psi(x)|^2 dx
is infinite.

That doesn't follow. Consider the function:

<br /> \psi(x) = <br /> \begin{cases}<br /> 0 &amp; x &lt; 1 \\<br /> 1 &amp; x \in [n, n + n^{-2}) \\<br /> 0 &amp; x \in [n + n^{-2}, n+1)<br /> \end{cases}<br />

where n ranges over all positive integers. \psi(x) does not converge to zero at +\infty. However,

<br /> \int_{-\infty}^{+\infty} |\psi(x)|^2 \, dx<br /> = \sum_{n = 1}^{+\infty} \int_{n}^{n + n^{-2}} 1 \, dx<br /> = \sum_{n = 1}^{+\infty} n^{-2} = \pi^2 / 6

 

[malawi_glenn]

Hurkyl, is that a continuous function? Is that a function an eigenfunction to the Shrodinger equation?

 

[Hurkyl]

Hurkyl, is that a continuous function?

It's a wave function, which is enough to demonstrate Fredrick's claim is inadequate.

Is that a function an eigenfunction to the Shrodinger equation?

Doesn't have to be. However, I expect that if I try the same trick with Gaussians, I can construct a potential so that my counterexample is a stationary state.

 

[malawi_glenn]

That is why I added that a bound wave function must approach zero as x goes to infty.

So wave functions does not have to be eigenfunctions to Shrodinger Eq? (in non rel QM)

 

[Hurkyl]

So wave functions does not have to be eigenfunctions to Shrodinger Eq? (in non rel QM)

Nope -- only stationary states are eigenfunctions. However, the (generalized) eigenfunctions do form a basis, so that each wavefunction is a (possibly infinite or continuously indexed) linear combination of (generalized) eigenfunctions.

 

[malawi_glenn]

I would really love to see a physical situation where that wavefunction comes out.

 

[Fredrik]

Hurkyl's argument proves that my argument doesn't hold. His argument is valid even if it isn't possible to design an experiment which produces his wave function.

I don't know how to respond. I don't know which wave functions are "valid" and which ones aren't.

 

[malawi_glenn]

Hurkyl's argument proves that my argument doesn't hold. His argument is valid even if it isn't possible to design an experiment which produces his wave function.

I don't know how to respond. I don't know which wave functions are "valid" and which ones aren't.

Generally that statement of yours doesn't hold, but we must look at the physical situation before making any imposings on the wave function under consideration.

 

[Domnu]

Well, I'm sure if you generated a potential of some sort, you could model the above situation?

 

[per.sundqvist]

You could have eigenvalue problems with compex eigen vaues, which means that the wave outside a meta stable bound region is of traveling wave type (and not equal to zero at infinity). They repesents decay of the particle probablility in time, i.e., the imaginary part of the energy estimates the lifetime of an electron in a metastable state. For example: V(x)=A\cdot x+B\cdot \sin(kx).

 

[ismaili]

You could have eigenvalue problems with compex eigen vaues, which means that the wave outside a meta stable bound region is of traveling wave type (and not equal to zero at infinity). They repesents decay of the particle probablility in time, i.e., the imaginary part of the energy estimates the lifetime of an electron in a metastable state. For example: V(x)=A\cdot x+B\cdot \sin(kx).

Sorry I don't quite understand it.
You mean we start with a non-Hermitian Hamiltonian?
That's why we have complex eigenvalues?

BTW, I have another question.
I know the resonance state corresponding to the complex energy poles
of the scattering matrix.
And the Hamiltonian is Hermitian. (I'm not quite sure?)
Are these complex energy poles here eigenvalues of Hamiltonian?
Or, the complex energy poles are not eigenvalues of the Hamiltonian?
Thanks for any instructions.

 

[Andy Resnick]

That doesn't follow. Consider the function:

<br /> \psi(x) = <br /> \begin{cases}<br /> 0 &amp; x &lt; 1 \\<br /> 1 &amp; x \in [n, n + n^{-2}) \\<br /> 0 &amp; x \in [n + n^{-2}, n+1)<br /> \end{cases}<br />

where n ranges over all positive integers. \psi(x) does not converge to zero at +\infty. However,

<br /> \int_{-\infty}^{+\infty} |\psi(x)|^2 \, dx<br /> = \sum_{n = 1}^{+\infty} \int_{n}^{n + n^{-2}} 1 \, dx<br /> = \sum_{n = 1}^{+\infty} n^{-2} = \pi^2 / 6

Hey... that's cool. Are those functions used for anything?

 

[Andy Resnick]

Its looking quite simple problem but let me explain properly my question.
Wave function as we know is also known as matter wave/field amplitude. Then definitely there is associated a wave with it. Then how can we say that wave amplitude vanished at infinite!

I think it's required for bound particles, to ensure they stay bound. As Hurkyl points out, there are square-integrable functions that are mischevious, but AFAIK, they do not correspond to physically relevant potentials and Hamiltonians.

 

[per.sundqvist]

Sorry I don't quite understand it.
You mean we start with a non-Hermitian Hamiltonian?
That's why we have complex eigenvalues?

BTW, I have another question.
I know the resonance state corresponding to the complex energy poles
of the scattering matrix.
And the Hamiltonian is Hermitian. (I'm not quite sure?)
Are these complex energy poles here eigenvalues of Hamiltonian?
Or, the complex energy poles are not eigenvalues of the Hamiltonian?
Thanks for any instructions.

No the Hamiltonian is hermitean, but the bondary conditin is of open type. The proof why you get real eigenvalues fails, using Greens first identity when yo get: \int\Phi\nabla\Phi\cdot d\vec{S}\neq 0. The BC n 1D is: d\Psi/dx+ik\Psi=0.

 

[jtbell]

GAGS, for a bound system, wavefunction must go to zero due to the reason Fredrik told you. This is not applicable to free particles.

It is indeed applicable to free particles. You're probably thinking of the plane-wave solution \Psi = \exp [i(px - Et)/\hbar] which extends to infinity. But that isn't a physically valid wave function, precisely because it isn't square-integrable. To get a physically valid wave function for a free particle, you have to superpose a collection of waves like that, with different wavelengths, via a Fourier integral. This gives a free-particle wave function that goes to zero as x goes to infinity; and the packet width \Delta x and range of momenta \Delta p satisfy the Heisenberg Uncertainty Principle!

 

[per.sundqvist]

Sorry I don't quite understand it.
You mean we start with a non-Hermitian Hamiltonian?
That's why we have complex eigenvalues?

BTW, I have another question.
I know the resonance state corresponding to the complex energy poles
of the scattering matrix.
And the Hamiltonian is Hermitian. (I'm not quite sure?)
Are these complex energy poles here eigenvalues of Hamiltonian?
Or, the complex energy poles are not eigenvalues of the Hamiltonian?
Thanks for any instructions.

No the hamiltonian is hermitean, but the booundary condition is of open type. The proof of real eigen values fails, using greens first identity, when: \int \Psi\nabla\Psi\cdot d\vec{S}\neq 0. The BC for this type of problems in 1D is: \hat{n}\cdot\nabla\Psi+ik\Psi=0.

 

[Hurkyl]

It is indeed applicable to free particles. You're probably thinking of the plane-wave solution \Psi = \exp [i(px - Et)/\hbar] which extends to infinity. But that isn't a physically valid wave function, precisely because it isn't square-integrable. To get a physically valid wave function for a free particle, you have to superpose a collection of waves like that, with different wavelengths, via a Fourier integral. This gives a free-particle wave function that goes to zero as x goes to infinity; and the packet width \Delta x and range of momenta \Delta p satisfy the Heisenberg Uncertainty Principle!

But if you consider a multi-modal wavefunction, such as the one I presented (or a smoothed version of it)...

 

[ismaili]

No the Hamiltonian is hermitean, but the bondary conditin is of open type. The proof why you get real eigenvalues fails, using Greens first identity when yo get: \int\Phi\nabla\Phi\cdot d\vec{S}\neq 0. The BC n 1D is: d\Psi/dx+ik\Psi=0.

I don't quite understand it.
We can prove the theorem which states the eigenvalues of a Hermitian operator are real from linear algebra. There is no additional condition for the boundary conditions of the eigenstates. For example, from
A|a&#039;\rangle = a&#039;|a&#039;\rangle and \langle a&#039;&#039;|A = a&#039;&#039;^*\langle a&#039;&#039;|
where A is an Hermitian operator and a&#039;,a&#039;&#039; are its eigenvalues.
We times the first equation with \langle a&#039;&#039;|, the second equation with |a&#039;\rangle, then substract,
\Rightarrow (a&#039; - a&#039;&#039;^*)\langle a&#039;&#039;|a&#039;\rangle = 0
now we select a&#039; = a&#039;&#039;, then we conclude that a&#039; is real.
So, eigenvalues of a Hermitian operator must be real.
How come the resonance state has complex energy eigenvalues?
My idea is that the complex energy poles of S-matrix corresponding to resonance states are not energy eigenvalues of Hamiltonian, so the complex energy is not the energy of the resonance state.
Where did I got lost? thx

 

[per.sundqvist]

Hmm, here is my derivation:

<br /> \varphi^*H\varphi &amp;=&amp; \lambda\varphi^*\varphi <br />


<br /> \varphi H^*\varphi^* &amp;=&amp; \lambda^*\varphi\varphi^*<br />

Using hermiteacity:
H=H^*=-\nabla^2

Now integrating the difference, and using Greens second identity (not the first as I wrote):
<br /> \begin{eqnarray}<br /> (\lambda-\lambda^*)\int\varphi^*\varphi dv &amp;=&amp; -\int(\varphi^*\nabla^2\varphi-\varphi\nabla^2\varphi^*)dv=<br /> \nonumber \\<br /> &amp;=&amp; -\oint_{\partial S}(\varphi^*\nabla\varphi-\varphi\nabla\varphi^*)\cdot<br /> d\vec{S} \neq 0<br /> \end{eqnarray}<br />

where dS is the boundary surface, ie two points in 1D. If you have \varphi=exp(ikx) you se that the difference is not equal to zero. But if \varphi=0 at infinity, then \lambda=\lambda^*, giving a real eigen value.

 

[per.sundqvist]

The last term in the equation tells you that a quantum current is comming out from the boundary. The simplest eigen value problem is for instance the following:

<br /> \[V(r) = \left\{<br /> \begin{array}{l l l}<br /> \infty &amp; r&lt;0\\<br /> 0 &amp; 0\leq r&lt; L\\ <br /> V_0 &amp; L\leq r&lt; L+t\\ <br /> 0 &amp; r\geq L+t\\ <br /> \end{array} \right.\]<br />

You could write the solution in terms of unknown coeffs and the k as:

<br /> \[V(r) = \left\{<br /> \begin{array}{l l l}<br /> \Psi_1 &amp;=&amp; A\sin(kx) ;\;0\leq r&lt; L\\<br /> \Psi_2 &amp;=&amp; B\exp(\kappa x)+C\exp(-\kappa x) ;\; L\leq r&lt; L+t\\ <br /> \Psi_3 &amp;=&amp; t\exp(ikx) ;\; r\geq L+t\\ <br /> \end{array} \right.\]<br />

Matching functions and derivatives at the two intermediate points gives you a system like: M\vec{c}=0, det[M(E)]=0, k=\sqrt{\hbar^2E/2m}, \kappa=\sqrt{\hbar^2(V-E)/2m}. solving the determinant equation in E numerically you will find an approxiamte solution like: E_n\approx\frac{\hbar^2}{2m}\left(\frac{n\pi}{L}\right)^2+i\varepsilon.

The imaginary part will contribute in the time-dependent solution as:
<br /> \mid\Psi\mid^2=\mid\psi\mid^2e^{i(i\varepsilon)t/\hbar}=\mid\psi\mid^2e^{-t/\tau}<br /> ;\;\tau=\hbar/\varepsilon<br />