🔢 mathematics

Green functions on stationary varifolds

This paper establishes a local Harnack inequality near indecomposable singular points of stationary integral varifolds to construct Green functions with arbitrary poles, prove their convergence under multiplicity-one limits, and derive their asymptotic behavior and global bounds, while also analyzing the distinct phenomena arising in decomposable cases.

Original authors: Yifan Guo

Published 2026-03-18

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Yifan Guo

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

Imagine you are standing in a vast, complex landscape. Sometimes this landscape is a smooth, perfect sheet of paper (a smooth surface). Other times, it's a crumpled piece of paper, a stack of sheets glued together, or a structure where three sheets meet at a sharp edge like a Y-shape. In mathematics, these complex, potentially crumpled shapes are called varifolds.

The paper by Yifan Guo is about understanding how "heat" or "influence" spreads through these shapes. Specifically, it studies something called the Green's function.

The Core Concept: The "Lighthouse" Analogy

To understand the Green's function, imagine a lighthouse placed at a specific point on your landscape.

The Pole: The lighthouse is the "pole" (the point $x$ ).
The Light: The Green's function ( $G(x, y)$ ) tells you how bright the light is at any other point ( $y$ ) on the landscape.
The Rules: The light gets dimmer the further you go from the lighthouse. On a flat, infinite plane, the brightness drops off in a very predictable way (like $1/distance^{n-2}$ ).

The big question Guo asks is: What happens when the landscape isn't flat? What happens when it's crumpled, has sharp corners, or is made of multiple sheets glued together?

The Main Challenges

The Crumpled Sheets (Singularities): Real-world minimal surfaces (like soap films) aren't always smooth. They can have sharp edges or points where multiple sheets meet. Standard math tools (like the ones used for smooth surfaces) break down here because they assume everything is perfectly smooth.
The "Glue" Problem (Decomposability): Imagine two sheets of paper glued together. If you shine a light on one sheet, does the light travel to the other?
- If they are glued along a thin line (codimension 1), the light can cross over.
- If they only touch at a single point or a tiny dot (codimension 2 or higher), the light might not cross at all. The two sheets act like separate worlds.

The Key Discoveries

1. The "Indecomposable" Rule (The Single Family)

Guo introduces a concept called indecomposability. Think of this as asking: "Is this shape one single, connected family, or is it just two separate families glued together?"

Indecomposable: The shape is a single, connected entity. Even if it has sharp corners, the "light" can travel everywhere.
Decomposable: The shape is actually two separate things stuck together.

The Breakthrough: Guo proves that if the shape is indecomposable (a single family), we can establish a Local Harnack Inequality.

The Metaphor: This is like saying, "If you are in a single connected room, the temperature at one spot can't be wildly different from the temperature in the next room over, unless there's a heater or AC right there." It guarantees that the "light" (or heat) behaves predictably and smoothly within a connected region, even if the floor is bumpy.

2. Building the Map (Constructing the Green Function)

Using this "connectedness" rule, Guo successfully builds a map (the Green's function) for these crumpled landscapes.

He shows that even if the landscape has sharp points, as long as it's "indecomposable," we can define exactly how the light spreads from any point, even a sharp corner.
He proves that if you have a sequence of these landscapes getting closer and closer to a final shape, the "light maps" of the sequence will also converge to the light map of the final shape. This is crucial for stability: small changes in the shape don't cause the light map to explode or vanish.

3. The Limits: Near the Pole and Far Away

Guo analyzes the light in two extreme scenarios:

Near the Lighthouse (The Pole): He proves that right next to the lighthouse, the light behaves almost exactly like it does on a flat plane, scaled by how "thick" the landscape is at that point.
Far Away (Infinity): He shows that if the landscape stretches out infinitely, the light eventually fades in a predictable way, determined by the shape of the landscape at infinity.

4. When Things Go Wrong (Decomposable Cases)

The paper also explores what happens when the "single family" rule is broken.

Example: Imagine two sheets of paper touching only at a single dot. If you put a lighthouse on Sheet A, the light stays on Sheet A. It doesn't jump to Sheet B. The Green's function becomes zero on the other sheet.
The Triple Junction: If three sheets meet at a line (like a Y-shape), the light does spread, but it splits. If you are on one arm of the Y, the light spreads to the other two arms, but with a specific "split" ratio (like 2/3 of the light goes to the other arms).

Why Does This Matter?

This isn't just abstract geometry; it has real-world applications:

Minimal Surfaces: It helps mathematicians understand the behavior of soap films, which naturally try to minimize surface area but often form complex, singular shapes.
Stability: It tells us that if we approximate a complex shape with simpler ones, our calculations of how "influence" spreads will remain accurate.
Gradient Estimates: The paper uses these findings to prove limits on how steep a surface can be (related to the "minimal surface equation"), which is useful in physics and engineering.

Summary in a Nutshell

Yifan Guo's paper is like a guidebook for navigating a city made of crumpled, glued-together paper.

The Problem: Standard maps fail when the paper is crumpled or glued in weird ways.
The Solution: Guo found a rule ("Indecomposability") that tells us when the city is actually one connected place.
The Result: If the city is connected, we can draw a perfect map of how light (or heat, or influence) travels through it, even around sharp corners. If the city is actually two separate places glued together, the map changes completely, and light might not cross the glue line.

This work bridges the gap between smooth, perfect mathematics and the messy, singular reality of geometric shapes.

1. Problem Statement

The paper addresses the construction and analysis of Green functions on stationary integral varifolds (singular minimal submanifolds) in $\mathbb{R}^{n+k}$ with Euclidean volume growth. While Green functions on smooth manifolds with nonnegative Ricci curvature are well-studied (relying on Bochner formulas and maximum principles), these classical tools are unavailable in the singular setting of varifolds.

The specific challenges addressed are:

Singularity: How to define and analyze Green functions when the pole $x$ or the domain contains singular points.
Decomposability: How the topological structure of the varifold (specifically whether it is "indecomposable" or a union of disjoint stationary components) affects the behavior of the Green function.
Convergence: Establishing the convergence of Green functions under the convergence of a sequence of varifolds (multiplicity one convergence).
Asymptotics: Determining precise asymptotic behavior near poles and at infinity, and establishing global upper and lower bounds.

2. Methodology

The author adapts and extends the analytic framework developed by Gr¨uter and Widman for uniformly elliptic operators on Euclidean domains to the geometric measure theory setting of stationary varifolds.

Indecomposability: The core concept introduced is indecomposability. A varifold $V$ is indecomposable if it cannot be split into two non-trivial stationary varifolds $V_1, V_2$ such that $V = V_1 + V_2$ . The paper establishes that indecomposability is closely linked to the connectivity of the regular part and multiplicity one.
Local Harnack Inequality: The author proves a local relative isoperimetric inequality and a local Harnack inequality in a neighborhood of an indecomposable point. Crucially, this inequality holds not just for the limit varifold but for any stationary varifold sufficiently close to it in the varifold topology. This stability is essential for convergence arguments.
Gr¨uter-Widman Adaptation: The construction of the Green function relies on Sobolev inequalities, mean value inequalities, and capacity arguments adapted to stationary varifolds. The pole $x$ is allowed to be any point in the support, including singular points.
Convergence Theory: The paper develops a theory for the $L^p$ and uniform convergence of functions defined on converging sequences of varifolds, utilizing the regularity of the limit varifold and the local Harnack inequality.

3. Key Contributions and Results

A. Local Harnack Inequality and Isoperimetry (Section 3)

Theorem 1.4: Establishes a local relative isoperimetric inequality and a local Harnack inequality near an indecomposable point $x$ .
Stability: The inequality holds for any stationary varifold $V'$ close to $V$ in a small ball, provided $V$ is indecomposable at $x$ .
Significance: This result allows the propagation of regularity estimates from the limit varifold to the approximating sequence, which is the key ingredient for proving convergence theorems.

B. Construction of the Green Function (Section 5)

Theorem 1.5 / Theorem 5.2: Constructs a global Green function $G(x, y)$ $G (x, y)$ on a stationary integral varifold with Euclidean volume growth.
- The pole $x$ can be any point in $\text{spt } V$ (regular or singular).
- $G(x, \cdot)$ satisfies the distributional equation $\Delta_V G(x, \cdot) = -\delta_x$ .
- Symmetry: $G(x, y) = G(y, x)$ holds for $\|V\|$ -almost every pair, and for all pairs if $x, y$ are in the regular set or indecomposable points.
- Explicit Cone Case: For a stationary cone $C$ , $G(0, y) = \frac{1}{n(n-2)\omega_n \Theta(C, 0)} |y|^{2-n}$ .

C. Convergence of Green Functions (Section 6)

Theorem 1.7 / Theorem 6.1: If a sequence of stationary integral varifolds $\{V_i\}$ converges to $V$ with multiplicity one (and $V$ has codimension 2 singular sets), and the poles $x_i \to x_0$ where $x_0$ is a regular or indecomposable point, then the Green functions $G_i(x_i, \cdot)$ converge to $G(x_0, \cdot)$ in $L^q$ on compact sets.
Uniform Convergence: The convergence is uniform in neighborhoods of indecomposable points and in annuli centered at the pole.

D. Asymptotics and Global Bounds (Section 7)

Asymptotic Behavior (Theorem 1.8 / Theorem 7.1):
- Near the pole: $\lim_{y \to x} G(x, y)|y-x|^{n-2} = \frac{1}{n(n-2)\omega_n \Theta(V, x)}$ .
- At infinity: If $V$ is indecomposable at infinity, $\lim_{|y| \to \infty} G(x, y)|y-x|^{n-2} = \frac{1}{n(n-2)\omega_n \Theta(V, \infty)}$ .
Sharp Upper Bound (Corollary 1.9 / Theorem 7.4):
- $G(x, y) \leq \frac{1}{n(n-2)\omega_n \Theta(V, x)} |x-y|^{2-n}$ .
- Rigidity: Equality holds if and only if the varifold is a stationary cone (plus a disjoint stationary part not containing $x$ ) and the vector $y-x$ lies in the support of the cone.
Global Lower Bound (Theorem 1.10 / Theorem 7.5):
- If $V$ is indecomposable everywhere (including at infinity), there exists a constant $c > 0$ such that $G(x, y) \geq c |x-y|^{2-n}$ .
- Necessity: The indecomposability assumption is shown to be necessary via counterexamples (e.g., two intersecting planes).

E. Decomposable Cases and Phenomena (Section 8)

The paper analyzes what happens when indecomposability fails:

Codimension $\geq 2$ Intersection: If two components intersect in codimension $\geq 2$ , the Green function is essentially the union of the Green functions on the individual components (no interaction). The function is discontinuous at the intersection, and global lower bounds fail.
Codimension 1 Intersection: If components intersect along a codimension-1 set (e.g., two half-planes meeting at a line), the Green function "propagates" across the singularity. The solution on one component influences the other, leading to continuous solutions with specific reflection-like formulas (e.g., involving image points $x^*$ ).
Triple Junctions: Similar propagation occurs in triple junction singularities (e.g., three half-planes at $120^\circ$ ), where the Green function distributes mass among the three branches.

4. Significance and Applications

Extension to Singular Geometry: The work successfully extends classical potential theory (Green functions, Harnack inequalities) from smooth manifolds to the singular setting of stationary varifolds, a fundamental object in Geometric Measure Theory and the study of minimal surfaces.
Rigidity Results: The sharp upper bound and the rigidity characterization (equality implies a cone structure) generalize the Cheng-Li-Yau results for smooth minimal submanifolds to the singular case.
Minimal Surface Equation: As a direct application (Corollary 1.11 / Corollary 7.7), the author derives gradient estimates for entire solutions to the minimal surface equation. Specifically, $|\nabla u(x)| \leq C|x|^{n-2} (1 + |u(x)|/|x|)^{n-2}$ , which provides insight into the growth of minimal graphs.
Convergence Stability: The convergence theorem provides a robust tool for analyzing limits of minimal surfaces, ensuring that potential theoretic quantities behave continuously under geometric convergence, provided the limit is indecomposable.

In summary, this paper establishes a comprehensive potential theory for stationary varifolds, identifying indecomposability as the critical geometric condition that ensures the validity of Harnack inequalities, convergence, and global bounds for Green functions.