Periodic potential: Bloch's theorem

In summary: Not all matrices are diagonalizable. Could it happen, that a such sub matrix of H, that is not diagonal in the beginning, is not diagonalizable. Then the fact a corresponding sub matrix of T is proportional to the unity wouldn't... hold true?
  • #1
tim_lou
682
1
for the solution to the time-independent Schrödinger's equation with a period potential,
[tex]V(x)=V(x+a)[/tex]

one has:
[tex]\psi(x)=Af(x)+Bg(x)[/tex]

and
[tex]\psi(x+a)=A'f(x)+B'g(x)[/tex]

the coefficients are related by a matrix equation,

let
[tex]v=[A, B]^T[/tex]
[tex]v'=[A', B']^T[/tex]

then
[tex]v=Kv'[/tex]
where K is some non-singular matrix.

hence we can choose a solution where v is the eigenvector to the matrix K, more specifically,
[tex]v'=Kv=\lambda v[/tex]

and thus one can find solutions to the Schrödinger's equation that satisfy:
[tex]f(x+a)=\lambda f(x)[/tex] (1)

from there, one can show that there are band structures for the allowed energies.

However, how does one prove that these are the ONLY physical solution to the Schroedinger's equation? I mean without the constrain of (1), we can possibly have other wave functions with different energies (in the forbidden zone)? am I missing something?
 
Last edited:
Physics news on Phys.org
  • #2
a humble bump for my thread.
does nobody knows the solution to the question?
 
  • #3
If the potential in the Schrodinger equation is invarient under translations by a lattice vector 'a' which are implimented via the unitary operator 'T' then one can show that for any solution |f) of the schrodinger equation that T|f) is also a solution with the same energy. Thus [T,H]=0 and thus T and H can be simultaniously diagonalized. The simultanious eigenkets of T and H are the Bloch functions.

See Ashcroft and Mermin "Solid State Physics" chapter 8 for more on Bloch's theorem and Bloch functions,
 
  • #4
the trouble of my understanding comes from the last statement:

by olgranpappy said:
[T,H]=0 and thus T and H can be simultaneously diagonalized.

why must there exist simultaneous eigenfunctions of T, H if they commute?

one can prove the existence of eigenfunctions of T and H separately, but how can one prove the existence of an eigenfunctions for both T and H if T and H commute?
 
  • #5
tim_lou said:
why must there exist simultaneous eigenfunctions of T, H if they commute?

one can prove the existence of eigenfunctions of T and H separately, but how can one prove the existence of an eigenfunctions for both T and H if T and H commute?

:biggrin: This is a basic result that you can probably find in a linear algebra textbook, or probably most textbooks on quantum mechanics. I'll briefly try to motivate why the result is true.

Suppose that T and H commute then consider an arbitrary matrix element of the commutator (which, of course, is zero) in a basis where T is diagonal.
[tex]
0=<n|[T,H]|m>
[/tex]

Next, expand the commutator and insert a complete set of states in each term and then use the fact that T is diagonal in this basic to find.
[tex]
0=\left({<n|T|n>-<m|T|m>}\right)<n|H|m>
[/tex]
And so we see that [tex]<n|H|m>=0[/tex] for subspaces with different eigenvalues of T. On the other hand within a subspace that has the same eigenvalue of T, H need not be diagonal--in general it will not be--thus we can say that H is now "block diagonal." But, the "blocks" (subspaces) where H is not diagonal correspond to blocks were T is proportional to the unit matrix, so I can choose linear combinations of my original choice of basis vectors within these "blocks" in order to further diagonalize H without changing T. Thus, if T and H commute I can find a basis that diagonalizes both T and H.
 
  • #6
olgranpappy said:
:biggrin: This is a basic result that you can probably find in a linear algebra textbook, or probably most textbooks on quantum mechanics. I'll briefly try to motivate why the result is true.

Suppose that T and H commute then consider an arbitrary matrix element of the commutator (which, of course, is zero) in a basis where T is diagonal.
[tex]
0=<n|[T,H]|m>
[/tex]

Next, expand the commutator and insert a complete set of states in each term and then use the fact that T is diagonal in this basic to find.
[tex]
0=\left({<n|T|n>-<m|T|m>}\right)<n|H|m>
[/tex]
And so we see that [tex]<n|H|m>=0[/tex] for subspaces with different eigenvalues of T. On the other hand within a subspace that has the same eigenvalue of T, H need not be diagonal--in general it will not be--thus we can say that H is now "block diagonal." But, the "blocks" (subspaces) where H is not diagonal correspond to blocks were T is proportional to the unit matrix, so I can choose linear combinations of my original choice of basis vectors within these "blocks" in order to further diagonalize H without changing T. Thus, if T and H commute I can find a basis that diagonalizes both T and H.

Not all matrices are diagonalizable. Could it happen, that a such sub matrix of H, that is not diagonal in the beginning, is not diagonalizable. Then the fact a corresponding sub matrix of T is proportional to the unity wouldn't help.
 
  • #7
hmhm... uh.. we of course can assume that T and H are both diagonalizable alone. Is it so, that when a matrix is diagonalizable, then these blocks are diagonalizable also?
 
  • #8
jostpuur said:
hmhm... uh.. we of course can assume that T and H are both diagonalizable alone. Is it so, that when a matrix is diagonalizable, then these blocks are diagonalizable also?

Yes, I believe so.

Consider implementing one or another proceedure to first diagonalize T (which we "of course can assume" is possible).

Next, consider one at a time each remaining subspace for which H is not yet diagonal. In each remaining subspace T is just a number times the identity and for these purposes I can completely forget about it.

So, forget everything about T--there is no T now--we no longer know anything about T.

Okay, now consider just the restriction of H to one of the remaining subspaces where it is non-diagonal. In that subspace H still has all the properties which it originally had, e.g. Hermitian. So I can diagonalize it.

Cheers.
 
  • #9
hmmm, although one CAN find a complete basis for solutions to the time-independent Schrödinger's equation, how can we guarantee that other solutions wouldn't be physically meaningful?

it is possible to find a eigenfunction of the H operator that isn't an eigenfunction of the V operator. That way, band structures would not exist at all. is something missing?
 
  • #10
tim_lou said:
hmmm, although one CAN find a complete basis for solutions to the time-independent Schrödinger's equation, how can we guarantee that other solutions wouldn't be physically meaningful?

it is possible to find a eigenfunction of the H operator that isn't an eigenfunction of the V operator. That way, band structures would not exist at all. is something missing?

1. There are "other solutions" that are physically meaningful. They can of course still be written as linear combinations of the energy eigenstates.

2. Yes it is possible to "find a eigenfunction of the H operator that isn't an eigenfunction of the V operator."

3. Point 2 (above) does not at all imply that "band structure would not exist."

4. Yes, I believe that you are missing something.

Cheers.
 
Last edited:
  • #11
olgranpappy said:
2. Yes it is possible to "find a eigenfunction of the H operator that isn't an eigenfunction of the V operator."

well, then in Griffith's book on periodic potential, the "proof" for the existence of band structures for periodic delta potential is no longer valid. I wonder how one would prove that in general, band structures exist for ANY periodic potentials.
 
Last edited:
  • #12
...to further drive home the point that you are missing something:

Consider any state that *is* an eigenfunction of both H *and* V... this means that it is also an eigenfunction of T. This is very boring.

Consider a Bloch state. This state is *not* an eigenfunction of V, but it *is* an eigenfunction of H.
 
  • #13
tim_lou said:
well, then in Griffith's book on periodic potential, the "proof" for the existence of band structures for periodic delta potential is no longer valid. I wonder how one would prove that in general, band structures exist for ANY periodic potentials. (as Griffith claimed that band structure is a signature of periodic potential)

check out Ashcroft and Mermin's book on solid state. or Peierls.
 
  • #14
Also, I can say a few more words about bands following from periodicity. We have already seen that if the potential is periodic the solutions are Bloch waves. The Bloch wave itself is not periodic, but it can be thought of as a plane-wave times a periodic function. E.g.,
[tex]
\psi_k(x)=e^{ikx}u_k(x)
[/tex]
where [tex]u[/tex] is periodic.

When we solve the Schrodinger equation for a given "k-value" we plug in the Bloch wave and take some derivatives and then we get to an intermediate stage where we are only concerned with the Schrodinger equation for the periodic part of the Bloch wave [tex]u_k[/tex]. This equation is to be solved inside a single unit cell since it just repeats throughout the crystal (it's the periodic part). Thus we solve the schro equation in a finite volume and it should be easy to see that the solutions will be labeled by an integer (think about particle in a box). Those integers label the bands!
 
  • #15
RESOLVED
olgranpappy said:
...to further drive home the point that you are missing something:

Consider any state that *is* an eigenfunction of both H *and* V... this means that it is also an eigenfunction of T. This is very boring.

Consider a Bloch state. This state is *not* an eigenfunction of V, but it *is* an eigenfunction of H.

opps, sorry I meant T, not V...(I didn't mean the potential operator).

I guess I really didn't specify my question clearly... and I still couldn't figure out the answer, so bare with me and here it goes again (the complete problem restated):
edit: conceptually, there is a big hole in my understanding of the quantum mechanics, the problem has been generalized.

the ultimate goal:
find a complex function [tex]\Psi (x,t): \bold R\times \bold R \rightarrow \bold C[/tex]
which satisfies the given initial conditions,
[tex]\Psi (x,0)=g(x)[/tex]
and obeys the Schrödinger's equation:
[tex]\hat{E} \Psi=\hat H_t \Psi[/tex]

for a potential V that is independent of t, the equation separates, and we can have:
[tex]\Psi(x,t)=\sum_n c_n\psi_n(x) e^{-i\omega_n t}[/tex]
and [tex]\omega_n=\frac{E_n}{\hbar}[/tex]
for any complete basis that we can choose according to the time-independent Schrödinger's equation.

now, if [tex]V[/tex] is periodic, or
(let [tex]Tf(x)= f(x+a)[/tex] for a constant a),

then one can find a complete basis that are eigenfunctions of both the H and the T operators.

1. and from the statistical interpretations, when measuring the energy we could get any of the [tex]E_n[/tex] with probability [tex]|c_n|^2[/tex]

however, we COULD choose ANOTHER bases that are just eigenfunctions of H, but not T, and we will have:
[tex]\Psi'(x,t)=\sum_n d_n \psi '_n(x) e^{-i\omega_n' t}[/tex]

by uniqueness of the solution to the Schrödinger's equation (i'll assume the truth of the uniqueness theorem, correct my assumption if I am wrong), the two wave functions are equal, [tex]\Psi(x,t)=\Psi'(x,t)[/tex] for all real x and t.

2. but now, the "statistical interpretation" gives a whole new meaning. When we measure the energy, we would get [tex]E'_n[/tex] with probability [tex]|d_n|^2[/tex]

these two statements can't both be correct at the same time, so the second statement is probably false, but at which point was the logic flawed?

to have a consistent "statistical interpretation", then there must only be one unique basis (and the only one) that is normalizable and physically meaningful. How, then can one prove the uniqueness of the choice of basis? (of course, if the basis is unique, then there won't be any choice anymore).
 
Last edited:
  • #16
After thinking about the problem for some more time, I finally came to a resolution.

so, when the eigenvalues are distinct, the eigenstates of H are already the eigenstates of T, so uniqueness is preserved. ([tex]|c_n|^2=|d_n|^2[/tex] and [tex]E_n=E_n'[/tex] for non-degenerate levels)

when some eigenvalues are not distinct, let's say the first three energies levels, 1,2,3 are degenerate, then we have a choice issue. we can choose linear combinations of these states and get a basis.

However, the statistical interpretation is unaffected, for a measurement that yields a energy of the degenerate state, one cannot distinguish from which state the measurement came. The only thing that gives the probability of getting [tex]E_d[/tex], the energy of the degeneracy is [tex]|c_1|^2+|c_2|^2+|c_3|^2[/tex].

so as long as
[tex]|c_1|^2+|c_2|^2+|c_3|^2=|d_1|^2+|d_2|^2+|d_3|^2[/tex] we are fine (uniqueness for degenerate levels are not necessary), and indeed, this is the case with degenerate levels.
 
Last edited:
  • #17
tim_lou said:
RESOLVEDopps, sorry I meant T, not V...(I didn't mean the potential operator).

I guess I really didn't specify my question clearly... and I still couldn't figure out the answer, so bare with me and here it goes again (the complete problem restated):
edit: conceptually, there is a big hole in my understanding of the quantum mechanics, the problem has been generalized.

the ultimate goal:
find a complex function [tex]\Psi (x,t): \bold R\times \bold R \rightarrow \bold C[/tex]
which satisfies the given initial conditions,
[tex]\Psi (x,0)=g(x)[/tex]
and obeys the Schrödinger's equation:
[tex]\hat{E} \Psi=\hat H_t \Psi[/tex]

for a potential V that is independent of t, the equation separates, and we can have:
[tex]\Psi(x,t)=\sum_n c_n\psi_n(x) e^{-i\omega t}[/tex]
for any complete basis that we can choose according to the time-independent Schrödinger's equation.
...

now you've introduced some [tex]\omega[/tex]... I'm not sure why? Do you mean [tex]\omega_n[/tex]? do the c_n have time dependence? this post is a little unclear.
 
  • #18
oops...yeah, I mean [tex]\omega_n[/tex]
and [tex]\omega_n=\frac{E_n}{\hbar}[/tex]

Thanks for the help.
 
  • #19
tim_lou said:
however, we COULD choose ANOTHER bases that are just eigenfunctions of H, but not T, and we will have:

And this means that there could be eigenstates of energy, that are not Bloch waves, in contradiction with the Bloch's theorem?

I can see, that all eigenstates of the translation operator have the form

[tex]
e^{Ax}u(x)
[/tex]

where u(x) is some periodic function. If we wish the solution to be physical, A must be purely imaginary. However, it is incorrect to say that all eigenstates of H would be also eigenstates of the translation operator, so I don't think it is clear where the Bloch's theorem really comes from.
 
  • #20
jostpuur said:
And this means that there could be eigenstates of energy, that are not Bloch waves, in contradiction with the Bloch's theorem?

I can see, that all eigenstates of the translation operator have the form

[tex]
e^{Ax}u(x)
[/tex]

where u(x) is some periodic function. If we wish the solution to be physical, A must be purely imaginary. However, it is incorrect to say that all eigenstates of H would be also eigenstates of the translation operator, so I don't think it is clear where the Bloch's theorem really comes from.

This thread has a long discussion about just that topic...

Bloch's theorem says that you *can* find a basis where both T (translation operator) and H (hamiltonian) are diagonal. The theorem doesn't say that you have to use that basis. You can choose a basis where H is diagonal but T is not if you want to.
 
  • #21
olgranpappy said:
This thread has a long discussion about just that topic...

Bloch's theorem says that you *can* find a basis where both T (translation operator) and H (hamiltonian) are diagonal. The theorem doesn't say that you have to use that basis. You can choose a basis where H is diagonal but T is not if you want to.

Really? All formulations of Bloch's theorem I have seen, say that "the solutions are Bloch's waves". Frustrating that physicists don't use as clear terminology as mathematicians. Doesn't that sound like that all eigenstate solutions are Bloch's waves?
 
  • #22
This is how Kittel presents the Bloch's theorem. Page 167 of the eight edition (international).

F. Bloch proved the important theorem that the solutions of the Schrödinger equation for a periodic potential must be of a special form:

[tex] \psi_k(r) = u_k(r) \textrm{exp}(ik\cdot r)\quad\quad\quad\quad\quad\quad (7)[/tex]

where [itex]u_k(r)[/itex] has the period of the crystal lattice with [itex]u_k(r)=u_k(r+T)[/itex]. Here T is a translation vector of the lattice. The result (7) expresses the Bloch theorem:

The eigenfunctions of the wave equation for a periodic potential are the product of a plane wave [itex]\textrm{exp}(ik\cdot r)[/itex] times a function [itex]u_k(r)[/itex] with the periodicity of the crystal lattice.

It is difficult to understand this saying, that the solutions would not necessarily need to be Bloch waves.
 
  • #23
jostpuur said:
Really?

yes, really. For example, two Bloch waves might have different wave-vectors, but the same energy--even in one dimesion, think about a simple parabolic-looking band. The energy is a function of the momentum but the momentum is not a function of the energy.

two linear combinations of those two bloch waves would still be e-functions of the hamiltonian at the same energy, but would not be e-functions of the translation operator
 
Last edited:
  • #24
olgranpappy said:
yes, really. For example, two Bloch waves might have different wave-vectors, but the same energy--even in one dimesion, think about a simple parabolic-looking band. The energy is a function of the momentum but the momentum is not a function of the energy.

two linear combinations of those two bloch waves would still be e-functions of the hamiltonian at the same energy, but would not be e-functions of the translation operator

Somebody should explain this to Charles Kittel. I cannot be the only one, who misinterprets his formulation of the Bloch's theorem.

In fact, clearly I am not the only one. For example here http://www.tf.uni-kiel.de/matwis/amat/semi_en/kap_2/backbone/r2_1_4.html somebody explains
The Bloch theorem in essence formulates a condition that all solutions yk(r), for any periodic potential V(r) whatsoever have to meet...
and then give equations of Bloch waves.

Here http://www.iue.tuwien.ac.at/phd/smirnov/node39.html
Bloch's theorem states that the solution of equation (2.65) has the form of a plane wave multiplied by a function with the period of the Bravais lattice:

This is a very popular misunderstanding of the Bloch's theorem.
 
  • #25
jostpuur said:
Somebody should explain this to Charles Kittel. I cannot be the only one, who misinterprets his formulation of the Bloch's theorem.

In fact, clearly I am not the only one. For example here http://www.tf.uni-kiel.de/matwis/amat/semi_en/kap_2/backbone/r2_1_4.html somebody explains

and then give equations of Bloch waves.

Here http://www.iue.tuwien.ac.at/phd/smirnov/node39.html


This is a very popular misunderstanding of the Bloch's theorem.

Uh, okay. I think we understand each other, though. So there's not too much more to be said here. I'll give you Ashcroft and Mermin's statement of Bloch's Theorem (emphasis added):

"The eigenstates of the one-electron Hamiltonian [tex]H=-\hbar^2\nabla^2/2m+U(\vec r)[/tex], where [tex]U(\vec r)=U(\vec r + \vec R)[/tex] for all [tex]\vec R[/tex] in a Bravais lattive, can be chosen to have the form of a plane wave times a function with the periodicity of the Bravais lattice."

But, again, you don't have to make that choice. cheers.
 
  • #26
olgranpappy said:
Uh, okay. I think we understand each other, though. So there's not too much more to be said here. I'll give you Ashcroft and Mermin's statement of Bloch's Theorem (emphasis added):

"The eigenstates of the one-electron Hamiltonian [tex]H=-\hbar^2\nabla^2/2m+U(\vec r)[/tex], where [tex]U(\vec r)=U(\vec r + \vec R)[/tex] for all [tex]\vec R[/tex] in a Bravais lattive, can be chosen to have the form of a plane wave times a function with the periodicity of the Bravais lattice."

But, again, you don't have to make that choice. cheers.

Ok. Things like this make me feel like the original papers should be more easily available.

There's one more thing! I got the idea of the proof with matrices, but are you sure this result generalizes to the infinite dimensional spaces? Looks like, that forming linear combinations of some given eigenvectors to form new ones becomes a more delicate issue then.
 
Last edited:

What is Bloch's theorem?

Bloch's theorem is a fundamental principle in solid state physics that describes the behavior of electrons in a periodic potential, such as the potential created by a crystal lattice. It states that the wave function of an electron in a periodic potential can be written as the product of a periodic function and a plane wave, and that the energy levels of the electron are also periodic with the lattice constant.

How is Bloch's theorem related to the periodic table?

Bloch's theorem is not directly related to the periodic table, which describes the organization of elements based on their chemical and physical properties. However, the periodic potential that Bloch's theorem describes is similar to the periodicity observed in the properties of elements in the periodic table.

What are the practical applications of Bloch's theorem?

Bloch's theorem has many practical applications in materials science and technology. It is used to understand the electronic properties of materials, such as their conductivity and optical properties. It is also used in the design and development of electronic devices, such as transistors and semiconductors.

Are there any limitations to Bloch's theorem?

While Bloch's theorem is a powerful tool for understanding the behavior of electrons in a periodic potential, it does have some limitations. It assumes that the potential is perfectly periodic, which may not always be the case in real materials. It also does not take into account the effects of disorder or impurities in the material.

How does Bloch's theorem relate to other principles in physics?

Bloch's theorem is closely related to other principles in physics, such as the Heisenberg uncertainty principle and the Schrödinger equation. It also has connections to other areas of physics, such as quantum mechanics and solid state physics, and has been extended to describe the behavior of waves in other periodic systems, such as electromagnetic waves in photonic crystals.

Similar threads

Replies
2
Views
515
  • Quantum Physics
Replies
10
Views
1K
Replies
4
Views
1K
Replies
17
Views
1K
Replies
8
Views
2K
Replies
5
Views
874
Replies
6
Views
792
  • Quantum Physics
Replies
1
Views
1K
  • Quantum Physics
Replies
1
Views
102
Back
Top