Time-Backwards Capacity Density Condition

• Time-Backwards Capacity Density Condition is a quantitative potential-theoretic condition that sets a lower bound on thermal capacity in backward space-time slabs.
• It guarantees nondegeneracy of the caloric measure and regularity of solutions for parabolic Dirichlet problems even on rough, non-cylindrical domains.
• The condition refines the classical Wiener criterion and uses operator-specific constants to ensure uniqueness, stability, and well-posedness in parabolic PDE analysis.

The time-backwards capacity density condition (TBCDC) is a quantitative potential-theoretic hypothesis placed on space-time domains for second-order parabolic operators with bounded measurable coefficients. It imposes a lower bound on the thermal capacity of the exterior (complement) of the domain, measured in spatial–temporal slabs lying immediately "backwards" in time from boundary points. This thickness condition is a sharp quantitative refinement of the parabolic Wiener criterion and plays a central role in the solvability and regularity of parabolic Dirichlet problems on rough, non-cylindrical, or unbounded domains.

1. Precise Definition and Formulation

Given a parabolic operator in divergence form: $L = \partial_t - \mathrm{div}(A(X, t)\nabla)$ with bounded measurable coefficients $A(X, t)$, and domain $\Omega \subset \mathbb{R}^{n+1}$, consider any lateral boundary point $(x_0, t_0)$ (i.e., a point in the quasi-lateral boundary $\Sigma$), and a spatial radius $r > 0$ subject to $$0 < r < \operatorname{dist}_{\text{par}}((x_0, t_0), \text{bottom}(\Omega))$$.

The L-thermal capacity of a compact set $K$ is: $$\operatorname{Cap}_L(K) = \sup\{\mu(K) \colon \mu \geq 0, \; \operatorname{supp}\mu \subseteq K, \; \Gamma_L\mu \leq 1 \;\text{on}\; \mathbb{R}^{n+1}\}$$ where $$\Gamma_L\mu(X,t) = \iint \Gamma_L(X,t;Y,s) \, d\mu(Y,s)$$ and $\Gamma_L(\cdot;\cdot)$ is the fundamental solution of $L$.

The domain $\Omega$ satisfies TBCDC for $L$ if there are constants $a \in (0,1)$ and $c > 0$ such that for all $(x_0, t_0) \in \Sigma$ and all eligible $r$: $$\frac{\operatorname{Cap}_L\left(\left(\overline{Q_r(x_0)} \times [t_0 - r^2,\; t_0 - (a r)^2]\right) \cap \Omega^c\right)}{\operatorname{Cap}_L\left(\overline{Q_r(x_0)} \times [t_0 - r^2,\; t_0 - (a r)^2]\right)} \geq c$$ where $Q_r(x_0)$ is a (parabolic) spatial cube.

2. Role in Parabolic Dirichlet Problems

For continuous or Hölder-continuous boundary data on $\partial_e\Omega$, TBCDC ensures that the parabolic measure (caloric measure) $\omega_L$ is nondegenerate and quantitatively controlled near the lateral boundary. In the parabolic Dirichlet problem

$$Lu = 0 \;\text{in}\; \Omega, \quad u|_{\partial_e\Omega} = f$$

TBCDC provides:

• Quantitative lower bounds on the caloric measure of small surface balls at the boundary (Bourgain-type estimate),
• Hölder decay up to the boundary for caloric functions vanishing on parts of $\partial_e\Omega$,
• Existence, uniqueness, and continuous dependence for solutions with continuous/Hölder boundary data.

Thus, TBCDC is necessary for boundary regularity and guarantees that solutions respond stably to variations in the input data, even under rough geometric and coefficient conditions.

3. Analytical Consequences and Bourgain’s Estimate

For any solution $u$ to the Dirichlet problem with Hölder data, Theorem 3.1 provides:

• Lower bounds for the caloric measure, proportional to $\operatorname{Cap}_L(\textrm{exterior slab})$,
• Numerical Hölder decay for caloric functions approaching the boundary,
• Quantitative constants depending only on $n, \|A\|_\infty, a, c$.

Theorem 3.2 proves that TBCDC allows unique extension of boundary data to a solution $u \in C^\beta(\Omega)$ with norm control: $$\|u\|_{C^\beta(\Omega)} \leq C \|f\|_{C^\beta(\partial_e\Omega)}$$

The condition is strictly necessary for Bourgain’s estimate and, by extension, for the uniform nondegeneracy of caloric measure.

4. Relationship with the Wiener Criterion and Hausdorff Content Conditions

TBCDC is a quantitative version of the parabolic Wiener regularity criterion. The classical Wiener test ensures that boundary points are regular for the operator $L$ only if the complement set is thick enough in the capacity sense as measured in backwards time. TBCDC strengthens this to a uniform lower bound, preventing arbitrarily thin backward-time regions of the complement.

A related but stronger geometric condition (Time-backwards Hausdorff Content Condition, TBHCC) uses parabolic Hausdorff content rather than capacities, is operator-independent, and implies TBCDC universally for all bounded-coefficient parabolic operators. This separation of analytic versus geometric criteria is significant: TBHCC is typically easier to verify in applications, while TBCDC is sharper for particular operators.

5. Applications and Sharpness

TBCDC has direct implications for:

• Regularity theory in parabolic PDEs with rough coefficients,
• Well-posedness of boundary value problems in time-varying, irregular, or unbounded domains,
• Quantitative measure estimates crucial for perturbative arguments and boundary regularity proofs,
• Models of heat conduction, diffusion, or flows where the boundary varies in time and spatial structure,
• Generalized solvability in rough domains devoid of classical smoothness.

Domains satisfying the TBHCC automatically satisfy TBCDC for all parabolic operators, a property leveraged for applications to physical heat-conduction problems with complex geometries.

6. Examples and Counterexamples

Domains that fail TBCDC (e.g., those with vanishing exterior capacity in all backward cylinders at some point) exhibit non-regular behavior: caloric measure degenerates, solutions may not be continuous up to the boundary, and Dirichlet problems fail to be solvable in the classical sense.

Conversely, examples meeting TBCDC include domains where every backward-time slab adjacent to the boundary contains enough exterior "mass" (in capacity units) to enforce regularity. The celebrated Petrovsky example demonstrates sharpness where the capacity criterion fails precisely at a boundary point, yielding irregularity.

7. Quantitative Nature and Operator Dependence

The constants $a, c$, and the dependence on the operator’s coefficients, encode the operator specificity of TBCDC. Capacity is computed using the fundamental solution of the actual $L$, not simply the standard heat equation, making TBCDC sharply adapted to operator degeneracy, non-uniformity, and spatial-temporal anisotropy.

This operator dependence distinguishes TBCDC from purely geometric content criteria and underlies its efficacy in guaranteeing controlled boundary behavior in maximal generality.

---

In summary, the time-backwards capacity density condition serves as the minimal quantitative hypothesis ensuring nondegeneracy of caloric measure and regularity for parabolic Dirichlet problems on domains with possibly rough boundary and coefficients. It sharpens the classical Wiener test, connects geometric potential theory with analytic regularity theory, and underpins boundary value problem solvability in time-varying and irregular geometries. The condition is a central concept in modern parabolic PDE analysis, especially as evidenced by its role and necessity in results concerning continuous and Hölder boundary data in rough domains (Hidalgo-Palencia et al., 6 Oct 2025).