Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
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 closed one-form on the punctured plane with nonzero period

Statement refuted

Every closed C1 one-form on every connected open domain in R2 is globally exact.

Facts & Assumptions

Given: Here closed means dω=0 by the coordinate formula, and exact means ω=dS for a globally defined C2 scalar function S on the stated open domain.

[F1]

A nonsingular Pfaff one-form and its horizontal paths: the coordinate formula for dω and the coordinate action of a one-form.

[F2]

Scalar line integrals with respect to arc length and vector-field line integrals: for F=(P,Q) and a piecewise-C1 curve γ, ∫γF⋅dr=∫(P(γ)γ1′+Q(γ)γ2′) dt.

[F3]

The gradient theorem: the line integral of a gradient is the endpoint increment: if F=∇S on an open set, its line integral along γ is S(γ(1))−S(γ(0)).

Counterexample

1.1givenF1

Let D=R2∖{(0,0)} and ω=P dx+Q dy with P(x,y)=−y/(x2+y2) and Q(x,y)=x/(x2+y2). The domain D is open since each nonzero point has a ball avoiding the origin. The coefficient vector (P,Q)=(−y,x)/(x2+y2) is nonzero at every point of D. The domain is path-connected: if the segment joining p,q∈D avoids 0, use that segment; if it contains 0, then p,q,0 are collinear. Writing p=(p1,p2), take r=(−p2,p1); it is nonzero and perpendicular to p, so p,r and q,r are linearly independent pairs and the segments [p,r] and [r,q] avoid 0.

2.1F1step 1.1algebra

Write r2=x2+y2>0. For sufficiently small h, direct difference quotients give ∂xP=2xy/r4, ∂yQ=−2xy/r4, and ∂xQ=∂yP=(y2−x2)/r4: for example, (Q(x+h,y)−Q(x,y))/h=(y2−x2−xh)/(r2((x+h)2+y2)) and (P(x,y+h)−P(x,y))/h=(y2−x2+yh)/(r2(x2+(y+h)2)), while the other two quotients are y(2x+h)/(r2((x+h)2+y2)) and −x(2y+h)/(r2(x2+(y+h)2)). These limits are continuous on D, so P,Q∈C1(D); the cross partials agree and the coordinate definition [F1] gives dω=(∂xQ−∂yP)dx∧dy=0.

2.2F2F4step 1.1construct

The unit circle γ(t)=(cos⁡t,sin⁡t), 0≤t≤2π, lies in the domain and uses the form defined in step 1.1. Along it (P,Q)=(−sin⁡t,cos⁡t)=γ′(t), hence [F2] gives ∫γω=∫02π1 dt=2π by [F4].

3.1F3step 2.1step 2.2discharge-contradiction∎

The closedness is proved in step 2.1. If ω=dS globally on D, then F=∇S for the corresponding vector field, and [F3] would give ∫γω=S(γ(2π))−S(γ(0))=0, contradicting step 2.2. Thus ω is closed but not globally exact. This does not assert that every possible global integrating factor is absent.

Depends on

Dependency tree · 2 levels

Sources