🔢 mathematics

Real analytic solutions to the divergence equation

This paper presents a novel differential-topological method, inspired by cohomological arguments, to construct explicit real analytic solutions to the divergence equation on annuli that vanish on the boundary, offering an alternative to standard approaches like those of Bogovski and Kapitanskii-Pileckas.

Original authors: Chi Hin Chan, Jun-Shuo Chen, Cheng-Fang Su

Published 2026-02-26

📖 6 min read🧠 Deep dive

CC0 1.0

Original authors: Chi Hin Chan, Jun-Shuo Chen, Cheng-Fang Su

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 hollow, donut-shaped room (a mathematical "annulus"). Inside this room, there is a fluid (like water or air) moving around.

In physics and math, the Divergence Equation is a rule that describes how much fluid is being created or destroyed at any specific point.

If the "divergence" is positive, fluid is being created (like a faucet turning on).
If the "divergence" is negative, fluid is being destroyed (like a drain opening).
If the divergence is zero, the fluid is just flowing around without changing its total amount.

The Problem:
Suppose someone hands you a map of this room showing exactly where fluid is being created and destroyed (this is the function $f$ ).

Rule #1: You cannot create or destroy fluid out of thin air. The total amount created must equal the total amount destroyed. (Mathematically: The integral of $f$ is zero).
Rule #2: The walls of the room are solid. No fluid can leak in or out through the walls. (Mathematically: The flow must be zero at the boundaries).

The Goal:
Can you design a specific flow pattern (a vector field $v$ ) that matches your map of creation/destruction perfectly, while obeying the rule that nothing leaks through the walls?

The Challenge: "Perfect" Smoothness

Most mathematicians have solved this problem before, but they usually settle for "good enough" solutions. They might say, "The flow is smooth enough to be useful," or "It's continuous, but maybe a little bumpy."

This paper asks a much harder question: Can we find a solution that is "Real Analytic"?

What is "Real Analytic"?
Think of it like a perfectly smooth, infinite recipe.

A "smooth" function is like a road with no potholes; you can drive on it without jolting.
A "real analytic" function is like a road made of pure glass. Not only is it smooth, but if you know the shape of the road for just one tiny inch, you can mathematically predict the shape of the road for the entire universe. It has no hidden bumps, no sudden changes in texture, and it follows a perfect, predictable pattern everywhere.

The authors want to build a flow that is this "perfect glass" everywhere inside the donut room.

The Old Ways vs. The New Way

The paper mentions two famous "standard" ways to solve this:

The Bogovski Method: Like using a heavy-duty industrial blender. It mixes everything up to get a result, but the result is often "rough" (only good for standard engineering, not for "perfect glass" math).
The Kapitanskii-Pileckas Method: Like using a very precise lathe. It works well for many materials, but it struggles when you need that specific "perfect glass" smoothness on a donut shape.

The Authors' New Method:
Instead of using a blender or a lathe, the authors use a Differential-Topological Magic Trick.

They take inspiration from a famous math book by Michael Spivak (a "bible" of geometry). Spivak showed how to prove that certain shapes have "holes" in them using a clever counting method. The authors realized they could use this same "counting" logic to turn a complex, messy calculus problem into a simple algebra problem.

The Step-by-Step Magic Trick

Here is how they do it, using an analogy:

Step 1: The "Shadow" Map
Imagine shining a light through your donut room. The fluid flow casts a "shadow" on the inner and outer walls.
The authors first look at the "shadow" of the creation/destruction map ( $f$ ) on the spherical walls. They calculate how much "stuff" is hitting the walls.

Step 2: The "Ghost" Flow
They create a temporary, "ghost" flow that handles the bulk of the problem. This ghost flow is easy to write down, but it has a flaw: it doesn't quite fit the walls perfectly, and it might leak a little bit.

Step 3: The "Patch" (The Algebra Part)
This is where the magic happens. The authors realize that the "leakage" at the walls follows a very specific pattern. Because the room is a perfect donut, the leakage can be described by a simple polynomial equation (like $Ax^2 + Bx + C$ ).

Instead of trying to fix the flow with complex calculus, they solve a simple system of linear equations (like balancing a checkbook) to find the exact coefficients needed to patch the holes.

They use a special "cut-off" function (a mathematical dimmer switch) that smoothly turns the patch on and off exactly where the walls are.
Because they solved the algebra part perfectly, the "patch" is also "Real Analytic" (perfect glass).

Step 4: The Final Assembly
They combine the "Ghost Flow" and the "Perfect Patch."

The Ghost Flow handles the inside.
The Patch handles the edges.
Because both parts are "Real Analytic," the final result is a "Real Analytic" flow that fits perfectly, creates/destroys exactly what the map says, and leaks nothing through the walls.

Why Does This Matter?

You might ask, "Who cares if the solution is 'Real Analytic' instead of just 'Smooth'?"

Predictability: In physics, if a system is "Real Analytic," it is incredibly stable. Small errors in measurement don't cause the whole system to crash.
New Tools: This paper proves that for this specific "donut" shape, we don't need to rely on heavy, approximate methods. We can build the solution from scratch with perfect precision.
The "Cohomology" Connection: The authors show that deep, abstract math (Topology) can be used to solve practical engineering problems (Fluid Dynamics). It's like using the theory of knots to fix a leaky pipe.

Summary

The authors took a difficult problem about fluid flow in a donut-shaped room. Instead of using standard, "rough" tools, they used a clever geometric trick inspired by a classic math book. This trick allowed them to convert a hard calculus problem into a simple algebra puzzle. By solving the puzzle, they built a fluid flow that is mathematically "perfect" (Real Analytic), ensuring it behaves exactly as predicted with no hidden rough spots.

1. Problem Statement

The paper addresses the divergence equation on an annular domain in $\mathbb{R}^n$ ( $n \geq 2$ ):
$\text{div}_{\mathbb{R}^n} \mathbf{v} = f$
where the domain is the annulus $A(R_1, R_2) = \{x \in \mathbb{R}^n : R_1 < |x| < R_2\}$ with $0 < R_1 < R_2 < \infty$ .

Constraints and Goals:

Source Term ( $f$ ): The function $f$ is prescribed to be real analytic on the annulus and satisfies the necessary compatibility condition (zero mean):
$\int_{A(R_1, R_2)} f(x) \, \text{Vol}_{\mathbb{R}^n} = 0$
Target Solution ( $\mathbf{v}$ ): The authors seek a vector field $\mathbf{v}$ $v$ that is:
1. Real analytic on $A(R_1, R_2)$ .
2. Satisfies the divergence equation pointwise.
3. Satisfies the Dirichlet boundary condition: $\mathbf{v} = 0$ on $\partial A(R_1, R_2)$ (i.e., on the inner sphere $|x|=R_1$ and outer sphere $|x|=R_2$ ).

Context: While solutions exist in Sobolev spaces ( $W^{1,p}_0$ ) via the Bogovskiĭ map and in Hölder spaces ( $C^{l,\alpha}$ ) via the Kapitanskii-Pileckas approach, these standard methods do not guarantee that the solution preserves the real analyticity of the source term $f$ , nor do they typically provide explicit constructive formulas for the analytic solution.

2. Methodology

The authors develop a differential-topological method that bridges cohomology theory with explicit analytic construction. The approach is distinct from standard integral operator methods.

A. Differential-Topological Foundation

The core of the method is inspired by the proof of the cohomological statement $H^n_c(\mathbb{R}^n) \cong \mathbb{R}$ found in Spivak's A Comprehensive Introduction to Differential Geometry.

Standard Approach (Spivak): Uses a smooth cut-off function and an arbitrary smooth $(n-2)$ -form $\eta$ to solve $d\Psi = f \, \text{Vol}$ . This yields smooth solutions but lacks analyticity control.
Authors' Innovation: They refine this by:
1. Replacing the arbitrary smooth form with a real analytic form derived from the solution to a Poisson equation on the unit sphere $S^{n-1}$ .
2. Constructing a specific real analytic cut-off function (involving sine functions) rather than a generic smooth bump function.

B. Key Technical Steps

Reduction to Linear Algebra (Lemma 2.4):
To ensure the solution vanishes on the boundaries, the authors construct a "correction" term. They reduce the problem of finding boundary-matching coefficients to solving a linear algebraic system involving moments of the source term. They prove the invertibility of this system using specific polynomials ( $\Psi_n(t)$ ) and rational functions ( $Q_{k,a}(\mu)$ ).
Analytic Regularity Lemmas (Lemmas 2.1 & 2.2):
The authors establish technical lemmas proving that if a function is real analytic on a closed interval and vanishes to a certain order at the boundary, it can be factored into a polynomial term times another analytic function. This ensures that the constructed vector field retains real analyticity up to the boundary.
Construction of the Form $\Psi_2$ (Lemma 3.1):
They define an $(n-1)$ -form $\Psi_2$ such that $d\Psi_2 = f \, \text{Vol}$ .
- $\Psi_2$ is constructed using an integral of $f$ along rays.
- A correction term involving the solution $\phi$ to the Poisson equation $-\Delta_{S^{n-1}}\phi = \int f \rho^{n-1} d\rho$ is added.
- A real analytic cut-off function $\chi$ (defined via $\sin^{l+3}$ ) is used to localize the form to the annulus while maintaining analyticity.
Conversion to Vector Field (Corollary 3.2):
Using the Hodge star operator ( $*$ ) and the musical isomorphism ( $\sharp$ ), the differential form $\Psi_2$ is converted into a vector field $\mathbf{v}$ .
Explicit Construction (Theorem 4.1):
The final solution $\mathbf{U}$ is a sum of two parts:
- A primary term derived from the extended source $\tilde{f}$ (which is $f$ minus a polynomial correction to satisfy boundary conditions).
- A boundary correction term derived from the linear algebra solution (Lemma 2.4) to ensure $\mathbf{U}=0$ at $R_1$ and $R_2$ .

3. Key Contributions

Preservation of Real Analyticity: The paper provides the first explicit construction of a solution to the divergence equation that preserves the real analytic regularity of the source term $f$ on an annulus, a regularity level not typically achieved by standard Sobolev or Hölder space methods.
Explicit Formula: Unlike the Bogovskiĭ map which is an existence theorem (often non-constructive in terms of explicit formulas), this paper provides a closed-form, explicit formula for the solution vector field involving integrals, spherical harmonics (via the Poisson equation), and specific rational functions of the radii ratio.
Refinement of Cohomological Proofs: The authors adapt Spivak's topological proof of $H^n_c(\mathbb{R}^n) \cong \mathbb{R}$ by introducing specific analytic constraints (Poisson equation on the sphere and analytic cut-offs) to force the resulting form to be real analytic.
Boundary Control: The method explicitly handles the Dirichlet boundary condition ( $\mathbf{v}=0$ on $\partial A$ ) for real analytic functions, which is non-trivial because standard extension techniques often destroy analyticity at the boundary.

4. Main Results

Theorem 1.1 (Loose Form): Guarantees the existence of a real analytic vector field $\mathbf{U}$ on $A(R_1, R_2)$ such that $\text{div} \mathbf{U} = f$ and $\mathbf{U}|_{\partial A} = 0$ , provided $f$ is real analytic and has zero mean.
Theorem 4.1 (Precise Form): Provides the explicit construction of $\mathbf{U}$ $U$ .
- It defines an extended function $\tilde{f}$ by subtracting a finite linear combination of boundary values of $f$ weighted by rational functions of the radii.
- It defines the solution $\mathbf{U}$ using the Hodge star of an integral of $\tilde{f}$ , a correction term involving the solution to a surface Poisson equation, and a polynomial correction term derived from Lemma 2.4.
- It rigorously proves that $\mathbf{U}$ is real analytic on the closed annulus and vanishes on the boundary.

5. Significance

Theoretical Advancement: This work fills a gap in the regularity theory of the divergence equation. While $C^\infty$ solutions are known, the specific case of real analytic solutions with Dirichlet boundary conditions on an annulus had not been explicitly constructed in the literature.
Application Potential: Real analytic solutions are crucial in problems involving complex analysis, fluid dynamics with analytic data, and geometric analysis where smoothness is insufficient (e.g., problems requiring convergence of power series or analytic continuation).
Methodological Shift: The paper demonstrates that differential topology (cohomology) can be effectively combined with explicit analytic construction techniques to solve PDEs, offering a new perspective distinct from the functional analysis approaches (Bogovskiĭ, Kapitanskii-Pileckas) that dominate the field.

In summary, the paper successfully constructs explicit, real analytic solutions to the divergence equation on an annulus with zero boundary values, overcoming the limitations of standard Sobolev-based methods by leveraging cohomological arguments refined with analytic constraints.