🔢 mathematics

Wiener-type Criterion for the Removability of the Fundamental Singularity for the Heat Equation and its Consequences

This paper establishes a necessary and sufficient Wiener-type criterion for the removability of the fundamental singularity of the heat equation, characterizing the condition through the fine-topological thinness of the complementary set and linking it to $h$ -parabolic measure and conditional Brownian motion.

Original authors: Ugur G. Abdulla

Published 2026-01-28

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Ugur G. Abdulla

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: The "Leaky Bucket" Problem

Imagine you have a bucket (a specific shape or region in space and time) and you are trying to fill it with water (heat). The rules of the game are governed by the Heat Equation, which describes how heat naturally spreads out.

Usually, if you know the temperature on the walls of the bucket, you can perfectly predict the temperature everywhere inside. But what if there is a tiny, invisible hole in the bucket—a singularity—where the rules break down? Maybe it's a single point where the temperature was theoretically "blown up" to infinity at the very start.

The central question of this paper is: Does this tiny hole matter?

Removable Singularity: If the hole is "small" or "thin" enough, the heat will naturally flow around it. The bucket acts as if the hole isn't there. You can solve the problem uniquely without needing to specify what happens exactly at that hole. The hole is "removable."
Non-Removable Singularity: If the hole is "thick" or "large" enough, the heat gets stuck or behaves wildly. The hole matters. You cannot solve the problem uniquely; there might be infinite ways the heat could behave, or the solution might not exist at all.

This paper provides a precise mathematical ruler (a criterion) to measure exactly how "thick" or "thin" that hole needs to be to decide if it matters or not.

The Main Tools: Measuring "Thinness"

In the past, mathematicians had a ruler for static shapes (like a ball of clay), called the Wiener Criterion. But heat moves through time, so the shape of the "hole" is more complex—it's a 3D shape moving through time.

Abdulla introduces a new, specialized ruler called $h$ -capacity.

The Analogy: Imagine trying to measure how much "noise" a crowd makes. If the crowd is spread out thinly, the noise is low. If they are packed tightly, the noise is high.
The Paper's Claim: The author defines a way to measure the "density" of the space outside the bucket near the singularity.
- If the space outside is very thin (like a fine mist), the singularity is removable. The heat ignores it.
- If the space outside is thick (like a solid wall), the singularity is non-removable. The heat is blocked or confused by it.

The "Wiener-Type" Test: The Infinite Sum

How do you actually measure this thinness? The paper proposes a test involving an infinite sum (a series), similar to adding up an infinite number of coins.

The Setup: You slice the space near the singularity into concentric layers (like the rings of a tree or layers of an onion).
The Measurement: For each layer, you measure the "capacity" (the thickness/density) of the space outside the bucket in that layer.
The Rule: You add up these measurements, but you weigh them heavily as you get closer to the singularity.
- If the sum goes to infinity (diverges): The outside space is "thick" enough. The singularity is removable. The heat behaves normally.
- If the sum stays finite (converges): The outside space is "too thin." The singularity is non-removable. The heat behaves unpredictably.

The "Geometric" Test: The Shape of the Walls

The paper goes a step further. It asks: "What does the boundary of the bucket actually look like?"

Instead of doing complex math for every shape, the author gives a geometric test.

The Analogy: Imagine the singularity is a point on a mountain peak. The "bucket" is the valley around it.
The Test: If the walls of the valley drop away very steeply (like a sharp, hyperbolic curve), the singularity is removable. If the walls are too flat or too gentle, the singularity remains.
The "Logarithmic" Twist: The paper finds that the "perfect" shape for removability involves a specific curve related to logarithms (the same math used to measure earthquake intensity or sound volume).
- If the boundary curves away faster than a specific "logarithmic" speed, the singularity is safe (removable).
- If it curves slower, the singularity is dangerous (non-removable).

This is like saying: "If you run away from the fire fast enough, you're safe. If you run too slowly, you get burned."

The Probabilistic View: The Drunkard's Walk

The paper also connects this to Brownian motion (the random jittery movement of particles, like pollen in water).

The Analogy: Imagine a drunk person walking randomly in a city (the bucket). They are trying to reach a specific destination (the singularity).
The Result: The paper proves that if the "thick" parts of the city (the walls) are dense enough, the drunk person will almost certainly hit the destination. If the city is too "thin" (empty space), the drunk person might wander forever without hitting it.
This connects the heat equation to probability: The "removability" of the singularity is the same as asking, "Will a random walker eventually hit this point?"

Summary of the "New" Contribution

Before this paper, we knew how to measure this for simple, static shapes or for specific, symmetrical shapes (like a spinning top).

What this paper does: It creates a universal rule that works for any shape, no matter how weird or jagged the bucket is.
The "Wiener-Type" Criterion: It extends the famous Wiener test (originally for static electricity/heat) to the moving world of the Heat Equation, specifically for these "fundamental singularities."
The "Kolmogorov-Petrovsky" Connection: It solves a specific, long-standing puzzle about how random particles behave at the very beginning of time, proving that the geometry of the space dictates the fate of the particle.

In a Nutshell

This paper gives mathematicians a precise geometric checklist to determine if a tiny, broken point in a heat problem is a "glitch" that can be ignored (removable) or a "crash" that breaks the whole system (non-removable). It does this by measuring how "thick" the surrounding space is, using a new kind of capacity and a specific test involving infinite sums and logarithmic curves.

Technical Summary: Wiener-Type Criterion for the Removability of the Fundamental Singularity for the Heat Equation

Problem Statement
The paper addresses the fundamental problem of determining the removability of the fundamental singularity for the heat equation in arbitrary open sets $\Omega \subset \mathbb{R}^{N+1}$ . Specifically, it investigates the unique solvability of the singular parabolic Dirichlet problem (PDP) where the boundary data is prescribed on $\partial \Omega \setminus \{O\}$ (or at infinity), but the behavior of the solution relative to the fundamental solution $h$ (or $\tilde{h}$ ) at the singularity point $O$ (or $\infty$ ) is not prescribed.

The core question is whether the fundamental singularity is "removable," meaning that the solution to the PDP is unique without explicitly fixing the limit of the ratio $u/h$ at the singularity. If the singularity is non-removable, the problem admits infinitely many solutions. This problem is framed as a generalization of the classical Kolmogorov problem regarding the asymptotic behavior of Brownian paths and extends the Wiener regularity theory from finite boundary points to singular points and infinity.

Methodology
The author employs a synthesis of parabolic potential theory, fine topology, and probabilistic methods. The methodology relies on the following key components:

Appell Transformation: The paper utilizes the Appell transformation to establish a homeomorphism between the heat equation in the forward time domain $\mathbb{R}^{N+1}_+$ (with a singularity at a finite point $O$ ) and the backward time domain $\mathbb{R}^{N+1}_-$ (with a singularity at infinity). This allows the reduction of problems at infinity to problems at finite points and vice versa, unifying the treatment of singularities.
$h$ -Parabolic Potential Theory: A specialized potential theory is developed based on the fundamental solution $h(x,t) = F(x-\gamma, t)$ . The author introduces the concept of $h$ -capacity and $h$ -parabolic measure. The removability of the singularity is characterized by whether the singularity point constitutes an $h$ -parabolic measure null set.
Fine Topology: The analysis is conducted within the framework of the parabolic minimal-fine topology. The removability of the singularity is shown to be equivalent to the complement of the domain $\Omega^c$ being "parabolic minimally thin" at the singularity point.
Geometric Iterated Logarithm Tests: To provide concrete geometric criteria, the paper derives tests based on the growth rate of the boundary manifold near the singularity. These tests involve iterated logarithms and specific classes of functions ( $\mathcal{R}$ and $\mathcal{R}'$ ) that define optimal growth rates for the boundary to ensure regularity.

Key Contributions and Results

Necessary and Sufficient Wiener-Type Criterion:
The primary result is the proof of a Wiener-type criterion for the removability of the fundamental singularity for arbitrary open sets. Theorem 3.3 and Theorem 3.6 state that the fundamental singularity is removable (and the singular PDP has a unique solution) if and only if a specific series involving the $h$ -capacity of the complement of the domain converges or diverges.
- For a finite singularity $O$ , the series is $\sum_n 2^{-nN/2} C_h(E_n)$ , where $E_n$ are intersections of the complement with $h$ -heat shells.
- For the singularity at infinity, an analogous series involving $\tilde{h}$ -capacity is established.
- The divergence of this series corresponds to the singularity being removable (regular), while convergence implies non-removability (irregularity).
Equivalence of Four Perspectives:
Theorem 5.1 and Theorem 5.2 establish the equivalence of four distinct conditions for the removability of the singularity:
- Measure-Theoretical: The $h$ -parabolic measure of the singularity point is null.
- Analytical: The singular parabolic Dirichlet problem has a unique solution.
- Topological: The singularity point is a limit point of the domain in the parabolic minimal-fine topology (i.e., the complement is not minimally thin).
- Probabilistic: An asymptotic law for the conditional $h$ -Brownian motion (the probability that paths cluster to the singularity is 0 or 1).
Geometric Characterization (Iterated Logarithm Test):
In Section 6, the paper provides sharp geometric criteria for domains where the boundary is locally a graph.
- Theorem 6.3: For a finite singularity, if the boundary function $\phi$ satisfies a one-sided growth condition bounded by a parabolic Lipschitz quotient involving iterated logarithms (specifically, $p(\bar{x}, t) \leq 2[\log \rho(4t^2/\xi)]^{1/2}$ with $\rho \in \mathcal{R}$ ), the singularity is removable.
- Theorem 6.10: A corresponding result is proven for the singularity at infinity using $S_\gamma$ -sheared parabolic quotients and a class of functions $\mathcal{R}'$ .
- Sharpness: Corollaries 6.4 and 6.11 demonstrate that these conditions are sharp; if the growth rate exceeds the iterated logarithm bound (e.g., using $\log^2$ ), the singularity becomes non-removable.
Exterior Hyperbolic Paraboloid Condition:
The paper identifies the "exterior hyperbolic paraboloid condition" as a sufficient geometric condition for regularity, analogous to the exterior cone condition in elliptic theory. This condition is shown to be optimal in terms of the one-sided Hölder space $Lip(1, 1/2)$.

Significance and Claims
The paper claims to provide a complete characterization of the removability of the fundamental singularity for the heat equation in arbitrary open sets, resolving the long-standing gap between the regularity theory for finite boundary points and singular points (including infinity).

Unification: It unifies the Kolmogorov-Petrovsky test (originally for specific domains of revolution) with the general Wiener regularity theory for arbitrary domains.
Probabilistic Interpretation: It establishes a rigorous asymptotic law for conditional Brownian motion, linking the geometric thinness of the domain's complement to the probabilistic behavior of paths approaching the singularity.
Optimality: The geometric tests provided are claimed to be sharp, identifying the precise threshold (involving iterated logarithms) between removability and non-removability.
Generalization: The results extend previous work on the Laplace equation and the heat equation with $\gamma=0$ to the general case of $h$ -parabolic functions with arbitrary poles $\gamma$ , covering both finite singularities and singularities at infinity.

The author emphasizes that these results are derived through rigorous potential-theoretic arguments and do not rely on experimental proposals or unverified future implications, but rather on the structural properties of the heat equation and its associated stochastic processes.