|
|
(One intermediate revision by one other user not shown) |
Line 1: |
Line 1: |
| In [[statistical mechanics]], the '''two-dimensional square-lattice [[Ising model]]''' is a simple model of interacting [[magnetic spin]]s. The model is notable for having nontrivial interactions, yet having an [[analytical solution]]. The model was solved by {{harvs|authorlink=Lars Onsager|first=Lars |last=Onsager|year=1944}} for the special case that the external magnetic field ''H'' = 0. An analytical solution for the general case for <math> H \neq 0 </math> has yet to be found.
| | Nice to satisfy you, my title is Figures Held though I don't truly like becoming known as like that. For a whilst she's been in South Dakota. To gather coins is what his family members and him appreciate. Bookkeeping is her day job now.<br><br>Feel free to visit my homepage [http://www.eyelevelfederalway.com/xe/index.php?mid=Promotions&page=1&document_srl=571267 home std test kit] |
| | |
| ==Definition of the model==
| |
| Consider the 2D [[Ising model]] on a square lattice <math>\Lambda</math> with ''N'' sites, with periodic [[boundary condition]]s in both the horizontal and vertical directions, which effectively reduces the [[geometry]] of the model to a [[torus]]. In a general case, the horizontal [[coupling]] ''J'' is not equal to the coupling in the vertical direction, ''J*''. With an equal number of rows and columns in the lattice, there will be ''N'' of each. In terms of
| |
| | |
| :<math> K = \beta J </math>
| |
| :<math> L = \beta J* </math>
| |
| | |
| where <math> \beta = 1/(kT)</math> where ''T'' is [[absolute temperature]] and ''k'' is [[Boltzmann's constant]], the [[partition function (statistical mechanics)|partition function]] <math> Z_N(K,L) </math> is given by
| |
| | |
| :<math> Z_N(K,L) = \sum_{\{\sigma\}} \exp \left( K \sum_{\langle ij \rangle_H} \sigma_i \sigma_j + L \sum_{\langle ij \rangle_V} \sigma_i \sigma_j \right). </math>
| |
| | |
| ==Critical temperature==
| |
| The critical temperature <math>T_c</math> can be obtained from the [[Kramers–Wannier duality]] relation. Denoting the free energy per site as <math>F(K,L)</math>, one has:
| |
| | |
| :<math>\beta F\left(K^{*}, L^{*}\right) = \beta F\left(K,L\right) + \frac{1}{2}\log\left[\sinh\left(2K\right)\sinh\left(2L\right)\right]</math>
| |
| | |
| where
| |
| :<math>
| |
| \sinh\left(2K^{*}\right)\sinh\left(2L\right)=1
| |
| </math>
| |
| :<math>
| |
| \sinh\left(2L^{*}\right)\sinh\left(2K\right)=1
| |
| </math>
| |
| | |
| Assuming there is only one critical line in the (K,L) plane, the duality relation implies that this is given by:
| |
| | |
| :<math>\sinh\left(2 K\right)\sinh\left(2 L\right)= 1</math>
| |
| | |
| For the isotropic case <math>J = J^{*}</math>, one finds the famous relation for the critical temperature <math>T_{c}</math> | |
| | |
| :<math>k_B T_c/J = \frac{2}{\ln(1+\sqrt{2})} \approx 2.26918531421</math>.
| |
| | |
| ==Dual lattice==
| |
| | |
| Consider a configuration of spins <math> \{ \sigma \} </math> on the square lattice <math> \Lambda </math>. Let ''r'' and ''s'' denote the number of unlike neighbours in the vertical and horizontal directions respectively. Then the summand in <math> Z_N </math> corresponding to <math> \{ \sigma \} </math> is given by
| |
| | |
| :<math> e^{K(N-2s) +L(N-2r)} </math>
| |
| [[File:Duallattice.png|thumb|right|400px|Dual lattice]]
| |
| Construct a dual lattice <math> \Lambda_D </math> as depicted in the diagram. For every configuration <math> \{ \sigma \} </math>, a polygon is associated to the lattice by drawing a line on the edge of the dual lattice if the spins separated by the edge are unlike. Since by traversing a vertex of <math> \Lambda </math> the spins need to change an even number of times so that one arrives at the starting point with the same charge, every vertex of the dual lattice is connected to an even number of lines in the configuration, defining a polygon.
| |
| [[File:Duallattices.png|thumb|right|200px|Spin configuration on a dual lattice]]
| |
| This reduces the [[partition function (statistical mechanics)|partition function]] to
| |
| | |
| :<math> Z_N(K,L) = 2e^{N(K+L)} \sum_{P \subset \Lambda_D} e^{-2Lr-2Ks} </math>
| |
| | |
| summing over all polygons in the dual lattice, where ''r'' and ''s'' are the number of horizontal and vertical lines in the polygon, with the factor of 2 arising from the inversion of spin configuration.
| |
| | |
| ==Low-temperature expansion==
| |
| At low temperatures, ''K, L'' approach infinity, so that as <math> T \rightarrow 0, \ \ e^{-K}, e^{-L} \rightarrow 0 </math>, so that
| |
| | |
| :<math> Z_N(K,L) = 2 e^{N(K+L)} \sum_{ P \subset \Lambda_D} e^{-2Lr-2Ks} </math>
| |
| | |
| defines a low temperature expansion of <math> Z_N(K,L) </math>.
| |
| | |
| ==High-temperature expansion==
| |
| | |
| Since <math> \sigma \sigma' = \pm 1 </math> one has
| |
| | |
| :<math> e^{K \sigma \sigma'} = \cosh K + \sinh K(\sigma \sigma') = \cosh K(1+\tanh K(\sigma \sigma')). </math>
| |
| | |
| Therefore
| |
| :<math> Z_N(K,L) = (\cosh K \cosh L)^N \sum_{\{ \sigma \}} \prod_{\langle ij \rangle_H} (1+v \sigma_i \sigma_j) \prod_{\langle ij \rangle_V}(1+w\sigma_i \sigma_j)</math>
| |
| | |
| where <math> v =\tanh K </math> and <math> w = \tanh L </math>. Since there are ''N'' horizontal and vertical edges, there are a total of <math> 2^{2N} </math> terms in the expansion. Every term corresponds to a configuration of lines of the lattice, by associating a line connecting ''i'' and ''j'' if the term <math> v \sigma_i \sigma_j</math> (or <math> w \sigma_i \sigma_j) </math> is chosen in the product. Summing over the configurations, using
| |
| | |
| :<math> \sum_{\sigma_i = \pm 1} \sigma_i^n = \begin{cases}
| |
| 0 & \mbox{for } n \mbox{ odd} \\
| |
| 2 & \mbox{for } n \mbox{ even} \end{cases}
| |
| </math>
| |
| | |
| shows that only configurations with an even number of lines at each vertex (polygons) will contribute to the partition function, giving
| |
| | |
| :<math> Z_N(K,L) = 2^N(\cosh K \cosh L)^N \sum_{P \subset \Lambda} v^r w^s </math>
| |
| | |
| where the sum is over all polygons in the lattice. Since tanh ''K'', tanh ''L'' <math> \rightarrow 0 </math> as <math> T \rightarrow \infty </math>, this gives the high temperature expansion of <math> Z_N(K,L)</math>.
| |
| | |
| The two expansions can be related using the [[Kramers-Wannier duality]].
| |
| | |
| ==Exact solution==
| |
| The free energy per site in the limit <math>N\to\infty</math> is given as follows. Define the parameter k as:
| |
| | |
| :<math>k =\frac{1}{\sinh\left(2 K\right)\sinh\left(2 L\right)}</math>
| |
| | |
| The free energy per site F can be expressed as:
| |
| | |
| :<math> -\beta F = \frac{\log(2)}{2} + \frac{1}{2\pi}\int_{0}^{\pi}\log\left[\cosh\left(2 K\right)\cosh\left(2 L\right)+\frac{1}{k}\sqrt{1+k^{2}-2k\cos(2\theta)}\right]d\theta</math>
| |
| | |
| For the isotropic case <math>J = J^{*}</math>, from the above expression one finds for the internal energy per site:
| |
| | |
| :<math> U = - J \coth(2 \beta J) \left[ 1 + \frac{2}{\pi} (2 \tanh^2(2 \beta J) -1) \int_0^{\pi/2} \frac{1}{\sqrt{1 - 4 k (1+k)^{-2} \sin^2(\theta)}} d\theta \right]</math>
| |
| | |
| and the spontaneous magnetization is, for <math>T < T_c</math>:
| |
| | |
| :<math> M = \left[ 1 - \sinh^{-4}(2 \beta J) \right]^{1/8} </math>
| |
| | |
| ==References==
| |
| *{{Citation | last1=Baxter | first1=Rodney J. | title=Exactly solved models in statistical mechanics | url=http://tpsrv.anu.edu.au/Members/baxter/book | publisher=Academic Press Inc. [Harcourt Brace Jovanovich Publishers] | location=London | isbn=978-0-12-083180-7 | id={{MathSciNet | id = 690578}} | year=1982}}
| |
| * {{springer|author=[[Kurt Binder|K. Binder]]|title=Ising model|id=I/i120080}}
| |
| * Stephen G. Brush (1967), [http://dx.doi.org/10.1103/RevModPhys.39.883 History of the Lenz-Ising Model]. ''Reviews of Modern Physics'' (American Physical Society) vol. 39, pp 883–893. {{doi|10.1103/RevModPhys.39.883}}
| |
| * {{citation|first=Kerson|last=Huang|authorlink=Kerson Huang|title=Statistical mechanics (2nd edition)|publisher=Wiley|year=1987|id=ISBN 0471815187}}
| |
| *{{citation|first=E. |last=Ising|title=Beitrag zur Theorie des Ferromagnetismus|journal= Z. Phys. |volume= 31 |year=1925|pages= 253–258|doi=10.1007/BF02980577|bibcode = 1925ZPhy...31..253I }}
| |
| *{{citation|title=Théorie statistique des champs, Volume 1|series=
| |
| Savoirs actuels ([[CNRS]])|first=Claude|last= Itzykson|first2= Jean-Michel|last2= Drouffe|
| |
| publisher=EDP Sciences Editions|year= 1989|id=ISBN 2868833608}}
| |
| *{{citation|title=Statistical field theory, Volume 1: From Brownian motion to renormalization and lattice gauge theory|first=Claude|last= Itzykson|first2= Jean-Michel|last2= Drouffe|
| |
| publisher=Cambridge University Press|year= 1989|id=ISBN 0521408059}}
| |
| * Barry M. McCoy and Tai Tsun Wu (1973), ''The Two-Dimensional Ising Model''. Harvard University Press, Cambridge Massachusetts, ISBN 0-674-91440-6
| |
| *{{Citation | last1=Montroll | first1=Elliott W. | last2=Potts | first2=Renfrey B. | last3=Ward | first3=John C. | title=Correlations and spontaneous magnetization of the two-dimensional Ising model | url= http://link.aip.org/link/?JMAPAQ/4/308/1 | doi=10.1063/1.1703955 | id={{MathSciNet | id = 0148406}} | year=1963 | journal=[[Journal of Mathematical Physics]] | issn=0022-2488 | volume=4 | pages=308–322|bibcode = 1963JMP.....4..308M }}
| |
| *{{Citation | last1=Onsager | first1=Lars | authorlink1= Lars Onsager|title=Crystal statistics. I. A two-dimensional model with an order-disorder transition | url=http://link.aps.org/doi/10.1103/PhysRev.65.117 | doi=10.1103/PhysRev.65.117 | id={{MathSciNet | id = 0010315}} | year=1944 | journal=Phys. Rev. | series = Series II| volume=65 | pages=117–149|bibcode = 1944PhRv...65..117O }}
| |
| *{{Citation |last=Onsager |first=Lars |authorlink=Lars Onsager|title=Discussion|journal=Nuovo Cimento (suppl.)|volume=6|page=261|year=1949}}
| |
| * John Palmer (2007), ''Planar Ising Correlations''. Birkhäuser, Boston, ISBN 978-0-8176-4248-8.
| |
| *{{Citation | last1=Yang | first1=C. N. | authorlink1=C. N. Yang| title=The spontaneous magnetization of a two-dimensional Ising model | url=http://link.aps.org/doi/10.1103/PhysRev.85.808 | doi=10.1103/PhysRev.85.808 | id={{MathSciNet | id = 0051740}} | year=1952 | journal=Physical Review | series = Series II| volume=85 | pages=808–816|bibcode = 1952PhRv...85..808Y }}
| |
| | |
| [[Category:Statistical mechanics]]
| |
| [[Category:Exactly solvable models]]
| |
| [[Category:Lattice models]]
| |
Nice to satisfy you, my title is Figures Held though I don't truly like becoming known as like that. For a whilst she's been in South Dakota. To gather coins is what his family members and him appreciate. Bookkeeping is her day job now.
Feel free to visit my homepage home std test kit