Alphabeta Math
CounterexampleConstruction: AI-adaptedVerification: AI-generatedPipeline-generatedprecheck passverified 2026-10-22 (gpt-6.1-sol)
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.

A normalized square-integrable vector can have infinite kinetic form energy

Statement

Assume the Axiom of Choice and Countable Choice. For the free Hamiltonian H0=−Δ on L2(R3;C) with form domain Q(H0)=H1(R3), it is false that every normalized L2 vector is an admissible finite-energy Rayleigh–Ritz trial vector. In the 2π Fourier convention, the normalized vector with f^(ξ)=c(1+∣ξ∣2)−1,c=(∫R3(1+∣ξ∣2)−2 dξ)−1/2, lies in L2 but not in H1, so it is outside the form domain and has no finite free kinetic form value.

Facts & Assumptions

Given: Choice and Countable Choice, the 2π Fourier convention, and the free operator on L2(R3;C).

[F1]

The form domain of −Δ is exactly H1 and its form is ∫4π2∣ξ∣2∣f^(ξ)∣2 dξ (Free Laplacian form domain and realization).

[F2]

Plancherel is unitary, so an L2 Fourier function is the transform of a unique L2 vector with the same norm (Plancherel theorem).

[F3]

The min-max infimum ranges only over finite-dimensional subspaces of the form domain; vectors outside that domain are not admissible form trial vectors (Form min-max below the essential spectrum).

[A1]

Countable Choice is assumed by the cited Fourier and form suppliers (The Axiom of Countable Choice (ACω)).

[A2]

The Axiom of Choice is assumed by the cited free-form and min-max suppliers (The Axiom of Choice).

[F4]

Polar coordinates give the radial integration formula on R3 (Polar coordinates decompose Lebesgue measure into r^{n-1} dr d sigma).

Proof

Given: [A1], [A2], [F1]–[F4], and the Fourier function in the Statement.

1.1A1F2F4algebra

In spherical coordinates [F4], J=∫R3(1+∣ξ∣2)−2 dξ=4π∫0∞r2(1+r2)2 dr. The integrand is bounded by r2 near zero and by r−2 for r≥1; thus 0<J<∞ and c=J−1/2 is defined. By [F2], f^ is the Fourier transform of an L2 vector and its norm is c2J=1.

2.1A2F1F4step 1.1algebra

Its formal kinetic form integral equals 4π2c2∫R3∣ξ∣2(1+∣ξ∣2)2 dξ=16π3c2∫0∞r4(1+r2)2 dr=+∞, because the radial integrand tends to 1 as r→∞. By [F1], finite form energy is equivalent to this weighted integral being finite, so f∉H1(R3;C)=Q(H0).

3.1F3step 1.1step 2.1∎

The vector is normalized in L2 by step 1.1 but outside the exact form domain by step 2.1. Thus it cannot be inserted into the min-max variational family described in [F3], which requires its subspaces to lie in Q(H0); the universal trial-vector claim is false. This counterexample concerns domain admissibility and assigns no finite value to the divergent integral.

Depends on

Dependency tree · 2 levels

Sources