“…We modeled Ly‐α photolysis using the photo‐conversion cross section σ d = 9 × 10 −22 m 2 (Raut et al.,
2022) with the equation
for the competition of CH 4 accretion flux
(net adsorption minus desorption) with conversion to photoproducts by Ly‐α photons (with flux F Lyα = 3.5 × 10 11 m −2 s −1 (Grundy et al., 2016)). Here η denotes methane column density frozen to the surface versus time t , while η 0 is the CH 4 column density in range of the Ly‐α light: We assume η 0 = ρd ∼ 7 × 10 20 m −2 (methane density times Ly‐α absorption depth) if η > ρd , and η 0 = η if η ≤ ρd .…”