V-GT-01 — Gaussian gas-pulse diffusion (plane source)

Tags: gas_transport, fickian, mass_conservation

References:

  • J. Crank, The Mathematics of Diffusion (plane-source solution)
  • Stoliarov & Lyon, FSS 9:1141 (2008), gas-transport verification

Problem statement

Pure Fickian transport of gas released inside the solid (Crank/ThermaKin plane source). Instead of approximating a delta function, the initial condition is a finite-width Gaussian — itself an exact solution — so the comparison is IC-discretization-free:

ξ(z,t) = M_tot/√(2πσ²(t)) · exp(−(z−z₀)²/(2σ²(t))), σ²(t) = σ₀² + 2dt

Setup notes:

  • All permeabilities are 0 ⇒ has_darcy_flow is false ⇒ the residual takes the pure-diffusion path (compute_gas_fluxes!), whose kernel −(λ/T)·Δ(ξT)/Δz reduces exactly to Fick's law with diffusivity λ at uniform T (adiabatic faces + no sources keep T uniform to machine).
  • λ = d is set on BOTH components: PARALLEL mixing is volume-fraction weighted, so equal per-component λ makes λ_eff ≡ d independent of composition (otherwise the pulse would see a composition-dependent d).
  • Default ImpermeableBC on both faces: mass is conserved to machine precision; the sealed-boundary image-source correction to the infinite- domain reference is ≤ e^(−11.7) ≈ 8e-6 of the peak at tend (domain half-width = 4.9σ(tend)) — below the discretization error.

QoIs: profile L∞ (relative to the evolving peak), total-mass conservation, and the parameter-free variance growth law Var(t) = σ₀² + 2dt.

Quantities of interest (n = 640)

QoIvalueexacterrortolerancewithin tolprovenance
L∞ ξ-profile error / peak, t=2.0 s7.809e-057.809e-050.004yesGaussian stays Gaussian; n=160 uniform, σ₀ = 4Δz
L∞ ξ-profile error / peak, t=4.0 s4.821e-054.821e-050.004yesGaussian stays Gaussian; n=160 uniform, σ₀ = 4Δz
L∞ ξ-profile error / peak, t=8.0 s2.704e-052.704e-050.004yesGaussian stays Gaussian; n=160 uniform, σ₀ = 4Δz
gas-mass conservation (sealed)2.595e-152.595e-151e-13yesantisymmetric face fluxes telescope exactly
variance growth, t=2.0 s5e-065e-061.016e-152e-05yesVar(t) = σ₀² + 2dt; relative error reported
variance growth, t=4.0 s9e-069e-061.037e-102e-05yesVar(t) = σ₀² + 2dt; relative error reported
variance growth, t=8.0 s1.7e-051.7e-054.597e-062e-05yesVar(t) = σ₀² + 2dt; relative error reported

V-GT-01 xi_profiles

V-GT-01 xi_profiles_error

V-GT-01 variance_history

V-GT-01 variance_history_error

V-GT-01 convergence

Convergence

n_cellshwall (s)L2Linf
400.0250.024510.0039840.01214
800.01250.042190.00096930.003074
1600.006250.083380.00024070.0007708
3200.0031250.96636.009e-050.0001928
6400.0015630.34621.501e-054.821e-05

Observed order 2.012 (L2), expected 2.0.

Solver configuration

settingvalue
integratorKenCarp4 (default)
abstol1.0e-12
reltol1.0e-10