Alphabeta Math
False statementConstruction: AI-adaptedVerification: AI-adaptedprecheck passverified 2026-09-23 (gpt-6-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.

FALSE: if f,g∈L1(Rn), then f∗g(x) is defined for every x

Statement

False claim. If f,g∈L1(Rn), then (f∗g)(x) is defined for every x∈Rn.

Facts & Assumptions

Given: The one-dimensional functions f(x)=g(x):={1∣x∣(log⁡(e/∣x∣))2,0<∣x∣<1/2,0,otherwise.

Refutation

technique · direct
1.1givenalgebra

The function x↦1/(∣x∣(log⁡(e/∣x∣))2) is integrable near 0 by the substitution u=log⁡(e/∣x∣), whose tail is a constant multiple of ∫∞u−2 du. Hence f,g∈L1(R).

2.1step 1.1algebra

At x=0 one has [step 1.1, algebra] ∫R∣f(−y)g(y)∣ dy=∫−1/21/2dy∣y∣2(log⁡(e/∣y∣))4. The single point y=0 is irrelevant to Lebesgue integrability, so it is enough to inspect the punctured interval (0,1/2). There the substitution u=log⁡(e/y) gives y=e1−u and dy=−e1−udu, hence ∫01/2dyy2(log⁡(e/y))4=∫log⁡(2e)∞eu−1u4 du=∞. Thus (f∗g)(0) is not defined as an absolutely convergent Lebesgue integral.

3.1step 1.1step 2.1∎

Therefore the convolution of two L1 functions need not be defined at every point.

Used by

Nothing in the library uses this result yet.

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources