Alphabeta Math
CounterexampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)
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.

Canonical edge moments are not bounded on H(curl)

Statement refuted

For a fixed tetrahedral edge e, the canonical edge-circulation functional u↦∫eu⋅te ds extends to a bounded linear functional on H(curl⁡;Ω).

Facts & Assumptions

Given: Countable Choice for the weak-derivative uniqueness convention in The real H(curl) graph space on a polyhedron, the graph norm on H(curl⁡;Ω), a fixed oriented mesh edge e=[a,b], and its canonical circulation degree of freedom from Lowest-order Whitney and Nedelec de Rham spaces.

[A1]

Countable Choice is the explicit assumption in the real H(curl) graph-space definition; the counterexample uses no stronger choice principle. (The Axiom of Countable Choice (ACω))

[F1]

The graph norm is ∥u∥H(curl⁡)2=∥u∥22+∥curl⁡u∥22. (The real H(curl) graph space on a polyhedron)

[F2]

The canonical edge degree of freedom is ℓe(u)=∫eu⋅te ds for smooth u. (Lowest-order Whitney and Nedelec de Rham spaces)

[F4]

For 0<r<R, there is a smooth [0,1]-valued function equal to one on B‾r(0) and supported in BR(0). (A smooth bump between concentric Euclidean balls)

Counterexample

1.1A1F1F4constructalgebra

By [F4] with r=1/2 and R=1, choose η∈Cc∞(R3) with η(0)=1 and support in the unit ball. Choose ε>0 small enough that b∉a+εsupp⁡η. Define ψε(x)=η((x−a)/ε) on Ω and uε=∇ψε. Then curl⁡uε=0 distributionally because distributional mixed derivatives commute, so [F1] gives ∥uε∥H(curl⁡)=∥uε∥2. A change of variables on R3 bounds ∥uε∥22≤ε∥∇η∥L2(R3)2→0.

2.1A1F2F3step 1.1contradiction∎

By [F3] along e, ℓe(uε)=ψε(b)−ψε(a)=0−1=−1 for every such ε. If a bounded extension existed, [F2] would give ∣ℓe(uε)∣≤C∥uε∥H(curl⁡), which tends to zero by step 1.1, contradicting the fixed value 1. Thus the edge moment is not bounded on the energy space; canonical interpolation cannot be applied to arbitrary H(curl) fields by these moments alone.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

49 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