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 State of matter, phases, that arise from electromagnetic forces between atoms and elec ...
, Bloch's theorem states that solutions to the
Schrödinger equation The Schrödinger equation is a partial differential equation that governs the wave function of a non-relativistic quantum-mechanical system. Its discovery was a significant landmark in the development of quantum mechanics. It is named after E ...
in a periodic potential can be expressed as
plane wave In physics Physics is the scientific study of matter, its Elementary particle, fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of ...
s modulated by
periodic function A periodic function, also called a periodic waveform (or simply periodic wave), is a function that repeats its values at regular intervals or periods. The repeatable part of the function or waveform is called a ''cycle''. For example, the t ...
s. The theorem is named after the Swiss physicist
Felix Bloch Felix Bloch (; ; 23 October 1905 – 10 September 1983) was a Swiss-American physicist who shared the 1952 Nobel Prize in Physics with Edward Mills Purcell "for their development of new methods for nuclear magnetic precision measurements and di ...
, who discovered the theorem in 1929. Mathematically, they are written where \mathbf is position, \psi is the
wave function In quantum physics, a wave function (or wavefunction) is a mathematical description of the quantum state of an isolated quantum system. The most common symbols for a wave function are the Greek letters and (lower-case and capital psi (letter) ...
, u is a
periodic function A periodic function, also called a periodic waveform (or simply periodic wave), is a function that repeats its values at regular intervals or periods. The repeatable part of the function or waveform is called a ''cycle''. For example, the t ...
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 The number is a mathematical constant approximately equal to 2.71828 that is the base of the natural logarithm and exponential function. It is sometimes called Euler's number, after the Swiss mathematician Leonhard Euler, though this can ...
, and i is the
imaginary unit The imaginary unit or unit imaginary number () is a mathematical constant that is a solution to the quadratic equation Although there is no real number with this property, can be used to extend the real numbers to what are called complex num ...
. Functions of this form are known as Bloch functions or Bloch states, and serve as a suitable basis for the wave functions or
states State most commonly refers to: * State (polity), a centralized political organization that regulates law and society within a territory **Sovereign state, a sovereign polity in international law, commonly referred to as a country **Nation state, a ...
of electrons in crystalline solids. 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 Reciprocal lattice is a concept associated with solids with translational symmetry which plays a major role in many areas such as X-ray and electron diffraction as well as the energies of electrons in a solid. It emerges from the Fourier tran ...
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 (named after Léon Brillouin) is a uniquely defined primitive cell in reciprocal space Reciprocal lattice is a concept associated with solids with translational symmetry whic ...
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. 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 Insulator (electricity), electrical insulator that can be Polarisability, polarised by an applied electric field. When a dielectric material is placed in an electric field, electric ...
structure in
electromagnetism In physics, electromagnetism is an interaction that occurs between particles with electric charge via electromagnetic fields. The electromagnetic force is one of the four fundamental forces of nature. It is the dominant force in the interacti ...
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 Crystal structure, natural crystals gives rise to X-ray crystallograp ...
s, and a periodic acoustic medium leads to phononic crystals. It is generally treated in the various forms of the
dynamical theory of diffraction The dynamical theory of diffraction describes the interaction of waves with a regular lattice. The wave fields traditionally described are X-rays, neutrons or electrons and the regular lattice are atomic crystal structures or nanometer-scale mul ...
.


Wave vector

Suppose an electron is in a Bloch state \psi ( \mathbf ) = e^ u ( \mathbf ) , where is periodic with the same periodicity as the crystal lattice. The actual quantum state of the electron is entirely determined by \psi, not or directly. This is important because and are ''not'' unique. Specifically, if \psi can be written as above using , it can ''also'' be written using , where is any
reciprocal lattice vector Reciprocal lattice is a concept associated with solids with translational symmetry which plays a major role in many areas such as X-ray and electron diffraction as well as the energies of electrons in a solid. It emerges from the Fourier tran ...
(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 with the property that no two of them are equivalent, yet every possible is equivalent to one (and only one) vector in the first Brillouin zone. Therefore, if we restrict to the first Brillouin zone, then every Bloch state has a unique . Therefore, the first Brillouin zone is often used to depict all of the Bloch states without redundancy, for example in a band structure, and it is used for the same reason in many calculations. When is multiplied by the
reduced Planck constant The Planck constant, or Planck's constant, denoted by h, is a fundamental physical constant of foundational importance in quantum mechanics: a photon's energy is equal to its frequency multiplied by the Planck constant, and the wavelength of a ...
, it equals the electron's
crystal momentum In solid-state physics, crystal momentum or quasimomentum is a Momentum#Momentum in quantum mechanics, momentum-like Vector (geometric), vector associated with electrons in a Crystal structure, crystal lattice. It is defined by the associated Rec ...
. 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 (waves), envelope'' of the wave—propagates through space. For example, if a stone is thro ...
of an electron can be calculated based on how the energy of a Bloch state varies with ; for more details see crystal momentum.


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).


Statement

A second and equivalent way to state the theorem is the following


Proof


Using lattice periodicity

Bloch's theorem, being a statement about lattice periodicity, all the symmetries in this proof are encoded as translation symmetries of the wave function itself.


Using operators

In this proof all the symmetries are encoded as commutation properties of the translation operators


Using group theory

Apart from the group theory technicalities this proof is interesting because it becomes clear how to generalize the Bloch theorem for groups that are not only translations. This is typically done for
space group In mathematics, physics and chemistry, a space group is the symmetry group of a repeating pattern in space, usually in three dimensions. The elements of a space group (its symmetry operations) are the rigid transformations of the pattern that ...
s which are a combination of a
translation Translation is the communication of the semantics, meaning of a #Source and target languages, source-language text by means of an Dynamic and formal equivalence, equivalent #Source and target languages, target-language text. The English la ...
and a
point group In geometry, a point group is a group (mathematics), mathematical group of symmetry operations (isometry, isometries in a Euclidean space) that have a Fixed point (mathematics), fixed point in common. The Origin (mathematics), coordinate origin o ...
and it is used for computing the band structure, spectrum and specific heats of crystals given a specific crystal group symmetry like FCC or BCC and eventually an extra basis. In this proof it is also possible to notice how it is key that the extra point group is driven by a symmetry in the effective potential but it shall commute with the Hamiltonian. In the generalized version of the Bloch theorem, the Fourier transform, i.e. the wave function expansion, gets generalized from a
discrete Fourier transform In mathematics, the discrete Fourier transform (DFT) converts a finite sequence of equally-spaced Sampling (signal processing), samples of a function (mathematics), function into a same-length sequence of equally-spaced samples of the discre ...
which is applicable only for cyclic groups, and therefore translations, into a character expansion of the wave function where the characters are given from the specific finite
point group In geometry, a point group is a group (mathematics), mathematical group of symmetry operations (isometry, isometries in a Euclidean space) that have a Fixed point (mathematics), fixed point in common. The Origin (mathematics), coordinate origin o ...
. Also here is possible to see how the characters (as the invariants of the irreducible representations) can be treated as the fundamental building blocks instead of the irreducible representations themselves.


Velocity and effective mass

If we apply the time-independent
Schrödinger equation The Schrödinger equation is a partial differential equation that governs the wave function of a non-relativistic quantum-mechanical system. Its discovery was a significant landmark in the development of quantum mechanics. It is named after E ...
to the Bloch wave function we obtain \hat_\mathbf u_\mathbf(\mathbf) = \left \frac \left( -i \nabla + \mathbf \right)^2 + U(\mathbf) \rightu_\mathbf(\mathbf) = \varepsilon_\mathbf u_\mathbf(\mathbf) with boundary conditions u_\mathbf(\mathbf) = u_\mathbf(\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. This shows how the effective momentum can be seen as composed of two parts, \hat_\text = -i \hbar \nabla + \hbar \mathbf , a standard momentum -i \hbar \nabla and a crystal momentum \hbar \mathbf. More precisely the crystal momentum is not a momentum but it stands for the momentum in the same way as the electromagnetic momentum in the
minimal coupling In analytical mechanics and quantum field theory, minimal coupling refers to a coupling between fields which involves only the charge distribution and not higher multipole moments of the charge distribution. This minimal coupling is in contrast to, ...
, 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''. Although Hamilton's equations are preserved, it need not ...
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 solid state 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. ...
in a band where \mathbf is an
acceleration In mechanics, acceleration is the Rate (mathematics), rate of change of the velocity of an object with respect to time. Acceleration is one of several components of kinematics, the study of motion. Accelerations are Euclidean vector, vector ...
. This equation is analogous to the
de Broglie wave Matter waves are a central part of the theory of quantum mechanics, being half of wave–particle duality. At all scales where measurements have been practical, matter exhibits wave-like behavior. For example, a beam of electrons can be diffract ...
type of approximation As an intuitive interpretation, both of the previous two equations resemble formally and are in a semi-classical analogy with
Newton's second law Newton's laws of motion are three physical laws that describe the relationship between the motion of an object and the forces acting on it. These laws, which provide the basis for Newtonian mechanics, can be paraphrased as follows: # A body re ...
for an electron in an external
Lorentz force In electromagnetism, the Lorentz force is the force exerted on a charged particle by electric and magnetic fields. It determines how charged particles move in electromagnetic environments and underlies many physical phenomena, from the operation ...
.


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 (DE) dependent on only a single independent variable. As with any other DE, its unknown(s) consists of one (or more) function(s) and involves the derivatives ...
, 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 x\in and \displaystyle A(t) \in being a piecewise continu ...
(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 is a periodic potential. Specific periodic one-dimensional equations include the Kronig–Penney model 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.


See also

* Bloch oscillations * Bloch wave – MoM method *
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 * Tight-binding model * Wannier function


References


Further reading

* * * * * {{Authority control Eponymous theorems of physics Theorems in quantum mechanics Condensed matter physics