🔢 mathematics

Capacitary estimates for solutions to nonlocal Dirichlet problems

This paper establishes that a capacity density condition is equivalent to uniform boundary Hölder regularity for weak solutions to nonlocal nonlinear elliptic equations with bounded measurable coefficients, while also deriving fine capacitary estimates that quantify how Hölder continuity in exterior data is inherited by the solution.

Original authors: Minhyun Kim, Se-Chan Lee, Marvin Weidner

Published 2026-08-11

📖 8 min read🧠 Deep dive

CC BY 4.0

Original authors: Minhyun Kim, Se-Chan Lee, Marvin Weidner

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 trying to keep a room warm. You have a heater in the middle, but the walls are leaky, and the temperature outside is freezing. In the world of mathematics, this is a lot like solving an "equation" that describes how heat (or electricity, or fluid) spreads through a space. For a long time, mathematicians have known how to predict the temperature inside the room perfectly, assuming the walls are smooth and solid. But what happens right at the edge, where the wall meets the cold outside? Does the temperature change smoothly, or does it jump wildly?

This question gets even trickier when the "walls" aren't solid bricks but are made of something weird and patchy, or when the heat doesn't just flow to its immediate neighbor but can "jump" across the room to affect distant spots. This is the realm of nonlocal equations. Think of it like a game of telephone where you can whisper to someone three people away, not just the person next to you. The math gets messy because the "neighborhood" of a point isn't just the immediate vicinity; it's the whole universe. The big question researchers ask is: "If we know how the temperature behaves outside the room, can we guarantee it behaves nicely right up to the edge of the wall?" The answer depends entirely on how "thick" or "solid" the wall is at that specific point.

In this paper, Minhyun Kim, Se-Chan Lee, and Marvin Weidner act like master architects inspecting the edges of a very strange, leaky building. They are studying a specific type of mathematical problem called a nonlocal Dirichlet problem. To understand their discovery, let's break down the building blocks they are working with.

First, imagine the building is a shape called $\Omega$ (Omega). The "interior" is the room, and the "exterior" is everything outside. The mathematicians are looking at a function $u$ (like a temperature map) inside the room that satisfies a complex rule involving jumps (the nonlocal part). The rule says that the value of $u$ at any point depends on the values of $u$ everywhere else, weighted by how far away they are.

The big mystery they tackle is boundary regularity. In plain English: If the temperature outside the building is smooth and predictable (mathematically, "Hölder continuous"), will the temperature inside the building also be smooth and predictable right up to the wall? Or will the wall be so jagged or porous that the smoothness breaks down?

For a long time, mathematicians knew that if the wall was "thick enough" in terms of simple volume (like a solid brick wall), the smoothness would hold. But they suspected that volume wasn't the whole story. A wall could be full of tiny holes that don't take up much space but still ruin the smoothness. They needed a better way to measure "thickness." This is where capacity comes in. Instead of measuring how much space the wall takes up (volume), capacity measures how "hard" it is to push something through the wall. It's a more sensitive ruler.

The authors prove a stunningly precise connection between this "capacity thickness" and the smoothness of the solution. They show that the smoothness of the solution at the edge is exactly equivalent to a condition called the Capacity Density Condition (CDC).

Here is the core of their discovery, explained through a metaphor:

Imagine the boundary of your building is a fence. You want to know if the "smoothness" of the weather outside (the exterior data $g$ ) can pass through the fence to the inside.

The Old View: If the fence is mostly solid wood (high volume), the weather passes through smoothly.
The New View (This Paper): It doesn't matter if the fence is mostly wood; what matters is whether there are enough solid posts to stop the wind from blowing through too easily. The authors define a specific measure of this "post density" called $\Theta_{x_0}(r)$ .

Their main result, Theorem 1.1, states a perfect "if and only if" relationship:

If the fence has a high enough density of solid posts (satisfies the CDC) at a specific point $x_0$ , then the smoothness of the outside weather is perfectly inherited by the inside temperature, right up to that point. The temperature won't jump; it will fade in smoothly.
If the fence is too porous (fails the CDC), then you cannot guarantee that the smoothness will be preserved. The solution might behave wildly, even if the outside is perfectly calm.

This is a huge deal because previous work only gave "sufficient" conditions (if the wall is thick, it's good). This paper says, "This is the exact condition. No more, no less."

But the authors didn't stop at a simple "yes or no." They went deeper to answer a second, more nuanced question: How much smoothness is inherited if the wall isn't perfectly solid?

In Theorem 1.2, they provide a formula that acts like a "smoothness calculator." They show that the rate at which the solution smooths out depends on two things:

How smooth the outside data is (let's call this speed $L$ ).
How dense the capacity is at the boundary (let's call this strength $\theta_0$ ).

The result is a bit like a race. If the wall is very strong (high $\theta_0$ ), the solution inherits the full smoothness of the outside. But if the wall is weaker, the solution might only inherit a fraction of that smoothness. The paper gives a precise formula showing that the "smoothness exponent" (how fast the temperature changes) is limited by the smaller of the outside smoothness or a value determined by the wall's capacity density. It's like saying, "You can only run as fast as your weakest leg allows."

Perhaps the most exciting part of the paper is Theorem 1.4, which they call the "Wiener modulus of continuity." This is a fancy way of saying they found a formula that predicts exactly how the solution behaves, even in the worst-case scenarios where the wall is extremely irregular or the outside data is barely continuous.

Think of this as a "leak detector." The formula involves an integral (a sum of tiny pieces) of the capacity density $\Theta_{x_0}(r)$ .

If you add up these tiny capacity pieces and the total is infinite (the famous Wiener criterion), the solution is guaranteed to be continuous. It's like saying, "If the fence has infinite resistance to the wind, the wind can't get in."
If the sum is finite, the solution might not be continuous.

The authors prove that this formula isn't just a rough guess; it's a precise upper bound. They show that the difference between the inside temperature and the outside temperature at a distance $r$ is controlled by an exponential decay term involving this capacity sum. This means that even if the wall is weird, as long as you know the "capacity profile" of the wall, you can calculate exactly how much the solution will wiggle.

To make this concrete, imagine you are painting a wall.

The Exterior Data ( $g$ ) is the color of the paint you are applying outside.
The Solution ( $u$ ) is the color of the wall inside.
The Capacity Density ( $\Theta$ ) is the porosity of the wall.

If the wall is a solid brick (high capacity density), the color inside matches the color outside perfectly. If the wall is a sieve (low capacity density), the color inside might be a muddy mix, or it might not match at all. The authors' formula tells you exactly how "muddy" the inside color will be based on how "sieve-like" the wall is.

One of the most clever parts of their work is how they handle the "nonlocal" nature of the problem. In standard physics, heat only flows to the immediate neighbor. In this math, heat jumps. This creates a "tail" effect, where distant parts of the room influence the edge. The authors had to invent a new way to iterate (repeat a calculation step-by-step) to manage these long-range jumps. They developed a "tail lemma" (Lemma 4.2) that acts like a filter, ensuring that the influence of distant points doesn't blow up the calculation. This allowed them to prove their results for a very broad class of equations, including ones that are nonlinear (where the rules change depending on the temperature itself), which had never been done with this level of precision before.

They also explored how these rules change if you tweak the fundamental parameters of the equation, like the "jump size" ( $s$ ) or the "power" ( $p$ ). Theorem 1.6 reveals a fascinating hierarchy: changing these parameters changes what counts as a "thick" wall. A wall that is thick enough for one type of equation might be too thin for another. They mapped out exactly which combinations of parameters make the "thick wall" condition easier or harder to satisfy.

In summary, this paper provides the ultimate rulebook for boundary behavior in nonlocal equations. It replaces vague ideas of "thick walls" with a precise, measurable "capacity density." It tells us exactly when a solution will be smooth, how smooth it will be, and gives a formula to predict its behavior even in the most chaotic, irregular geometries. It's a bridge between the messy, jagged reality of complex shapes and the clean, predictable world of smooth mathematical functions. The authors didn't just find a new path; they mapped the entire terrain, showing us exactly where the smoothness ends and the chaos begins.

Technical Summary: Capacitary Estimates for Solutions to Nonlocal Dirichlet Problems

Problem Statement
This paper investigates the boundary regularity of weak solutions to nonlocal nonlinear elliptic equations of the form:
$Lu(x) = 2 \text{ p.v.} \int_{\mathbb{R}^n} |u(x) - u(y)|^{p-2}(u(x) - u(y))k(x, y) \, dy$
where the kernel $k$ satisfies uniform ellipticity conditions with parameters $n \in \mathbb{N}$ , $0 < s < 1 < p < \infty$ , and $\Lambda \ge 1$ . The study focuses on the localized Dirichlet problem where $Lu=0$ in a bounded domain $\Omega$ and $u=g$ in the exterior.

While interior Hölder regularity for such equations is well-established via nonlocal De Giorgi–Nash–Moser theory, the central questions addressed are:

What geometric condition on the domain $\Omega$ is necessary and sufficient to ensure that interior Hölder regularity extends to the boundary (i.e., boundary Hölder continuity)?
Can one explicitly quantify the modulus of continuity of the solution $u$ at the boundary in terms of the regularity of the exterior datum $g$ and the geometric "thickness" of the domain near the boundary, particularly when uniform Hölder estimates fail?

Methodology
The authors employ a combination of nonlocal potential theory, capacity estimates, and iterative techniques adapted to the nonlocal setting.

Capacitary Thickness: The study utilizes the exterior capacitary thickness $\Theta_{x_0}(r)$ , defined via the $(s,p)$ -condenser capacity of the complement of the domain within a ball. This quantity serves as a finer measure of boundary regularity than the standard Lebesgue measure density.
Weak Formulations and Extrema: The authors define weak solutions and weak boundary values using the space $V^{s,p}(\Omega)$ and a "weak vanishing space" $Z^{s,p}_T(D)$ . This allows for a rigorous treatment of boundary conditions on arbitrary sets. They establish local boundedness and weak Harnack inequalities up to the boundary, utilizing weak extrema to select admissible test functions for Caccioppoli estimates.
Iterative Schemes: A core technical innovation is the development of a novel iteration lemma (Lemma 4.2) to handle the "tail terms" inherent in nonlocal operators. Unlike local equations, nonlocal estimates involve contributions from the exterior of the domain. The authors construct a recurrence relation involving the capacity density and the modulus of continuity of the data, iterating this to derive global estimates.
Comparison Principles: The proofs rely heavily on comparison principles and the construction of $L$ -potentials (solutions to the equation with specific boundary data) to relate the solution's behavior to the capacity of the boundary complement.

Key Contributions and Results

Equivalence of Capacity Density and Boundary Hölder Continuity (Theorem 1.1):
The paper establishes that the Capacity Density Condition (CDC) is equivalent to the validity of a uniform boundary Hölder estimate. Specifically, if the exterior capacitary thickness $\Theta_{x_0}(r)$ is bounded below by a positive constant $\theta_0$ near a boundary point $x_0$ , then solutions with Hölder continuous exterior data inherit Hölder continuity at $x_0$ . Conversely, if boundary Hölder continuity holds, the CDC must be satisfied. This provides a complete geometric characterization for higher-order regularity, extending previous results that only offered sufficient conditions (e.g., measure density).
Quantitative Boundary Hölder Estimates (Theorem 1.2):
Under the assumption of the CDC, the authors derive explicit quantitative bounds on the modulus of continuity of the solution. The regularity of the solution is shown to be $\min\{c\theta_0, \alpha\}$ , where $\alpha$ is the regularity of the exterior datum $g$ and $\theta_0$ is the capacity density constant. The estimate includes logarithmic corrections in the critical case where $\alpha = c\theta_0$ . This result is novel for nonlocal equations with measurable coefficients and nonlinearities ( $p \neq 2$ ), as previous works largely relied on the Caffarelli–Silvestre extension for the fractional Laplacian or assumed smooth kernels.
Wiener Modulus of Continuity (Theorem 1.4 & Corollary 1.5):
The paper provides a "fine capacitary estimate" that quantifies the boundary behavior even when the CDC fails or the exterior data is not Hölder continuous. Theorem 1.4 gives an explicit integral formula for the modulus of continuity involving the exterior datum's modulus $\omega_g$ and the capacity density $\Theta_{x_0}$ . This serves as a quantitative refinement of the Wiener criterion for continuity. Corollary 1.5 simplifies this to a form analogous to classical boundary potential theory, providing a direct quantitative proof of the sufficiency of the Wiener criterion for continuity.
Parameter Dependence of Geometric Conditions (Theorem 1.6):
The authors analyze how the class of domains satisfying the CDC changes with the operator parameters $(s, p)$ . They characterize the inclusion relations between classes $\Gamma_{s,p}$ for different parameters, showing that $\Gamma_{s_2, p_2} \subsetneq \Gamma_{s_1, p_1}$ if and only if $s_2 p_2 = s_1 p_1$ with $p_1 < p_2$ , or $s_2 p_2 < s_1 p_1$ . This clarifies the hierarchy of geometric assumptions required for regularity across different nonlocal operators.

Significance
The paper claims to provide a complete answer to the characterization of boundary regularity for nonlocal nonlinear operators with measurable coefficients. Its significance lies in:

Generalization: Moving beyond the fractional Laplacian and smooth kernels to general nonlocal operators with measurable kernels and nonlinearities ( $p \neq 2$ ).
Necessity and Sufficiency: Establishing the CDC as a necessary and sufficient condition for boundary Hölder continuity, whereas prior literature often provided only sufficient conditions (like measure density).
Quantitative Precision: Offering explicit, quantitative moduli of continuity that capture the interplay between domain geometry and data regularity, refining the qualitative Wiener criterion.
Methodological Innovation: Developing techniques to handle nonlocal tail terms without relying on the Caffarelli–Silvestre extension, which is not available for general kernels. This allows the results to apply to a broader class of nonlocal problems, including those in irregular domains (Lipschitz or worse) where classical smoothness assumptions fail.

More like this