شبكة تبادلية Reciprocal lattice

The computer-generated reciprocal lattice of a fictional monoclinic 3D crystal.

A two-dimensional crystal and its 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 transform of the lattice associated with the arrangement of the atoms. The direct lattice or real lattice is a periodic function in physical space, such as a crystal system (usually a Bravais lattice). The reciprocal lattice exists in the mathematical space of spatial frequencies or wavenumbers k, known as reciprocal space or k space; it is the dual of physical space considered as a vector space. In other words, the reciprocal lattice is the sublattice which is dual to the direct lattice.

The reciprocal lattice is the set of all vectors $\mathbf {G} _{m}$ , that are wavevectors k of plane waves in the Fourier series of a spatial function whose periodicity is the same as that of a direct lattice خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{R}_n} . Each plane wave in this Fourier series has the same phase or phases that are differed by multiples of خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2\pi} , at each direct lattice point (so essentially same phase at all the direct lattice points).

The reciprocal lattice of a reciprocal lattice is equivalent to the original direct lattice, because the defining equations are symmetrical with respect to the vectors in real and reciprocal space. Mathematically, direct and reciprocal lattice vectors represent covariant and contravariant vectors, respectively.

The Brillouin zone is a Wigner–Seitz cell of the reciprocal lattice.

Wave-based description

Adsorbed species on the surface with 1×2 superstructure give rise to additional spots in low-energy electron diffraction (LEED).

Reciprocal space

Reciprocal space (also called $k$ -space) provides a way to visualize the results of the Fourier transform of a spatial function. It is similar in role to the frequency domain arising from the Fourier transform of a time dependent function; reciprocal space is a space over which the Fourier transform of a spatial function is represented at spatial frequencies or wavevectors of plane waves of the Fourier transform. The domain of the spatial function itself is often referred to as spatial domain or real space. In physical applications, such as crystallography, both real and reciprocal space will often each be two or three dimensional. Whereas the number of spatial dimensions of these two associated spaces will be the same, the spaces will differ in their quantity dimension, so that when the real space has the dimension length (L), its reciprocal space will have inverse length, so L⁻¹ (the reciprocal of length).

Reciprocal space comes into play regarding waves, both classical and quantum mechanical. Because a sinusoidal plane wave with unit amplitude can be written as an oscillatory term خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \cos(kx - \omega t + \varphi_0)} , with initial phase خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varphi_0} , angular wavenumber خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle k} and angular frequency خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega} , it can be regarded as a function of both خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle k} and $x$ (and the time-varying part as a function of both خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega} and خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle t} ). This complementary role of خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle k} and $x$ leads to their visualization within complementary spaces (the real space and the reciprocal space). The spatial periodicity of this wave is defined by its wavelength $\lambda$ , where $k\lambda =2\pi$ ; hence the corresponding wavenumber in reciprocal space will be $k=2\pi /\lambda$ .

In three dimensions, the corresponding plane wave term becomes $\cos(\mathbf {k} \cdot \mathbf {r} -\omega t+\varphi _{0})$ , which simplifies to $\cos(\mathbf {k} \cdot \mathbf {r} +\varphi )$ at a fixed time $t$ , where $\mathbf {r}$ is the position vector of a point in real space and now $\mathbf {k} =2\pi \mathbf {e} /\lambda$ is the wavevector in the three dimensional reciprocal space. (The magnitude of a wavevector is called wavenumber.) The constant $\varphi$ is the phase of the wavefront (a plane of a constant phase) through the origin $\mathbf {r} =0$ at time $t$ , and $\mathbf {e}$ is a unit normal vector to this wavefront. The wavefronts with phases $\varphi +(2\pi )n$ , where $n$ represents any integer, comprise a set of parallel planes, equally spaced by the wavelength $\lambda$ .

Reciprocal lattice

In general, a geometric lattice is an infinite, regular array of vertices (points) in space, which can be modelled vectorially as a Bravais lattice. Some lattices may be skew, which means that their primary lines may not necessarily be at right angles. In reciprocal space, a reciprocal lattice is defined as the set of wavevectors $\mathbf {k}$ of plane waves in the Fourier series of any function $f(\mathbf {r} )$ whose periodicity is compatible with that of an initial direct lattice in real space. Equivalently, a wavevector is a vertex of the reciprocal lattice if it corresponds to a plane wave in real space whose phase at any given time is the same (actually differs by $(2\pi )n$ with an integer $n$ ) at every direct lattice vertex.

One heuristic approach to constructing the reciprocal lattice in three dimensions is to write the position vector of a vertex of the direct lattice as $\mathbf {R} =n_{1}\mathbf {a} _{1}+n_{2}\mathbf {a} _{2}+n_{3}\mathbf {a} _{3}$ , where the $n_{i}$ are integers defining the vertex and the $\mathbf {a} _{i}$ are linearly independent primitive translation vectors (or shortly called primitive vectors) that are characteristic of the lattice. There is then a unique plane wave (up to a factor of negative one), whose wavefront through the origin $\mathbf {R} =0$ contains the direct lattice points at $\mathbf {a} _{2}$ and $\mathbf {a} _{3}$ , and with its adjacent wavefront (whose phase differs by $2\pi$ or $-2\pi$ from the former wavefront passing the origin) passing through $\mathbf {a} _{1}$ . Its angular wavevector takes the form $\mathbf {b} _{1}=2\pi \mathbf {e} _{1}/\lambda _{1}$ , where $\mathbf {e} _{1}$ is the unit vector perpendicular to these two adjacent wavefronts and the wavelength $\lambda _{1}$ must satisfy $\lambda _{1}=\mathbf {a} _{1}\cdot \mathbf {e} _{1}$ , means that $\lambda _{1}$ is equal to the distance between the two wavefronts. Hence by construction $\mathbf {a} _{1}\cdot \mathbf {b} _{1}=2\pi$ and $\mathbf {a} _{2}\cdot \mathbf {b} _{1}=\mathbf {a} _{3}\cdot \mathbf {b} _{1}=0$ .

Cycling through the indices in turn, the same method yields three wavevectors $\mathbf {b} _{j}$ with $\mathbf {a} _{i}\cdot \mathbf {b} _{j}=2\pi \,\delta _{ij}$ , where the Kronecker delta $\delta _{ij}$ equals one when $i=j$ and is zero otherwise. The $\mathbf {b} _{j}$ comprise a set of three primitive wavevectors or three primitive translation vectors for the reciprocal lattice, each of whose vertices takes the form $\mathbf {G} =m_{1}\mathbf {b} _{1}+m_{2}\mathbf {b} _{2}+m_{3}\mathbf {b} _{3}$ , where the $m_{j}$ are integers. The reciprocal lattice is also a Bravais lattice as it is formed by integer combinations of the primitive vectors, that are $\mathbf {b} _{1}$ , $\mathbf {b} _{2}$ , and $\mathbf {b} _{3}$ in this case. Simple algebra then shows that, for any plane wave with a wavevector $\mathbf {G}$ on the reciprocal lattice, the total phase shift $\mathbf {G} \cdot \mathbf {R}$ between the origin and any point $\mathbf {R}$ on the direct lattice is a multiple of $2\pi$ (that can be possibly zero if the multiplier is zero), so the phase of the plane wave with $\mathbf {G}$ will essentially be equal for every direct lattice vertex, in conformity with the reciprocal lattice definition above. (Although any wavevector $\mathbf {G}$ on the reciprocal lattice does always take this form, this derivation is motivational, rather than rigorous, because it has omitted the proof that no other possibilities exist.)

The Brillouin zone is a primitive cell (more specifically a Wigner–Seitz cell) of the reciprocal lattice, which plays an important role in solid state physics due to Bloch's theorem. In pure mathematics, the dual space of linear forms and the dual lattice provide more abstract generalizations of reciprocal space and the reciprocal lattice.

Mathematical description

Illustration of a real-space lattice, with plane waves whose wave-vectors are from the reciprocal lattice are overlaid. A real space 2D lattice (red dots) with primitive vectors

a_{1}

and خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_2} are shown by blue and green arrows respectively. Plane waves of the form خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle e^{iG\cdot r}} are plotted. From this we see that when خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} is any integer combination of reciprocal lattice vector basis خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle b_1} and خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle b_2} (i.e. any reciprocal lattice vector), the resulting plane waves have the same periodicity of the lattice – that is that any translation from point خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle r} (shown orange) to a point خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle R+r} (خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} shown red), the value of the plane wave is the same. These plane waves can be added together and the above relation will still apply.

Assuming a three-dimensional Bravais lattice and labelling each lattice vector (a vector indicating a lattice point) by the subscript خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle n = (n_1, n_2, n_3)} as 3-tuple of integers,

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{R}_n = n_1 \mathbf{a}_1 + n_2 \mathbf{a}_2 + n_3 \mathbf{a}_3} where خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle n_1, n_2, n_3 \in \mathbb{Z}}

where خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{Z}} is the set of integers and خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{a}_i} is a primitive translation vector or shortly primitive vector. Taking a function خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(\mathbf{r})} where خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{r}} is a position vector from the origin خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{R}_n = 0} to any position, if خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(\mathbf{r})} follows the periodicity of this lattice, e.g. the function describing the electronic density in an atomic crystal, it is useful to write خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(\mathbf{r})} as a multi-dimensional Fourier series^{[broken anchor]}

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_m f_m e^{i \mathbf{G}_m \cdot \mathbf{r}} = f\left(\mathbf{r}\right) }

where now the subscript خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle m = (m_1, m_2, m_3)} , so this is a triple sum.

As خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(\mathbf{r})} follows the periodicity of the lattice, translating خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{r}} by any lattice vector خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{R}_n} we get the same value, hence

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(\mathbf{r} + \mathbf{R}_n) = f(\mathbf{r}).}

Expressing the above instead in terms of their Fourier series we have خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_m f_m e^{i \mathbf{G}_m \cdot \mathbf{r}} = \sum_m f_m e^{i \mathbf{G}_m \cdot (\mathbf{r} + \mathbf{R}_n)} = \sum_m f_m e^{i \mathbf{G}_m \cdot \mathbf{R}_n} \, e^{i \mathbf{G}_m \cdot \mathbf{r}}. }

Because equality of two Fourier series implies equality of their coefficients, خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle e^{i \mathbf{G}_m \cdot \mathbf{R}_n} = 1} , which only holds when

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{G}_m \cdot \mathbf{R}_n = 2\pi N} where خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle N \in \mathbb{Z}.}

Mathematically, the reciprocal lattice is the set of all vectors خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{G}_m} , that are wavevectors of plane waves in the Fourier series of a spatial function whose periodicity is the same as that of a direct lattice as the set of all direct lattice point position vectors خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{R}_n} , and خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{G}_m} satisfy this equality for all خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{R}_n} . Each plane wave in the Fourier series has the same phase (actually can be differed by a multiple of خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2\pi} ) at all the lattice point خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{R}_n} .

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{G}_m} can be chosen in the form of خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{G}_m = m_1 \mathbf{b}_1 + m_2 \mathbf{b}_2 + m_3 \mathbf{b}_3} where خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{a}_i \cdot \mathbf{b}_j = 2\pi \, \delta_{ij}} . With this form, the reciprocal lattice as the set of all wavevectors خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{G}_m} for the Fourier series of a spatial function which periodicity follows خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{R}_n} , is itself a Bravais lattice as it is formed by integer combinations of its own primitive translation vectors خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left(\mathbf{b_{1}}, \mathbf{b}_2, \mathbf{b}_3\right)} , and the reciprocal of the reciprocal lattice is the original lattice, which reveals the Pontryagin duality of their respective vector spaces. (There may be other form of خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{G}_m} . Any valid form of خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{G}_m} results in the same reciprocal lattice.)

Two dimensions

For an infinite two-dimensional lattice, defined by its primitive vectors خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left(\mathbf{a}_1, \mathbf{a}_2\right)} , its reciprocal lattice can be determined by generating its two reciprocal primitive vectors, through the following formulae,

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{G}_m = m_1 \mathbf{b}_1 + m_2 \mathbf{b}_2}

where خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle m_i} is an integer and

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \mathbf{b}_1 &= 2\pi \frac{-\mathbf{Q} \, \mathbf{a}_2}{-\mathbf{a}_1 \cdot \mathbf{Q} \, \mathbf{a}_2} = 2\pi \frac{ \mathbf{Q} \, \mathbf{a}_2}{ \mathbf{a}_1 \cdot \mathbf{Q} \, \mathbf{a}_2} \\[8pt] \mathbf{b}_2 &= 2\pi \frac{ \mathbf{Q} \, \mathbf{a}_1}{ \mathbf{a}_2 \cdot \mathbf{Q} \, \mathbf{a}_1} \end{align}}

Here خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{Q}} represents a 90 degree rotation matrix, i.e. a quarter turn. The anti-clockwise rotation and the clockwise rotation can both be used to determine the reciprocal lattice: If خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{Q}} is the anti-clockwise rotation and $\mathbf {Q'}$ is the clockwise rotation, خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{Q}\,\mathbf{v}=-\mathbf{Q'}\,\mathbf{v}} for all vectors خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{v}} . Thus, using the permutation

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sigma = \begin{pmatrix} 1 & 2 \\ 2 & 1 \end{pmatrix}}

we obtain

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{b}_n = 2\pi \frac{ \mathbf{Q} \, \mathbf{a}_{\sigma(n)}}{ \mathbf{a}_n \cdot \mathbf{Q} \, \mathbf{a}_{\sigma(n)}}=2\pi \frac{ \mathbf{Q}' \, \mathbf{a}_{\sigma(n)}}{ \mathbf{a}_n \cdot \mathbf{Q}' \, \mathbf{a}_{\sigma(n)}}. }

Notably, in a 3D space this 2D reciprocal lattice is an infinitely extended set of Bragg rods—described by Sung et al.^[1]

Three dimensions

For an infinite three-dimensional lattice خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{R}_n = n_1 \mathbf{a}_1 + n_2 \mathbf{a}_2 + n_3 \mathbf{a}_3} , defined by its primitive vectors خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left(\mathbf{a_{1}}, \mathbf{a}_2, \mathbf{a}_3\right)} and the subscript of integers خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle n = \left( n_1, n_2, n_3 \right)} , its reciprocal lattice خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{G}_m = m_1 \mathbf{b}_1 + m_2 \mathbf{b}_2 + m_3 \mathbf{b}_3} with the integer subscript خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle m = (m_1, m_2, m_3)} can be determined by generating its three reciprocal primitive vectors خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left(\mathbf{b_{1}}, \mathbf{b}_2, \mathbf{b}_3\right)} خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \mathbf{b}_1 &= \frac{2\pi}{V} \ \mathbf{a}_2 \times \mathbf{a}_3 \\[8pt] \mathbf{b}_2 &= \frac{2\pi}{V} \ \mathbf{a}_3 \times \mathbf{a}_1 \\[8pt] \mathbf{b}_3 &= \frac{2\pi}{V} \ \mathbf{a}_1 \times \mathbf{a}_2 \end{align}} where خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle V = \mathbf{a}_1 \cdot \left(\mathbf{a}_2 \times \mathbf{a}_3\right) = \mathbf{a}_2 \cdot \left(\mathbf{a}_3 \times \mathbf{a}_1\right) = \mathbf{a}_3 \cdot \left(\mathbf{a}_1 \times \mathbf{a}_2\right)} is the scalar triple product. The choice of these خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left(\mathbf{b_{1}}, \mathbf{b}_2, \mathbf{b}_3\right)} is to satisfy خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{a}_i \cdot \mathbf{b}_j = 2\pi \, \delta_{ij}} as the known condition (There may be other condition.) of primitive translation vectors for the reciprocal lattice derived in the heuristic approach above and the section multi-dimensional Fourier series^{[broken anchor]}. This choice also satisfies the requirement of the reciprocal lattice خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle e^{i \mathbf{G}_m \cdot \mathbf{R}_n} = 1} mathematically derived above. Using column vector representation of (reciprocal) primitive vectors, the formulae above can be rewritten using matrix inversion:

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left[\mathbf{b}_1\mathbf{b}_2\mathbf{b}_3\right]^\mathsf{T} = 2\pi\left[\mathbf{a}_1\mathbf{a}_2\mathbf{a}_3\right]^{-1}.}

This method appeals to the definition, and allows generalization to arbitrary dimensions. The cross product formula dominates introductory materials on crystallography.

The above definition is called the "physics" definition, as the factor of خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2 \pi} comes naturally from the study of periodic structures. An essentially equivalent definition, the "crystallographer's" definition, comes from defining the reciprocal lattice خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{K}_m = \mathbf{G}_m / 2\pi} . which changes the reciprocal primitive vectors to be

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{b}_1 = \frac{\mathbf{a}_2 \times \mathbf{a}_3}{\mathbf{a}_1 \cdot \left(\mathbf{a}_2 \times \mathbf{a}_3\right)} }

and so on for the other primitive vectors. The crystallographer's definition has the advantage that the definition of خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{b}_1} is just the reciprocal magnitude of خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{a}_1} in the direction of خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{a}_2 \times \mathbf{a}_3} , dropping the factor of خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2 \pi} . This can simplify certain mathematical manipulations, and expresses reciprocal lattice dimensions in units of spatial frequency. It is a matter of taste which definition of the lattice is used, as long as the two are not mixed.

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle m = (m_1, m_2, m_3)} is conventionally written as خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle (h, k, \ell)} or خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle (hk\ell)} , called Miller indices; خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle m_1} is replaced with خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle h} , خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle m_2} replaced with خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle k} , and خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle m_3} replaced with خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ell} . Each lattice point خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle (hk\ell)} in the reciprocal lattice corresponds to a set of lattice planes خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle (hk\ell)} in the real space lattice. (A lattice plane is a plane crossing lattice points.) The direction of the reciprocal lattice vector corresponds to the normal to the real space planes. The magnitude of the reciprocal lattice vector خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{K}_m} is given in reciprocal length and is equal to the reciprocal of the interplanar spacing of the real space planes.

Higher dimensions

The formula for $n$ dimensions can be derived assuming an خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} -dimensional real vector space خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle V} with a basis خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\mathbf{a}_1,\ldots,\mathbf{a}_n)} and an inner product خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle g\colon V\times V\to\mathbf{R}} . The reciprocal lattice vectors are uniquely determined by the formula خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle g(\mathbf{a}_i,\mathbf{b}_j)=2\pi\delta_{ij}} . Using the permutation

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sigma = \begin{pmatrix} 1 & 2 & \cdots &n\\ 2 & 3 & \cdots &1 \end{pmatrix},}

they can be determined with the following formula:

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{b}_i = 2\pi\frac{\varepsilon_{\sigma^1i\ldots\sigma^ni}}{\omega(\mathbf{a}_1,\ldots,\mathbf{a}_n)}g^{-1}(\mathbf{a}_{\sigma^{n-1}i}\,\lrcorner\ldots\mathbf{a}_{\sigma^1i}\,\lrcorner\,\omega)\in V }

Here, خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega\colon V^n \to \mathbf{R}} is the volume form, خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle g^{-1}} is the inverse of the vector space isomorphism خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{g}\colon V \to V^*} defined by خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat{g}(v)(w) = g(v,w)} and خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lrcorner} denotes the inner multiplication.

One can verify that this formula is equivalent to the known formulas for the two- and three-dimensional case by using the following facts: In three dimensions, خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega(u,v,w) = g(u \times v, w)} and in two dimensions, خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega(v,w) = g(Rv,w)} , where خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle R \in \text{SO}(2) \subset L(V,V)} is the rotation by 90 degrees (just like the volume form, the angle assigned to a rotation depends on the choice of orientation^[2]).

Reciprocal lattices of various crystals

Reciprocal lattices for the cubic crystal system are as follows.

Simple cubic lattice

The simple cubic Bravais lattice, with cubic primitive cell of side خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle a} , has for its reciprocal a simple cubic lattice with a cubic primitive cell of side خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\textstyle \frac{2\pi}{a}} (or خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\textstyle \frac{1}{a}} in the crystallographer's definition). The cubic lattice is therefore said to be self-dual, having the same symmetry in reciprocal space as in real space.

Face-centered cubic (FCC) lattice

The reciprocal lattice to an FCC lattice is the body-centered cubic (BCC) lattice, with a cube side of خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\textstyle \frac{4\pi}{a}} .

Consider an FCC compound unit cell. Locate a primitive unit cell of the FCC; i.e., a unit cell with one lattice point. Now take one of the vertices of the primitive unit cell as the origin. Give the basis vectors of the real lattice. Then from the known formulae, you can calculate the basis vectors of the reciprocal lattice. These reciprocal lattice vectors of the FCC represent the basis vectors of a BCC real lattice. The basis vectors of a real BCC lattice and the reciprocal lattice of an FCC resemble each other in direction but not in magnitude.

Body-centered cubic (BCC) lattice

The reciprocal lattice to a BCC lattice is the FCC lattice, with a cube side of خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\textstyle 4\pi/a} .

It can be proven that only the Bravais lattices which have 90 degrees between خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left(\mathbf{a}_1, \mathbf{a}_2, \mathbf{a}_3\right)} (cubic, tetragonal, orthorhombic) have primitive translation vectors for the reciprocal lattice, خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left(\mathbf{b}_1, \mathbf{b}_2, \mathbf{b}_3\right)} , parallel to their real-space vectors.

Simple hexagonal lattice

The reciprocal to a simple hexagonal Bravais lattice with lattice constants خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\textstyle a} and خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\textstyle c} is another simple hexagonal lattice with lattice constants خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\textstyle 2\pi/c} and خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\textstyle 4\pi/(a\sqrt3)} rotated through 90° about the c axis with respect to the direct lattice. The simple hexagonal lattice is therefore said to be self-dual, having the same symmetry in reciprocal space as in real space. Primitive translation vectors for this simple hexagonal Bravais lattice vectors are خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} a_1 & = \frac{\sqrt{3}}{2} a \hat{x} + \frac{1}{2} a \hat{y}, \\[8pt] a_2 & = - \frac{\sqrt{3}}{2} a \hat{x} + \frac{1}{2}a\hat{y}, \\[8pt] a_3 & = c \hat{z}. \end{align} } ^[3]

مجموعة عشوائية من الذرات

Shadow of a 118-atom faceted carbon-pentacone's intensity reciprocal-lattice lighting up red in diffraction when intersecting the Ewald sphere.

One path to the reciprocal lattice of an arbitrary collection of atoms comes from the idea of scattered waves in the Fraunhofer (long-distance or lens back-focal-plane) limit as a Huygens-style sum of amplitudes from all points of scattering (in this case from each individual atom).^[4] This sum is denoted by the complex amplitude خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} in the equation below, because it is also the Fourier transform (as a function of spatial frequency or reciprocal distance) of an effective scattering potential in direct space:

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle F[\vec{g}] = \sum_{j=1}^N f_j\!\left[\vec{g}\right] e^{2 \pi i \vec{g} \cdot \vec{r}_j}.}

Here g = q/(2 $π$ ) is the scattering vector q in crystallographer units, N is the number of atoms, f_j[g] is the atomic scattering factor for atom j and scattering vector g, while r_j is the vector position of atom j. The Fourier phase depends on one's choice of coordinate origin.

For the special case of an infinite periodic crystal, the scattered amplitude F = M F_h,k,ℓ from M unit cells (as in the cases above) turns out to be non-zero only for integer values of خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle (h,k,\ell)} , where

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle F_{h,k,\ell} = \sum_{j=1}^m f_j\left[g_{h,k,\ell}\right] e^{2\pi i \left(h u_j + k v_j + \ell w_j\right)}}

when there are j = 1,m atoms inside the unit cell whose fractional lattice indices are respectively {u_j, v_j, w_j}. To consider effects due to finite crystal size, of course, a shape convolution for each point or the equation above for a finite lattice must be used instead.

Whether the array of atoms is finite or infinite, one can also imagine an "intensity reciprocal lattice" I[g], which relates to the amplitude lattice F via the usual relation I = F^*F where F^* is the complex conjugate of F. Since Fourier transformation is reversible, of course, this act of conversion to intensity tosses out "all except 2nd moment" (i.e. the phase) information. For the case of an arbitrary collection of atoms, the intensity reciprocal lattice is therefore:

خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle I[\vec{g}] = \sum_{j=1}^N \sum_{k=1}^N f_j \left[\vec{g}\right] f_k \left[\vec{g}\right] e^{2\pi i \vec{g} \cdot \vec{r}_{\!\!\;jk}}.}

Here r_jk is the vector separation between atom j and atom k. One can also use this to predict the effect of nano-crystallite shape, and subtle changes in beam orientation, on detected diffraction peaks even if in some directions the cluster is only one atom thick. On the down side, scattering calculations using the reciprocal lattice basically consider an incident plane wave. Thus after a first look at reciprocal lattice (kinematic scattering) effects, beam broadening and multiple scattering (i.e. dynamical) effects may be important to consider as well.

Generalization of a dual lattice

There are actually two versions in mathematics of the abstract dual lattice concept, for a given lattice L in a real vector space V, of finite dimension.

The first, which generalises directly the reciprocal lattice construction, uses Fourier analysis. It may be stated simply in terms of Pontryagin duality. The dual group V^ to V is again a real vector space, and its closed subgroup L^ dual to L turns out to be a lattice in V^. Therefore, L^ is the natural candidate for dual lattice, in a different vector space (of the same dimension).

The other aspect is seen in the presence of a quadratic form Q on V; if it is non-degenerate it allows an identification of the dual space V^* of V with V. The relation of V^* to V is not intrinsic; it depends on a choice of Haar measure (volume element) on V. But given an identification of the two, which is in any case well-defined up to a scalar, the presence of Q allows one to speak to the dual lattice to L while staying within V.

In mathematics, the dual lattice of a given lattice L in an abelian locally compact topological group G is the subgroup L^∗ of the dual group of G consisting of all continuous characters that are equal to one at each point of L.

In discrete mathematics, a lattice is a locally discrete set of points described by all integral linear combinations of $dim = n$ linearly independent vectors in Rⁿ. The dual lattice is then defined by all points in the linear span of the original lattice (typically all of Rⁿ) with the property that an integer results from the inner product with all elements of the original lattice. It follows that the dual of the dual lattice is the original lattice.

Furthermore, if we allow the matrix B to have columns as the linearly independent vectors that describe the lattice, then the matrix خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle A = B\left(B^\mathsf{T} B\right)^{-1}} has columns of vectors that describe the dual lattice.

In quantum physics

In quantum physics, reciprocal space is closely related to momentum space according to the proportionality خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{p} = \hbar \mathbf{k}} , where خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{p}} is the momentum vector and خطأ رياضيات (اعرض بصيغة MathML إن أمكن (تحت التجريب): رد غير صحيح ("Math extension cannot connect to Restbase.") من الخادم "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hbar} is the reduced Planck constant.

انظر أيضاً

Brillouin zone
Crystallography
Dual basis
Ewald's sphere
Kikuchi line (solid state physics)
Miller index
Powder diffraction
Zone axis
Fourier series of a Bravais-lattice-periodic function - A more technical derivation

References

^ Sung, S.H.; Schnitzer, N.; Brown, L.; Park, J.; Hovden, R. (2019-06-25). "Stacking, strain, and twist in 2D materials quantified by 3D electron diffraction". Physical Review Materials. 3 (6): 064003. arXiv:1905.11354. Bibcode:2019PhRvM...3f4003S. doi:10.1103/PhysRevMaterials.3.064003. S2CID 166228311.
^ Audin, Michèle (2003). Geometry. Springer. p. 69.
^ Kittel, Charles (2005). Introduction to Solid State Physics (8th ed.). John Wiley & Sons, Inc. p. 44. ISBN 0-471-41526-X.
^ B. E. Warren (1969/1990) X-ray diffraction (Addison-Wesley, Reading MA/Dover, Mineola NY).