<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Semicomputable_function</id>
	<title>Semicomputable function - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Semicomputable_function"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Semicomputable_function&amp;action=history"/>
	<updated>2026-04-09T01:54:38Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Semicomputable_function&amp;diff=23853&amp;oldid=prev</id>
		<title>164.67.234.104 at 05:05, 10 December 2011</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Semicomputable_function&amp;diff=23853&amp;oldid=prev"/>
		<updated>2011-12-10T05:05:02Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;A condition to be fulfilled for the ferromagnetic order to arise in a simplified model of a solid. &lt;br /&gt;
Named after [[Edmund Clifton Stoner]].&lt;br /&gt;
&lt;br /&gt;
==Stoner model of ferromagnetism==&lt;br /&gt;
&lt;br /&gt;
Ferromagnetism ultimately stems from electron-electron interactions. The simplified model of a solid&lt;br /&gt;
which is nowadays usually called the Stoner model, can be formulated in terms of dispersion relations for&lt;br /&gt;
spin up and spin down electrons,&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;&lt;br /&gt;
E_\uparrow(k)=\epsilon(k)+I\frac{N_\uparrow-N_\downarrow}{N},\qquad&lt;br /&gt;
E_\downarrow(k)=\epsilon(k)-I\frac{N_\uparrow-N_\downarrow}{N},&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
where the second term accounts for the exchange energy, &amp;lt;math&amp;gt;N_\uparrow/N&amp;lt;/math&amp;gt; (&amp;lt;math&amp;gt;N_\downarrow/N&amp;lt;/math&amp;gt;) &lt;br /&gt;
is the dimensionless density[[#Footnotes|[1]]] of spin up (down) electrons and &amp;lt;math&amp;gt;\epsilon(k)&amp;lt;/math&amp;gt; is the dispersion&lt;br /&gt;
relation of spinless electrons where the electron-electron interaction is disregarded. If &amp;lt;math&amp;gt;N_\uparrow&lt;br /&gt;
+N_\downarrow&amp;lt;/math&amp;gt; is fixed, &amp;lt;math&amp;gt;E_\uparrow(k), E_\downarrow(k)&amp;lt;/math&amp;gt; can be used to calculate the total energy &lt;br /&gt;
of the system as a function of its polarization &amp;lt;math&amp;gt;P=(N_\uparrow-N_\downarrow)/N&amp;lt;/math&amp;gt;. If the lowest total&lt;br /&gt;
energy is found for P=0, the system prefers to remain paramagnetic but for larger values of I, polarized ground&lt;br /&gt;
states occur. It can be shown that for&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;&lt;br /&gt;
  2ID(E_F) &amp;gt; 1&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
the P=0 state will spontaneously pass into a polarized one. This is the Stoner criterion, expressed in terms of the P=0 density of &lt;br /&gt;
states[[#Footnotes|[1]]] at the Fermi level &amp;lt;math&amp;gt;D(E_F)&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
Note that a non-zero P state may be favoured over P=0 even before the Stoner criterion is fulfilled.&lt;br /&gt;
&lt;br /&gt;
==Relationship to the Hubbard model==&lt;br /&gt;
&lt;br /&gt;
The Stoner model can be obtained from the [[Hubbard model]] by applying the mean-field approximation. The particle density operators are written as their mean value &amp;lt;math&amp;gt;\langle n_i\rangle&amp;lt;/math&amp;gt; plus fluctuation &amp;lt;math&amp;gt;n_i-\langle n_i\rangle&amp;lt;/math&amp;gt; and the product of spin-up and spin-down fluctuations is neglected. We obtain[[#Footnotes|[1]]]&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;&lt;br /&gt;
 H = U \sum_i n_{i,\uparrow} \langle n_{i,\downarrow}\rangle&lt;br /&gt;
              +n_{i,\downarrow} \langle n_{i,\uparrow}\rangle&lt;br /&gt;
       - \langle n_{i,\uparrow}\rangle \langle n_{i,\downarrow}\rangle +&lt;br /&gt;
       \sum_{i,\sigma} \epsilon_i n_{i,\sigma}.&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Note the third term which was omitted in the definition above. With this term included, we arrive at the better-known form of the Stoner criterion&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;&lt;br /&gt;
  D(E_F)U &amp;gt; 1.&lt;br /&gt;
&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
&lt;br /&gt;
* Stephen Blundell, Magnetism in Condensed Matter (Oxford Master Series in Physics). &lt;br /&gt;
*[http://igorbarsukov.com/stoner.html Demonstrative derivation of the Stoner Criterion]&lt;br /&gt;
&lt;br /&gt;
==Footnotes==&lt;br /&gt;
&lt;br /&gt;
*1. Having a lattice model in mind, N is the number of lattice sites and &amp;lt;math&amp;gt;N_\uparrow&amp;lt;/math&amp;gt; is the number of spin-up electrons in the whole system. The density of states has the units of inverse energy. On a finite lattice, &amp;lt;math&amp;gt;\epsilon(k)&amp;lt;/math&amp;gt; is replaced by discrete levels &amp;lt;math&amp;gt;\epsilon_i&amp;lt;/math&amp;gt; and then &amp;lt;math&amp;gt;D(E)=\sum_i \delta(E-\epsilon_i)&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Category:Magnetism]]&lt;/div&gt;</summary>
		<author><name>164.67.234.104</name></author>
	</entry>
</feed>