Arith / CONCEPT
Mellin Weighted Variation
An absolute Mellin moment bounds the full weighted variation of the Robin integral kernel.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES9
PROOF DEPTH0
DOCUMENT LINKS0
The Robin density is nonnegative
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
- Logarithmic boundstruth-dependency · Closed
- Logarithmic Mellin Reservetruth-dependency · Closed
- OriginalFirstClockTransporttruth-dependency · Closed
- Quartic cell estimatestruth-dependency · Closed
- Quotient Integral Budgettruth-dependency · Closed
- The Actual Arithmetic Mixed Responsetruth-dependency · Closed
- The Actual Factorial Robin High Integral and Its Derivativetruth-dependency · Closed
- The Original Moving-Window Momenttruth-dependency · Closed
- The Original Partial-Cell Projectiontruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Higher Derivatives of the Log-Log Scalestructural-affinity · Closed
- Logarithmic boundsstructural-affinity · Closed
- Logarithmic Convolution from Absolute Coefficient Massstructural-affinity · Closed
- Logarithmic Mellin Reservestructural-affinity · Closed
- OriginalFirstClockTransportstructural-affinity · Closed
- Quantitative Covariance of the Actual Finite Robin Log Kernelstructural-affinity · Closed
- Quartic cell estimatesstructural-affinity · Closed
- Quotient Integral Budgetstructural-affinity · Closed
- The Actual Arithmetic Mixed Responsestructural-affinity · Closed
- The Actual Factorial Robin High Integral and Its Derivativestructural-affinity · Closed
- The Original Moving-Window Momentstructural-affinity · Closed
- The Original Partial-Cell Projectionstructural-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