Bloch wave
   HOME

TheInfoList



OR:

In
condensed matter physics Condensed matter physics is the field of physics that deals with the macroscopic and microscopic physical properties of matter, especially the solid and liquid phases which arise from electromagnetic forces between atoms. More generally, the su ...
, Bloch's theorem states that solutions to the
Schrödinger equation The Schrödinger equation is a linear partial differential equation that governs the wave function of a quantum-mechanical system. It is a key result in quantum mechanics, and its discovery was a significant landmark in the development of th ...
in a periodic potential take the form of a
plane wave In physics, a plane wave is a special case of wave or field: a physical quantity whose value, at any moment, is constant through any plane that is perpendicular to a fixed direction in space. For any position \vec x in space and any time t, ...
modulated by a
periodic function A periodic function is a function that repeats its values at regular intervals. For example, the trigonometric functions, which repeat at intervals of 2\pi radians, are periodic functions. Periodic functions are used throughout science to des ...
. The theorem is named after the physicist Felix Bloch, who discovered the theorem in 1929. Mathematically, they are written where \mathbf is position, \psi is the
wave function A wave function in quantum physics is a mathematical description of the quantum state of an isolated quantum system. The wave function is a complex-valued probability amplitude, and the probabilities for the possible results of measurements ...
, u is a
periodic function A periodic function is a function that repeats its values at regular intervals. For example, the trigonometric functions, which repeat at intervals of 2\pi radians, are periodic functions. Periodic functions are used throughout science to des ...
with the same periodicity as the crystal, the
wave vector In physics, a wave vector (or wavevector) is a vector used in describing a wave, with a typical unit being cycle per metre. It has a magnitude and direction. Its magnitude is the wavenumber of the wave (inversely proportional to the wavelength), ...
\mathbf is the crystal momentum vector, e is Euler's number, and i is the
imaginary unit The imaginary unit or unit imaginary number () is a solution to the quadratic equation x^2+1=0. Although there is no real number with this property, can be used to extend the real numbers to what are called complex numbers, using addition an ...
. Functions of this form are known as Bloch functions or Bloch states, and serve as a suitable basis for the
wave functions A wave function in quantum physics is a mathematical description of the quantum state of an isolated quantum system. The wave function is a complex-valued probability amplitude, and the probabilities for the possible results of measurements m ...
or states of electrons in
crystalline solids A crystal or crystalline solid is a solid material whose constituents (such as atoms, molecules, or ions) are arranged in a highly ordered microscopic structure, forming a crystal lattice that extends in all directions. In addition, macros ...
. Named after Swiss
physicist A physicist is a scientist who specializes in the field of physics, which encompasses the interactions of matter and energy at all length and time scales in the physical universe. Physicists generally are interested in the root or ultimate cau ...
Felix Bloch, the description of electrons in terms of Bloch functions, termed Bloch electrons (or less often ''Bloch Waves''), underlies the concept of
electronic band structure In solid-state physics, the electronic band structure (or simply band structure) of a solid describes the range of energy levels that electrons may have within it, as well as the ranges of energy that they may not have (called '' band gaps'' or ...
s. These eigenstates are written with subscripts as \psi_, where n is a discrete index, called the band index, which is present because there are many different wave functions with the same \mathbf (each has a different periodic component u). Within a band (i.e., for fixed n), \psi_ varies continuously with \mathbf, as does its energy. Also, \psi_ is unique only up to a constant
reciprocal lattice In physics, the reciprocal lattice represents the Fourier transform of another lattice (group) (usually a Bravais lattice). In normal usage, the initial lattice (whose transform is represented by the reciprocal lattice) is a periodic spatial fu ...
vector \mathbf, or, \psi_=\psi_. Therefore, the wave vector \mathbf can be restricted to the first
Brillouin zone In mathematics and solid state physics, the first Brillouin zone is a uniquely defined primitive cell in reciprocal space. In the same way the Bravais lattice is divided up into Wigner–Seitz cells in the real lattice, the reciprocal lattice ...
of the reciprocal lattice
without loss of generality ''Without loss of generality'' (often abbreviated to WOLOG, WLOG or w.l.o.g.; less commonly stated as ''without any loss of generality'' or ''with no loss of generality'') is a frequently used expression in mathematics. The term is used to indicat ...
.


Applications and consequences


Applicability

The most common example of Bloch's theorem is describing electrons in a crystal, especially in characterizing the crystal's electronic properties, such as
electronic band structure In solid-state physics, the electronic band structure (or simply band structure) of a solid describes the range of energy levels that electrons may have within it, as well as the ranges of energy that they may not have (called '' band gaps'' or ...
. However, a Bloch-wave description applies more generally to any wave-like phenomenon in a periodic medium. For example, a periodic
dielectric In electromagnetism, a dielectric (or dielectric medium) is an electrical insulator that can be polarised by an applied electric field. When a dielectric material is placed in an electric field, electric charges do not flow through the ma ...
structure in
electromagnetism In physics, electromagnetism is an interaction that occurs between particles with electric charge. It is the second-strongest of the four fundamental interactions, after the strong force, and it is the dominant force in the interactions o ...
leads to
photonic crystal A photonic crystal is an optical nanostructure in which the refractive index changes periodically. This affects the propagation of light in the same way that the structure of natural crystals gives rise to X-ray diffraction and that the atomic ...
s, and a periodic acoustic medium leads to
phononic crystal An acoustic metamaterial, sonic crystal, or phononic crystal, is a material designed to control, direct, and manipulate sound waves or phonons in gases, liquids, and solids ( crystal lattices). Sound wave control is accomplished through manipul ...
s. It is generally treated in the various forms of the dynamical theory of diffraction.


Wave vector

Suppose an electron is in a Bloch state \psi ( \mathbf ) = e^ u ( \mathbf ) , where ''u'' is periodic with the same periodicity as the crystal lattice. The actual quantum state of the electron is entirely determined by \psi, not k or ''u'' directly. This is important because k and ''u'' are ''not'' unique. Specifically, if \psi can be written as above using k, it can ''also'' be written using (k + K), where K is any
reciprocal lattice vector In physics, the reciprocal lattice represents the Fourier transform of another lattice (group) (usually a Bravais lattice). In normal usage, the initial lattice (whose transform is represented by the reciprocal lattice) is a periodic spatial fu ...
(see figure at right). Therefore, wave vectors that differ by a reciprocal lattice vector are equivalent, in the sense that they characterize the same set of Bloch states. The first Brillouin zone is a restricted set of values of k with the property that no two of them are equivalent, yet every possible k is equivalent to one (and only one) vector in the first Brillouin zone. Therefore, if we restrict k to the first Brillouin zone, then every Bloch state has a unique k. Therefore, the first Brillouin zone is often used to depict all of the Bloch states without redundancy, for example in a
band structure In solid-state physics, the electronic band structure (or simply band structure) of a solid describes the range of energy levels that electrons may have within it, as well as the ranges of energy that they may not have (called ''band gaps'' or ...
, and it is used for the same reason in many calculations. When k is multiplied by the reduced Planck's constant, it equals the electron's
crystal momentum In solid-state physics crystal momentum or quasimomentum is a momentum-like vector associated with electrons in a crystal lattice. It is defined by the associated wave vectors \mathbf of this lattice, according to :_ \equiv \hbar (where \hbar i ...
. Related to this, the
group velocity The group velocity of a wave is the velocity with which the overall envelope shape of the wave's amplitudes—known as the ''modulation'' or ''envelope'' of the wave—propagates through space. For example, if a stone is thrown into the middl ...
of an electron can be calculated based on how the energy of a Bloch state varies with k; for more details see
crystal momentum In solid-state physics crystal momentum or quasimomentum is a momentum-like vector associated with electrons in a crystal lattice. It is defined by the associated wave vectors \mathbf of this lattice, according to :_ \equiv \hbar (where \hbar i ...
.


Detailed example

For a detailed example in which the consequences of Bloch's theorem are worked out in a specific situation, see the article
Particle in a one-dimensional lattice (periodic potential) In quantum mechanics, the particle in a one-dimensional lattice is a problem that occurs in the model of a periodic crystal lattice. The potential is caused by ions in the periodic structure of the crystal creating an electromagnetic field so elec ...
.


Bloch's theorem

Bloch's theorem is as follows:


Proof of theorem


Proof with lattice periodicity


= Preliminaries: Crystal symmetries, lattice, and reciprocal lattice

= The defining property of a crystal is translational symmetry, which means that if the crystal is shifted an appropriate amount, it winds up with all its atoms in the same places. (A finite-size crystal cannot have perfect translational symmetry, but it is a useful approximation.) A three-dimensional crystal has three ''primitive lattice vectors'' a1, a2, a3. If the crystal is shifted by any of these three vectors, or a combination of them of the form n_1 \mathbf_1 + n_2 \mathbf_2 + n_3 \mathbf_3 where ''ni'' are three integers, then the atoms end up in the same set of locations as they started. Another helpful ingredient in the proof is the ''
reciprocal lattice vector In physics, the reciprocal lattice represents the Fourier transform of another lattice (group) (usually a Bravais lattice). In normal usage, the initial lattice (whose transform is represented by the reciprocal lattice) is a periodic spatial fu ...
s''. These are three vectors b1, b2, b3 (with units of inverse length), with the property that a''i'' · b''i'' = 2π, but a''i'' · b''j'' = 0 when ''i'' ≠ ''j''. (For the formula for bi, see
reciprocal lattice vector In physics, the reciprocal lattice represents the Fourier transform of another lattice (group) (usually a Bravais lattice). In normal usage, the initial lattice (whose transform is represented by the reciprocal lattice) is a periodic spatial fu ...
.)


= Lemma about translation operators

= Let \hat_ denote a translation operator that shifts every wave function by the amount (as above, ''nj'' are integers). The following fact is helpful for the proof of Bloch's theorem:


= Proof

= Finally, we are ready for the main proof of Bloch's theorem which is as follows. As above, let \hat_ denote a ''translation operator'' that shifts every wave function by the amount , where ''ni'' are integers. Because the crystal has translational symmetry, this operator commutes with the
Hamiltonian operator Hamiltonian may refer to: * Hamiltonian mechanics, a function that represents the total energy of a system * Hamiltonian (quantum mechanics), an operator corresponding to the total energy of that system ** Dyall Hamiltonian, a modified Hamiltonia ...
. Moreover, every such translation operator commutes with every other. Therefore, there is a simultaneous eigenbasis of the Hamiltonian operator and every possible \hat_ \! operator. This basis is what we are looking for. The wave functions in this basis are energy eigenstates (because they are eigenstates of the Hamiltonian), and they are also Bloch states (because they are eigenstates of the translation operators; see Lemma above).


Proof with operators

We define the translation operator \hat_\psi(\mathbf)= \psi(\mathbf+\mathbf_)= \psi(\mathbf+n_1\mathbf_1+n_2\mathbf_2+n_3\mathbf_3)= \psi(\mathbf+\mathbf \cdot \mathbf) We use the hypothesis of a mean periodic potential U(\mathbf+\mathbf_)= U(\mathbf) and the independent electron approximation with an hamiltonian \hat=\frac+U(\mathbf) Given the Hamiltonian is invariant for translations it shall commute with the translation operator hat,\hat_= 0 and the two operators shall have a common set of eigenfunctions. Therefore we start to look at the eigen-functions of the translation operator: \hat_\psi(\mathbf)=\lambda_\psi(\mathbf) Given \hat_ is an additive operator \hat_ \hat_\psi(\mathbf) = \psi(\mathbf + \mathbf \cdot \mathbf + \mathbf \cdot \mathbf) = \hat_ \psi(\mathbf) If we substitute here the eigenvalue equation and dividing both sides for \psi(\mathbf) we have \lambda_\lambda_= \lambda_ This is true for \lambda_=e^ where s \in \Complex if we use the normalization condition over a single primitive cell of volume V 1 = \int_V , \psi(\mathbf), ^2 d \mathbf = \int_V , \mathbf \psi(\mathbf), ^2 d \mathbf = , \lambda_, ^2 \int_V , \psi(\mathbf), ^2 d \mathbf and therefore 1 = , \lambda_, ^2 and s = i k where k \in \mathbb Finally \mathbf\psi(\mathbf)= \psi(\mathbf + \mathbf \cdot \mathbf ) = e^\psi(\mathbf) Which is true for a Bloch wave i.e. for \psi_(\mathbf) = e^ u_(\mathbf) with u_(\mathbf) = u_(\mathbf + \mathbf \cdot \mathbf)


Group theory proof


Velocity and effective mass of Bloch electrons

If we apply the time-independent
Schrödinger equation The Schrödinger equation is a linear partial differential equation that governs the wave function of a quantum-mechanical system. It is a key result in quantum mechanics, and its discovery was a significant landmark in the development of th ...
to the Bloch wave function we obtain \hat u_(\mathbf) = \left \frac \left( -i \nabla + \mathbf \right)^2 + U(\mathbf) \rightu_(\mathbf) = \varepsilon_ u_(\mathbf) with boundary conditions u_(\mathbf) = u_(\mathbf + \mathbf) Given this is defined in a finite volume we expect an infinite family of eigenvalues; here is a parameter of the Hamiltonian and therefore we arrive at a "continuous family" of eigenvalues \varepsilon_n(\mathbf) dependent on the continuous parameter and thus at the basic concept of an
electronic band structure In solid-state physics, the electronic band structure (or simply band structure) of a solid describes the range of energy levels that electrons may have within it, as well as the ranges of energy that they may not have (called '' band gaps'' or ...
. This shows how the effective momentum can be seen as composed of two parts, \hat_ = \left( -i \hbar \nabla + \hbar \mathbf \right), a standard momentum -i \hbar \nabla and a
crystal momentum In solid-state physics crystal momentum or quasimomentum is a momentum-like vector associated with electrons in a crystal lattice. It is defined by the associated wave vectors \mathbf of this lattice, according to :_ \equiv \hbar (where \hbar i ...
\hbar \mathbf. More precisely the
crystal momentum In solid-state physics crystal momentum or quasimomentum is a momentum-like vector associated with electrons in a crystal lattice. It is defined by the associated wave vectors \mathbf of this lattice, according to :_ \equiv \hbar (where \hbar i ...
is not a momentum but it stands for the momentum in the same way as the electromagnetic momentum in the minimal coupling, and as part of a
canonical transformation In Hamiltonian mechanics, a canonical transformation is a change of canonical coordinates that preserves the form of Hamilton's equations. This is sometimes known as form invariance. It need not preserve the form of the Hamiltonian itself. Canon ...
of the momentum. For the effective velocity we can derive For the effective mass The quantity on the right multiplied by a factor\frac is called effective mass tensor \mathbf(\mathbf) and we can use it to write a semi-classical equation for a
charge carrier In physics, a charge carrier is a particle or quasiparticle that is free to move, carrying an electric charge, especially the particles that carry electric charges in electrical conductors. Examples are electrons, ions and holes. The term i ...
in a band where \mathbf is an
acceleration In mechanics, acceleration is the rate of change of the velocity of an object with respect to time. Accelerations are vector quantities (in that they have magnitude and direction). The orientation of an object's acceleration is given by ...
. This equation is analogous to the
De Broglie wave Matter waves are a central part of the theory of quantum mechanics, being an example of wave–particle duality. All matter exhibits wave-like behavior. For example, a beam of electrons can be diffracted just like a beam of light or a water wave ...
type of approximation As an intuitive interpretation, both of the previous two equations resemble formally and are in a semi-classical analogy with the newton equation in an external
Lorentz force In physics (specifically in electromagnetism) the Lorentz force (or electromagnetic force) is the combination of electric and magnetic force on a point charge due to electromagnetic fields. A particle of charge moving with a velocity in an elect ...
.


History and related equations

The concept of the Bloch state was developed by Felix Bloch in 1928 to describe the conduction of electrons in crystalline solids. The same underlying mathematics, however, was also discovered independently several times: by
George William Hill George William Hill (March 3, 1838 – April 16, 1914) was an American astronomer and mathematician. Working independently and largely in isolation from the wider scientific community, he made major contributions to celestial mechanics and t ...
(1877), Gaston Floquet (1883), and Alexander Lyapunov (1892). As a result, a variety of nomenclatures are common: applied to
ordinary differential equations In mathematics, an ordinary differential equation (ODE) is a differential equation whose unknown(s) consists of one (or more) function(s) of one variable and involves the derivatives of those functions. The term ''ordinary'' is used in contrast ...
, it is called
Floquet theory Floquet theory is a branch of the theory of ordinary differential equations relating to the class of solutions to periodic linear differential equations of the form :\dot = A(t) x, with \displaystyle A(t) a piecewise continuous periodic function ...
(or occasionally the ''Lyapunov–Floquet theorem''). The general form of a one-dimensional periodic potential equation is Hill's equation: \frac +f(t) y=0, where ''f''(''t'') is a periodic potential. Specific periodic one-dimensional equations include the
Kronig–Penney model In quantum mechanics, the particle in a one-dimensional lattice is a problem that occurs in the model of a periodic crystal lattice. The potential is caused by ions in the periodic structure of the crystal creating an electromagnetic field so elec ...
and Mathieu's equation. Mathematically Bloch's theorem is interpreted in terms of unitary characters of a lattice group, and is applied to
spectral geometry Spectral geometry is a field in mathematics which concerns relationships between geometric structures of manifolds and spectra of canonically defined differential operators. The case of the Laplace–Beltrami operator on a closed Riemannian mani ...
.


A relevant new theory

Based on Bloch's theorem, the conventional theory of electronic states in crystals could not correctly explain genuine crystals' boundary and size effects. However, about half a century ago, the mathematical theory of periodic differential equations had some significant progress. Based on those new mathematical understandings, a recent new theory of electronic states in low dimensional systems aims to understand such effects. The new theory found that the size and boundary effects of electronic states in each specific dimension in the low-dimensional system are separated in some simple but essential cases. That is, the energies and properties of some electronic states (including but not limited to the surface states) depend only on the system boundary in that dimension. In contrast, the numbers, energies, and properties of other electronic states (they are stationary Bloch states, usually many times more) depend only on the system size in that dimension, see "A more general model: particle in a box with a period potential in Particle in a box." There is a significant difference between the band structures of Bloch waves in one-dimensional and multi-dimensional space. The Schrödinger differential equation for a one-dimensional periodic potential is an ordinary differential equation that cannot have more than two linearly independent solutions; this leads to each permitted band and each band gap existing alternatively as the energy increases. Correspondingly, a theorem in the theory of ordinary periodic differential equations limits that a boundary-dependent state is either in a band gap or at a band edge. On the other hand, the Schrödinger differential equation for a multi-dimensional periodic potential is a partial differential equation with no limitation to the number of independent solutions. As a result, the permitted bands in a multi-dimensional crystal are often overlapped. The number of band gaps in a multi-dimensional crystal is always finite. Furthermore, there are no band gaps if the potential is minimal. Correspondingly, a theorem in the theory of partial periodic differential equations limits that the energy of a boundary-dependent state in a multi-dimensional crystal must be higher or equal to the upper band edge of the relevant permitted band without giving an upper limit. Therefore, a boundary-dependent state decaying in a specific direction can have energy in the range of a permitted band of the bulk. Theoretically, such cases are rather general in multi-dimensional crystals. The very existence of the boundary-dependent states or sub-bands leads to the properties of electronic states in a simple low-dimensional system being substantially different from the properties of electronic states based on Bloch's theorem as in conventional solid-state physics. And also significantly different from what is widely believed in the solid-state physics community regarding the properties of electronic states in a low-dimensional system or finite crystal, such as ideas based on effective mass concepts. Since ''the energy of each boundary-dependent state is always higher than the energies of its relevant Bloch stationary states'' (see Particle in a box), the energy gap between occupied and vacant states in an ideal low-dimensional system of a cubic semiconductor is smaller than the band gap of the bulk semiconductor. An essential difference between a bulk metal and a bulk semiconductor would not be so clear when the size of the crystal becomes small enough, so the effects of the boundary-dependent electronic states become more significant. A low-dimensional system of a cubic semiconductor crystal could even have the electrical conductivity properties of metal. As a one-electron and non-spin theory, this new theory is more general than the conventional theory of electronic states in crystals based on Bloch's theorem and the well-known " Particle in a box" model in quantum mechanics: The new theory contains the physics cores that the each of the two classical theories has separately: That is, the former's potential periodicity and the latter's boundary and finite size.


See also

*
Bloch oscillations Bloch oscillation is a phenomenon from solid state physics. It describes the oscillation of a particle (e.g. an electron) confined in a periodic potential when a constant force is acting on it. It was first pointed out by Felix Bloch and Clarence Z ...
*
Bloch wave – MoM method A frequency-selective surface (FSS) is any thin, repetitive surface (such as the screen on a microwave oven) designed to reflect, transmit or absorb electromagnetic fields based on the frequency of the field. In this sense, an FSS is a type of ...
*
Electronic band structure In solid-state physics, the electronic band structure (or simply band structure) of a solid describes the range of energy levels that electrons may have within it, as well as the ranges of energy that they may not have (called '' band gaps'' or ...
* Nearly free electron model *
Periodic boundary conditions Periodic boundary conditions (PBCs) are a set of boundary conditions which are often chosen for approximating a large (infinite) system by using a small part called a ''unit cell''. PBCs are often used in computer simulations and mathematical mod ...
*
Symmetries in quantum mechanics Symmetries in quantum mechanics describe features of spacetime and particles which are unchanged under some transformation, in the context of quantum mechanics, relativistic quantum mechanics and quantum field theory, and with applications in th ...
* Tight-binding model * Wannier function


References


Further reading

* * * * * * * {{Refend Quantum states Condensed matter physics