Analytic / CONCEPT
Finite Legendre Primitive Energy Gap
An inverse weighted Sturm construction bounds the actual primitive of a complex high-mode Legendre expansion.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH1
DOCUMENT LINKS0
Hermitian pairing of finite expansions
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Actual arithmetic remainder and atomic prefix energystructural-affinity · Closed
- Atomic prefixes, shifted hinges and exponential energystructural-affinity · Closed
- Complex Polynomial L2 Derivative Energystructural-affinity · Closed
- Exact causal primitive calculusstructural-affinity · Closed
- Moment Orthogonal Complex L2 Primitive Gapstructural-affinity · Closed
- Original full-kernel certificate sourcestructural-affinity · Closed
- Original full-kernel certificate sourcestructural-affinity · Closed
- Reuse-only weighted Mangoldt suppliersstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance