Archive for September, 2009

Test Draft

September 29, 2009

Next, let us find the occupancy (mean occupation number) fk,ms:
Now, we note that for |x|<1,
This tells us that the sum in the numerator is thus , and so
Compare this to the occupancy for a fermion fluid ; the difference is a change of sign in the denominator. Note that unlike the fermion case, for a boson fluid, the occupancy can be greater than one.


Monday Math 90

September 28, 2009

Last week, I talked about the divisor functions σx(n), defined as the sum of the xth powers of the divisors of n; including the special cases and . I also showed the Dirichlet series generating function
with special cases
and .

Now, let us consider . While σa(nb(n) is multiplicative, being the product of multiplicative functions (see here), trying to use the Euler product to determine the generating function would prove rather difficult, so instead some number theory will be used. Credit for this method goes to “NonCommAlg” at the Math Help Forum.

First, note that
Now, consider the greatest common divisor of our indicies n and m; if , then we can factor out from , obtaining
Next, define . Factoring out from the denominator of each term, we see: . And, our work above on the product of two Riemann zeta functions tells us that . Thus, .

Next, we note that may also be written as , as for each divisor d of n, is also a divisor of n.
Thus, our Dirichlet series is
Now, reordering the summations across the indicies, we can sum with d1 and d2 over all positive integers, with n now the innermost sum; this sum will be over all values of n for which both d1|n and d2|n, which is equivalent to , and, therefore, that for some positive integer m.
Now, using the basic number theoretic rule that , we have that , and so

Next, we take , and consider reordering the sum above to group terms with the same value of d. All those terms with a given d will be of the form . Thus, our sum is reordered as
You should recognise our inner sum as a form of the function I defined earlier; specifically, the inner sum is equal to . Thus,

Letting a=b=0, we see that
, and more generally, if a=b,

Physics Friday 90

September 25, 2009

Let us consider a metal. When metal atoms are brought together, the few electrons in the outermost shell break away from the atoms, and can move (mostly) freely through the solid. On average, the electrical repulsive forces between these electrons tend to be neutralized by the electrical interactions with the background positive charges of the fixed ions. Thus, these “conduction band” electrons can be approximated by an ideal spin-½ fermi fluid. For an alkali metal, such as sodium or potassium (where the approximation works best), we have a concentration of (approximately) one conduction electron per ion. With an interionic distance of ~5 Å, we have an electron density on the order of 1028 to 1029 electrons per cubic meter.

Now, let us find the Fermi energy μ0, which you may remember from here is the value of the Fermi level at T=0. Here, the occupation probability is 1 for and zero for . Using our integral formula for the number of particles in an ideal Fermi fluid (see here), we see:
and thus:

For our metal, this is

The temperature TF for which μ0=kTF (the Fermi temperature), is then on the order of 104 to 105 K. For room temperature, we are at T much lower than this, placing us clearly in the quantum regime
(For 300 K, is approximately 43 Å). A Fermi fluid in such a state is referred to as a “degenerate” Fermi gas.

Now, the energy of the Fermi fluid at absolute zero is
so the energy per particle is . For our electron gas in our metal, this is on the order of 104 K in equivalent temperature units. For nucleons in the nucleus of an atom of a heavy element, the fermi energy even higher, on the order of 30 MeV, so the average kinetic energy is on the order of 18 MeV, which is still in the non-relativistic domain.

Note that the density of states increases as energy increases, so, using our result from here that the Fermi level is “repelled” by energies with higher densities of states, we should expect the Fermi level to decrease as the temperature rises. Similarly, an increasing number of electrons at energies just below the Fermi energy will be promoted to states with energies above the Fermi energy.

For an arbitrary function , we consider the integral
Using the fact that resembles a step function at low temperatures, one can, with some math, expand this integral in a power series in temperature, getting:
where the upper limit in the right-hand side integral and the points of evaluation in φ‘ and φ”’ is the temperature dependent Fermi level μ, not the Fermi energy μ0.

To find the dependence of the Fermi level on temperature, we first use . This latter integral is the above integral with , meaning
To find μ to second order in T, let us replace μ by μ0 in the second-order term of the above expansion, and using , we solve for μ to get:
confirming the Fermi level decreases with energy.

Similarly, we can develop a series expansion for internal energy as a function of temperature:
This tells us that the heat capacity at constant volume is
, where the term is the classical value; the factor in parentheses is thus a quantum correction factor. For our metal at room temperature, this factor is on the order of 10-1. This drastic reduction in the heat capacity of the conduction band electrons from what classical theory predicts was one of the motivations in the development of the Fermi-Dirac distribuion discribing the occupancy of states in a Fermi gas (see here).

Now, recall that for our ideal Fermi fluid, we have equation of state . For small T, the internal energy will be roughly the value at absolute zero, ; thus,
, where n is the particle density. Note that this is substantially larger than the P→0 as T→0 of the classical ideal gas; for our metal, this pressure is on the order of 1010 Pa! (In our metal, this enormous pressure is countered by the Coulomb attraction between the electrons and the positively charged fixed ions).
This additional, non-classical pressure, which ultimately derives from the Pauli exclusion principle, is known as degeneracy pressure. For massive astronomical objects without internal fusion, most notably white dwarfs, the object is supported against gravitational collapse by the degeneracy pressure of a degenerate electron gas. Similarly, neutron stars are supported by the degeneracy pressure of a degenerate neutron gas.

Combining and , we see ; this gives the dependency of the degeneracy pressure on density (for non-relativistic particle velocities). Further, for , the degeneracy pressure is effectively independent of the temperature.

I’m back

September 23, 2009

It took almost two weeks for the replacement part to get here, but my computer is fixed, and back in my possession.

Monday Math 89

September 14, 2009

A divisor function σx(n) is an arithmetic function consisting of the sum of the xth powers of the positive divisors of n:

Notable special cases include , known as the divisor function, which gives the number of positive divisors of n; and , the sum-of-divisors function, which adds all divisors of n, including n.
[The aliquot sum, the sum of all proper divisors of n, is thus s(n)=σ(n)-n; a “perfect” number is one for which s(n)=n.]
For example, consider n=12. The divisors are 1,2,3,4,6,12, and so:

One can in fact define this for any real, or even complex, x. Note that for real x>0, we can see by multiplying σx(n) by nx, that

If we have n=ab, gcd(a,b)=1, with a having divisors 1,a1,a2,…,a and b having divisors 1,b1,b2,…,b, then we see that every product aibj is a divisor of n, and that every divisor of n is such a product. Thus, we can show that divisor functions σx(n) are multiplicative functions.
For powers of primes, we see pk has k+1 factors: 1,p,p2,…,pk-1,pk. Thus

(for x>0).
Considering, then, the prime factorization , we get

[Note that , so that the x=0 case is the limit of the x≠0 general case].

Recall previouly that the Dirichlet series generating function for a sequence consisting of a multiplicative function can be represented as a product over primes:
For a divisor function, we see that
Now, we need to use the formula for the product of power series:
, where .
Letting ak=1, bk=bk for some positive b, then:
. (Note that both series on the left are geometric.)
Now, we see that since , the sum inside the product for our Dirichlet series is equivalent to the right-hand side of the above with and . Thus,
Taking the product over the primes, we thus see that
This means that


Physics Friday 89

September 11, 2009

Continuing from last week’s discussion of the thermodynamics of the ideal Fermi fluid, we now explore the classical limit.

First, I introduce the physical property known as fugacity. Fugacity is defined as , and can be seen as an alternative parameter to μ. Note that constant ξ is equivalent to holding the product βμ constant. In this post on the grand canonical ensemble, I showed that , where ; thus, using the chain rule to rewrite in terms of fugacity,

The key difference between the ideal Fermi fluid and the classical ideal gas is that a given fermion particle is not free to occupy an arbitrarily chosen state, as the Pauli exclusion principle forbids it from states that are already occupied. At high temperature or low density, though, the probability of occupation for each orbital state becomes small, thus reducing the effect of the Pauli exclusion principle; so we see the gas becomes classical when the density is sufficiently low or temperature sufficiently high, so that the occupancy for each state is small; this happens when . For this to happen for all energies, we need , or in other terms, ; the classical regime occurs when the fugacity is small. (Since β>0, we see that in the classical regime, the Fermi level must be at very negative values). In this range, we see that since ,
Note that the energy dependence in this classical approximation is the Boltzmann factor, confirming that in the classical limit, we approach the Maxwell-Boltzmann distribution of the classical ideal gas.

Now, we find the needed physical conditions (density and temperature) so that the fugacity is small. We found last week that the number of particles is
In our classical limit of small fugacity, we see that . Thus, we see that
where is a quantity with units of length, and g=2S+1 is the number of different spin orientations, here equal to 2.
which is the classical result for an ideal gas (with only translational modes for the gas molecules), and which combines with our to give the ideal gas law .

Solving our particle number formula for the fugacity, we see: , where is the particle density. Thus, the classical condition means that , and the classical quantum boundary occurs when .

Now, let us examine the physical interpretation of the quantity . This is called the “thermal de Broglie wavelength,” and is equivalent to the de Broglie wavelength of a particle of mass m and velocity , roughly that of the average particle of an ideal gas at temperature T. The thermal de Broglie wavelength decreases with increasing temperature.
Note that for a gas of particle density n, the average interparticle distance will be approximately , and so the classical condition is equivalent to saying that the thermal de Broglie wavelength must be significantly smaller than the average interparticle distance, again confirming the need for high temperature or low density.

Next week, we will explore what happens when an ideal Fermi fluid is firmly in the quantum regime.

Monday Math 88

September 7, 2009

Last week, I demonstrated how the Dirichlet series generating function for a sequence consisting of a multiplicative function can be represented as a product over primes:
Now, let us use this for a couple of multiplicative functions. First, the Möbius function μ(n). We recall that

Thus, the series inside the prime product has only two non-zero terms, and
using the Euler product for the Riemann zeta function .
We can similarly see:

Now, for a more challenging example, consider Euler’s totient function φ(n). It is a multiplicative function, and I showed here that for prime p and positive k, so the Dirichlet series generating function will have prime product form:
as when k=0, .
Now, to find a finite form for the series , we note that we can factor out (p-1) from all terms, and with a little work, we can get a geometric series:
and so we find the product over primes is


September 4, 2009

I’m likely going to be without a computer for the next week or so (depending on time for repair and how long it takes to ship parts here to Alaska). I have scheduled the Physics Friday and Monday Math posts for the next week or so, so those should be here at their appropriae times, but don’t expect any other posts for a bit here.

Mathematical Addendum to Physics Friday 88

September 4, 2009

To find the integral as a function of s and a, we work as here, using for t>0, so that
where is the polylogarithm.
Similarly, we can use the similar method here to find the related integral . As for t>0, we find:
where .

Physics Friday 88

September 4, 2009

Previously, I used the grand canonical formalism to derive the fundamental thermodynamic relation for a system of spin-½ fermions in a quantum system with a small number of orbital states. Now, let us extend this analysis to the ideal Fermi fluid, the quantum analog to the classical ideal gas for fermions; a system of fermion particles with no (or negligible) interaction forces, such as a collection of neutrons in the interior of a neutron star, or a low-temperature gas of 3He atoms.
As with our previous work, we will use the grand canonical formalism; the fundamental relations will be independent of these particular boundary conditions. We consider spin-½ fermions, so that for each orbital state we have two states, given by ms=±½. The orbital states available can be specified by the wavenumber vector k of the wavefunction (see here). As before, our grand partition sum factors: . As we are considering fermions, each orbital state is either empty or singly occupied. The energy of an empty state is zero, and the energy of an occupied state (k,ms) is (independent of the spin direction). This means the partition sum for a state (k,ms) is

In turn, we can consider the product of the two states of orbital k and opposite spin directions as the “partition sum of mode k, with terms for the empty mode, singly occupied mode (with two possible orientations), and doubly occupied mode.
Each state is independent, so we have mean occupation number

(in analogy to here).
Now, we can find the grand potential:

Now, consider our particle confined to a cubical box of volume V=L3; I demonstrated the quantum particle in a cubical box here; we have the allowed orbital states given by , , where nx, ny, and nz are positive integers.
Thus, the number of states of energy less than or equal to E is the number of triplets of positive integers (nx, ny, nz) for which , where . Considering the three dimensional abstract space with coordinates (nx, ny, nz), we see our points are those contained in the eighth of the sphere of radius n in the first octant. As each point corresponds to a cube of unit volume in this space (visualize the lattice of integer points), for large n, we can approximate the number of orbital states of energy less than or equal to E by the volume of this eighth of the sphere:
Differentiating this with respect to energy, we can obtain a “density of (orbital) states”:
If we multiply this by two, since we have two spin orientations per each orbital state, we can approximate our sum in the grand potential with an integral:
There is no closed-form expression for the integral (though it can be expressed in terms of polylogarithms), so the physical properties derived from Ψ must also be expressed in terms of integrals (or polylogarithms), which can be computed numerically or via approximation methods.
We can, though, immediately determine the number of particles Ñ and internal energy U:
(which we could also have obtained via and our integral expression for Ψ),

[These integrals may also be expressed in terms of polylogarithms:
. See here for more of the math involved.]

Now, if we perform integration by parts on the integral for Ψ, with and , we obtain
We also recall from the end of this post, that for simple systems, the equation of state is . Thus, we see that
. Note that this is exactly the result for a classical ideal gas whose molecules have only translational degrees of freedom available (see here and here).

Next week, I intend to show that this reduces to the classical ideal gas for high temperature, and extract the criterion separating the quantum and classical regimes.