Alphabeta Math
CounterexampleConstruction: AI-generatedVerification: AI-generatedprecheck pending
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 H^1 to C^0 bound fails at s minus m equal to one: dyadic shells have an unbounded C^0/H^1 ratio

Statement refuted

Refuted statement: "for s=1 and m=0 on T2π3 (so that s−m=1<32) there is a constant C with ∥u∥C0≤C∥u∥H1 for every u∈H1."

Facts & Assumptions

Given: the torus T2π3, its characters χk, the norms ∥⋅∥H1 and ∥⋅∥C0, and the shell family (uN).

[L1]

Fourier norm formula: for u=∑kakχk with finitely many nonzero coefficients, ∥u∥H12=∑k(1+∣k∣2)∣ak∣2 and ∥u∥C0=sup⁡x∣∑kakχk(x)∣; in particular uN(0)=#{k:2N≤∣k∣<2N+1} for the shell family, whose coefficients are 1 on the shell (Periodic Fourier differentiation identity and equivalence of the derivative and Fourier-weight Sobolev norms, The 2 pi-periodic three-torus, its normalized measure, test functions and the Sobolev spaces H^s).

[L2]

Lattice-point counts: there are constants 0<c≤C with c23N≤#{k∈Z3:2N≤∣k∣<2N+1}≤C23N for all N≥0 (the shell is a spherical annulus of radius comparable to 2N; each unit cube contains at most one lattice point and volume comparison gives both bounds) (The 2 pi-periodic three-torus, its normalized measure, test functions and the Sobolev spaces H^s). [L2]

[L3]

In the embedding lemma the hypothesis s−m>3/2 is used exactly at the finiteness of ∑k(1+∣k∣2)−(s−m); at s−m=1 this sum diverges (Periodic Sobolev embedding: H^s on the three-torus controls C^m when s minus m exceeds three halves). [L3]

Counterexample

For N≥0 let uN:=∑k∈Z3, 2N≤∣k∣<2N+1χk. Then ∥uN∥H1≤C25N/2 and uN(0)=∣{k:2N≤∣k∣<2N+1}∣≥c23N for constants c,C>0 independent of N, so the ratio ∥uN∥C0/∥uN∥H1 is at least c′2N/2→∞: no constant C exists, and the identity embedding bound fails at s−m=1. The raw shell norms grow; equivalently, the normalized sequence uN/∥uN∥H1 has unit H1 norm and unbounded C0 norm.

Proof technique: direct.

1.1L1L2algebra

(Norms of the shell family.) By [L1] and [L2]: ∥uN∥H12=∑2N≤∣k∣<2N+1(1+∣k∣2)≤2⋅22N+2⋅#shell≤C22N23N=C25N, so ∥uN∥H1≤C25N/2; and uN(0)=#shell≥c23N.

2.1step 1.1algebra

(Divergence of the ratio.) Hence ∥uN∥C0/∥uN∥H1≥c′23N−5N/2=c′2N/2→∞; if a constant C satisfied the claimed bound, applying it to uN/∥uN∥H1 would give a uniform bound on this ratio, a contradiction.

3.1L3algebra∎

(Consistency with the sharp threshold.) The failure occurs exactly at the exponent where the weight sum of [L3] diverges; by Periodic Sobolev embedding: H^s on the three-torus controls C^m when s minus m exceeds three halves the bound does hold for s−m>3/2, so the counterexample is sharp and does not contradict the embedding theorem.

Depends on

Dependency tree · 2 levels

Sources