False statementConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedprecheck passaudited 2026-10-02

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

The laplace beltrami definition licenses the use of all euclidean harmonic function theory on manifolds

Statement

False claim: once the Laplace–Beltrami operator has been defined by $Δ_{g} = {div}_{g} grad$ , every statement of Euclidean harmonic-function theory — existence of nonconstant harmonic functions, the maximum principle, Liouville theorems, boundary-value solvability and the rest — holds verbatim on every Riemannian manifold, with no further geometric, compactness or boundary hypothesis.

Facts & Assumptions

Given: The Laplace–Beltrami operator of Laplace–Beltrami operator as the trace of the Hessian, the Euclidean Laplacian of The Laplacian of a $C^{2}$ function and of a $C^{2}$ vector field, the round sphere, and the inherited ${A C}_{ω}$ of [A1].

[A1]

The countable-choice premise is the inherited ${A C}_{ω}$ (The Axiom of Countable Choice ( ${A C}_{ω}$ )), carried by the divergence-theorem and integration suppliers used below; the computations select nothing.

[F1]

On a Riemannian manifold without boundary the Laplace–Beltrami operator satisfies $Δ_{g} f = {div}_{g} (grad f)$ and the product identity ${div}_{g} (f grad f) = f Δ_{g} f + ∣ grad f ∣_{g}^{2}$ , because the divergence is the metric trace of $X \mapsto \nabla_{X}$ and $\nabla (f grad f) = f \nabla grad f + d f \otimes grad f$ (Laplace–Beltrami operator as the trace of the Hessian, Gradient hessian and divergence connection formulas, Riemannian divergence, Riemannian gradient).

[F2]

On an oriented Riemannian manifold with boundary, for a smooth compactly supported vector field $X$ , the divergence theorem reads $\int_{M} ({div}_{g} X) {vol}_{g} = \int_{\partial M} g (X, ν) {vol}_{\partial g}$ ; on a boundaryless manifold the boundary integral is empty and the identity is $\int_{M} {div}_{g} X {vol}_{g} = 0$ (Riemannian divergence theorem). On a compact manifold every smooth vector field has compact support. The Riemannian volume is the Radon measure of the Riemannian density (Riemannian volume density, Riemannian volume is the radon measure of the riemannian density), and this positive smooth density assigns positive measure to every nonempty open set under [A1] (Positive open-set and metric-ball volume).

[F3]

The round sphere $S^{n} \subseteq R^{n + 1}$ , $n \geq 2$ , with the induced metric is a compact, connected, boundaryless Riemannian manifold of positive constant sectional curvature (The round sphere has positive constant sectional curvature, For $n \geq 1$ , every Euclidean closed ball and every Euclidean sphere of positive radius is compact, For $n \geq 2$ , the sphere $S^{n - 1}$ is path-connected and connected).

[F4]

On $R^{n}$ the Euclidean Laplacian is $Δ f = \sum_{i = 1}^{n} \partial_{i}^{2} f$ (The Laplacian of a $C^{2}$ function and of a $C^{2}$ vector field). In particular the coordinate function $f (x) = x^{1}$ has $Δ f = 0$ and is not constant.

Refutation

1.1F4given

The Euclidean theory has nonconstant harmonic functions. [F4, given] On $R^{n}$ the function $f (x^{1}, \dots, x^{n}) = x^{1}$ satisfies $\partial_{1}^{2} f = 0$ and $\partial_{i}^{2} f = 0$ for $i \geq 2$ , so $Δ f = 0$ by [F4]; since $f$ is not constant, Euclidean harmonic-function theory contains the conclusion "there exists a nonconstant harmonic function".

2.1F1F2F3step 1.1

On the round sphere every harmonic function is constant. [F1, F2, F3, step 1.1] Let $φ$ be a smooth function on the compact connected boundaryless round sphere $(S^{n}, g)$ with $Δ_{g} φ = 0$ . Orient $S^{n}$ by its outward unit normal; $X = φ grad φ$ is smooth and compactly supported because $S^{n}$ is compact. By [F1], ${div}_{g} (φ grad φ) = ∣ grad φ ∣_{g}^{2} + φ Δ_{g} φ = ∣ grad φ ∣_{g}^{2} .$ Since $\partial S^{n} = \emptyset$ , the divergence theorem [F2] gives $\int_{S^{n}} ∣ grad φ ∣_{g}^{2} {vol}_{g} = 0,$ If the continuous nonnegative integrand were positive at a point, it would be at least some $ε > 0$ on a nonempty open neighbourhood $O$ . By [F2], ${vol}_{g} (O) > 0$ , whence the integral would be at least $ε {vol}_{g} (O) > 0$ , a contradiction. Thus $grad φ = 0$ everywhere. The defining identity $d φ (V) = g (grad φ, V)$ makes $d φ = 0$ ; in each connected coordinate ball the one-variable zero-derivative argument along line segments makes $φ$ constant. Hence $φ$ is locally constant and, on connected $S^{n}$ , constant.

3.1F3step 2.1∎

The Euclidean conclusion fails unchanged on a Riemannian manifold. [F3, step 2.1] The conclusion of step 1.1 — existence of a nonconstant harmonic function — is false on the round sphere of step 2.1, a perfectly standard Riemannian manifold on which the Laplace–Beltrami operator is defined exactly as in [F1]. The reasons are geometric and analytic, not definitional: compactness and the absence of boundary turn the integration-by-parts identity of step 2.1 into a rigidity statement, while on noncompact Euclidean space the same operator admits the linear harmonic functions of step 1.1. The display $Δ_{g} = {div}_{g} grad$ therefore does not license Euclidean harmonic-function theory unchanged; every such theorem needs its own hypotheses (compactness, boundary, completeness, curvature, growth), which is precisely what the Laplace comparison theorems of this page supply in the geometric setting. The functions, the sphere and the integration are all explicit, so the inherited ${A C}_{ω}$ of [A1] is not drawn on beyond its declaration.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

63 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources

Ved Datar, Lectures on Riemannian Geometry (2025) (standard reference, not scraped)
J.-H. Eschenburg, Comparison Theorems in Riemannian Geometry (standard reference, not scraped)