Counter example to the Bloch's theorem?

In summary: I don't know how to put this delicately.Reilly Atkinson says that a potential that is infinite over finite distance will not permit wave propagation. In summary, the potential does not have a solution.
  • #1
jostpuur
2,116
19
[tex]
V(x) = \left\{\begin{array}{ll}
0, & \exists n\in\mathbb{Z},\; x\in [2nL, (2n+1)L]\\
\infty, &\exists n\in\mathbb{Z},\; x\in\; ](2n-1)L, 2nL[\\
\end{array}\right.
[/tex]

This is a periodic potential. L is some constant. Is a solution

[tex]
\psi(x) = \chi_{[0,L]}(x)\;\sin\big(\frac{\pi x}{L}\big)
[/tex]

of the Schrödinger's equation

[tex]
\Big(-\frac{\hbar^2}{2m}\partial_x^2 + V(x)\Big)\psi(x) = E\psi(x)
[/tex]

a counter example to the Bloch's theorem?

[tex]\chi_{[0,L]}[/tex] is a characteristic function, 1 when [tex]x\in [0,L][/tex] and 0 otherwise.
 
Physics news on Phys.org
  • #2
A potential that is infinite over finite distance will not permit wave propagation.
 
  • #3
To add to marcusl's comment, the thrm requires the DE coefficients, potential for example, to be finite and well behaved.

If you make your barriers very high but finite, then Bloch will apply.
Regards,
Reilly Atkinson
 
  • #4
I have never seen a rigorous formulation of the Bloch's theorem, that would actually say what we need to assume. But the idea behind the Bloch's theorem is that when two operators (satisfying some conditions, of which I'm not fully sure) commute, then there is a common eigenbasis (and I'm not sure what the basis means either. It's not necessarily Hilbert space basis for sure...). The smoothness of some functions doesn't seem to be the most important part in this reasoning, but instead more abstract properties, like self-adjointness and commutativity.

In my example the translation operator commutes with the H.

If the periodic part satisfies

[tex]
u(x + 2L) = u(x),
[/tex]

nothing yet would prevent it from satisfying

[tex]
u(x) = 0,\quad x\in [(2n-1)L, 2nL]
[/tex]

too. So one might think that in my example we should still have a basis of Bloch waves

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

with this kind of periodic parts?
 
  • #5
My first post doesn't make very clear what precisely is the Hamiltonian operator, because the infinity business is a little bit vague. I can formulate the problem more rigorously too. Basically we define the domain of the operators by hand like this

[tex]
D = \{\psi\in\mathbb{C}^{\mathbb{R}}\;|\;\psi(x)=0,\;x\in [(2n-1)L,2nL],\quad \exists\psi''(x),\;x\in ]2nL,(2n+1)L[\}
[/tex]

Then the Schrödinger's equation is

[tex]
-\frac{\hbar^2}{2m}\partial_x^2 \psi = E\psi,\quad\quad \psi\in D.
[/tex]

The translation operator

[tex]
\psi\mapsto T_{2L}\psi,\quad (T_{2L}\psi)(x) = \psi(x + 2L)
[/tex]

commutes with the Hamiltonian operator, and on the other hand the intersection of the eigenstates of the [tex]T_{2L}[/tex] with the D is

[tex]
\{e^{Ax}u(x)\;|\; u(x+2L)=u(x),\quad u(x)=0,\; x\in [(2n-1)L,2nL]\}.
[/tex]

Naturally we demand A to be purely imaginary for physical solutions.

Shouldn't we have a common basis for the Hamiltonian and translation operators now?
 
Last edited:
  • #6
Sorry, you've examined the spatial behavior of propagating waves if they exist but you haven't looked at whether they can propagate in this case. To do it properly, examine the wave function solutions for the periodic square potential as you carefully take the limit [tex]V_0\rightarrow 0[/tex]. You'll find that the wave amplitudes, which you don't address in your posts, go to zero as soon as you cross the boundaries at 0 and L. In the region 0<x<L between the boundaries where V=0, the solutions are sinusoidal--this is just the familiar infinite well.

The only "exception" to this behavior is a periodic delta function potential, where Bloch waves do propagate. It's not truly an exception, however, because the delta "function" is very special--it's not a function, and although it is infinitely tall it has no width, for instance. Because it's area is unity, waves can tunnel through. They cannot tunnel through your potential.

Bloch waves are derived in Walt Harrison's book "Solid State Theory." I can look for other references in my bookshelf tomorrow at work.
 
  • #7
It should be part of the definition of D that its members are required to be continuous also at the points nL. I forgot that part.
 
  • #8
You keep taking snippets of math out of context and saying "see, shouldn't that work?" E.g.,
jostpuur said:
...
If the periodic part satisfies

[tex]
u(x + 2L) = u(x),
[/tex]

nothing yet would prevent it from satisfying

[tex]
u(x) = 0,\quad x\in [(2n-1)L, 2nL]
[/tex]

too. So one might think that in my example we should still have a basis of Bloch waves

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

with this kind of periodic parts?

Work the problem! From start to finish! If you still get propagating Bloch wave solutions instead of infinite square potential solutions, come back and we'll help you find your error.
 
  • #9
I don't believe there are Bloch waves for these infinitely high periodic barriers (except the trivial ones with k=0).

The problem is that I don't understand why there are Bloch waves with finite periodic barriers either. If I ask why the solutions are Bloch waves, the answer is "because the translation and Hamilton's operators commute". Well now I have this Hamilton's operator with the infinite barriers, which is commuting with the translation operator, and I'm not getting Bloch waves as solutions. The standard response is "of course not, you have infinite barriers there". Well, why are we supposed to have the Bloch waves with finite barriers then? The proof was not supposed to be based on the assumption that the barriers are finite, but on the assumption that Hamilton's operator and translation operator commute!

I'm trying to understand the Bloch's theorem, and I don't want to fool myself into believing that I would be understanding something that I really don't. This example with the infinite barriers is making this very tricky. Not everything seems to be making sense...
 
  • #10
Ok, I think you are looking for some insight to complement the mathematics, which says that periodic Bloch wave solutions must result from the translational symmetry properties of the potential.

If we imagine turning the barrier height V0 smoothly down towards zero, then the solutions must smoothly turn into free electron plane waves. For non-zero but small V0, then, it is reasonable to expect that the wavefunctions are mostly plane waves [not any k but specifically those which are commensurate with the lattice spacing], modified by some periodic perturbation due to the potential. This is the wave

[tex]\{e^{ik\dotr}u(x)[/tex]

where u is the Bloch function whose form depends on the shape of the periodic potential. Harrison has a nice discussion and an illustration on p. 59 of "Solid State Theory."

So we see intuitively that both parts of the solution have the periodicity that is predicted/required by group theory and symmetry. It is maybe plausible to expect the same behavior holds for strong potentials, too. This is where the mathematics you described provides a definitive yes answer.
 
  • #11
Bloch's Thrm is like a subset of Floquet's Thrm, first published in the in 1880's .It tells us that any second order DE equation with periodic coefficients, will have a periodic solution: cofficients must be measureable and Lebesgue integrable within the basic periodic interval.

The infinite barriers don't obey the Floquet conditions( finite barriers do), but still admit many periodic solutions. Suppose that the potential is periodic,V(x) = V(x+d). Suppose it is 0 from x=0 to x=d, 2d to 3d,... and infinite otherwise. Let W(x) be a solution in the 0-d interval, say
W0= sin( pi x/d). Then for any integer N, W0((2N pi)d+x), 0<x<d , 0 otherwise. Thus there are many periodic solutions with the infinite barriers.

Lower the barriers, and the solutions under the barriers will be given terms of the form exp(+/- ax), where a is a constant, a will be the same for all the barriers -- provided said barriers are identical. Try to work out the solutions of the periodic finite barrier problem. The key is to formulate the continuity/ boundary conditions. Much will become clear.

Think about a cork floating in the waves of a speed boat, or whatever. There's an understandable periodic potential at work.
Regards,
Reilly Atkinson
 
  • #12
oops, typo above

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

What is Bloch's theorem?

Bloch's theorem is a fundamental principle in solid state physics that states that the wave function of an electron in a crystal lattice can be written as the product of a periodic function and a plane wave.

What is a counter example to Bloch's theorem?

A counter example to Bloch's theorem is a system in which the wave function of an electron in a crystal lattice cannot be written as the product of a periodic function and a plane wave.

Why is a counter example to Bloch's theorem significant?

A counter example to Bloch's theorem challenges our understanding of the behavior of electrons in a crystal lattice and may require the development of new theories to explain it.

What are some known counter examples to Bloch's theorem?

Some examples of systems that violate Bloch's theorem include disordered or amorphous structures, systems with magnetic fields, and systems with impurities or defects.

How does a counter example to Bloch's theorem impact current research in solid state physics?

A counter example to Bloch's theorem can lead to new discoveries and advancements in the understanding of the electronic properties of materials, as well as potential applications in technology and engineering.

Similar threads

  • Quantum Physics
Replies
10
Views
1K
Replies
2
Views
517
  • Quantum Physics
Replies
19
Views
1K
Replies
3
Views
285
  • Quantum Physics
Replies
1
Views
106
Replies
2
Views
652
  • Quantum Physics
Replies
17
Views
752
  • Quantum Physics
Replies
31
Views
3K
Replies
4
Views
1K
Replies
1
Views
579
Back
Top