Virial theorem: Difference between revisions

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
imported>Ddcampayo
m Ideal-gas law: Forgot the "oint" in the divergence theorem paragraph
 
imported>EndlesssTV
 
(2 intermediate revisions by 2 users not shown)
Line 2: Line 2:


In [[mechanics]], the '''virial theorem''' provides a general equation that relates the average over time of the total [[kinetic energy]] of a stable system of discrete particles, bound by a [[conservative force]] (where the [[Work (physics)|work]] done is independent of path), with that of the total [[potential energy]] of the system. Mathematically, the [[theorem]] states that
In [[mechanics]], the '''virial theorem''' provides a general equation that relates the average over time of the total [[kinetic energy]] of a stable system of discrete particles, bound by a [[conservative force]] (where the [[Work (physics)|work]] done is independent of path), with that of the total [[potential energy]] of the system. Mathematically, the [[theorem]] states that
<math display="block">
<math display="block">
  \langle T \rangle = -\frac12\,\sum_{k=1}^N \langle\mathbf{F}_k \cdot \mathbf{r}_k\rangle,
  \langle T \rangle = -\frac12\,\sum_{k=1}^N \langle\mathbf{F}_k \cdot \mathbf{r}_k\rangle,
</math>
</math>
where {{mvar|T}} is the total kinetic energy of the {{mvar|N}} particles, {{math|'''F'''<sub>''k''</sub>}} represents the [[force]] on the {{mvar|k}}th particle, which is located at position {{math|'''r'''<sub>''k''</sub>}}, and [[angle brackets]] represent the average over time of the enclosed quantity. The word '''virial''' for the right-hand side of the equation derives from {{lang|la|vis}}, the [[Latin]] word for "force" or "energy", and was given its technical definition by [[Rudolf Clausius]] in 1870.<ref>{{cite journal | last = Clausius | first = RJE | year = 1870 | title = On a Mechanical Theorem Applicable to Heat | journal = Philosophical Magazine |series=Series 4 | volume = 40 | issue = 265 | pages = 122–127 |doi=10.1080/14786447008640370}}</ref>
 
where <math>T</math> is the total kinetic energy of the <math>N</math> particles, <math>F_k</math> represents the [[force]] on the <math>k</math>th particle, which is located at position {{math|'''r'''<sub>''k''</sub>}}, and [[angle brackets]] represent the average over time of the enclosed quantity. The word '''virial''' for the right-hand side of the equation derives from {{lang|la|vis}}, the [[Latin]] word for "force" or "energy", and was given its technical definition by [[Rudolf Clausius]] in 1870.<ref>{{cite journal | last = Clausius | first = RJE | year = 1870 | title = On a Mechanical Theorem Applicable to Heat | journal = Philosophical Magazine |series=Series 4 | volume = 40 | issue = 265 | pages = 122–127 |doi=10.1080/14786447008640370}}</ref>


The significance of the virial theorem is that it allows the average total kinetic energy to be calculated even for very complicated systems that defy an exact solution, such as those considered in [[statistical mechanics]]; this average total kinetic energy is related to the [[temperature]] of the system by the [[equipartition theorem]]. However, the virial theorem does not depend on the notion of temperature and holds even for systems that are not in [[thermal equilibrium]]. The virial theorem has been generalized in various ways, most notably to a [[tensor]] form.
The significance of the virial theorem is that it allows the average total kinetic energy to be calculated even for very complicated systems that defy an exact solution, such as those considered in [[statistical mechanics]]; this average total kinetic energy is related to the [[temperature]] of the system by the [[equipartition theorem]]. However, the virial theorem does not depend on the notion of temperature and holds even for systems that are not in [[thermal equilibrium]]. The virial theorem has been generalized in various ways, most notably to a [[tensor]] form.


If the force between any two particles of the system results from a [[potential energy]] {{math|1=''V''(''r'') = ''αr<sup>n</sup>''}} that is proportional to some power {{mvar|n}} of the [[mean inter-particle distance|interparticle distance]] {{mvar|r}}, the virial theorem takes the simple form
If the force between any two particles of the system results from a [[potential energy]] <math>V(r)=\alpha r^n</math> that is proportional to some power <math>n</math> of the [[mean inter-particle distance|interparticle distance]] <math>r</math>, the virial theorem takes the simple form
 
<math display="block">
<math display="block">
  2 \langle T \rangle = n \langle V_\text{TOT} \rangle.
  2 \langle T \rangle = n \langle V_\text{TOT} \rangle.
</math>
</math>


Thus, twice the average total kinetic energy {{math|{{angbr|''T''}}}} equals {{mvar|n}} times the average total potential energy {{math|{{angbr|''V''<sub>TOT</sub>}}}}. Whereas {{math|''V''(''r'')}} represents the potential energy between two particles of distance {{mvar|r}}, {{math|''V''<sub>TOT</sub>}} represents the total potential energy of the system, i.e., the sum of the potential energy {{math|''V''(''r'')}} over all pairs of particles in the system. A common example of such a system is a star held together by its own gravity, where {{nobr|{{math|''n'' {{=}} −1}}.}}
Thus, twice the average total kinetic energy <math>\langle T\rangle</math> equals <math>n</math> times the average total potential energy  
<math>\langle V_\text{TOT}\rangle</math>. Whereas <math>V(r)</math> represents the potential energy between two particles of distance <math>r</math>, <math>V_\text{TOT}</math> represents the total potential energy of the system, i.e., the sum of the potential energy <math>V(r)</math> over all pairs of particles in the system. A common example of such a system is a star held together by its own gravity, where <math>n=-1</math>.


== History ==
== History ==
In 1870, [[Rudolf Clausius]] delivered the lecture "On a Mechanical Theorem Applicable to Heat" to the Association for Natural and Medical Sciences of the Lower Rhine, following a 20-year study of thermodynamics. The lecture stated that the mean [[vis viva]] of the system is equal to its virial, or that the average kinetic energy is one half of the average potential energy. The virial theorem can be obtained directly from [[Lagrange's identity]]{{Moved resource|date=December 2023}} as applied in classical gravitational dynamics, the original form of which was included in Lagrange's "Essay on the Problem of Three Bodies" published in 1772. [[Carl Gustav Jacob Jacobi|Carl Jacobi's]] generalization of the identity to ''N''&nbsp;bodies and to the present form of Laplace's identity closely resembles the classical virial theorem. However, the interpretations leading to the development of the equations were very different, since at the time of development, statistical dynamics had not yet unified the separate studies of thermodynamics and classical dynamics.<ref>{{Cite book |last=Collins |first=G. W. |year=1978 |title=The Virial Theorem in Stellar Astrophysics |publisher=Pachart Press |url=http://ads.harvard.edu/books/1978vtsa.book/ |bibcode=1978vtsa.book.....C |isbn=978-0-912918-13-6 |chapter=Introduction}}</ref> The theorem was later utilized, popularized, generalized and further developed by [[James Clerk Maxwell]], [[John Strutt, 3rd Baron Rayleigh|Lord Rayleigh]], [[Henri Poincaré]], [[Subrahmanyan Chandrasekhar]], [[Enrico Fermi]], [[Paul Ledoux]], [[Richard Bader]] and [[Eugene Parker]]. [[Fritz Zwicky]] was the first to use the virial theorem to deduce the existence of unseen matter, which is now called [[dark matter]]. [[Richard Bader]] showed that the charge distribution of a total system can be partitioned into its kinetic and potential energies that obey the virial theorem.<ref name=rfwbpmb1972>{{cite journal |author1-last=Bader |author1-first=R. F. W. |author1-link=Richard Bader |author2-last=Beddall |author2-first=P. M. |title=Virial Field Relationship for Molecular Charge Distributions and the Spatial Partitioning of Molecular Properties | journal=The Journal of Chemical Physics |volume=56 |issue=7 |url=https://aip.scitation.org/doi/pdf/10.1063/1.1677699 |year=1972 |pages=3320–3329 |doi=10.1063/1.1677699 |bibcode=1972JChPh..56.3320B}}</ref> As another example of its many applications, the virial theorem has been used to derive the [[Chandrasekhar limit]] for the stability of [[white dwarf]] [[star]]s.
In 1870, [[Rudolf Clausius]] delivered the lecture "On a Mechanical Theorem Applicable to Heat" to the Association for Natural and Medical Sciences of the Lower Rhine, following a 20-year study of thermodynamics. The lecture stated that the mean [[vis viva]] of the system is equal to its virial, or that the average kinetic energy is one half of the average potential energy. The virial theorem can be obtained directly from [[Lagrange's identity]]{{Moved resource|date=December 2023}} as applied in classical gravitational dynamics, the original form of which was included in Lagrange's "Essay on the Problem of Three Bodies" published in 1772. [[Carl Gustav Jacob Jacobi|Carl Jacobi's]] generalization of the identity to <math>N</math> bodies and to the present form of Laplace's identity closely resembles the classical virial theorem. However, the interpretations leading to the development of the equations were very different, since at the time of development, statistical dynamics had not yet unified the separate studies of thermodynamics and classical dynamics.<ref>{{Cite book |last=Collins |first=G. W. |year=1978 |title=The Virial Theorem in Stellar Astrophysics |publisher=Pachart Press |url=http://ads.harvard.edu/books/1978vtsa.book/ |bibcode=1978vtsa.book.....C |isbn=978-0-912918-13-6 |chapter=Introduction}}</ref> The theorem was later utilized, popularized, generalized and further developed by [[James Clerk Maxwell]], [[John Strutt, 3rd Baron Rayleigh|Lord Rayleigh]], [[Henri Poincaré]], [[Subrahmanyan Chandrasekhar]], [[Enrico Fermi]], [[Paul Ledoux]], [[Richard Bader]] and [[Eugene Parker]]. [[Fritz Zwicky]] was the first to use the virial theorem to deduce the existence of unseen matter, which is now called [[dark matter]]. [[Richard Bader]] showed that the charge distribution of a total system can be partitioned into its kinetic and potential energies that obey the virial theorem.<ref name=rfwbpmb1972>{{cite journal |author1-last=Bader |author1-first=R. F. W. |author1-link=Richard Bader |author2-last=Beddall |author2-first=P. M. |title=Virial Field Relationship for Molecular Charge Distributions and the Spatial Partitioning of Molecular Properties | journal=The Journal of Chemical Physics |volume=56 |issue=7 |url=https://aip.scitation.org/doi/pdf/10.1063/1.1677699 |year=1972 |pages=3320–3329 |doi=10.1063/1.1677699 |bibcode=1972JChPh..56.3320B}}</ref> As another example of its many applications, the virial theorem has been used to derive the [[Chandrasekhar limit]] for the stability of [[white dwarf]] [[star]]s.


== Illustrative special case ==
== Illustrative special case ==


Consider {{math|1=''N'' = 2}} particles with equal mass {{mvar|m}}, acted upon by mutually attractive forces. Suppose the particles are at diametrically opposite points of a circular orbit with radius {{mvar|r}}. The velocities are {{math|'''v'''<sub>1</sub>(''t'')}} and {{math|1='''v'''<sub>2</sub>(''t'') = −'''v'''<sub>1</sub>(''t'')}}, which are normal to forces {{math|'''F'''<sub>1</sub>(''t'')}} and {{math|1='''F'''<sub>2</sub>(''t'') = −'''F'''<sub>1</sub>(''t'')}}. The respective magnitudes are fixed at {{mvar|v}} and {{mvar|F}}. The average kinetic energy of the system in an interval of time from {{math|''t''<sub>1</sub>}} to {{math|''t''<sub>2</sub>}} is  
Consider <math>N=2</math> particles with equal mass <math>m</math>, acted upon by mutually attractive forces. Suppose the particles are at diametrically opposite points of a circular orbit with radius <math>r</math>. The velocities are <math>\mathbf{v}_1(t)</math> and <math>\mathbf{v}_2(t)=-\mathbf{v}_1(t)</math>, which are normal to forces <math>\mathbf{F}_1(t)</math> and <math>\mathbf{F}_2(t)=-\mathbf{F}_1(t)</math>. The respective magnitudes are fixed at <math>v</math> and <math>F</math>. The average kinetic energy of the system in an interval of time from <math>t_1</math> to <math>t_2</math> is
<math display="block">
<math display="block">
  \langle T \rangle =
  \langle T \rangle =
Line 27: Line 32:
  \frac{1}{t_2 - t_1} \int_{t_1}^{t_2} \left( \frac12 m|\mathbf{v}_1(t)|^2 + \frac12 m|\mathbf{v}_2(t)|^2 \right) \,dt = mv^2.
  \frac{1}{t_2 - t_1} \int_{t_1}^{t_2} \left( \frac12 m|\mathbf{v}_1(t)|^2 + \frac12 m|\mathbf{v}_2(t)|^2 \right) \,dt = mv^2.
</math>
</math>
Taking center of mass as the origin, the particles have positions {{math|'''r'''<sub>1</sub>(''t'')}} and {{math|1='''r'''<sub>2</sub>(''t'') = −'''r'''<sub>1</sub>(''t'')}} with fixed magnitude {{mvar|r}}. The attractive forces act in opposite directions as positions, so <!--<math>\mathbf F_1(t) \cdot \mathbf r_1(t) = \mathbf F_2(t) \mathbf r_2(t) = -Fr </math>-->{{math|1='''F'''<sub>1</sub>(''t'') ⋅ '''r'''<sub>1</sub>(''t'') = '''F'''<sub>2</sub>(''t'') ⋅ '''r'''<sub>2</sub>(''t'') = −''Fr''}}. Applying the [[centripetal force]] formula {{math|1=''F'' = ''mv''<sup>2</sup>/''r''}} results in
 
Taking center of mass as the origin, the particles have positions <math>\mathbf{r}_1(t)</math> and <math>\mathbf{r}_2(t)=-\mathbf{r}_1(t)</math> with fixed magnitude <math>r</math>. The attractive forces act in opposite directions as positions, so <math>\mathbf F_1(t) \cdot \mathbf r_1(t) = \mathbf F_2(t) \mathbf r_2(t) = -Fr </math>. Applying the [[centripetal force]] formula <math>F=mv^2/r</math> results in
 
<math display="block">
<math display="block">
  -\frac12 \sum_{k=1}^N \langle \mathbf{F}_k \cdot \mathbf{r}_k \rangle =
  -\frac12 \sum_{k=1}^N \langle \mathbf{F}_k \cdot \mathbf{r}_k \rangle =
  -\frac12(-Fr - Fr) = Fr = \frac{mv^2}{r} \cdot r = mv^2 = \langle T \rangle,
  -\frac12(-Fr - Fr) = Fr = \frac{mv^2}{r} \cdot r = mv^2 = \langle T \rangle,
</math>
</math>
as required. Note: If the origin is displaced, then we'd obtain the same result. This is because the dot product of the displacement with equal and opposite forces {{math|'''F'''<sub>1</sub>(''t'')}}, {{math|'''F'''<sub>2</sub>(''t'')}} results in net cancellation.
 
as required. Note: If the origin is displaced, then we'd obtain the same result. This is because the [[dot product]] of the displacement with equal and opposite forces <math>\mathbf{F}_1(t)</math>, <math>\mathbf{F}_2(t)</math> results in net cancellation.


== Statement and derivation ==
== Statement and derivation ==
Although the virial theorem depends on averaging the total kinetic and potential energies, the presentation here postpones the averaging to the last step.
Although the virial theorem depends on averaging the total kinetic and potential energies, the presentation here postpones the averaging to the last step.


For a collection of {{mvar|N}} point particles, the [[scalar (physics)|scalar]] [[moment of inertia]] {{mvar|I}} about the [[origin (mathematics)|origin]] is
For a collection of <math>N</math> point particles, the [[scalar (physics)|scalar]] [[moment of inertia]] <math>I</math> about the [[origin (mathematics)|origin]] is
 
<math display="block">
<math display="block">
  I = \sum_{k=1}^N m_k |\mathbf{r}_k|^2 = \sum_{k=1}^N m_k r_k^2,
  I = \sum_{k=1}^N m_k |\mathbf{r}_k|^2 = \sum_{k=1}^N m_k r_k^2,
</math>
</math>
where {{math|''m''<sub>''k''</sub>}} and {{math|'''r'''<sub>''k''</sub>}} represent the mass and position of the {{mvar|k}}th particle. {{math|1=''r''<sub>''k''</sub> = {{abs|'''r'''<sub>''k''</sub>}}}} is the position vector magnitude. Consider the scalar
 
where <math>m_k</math> and <math>\mathbf{r}_k</math> represent the mass and position of the <math>k</math>th particle and <math>r_k=|\mathbf{r}_k|</math> is the position vector magnitude. Consider the scalar
 
<math display="block">
<math display="block">
  G = \sum_{k=1}^N \mathbf{p}_k \cdot \mathbf{r}_k,
  G = \sum_{k=1}^N \mathbf{p}_k \cdot \mathbf{r}_k,
</math>
</math>
where {{math|'''p'''<sub>''k''</sub>}} is the [[momentum]] [[vector (geometry)|vector]] of the {{mvar|k}}th particle.<ref name=":0">{{Cite book |last=Goldstein |first=Herbert |author-link=Herbert Goldstein |title=Classical mechanics |date=1980 |publisher=Addison-Wesley |isbn=0-201-02918-9 |edition=2nd |oclc=5675073}}</ref> Assuming that the masses are constant, {{mvar|G}} is one-half the time derivative of this moment of inertia:
 
where <math>\mathbf{p}_k</math> is the [[momentum]] [[vector (geometry)|vector]] of the <math>k</math>th particle.<ref name=":0">{{Cite book |last=Goldstein |first=Herbert |author-link=Herbert Goldstein |title=Classical mechanics |date=1980 |publisher=Addison-Wesley |isbn=0-201-02918-9 |edition=2nd |oclc=5675073}}</ref> Assuming that the masses are constant, <math>G</math> is one-half the [[time derivative]] of this moment of inertia:
 
<math display="block">\begin{align}
<math display="block">\begin{align}
  \frac12 \frac{dI}{dt} &= \frac12 \frac{d}{dt} \sum_{k=1}^N m_k \mathbf{r}_k \cdot \mathbf{r}_k \\
  \frac12 \frac{dI}{dt} &= \frac12 \frac{d}{dt} \sum_{k=1}^N m_k \mathbf{r}_k \cdot \mathbf{r}_k \\
Line 51: Line 64:
                       &= \sum_{k=1}^N \mathbf{p}_k \cdot \mathbf{r}_k = G.
                       &= \sum_{k=1}^N \mathbf{p}_k \cdot \mathbf{r}_k = G.
\end{align}</math>
\end{align}</math>
In turn, the time derivative of {{mvar|G}} is
 
In turn, the time derivative of <math>G</math> is
 
<math display="block">\begin{align}
<math display="block">\begin{align}
  \frac{dG}{dt} &= \sum_{k=1}^N \mathbf{p}_k \cdot \frac{d\mathbf{r}_k}{dt} +
  \frac{dG}{dt} &= \sum_{k=1}^N \mathbf{p}_k \cdot \frac{d\mathbf{r}_k}{dt} +
Line 59: Line 74:
               &= 2 T + \sum_{k=1}^N \mathbf{F}_k \cdot \mathbf{r}_k,
               &= 2 T + \sum_{k=1}^N \mathbf{F}_k \cdot \mathbf{r}_k,
\end{align}</math>
\end{align}</math>
where {{math|''m''<sub>''k''</sub>}} is the mass of the {{mvar|k}}th particle, {{math|1='''F'''<sub>''k''</sub> = {{sfrac|''d'''''p'''<sub>''k''</sub>|''dt''}}}} is the net force on that particle, and {{mvar|T}} is the total [[kinetic energy]] of the system according to the {{math|1='''v'''<sub>''k''</sub> = {{sfrac|''d'''''r'''<sub>''k''</sub>|''dt''}}}} velocity of each particle,
 
where <math>m_k</math> is the mass of the <math>k</math>th particle, <math>\mathbf{F}_k=\frac{d\mathbf{p}_k}{dt}</math> is the net force on that particle, and <math>T</math> is the total [[kinetic energy]] of the system according to the <math>\mathbf{v}_k=\frac{d\mathbf{r}_k}{dt}</math> velocity of each particle,
 
<math display="block">
<math display="block">
  T = \frac12 \sum_{k=1}^N m_k v_k^2 =
  T = \frac12 \sum_{k=1}^N m_k v_k^2 =
Line 67: Line 84:
=== Connection with the potential energy between particles ===
=== Connection with the potential energy between particles ===


The total force {{math|'''F'''<sub>''k''</sub>}} on particle {{mvar|k}} is the sum of all the forces from the other particles {{mvar|j}} in the system:
The total force <math>\mathbf{F}_k</math> on particle <math>k</math> is the sum of all the forces from the other particles <math>j</math> in the system:
 
<math display="block">
<math display="block">
  \mathbf{F}_k = \sum_{j=1}^N \mathbf{F}_{jk},
  \mathbf{F}_k = \sum_{j=1}^N \mathbf{F}_{jk},
</math>
</math>
where {{math|'''F'''<sub>''jk''</sub>}} is the force applied by particle {{mvar|j}} on particle {{mvar|k}}. Hence, the virial can be written as
 
where <math>\mathbf{F}_{jk}</math> is the force applied by particle <math>j</math> on particle <math>k</math>. Hence, the virial can be written as
 
<math display="block">
<math display="block">
  -\frac12\,\sum_{k=1}^N \mathbf{F}_k \cdot \mathbf{r}_k =
  -\frac12\,\sum_{k=1}^N \mathbf{F}_k \cdot \mathbf{r}_k =
Line 77: Line 97:
</math>
</math>


Since no particle acts on itself (i.e., {{math|1='''F'''<sub>''jj''</sub> = 0}} for {{math|1 ≤ ''j'' ≤ ''N''}}), we split the sum in terms below and above this diagonal and add them together in pairs:
Since no particle acts on itself (i.e., <math>\mathbf{F}_{jj}=0</math> for <math>1\leq j\leq N</math>), we split the sum in terms below and above this diagonal and add them together in pairs:
 
<math display="block">\begin{align}
<math display="block">\begin{align}
  \sum_{k=1}^N \mathbf{F}_k \cdot \mathbf{r}_k
  \sum_{k=1}^N \mathbf{F}_k \cdot \mathbf{r}_k
Line 87: Line 108:
     \sum_{k=2}^N \sum_{j=1}^{k-1} \mathbf{F}_{jk} \cdot (\mathbf{r}_k - \mathbf{r}_j),
     \sum_{k=2}^N \sum_{j=1}^{k-1} \mathbf{F}_{jk} \cdot (\mathbf{r}_k - \mathbf{r}_j),
\end{align}</math>
\end{align}</math>
where we have used [[Newton's laws of motion|Newton's third law of motion]], i.e., {{math|1='''F'''<sub>''jk''</sub> = −'''F'''<sub>''kj''</sub>}} (equal and opposite reaction).


It often happens that the forces can be derived from a potential energy {{mvar|''V''<sub>''jk''</sub>}} that is a function only of the distance {{math|''r''<sub>''jk''</sub>}} between the point particles {{mvar|j}} and {{mvar|k}}. Since the force is the negative gradient of the potential energy, we have in this case
where we have used [[Newton's laws of motion|Newton's third law of motion]], i.e., <math>\mathbf{F}_{jk}=-\mathbf{F}_{kj}</math> (equal and opposite reaction).
 
It often happens that the forces can be derived from a potential energy <math>V_{jk}</math> that is a function only of the distance <math>r_{jk}</math>
between the point particles <math>j</math> and <math>k</math>. Since the force is the negative gradient of the potential energy, we have in this case
 
<math display="block">
<math display="block">
  \mathbf{F}_{jk} = -\nabla_{\mathbf{r}_k} V_{jk} =
  \mathbf{F}_{jk} = -\nabla_{\mathbf{r}_k} V_{jk} =
  -\frac{dV_{jk}}{dr_{jk}} \left(\frac{\mathbf{r}_k - \mathbf{r}_j}{r_{jk}}\right),
  -\frac{dV_{jk}}{dr_{jk}} \left(\frac{\mathbf{r}_k - \mathbf{r}_j}{r_{jk}}\right),
</math>
</math>
which is equal and opposite to {{math|1='''F'''<sub>''kj''</sub> = −∇<sub>'''r'''<sub>''j''</sub></sub>''V''<sub>''kj''</sub> = −∇<sub>'''r'''<sub>''j''</sub></sub>''V''<sub>''jk''</sub>}}, the force applied by particle {{mvar|k}} on particle {{mvar|j}}, as may be confirmed by explicit calculation. Hence,
 
which is equal and opposite to <math>\mathbf{F}_{kj}=-\nabla_{\mathbf{r}_j}V_{kj}=-\nabla_{\mathbf{r}_j}V_{jk}</math>, the force applied by particle <math>k</math> on particle <math>j</math>, as may be confirmed by explicit calculation. Hence,
 
<math display="block">\begin{align}
<math display="block">\begin{align}
  \sum_{k=1}^N \mathbf{F}_k \cdot \mathbf{r}_k
  \sum_{k=1}^N \mathbf{F}_k \cdot \mathbf{r}_k
Line 103: Line 129:


Thus
Thus
<math display="block">
<math display="block">
  \frac{dG}{dt} = 2 T + \sum_{k=1}^N \mathbf{F}_k \cdot \mathbf{r}_k =
  \frac{dG}{dt} = 2 T + \sum_{k=1}^N \mathbf{F}_k \cdot \mathbf{r}_k =
Line 109: Line 136:


=== Special case of power-law forces ===
=== Special case of power-law forces ===
In a common special case, the potential energy {{mvar|V}} between two particles is proportional to a power {{mvar|n}} of their distance {{mvar|r<sub>ij</sub>}}:
In a common special case, the potential energy <math>V</math> between two particles is proportional to a power <math>n</math> of their distance <math>r_{ij}</math>:
 
<math display="block">
<math display="block">
  V_{jk} = \alpha r_{jk}^n,
  V_{jk} = \alpha r_{jk}^n,
</math>
</math>
where the coefficient {{mvar|α}} and the exponent {{mvar|n}} are constants. In such cases, the virial is
 
where the coefficient <math>\alpha</math> and the exponent <math>n</math> are constants. In such cases, the virial is
 
<math display="block">\begin{align}
<math display="block">\begin{align}
  -\frac12\,\sum_{k=1}^N \mathbf{F}_k \cdot \mathbf{r}_k
  -\frac12\,\sum_{k=1}^N \mathbf{F}_k \cdot \mathbf{r}_k
Line 120: Line 150:
   &= \frac12\,\sum_{k=1}^N \sum_{j<k} n V_{jk} = \frac{n}{2}\, V_\text{TOT},
   &= \frac12\,\sum_{k=1}^N \sum_{j<k} n V_{jk} = \frac{n}{2}\, V_\text{TOT},
\end{align}</math>
\end{align}</math>
where
where
<math display="block">
<math display="block">
  V_\text{TOT} = \sum_{k=1}^N \sum_{j<k} V_{jk}
  V_\text{TOT} = \sum_{k=1}^N \sum_{j<k} V_{jk}
</math>
</math>
is the total potential energy of the system.
is the total potential energy of the system.


Thus
Thus
<math display="block">
<math display="block">
  \frac{dG}{dt} = 2 T + \sum_{k=1}^N \mathbf{F}_k \cdot \mathbf{r}_k = 2 T - n V_\text{TOT}.
  \frac{dG}{dt} = 2 T + \sum_{k=1}^N \mathbf{F}_k \cdot \mathbf{r}_k = 2 T - n V_\text{TOT}.
</math>
</math>


For gravitating systems the exponent {{mvar|n}} equals −1, giving '''Lagrange's identity'''
For gravitating systems the exponent <math>n=-1</math>, giving '''Lagrange's identity'''
 
<math display="block">
<math display="block">
  \frac{dG}{dt} = \frac12 \frac{d^2 I}{dt^2} = 2 T + V_\text{TOT},
  \frac{dG}{dt} = \frac12 \frac{d^2 I}{dt^2} = 2 T + V_\text{TOT},
</math>
</math>
which was derived by [[Joseph-Louis Lagrange]] and extended by [[Carl Gustav Jacob Jacobi|Carl Jacobi]].
which was derived by [[Joseph-Louis Lagrange]] and extended by [[Carl Gustav Jacob Jacobi|Carl Jacobi]].


=== Time averaging ===
=== Time averaging ===


The average of this derivative over a duration {{mvar|τ}} is defined as
The average of this derivative over a duration <math>\tau</math> is defined as
 
<math display="block">
<math display="block">
  \left\langle \frac{dG}{dt} \right\rangle_\tau = \frac{1}{\tau} \int_0^\tau \frac{dG}{dt} \,dt = \frac{1}{\tau} \int_{G(0)}^{G(\tau)} \,dG = \frac{G(\tau) - G(0)}{\tau},
  \left\langle \frac{dG}{dt} \right\rangle_\tau = \frac{1}{\tau} \int_0^\tau \frac{dG}{dt} \,dt = \frac{1}{\tau} \int_{G(0)}^{G(\tau)} \,dG = \frac{G(\tau) - G(0)}{\tau},
</math>
</math>
from which we obtain the exact equation
from which we obtain the exact equation
<math display="block">
<math display="block">
  \left\langle \frac{dG}{dt} \right\rangle_\tau =
  \left\langle \frac{dG}{dt} \right\rangle_\tau =
Line 149: Line 188:
</math>
</math>


The '''virial theorem''' states that if {{math|1={{angbr|''dG''/''dt''}}{{sub|''τ''}} = 0}}, then
The '''virial theorem''' states that if <math>\langle dG/dt\rangle_\tau=0</math>, then
 
<math display="block">
<math display="block">
  2 \langle T \rangle_\tau = -\sum_{k=1}^N \langle \mathbf{F}_k \cdot \mathbf{r}_k \rangle_\tau.
  2 \langle T \rangle_\tau = -\sum_{k=1}^N \langle \mathbf{F}_k \cdot \mathbf{r}_k \rangle_\tau.
</math>
</math>


There are many reasons why the average of the time derivative might vanish. One often-cited reason applies to stably bound systems, that is, to systems that hang together forever and whose parameters are finite. In this case, velocities and coordinates of the particles of the system have upper and lower limits, so that {{math|''G''<sup>bound</sup>}} is bounded between two extremes, {{math|''G''<sub>min</sub>}} and {{math|''G''<sub>max</sub>}}, and the average goes to zero in the limit of infinite {{mvar|τ}}:
There are many reasons why the average of the time derivative might vanish. One often-cited reason applies to stably bound systems, that is, to systems that hang together forever and whose parameters are finite. In this case, velocities and coordinates of the particles of the system have upper and lower limits, so that <math>G^{\text{bound}}</math> is bounded between two extremes, <math>G_{\text{min}}</math> and <math>G_{\text{max}}</math>, and the average goes to zero in the limit of infinite <math>\tau</math>:
 
<math display="block">
<math display="block">
  \lim_{\tau \to \infty} \left| \left\langle \frac{dG^{\text{bound}}}{dt} \right\rangle_\tau \right| =
  \lim_{\tau \to \infty} \left| \left\langle \frac{dG^{\text{bound}}}{dt} \right\rangle_\tau \right| =
Line 161: Line 202:
</math>
</math>


Even if the average of the time derivative of {{mvar|G}} is only approximately zero, the virial theorem holds to the same degree of approximation.
Even if the average of the time derivative of <math>G</math> is only approximately zero, the virial theorem holds to the same degree of approximation.
 
For power-law forces with an exponent <math>n</math>, the general equation holds:


For power-law forces with an exponent {{mvar|n}}, the general equation holds:
<math display="block">
<math display="block">
  \langle T \rangle_\tau = -\frac12 \sum_{k=1}^N \langle \mathbf{F}_k \cdot \mathbf{r}_k \rangle_\tau
  \langle T \rangle_\tau = -\frac12 \sum_{k=1}^N \langle \mathbf{F}_k \cdot \mathbf{r}_k \rangle_\tau
Line 169: Line 211:
</math>
</math>


For [[gravitation]]al attraction, {{math|''n'' {{=}} −1}}, and the average kinetic energy equals half of the average negative potential energy:
For [[gravitation]]al attraction, <math>n=-1</math>, and the average kinetic energy equals half of the average negative potential energy:
 
<math display="block">
<math display="block">
  \langle T \rangle_\tau = -\frac12 \langle V_\text{TOT} \rangle_\tau.
  \langle T \rangle_\tau = -\frac12 \langle V_\text{TOT} \rangle_\tau.
Line 185: Line 228:


Evaluate the [[commutator]] of the [[Hamiltonian (quantum mechanics)|Hamiltonian]]
Evaluate the [[commutator]] of the [[Hamiltonian (quantum mechanics)|Hamiltonian]]
<math display="block">
<math display="block">
  H = V\bigl(\{X_i\}\bigr) + \sum_n \frac{P_n^2}{2m_n}
  H = V\bigl(\{X_i\}\bigr) + \sum_n \frac{P_n^2}{2m_n}
</math>
</math>
with the position operator {{mvar|X<sub>n</sub>}} and the momentum operator
 
with the position operator <math>X_n</math> and the momentum operator
 
<math display="block">
<math display="block">
  P_n = -i\hbar \frac{d}{dX_n}
  P_n = -i\hbar \frac{d}{dX_n}
</math>
</math>
of particle {{mvar|n}},
 
of particle <math>n</math>,
 
<math display="block">
<math display="block">
  [H, X_n P_n] = X_n [H, P_n] + [H, X_n] P_n = i\hbar X_n \frac{dV}{dX_n} - i\hbar\frac{P_n^2}{m_n}.
  [H, X_n P_n] = X_n [H, P_n] + [H, X_n] P_n = i\hbar X_n \frac{dV}{dX_n} - i\hbar\frac{P_n^2}{m_n}.
Line 198: Line 246:


Summing over all particles, one finds that for
Summing over all particles, one finds that for
<math display="block">
<math display="block">
  Q = \sum_n X_n P_n
  Q = \sum_n X_n P_n
</math>
</math>
the commutator is
the commutator is
<math display="block">
<math display="block">
  \frac{i}{\hbar} [H, Q] = 2 T - \sum_n X_n \frac{dV}{dX_n},
  \frac{i}{\hbar} [H, Q] = 2 T - \sum_n X_n \frac{dV}{dX_n},
</math>
</math>
where <math display="inline">T = \sum_n P_n^2/2m_n</math> is the kinetic energy. The left-hand side of this equation is just {{math|''dQ''/''dt''}}, according to the [[Heisenberg equation]] of motion. The expectation value {{math|{{angbr|''dQ''/''dt''}}}} of this time derivative vanishes in a stationary state, leading to the '''''quantum virial theorem''''':
 
where <math display="inline">T = \sum_n P_n^2/2m_n</math> is the kinetic energy. The left-hand side of this equation is just  
<math>dQ/dt</math>, according to the [[Heisenberg equation]] of motion. The expectation value <math>\langle dQ/dt\rangle</math> of this time derivative vanishes in a stationary state, leading to the '''''quantum virial theorem''''':
 
<math display="block">
<math display="block">
  2\langle T\rangle = \sum_n \left\langle X_n \frac{dV}{dX_n}\right\rangle.
  2\langle T\rangle = \sum_n \left\langle X_n \frac{dV}{dX_n}\right\rangle.
Line 215: Line 269:
Let <math>g(s)</math> be continuous and real-valued, with <math>g(0) = 0</math>.
Let <math>g(s)</math> be continuous and real-valued, with <math>g(0) = 0</math>.


Denote <math display="inline">G(s) = \int_0^s g(t)\,dt</math>.
Denote <math display="inline">G(s) = \int_0^s g(t)\,dt</math>. Let
Let
 
<math display="block">
<math display="block">
  u \in L^\infty_{\text{loc}}(\R^n), \quad
  u \in L^\infty_{\text{loc}}(\R^n), \quad
Line 223: Line 277:
  n \in \N
  n \in \N
</math>
</math>
be a solution to the equation
be a solution to the equation
<math display="block">
<math display="block">
  -\nabla^2 u = g(u),
  -\nabla^2 u = g(u),
</math>
</math>
in the sense of [[Distribution (mathematics)|distributions]].
in the sense of [[Distribution (mathematics)|distributions]].
Then <math>u</math> satisfies the relation
Then <math>u</math> satisfies the relation
<math display="block">
<math display="block">
  \left(\frac{n - 2}{2}\right) \int_{\R^n} |\nabla u(x)|^2 \,dx = n \int_{\R^n} G\big(u(x)\big) \,dx.
  \left(\frac{n - 2}{2}\right) \int_{\R^n} |\nabla u(x)|^2 \,dx = n \int_{\R^n} G\big(u(x)\big) \,dx.
Line 234: Line 292:


== In special relativity ==
== In special relativity ==
{{Unreferenced section|date=April 2020}}For a single particle in special relativity, it is not the case that {{math|1=''T'' = {{sfrac|1|2}}'''p''' · '''v'''}}. Instead, it is true that {{math|1=''T'' = (''γ'' − 1) ''mc''<sup>2</sup>}}, where {{mvar|γ}} is the [[Lorentz factor]]
{{Unreferenced section|date=April 2020}}
For a single particle in [[special relativity]], it is not the case that  
<math>T=\frac{1}{2}\mathbf{p}\cdot \mathbf{v}</math>. Instead, it is true that <math>T=(\gamma-1)mc^2</math>, where <math>\gamma</math> is the [[Lorentz factor]]
 
<math display="block">
<math display="block">
  \gamma = \frac{1}{\sqrt{1 - \frac{v^2}{c^2}}},
  \gamma = \frac{1}{\sqrt{1 - \frac{v^2}{c^2}}},
</math>
</math>
and {{math|1='''β''' = {{sfrac|'''v'''|''c''}}}}. We have
 
and defining <math>\mathbf\beta = \frac{\mathbf{v}}{c}</math>, we have
 
<math display="block">\begin{align}
<math display="block">\begin{align}
  \frac 12 \mathbf{p} \cdot \mathbf{v}
  \frac 12 \mathbf{p} \cdot \mathbf{v}
Line 245: Line 308:
   &= \left(\frac{\gamma \beta^2}{2(\gamma - 1)}\right) T.
   &= \left(\frac{\gamma \beta^2}{2(\gamma - 1)}\right) T.
\end{align}</math>
\end{align}</math>
The last expression can be simplified to
The last expression can be simplified to
<math display="block">
<math display="block">
  \left(\frac{1 + \sqrt{1 - \beta^2}}{2}\right) T = \left(\frac{\gamma + 1}{2 \gamma}\right) T.
  \left(\frac{1 + \sqrt{1 - \beta^2}}{2}\right) T = \left(\frac{\gamma + 1}{2 \gamma}\right) T.
</math>
</math>
Thus, under the conditions described in earlier sections (including [[Newton's third law of motion]], {{math|1='''F'''<sub>''jk''</sub> = −'''F'''<sub>''kj''</sub>}}, despite relativity), the time average for {{mvar|N}} particles with a power law potential is
 
Thus, under the conditions described in earlier sections (including [[Newton's third law of motion]],  
<math>\mathbf{F}_{jk} = -\mathbf{F}_{kj}</math>, despite relativity), the time average for <math>N</math> particles with a power law potential is
 
<math display="block">
<math display="block">
  \frac{n}{2} \left\langle V_\text{TOT} \right\rangle_\tau =
  \frac{n}{2} \left\langle V_\text{TOT} \right\rangle_\tau =
Line 255: Line 323:
  \left\langle \sum_{k=1}^N \left(\frac{\gamma_k + 1}{2 \gamma_k}\right) T_k \right\rangle_\tau.
  \left\langle \sum_{k=1}^N \left(\frac{\gamma_k + 1}{2 \gamma_k}\right) T_k \right\rangle_\tau.
</math>
</math>
In particular, the ratio of kinetic energy to potential energy is no longer fixed, but necessarily falls into an interval:
In particular, the ratio of kinetic energy to potential energy is no longer fixed, but necessarily falls into an interval:
<math display="block">
<math display="block">
  \frac{2 \langle T_\text{TOT} \rangle}{n \langle V_\text{TOT} \rangle} \in [1, 2],</math>
  \frac{2 \langle T_\text{TOT} \rangle}{n \langle V_\text{TOT} \rangle} \in [1, 2],
</math>
 
where the more relativistic systems exhibit the larger ratios.
where the more relativistic systems exhibit the larger ratios.


Line 268: Line 340:


Analysis based on Sivardiere, 1986.<ref name=":2" /> For a one-dimensional oscillator with mass <math>m</math>, position <math>x</math>, driving force <math>F\cos(\omega t)</math>, spring constant <math>k</math>, and damping coefficient <math>\gamma</math>, the equation of motion is  
Analysis based on Sivardiere, 1986.<ref name=":2" /> For a one-dimensional oscillator with mass <math>m</math>, position <math>x</math>, driving force <math>F\cos(\omega t)</math>, spring constant <math>k</math>, and damping coefficient <math>\gamma</math>, the equation of motion is  
<math display="block">
<math display="block">
  m \underbrace{\frac{d^2x}{dt^2}}_{\text{acceleration}} = \underbrace{-kx \vphantom{\frac dd}}_\text{spring}\ \underbrace{-\ \gamma \frac{dx}{dt}}_\text{friction}\ \underbrace{+\ F\cos(\omega t) \vphantom{\frac dd}}_\text{external driving}.
  m \underbrace{\frac{d^2x}{dt^2}}_{\text{acceleration}} = \underbrace{-kx \vphantom{\frac dd}}_\text{spring}\ \underbrace{-\ \gamma \frac{dx}{dt}}_\text{friction}\ \underbrace{+\ F\cos(\omega t) \vphantom{\frac dd}}_\text{external driving}.
Line 277: Line 350:


To solve the two unknowns, we need another equation. In steady state, the power lost per cycle is equal to the power gained per cycle:
To solve the two unknowns, we need another equation. In steady state, the power lost per cycle is equal to the power gained per cycle:
<math display="block">
<math display="block">
  \underbrace{\langle \dot x \, \gamma \dot x\rangle}_\text{power dissipated} =
  \underbrace{\langle \dot x \, \gamma \dot x\rangle}_\text{power dissipated} =
  \underbrace{\langle \dot x \, F \cos \omega t \rangle}_\text{power input},</math>
  \underbrace{\langle \dot x \, F \cos \omega t \rangle}_\text{power input},
</math>
 
which simplifies to <math>\sin \varphi = -\frac{\gamma X \omega}{F}</math>.
which simplifies to <math>\sin \varphi = -\frac{\gamma X \omega}{F}</math>.


Now we have two equations that yield the solution
Now we have two equations that yield the solution
<math display="block">\begin{cases}
<math display="block">\begin{cases}
  X = \sqrt{\dfrac{F^2}{\gamma^2 \omega^2 + m^2 (\omega_0^2 - \omega^2)^2}}, \\
  X = \sqrt{\dfrac{F^2}{\gamma^2 \omega^2 + m^2 (\omega_0^2 - \omega^2)^2}}, \\
Line 290: Line 367:
=== Ideal-gas law ===
=== Ideal-gas law ===
Consider a container filled with an ideal gas consisting of point masses. The only forces applied to the point masses are due to the container walls. In this case, the expression in the virial theorem equals
Consider a container filled with an ideal gas consisting of point masses. The only forces applied to the point masses are due to the container walls. In this case, the expression in the virial theorem equals
<math display="block">
<math display="block">
  \Big \langle \sum_i \mathbf{F}_i \cdot \mathbf{r}_i \Big \rangle =
  \Big \langle \sum_i \mathbf{F}_i \cdot \mathbf{r}_i \Big \rangle =
- P \oint \hat{\mathbf{n}} \cdot \mathbf{r} \,dA,
- P \oint \hat{\mathbf{n}} \cdot \mathbf{r} \,dA,
</math>
</math>
since, by definition, the pressure ''P'' is the average force per area exerted by the gas upon the walls, which is normal to the wall. There is a minus sign because  
 
<math>\hat{\mathbf{n}}</math> is the unit normal vector pointing outwards, and the force to be used is the one upon the particles by the wall.
since, by definition, the pressure ''P'' is the average force per area exerted by the gas upon the walls, which is normal to the wall. There is a minus sign because <math>\hat{\mathbf{n}}</math> is the unit normal vector pointing outwards, and the force to be used is the one upon the particles by the wall.




Then the virial theorem states that
Then the virial theorem states that
<math display="block">
<math display="block">
  \langle T \rangle =
  \langle T \rangle =
  \frac{P}{2} \oint \hat{\mathbf{n}} \cdot \mathbf{r} \,dA.
  \frac{P}{2} \oint \hat{\mathbf{n}} \cdot \mathbf{r} \,dA.
</math>
</math>
By the [[divergence theorem]], <math display="inline">\oint \hat{\mathbf{n}} \cdot \mathbf{r} \,dA = \int \nabla \cdot \mathbf{r} \,dV = 3 \int dV = 3V</math>.  
By the [[divergence theorem]], <math display="inline">\oint \hat{\mathbf{n}} \cdot \mathbf{r} \,dA = \int \nabla \cdot \mathbf{r} \,dV = 3 \int dV = 3V</math>.  


Line 308: Line 388:


=== Dark matter ===
=== Dark matter ===
In 1933, Fritz Zwicky applied the virial theorem to estimate the mass of [[Coma Cluster]], and discovered a discrepancy of mass of about 450, which he explained as due to "dark matter".<ref name=":1">{{Cite journal |last=Zwicky |first=Fritz |date=1933 |others=Translated by Heinz Andernach |title=The Redshift of Extragalactic Nebulae |url=https://resolver.caltech.edu/CaltechAUTHORS:20190108-092708978 |journal=Helvetica Physica Acta |language=en |volume=6 |pages=110–127 |issn=0018-0238}}</ref> He refined the analysis in 1937, finding a discrepancy of about 500.<ref>{{Cite journal |last=Zwicky |first=F. |date=October 1937 |title=On the Masses of Nebulae and of Clusters of Nebulae |journal=The Astrophysical Journal |volume=86 |pages=217 |doi=10.1086/143864 |bibcode=1937ApJ....86..217Z |issn=0004-637X|doi-access=free }}</ref><ref>{{Cite journal |last1=Bertone |first1=Gianfranco |last2=Hooper |first2=Dan |date=2018-10-15 |title=History of dark matter |url=https://link.aps.org/doi/10.1103/RevModPhys.90.045002 |journal=Reviews of Modern Physics |language=en |volume=90 |issue=4 |page=045002 |doi=10.1103/RevModPhys.90.045002 |arxiv=1605.04909 |bibcode=2018RvMP...90d5002B |s2cid=18596513 |issn=0034-6861}}</ref>
In 1933, Fritz Zwicky applied the virial theorem to estimate the mass of [[Coma Cluster]], and discovered a discrepancy of mass of about 450, which he explained as due to "dark matter".<ref name=":1">{{Cite journal |last=Zwicky |first=Fritz |date=1933 |others=Translated by Heinz Andernach |title=The Redshift of Extragalactic Nebulae |url=https://resolver.caltech.edu/CaltechAUTHORS:20190108-092708978 |journal=Helvetica Physica Acta |language=en |volume=6 |pages=110–127 |issn=0018-0238}}</ref> He refined the analysis in 1937, finding a discrepancy of about 500.<ref>{{Cite journal |last=Zwicky |first=F. |date=October 1937 |title=On the Masses of Nebulae and of Clusters of Nebulae |journal=The Astrophysical Journal |volume=86 |page=217 |doi=10.1086/143864 |bibcode=1937ApJ....86..217Z |issn=0004-637X|doi-access=free }}</ref><ref>{{Cite journal |last1=Bertone |first1=Gianfranco |last2=Hooper |first2=Dan |date=2018-10-15 |title=History of dark matter |url=https://link.aps.org/doi/10.1103/RevModPhys.90.045002 |journal=Reviews of Modern Physics |language=en |volume=90 |issue=4 |article-number=045002 |doi=10.1103/RevModPhys.90.045002 |arxiv=1605.04909 |bibcode=2018RvMP...90d5002B |s2cid=18596513 |issn=0034-6861}}</ref>


==== Theoretical analysis ====
==== Theoretical analysis ====
Line 315: Line 395:
Zwicky estimated <math>\langle U\rangle</math> as the gravitational potential of a uniform ball of constant density, giving <math display="inline">\langle U\rangle = -\frac 35 \frac{GN^2m^2}{R}</math>.
Zwicky estimated <math>\langle U\rangle</math> as the gravitational potential of a uniform ball of constant density, giving <math display="inline">\langle U\rangle = -\frac 35 \frac{GN^2m^2}{R}</math>.


So by the virial theorem, the total mass of the cluster is<math display="block">Nm = \frac{5\langle v^2\rangle}{3G\langle \frac{1}{r}\rangle}</math>
So by the virial theorem, the total mass of the cluster is
 
<math display="block">Nm = \frac{5\langle v^2\rangle}{3G\langle \frac{1}{r}\rangle}</math>


==== Data ====
==== Data ====
Line 371: Line 453:
  | journal = Astrophys. J.
  | journal = Astrophys. J.
  | volume = 118
  | volume = 118
  | pages = 116
  | page = 116
  | doi = 10.1086/145732
  | doi = 10.1086/145732
  | bibcode = 1953ApJ...118..116C
  | bibcode = 1953ApJ...118..116C
Line 415: Line 497:
== Inclusion of electromagnetic fields ==
== Inclusion of electromagnetic fields ==


The virial theorem can be extended to include electric and magnetic fields. The result is<ref>{{cite book |first=George |last=Schmidt |title=Physics of High Temperature Plasmas |edition=Second |publisher=Academic Press |year=1979 |pages=72}}</ref>
The virial theorem can be extended to include electric and magnetic fields. The result is<ref>{{cite book |first=George |last=Schmidt |title=Physics of High Temperature Plasmas |edition=Second |publisher=Academic Press |year=1979 |page=72}}</ref>


<math display="block">
<math display="block">
Line 423: Line 505:
</math>
</math>


where {{mvar|I}} is the [[moment of inertia]], {{mvar|G}} is the [[Poynting vector|momentum density of the electromagnetic field]], {{mvar|T}} is the [[kinetic energy]] of the "fluid", {{mvar|U}} is the random "thermal" energy of the particles, {{math|''W''{{isup|E}}}} and {{math|''W''{{isup|M}}}} are the electric and magnetic energy content of the volume considered. Finally, {{math|''p<sub>ik</sub>''}} is the fluid-pressure tensor expressed in the local moving coordinate system
where <math>I</math> is the [[moment of inertia]], <math>G</math> is the [[Poynting vector|momentum density of the electromagnetic field]], <math>T</math> is the [[kinetic energy]] of the "fluid", <math>U</math> is the random "thermal" energy of the particles,  
<math>W^{\text{E}}</math> and <math>W^{\text{M}}</math> are the electric and magnetic energy content of the volume considered. Finally,  
<math>p_{ik}</math> is the fluid-pressure tensor expressed in the local moving coordinate system


<math display="block">
<math display="block">
Line 431: Line 515:
</math>
</math>


and {{math|''T<sub>ik</sub>''}} is the [[Maxwell stress tensor|electromagnetic stress tensor]],
and <math>T_{ik}</math> is the [[Maxwell stress tensor|electromagnetic stress tensor]],


<math display="block">
<math display="block">
Line 439: Line 523:
</math>
</math>


A [[plasmoid]] is a finite configuration of magnetic fields and plasma. With the virial theorem it is easy to see that any such configuration will expand if not contained by external forces. In a finite configuration without pressure-bearing walls or magnetic coils, the surface integral will vanish. Since all the other terms on the right hand side are positive, the acceleration of the moment of inertia will also be positive. It is also easy to estimate the expansion time {{mvar|τ}}. If a total mass {{mvar|M}} is confined within a radius {{mvar|R}}, then the moment of inertia is roughly {{math|''MR''<sup>2</sup>}}, and the left hand side of the virial theorem is {{math|{{sfrac|''MR''<sup>2</sup>|''τ''<sup>2</sup>}}}}. The terms on the right hand side add up to about {{math|''pR''<sup>3</sup>}}, where {{mvar|p}} is the larger of the plasma pressure or the magnetic pressure. Equating these two terms and solving for {{mvar|τ}}, we find
A [[plasmoid]] is a finite configuration of magnetic fields and plasma. With the virial theorem it is easy to see that any such configuration will expand if not contained by external forces. In a finite configuration without pressure-bearing walls or magnetic coils, the surface integral will vanish. Since all the other terms on the right hand side are positive, the acceleration of the moment of inertia will also be positive. It is also easy to estimate the expansion time <math>\tau</math>. If a total mass <math>M</math> is confined within a radius <math>R</math>, then the moment of inertia is roughly <math>MR^2</math>, and the left hand side of the virial theorem is <math>\frac{MR^2}{\tau^2}</math>. The terms on the right hand side add up to about <math>pR^3</math>, where <math>p</math> is the larger of the plasma pressure or the [[magnetic pressure]]. Equating these two terms and solving for <math>\tau</math>, we find


<math display="block">\tau\,\sim \frac{R}{c_\mathrm{s}},</math>
<math display="block">\tau\,\sim \frac{R}{c_\mathrm{s}},</math>


where {{math|''c''<sub>s</sub>}} is the speed of the [[ion acoustic wave]] (or the [[Alfvén wave]], if the magnetic pressure is higher than the plasma pressure). Thus the lifetime of a plasmoid is expected to be on the order of the acoustic (or Alfvén) transit time.
where <math>c_s</math> is the speed of the [[ion acoustic wave]] (or the [[Alfvén wave]], if the magnetic pressure is higher than the plasma pressure). Thus the lifetime of a plasmoid is expected to be on the order of the acoustic (or Alfvén) transit time.


== Relativistic uniform system ==
== Relativistic uniform system ==
In case when in the physical system the pressure field, the electromagnetic and gravitational fields are taken into account, as well as the field of particles’ acceleration, the virial theorem is written in the relativistic form as follows:<ref>{{cite journal |last=Fedosin|first=S. G.|s2cid=53692146|title=The virial theorem and the kinetic energy of particles of a macroscopic system in the general field concept|journal=Continuum Mechanics and Thermodynamics|volume=29|issue=2|pages=361–371| date=2016| doi=10.1007/s00161-016-0536-8|arxiv=1801.06453|bibcode=2017CMT....29..361F}}</ref>
For a physical system, when the pressure field, the electromagnetic and gravitational fields are taken into account, as well as the field of particles' acceleration, the virial theorem is written in the relativistic form as follows:<ref>{{cite journal |last=Fedosin|first=S. G.|s2cid=53692146|title=The virial theorem and the kinetic energy of particles of a macroscopic system in the general field concept|journal=Continuum Mechanics and Thermodynamics|volume=29|issue=2|pages=361–371| date=2016| doi=10.1007/s00161-016-0536-8|arxiv=1801.06453|bibcode=2017CMT....29..361F}}</ref>


<math display="block"> \left\langle W_k \right\rangle \approx - 0.6 \sum_{k=1}^N\langle\mathbf{F}_k\cdot\mathbf{r}_k\rangle ,</math>
<math display="block"> \left\langle W_k \right\rangle \approx - 0.6 \sum_{k=1}^N\langle\mathbf{F}_k\cdot\mathbf{r}_k\rangle ,</math>


where the value {{math|''W<sub>k</sub>'' ≈ ''γ<sub>c</sub>T''}} exceeds the kinetic energy of the particles {{mvar|T}} by a factor equal to the Lorentz factor {{math|''γ<sub>c</sub>''}} of the particles at the center of the system. Under normal conditions we can assume that {{math|''γ<sub>c</sub>'' ≈ 1}}, then we can see that in the virial theorem the kinetic energy is related to the potential energy not by the coefficient {{sfrac|1|2}}, but rather by the coefficient close to 0.6. The difference from the classical case arises due to considering the pressure field and the field of particles’ acceleration inside the system, while the derivative of the scalar {{mvar|G}} is not equal to zero and should be considered as the [[material derivative]].
where the value <math>W_k=\gamma_c T</math> exceeds the kinetic energy of the particles <math>T</math> by a factor equal to the Lorentz factor  
<math>\gamma_c</math> of the particles at the center of the system. Under normal conditions we can assume that  
<math>\gamma_c\approx 1</math>, then we can see that in the virial theorem the kinetic energy is related to the potential energy not by the coefficient <math>\frac{1}{2}</math>, but rather by the coefficient close to 0.6. The difference from the classical case arises due to considering the pressure field and the field of particles' acceleration inside the system, while the derivative of the scalar <math>G</math> is not equal to zero and should be considered as the [[material derivative]].


An analysis of the integral theorem of generalized virial makes it possible to find, on the basis of field theory, a formula for the root-mean-square speed of typical particles of a system without using the notion of temperature:<ref>{{Cite journal |last=Fedosin |first=Sergey G. |s2cid=125180719 |date=2018-09-24 |title=The integral theorem of generalized virial in the relativistic uniform model |url=http://em.rdcu.be/wf/click?upn=lMZy1lernSJ7apc5DgYM8f7AyOIJlVFO4uFv7zUQtzk-3D_DUeisO4Ue44lkDmCnrWVhK-2BAxKrUexyqlYtsmkyhvEp5zr527MDdThwbadScvhwZehXbanab8i5hqRa42b-2FKYwacOeM4LKDJeJuGA15M9FWvYOfBgfon7Bqg2f55NFYGJfVGaGhl0ghU-2BkIJ9Hz4M6SMBYS-2Fr-2FWWaj9eTxv23CKo9d8nFmYAbMtBBskFuW9fupsvIvN5eyv-2Fk-2BUc7hiS15rRISs1jpNnRQpDtk2OE9Hr6mYYe5Y-2B8lunO9GwVRw07Y1mdAqqtEZ-2BQjk5xUwPnA-3D-3D |journal=Continuum Mechanics and Thermodynamics |volume=31|issue=3|pages=627–638|language=en |doi=10.1007/s00161-018-0715-x |issn=1432-0959 |bibcode=2019CMT....31..627F |arxiv=1912.08683 }}</ref>
An analysis of the integral theorem of generalized virial makes it possible to find, on the basis of field theory, a formula for the root-mean-square speed of typical particles of a system without using the notion of temperature:<ref>{{Cite journal |last=Fedosin |first=Sergey G. |s2cid=125180719 |date=2018-09-24 |title=The integral theorem of generalized virial in the relativistic uniform model |url=http://em.rdcu.be/wf/click?upn=lMZy1lernSJ7apc5DgYM8f7AyOIJlVFO4uFv7zUQtzk-3D_DUeisO4Ue44lkDmCnrWVhK-2BAxKrUexyqlYtsmkyhvEp5zr527MDdThwbadScvhwZehXbanab8i5hqRa42b-2FKYwacOeM4LKDJeJuGA15M9FWvYOfBgfon7Bqg2f55NFYGJfVGaGhl0ghU-2BkIJ9Hz4M6SMBYS-2Fr-2FWWaj9eTxv23CKo9d8nFmYAbMtBBskFuW9fupsvIvN5eyv-2Fk-2BUc7hiS15rRISs1jpNnRQpDtk2OE9Hr6mYYe5Y-2B8lunO9GwVRw07Y1mdAqqtEZ-2BQjk5xUwPnA-3D-3D |journal=Continuum Mechanics and Thermodynamics |volume=31|issue=3|pages=627–638|language=en |doi=10.1007/s00161-018-0715-x |issn=1432-0959 |bibcode=2019CMT....31..627F |arxiv=1912.08683 }}</ref>
Line 459: Line 545:


Unlike the virial theorem for particles, for the electromagnetic field the virial theorem is written as follows:<ref>{{cite journal|last=Fedosin |first=S.G. |url= https://dergipark.org.tr/en/pub/gujs/issue/45480/435567 |title=The Integral Theorem of the Field Energy |journal= Gazi University Journal of Science |volume=32 |issue= 2 |pages= 686–703 |year=2019 |doi=10.5281/zenodo.3252783|s2cid= 197487015 |doi-access=free }}</ref>
Unlike the virial theorem for particles, for the electromagnetic field the virial theorem is written as follows:<ref>{{cite journal|last=Fedosin |first=S.G. |url= https://dergipark.org.tr/en/pub/gujs/issue/45480/435567 |title=The Integral Theorem of the Field Energy |journal= Gazi University Journal of Science |volume=32 |issue= 2 |pages= 686–703 |year=2019 |doi=10.5281/zenodo.3252783|s2cid= 197487015 |doi-access=free }}</ref>
<math display="block">~ E_{kf} + 2 W_f =0 , </math>
<math display="block">~ E_{kf} + 2 W_f =0 , </math>
where the energy <math display="inline">~ E_{kf} = \int A_\alpha j^\alpha \sqrt {-g} \,dx^1 \,dx^2 \,dx^3 </math> considered as the kinetic field energy associated with four-current <math> j^\alpha </math>, and
where the energy <math display="inline">~ E_{kf} = \int A_\alpha j^\alpha \sqrt {-g} \,dx^1 \,dx^2 \,dx^3 </math> considered as the kinetic field energy associated with four-current <math> j^\alpha </math>, and
<math display="block">~ W_f = \frac {1}{4 \mu_0 } \int F_{\alpha \beta} F^{\alpha \beta} \sqrt {-g} \,dx^1 \,dx^2 \,dx^3 </math>
<math display="block">~ W_f = \frac {1}{4 \mu_0 } \int F_{\alpha \beta} F^{\alpha \beta} \sqrt {-g} \,dx^1 \,dx^2 \,dx^3 </math>
sets the potential field energy found through the components of the electromagnetic tensor.
 
sets the potential field energy found through the components of the [[electromagnetic tensor]].


== In astrophysics ==
== In astrophysics ==
The virial theorem is frequently applied in astrophysics, especially relating the [[gravitational energy|gravitational potential energy]] of a system to its [[kinetic energy|kinetic]] or [[thermal energy]]. Some common virial relations are {{Citation needed|date=December 2019}}
The virial theorem is frequently applied in astrophysics, especially relating the [[gravitational energy|gravitational potential energy]] of a system to its [[kinetic energy|kinetic]] or [[thermal energy]]. Some common virial relations are {{Citation needed|date=December 2019}}
<math display="block">\frac35 \frac{GM}{R} = \frac32 \frac{k_\mathrm{B} T}{m_\mathrm{p}} = \frac12 v^2 </math>
<math display="block">\frac35 \frac{GM}{R} = \frac32 \frac{k_\mathrm{B} T}{m_\mathrm{p}} = \frac12 v^2 </math>
for a mass {{mvar|M}}, radius {{mvar|R}}, velocity {{mvar|v}}, and temperature {{mvar|T}}. The constants are [[Gravitational constant|Newton's constant]] {{mvar|G}}, the [[Boltzmann constant]] {{math|''k''<sub>B</sub>}}, and proton mass {{math|''m''<sub>p</sub>}}. Note that these relations are only approximate, and often the leading numerical factors (e.g. {{sfrac|3|5}} or {{sfrac|1|2}}) are neglected entirely.
for a mass <math>M</math>, radius <math>R</math>, velocity <math>v</math>, and temperature <math>T</math>. The constants are [[Gravitational constant|Newton's constant]] <math>G</math>, the [[Boltzmann constant]] <math>k_B</math>, and proton mass <math>m_p</math>. Note that these relations are only approximate, and often the leading numerical factors (e.g. <math>\frac{3}{5}</math> or <math>\frac{1}{2}</math>) are neglected entirely.


=== Galaxies and cosmology (virial mass and radius) ===
=== Galaxies and cosmology (virial mass and radius) ===
Line 473: Line 563:
In [[astronomy]], the mass and size of a galaxy (or general overdensity) is often defined in terms of the "[[virial mass]]" and "[[virial radius]]" respectively. Because galaxies and overdensities in continuous fluids can be highly extended (even to infinity in some models, such as an [[singular isothermal sphere|isothermal sphere]]), it can be hard to define specific, finite measures of their mass and size. The virial theorem, and related concepts, provide an often convenient means by which to quantify these properties.
In [[astronomy]], the mass and size of a galaxy (or general overdensity) is often defined in terms of the "[[virial mass]]" and "[[virial radius]]" respectively. Because galaxies and overdensities in continuous fluids can be highly extended (even to infinity in some models, such as an [[singular isothermal sphere|isothermal sphere]]), it can be hard to define specific, finite measures of their mass and size. The virial theorem, and related concepts, provide an often convenient means by which to quantify these properties.


In galaxy dynamics, the mass of a galaxy is often inferred by measuring the [[rotation velocity]] of its gas and stars, assuming [[circular orbit|circular Keplerian orbits]]. Using the virial theorem, the [[velocity dispersion]] {{mvar|σ}} can be used in a similar way. Taking the kinetic energy (per particle) of the system as {{math|1=''T'' = {{sfrac|1|2}}''v''<sup>2</sup> ~ {{sfrac|3|2}}''σ''<sup>2</sup>}}, and the potential energy (per particle) as {{math|''U'' ~ {{sfrac|3|5}} {{sfrac|''GM''|''R''}}}} we can write
In galaxy dynamics, the mass of a galaxy is often inferred by measuring the [[rotation velocity]] of its gas and stars, assuming [[circular orbit|circular Keplerian orbits]]. Using the virial theorem, the [[velocity dispersion]] <math>\sigma</math> can be used in a similar way. Taking the kinetic energy (per particle) of the system as <math>T=\frac{1}{2}v^2\sim \frac{3}{2}\sigma^2</math>, and the potential energy (per particle) as <math>U\sim \frac{3}{5}\frac{GM}{R}</math> we can write


<math display="block"> \frac{GM}{R} \approx \sigma^2. </math>
<math display="block"> \frac{GM}{R} \approx \sigma^2. </math>


Here <math>R</math> is the radius at which the velocity dispersion is being measured, and {{mvar|M}} is the mass within that radius. The virial mass and radius are generally defined for the radius at which the velocity dispersion is a maximum, i.e.
Here <math>R</math> is the radius at which the velocity dispersion is being measured, and <math>M</math> is the mass within that radius. The virial mass and radius are generally defined for the radius at which the velocity dispersion is a maximum, i.e.


<math display="block"> \frac{GM_\text{vir}}{R_\text{vir}} \approx \sigma_\max^2. </math>
<math display="block"> \frac{GM_\text{vir}}{R_\text{vir}} \approx \sigma_\max^2. </math>
Line 485: Line 575:
An alternate definition of the virial mass and radius is often used in cosmology where it is used to refer to the radius of a sphere, centered on a [[galaxy]] or a [[galaxy cluster]], within which virial equilibrium holds. Since this radius is difficult to determine observationally, it is often approximated as the radius within which the average density is greater, by a specified factor, than the [[Critical density (cosmology)|critical density]]
An alternate definition of the virial mass and radius is often used in cosmology where it is used to refer to the radius of a sphere, centered on a [[galaxy]] or a [[galaxy cluster]], within which virial equilibrium holds. Since this radius is difficult to determine observationally, it is often approximated as the radius within which the average density is greater, by a specified factor, than the [[Critical density (cosmology)|critical density]]
<math display="block">\rho_\text{crit}=\frac{3H^2}{8\pi G}</math>
<math display="block">\rho_\text{crit}=\frac{3H^2}{8\pi G}</math>
where {{mvar|H}} is the [[Hubble's law|Hubble parameter]] and {{mvar|G}} is the [[gravitational constant]]. A common choice for the factor is 200, which corresponds roughly to the typical over-density in spherical top-hat collapse (see [[Virial mass]]), in which case the virial radius is approximated as
where <math>H</math> is the [[Hubble's law|Hubble parameter]] and <math>G</math> is the [[gravitational constant]]. A common choice for the factor is 200, which corresponds roughly to the typical over-density in spherical top-hat collapse (see [[Virial mass]]), in which case the virial radius is approximated as
 
<math display="block">r_\text{vir} \approx r_{200}= r, \qquad \rho = 200 \cdot \rho_\text{crit}.</math>
<math display="block">r_\text{vir} \approx r_{200}= r, \qquad \rho = 200 \cdot \rho_\text{crit}.</math>
The virial mass is then defined relative to this radius as
The virial mass is then defined relative to this radius as
<math display="block">M_\text{vir} \approx M_{200} = \frac43\pi r_{200}^3 \cdot 200 \rho_\text{crit} .</math>
<math display="block">M_\text{vir} \approx M_{200} = \frac43\pi r_{200}^3 \cdot 200 \rho_\text{crit} .</math>


=== Stars ===
=== Stars ===
The virial theorem is applicable to the cores of stars, by establishing a relation between gravitational potential energy and thermal kinetic energy (i.e. temperature). As stars on the [[main sequence]] convert hydrogen into helium in their cores, the mean molecular weight of the core increases and it must contract to maintain enough pressure to support its own weight. This contraction decreases its potential energy and, the virial theorem states, increases its thermal energy. The core temperature increases even as energy is lost, effectively a negative [[specific heat]].<ref name="BASUCHATTOPADHYAY2010">{{cite book|author1=BAIDYANATH BASU|author2=TANUKA CHATTOPADHYAY|author3=SUDHINDRA NATH BISWAS|title=AN INTRODUCTION TO ASTROPHYSICS|url=https://books.google.com/books?id=WG-HkqCXhKgC&pg=PA365|date=1 January 2010|publisher=PHI Learning Pvt. Ltd.|isbn=978-81-203-4071-8|pages=365–}}</ref> This continues beyond the main sequence, unless the core becomes degenerate since that causes the pressure to become independent of temperature and the virial relation with {{mvar|n}} equals −1 no longer holds.<ref name="Rose1998">{{cite book|author=William K. Rose|title=Advanced Stellar Astrophysics|url=https://books.google.com/books?id=yaX0etDmbXMC&pg=PA242|date=16 April 1998|publisher=Cambridge University Press|isbn=978-0-521-58833-1|pages=242–}}</ref>
The virial theorem is applicable to the cores of stars, by establishing a relation between gravitational potential energy and thermal kinetic energy (i.e. temperature). As stars on the [[main sequence]] convert hydrogen into helium in their cores, the mean molecular weight of the core increases and it must contract to maintain enough pressure to support its own weight. This contraction decreases its potential energy and, the virial theorem states, increases its thermal energy. The core temperature increases even as energy is lost, effectively a negative [[specific heat]].<ref name="BASUCHATTOPADHYAY2010">{{cite book|author1=BAIDYANATH BASU|author2=TANUKA CHATTOPADHYAY|author3=SUDHINDRA NATH BISWAS|title=AN INTRODUCTION TO ASTROPHYSICS|url=https://books.google.com/books?id=WG-HkqCXhKgC&pg=PA365|date=1 January 2010|publisher=PHI Learning Pvt. Ltd.|isbn=978-81-203-4071-8|pages=365–}}</ref> This continues beyond the main sequence, unless the core becomes degenerate causing the pressure to become independent of temperature and the virial relation with <math>n=-1</math> no longer holds.<ref name="Rose1998">{{cite book|author=William K. Rose|title=Advanced Stellar Astrophysics|url=https://books.google.com/books?id=yaX0etDmbXMC&pg=PA242|date=16 April 1998|publisher=Cambridge University Press|isbn=978-0-521-58833-1|pages=242–}}</ref>


== See also ==
== See also ==
Line 511: Line 604:
* {{Cite book |last=Goldstein |first=H. |year=1980 |title=Classical Mechanics |edition=2nd |publisher=Addison–Wesley |isbn=978-0-201-02918-5}}
* {{Cite book |last=Goldstein |first=H. |year=1980 |title=Classical Mechanics |edition=2nd |publisher=Addison–Wesley |isbn=978-0-201-02918-5}}
* {{Cite book |last=Collins |first=G. W. |year=1978 |title=The Virial Theorem in Stellar Astrophysics |publisher=Pachart Press |url=http://ads.harvard.edu/books/1978vtsa.book/ |bibcode=1978vtsa.book.....C |isbn=978-0-912918-13-6 }}
* {{Cite book |last=Collins |first=G. W. |year=1978 |title=The Virial Theorem in Stellar Astrophysics |publisher=Pachart Press |url=http://ads.harvard.edu/books/1978vtsa.book/ |bibcode=1978vtsa.book.....C |isbn=978-0-912918-13-6 }}
* {{cite journal |doi=10.1088/0143-0807/37/4/045405 |title=An elementary derivation of the quantum virial theorem from Hellmann–Feynman theorem |year=2016 |last1=i̇Pekoğlu |first1=Y. |last2=Turgut |first2=S. |journal=European Journal of Physics |volume=37 |issue=4 |page=045405 |s2cid=125030620 |bibcode=2016EJPh...37d5405I }}
* {{cite journal |doi=10.1088/0143-0807/37/4/045405 |title=An elementary derivation of the quantum virial theorem from Hellmann–Feynman theorem |year=2016 |last1=i̇Pekoğlu |first1=Y. |last2=Turgut |first2=S. |journal=European Journal of Physics |volume=37 |issue=4 |article-number=045405 |s2cid=125030620 |bibcode=2016EJPh...37d5405I }}


== External links ==
== External links ==

Latest revision as of 20:33, 25 October 2025

Template:Short description

In mechanics, the virial theorem provides a general equation that relates the average over time of the total kinetic energy of a stable system of discrete particles, bound by a conservative force (where the work done is independent of path), with that of the total potential energy of the system. Mathematically, the theorem states that

T=12k=1N𝐅k𝐫k,

where T is the total kinetic energy of the N particles, Fk represents the force on the kth particle, which is located at position Template:Math, and angle brackets represent the average over time of the enclosed quantity. The word virial for the right-hand side of the equation derives from Script error: No such module "Lang"., the Latin word for "force" or "energy", and was given its technical definition by Rudolf Clausius in 1870.[1]

The significance of the virial theorem is that it allows the average total kinetic energy to be calculated even for very complicated systems that defy an exact solution, such as those considered in statistical mechanics; this average total kinetic energy is related to the temperature of the system by the equipartition theorem. However, the virial theorem does not depend on the notion of temperature and holds even for systems that are not in thermal equilibrium. The virial theorem has been generalized in various ways, most notably to a tensor form.

If the force between any two particles of the system results from a potential energy V(r)=αrn that is proportional to some power n of the interparticle distance r, the virial theorem takes the simple form

2T=nVTOT.

Thus, twice the average total kinetic energy T equals n times the average total potential energy VTOT. Whereas V(r) represents the potential energy between two particles of distance r, VTOT represents the total potential energy of the system, i.e., the sum of the potential energy V(r) over all pairs of particles in the system. A common example of such a system is a star held together by its own gravity, where n=1.

History

In 1870, Rudolf Clausius delivered the lecture "On a Mechanical Theorem Applicable to Heat" to the Association for Natural and Medical Sciences of the Lower Rhine, following a 20-year study of thermodynamics. The lecture stated that the mean vis viva of the system is equal to its virial, or that the average kinetic energy is one half of the average potential energy. The virial theorem can be obtained directly from Lagrange's identityTemplate:Moved resource as applied in classical gravitational dynamics, the original form of which was included in Lagrange's "Essay on the Problem of Three Bodies" published in 1772. Carl Jacobi's generalization of the identity to N bodies and to the present form of Laplace's identity closely resembles the classical virial theorem. However, the interpretations leading to the development of the equations were very different, since at the time of development, statistical dynamics had not yet unified the separate studies of thermodynamics and classical dynamics.[2] The theorem was later utilized, popularized, generalized and further developed by James Clerk Maxwell, Lord Rayleigh, Henri Poincaré, Subrahmanyan Chandrasekhar, Enrico Fermi, Paul Ledoux, Richard Bader and Eugene Parker. Fritz Zwicky was the first to use the virial theorem to deduce the existence of unseen matter, which is now called dark matter. Richard Bader showed that the charge distribution of a total system can be partitioned into its kinetic and potential energies that obey the virial theorem.[3] As another example of its many applications, the virial theorem has been used to derive the Chandrasekhar limit for the stability of white dwarf stars.

Illustrative special case

Consider N=2 particles with equal mass m, acted upon by mutually attractive forces. Suppose the particles are at diametrically opposite points of a circular orbit with radius r. The velocities are 𝐯1(t) and 𝐯2(t)=𝐯1(t), which are normal to forces 𝐅1(t) and 𝐅2(t)=𝐅1(t). The respective magnitudes are fixed at v and F. The average kinetic energy of the system in an interval of time from t1 to t2 is

T=1t2t1t1t2k=1N12mk|𝐯k(t)|2dt=1t2t1t1t2(12m|𝐯1(t)|2+12m|𝐯2(t)|2)dt=mv2.

Taking center of mass as the origin, the particles have positions 𝐫1(t) and 𝐫2(t)=𝐫1(t) with fixed magnitude r. The attractive forces act in opposite directions as positions, so 𝐅1(t)𝐫1(t)=𝐅2(t)𝐫2(t)=Fr. Applying the centripetal force formula F=mv2/r results in

12k=1N𝐅k𝐫k=12(FrFr)=Fr=mv2rr=mv2=T,

as required. Note: If the origin is displaced, then we'd obtain the same result. This is because the dot product of the displacement with equal and opposite forces 𝐅1(t), 𝐅2(t) results in net cancellation.

Statement and derivation

Although the virial theorem depends on averaging the total kinetic and potential energies, the presentation here postpones the averaging to the last step.

For a collection of N point particles, the scalar moment of inertia I about the origin is

I=k=1Nmk|𝐫k|2=k=1Nmkrk2,

where mk and 𝐫k represent the mass and position of the kth particle and rk=|𝐫k| is the position vector magnitude. Consider the scalar

G=k=1N𝐩k𝐫k,

where 𝐩k is the momentum vector of the kth particle.[4] Assuming that the masses are constant, G is one-half the time derivative of this moment of inertia:

12dIdt=12ddtk=1Nmk𝐫k𝐫k=k=1Nmkd𝐫kdt𝐫k=k=1N𝐩k𝐫k=G.

In turn, the time derivative of G is

dGdt=k=1N𝐩kd𝐫kdt+k=1Nd𝐩kdt𝐫k=k=1Nmkd𝐫kdtd𝐫kdt+k=1N𝐅k𝐫k=2T+k=1N𝐅k𝐫k,

where mk is the mass of the kth particle, 𝐅k=d𝐩kdt is the net force on that particle, and T is the total kinetic energy of the system according to the 𝐯k=d𝐫kdt velocity of each particle,

T=12k=1Nmkvk2=12k=1Nmkd𝐫kdtd𝐫kdt.

Connection with the potential energy between particles

The total force 𝐅k on particle k is the sum of all the forces from the other particles j in the system:

𝐅k=j=1N𝐅jk,

where 𝐅jk is the force applied by particle j on particle k. Hence, the virial can be written as

12k=1N𝐅k𝐫k=12k=1Nj=1N𝐅jk𝐫k.

Since no particle acts on itself (i.e., 𝐅jj=0 for 1jN), we split the sum in terms below and above this diagonal and add them together in pairs:

k=1N𝐅k𝐫k=k=1Nj=1N𝐅jk𝐫k=k=2Nj=1k1𝐅jk𝐫k+k=1N1j=k+1N𝐅jk𝐫k=k=2Nj=1k1𝐅jk𝐫k+j=2Nk=1j1𝐅jk𝐫k=k=2Nj=1k1(𝐅jk𝐫k+𝐅kj𝐫j)=k=2Nj=1k1(𝐅jk𝐫k𝐅jk𝐫j)=k=2Nj=1k1𝐅jk(𝐫k𝐫j),

where we have used Newton's third law of motion, i.e., 𝐅jk=𝐅kj (equal and opposite reaction).

It often happens that the forces can be derived from a potential energy Vjk that is a function only of the distance rjk between the point particles j and k. Since the force is the negative gradient of the potential energy, we have in this case

𝐅jk=𝐫kVjk=dVjkdrjk(𝐫k𝐫jrjk),

which is equal and opposite to 𝐅kj=𝐫jVkj=𝐫jVjk, the force applied by particle k on particle j, as may be confirmed by explicit calculation. Hence,

k=1N𝐅k𝐫k=k=2Nj=1k1𝐅jk(𝐫k𝐫j)=k=2Nj=1k1dVjkdrjk|𝐫k𝐫j|2rjk=k=2Nj=1k1dVjkdrjkrjk.

Thus

dGdt=2T+k=1N𝐅k𝐫k=2Tk=2Nj=1k1dVjkdrjkrjk.

Special case of power-law forces

In a common special case, the potential energy V between two particles is proportional to a power n of their distance rij:

Vjk=αrjkn,

where the coefficient α and the exponent n are constants. In such cases, the virial is

12k=1N𝐅k𝐫k=12k=1Nj<kdVjkdrjkrjk=12k=1Nj<knαrjkn1rjk=12k=1Nj<knVjk=n2VTOT,

where

VTOT=k=1Nj<kVjk

is the total potential energy of the system.

Thus

dGdt=2T+k=1N𝐅k𝐫k=2TnVTOT.

For gravitating systems the exponent n=1, giving Lagrange's identity

dGdt=12d2Idt2=2T+VTOT,

which was derived by Joseph-Louis Lagrange and extended by Carl Jacobi.

Time averaging

The average of this derivative over a duration τ is defined as

dGdtτ=1τ0τdGdtdt=1τG(0)G(τ)dG=G(τ)G(0)τ,

from which we obtain the exact equation

dGdtτ=2Tτ+k=1N𝐅k𝐫kτ.

The virial theorem states that if dG/dtτ=0, then

2Tτ=k=1N𝐅k𝐫kτ.

There are many reasons why the average of the time derivative might vanish. One often-cited reason applies to stably bound systems, that is, to systems that hang together forever and whose parameters are finite. In this case, velocities and coordinates of the particles of the system have upper and lower limits, so that Gbound is bounded between two extremes, Gmin and Gmax, and the average goes to zero in the limit of infinite τ:

limτ|dGbounddtτ|=limτ|G(τ)G(0)τ|limτGmaxGminτ=0.

Even if the average of the time derivative of G is only approximately zero, the virial theorem holds to the same degree of approximation.

For power-law forces with an exponent n, the general equation holds:

Tτ=12k=1N𝐅k𝐫kτ=n2VTOTτ.

For gravitational attraction, n=1, and the average kinetic energy equals half of the average negative potential energy:

Tτ=12VTOTτ.

This general result is useful for complex gravitating systems such as planetary systems or galaxies.

A simple application of the virial theorem concerns galaxy clusters. If a region of space is unusually full of galaxies, it is safe to assume that they have been together for a long time, and the virial theorem can be applied. Doppler effect measurements give lower bounds for their relative velocities, and the virial theorem gives a lower bound for the total mass of the cluster, including any dark matter.

If the ergodic hypothesis holds for the system under consideration, the averaging need not be taken over time; an ensemble average can also be taken, with equivalent results.

In quantum mechanics

Although originally derived for classical mechanics, the virial theorem also holds for quantum mechanics, as first shown by Vladimir Fock[5] using the Ehrenfest theorem.

Evaluate the commutator of the Hamiltonian

H=V({Xi})+nPn22mn

with the position operator Xn and the momentum operator

Pn=iddXn

of particle n,

[H,XnPn]=Xn[H,Pn]+[H,Xn]Pn=iXndVdXniPn2mn.

Summing over all particles, one finds that for

Q=nXnPn

the commutator is

i[H,Q]=2TnXndVdXn,

where T=nPn2/2mn is the kinetic energy. The left-hand side of this equation is just dQ/dt, according to the Heisenberg equation of motion. The expectation value dQ/dt of this time derivative vanishes in a stationary state, leading to the quantum virial theorem:

2T=nXndVdXn.

Pokhozhaev's identity

Script error: No such module "Unsubst". In the field of quantum mechanics, there exists another form of the virial theorem, applicable to localized solutions to the stationary nonlinear Schrödinger equation or Klein–Gordon equation, is Pokhozhaev's identity,[6] also known as Derrick's theorem. Let g(s) be continuous and real-valued, with g(0)=0.

Denote G(s)=0sg(t)dt. Let

uLloc(n),uL2(n),G(u())L1(n),n

be a solution to the equation

2u=g(u),

in the sense of distributions. Then u satisfies the relation

(n22)n|u(x)|2dx=nnG(u(x))dx.

In special relativity

Script error: No such module "Unsubst". For a single particle in special relativity, it is not the case that T=12𝐩𝐯. Instead, it is true that T=(γ1)mc2, where γ is the Lorentz factor

γ=11v2c2,

and defining β=𝐯c, we have

12𝐩𝐯=12βγmcβc=12γβ2mc2=(γβ22(γ1))T.

The last expression can be simplified to

(1+1β22)T=(γ+12γ)T.

Thus, under the conditions described in earlier sections (including Newton's third law of motion, 𝐅jk=𝐅kj, despite relativity), the time average for N particles with a power law potential is

n2VTOTτ=k=1N(1+1βk22)Tkτ=k=1N(γk+12γk)Tkτ.

In particular, the ratio of kinetic energy to potential energy is no longer fixed, but necessarily falls into an interval:

2TTOTnVTOT[1,2],

where the more relativistic systems exhibit the larger ratios.

Examples

The virial theorem has a particularly simple form for periodic motion. It can be used to perform perturbative calculation for nonlinear oscillators.[7]

It can also be used to study motion in a central potential.[4] If the central potential is of the form Urn, the virial theorem simplifies to T=n2U.Script error: No such module "Unsubst". In particular, for gravitational or electrostatic (Coulomb) attraction, T=12U.

Driven damped harmonic oscillator

Analysis based on Sivardiere, 1986.[7] For a one-dimensional oscillator with mass m, position x, driving force Fcos(ωt), spring constant k, and damping coefficient γ, the equation of motion is

md2xdt2acceleration=kxddspring  γdxdtfriction + Fcos(ωt)ddexternal driving.

When the oscillator has reached a steady state, it performs a stable oscillation x=Xcos(ωt+φ), where X is the amplitude, and φ is the phase angle.

Applying the virial theorem, we have mx˙x˙=kxx+γxx˙Fcos(ωt)x, which simplifies to Fcos(φ)=m(ω02ω2)X, where ω0=k/m is the natural frequency of the oscillator.

To solve the two unknowns, we need another equation. In steady state, the power lost per cycle is equal to the power gained per cycle:

x˙γx˙power dissipated=x˙Fcosωtpower input,

which simplifies to sinφ=γXωF.

Now we have two equations that yield the solution

{X=F2γ2ω2+m2(ω02ω2)2,tanφ=γωm(ω02ω2).

Ideal-gas law

Consider a container filled with an ideal gas consisting of point masses. The only forces applied to the point masses are due to the container walls. In this case, the expression in the virial theorem equals

i𝐅i𝐫i=P𝐧^𝐫dA,

since, by definition, the pressure P is the average force per area exerted by the gas upon the walls, which is normal to the wall. There is a minus sign because 𝐧^ is the unit normal vector pointing outwards, and the force to be used is the one upon the particles by the wall.


Then the virial theorem states that

T=P2𝐧^𝐫dA.

By the divergence theorem, 𝐧^𝐫dA=𝐫dV=3dV=3V.

From equipartition, the average total kinetic energy T=N12mv2=N32kT. Hence, PV=NkT, the ideal gas law.[8]

Dark matter

In 1933, Fritz Zwicky applied the virial theorem to estimate the mass of Coma Cluster, and discovered a discrepancy of mass of about 450, which he explained as due to "dark matter".[9] He refined the analysis in 1937, finding a discrepancy of about 500.[10][11]

Theoretical analysis

He approximated the Coma cluster as a spherical "gas" of N stars of roughly equal mass m, which gives T=12Nmv2. The total gravitational potential energy of the cluster is U=i<jGm2ri,j, giving U=Gm2i<j1/ri,j. Assuming the motion of the stars are all the same over a long enough time (ergodicity), U=12N2Gm21/r.

Zwicky estimated U as the gravitational potential of a uniform ball of constant density, giving U=35GN2m2R.

So by the virial theorem, the total mass of the cluster is

Nm=5v23G1r

Data

Zwicky1933[9] estimated that there are N=800 galaxies in the cluster, each having observed stellar mass m=109M (suggested by Hubble), and the cluster has radius R=106ly. He also measured the radial velocities of the galaxies by doppler shifts in galactic spectra to be vr2=(1000km/s)2. Assuming equipartition of kinetic energy, v2=3vr2.

By the virial theorem, the total mass of the cluster should be 5Rvr2G3.6×1014M. However, the observed mass is Nm=8×1011M, meaning the total mass is 450 times that of observed mass.

Generalizations

Lord Rayleigh published a generalization of the virial theorem in 1900,[12] which was partially reprinted in 1903.[13] Henri Poincaré proved and applied a form of the virial theorem in 1911 to the problem of formation of the Solar System from a proto-stellar cloud (then known as cosmogony).[14] A variational form of the virial theorem was developed in 1945 by Ledoux.[15] A tensor form of the virial theorem was developed by Parker,[16] Chandrasekhar[17] and Fermi.[18] The following generalization of the virial theorem has been established by Pollard in 1964 for the case of the inverse square law:[19][20]Script error: No such module "Unsubst". 2limτ+Tτ=limτ+Uτif and only iflimτ+τ2I(τ)=0. A boundary term otherwise must be added.[21]

Inclusion of electromagnetic fields

The virial theorem can be extended to include electric and magnetic fields. The result is[22]

12d2Idt2+VxkGktd3r=2(T+U)+WE+WMxk(pik+Tik)dSi,

where I is the moment of inertia, G is the momentum density of the electromagnetic field, T is the kinetic energy of the "fluid", U is the random "thermal" energy of the particles, WE and WM are the electric and magnetic energy content of the volume considered. Finally, pik is the fluid-pressure tensor expressed in the local moving coordinate system

pik=ΣnσmσvivkσViVkΣmσnσ,

and Tik is the electromagnetic stress tensor,

Tik=(ε0E22+B22μ0)δik(ε0EiEk+BiBkμ0).

A plasmoid is a finite configuration of magnetic fields and plasma. With the virial theorem it is easy to see that any such configuration will expand if not contained by external forces. In a finite configuration without pressure-bearing walls or magnetic coils, the surface integral will vanish. Since all the other terms on the right hand side are positive, the acceleration of the moment of inertia will also be positive. It is also easy to estimate the expansion time τ. If a total mass M is confined within a radius R, then the moment of inertia is roughly MR2, and the left hand side of the virial theorem is MR2τ2. The terms on the right hand side add up to about pR3, where p is the larger of the plasma pressure or the magnetic pressure. Equating these two terms and solving for τ, we find

τRcs,

where cs is the speed of the ion acoustic wave (or the Alfvén wave, if the magnetic pressure is higher than the plasma pressure). Thus the lifetime of a plasmoid is expected to be on the order of the acoustic (or Alfvén) transit time.

Relativistic uniform system

For a physical system, when the pressure field, the electromagnetic and gravitational fields are taken into account, as well as the field of particles' acceleration, the virial theorem is written in the relativistic form as follows:[23]

Wk0.6k=1N𝐅k𝐫k,

where the value Wk=γcT exceeds the kinetic energy of the particles T by a factor equal to the Lorentz factor γc of the particles at the center of the system. Under normal conditions we can assume that γc1, then we can see that in the virial theorem the kinetic energy is related to the potential energy not by the coefficient 12, but rather by the coefficient close to 0.6. The difference from the classical case arises due to considering the pressure field and the field of particles' acceleration inside the system, while the derivative of the scalar G is not equal to zero and should be considered as the material derivative.

An analysis of the integral theorem of generalized virial makes it possible to find, on the basis of field theory, a formula for the root-mean-square speed of typical particles of a system without using the notion of temperature:[24]

vrms=c14πηρ0r2c2γc2sin2(rc4πηρ0),

where c is the speed of light, η is the acceleration field constant, ρ0 is the mass density of particles, r is the current radius.

Unlike the virial theorem for particles, for the electromagnetic field the virial theorem is written as follows:[25]

Ekf+2Wf=0,

where the energy Ekf=Aαjαgdx1dx2dx3 considered as the kinetic field energy associated with four-current jα, and

Wf=14μ0FαβFαβgdx1dx2dx3

sets the potential field energy found through the components of the electromagnetic tensor.

In astrophysics

The virial theorem is frequently applied in astrophysics, especially relating the gravitational potential energy of a system to its kinetic or thermal energy. Some common virial relations are Script error: No such module "Unsubst". 35GMR=32kBTmp=12v2 for a mass M, radius R, velocity v, and temperature T. The constants are Newton's constant G, the Boltzmann constant kB, and proton mass mp. Note that these relations are only approximate, and often the leading numerical factors (e.g. 35 or 12) are neglected entirely.

Galaxies and cosmology (virial mass and radius)

Script error: No such module "Labelled list hatnote". In astronomy, the mass and size of a galaxy (or general overdensity) is often defined in terms of the "virial mass" and "virial radius" respectively. Because galaxies and overdensities in continuous fluids can be highly extended (even to infinity in some models, such as an isothermal sphere), it can be hard to define specific, finite measures of their mass and size. The virial theorem, and related concepts, provide an often convenient means by which to quantify these properties.

In galaxy dynamics, the mass of a galaxy is often inferred by measuring the rotation velocity of its gas and stars, assuming circular Keplerian orbits. Using the virial theorem, the velocity dispersion σ can be used in a similar way. Taking the kinetic energy (per particle) of the system as T=12v232σ2, and the potential energy (per particle) as U35GMR we can write

GMRσ2.

Here R is the radius at which the velocity dispersion is being measured, and M is the mass within that radius. The virial mass and radius are generally defined for the radius at which the velocity dispersion is a maximum, i.e.

GMvirRvirσmax2.

As numerous approximations have been made, in addition to the approximate nature of these definitions, order-unity proportionality constants are often omitted (as in the above equations). These relations are thus only accurate in an order of magnitude sense, or when used self-consistently.

An alternate definition of the virial mass and radius is often used in cosmology where it is used to refer to the radius of a sphere, centered on a galaxy or a galaxy cluster, within which virial equilibrium holds. Since this radius is difficult to determine observationally, it is often approximated as the radius within which the average density is greater, by a specified factor, than the critical density ρcrit=3H28πG where H is the Hubble parameter and G is the gravitational constant. A common choice for the factor is 200, which corresponds roughly to the typical over-density in spherical top-hat collapse (see Virial mass), in which case the virial radius is approximated as

rvirr200=r,ρ=200ρcrit.

The virial mass is then defined relative to this radius as

MvirM200=43πr2003200ρcrit.

Stars

The virial theorem is applicable to the cores of stars, by establishing a relation between gravitational potential energy and thermal kinetic energy (i.e. temperature). As stars on the main sequence convert hydrogen into helium in their cores, the mean molecular weight of the core increases and it must contract to maintain enough pressure to support its own weight. This contraction decreases its potential energy and, the virial theorem states, increases its thermal energy. The core temperature increases even as energy is lost, effectively a negative specific heat.[26] This continues beyond the main sequence, unless the core becomes degenerate causing the pressure to become independent of temperature and the virial relation with n=1 no longer holds.[27]

See also

References

Template:Reflist

Further reading

  • Script error: No such module "citation/CS1".
  • Script error: No such module "citation/CS1".
  • Script error: No such module "Citation/CS1".

External links

  1. Script error: No such module "Citation/CS1".
  2. Script error: No such module "citation/CS1".
  3. Script error: No such module "Citation/CS1".
  4. a b Script error: No such module "citation/CS1".
  5. Script error: No such module "Citation/CS1".
  6. Script error: No such module "Citation/CS1".
  7. a b Script error: No such module "Citation/CS1".
  8. Script error: No such module "citation/CS1".
  9. a b Script error: No such module "Citation/CS1".
  10. Script error: No such module "Citation/CS1".
  11. Script error: No such module "Citation/CS1".
  12. Script error: No such module "Citation/CS1".
  13. Script error: No such module "citation/CS1".
  14. Script error: No such module "citation/CS1".
  15. Script error: No such module "Citation/CS1".
  16. Script error: No such module "Citation/CS1".
  17. Script error: No such module "Citation/CS1".
  18. Script error: No such module "Citation/CS1".
  19. Script error: No such module "Citation/CS1".
  20. Script error: No such module "citation/CS1".
  21. Script error: No such module "Citation/CS1".
  22. Script error: No such module "citation/CS1".
  23. Script error: No such module "Citation/CS1".
  24. Script error: No such module "Citation/CS1".
  25. Script error: No such module "Citation/CS1".
  26. Script error: No such module "citation/CS1".
  27. Script error: No such module "citation/CS1".