TotalVariation / CONCEPT
Fejer smoothing and the tent Fourier pair
The tent and squared-sinc Fourier pair provides Fejer smoothing and Fourier representations of ramp differences.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES2
PROOF DEPTH0
DOCUMENT LINKS1
The Fejer kernel has unit mass
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- A degree-uniform factorial Jensen kernel boundstructural-affinity · Closed
- A Uniform Cosine-Sum Remainderstructural-affinity · Closed
- A uniform Gaussian-cosh local kernelstructural-affinity · Closed
- Cosine Integral on Positive Latticesstructural-affinity · Closed
- Finite smoothing and low-frequency Poisson decaystructural-affinity · Closed
- Fourier comparison with a signed densitystructural-affinity · Closed
- Gaussian Hermite and Edgeworth identitiesstructural-affinity · Closed
- The Cosine-Integral Gram Integralstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance