← LESR · Root 6217 local analysis (Paper 09C–09U)
/
LESR 09C · Secondary slivers and the second-order coefficient Φ₂
LESR · Root 6217 local analysis (Paper 09C–09U)
LESR 09C · Secondary slivers and the second-order coefficient Φ₂
Neo.K / Aletheia
Secondary Sliver Asymptotics and the Explicit Second Epi-Derivative
At the analytically selected primary critical velocity the second-order area coefficient reduces to a convex piecewise-linear Φ₂ = c₀ + γ_w·w₂ + λ_S(|δ₊|+|δ₋|) + λ_T[δ_T]₊, whose nominal LP minimum is c* ≈ 0.22558634, above the target 0.1. This is a high-precision replay, which the paper explicitly says is 'not an interval proof'.
Paper 09C reduces the second-order coefficient to a convex piecewise-linear function with nominal minimum about 0.2256, above the target 0.1; this is a high-precision replay, not an interval proof.
The closing status block lists the interval LP, the uniform remainder and the full first-order chart certificate as OPEN, and says 'GLOBAL LEBESGUE LOWER BOUND: NOT CERTIFIED BY THIS PAPER'. The vertical term and the 'five slivers' count are corrected later in 09E; the LP is no longer needed in 09D.
Connections · Connections
This is a full-text translation of the Chinese source, which remains authoritative for its research claims. Translation is not independent mathematical verification and does not upgrade the original evidence level.