Intrinsic Parabolic Hausdorff Measure

• Intrinsic Parabolic Hausdorff Measure is a measure defined using parabolic scaling to quantify the size and structure of subsets in space–time with anisotropic properties.
• It employs parabolic metrics and coverings like cylinders to reflect the distinct scaling of time versus space, linking to caloric measures and potential theory.
• This framework underpins removability theorems, caloric measure control, and quantitative rectifiability in analysis of heat and degenerate parabolic PDEs.

The intrinsic parabolic Hausdorff measure is the central tool for quantifying the "size" and structure of subsets in parabolic space–time, such as $\mathbb{R}^n \times \mathbb{R}$, endowed with the intrinsic anisotropy dictated by the scaling of the classical or degenerate parabolic partial differential equations (PDEs). Distinct from its elliptic (spatially isotropic) analogue, the parabolic Hausdorff measure reflects the different geometric and probabilistic properties arising from time's distinct scaling. This notion is fundamental in modern analysis and potential theory related to heat equations, degenerate parabolic equations, caloric measures, rectifiability theory, and removability of singularities for parabolic PDEs (Badger et al., 2021, Merlo et al., 2022, Hansen et al., 2017, Borowski et al., 17 Dec 2025).

1. Parabolic Metrics, Scales, and Definition of Intrinsic Parabolic Hausdorff Measures

The geometry of the parabolic space depends crucially on the scaling symmetry of the associated PDE. For the classical heat equation in $\mathbb{R}^n \times \mathbb{R}$, the natural dilation is $\delta_\lambda(x, t) = (\lambda x, \lambda^2 t)$. This entails the use of the parabolic metric

$$d_p\left((x, t), (y, s)\right) = \max\left\{|x-y|, \sqrt{|t-s|}\right\},$$

or, when further anisotropies are present, metrics interpolating between spatial and temporal scales (Badger et al., 2021, Hansen et al., 2017, Borowski et al., 17 Dec 2025).

For a gauge function $h : (0, \infty) \to (0, \infty)$ and a collection of "parabolic balls" (e.g., sets of the form $B_p((x,t), r)$ or appropriate cylinders $Q_{r, \theta}(x_0, t_0)$), the intrinsic parabolic Hausdorff measure $H_{\rm par}^h$ of a set $E$ is defined as

$$H_{\rm par}^h(E) = \lim_{\delta \downarrow 0} \inf\left\{ \sum_{i} h(r_i) : E \subset \bigcup_i Q_{r_i, r_i^\alpha}(x_i, t_i),~0<r_i<\delta \right\}$$

in the context of parabolic Hölder regularity, with $\theta = r^\alpha$ for a Hölder exponent $\alpha >0$ (Borowski et al., 17 Dec 2025). For the heat equation, $h(r) = r^{n+1}$ and standard parabolic cylinders are used, reproducing Hausdorff measures adapted to the natural scaling of Brownian motion and the heat kernel (Badger et al., 2021, Hansen et al., 2017).

2. Fundamental Properties and Metric Equivalences

Intrinsic parabolic Hausdorff measures exhibit the standard measure-theoretic properties of monotonicity, countable subadditivity, and upper-semicontinuity. The choice of covering sets (balls, cubes, or cylinders) does not alter the resulting measure up to equivalence by absolute constants (Badger et al., 2021, Hansen et al., 2017, Borowski et al., 17 Dec 2025).

In potential-theoretic settings, the intrinsic measure can be formulated via Green function balls $B_G(x, \rho)$ with $G$ the relevant Green kernel. In the parabolic case, cylinders associated with the heat kernel yield an anisotropic Hausdorff measure $m_{n,2}$ for $\mathbb{R}^n \times \mathbb{R}$, and $H_p^n$ is equivalent (up to multiplicative constants) to $m_{n,2}$ (Hansen et al., 2017). This equivalence underpins the transfer of capacity and polarity results from classical and generalized potential theory to the parabolic regime.

3. Role in Geometric PDE Theory and Caloric (Parabolic) Measures

A central application is the control of caloric (heat) measures, which capture boundary hitting distributions for heat diffusion processes. Badger–Genschaw established that the caloric measure $\omega$ associated to a domain $\Omega \subset \mathbb{R}^{n+1}$ and a pole $(X_0, t_0)$ satisfies the following:

• $\omega$ is absolutely continuous with respect to the parabolic $n$-dimensional Hausdorff measure $H^n_p$ on the essential boundary.
• The lower parabolic Hausdorff dimension $\underline{\dim}_{p,H} \omega \geq n$ (no singular measures can be concentrated on lower-dimensional sets).
• The upper parabolic Hausdorff dimension $\overline{\dim}_{p,H} \omega \leq n+2-\beta_n$ for some $\beta_n>0$ depending only on $n$ (Badger et al., 2021).

Key technical innovations include the adaptation of Bourgain’s alternative and dyadic stopping-time arguments to the parabolic setting, as well as fine use of the strong Markov property for caloric measure via measure-theoretic recursions across nested parabolic cylinders.

4. Rectifiability, Tangent Measures, and Quantitative Geometry

Intrinsic parabolic Hausdorff measures and dimension underlie the theory of rectifiability and tangent measures in parabolic spaces. Rectifiability criteria extend the Marstrand–Mattila theorem, giving that a Radon measure $\mu$ in parabolic space is $s$-rectifiable precisely when it admits flat tangent measures almost everywhere and has positive, finite $s$-density at almost all points (Merlo et al., 2022). The parabolic setting uses the anisotropic dilation and Korányi-type norms, with associated notions of $s$-uniform and $1$-codimensional measures.

Quantitative rectifiability in the parabolic framework is formulated via weak constant density and bilateral $\beta$-number conditions, paralleling (but extending) the Euclidean and elliptic settings. A measure $\mu$ in $\mathbb{R}^{n+1}$ is $(n+1)$-Ahlfors-regular (for the parabolic metric) if $C^{-1} r^{n+1} \leq \mu(B_p(x, r)) \leq C r^{n+1}$ for all $(x, t)$ and $r>0$. Under a weak constant density (WCD) condition, the bilateral weak geometric lemma (BWGL) holds, ensuring uniform geometric control over the support of $\mu$ (Merlo et al., 2022).

5. Intrinsic Parabolic Hausdorff Measure and Removability Problems

The intrinsic parabolic Hausdorff measure indexed by a gauge $h(r)=r^{n+\alpha}$ is the critical tool for removability questions for Hölder continuous (weak) solutions to degenerate $p$-parabolic equations,

$$\partial_t u - \operatorname{div} A(x, t, \nabla u)=0,$$

where $A$ satisfies standard monotonicity and $p$-growth. For closed $E \subset \Omega_T$, $u$ is $\alpha$-Hölder with respect to the metric $$d_\alpha((x, t),(y,s)) = \max\left\{|x-y|, |t-s|^{1/(p + \alpha (2-p))}\right\}$$. The main removability theorems state:

• $E$ is removable if and only if $\mathcal{H}^{n+\alpha}_{(\alpha)}(E)=0$, where $\mathcal{H}^{n+\alpha}_{(\alpha)}$ is the intrinsic parabolic Hausdorff measure defined using the metric and gauge above (Borowski et al., 17 Dec 2025).
• The sufficiency leverages obstacle problem arguments and covering lemmas to show vanishing of the Riesz measure carried by $E$.
• Necessity is established via a parabolic Frostman lemma, yielding counterexamples supported on positive-measure sets.

This measure interpolates between classic parabolic capacity ($\alpha=0$), standard parabolic Hausdorff measure ($p=2$, $\alpha=1$), and more general anisotropic gauges, encapsulating the scale and geometry dictated by the PDE class.

6. Canonical Examples and Dimensional Phenomena

The intrinsic parabolic Hausdorff measure identifies new, geometrically sharp thresholds:

• Any spatial $k$-dimensional plane ($k<n$) has vanishing $\mathcal{H}^{n+\alpha}_{(\alpha)}$ and is removable for $\alpha>0$ in the above sense.
• The graph of a spatial $\beta$-Hölder function $f: \mathbb{R}^n \to \mathbb{R}$ has parabolic dimension $n+\beta$, so is removable if and only if $\beta<\alpha$.
• For fractal sets, removability is tied to the upper box dimension relative to the anisotropic gauge.

Moreover, classical potential-theoretic notions such as polarity and semipolarity for the heat equation correspond, via intrinsic parabolic Hausdorff measure, to sets of vanishing or finite measure, respectively (Hansen et al., 2017).

7. Connections to Potential Theory and Green Function-Based Metrics

Intrinsic parabolic Hausdorff measures obtained via Green function balls are equivalent, under upper and lower Gaussian heat kernel bounds, to the anisotropic cylinder-based parabolic Hausdorff measures. This equivalence ensures that capacity results, polarity criteria, and removability theorems developed in isotropic settings carry over to the parabolic (space–time) case (Hansen et al., 2017). The critical parabolic dimension for polar sets in the heat operator case is $n$ for $\mathbb{R}^n \times \mathbb{R}$, matching the threshold established for caloric measures (Badger et al., 2021).

---

References:

(Badger et al., 2021): Hausdorff dimension of caloric measure (Merlo et al., 2022): On the density problem in the parabolic space (Hansen et al., 2017): Semipolar sets and intrinsic Hausdorff measure (Borowski et al., 17 Dec 2025): Carleson-type removability for $p$-parabolic equations