Pumping lemma for context-free languages: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
Undid revision 584951377 by 59.180.134.156 (talk)
en>Jochen Burghardt
References: suggest to include (collapsed) formal languages template
 
Line 1: Line 1:
{{Electronic structure methods}}
Greetings. The author's name is Phebe and she feels comfortable when people use the complete title. The preferred hobby for my children and me is to play baseball but I haven't made a dime with it. Managing people has been his working day occupation for a while. California is our beginning location.<br><br>My web page: [http://www.blaze16.com/blog/257588 std testing at home]
 
In [[solid-state physics]], the '''nearly free electron model''' (or '''NFE model''') is a [[Quantum mechanics|quantum mechanical]] model of physical properties of [[electron]]s that can move almost freely through the [[Crystal structure|crystal lattice]] of a solid. The model is closely related to the more conceptual [[Empty Lattice Approximation]]. The model enables understanding and calculating the [[electronic band structure]] of especially [[metal]]s.
__TOC__
{{clear}}
 
==Introduction==
 
[[Free electron model|Free electrons]] are [[Free_electron_model#The_traveling_plane_wave_solution|traveling plane waves]]. Generally the [[Free_electron_model#Solution_of_the_time_independent_equation|time independent part]] of their wave function is expressed as
 
:<math>\psi_{\bold{k}}(\bold{r}) = \frac{1}{\sqrt{\Omega_r}} e^{i\bold{k}\cdot\bold{r}}</math>
 
These plane wave solutions have an energy of
 
:<math>E_k = \frac{\hbar^2 k^2}{2 m}</math>
 
The expression of the plane wave as a complex exponential function can also be written as the sum of two periodic functions which are mutually shifted a quarter of a period.
 
:<math>\psi_{\bold{k}}(\bold{r}) = \frac{1}{\sqrt{\Omega_r}} \left[ \cos(\bold{k}\cdot\bold{r}) + i \sin(\bold{k}\cdot\bold{r})\right]</math>
 
In this light the wave function of a free electron can be viewed as an aggregate of two plane waves. Sine and cosine functions can also be expressed as sums or differences of plane waves moving in opposite directions
:<math>\cos(\bold{k}\cdot\bold{r}) = \frac{1}{2} [ e^{i \bold{k}\cdot\bold{r}} + e^{-i\bold{k}\cdot\bold{r}}] </math>
 
Assume that there is only one kind of atom present in the lattice and that the atoms are located at the origin of the unit cells of the lattice. The potential of the atoms is attractive and limited to a relatively small part of the volume of the unit cell of the lattice. In the remainder of the cell the potential is zero.
 
The [[Hamiltonian (quantum mechanics)|Hamiltonian]] is expressed as
 
:<math>H = T + V</math>
in which <math>T</math> is the kinetic and <math>V</math> is the potential energy. From this expression the [[Expected value#Uses_and_applications|energy expectation value]], or the [[statistical average]], of the energy of the electron can be calculated with
:<math>E = \langle H \rangle =
\int_{\Omega_r}\psi_{\bold{k}}^*(\bold{r})[T + V]\psi_{\bold{k}}(\bold{r}) d\bold{r}
</math>
If we assume that the electron still has a free electron plane wave wave function the energy of the electron is:
:<math>E_k = \frac{1}{\Omega_r}\int_{\Omega_r} e^{-i\bold{k}\cdot\bold{r}}
\left[\frac{\hbar^2k^2}{2 m} + V(\bold{r})\right]
e^{i\bold{k}\cdot\bold{r}}d\bold{r}</math>
Let's assume further that at an arbitrary <math>\bold{k}</math>-point in the Brillouin zone we can integrate the <math>\bold{r}</math> over a single lattice cell, then for an arbitrary <math>\bold{k}</math>-point the energy becomes
:<math>E_k = \frac{\hbar^2 k^2}{2 m} + \langle V \rangle </math>
[[File:Empty-Lattice-Approximation-FCC-bands.svg|thumb|250px|Some free electron bands in a FCC crystal structure according to the '''Empty Lattice Approximation''']]
This means that at an arbitrary point the energy is lowered by the lowered average of the potential in the unit cell due to the presence of the attractive potential of the atom. If the potential is very small we get the [[Empty Lattice Approximation]]. This isn't a very sensational result and it doesn't say anything about what happens when we get close to the Brillouin zone boundary. We will look at those regions in <math>\bold{k}</math>-space now.
 
Let's assume that we look at the problem from the origin, at position <math>\bold{r} = 0</math>. If <math>\bold{k} = 0</math> only the cosine part is present and the sine part is moved to <math>\infty</math>. If we let the length of the wave vector <math>\bold{k}</math> grow, then the central maximum of the cosine part stays at <math>\bold{r} = 0</math>. The first maximum and minimum of the sine part are at <math>\bold{r} = \pm \pi / (2 \bold{k})</math>. They come nearer as <math>\bold{k}</math> grows. Let's assume that <math>\bold{k}</math> is close to the [[Brillouin zone]] boundary for the analysis in the next part of this introduction.
 
The atomic positions coincide with the maximum of the <math>\cos(\bold{k}\cdot\bold{r})</math>-component of the wave function. The interaction of the <math>\cos(\bold{k}\cdot\bold{r})</math>-component of the wave function with the potential will be different than the interaction of the <math>\sin(\bold{k}\cdot\bold{r})</math>-component of the wave function with the potential because their phases are shifted. The [[Charge_density#Quantum_charge_density|charge density]] is proportional to the absolute square of the wave function. For the <math>\cos(\bold{k}\cdot\bold{r})</math>-component it is
 
:<math>\rho_{\bold{k}}^c(\bold{r}) = \frac{1}{2\Omega} \left[1 + \cos(2 \bold{k}\cdot\bold{r})\right]</math>
 
and for the <math>\sin(\bold{k}\cdot\bold{r})</math>-component it is
 
:<math>\rho_{\bold{k}}^s(\bold{r}) = \frac{1}{2\Omega} \left[1 - \cos(2 \bold{k}\cdot\bold{r})\right]</math>
 
For values of <math>\bold{k}</math> close to the Brillouin zone boundary, the length of the two waves and the period of the two different charge density distributions almost coincide with the periodic potential of the lattice. As a result the charge densities of the two components have a different energy because the maximum of the charge density of the <math>\cos(\bold{k}\cdot\bold{r})</math>-component coincides with the attractive potential of the atoms while the maximum of the charge density of the <math>\sin(\bold{k}\cdot\bold{r})</math>-component lies in the regions with a higher electrostatic potential between the atoms.
 
As a result the aggregate will be split in high and low energy components when the kinetic energy increases and the wave vector approaches the length of the reciprocal lattice vectors. The potentials of the atomic cores can be decomposed into Fourier components to meet the requirements of a description in terms of reciprocal space parameters.
 
==Mathematical formulation==
The nearly free electron model is a modification of the [[Free electron model|free-electron gas]] model which includes a ''weak'' [[Frequency|periodic]] [[perturbation theory (quantum mechanics)|perturbation]] meant to model the interaction between the [[conduction electrons]] and the [[ions]] in a [[crystalline]] solid. This model, like the free-electron model, does not take into account electron-electron interactions; that is, the independent-electron approximation is still in effect.
 
As shown by [[Bloch wave|Bloch's theorem]], introducing a periodic potential into the [[Schrödinger equation]] results in a [[wave function]] of the form
 
:<math>\psi_{\bold{k}}(\bold{r}) = u_{\bold{k}}(\bold{r}) e^{i\bold{k}\cdot\bold{r}}</math>
 
where the function ''u'' has the same periodicity as the [[Lattice (group)|lattice]]:
 
:<math>u_{\bold{k}}(\bold{r}) = u_{\bold{k}}(\bold{r}+\bold{T})</math>
 
(where ''T'' is a lattice translation vector.)
 
Because it is a ''nearly'' free electron approximation we can assume that
 
:<math>u_{\bold{k}}(\bold{r}) \approx \frac{1}{\sqrt{\Omega_r}}</math>
 
A solution of this form can be plugged into the Schrödinger equation, resulting in the '''central equation''':
 
:<math>(\lambda_{\bold{k}} - \epsilon)C_{\bold{k}} + \sum_{\bold{G}} U_{\bold{G}} C_{\bold{k}-\bold{G}}=0</math>
 
where the kinetic energy <math>\lambda_{\bold{k}}</math> is given by
 
:<math>\lambda_{\bold{k}}\psi_{\bold{k}}(\bold{r}) = -\frac{\hbar^2}{2m}\nabla^2 \psi_{\bold{k}}(\bold{r}) = -\frac{\hbar^2}{2m}\nabla^2 (u_{\bold{k}}(\bold{r}) e^{i\bold{k}\cdot\bold{r}})</math>
 
which, after dividing by <math>\psi_{\bold{k}}(\bold{r})</math>, reduces to
 
:<math>\lambda_{\bold{k}} = \frac{\hbar^2 k^2}{2m}</math>
 
if we assume that <math>u_{\bold{k}}(\bold{r})</math> is almost constant and <math>\nabla^2 u_{\bold{k}}(\bold{r}) \ll k^2.</math>
 
The reciprocal parameters ''C<sub>k</sub>'' and ''U<sub>G</sub>'' are the [[Fourier series|Fourier]] coefficients of the wave function ''ψ(r)'' and the [[Screening effect|screened potential]] energy ''U(r)'', respectively:
 
:<math>U(\bold{r}) = \sum_{\bold{G}} U_{\bold{G}} e^{i\bold{G}\cdot\bold{r}}</math>
:<math>\psi(\bold{r}) = \sum_{\bold{k}} C_{\bold{k}} e^{i\bold{k}\cdot\bold{r}}</math>
 
The vectors ''G'' are the [[Reciprocal lattice|reciprocal lattice vectors]], and the discrete values of ''k'' are determined by the boundary conditions of the lattice under consideration.
 
In any perturbation analysis, one must consider the base case to which the perturbation is applied. Here, the base case is with ''U(x) = 0'', and therefore all the Fourier coefficients of the potential are also zero. In this case the central equation reduces to the form
 
:<math>(\lambda_{\bold{k}} - \epsilon)C_{\bold{k}} = 0</math>
 
This identity means that for each ''k'', one of the two following cases must hold:
 
#<math>C_{\bold{k}} = 0</math>,
#<math>\lambda_{\bold{k}} = \epsilon</math>
 
If the values of <math>\lambda_k</math> are [[degenerate energy level|non-degenerate]], then the second case occurs for only one value of ''k'', while for the rest, the Fourier expansion coefficient <math>C_k</math> must be zero.  In this non-degenerate case, the standard free electron gas result is retrieved:
 
:<math>\psi_k \propto e^{i\bold{k}\cdot\bold{r}}</math>
 
In the degenerate case, however, there will be a set of lattice vectors ''k<sub>1</sub>, ..., k<sub>m</sub>'' with ''λ<sub>1</sub> = ... = λ<sub>m</sub>''.  When the energy <math>\epsilon</math> is equal to this value of ''λ'', there will be ''m'' independent plane wave solutions of which any linear combination is also a solution:
 
:<math>\psi \propto \sum_{i=1}^{m} A_i e^{i\bold{k}_i\cdot\bold{r}}</math><!-- TODO: derive results for C_k's in these two cases. -->
 
Non-degenerate and degenerate perturbation theory can be applied in these two cases to solve for the Fourier coefficients ''C<sub>k</sub>'' of the wavefunction (correct to first order in ''U'') and the energy eigenvalue (correct to second order in ''U'').  An important result of this derivation is that there is no first-order shift in the energy ''ε'' in the case of no degeneracy, while there is in the case of near-degeneracy, implying that the latter case is more important in this analysis.  Particularly, at the [[Brillouin zone]] boundary (or, equivalently, at any point on a [[Bragg plane]]), one finds a twofold energy degeneracy that results in a shift in energy given by:
 
:<math>\epsilon = \lambda_{\bold{k}} \pm |U_{\bold{k}}|</math>
 
This '''energy gap''' between Brillouin zones is known as the [[band gap]], with a magnitude of <math>2|U_K|</math>.
 
== Results ==
 
Introducing this weak perturbation has significant effects on the solution to the [[Schrödinger equation]], most significantly resulting in a [[band gap]] between [[wave vector]]s in different [[Brillouin zone]]s.
 
== Justifications ==
 
In this model, the assumption is made that the interaction between the conduction electrons and the ion cores can be modeled through the use of a "weak" perturbing potential.  This may seem like a severe approximation, for the Coulomb attraction between these two particles of opposite charge can be quite significant at short distances.  It can be partially justified, however, by noting two important properties of the quantum mechanical system:
 
#The force between the ions and the electrons is greatest at very small distances.  However, the conduction electrons are not "allowed" to get this close to the ion cores due to the [[Pauli exclusion principle]]: the orbitals closest to the ion core are already occupied by the core electrons.  Therefore, the conduction electrons never get close enough to the ion cores to feel their full force.
#Furthermore, the core electrons [[Shielding effect|shield]] the ion charge magnitude "seen" by the conduction electrons.  The result is an ''effective nuclear charge'' experienced by the conduction electrons which is significantly reduced from the actual nuclear charge.
 
==See also==
* [[Empty Lattice Approximation]]
* [[Electronic band structure]]
* [[Tight binding|Tight binding model]]
* [[Bloch waves]]
* [[Kronig-Penney model]]
 
== References ==
{{commons category|Dispersion relations of electrons}}
 
*{{cite book |first=Neil W. |last=Ashcroft |first2=N. David |last2=Mermin |title=Solid State Physics |publisher=Harcourt |location=Orlando |year=1976 |isbn=0-03-083993-9 }}
*{{cite book |first=Charles |last=Kittel |title=Introduction to Solid State Physics |publisher=Wiley |location=New York |year=1996 |isbn=0-471-11181-3 |edition=7th }}
*{{cite book |first=Stephen |last=Elliott |title=The Physics and Chemistry of Solids |location=New York |publisher=Wiley |year=1998 |isbn=0-471-98194-X }}
 
[[Category:Electronic band structures]]

Latest revision as of 18:46, 12 February 2014

Greetings. The author's name is Phebe and she feels comfortable when people use the complete title. The preferred hobby for my children and me is to play baseball but I haven't made a dime with it. Managing people has been his working day occupation for a while. California is our beginning location.

My web page: std testing at home