TD perturbation - state initially in continuous part

In summary, the perturbed wave function is given as a superposition of the unperturbed wave functions: \Psi(t) = \int a_E(t) \Psi_E dE where \Psi_E=\psi_E e^{-i\omega_Et} and the integral is done over the whole spectrum of energies. The unperturbed wave functions are normalized to the Dirac delta with energy as an argument: \int \Psi_{E_i}^*\Psi_{E_j}dx=\delta(E_i-E_j) and have units of
  • #36
Nemanja989 said:
You are the first one I hear saying anything bad of any LL book.
LL are books based more on physical intuition than on rigorous math. Not surprisingly, people who prefer mathematical rigor over physical intuition are not big fans of LL. But most physicists (including me) think that, in physics, physical intuition is more important than mathematical rigor, and such people usually don't have serious complaints on LL.
 
  • Like
Likes Nemanja989
Physics news on Phys.org
  • #37
Demystifier said:
LL are books based more on physical intuition than on rigorous math. Not surprisingly, people who prefer mathematical rigor over physical intuition are not big fans of LL. But most physicists (including me) think that, in physics, physical intuition is more important than mathematical rigor, and such people usually don't have serious complaints on LL.

Thanks! That sounds reasonable, although I still like rigor to a certain extent. There is a very good and serious video that at one point shows in a funny way a difference between a theoretical physicist and a mathematician - link. The part I am referring to begins at 28:04 and culminates at 31:51.

Further, what do you think of the way the normalization of the continuous spectrum of any operator was done in LL? You can see the link in one of my previous comments. This would be very nice for me to hear.
 
  • #38
If physicists always waited to define math rigorously before attempting to make computations, then Dirac would not introduce his delta function because at that time there was no mathematical theory of distributions. Moreover, today particle physicists would still not use quantum field theory - the most successful theory in the history of science. So my advice is - first find a way how to use theory, and if it works, only then try make it rigorous.
 
  • Like
Likes mccoy1 and Nemanja989
  • #39
Nemanja989 said:
Further, what do you think of the way the normalization of the continuous spectrum of any operator was done in LL? You can see the link in one of my previous comments. This would be very nice for me to hear.
I think it's OK in most cases of practical interest. Perhaps in some pathological cases it may not work, but such cases are rare.

Anyway, if you are interested in cases in which naive physical intuition does not work and rigorous math must be used, see https://arxiv.org/abs/quant-ph/9907069
 
  • Like
Likes Nemanja989
  • #40
Demystifier said:
I think it's OK in most cases of practical interest. Perhaps in some pathological cases it may not work, but such cases are rare.

Anyway, if you are interested in cases in which naive physical intuition does not work and rigorous math must be used, see https://arxiv.org/abs/quant-ph/9907069

For me the problem is that PeterDonis and DrDru say that it cannot be done like in LL, I would be very happy if they could justify their statements. For me, I don't see any problem whatsoever. Maybe only as you say in some pathological cases, that are more relevant for a mathematician than for a physicist.
 
  • Like
Likes Demystifier
  • #41
Nemanja989 said:
I asked about ##a_E##, but my claim was about ##|a_E|^2##.

In your initial post you made claims about both, and the point you seemed to be struggling with was here:

Nemanja989 said:
My question is, if one can write any expression for the value of ##a_{E_0}## only? The problem for me is that the ##\sqrt{\delta(E-E_0)}## does not seem to be well defined.

You're right, it isn't, and the way to fix this "problem" is to not even try to take the square root to begin with. And the way to understand that is to stop thinking of ##|a_E|^2## as having any meaning in its own right, but only when it appears in an integral with ##dE##.

Nemanja989 said:
After your last post, I have impression that you agree with ##|a_E|^2=\delta(E-E')##, which was my original statement.

Formally, yes, you can write ##|a_E|^2=\delta(E-E')##; but the issue is not writing down a formal equation but understanding what it does and does not tell you. This formal equation is not telling you that ##|a_E|^2## has any meaning by itself. It is telling you that it only has meaning when it appears in an integral with ##dE##. (Just as any expression containing a delta function only has meaning in an appropriate integral.) That is what the people who are saying that ##|a_E|^2## is only a probability density, not a probability, are trying to tell you.

Nemanja989 said:
For me the problem is that PeterDonis and DrDru say that it cannot be done like in LL

As far as I can tell, LL do not assign any meaning to ##|a_E|^2## by itself, only when it appears in an integral with ##dE##. Which is what I've been telling you as well.

LL is an advanced textbook, and as @A. Neumaier has pointed out, you have to know not to interpret what they say literally. They are not giving you a cookbook recipe for cranking out quantum field theories. They are trying to give you some clues which will help you to build your own understanding.
 
  • #42
Nemanja989 said:
For me, the problem is the expression for ##a_E##, as one would have to use the expression for it and not ##|a_E|^2## in the perturbative expansion.

Why?
 
  • #43
PeterDonis said:
Formally, yes, you can write ##|a_E|^2=\delta(E-E')##; but the issue is not writing down a formal equation but understanding what it does and does not tell you. This formal equation is not telling you that ##|a_E|^2## has any meaning by itself. It is telling you that it only has meaning when it appears in an integral with ##dE##. (Just as any expression containing a delta function only has meaning in an appropriate integral.) That is what the people who are saying that ##|a_E|^2## is only a probability density, not a probability, are trying to tell you.

Exactly, the integral has the meaning. But I have nowhere said that [itex] |a_E|^2 [/itex] is a probability. Please check my first post! From it is clear that I regard [itex] |a_E|^2 [/itex] as a probability density and [itex] |a_E|^2 dE[/itex] as probability for it to be in the energy interval [itex] E+dE[/itex] (I originally said only [itex] E[/itex], but @thephystudent had corrected me). This is one of the reasons why I was giving units for each of the terms I define.

I sincerely ask you to quote me where have I said that [itex] |a_E|^2 [/itex] is a probability. This is something that causes a lot of unnecessary discussion in this topic.

PeterDonis said:
As far as I can tell, LL do not assign any meaning to ##|a_E|^2## by itself, only when it appears in an integral with ##dE##. Which is what I've been telling you as well.

They are not assigning any meaning to it, they are simply calculating it in a formal way. They only say that [itex] a_{E}[/itex] is the expansion coefficient, that is dependent on time. Nothing more, nothing less.
PeterDonis said:
LL is an advanced textbook, and as @A. Neumaier has pointed out, you have to know not to interpret what they say literally. They are not giving you a cookbook recipe for cranking out quantum field theories. They are trying to give you some clues which will help you to build your own understanding.

This would be a huge underestimate of their books, which I am not doing and I ask you not to imply it. Every paragraph has a lot of useful information and honestly, I am amazed how they cover "every single corner" of the topic they are discussing. Also the simplicity of the arguments they are using to make the foundations on which the more complex theory is built is again, just amazing.
 
Last edited:
  • #44
PeterDonis said:
Why?

Because I got curious of the problem they didn't mention in the book. Namely, if you have the electron starting from the continuous spectrum, but not from discrete, and then if I do perturbative expansion and try to solve the equations the only coefficient in the zeroth order that is non zero is [itex]a^{(0)}_{E_0} [/itex], which then appears in the integral of the following form:

[tex] \int a^{(0)}_E f(E)dE[/tex]

Not as a modulus square, but like that. I was thinking of a possibility to multiply it somewhere along with the corresponding complex conjugate, but it doesn't seem to be an option. I still did't try it with @Demystifier's idea.

PS Do you think that it is physically valid to assume that the electron starts in continuous spectrum with a definite energy?
 
  • #45
@A. Neumaier

Have you seen from my first post that the wave function I started with is normalized to [itex] 1 [/itex] and not to delta function?

I want to know properties of the wave function [itex]\Psi[/itex], for which I know [itex]i\hbar\frac{\partial\Psi}{\partial t}=\hat{H}\Psi[/itex], where [itex]\hat{H}=\hat{H_0}+\hat{H'}[/itex] and I know that [itex]\hat{H_0}\Psi_E(t)=i\hbar\frac{\partial\Psi_E(t)}{\partial t}[/itex] and [itex]\hat{H_0}\psi_E=E\psi_E[/itex], where [itex]\Psi_E(t)=\psi_Ee^{i\omega_{E}t}[/itex]. Again the usual normalization conditions holds [itex]\int\Psi_{E'}^*\Psi_E dx=\delta(E-E')[/itex] (this exact condition is given in LL, without a room for poetry). Just to be clear, I am not saying, nor did I say that in any of my previous posts, that the previous integral gives me the probability, it's not even in right units.

Now, I simply make the assumption that the [itex]\hat{H'}[/itex] is strong, but not enough to change the eigenvectors of [itex]\hat{H_0}[/itex], hence

[tex]\Psi=\int a_E \Psi_E dE[/tex]

with [itex]|a_E|^2=\delta(E-E')[/itex]. It is now easy to show that for the initial wave function [itex]\Psi[/itex] holds

[tex]\int |\Psi|^2dx=1[/tex]

even though the electron was prepared in the specific state [itex]\Psi_{E'}[/itex] of the continuous spectrum. The new wave function, which is the eigenfunction of the [itex]\hat{H}=\hat{H_0}+\hat{H'}[/itex] has no normalization problems.
 
  • #46
With proper distributions, such as ##\delta(x)##, you cannot do all the operations that you can with functions. But some operations you can do, and the theory of distributions tells you which operations you can and which operations you can't do.

I expect that something similar can be said about objects such as ##\sqrt{\delta(x)}##, namely that you can do some but not all operations with them that you can do with proper distributions. As far as I know, a general theory of such objects is not yet developed, but I believe it could be an interesting research program for pure mathematicians. The statement that "##\sqrt{\delta(x)}## does not exist" really means that it does not exist as a proper distribution. But I have no doubts that it exists as some more general object, even if the theory of such objects is not yet developed.

Let me also remind skeptics that there were times when mathematicians thought that ##\delta(x)## does not exist, that ##df(x)/dx## does not exist, that ##\sqrt{-1}## does not exist, that ##\sqrt{2}## does not exist, that ##-1## does not exist, or even that ##0## does not exist. It turned out that all those objects exist by certain generalizations of the concepts that mathematicians of that time was used to.
 
Last edited:
  • Like
Likes Nemanja989
  • #47
Demystifier said:
I expect that something similar can be said about objects such as ##\sqrt{\delta(x)}##, namely that you can do some but not all operations with them that you can do with proper distributions.

Really the center! I like this very much. As you say, one should consider [itex]\sqrt{\delta(x)}[/itex] as something one layer more general than distributions and in order to make that generalization, we have to give up on something. As you say, not all the operations can be done as with distributions. Like with complex numbers, where with introduction of [itex]\sqrt{-1}[/itex], we had to give up on ordering them as it is the case for real numbers.
 
Last edited:
  • Like
Likes Demystifier
  • #48
Nemanja989 said:
Like with complex numbers, where with introduction of [itex]\sqrt{-1}[/itex], we had to give up on ordering them as it is in case for real numbers.
Just a little nitpicking. While complex numbers cannot be ordered in the same way as real numbers can, the axiom of choice implies that complex numbers can be ordered somehow, even if nobody can give an explicit prescription how to do it.
 
  • #49
Demystifier said:
Just a little nitpicking. While complex numbers cannot be ordered in the same way as real numbers can, the axiom of choice implies that complex numbers can be ordered somehow, even if nobody can give an explicit prescription how to do it.
:thumbup:
 
  • #50
PeterDonis said:
This doesn't make sense. The squared modulus of the wave function is a number, not a delta function.

Also, an energy eigenstate is not described by a delta function like ##\delta(E - E_0)## with energy as an argument; that only works for a position eigenstate like ##\delta(x - x_0)## (in the position representation) or a momentum eigenstate like ##\delta(p - p_0)## (in the momentum representation). I suspect you are misunderstanding something in whatever source you are using; what source (textbook or paper) are you trying to learn time-dependent perturbation theory from?
I don't know what you mean by this.

The following could come handy:

Let's consider the momentum operator [itex]\hat{p} [/itex], whose eigenfunctions are [itex]\Psi_p[/itex], which are further normalized as [itex]\int\Psi^*_{p}\Psi_{p\ '} dx=\delta(p-p')[/itex], where [itex]p[/itex] is the corresponding eigenvalue.

We know that:

[tex]\delta(f(x')-f(x))=\frac{1}{|\frac{df(x)}{dx}|}\delta(x'-x)[/tex]

knowing further the relation between energy and momentum we obtain

[tex]\delta(p'-p)=v\delta(E'-E)[/tex]

and one can define the relation between the momentum eigenfunction and the energy eigenfunction as [itex]\Psi_E=\frac{1}{\sqrt{v}}\Psi_p[/itex]. This is the way to come to it if you know only the momentum representation. One did not have to go like this, in the special way, from the momentum representation. I can without a problem do it from the energy eigenfunctions and come to momentum or any other way!

Simply put, obtaining the eigenfunctions of [itex]\hat{H}[/itex], we can depending on application choose how to normalize them (e.g. for neutron scattering we would need the cross sections and we would choose with respect to what to normalize the wave functions so that the Fermi's golden rule gives us the cross sections).
 
Last edited:
Back
Top