1 Introduction

The Moon, Mercury, and other large airless bodies have rarefied atmospheres, which are collisionless exospheres (e.g., \(\hbox {H}_2\), He, Ar, and \(\hbox {H}_2\hbox {O}\)) where neutral atoms and molecules follow ballistic trajectories (Killen and Ip 1999; Stern 1999). One particularly important example is the putative water exosphere of the Moon, because it can potentially transport water from any location on the surface to the cold traps (Watson et al. 1961a, b; Arnold 1979; Schorghofer et al. 2021). A water group exosphere (\(\hbox {H}_2\hbox {O}\) or OH) has been detected on the Moon by Benna et al. (2019), but many of its properties remain unknown.

Atoms and molecules can initially be ejected by thermal or non-thermal process. They then either escape to space or fall back onto the surface. The vibrational frequency of the bond with the substrate surface is typically \(10^{13}\) Hz (De Jong and Niemantsverdriet 1990), so a particle should quickly thermalize, take on the temperature of the surface, leave with a thermal velocity distribution, and undergo a sequence of ballistic hops (Watson et al. 1961b; Hurley et al. 2016). Some, usually minor, fraction bounces elastically instead (Haynes et al. 1992). The vertical density profile can be calculated from the distribution of launch velocities.

Numerous Monte-Carlo simulations have been carried out for the water exospheres of Mercury and the Moon (e.g., Butler 1997; Crider and Vondrak 2002; Schorghofer 2014; Prem et al. 2018; Kloos et al. 2019; Feoktistova et al. 2021). The goal here is to develop the continuum theory with a solid surface boundary condition. Exospheres above a dense atmosphere, such as on Earth and the Sun, have long been investigated theoretically (e.g., Öpik and Singer 1959; Johnson and Fish 1960; Aamodt and Case 1962; Chamberlain 1963; Shen 1963). With a solid surface as lower boundary condition, the velocity distribution may be different and the number of particles is fixed or limited rather than supplied from a reservoir (i.e., a closed rather than an open thermodynamic system). Here, a first-principle approach is used for gravitationally-bound exospheres with thermal launch velocities that is ideally suited for the surface-bounded case and fully analytically tractable.

2 Thermodynamics of Ballistic Trajectories

2.1 Temperature of an Exosphere

To the extent molecules thermalize with the surface, the temperature of the exosphere is exactly the same as the temperature of the surface. This follows from the very concept of temperature (the zeroth law of thermodynamics). An ensemble of ballistic trajectories in thermal equilibrium with the surface has by definition the same temperature as the reservoir it is in equilibrium with.

The literature on exobase-bounded exospheres includes discussions on how the velocity distribution changes with height above the surface and how a (local) temperature should be defined in this collisionless environment. For surface-bounded exospheres, the answer is simple and straightforward, although the temperature is assigned to the whole ensemble rather than at each height.

If the surface has multiple temperatures, as it practically always has, the temperature of the exosphere is a linear superposition of these individual temperatures, averaged over a footprint the size of the hop distance. Strong lateral temperature heterogeneity is caused by shadows, but on most of the dayside, shadows cover only a minor portion of the surface (Hayne et al. 2021).

2.2 Single Ballistic Hop

Let \(v_z\) denote the initial vertical velocity component. It follows from elementary mechanics that for constant g the duration of ballistic flight is

$$\begin{aligned} t_D = \frac{2 v_z}{g} \end{aligned}$$
(1)

and the maximum height of a ballistic trajectory is

$$\begin{aligned} z_{\mathrm{max}} = \frac{v_z^2}{2g} \end{aligned}$$
(2)

The vertical velocity as a function of time and height, respectively, is

$$\begin{aligned} \frac{dz}{dt} = v_z - gt = \sqrt{v_z^2 - 2gz} \end{aligned}$$
(3)

The time the particle spends at a particular height z is proportional to \(1/\mid {dz/dt}\mid \). Therefore, the density profile for a single ballistic hop is

$$\begin{aligned} \rho (z) = \frac{g}{v_z} \frac{1}{\sqrt{v_z^2 - 2gz}} \end{aligned}$$
(4)

where the prefactor was determined from normalization:

$$\begin{aligned} \int _0^{z_{\mathrm{max}}} \rho (z) \, dz = 1 \end{aligned}$$
(5)

To obtain a mass density, \(\rho \) has to be multiplied with the column-integrated mass.

2.3 Ensemble Averages

Although an exosphere is collisionless, the trajectories still represent a thermodynamic ensemble (i.e., a statistical ensemble in equilibrium) as the particles thermalize with the surface. Given a probability distribution of initial velocities \(P(v_z)\), the ensemble average of a quantity X per hop is

$$\begin{aligned} \left<X\right>= \int X P(v_z) \, dv_z \end{aligned}$$
(6)

The time average for a stationary exosphere, \(\langle \!\langle . \rangle \!\rangle \), has to be weighted by the flight duration and is

$$\begin{aligned} \langle \!\langle X \rangle \!\rangle = \int X P(v_z) \frac{t_D}{\left<t_D\right>} \, dv_z = \int X P(v_z) \frac{v_z}{\left<v_z\right>} \, dv_z \end{aligned}$$
(7)

Both types of averages are properly normalized: \(\left<1\right>=1\) and \(\langle \!\langle 1 \rangle \!\rangle = 1\). Note that the factor \(v_z/\left<v_z\right>\) represents a cosine-dependence, and

$$\begin{aligned} \langle \!\langle X \rangle \!\rangle = { \left< v_z X\right> \over \left<v_z\right>} \end{aligned}$$
(8)

For the density on the surface (\(z=0\)), Eqs. (4) and (7) imply

$$\begin{aligned} \langle \!\langle \rho (0) \rangle \!\rangle= & {} \frac{g}{\left<v_z\right>} \int _0^\infty \frac{1}{v_z} P(v_z) \, dv_z \end{aligned}$$
(9)

When the probability distribution is expanded as \(P(v_z) = P(0) + P'(0) v_z + ...\), then \(\langle \!\langle \rho (0) \rangle \!\rangle < \infty \) requires \(P(0)=0\). If \(P(0)>0\) (and P is analytic), the surface density diverges.

To form the average of the vertical density profile, the integration is over all initial velocities that are sufficiently high to reach a given height, i.e., \(v_z > \sqrt{2gz}\). The time-averaged profile \(\langle \!\langle \rho \rangle \!\rangle \) is

$$\begin{aligned}&\langle \!\langle \rho \rangle \!\rangle = \int \rho (z;v_z) P(v_z) \frac{v_z}{\left<v_z\right>} \, dv_z = \frac{g}{\left<v_z\right>} \int _{\sqrt{2gz}}^\infty {1\over \sqrt{v_z^2-2gz}} P(v_z) \, dv_z \end{aligned}$$
(10)

where (4) was used. The same result is obtained if one considers that the time spent in a height interval is proportional to the inverse of the instantaneous velocity \(1/\mid dz/dt \mid \). Hence,

$$\begin{aligned}&\langle \!\langle \rho \rangle \!\rangle = \frac{g}{\left<v_z\right>} \int _{\sqrt{2gz}}^\infty {1\over \mid dz/dt \mid } P(v_z) \, dv_z = \frac{g}{\left<v_z\right>} \left\langle {1 \over dz/dt } \right\rangle \end{aligned}$$
(11)

With (3) this also results in (10). The density profile is an ensemble average over the inverse of the vertical component of the launch velocity.

2.4 Velocity Distribution for Thermal Desorption

The “Knudsen cosine law" applies to the velocity distribution of a rarefied gas near a wall (Knudsen 1909; Comsa 1968) and states that the probability of an angle of emergence varies as the cosine of the angle with the surface normal. This experimentally determined fact can be explained theoretically, if the direction in which a molecule rebounds from a solid wall is independent of the direction it approaches the wall (Knudsen 1909). This is the opposite of the velocity correlation expected for specular reflection on a smooth surface. The decorrelation can be understood in terms of the dispersing microgeometry of the wall (Feres and Yablonsky 2004) or from thermalization during contact.

The probability distribution derived by Armand (1977) is based on the oscillations of atoms in the crystal:

$$\begin{aligned}&P_3 \, d^3v = \frac{2\beta ^2}{\pi } v_z e^{-\beta (v_x^2 + v_y^2 + v_z^2) } \, dv_x dv_y dv_z \end{aligned}$$
(12)

with

$$\begin{aligned}&\beta = {m \over 2kT} \end{aligned}$$
(13)

where k is the Boltzmann constant, T the temperature associated with the initial velocities, and m the mass of the atom or molecule. The Armand distribution obeys the Knudsen cosine law, because of the prefactor \(v_z\).

Based on numerical simulations, Smith et al. (1978) and Hodges (1980) realized that launch velocities with a Maxwell–Boltzmann distribution do not result in the expected density profile and proposed that the launch velocities for an exobase correspond to a “Maxwell–Boltzmann flux” (MBF) distribution, which places an extra factor of the vertical velocity component, \(v_z\), in front of the Maxwell–Boltzmann distribution. A wall bordering a gas with Maxwell–Boltzmann velocity distribution experiences a MBF velocity distribution. The MBF distribution is identical to the Armand distribution (12).

Deviations from the cosine law have been measured (Comsa 1968). The detailed velocity distribution depends on the properties of the surface and the type of adsorption, but the Armand/MBF distribution is the leading order description for thermal desorption from a surface (see also Hodges and Mahaffy 2016). Microrelief and diffusion can modify the effective residence times and angular distribution of launch velocities (Sarantos and Tsavachidis 2020, 2021). These phenomena are not considered in this work, although they might be important.

3 Exact Solutions for Vertical Density Profile

3.1 The Classical Density Profile

Separated in x, y, and z-components the Armand distribution (12) is

$$\begin{aligned} P_3= & {} \underbrace{ \left( \sqrt{\beta \over \pi } e^{-\beta v_x^2} \right) }_{P_B(v_x)} \underbrace{ \left( \sqrt{\beta \over \pi } e^{-\beta v_y^2} \right) }_{P_B(v_y)} \underbrace{ \left( 2\beta v_z e^{-\beta v_z^2} \right) }_{P_A(v_z)} \end{aligned}$$
(14)

It is identical to the “Maxwell–Boltzmann flux” (MBF) distribution. The lateral velocity components follow Boltzmann distributions, \(P_B\). The distribution of the vertical component (\(v_z \ge 0\)) is given by

$$\begin{aligned}&P_A(v_z) = 2 \beta v_z e^{-\beta v_z^2} \end{aligned}$$
(15)

This functional form is also known as Rayleigh distribution, and compared to a Boltzmann distribution, \(P_A = 2 \sqrt{\pi \beta } v_z P_B\). Using Eqs. (6715), averages for the Armand distribution are

$$\begin{aligned} \left<v_z\right>_A = \frac{1}{2} \sqrt{\pi \over \beta }, \quad \left<v_z^2\right>_A = \frac{1}{\beta } = \frac{2kT}{m} , \quad \langle \!\langle v_z \rangle \!\rangle _A = {2 \over \sqrt{\pi \beta }}, \quad \langle \!\langle v_z^2 \rangle \!\rangle _A = {3 \over 2\pi \beta } \end{aligned}$$
(16)

This velocity distribution allocates kT for the vertical translational mode (16), instead of kT/2.

It is useful to introduce the scale height

$$\begin{aligned}&H = \frac{kT}{mg} = \frac{1}{2g\beta } \end{aligned}$$
(17)

The averages of \(z_{\mathrm{max}}\) (2) are

$$\begin{aligned} \left<z_{\mathrm{max}}\right>_A= & {} { \left<v_z^2\right>_A \over 2g } = H \qquad \text{ and }\qquad \langle \!\langle z_{\mathrm{max}} \rangle \!\rangle _A = { \langle \!\langle v_z^2 \rangle \!\rangle _A \over 2g} = \frac{3}{2} H \end{aligned}$$
(18)

The average maximum height per hop is H, whereas the maximum height reached by the particles in flight at any given time is (3/2)H. The average duration of a ballistic hop, using Eqs. (1), (6), and (15), is

$$\begin{aligned} \left<t_D\right>_A = \frac{1}{g} \sqrt{\pi \over \beta } = \sqrt{2 \pi H \over g} \end{aligned}$$
(19)

The time-averaged density profile becomes

$$\begin{aligned}&\langle \!\langle \rho \rangle \!\rangle _A = \frac{1}{H} e^{-z/H} \end{aligned}$$
(20)

This reproduces the barometric formula, even with the same scale height H as an isothermal hydrostatic atmosphere.

The classical particle-based (Öpik and Singer 1959; Shen 1963) and Liouville theorem based (Aamodt and Case 1962) derivations lead to the same density profile. To demonstrate this, one of their derivations is reproduced here for the simple case of constant gravitational acceleration. Shen (1963) writes the density profile as

$$\begin{aligned} \rho= & {} 4\pi \left( {\beta \over \pi }\right) ^{3/2} \!\! \int \!\!\!\int \frac{v_t v_z}{\sqrt{v_z^2-2gz}} e^{-\beta (v_z^2+v_t^2)} dv_t dv_z \end{aligned}$$
(21)

Once the integral over the tangential velocity \(v_t\) from 0 to \(\infty \) is carried out, this further integrates to

$$\begin{aligned}&\rho = 2 \left( {\beta \over \pi }\right) ^{1/2} \!\! \int _{\sqrt{2gz}}^\infty \frac{e^{-\beta v_z^2}}{\sqrt{v_z^2-2gz}} v_z dv_z = e^{-2\beta gz} = e^{-z/H} \end{aligned}$$
(22)

This reproduces the barometric Equation (20), with a different normalization.

3.2 Divergent Density Profile

Fig. 1
figure 1

Schematic illustration of the distribution of launch velocities from a horizontal and a vertical surface. Both use the same coordinate system, with z opposite the direction of gravity

When desorption from a vertical wall is considered, the x and z velocity components in (14) are swapped (Fig. 1):

$$\begin{aligned} P_{3\perp } = \underbrace{ \left( 2\beta v_x e^{-\beta v_x^2} \right) }_{P_A(v_x)} \underbrace{ \left( \sqrt{\beta \over \pi } e^{-\beta v_y^2} \right) }_{P_B(v_y)} \underbrace{ \left( 2\sqrt{\beta \over \pi }e^{-\beta v_z^2} \right) }_{P_\perp (v_z)} \end{aligned}$$
(23)

The probability distribution of the vertical component of the initial velocity \(v_z\) is

$$\begin{aligned} P_\perp (v_z) = 2 \sqrt{\beta \over \pi } e^{-\beta v_z^2} \end{aligned}$$
(24)

where a factor of 2 has been added, which ignores the downward moving molecules (\(v_z\ge 0\)), otherwise it is the same as \(P_B\). Averages with respect to \(P_\perp (v_z)\) are

$$\begin{aligned} \left<v_z\right>_\perp= & {} \frac{1}{\sqrt{\pi \beta }}, \quad \left<v_z^2\right>_\perp = \frac{1}{2\beta } = \frac{k T}{m} \end{aligned}$$
(25)

The time-averaged density profile is

$$\begin{aligned} \langle \!\langle \rho \rangle \!\rangle _\perp = \int _{\sqrt{2gz}}^\infty \rho (z;v_z) P_\perp (v_z) \frac{v_z}{\left<v_z\right>}dv_z = \frac{1}{2H} e^{-z/2H} K_0\left( {z \over 2H}\right) \end{aligned}$$
(26)

where \(K_0\) is the modified Bessel function of the second kind. For \(z\ll H\), \(K_0(z/2) = -\ln (z/4) - \gamma \), where \(\gamma \) is the Euler constant, and in this limit

$$\begin{aligned} \langle \!\langle \rho \rangle \!\rangle _\perp = -\frac{1}{2H} \left( \ln \left( {z\over 4H}\right) + \gamma \right) \quad \mathrm{for}\quad z \ll H \end{aligned}$$
(27)

which implies that the density near the surface goes to infinity at a logarithmic rate. This divergence was already anticipated by Eq. (9).

In the opposite limit of large height, \(z\gg H\), \(K_0(z/2) = \sqrt{\pi /z}\, e^{-z/2}\), and therefore

$$\begin{aligned} \langle \!\langle \rho \rangle \!\rangle _\perp = \frac{1}{2} \sqrt{\pi \over z}\, e^{-z/H} \quad \mathrm{for}\quad z \gg H \end{aligned}$$
(28)

At large heights, the density falls off faster than an exponential.

In an exosphere, the mean free path is much larger than the scale height, so having a local density higher than the saturation vapor density is not unphysical. Figure 2 compares \(\langle \!\langle \rho \rangle \!\rangle _A\) and \(\langle \!\langle \rho \rangle \!\rangle _\perp \). What appears to be a “ground-hugging” population is actually part of a population described by a single temperature. Figure 3 illustrates the launch velocity distributions and the resulting density profiles.

Fig. 2
figure 2

Theoretical density profiles of exospheres according to Eqs. (20) and (26)

Fig. 3
figure 3

Vertical velocity distributions and the resulting density profiles. Left row: With constant launch velocity (or a single launch), the time a molecule spends at each height increases with height (4), and most time is spent where it reverses direction. Middle row: An exponential density profile (20) results from an Armand/MBF distribution of initial velocities (15). Right row: If the vertical component of the launch velocity follows a Boltzmann distribution (24), the density profile diverges logarithmically near the surface (26), resulting in a “ground-hugging" population

As apparent from Eq. (9), the near-surface divergence arises from particles with small vertical launch velocities. Typically these will have small launch angles. On a rough surface, launches at small angles are blocked more often than launches at steep angles, which eliminates the divergence, but with a different height scale, and blocking does not erase the ground-hugging population.

The number of molecules delivered to a small vertical surface element by ballistic trajectories is expected to be about the same as for a horizontal surface. Hence, the slope dependence of the mass flux will approximately reflect that of the velocity probability distribution.

3.3 Rough Surfaces and Two-Component Exospheres

A planetary surface is rough on small scales, so the local surface normal rarely points along the direction of gravity. Roughness makes the launch velocities more isotropic. The density profile can be calculated in closed form for emission from vertical (Sect. 3.1) and horizontal (Sect. 3.2) surfaces. For a general slope angle, there does not appear to be a closed-form solution. For a rough surface, that contains both horizontal and vertical elements, the combined solution will have an exponential behavior for high altitudes and a faster-than-exponential (a ground-hugging) behavior near the surface. In this sense, the exosphere can be thought of as consisting of two components: One that consists predominantly of fast particles ejected upwards from horizontal surfaces, and one that consists predominately of slowly ascending particles ejected from steep surfaces. However, they both have the same temperature and they are end-members of the same population rather than two distinct populations. In conclusion, particles launched from a rough surface according to the Armand/MBF distribution are expected to follow the classical density profile at high altitudes, but to have a more ground-hugging behavior at low altitudes.

The temperature of an exosphere is often inferred by fitting the density profile to an exponential, or to a more general solution that takes radial variations in g into account. In this case, the exospheric profile would be misinterpreted as consisting of a hot and a cold population (a two component exosphere), and the ground-hugging population would be assigned a temperature lower than the surface temperature. The transition between the two density profiles can be placed at \(\langle \!\langle \rho (z) \rangle \!\rangle _A=\langle \!\langle \rho (z) \rangle \!\rangle _\perp \), which occurs at \(z/H \approx 0.486\) (Fig. 2). Below this height, the combined density profile is dominated by the logarithmic divergence.

4 Relations Between Cold Traps, a Variable Exosphere, and Spelean Ice

Here the relation of an exosphere to its condensed phase is considered. The concepts are independent of the results for the vertical density profile in the previous section.

4.1 The Hertz-Knudsen-Langmuir Equation

The Hertz-Knudsen equation provides the sublimation loss of ice into vacuum (Persad and Ward 2016), and was already given in Langmuir (1913):

$$\begin{aligned} S = { p_s \over \sqrt{2\pi k T m} } \end{aligned}$$
(29)

where \(p_s\) is the saturation (equilibrium) vapor pressure. It is derived in the following way. Consider vapor and ice in equilibrium with each other. At the saturation vapor pressure, the flux from the vapor to the solid surface equals the flux in the opposite direction. In the absence of a collisional gas, the flux from the ice surface is still the same. The sublimation rate is therefore the same as the flux of an ideal gas with a Maxwell–Boltzmann velocity distribution toward a solid wall. The flux toward the surface is \(n {{\bar{v}}}_z\), where n is the volumetric number density and the average is over the half of the molecules that move toward the solid surface, and n is the number density. For the Maxwell–Boltzmann distribution

$$\begin{aligned} {{\bar{v}}}_z = {1 \over 2 \sqrt{\pi \beta } } = \sqrt{kT \over 2\pi m} \end{aligned}$$
(30)

Combined with the ideal gas law, \(p_s = nkT\), this leads to Eq. (29).

Thermal desorption is expected to have the same distribution of launch velocities as sublimation from ice (Sect. 2.4), and hence the Hertz-Knudsen equation can be extended to a situation where \(p_s\) is not the equilibrium pressure over ice, but the equilibrium pressure over adsorbed \(\hbox {H}_2\)O.

4.2 The Vertical Flux

For a water exosphere above an ice-covered surface, the flux on the surface is the sublimation rate of ice into vacuum. In the stationary case, the net flux is zero, as an equal number of particles move up and down. The uni-directional flux on the surface is given by \(F= (1/2) \rho v_z\). The ensemble-averaged flux is

$$\begin{aligned} \langle \!\langle F \rangle \!\rangle (z=0)= & {} \frac{1}{2} \langle \!\langle \rho v_z \rangle \!\rangle = \langle \!\langle {g \over 2v_z} \rangle \!\rangle = \frac{g}{2\left<v_z\right>} \end{aligned}$$
(31)

For the Armand distribution

$$\begin{aligned} \langle \!\langle F \rangle \!\rangle _A(z=0) = { m g \over \sqrt{2 \pi m kT} } \end{aligned}$$
(32)

This flux has units of inverse time and needs to be multiplied with the column abundance \(\sigma \) to get the column-integrated number of molecules.

For a gravitationally-bound water exosphere above an ice-covered surface \(S = \sigma \langle \!\langle F \rangle \!\rangle \). Using (29) and (32), this leads to a simple relation for the column-integrated mass of the water exosphere of an ice-covered body:

$$\begin{aligned} m \sigma = {p_s \over g} \end{aligned}$$
(33)

which says that the weight of the exosphere equals the pressure at its base, although, in the absence of collisions above the surface, there are no force chains. The balance is physically reasonable, because, on average, the momentum of molecules impinging on the surface equals the momentum at which they are thermally desorbed. As mentioned above, this relation can be generalized from an ice surface to a surface with adsorbed \(\hbox {H}_2\)O, using the appropriate equilibrium pressure \(p_s\).

4.3 Exospheres and Cold Traps

Exospheres can be related thermodynamically to the cold traps that they feed. Cold traps on airless bodies are areas where the sublimation loss into vacuum is negligible and water ice could therefore accumulate in them. More precisely, cold traps are areas where the sublimation loss is less than the amount delivered to the cold traps. The flux from an exosphere into the cold traps is related to the pressure of the exosphere, and therefore the pressure of the exosphere is related to the sublimation pressure of ice in a cold trap, as long as long-term averages are considered.

The Hertz-Knudsen Equation (29) makes clear that the sublimation rate into vacuum, S, depends on the saturation vapor pressure \(p_s\). Both, S and \(p_s\), are strictly monotonic functions of T. Figure 4 shows the phase diagram of \(\hbox {H}_2\)O with vacuum sublimation rates among the annotations, which illustrates the association of the cold trap temperature threshold with sublimation pressures.

Fig. 4
figure 4

Phase diagram of \(\hbox {H}_2\)O. Sublimation rates into vacuum are annotated along the vapor-solid line

The flux of vapor into the cold traps \(S_{\mathrm{exo}}\), averaged over a long time, exceeds S, and should be calculated based on the temperature surrounding the cold traps from where molecules launch into the cold traps. This flux varies greatly over time, but in the long term it is larger than the more steady sublimation loss from the cold traps. At the cold trap threshold temperature

$$\begin{aligned} S (T_{\mathrm{thres}}) = \frac{1}{P} \int _0^P S_{\mathrm{exo}} \, dt \end{aligned}$$
(34)

where P is a long time period, perhaps as much as Gyrs. Using the Hertz-Knudsen relation,

$$\begin{aligned} {p_s (T_{\mathrm{thres}}) \over \sqrt{T_{\mathrm{thres}}} } = \frac{1}{P} \int _0^P { p_{\mathrm{exo}} \over \sqrt{T_{\mathrm{sur}}} } \, dt \end{aligned}$$
(35)

where \(T_{\mathrm{sur}}\) is the (daytime) temperature of the surrounding area. Given that the saturation pressure varies exponentially with temperature (Fig. 4), the time variability of the denominator is reasonably neglected,

$$\begin{aligned} p_s (T_{\mathrm{thres}}) \approx \sqrt{T_{\mathrm{thres}} \over T_{\mathrm{sur}}} \frac{1}{P} \int _0^P p_{\mathrm{exo}} \, dt \end{aligned}$$
(36)

Therefore \(p_s\) at the cold trap threshold is slightly lower than but similar to the long-term average of the exospheric pressure. This leads to an insightful interpretation: The cold trap margins are close to the frost point of the water exosphere, as long as the long-term average is considered. The vertical axis in Fig. 4 can almost be interpreted as the long-term average of the exospheric pressure.

As a specific example, at 110 K the saturation pressure of crystalline ice (Murphy and Koop 2005) is about \(3 \times 10^{-12}\) Pa and the sublimation rate is 144 kg \(\hbox {m}^{-2}\) \(\hbox {Gyr}^{-1}\) or 0.15 m/Gyr. At 115 K these numbers are \(3 \times 10^{-11}\) Pa and 1.6 m/Gyr. Taking the latter temperature, the column abundance above the cold traps should be no more than \(6\times 10^{14}\) molecules/\(\hbox {m}^2\) according to Eq. (33). This is an upper limit, because only the margins of the cold traps will be at this temperature and the ice is often not even exposed on the surface. The actual number could well be several orders of magnitude lower. The exosphere quickly spreads and this pressure should be present even at the equator. The spatial variations in pressure and column abundance over the dayside should be within a factor of only a few (Schorghofer 2015).

4.4 Geographic Limits to the Occurrence of Lunar Ice Caves

Caves can act as (subsurface) cold traps. A cave is traditionally defined as a cavity that is longer than the height and width of its entrance. Hence, water molecules typically have to hop multiple times to reach the end of a cave. Temperatures in the cave interior are shielded from peak surface temperatures and likely vary little over a lunation. Several cave entrance candidates have been identified on the Moon (e.g.,Haruyama et al. 2009; Robinson et al. 2012). Lunar caves that contain ice would be an exciting prospect. Mean surface temperatures on the Moon are below freezing globally (Williams et al. 2017), and subfreezing temperatures hence prevail at shallow depths.

In the long term, spelean ice is lost to space by sublimation. The mean free path is on the order of the cave diameter, so a cave does not provide much of a diffusion barrier that could delay this loss. (And if it did provide much of a diffusion barrier this would slow migration not only out of the cave but also into the cave.) However, if the temperature of the cave interior is below the cold trap temperature (\(\lesssim 120\) K), it received more water molecules from the outside than it has lost. (As discussed above, the cold trap threshold approximately corresponds to the long-term average of the supply rate.) Hence, lunar spelean ice is likely limited to cave interiors colder than about 120 K, which restricts their potential occurrence to the polar regions, but includes regions far outside of cold traps. Cavities are expected even in the polar regions (e.g., Kring et al. 2021; Lee 2022). Topography induces major temperature variations, so areas colder than the threshold for mean temperature are not described by a single latitude threshold but made up of many disjoint regions.

5 Conclusions

Observations have not yet established to what extent surface-bounded exospheres of \(\hbox {H}_2\)O are in thermal equilibrium with the surface, but basics of the theory are worked out here. Thermalized surface-bounded exospheres are described by the temperature of the surface they are in contact with.

The vertical density profile of a stationary surface-bounded exosphere in a uniform gravity field can be calculated from the distribution of launch velocities, Eq. (10). For an Armand (Maxwell–Boltzmann-Flux) distribution, the density profile follows an exponential. From a vertical wall with the same launch velocities, the density approaches infinity near the surface at a logarithmic rate, Eq. (26). More generally, if \(P(v_z)\) is the probability distribution of the vertical component of launch velocities (and the function is analytic), then \(P(0)>0\) implies the surface density diverges. These exact solutions suggest that thermal desorption from a rough surface will appear to result in two-component exospheres, although they are described by a single temperature.

Since the influx of molecules into cold traps is related to the pressure of a (water) exosphere, the cold trap temperature threshold can be interpreted as the frost point of the exosphere, as long as the long-term average of the exospheric pressure is considered, Eq. (36). Along the same line of argument, lunar ice caves will lose water if the cave interior is above the cold trap temperature of about 120 K, which places geographic limits on the occurrence of spelean ice on the Moon.