Non-Continuity of Perron Solution

• Non-Continuity of the Perron Solution is characterized by the breakdown of classical harmonic solutions on domains with cusp singularities, despite smooth boundary data.
• Variational and Sobolev-space methods underpin explicit energy minimization approaches that yield Perron solutions in irregular domains like Lebesgue's.
• The study reveals non-local boundary effects where even isolated changes in data can trigger discontinuities at singular cusp points.

Lebesgue's Domain refers to a specific class of domains in potential theory, most prominently exemplified by a three-dimensional region bounded by surfaces of revolution around a thin line segment (a "rod") with variable mass density. The notion arises from the analysis of the Dirichlet problem for partial differential equations on non-smooth domains, particularly those with inward-pointing cusp singularities, and plays a pivotal role in understanding non-local and generic failures of boundary regularity in harmonic theory.

1. Geometric and Analytic Definition

Let $S = \{(0, 0, z) : 0 \leq z \leq 1\}$ denote the interval on the $z$-axis in $\mathbb{R}^3$. The domain $D = \mathbb{R}^3 \setminus S$ is considered, and the Newtonian potential of a "thin rod" $S$ with mass density $\rho(z)$ is defined at each $(r, z)$ (with $r = \sqrt{x^2 + y^2}$) by

$$V(r, z) = \int_{0}^{1} \frac{\zeta}{\sqrt{r^2 + (\zeta - z)^2}}\,d\zeta,$$

where, in Lebesgue's original example, $\rho(\zeta) = \zeta$. For any fixed $z$0, the level set $z$1 defines an analytic curve $z$2 in the $z$3-halfplane, which may be parametrized as $z$4 for $z$5 in some interval $z$6 with $z$7 and $z$8.

Lebesgue's domain $z$9 is formed as the region between two such surfaces of revolution for levels $\mathbb{R}^3$0: $\mathbb{R}^3$1 This domain exhibits an inward-pointing cusp at the origin $\mathbb{R}^3$2 and is bounded by two connected components, $\mathbb{R}^3$3 and $\mathbb{R}^3$4 (Arendt et al., 17 Dec 2025).

2. Potential Theory and Boundary Structure

The potential $\mathbb{R}^3$5 is smooth and harmonic throughout $\mathbb{R}^3$6. The boundary of $\mathbb{R}^3$7 in the $\mathbb{R}^3$8-plane ($\mathbb{R}^3$9) consists of two curves $D = \mathbb{R}^3 \setminus S$0 and $D = \mathbb{R}^3 \setminus S$1 with the inner curves meeting at the cusp point $D = \mathbb{R}^3 \setminus S$2. For a general rod density $D = \mathbb{R}^3 \setminus S$3 with $D = \mathbb{R}^3 \setminus S$4, the potential remains smooth off $D = \mathbb{R}^3 \setminus S$5. In the case of $D = \mathbb{R}^3 \setminus S$6, explicit integration yields

$D = \mathbb{R}^3 \setminus S$7

The monotonicity and analytic structure of the level sets are ensured by Lemma 4.1 in (Arendt et al., 17 Dec 2025), which confirms that $D = \mathbb{R}^3 \setminus S$8 is strictly decreasing for each fixed $D = \mathbb{R}^3 \setminus S$9.

3. Variational and Classical Dirichlet Solutions

Let $S$0 be continuous on the boundary of a bounded domain $S$1. The variational formulation considers the Sobolev space $S$2 and seeks $S$3 as the minimizer of the Dirichlet energy

$S$4

subject to the boundary condition $S$5 in the sense of traces. An explicit variational solution is constructed as $S$6, where $S$7 continuously extends $S$8 and $S$9 in the sense of distributions, with $\rho(z)$0 [(Arendt et al., 17 Dec 2025), Theorem 2.1]. This solution coincides with the Perron solution, which is built as the infimum of all supersolutions dominating $\rho(z)$1 [(Arendt et al., 17 Dec 2025), Theorem 3.2].

Crucially, on Lebesgue's domain, classical harmonic solutions—those continuous up to the entire boundary—may not exist even for boundary data $\rho(z)$2. This non-existence results from the domain's failure to be Dirichlet-regular at the inward-pointing cusp, as formalized in Proposition 4.2 and Corollary 4.3 of (Arendt et al., 17 Dec 2025).

4. Singular Boundary Behavior and Non-Local Regularity

A defining feature of Lebesgue's domain is the generic and non-local nature of discontinuity in harmonic extensions at the cusp. Theorem 5.1 of (Arendt et al., 17 Dec 2025) asserts that if $\rho(z)$3 is a singular boundary point (such as the cusp), then any non-trivial change in the boundary data—even at a point far from $\rho(z)$4—can destroy continuity of $\rho(z)$5 at $\rho(z)$6. In fact, the set of boundary data for which the solution remains continuous at a singularity is meagre in the sense of Baire category (Corollary 5.2). This demonstrates the robustness and non-locality of singular boundary behavior in domains like Lebesgue's.

A plausible implication is that attempts to guarantee classical (i.e., continuous) solutions for all boundary data must take domain regularity into account, as even smooth data cannot compensate for geometric singularities at the boundary.

5. Main Results and Characterizations

Key results relevant to Lebesgue's domain include:

• Analyticity of Boundary Curves: For each fixed $\rho(z)$7, the boundary curves $\rho(z)$8 arising from level sets of $\rho(z)$9 are single analytic graphs parametrized in $(r, z)$0 (Arendt et al., 17 Dec 2025).
• Dirichlet Energy Minimization: If $(r, z)$1, then

$(r, z)$2

whenever the minimum is finite [(Arendt et al., 17 Dec 2025), Theorem 2.7].

• Variational Solution Equals Classical When Possible: If $(r, z)$3 admits a classical harmonic solution $(r, z)$4, then $(r, z)$5; otherwise, the variational/Perron solution need not be continuous throughout $(r, z)$6 [(Arendt et al., 17 Dec 2025), Proposition 2.3].
• Vasilesco’s Characterization: A bounded harmonic function $(r, z)$7 on $(r, z)$8 is the Perron solution of $(r, z)$9 if and only if $r = \sqrt{x^2 + y^2}$0 as $r = \sqrt{x^2 + y^2}$1 quasi-everywhere on $r = \sqrt{x^2 + y^2}$2 [(Arendt et al., 17 Dec 2025), Theorem 3.2].
• Non-decibility of Classical Solvability: There exist simple (even piecewise-constant) boundary data $r = \sqrt{x^2 + y^2}$3 for which the Dirichlet problem admits no classical solution due to the cusp singularity [(Arendt et al., 17 Dec 2025), Proposition 4.2, Corollary 4.3].

6. Significance in Potential Theory and Analysis

Lebesgue's domain serves as a canonical example in classical potential theory illustrating the breakdown of local criteria for boundary regularity. It highlights the distinction between variational and classical solutions in domains with geometric singularities and reveals the generically non-local effect that singular points have on boundary behavior.

The study of Lebesgue's domain also establishes the utility of Sobolev-space and variational methods in handling boundary value problems where classical approaches fail due to irregularity. A key conceptual outcome is that the existence of classical solutions cannot be assured solely by boundary data regularity when the domain exhibits cusp-like singularities. The findings illuminate core aspects of non-locality and Baire-generic properties in the regularity theory of harmonic and elliptic PDEs (Arendt et al., 17 Dec 2025).