1
$\begingroup$

We use the Bloch theorem and requirements of continuity of the wave functions to get the relation $E \times k$ for the bands in the 1D model of Kronig Penney, that also shows the band gaps.

All this is done without any assumption about which are the individual quantum states. They are defined after the imposition of the Born-von Karman boundary condition, resulting in equally $k$-spaced states. But could they be less dense for small $k$'s and denser at the extremities of the Brillouin zone for example? Or some contradiction arises in this case?

My question is: What empirical information is related to BvK? Why is necessary to postulate that the Bloch waves must have a $Na$ periodicity for the same $N$ and all $k$'s?

$\endgroup$
2
  • $\begingroup$ You don't have to postulate these boundary conditions, but they greatly simplify the math. Are you specifically looking for a deeper answer than that? $\endgroup$
    – KF Gauss
    Commented Jan 8, 2023 at 4:02
  • 1
    $\begingroup$ @TobiasFünke the mentioned question says that without periodic boundary conditions, it is not possible to proof the Bloch theorem. If it is true it answers my question, but I have to understand the arguments. In my understanding, the combination of $[T_r , H] = 0$ with the property that operators that commutes have the same basis of eigenvectors, is enough to proof it for a Bravais (infinite) lattice. $\endgroup$ Commented Jan 8, 2023 at 15:18

1 Answer 1

0
$\begingroup$

Boundary conditions are necessary to provide meaning to states and operators. In particular, in the case of a periodic solid, an alternative to Born-von Karman (BvK) boundary conditions would be working with an infinite lattice from the beginning. However, such a choice would make the corresponding wavefunctions not element of the $L_2({\mathbb R}^3)$ Hilbert space. If we renounce to periodicity, Bloch's theorem canot be used.

𝑁𝑎 periodicity of the wavefunctions for the same 𝑁 and all 𝑘's is required to ensure the self-adjointness of the Hamiltonian (precisely for the same reason continuity of wavefunctions is requested).

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.