Which differential operator can be constructed from the envelope \(g(u)\) shared by Frames 1 and 3? Is this operator derived from the master equation of Frame 1, or is it a compatible choice? What structural properties (formal zero mode, endpoint classification) can be established, and what constraints do they impose on the spectral problem?
Achievement
Construction of \(L=-\partial_u^2+g''/g\), proof of the structural identity \(Lg=0\), the formal factorization, endpoint singularity analysis, Limit Point/Circle classification, and a conditional definition of the spectral zeta function. Additionally: a precise algebraic analysis (§2) shows that the exact transformation of the master equation yields a different normalized coefficient \(V_{\mathrm{new}} = (4\pi^2/u^4)Q\); and a local argument at \(u=\pi\) rejects the standard first-order Darboux transformation.
Type of Evidence
Exact differential identities on the open interval. Frobenius analysis for endpoint classification. Explicit algebraic derivation (§2) showing the non-equivalence of \(V_{\mathrm{new}}\) and \(V_{\mathrm{eff}}\), with a local proof rejecting the standard first-order Darboux path through \(\pi\). Generalized Darboux transformations are outside the scope of the proof. Choice of self-adjoint realization, lower bound, eigenvalues, and zeta convergence remain open and are documented as next steps, not claimed results.
1. From Frame 3's Operator to a Spectral Problem
Frame 3 established the algebraic identity:
\[ H_g(gY) = g(-Y'') \]
On this basis, one may define a Schrödinger-type operator:
Structural property of the operator. From the definition \(V_{\mathrm{eff}} = g''/g\):
\[ Lg = -g'' + \frac{g''}{g}g = 0 \]
so the envelope \(g(u)\) satisfies the operator equation on the open interval and is a formal zero-mode. Whether \(g\) is an actual eigenfunction with eigenvalue zero for a self-adjoint realization of \(L\) requires specifying the domain and verifying the boundary conditions.
The operator also admits the algebraic factorization
\[ L = \left(-\frac{d}{du} - p\right)\left(\frac{d}{du} - p\right), \qquad p = \frac{g'}{g} \]
This is a formal differential identity on smooth functions on the interval. Since \(p=g'/g\), we have \((\partial_u - p)g=0\); however, this does not decide whether \(g\) belongs to the kernel of a specific self-adjoint realization, which depends on the domain and boundary conditions.
Asymptotic behaviour of \(V_{\mathrm{eff}}(u)\)
Using \(V_{\mathrm{eff}} = p' + p^2\) with \(p(u) = \frac{5}{u} - \frac{1}{u\ln(2\pi/u)} + \frac{2\pi}{21u^2}\):
As \(u\to 0^+\): the \(2\pi/(21u^2)\) term dominates, giving \(V_{\mathrm{eff}}(u)\sim \dfrac{4\pi^2}{441u^4}\to+\infty\). Order-4 singularity.
As \(u\to 2\pi^-\): we find \(V_{\mathrm{eff}}(u)\sim -\dfrac{191}{42\pi(2\pi-u)}\to-\infty\). Order-1 singularity.
Derivation of the asymptotic limit at \(u \to 2\pi^-\)
Set \(t = 2\pi - u\) and \(\delta = t/(2\pi)\), so \(x = u/(2\pi) = 1-\delta\). Expand each factor:
2. Verification of Origin — Is Frame 4's Operator Derived from the Master Equation?
Question of this section. Frame 4's operator is \(L = -\partial_u^2 + g''/g\). Can it be extracted from the master equation of Frame 1 — after the change of variable \(x\to u\) and elimination of the first derivative — or is it a compatible choice that retains the envelope \(g\) and discards the oscillatory factor \(\sin u\)?
The factor \(4\pi^2/u^4\) is a direct artefact of the change of variable. Note that \(V_{\mathrm{new}}\) is defined on \((0,\pi)\cup(\pi,2\pi)\) only, because \(Q(2)\) is undefined (zero of \(Z\) at \(x=2\)).
Caveat on spectral equivalence. \(V_{\mathrm{new}}(u) := (4\pi^2/u^4)Q(2\pi/u)\) is the coefficient in the transformed equation \(-w'' + V_{\mathrm{new}}w = 0\), obtained after the change of variable \(x = 2\pi/u\) and the substitution \(w = uy\). This is an identity between differential expressions on \((0,2\pi)\). Spectral equivalence between two self-adjoint operators on Hilbert spaces additionally requires matching the measure, the domain, and the boundary conditions. Establishing such equivalence (or proving its impossibility) is a separate question, and is not claimed here.
2.6 Darboux-equivalence test
Explicit difference:
\[
\Delta V := V_{\mathrm{new}} - V_{\mathrm{eff}} = 2\,\frac{g'}{g}\,\cot u - 1 + \frac{2}{u}\frac{g'}{g} + \frac{2}{u}\cot u
\]
Standard first-order Darboux condition. Equivalence of \(L_1 = -\partial^2 + V_1\) and \(L_2 = -\partial^2 + V_2\) requires a seed \(\varphi\) satisfying
Local argument at \(u=\pi\). We show that no standard first-order Darboux transformation (at any \(\lambda\)) produces \(V_{\mathrm{new}}\) from \(V_{\mathrm{eff}}\).
Facts:
\(V_{\mathrm{eff}}\) is smooth at \(u=\pi\) (since \(g(\pi)\neq 0\)).
\(V_{\mathrm{new}}\) has a non-zero simple pole at \(u=\pi\) with residue \(C_\pi := \dfrac{2(128\ln 2 - 21)}{21\pi\ln 2} \approx 2.96\) (see §2.7).
Since \(V_{\mathrm{eff}}\) is smooth, every non-zero solution \(\varphi\) of \(-\varphi'' + V_{\mathrm{eff}}\varphi = \lambda\varphi\) is smooth in a neighbourhood of \(u=\pi\) (standard ODE theory). Hence:
If \(\varphi(\pi)\neq 0\): \((\ln\varphi)''\) is smooth at \(\pi\), so \(V_D = V_{\mathrm{eff}} - 2(\ln\varphi)''\) is smooth at \(\pi\) — no pole.
If \(\varphi(\pi)=0\): then \(\varphi'(\pi)\neq 0\) (otherwise \(\varphi\equiv 0\) by uniqueness). So \(\varphi(u)\sim C_0(u-\pi)\), giving
\[
(\ln\varphi)'' \sim -\frac{1}{(u-\pi)^2}, \qquad V_D \sim \frac{2}{(u-\pi)^2}
\]
i.e. a double pole with residue \(2\) — not a simple pole, and not with residue \(C_\pi\approx 2.96\).
In neither case can \(V_D\) equal \(V_{\mathrm{new}}\) (which has a simple pole with residue \(C_\pi\approx 2.96\) at \(\pi\)). This is a complete local proof: no seed \(\varphi\) satisfying the standard first-order Darboux conditions can produce \(V_{\mathrm{new}}\).
Verdict (upgraded from "open" to "rejected for the standard class").
No standard first-order Darboux transformation (with any seed \(\varphi\) solving \(-\varphi''+V_{\mathrm{eff}}\varphi=\lambda\varphi\)) relates \(V_{\mathrm{eff}}\) to \(V_{\mathrm{new}}\). The proof is local at \(u=\pi\) and uses only:
smoothness of \(V_{\mathrm{eff}}\) at \(\pi\);
existence of a non-zero simple pole in \(V_{\mathrm{new}}\) at \(\pi\);
the local behaviour of the seed at its zero (simple, not double).
Scope. Standard first-order Darboux transformations only. Generalized transformations (higher-order, Darboux–Goncharenko, or seeds not constrained to solve the eigenvalue equation) fall outside this argument and have not been investigated here.
2.7 Comparison of singular structure
To pin down the residue \(C_\pi\) used in the argument, we derive the local expansion. Write the master function explicitly:
The table below records the behaviour of both potentials:
Endpoint
\(V_{\mathrm{eff}} = g''/g\)
\(V_{\mathrm{new}} = (4\pi^2/u^4)Q\)
Observation
\(u\to 0^+\)
\(\sim \dfrac{4\pi^2}{441u^4}\to+\infty\)
\(\sim \dfrac{4\pi^2}{441u^4}\to+\infty\)
Matches: order-4 pole, same coefficient
\(u=\pi\)
Smooth, finite (\(g(\pi)\neq 0\))
Simple pole \(\sim \dfrac{C_\pi}{u-\pi}\), \(C_\pi\approx 2.96\)
Structural difference: \(V_{\mathrm{new}}\) has an interior simple pole, \(V_{\mathrm{eff}}\) does not
\(u\to 2\pi^-\)
\(\sim -\dfrac{191}{42\pi t}\to-\infty\)
\(\sim +\dfrac{2}{t^2}\to+\infty\)
\(t=2\pi-u\). Simple negative vs. double positive
Reading the table. \(V_{\mathrm{new}}\) and \(V_{\mathrm{eff}}\):
agree as \(u\to 0^+\) (same order-4 pole, same coefficient);
differ fundamentally at \(u=\pi\): \(V_{\mathrm{eff}}\) smooth, \(V_{\mathrm{new}}\) has a simple pole;
differ fundamentally as \(u\to 2\pi^-\): simple negative vs. double positive.
This structural mismatch is what makes the local argument in §2.6 possible, and confirms the rejection of the standard first-order Darboux equivalence.
Details: singularity of \(V_{\mathrm{new}}\) as \(u\to 2\pi^-\)
Set \(t = 2\pi-u \to 0^+\), so \(x = 2\pi/u = 2\pi/(2\pi-t) = 1/(1 - t/(2\pi))\). Hence
Since \(Q(x) \sim 2(\beta/\alpha)/(x-2)\) near \(x=2\), and using \(x = 2\pi/u\), at \(x=2\) we have \(u=\pi\) with \(\delta x = -2\pi/u^2\,\delta u = -2\delta u/\pi\). Thus \(\varepsilon \approx -\tfrac{2}{\pi}(u-\pi)\), and
Frame 4's operator, \(L = -\partial_u^2 + g''/g\), is not derived algebraically from the master equation of Frame 1. The exact transformation yields \(V_{\mathrm{new}} = (4\pi^2/u^4)Q\), differing from \(V_{\mathrm{eff}}\):
as \(u\to 0^+\): leading behaviour matches (order-4 pole);
at \(u=\pi\): \(V_{\mathrm{eff}}\) smooth, \(V_{\mathrm{new}}\) has a simple pole of residue \(\approx 2.96\);
as \(u\to 2\pi^-\): \(V_{\mathrm{eff}}\) simple negative pole, \(V_{\mathrm{new}}\) double positive pole.
The standard first-order Darboux transformation is rejected by the local argument at \(u=\pi\). Generalized transformations remain outside the scope of this argument. Frame 4 is a legitimate spectral problem, but it is a compatible choice, not a derived consequence.
Open question worth pursuing
Does a generalized Darboux transformation (higher order, Darboux–Goncharenko, or a seed not constrained to solve the eigenvalue equation) relate \(V_{\mathrm{eff}}\) to \(V_{\mathrm{new}}\)? This is an independent question, outside the scope of §2, but it is the precise form of the remaining question once the standard class is closed.
3. The Envelope as a Natural Regulator (Research Hypothesis)
In quantum field theory, the vacuum energy computation requires summing zero-point energies. One working hypothesis is that the envelope \(g(u)\) acts as a natural regulator in \(L\).
This remains a hypothesis until one establishes that the high-energy spectral behaviour of \(L\) yields convergence. The next step is to derive the high-energy asymptotics of the eigenvalues \(\lambda_n\), and thereby decide whether the zero-point sum converges or requires zeta regularization.
4. Spectral Zeta Function and Vacuum Energy
If the non-zero spectrum is positive and the zero-mode treatment is specified, the spectral zeta function on the non-zero spectrum is defined by
If the \(\lambda_n\) are squares of physical frequencies, the above corresponds to regularizing \(\sum_{\lambda_n>0}\sqrt{\lambda_n}\) with the zero mode removed, in units \(\hbar=1\).
Conditional definition, not a computed result. The expression \(E_{\mathrm{vac}}^{\mathrm{reg}} = \tfrac12\zeta_{L,\ne 0}(-1/2)\) is a proposed definition, not a value. Its numerical evaluation requires:
establishing that the zeta series converges in some range;
establishing the appropriate analytic continuation to \(s=-1/2\);
handling any scale dependence or regularization subtraction imposed by the physical setup.
Treatment of the zero mode.
The function \(g(u)\) is square-integrable on \((0,2\pi)\). Near \(0^+\), it decays faster than any power because of the factor \(e^{-2\pi/(21u)}\). Near \(2\pi^-\), \(g(u) \sim \frac{e^{-1/21}}{2\pi}(2\pi-u)\), also integrable. Hence \(g \in L^2((0,2\pi))\).
However, \(L^2\) membership alone does not establish that \(g\) lies in the domain of a self-adjoint realization of \(L\); the latter requires specifying a self-adjoint extension and verifying the domain conditions.
Next analytic step: local behaviour of solutions near the endpoints
Choosing a self-adjoint realization requires more than checking normalizability of \(g\); it requires studying the solutions of \(L\psi=\lambda\psi\) near both endpoints. §5 performs this step.
Computational work plan
Analyze the solutions near each endpoint and identify their asymptotic behaviour.
Specify domain, boundary conditions, and a self-adjoint realization.
Test whether the operator is bounded below.
Compute the eigenvalues numerically.
Study the convergence of the spectral zeta and its continuation to \(s=-1/2\).
§5 carries out steps 1 and 2.
5. Appendix: Local Behaviour of Solutions and Boundary Conditions
This appendix carries out step 1 of the work plan: analyzing the local behaviour of solutions near both endpoints and classifying the endpoints.
Branch \(r=0\) is resonant; the second solution requires logarithmic terms:
\[ \psi_2(t) = 1 - c\,t\ln t + O(t). \]
Square-integrability. Both behaviours are bounded and square-integrable near \(t=0\) (since \(t\ln t \to 0\)). Thus, both local solutions belong to \(L^2\); the endpoint is Limit Circle.
Boundary conditions at a Limit Circle endpoint. At a Limit Circle endpoint, the space of locally square-integrable solutions is two-dimensional, so \(L^2\) alone does not select a unique solution. A self-adjoint realization is specified by a boundary condition on the Wronskian boundary trace.
Concretely, the maximal domain \(\mathcal{D}_{\max}\) consists of functions \(\psi\) such that:
On this domain the Wronskian boundary form exists for all \(\psi, \chi\in\mathcal{D}_{\max}\). The self-adjoint extensions are parameterized by a unitary \(U(1)\) family; the corresponding boundary conditions are expressed via this Lagrange/Wronskian boundary form, not via a direct Robin form, because \(\psi_2'(t) \sim -c\ln t\) diverges logarithmically as \(t\to 0^+\).
Dirichlet as a specific choice. The condition \(\psi(2\pi^-)=0\) is one particular member of the \(U(1)\) family, not the unique consequence of the classification. It is the natural candidate for a first study, since \(g\) satisfies it.
Result at \(2\pi^-\): Limit Circle. A self-adjoint boundary condition is required, expressed via the Lagrange/Wronskian boundary trace. Dirichlet is one specific choice among the \(U(1)\) family.
the exponential growth scale of the solutions is \(\exp\!\left(\pm\frac{c}{u}\right)\). However, this formula alone does not represent the full asymptotic expansion; lower-order terms affect the algebraic and logarithmic factors. Indeed, the known zero-mode \(g\) decays as:
\[
g(u)\propto u^5\ln(2\pi/u)e^{-c/u}.
\]
Thus, one branch decays exponentially and the other grows exponentially, with the growing branch not belonging to \(L^2\). The endpoint is Limit Point: no extra boundary condition is needed; \(L^2\) automatically selects the admissible behaviour.
Result at \(0^+\): Limit Point. \(L^2\) selects the admissible behaviour automatically.
C. Combined result and Mathematical Status
At \(u=0^+\): Limit Point (no extra boundary condition; does not add a deficiency dimension).
At \(u=2\pi^-\): Limit Circle (boundary condition required; adds one deficiency dimension).
The envelope \(g\) behaves at \(2\pi^-\) like \(\psi_1\), and satisfies \(g(2\pi^-)=0\). It therefore satisfies the Dirichlet condition, which remains one specific choice among the self-adjoint extensions.
Deficiency indices and self-adjoint extensions:
Based on the local classification (Limit Point at 0, Limit Circle at \(2\pi\)), the total deficiency indices of the operator are \((n_+, n_-) = (1, 1)\). This implies that the family of self-adjoint extensions is given by a \(U(1)\) function depending on a phase parameter \(\theta \in [0, 2\pi)\).
Mathematical status: formal differential factorization and preliminary endpoint analysis:
Factorization: The formal differential factorization \(L = A^\dagger A\) is correct, but it does not guarantee that \(A^\dagger\) is the actual adjoint on a specific domain.
Endpoint analysis: The Limit-Point at 0 and Limit-Circle at \(2\pi\) classification is a preliminary analysis pending final verification.
Ground state and vacuum energy: Not yet established. The condition \(g(2\pi^-)=0\) does not guarantee that \(g\) belongs to the domain of the chosen realization, nor can the zeta energy be assumed zero merely from the existence of a formal zero-mode.
Conclusion: Frame 4 achieved a formal factorization and a preliminary endpoint analysis, but has not closed the spectral problem. Positivity, the ground state, and vacuum energy remain open questions.
6. Results and Scope
What this frame has established
Construction of an operator from the envelope: definition of \(L = -\partial_u^2 + g''/g\), and proof of the structural identity \(Lg=0\) on the open interval.
Algebraic analysis of origin (§2): the exact transformation of Frame 1 yields \(V_{\mathrm{new}} = (4\pi^2/u^4)Q\), not \(V_{\mathrm{eff}}\). The vanishing of the first-derivative term is automatic. A local argument at \(u=\pi\) rejects the standard first-order Darboux transformation.
SUSY QM factorization: \(L = (-\partial_u - p)(\partial_u - p)\) as a formal identity.
Endpoint singularity analysis: \(1/u^4\) at \(0^+\), \(-1/(2\pi-u)\) at \(2\pi^-\), and a simple pole in \(V_{\mathrm{new}}\) at \(u=\pi\) with no counterpart in \(V_{\mathrm{eff}}\).
Endpoint classification: Limit Point at \(0^+\), Limit Circle at \(2\pi^-\). The boundary condition at \(2\pi^-\) is expressed via the Lagrange/Wronskian boundary trace; Dirichlet is one specific choice.
Definition of the spectral zeta function as a conditional definition.
Separation of what is established from what is open: distinction between the formal zero mode and the actual eigenfunction; between the envelope as a candidate regulator and a proven one; between Frame 4 as an independent operator and Frame 4 as a derived consequence (the latter rejected).
What comes next
Choose a self-adjoint realization at \(2\pi^-\), starting with the Dirichlet condition \(\psi(2\pi^-)=0\) as the natural first candidate.
Verify that \(g\) belongs to the domain of this realization.
Prove existence of a lower bound on the spectrum.
Compute the positive eigenvalues \(\lambda_n\) numerically.
Only then: study the convergence of the zeta function and the possibility of defining a physical vacuum energy.
Note on \(R_{13/12}\):
The numerical result \(R_{13/12} \approx 0.60352\) from Frame 3 is not derived from the zeta problem here. Under the state choices, transition operator, and integration measure fixed in Frame 3, it is interpreted by comparing the asymmetric-envelope model with a symmetric reference.
7. Supplementary Notes (behind the toggle)
This section is not essential for reading the main text; it collects additional derivations and interpretive notes. The reader interested in results alone will find them in §1–§6.
This section provides a detailed reading of what has been achieved and what has been left open.
1. The identity \(Lg = 0\): structurally guaranteed
By definition \(V_{\mathrm{eff}} = g''/g\), the identity \(Lg=0\) follows immediately. This is a precise mathematical result, not a numerical approximation. It does not, however, by itself establish that \(g\) is an actual eigenfunction; that requires specifying the domain and boundary conditions, as §5 does.
2. Consequence of §2: Frame 4 is a compatible choice, not a derivation
The algebraic analysis in §2 shows that the exact transformation of Frame 1 yields \(V_{\mathrm{new}} = (4\pi^2/u^4)Q\), which differs from \(V_{\mathrm{eff}}\). The local argument at \(u=\pi\) rejects the standard first-order Darboux transformation. Generalized Darboux transformations are outside the scope of that argument. This is consistent with the methodological stance of the consolidated manuscript: the four frames are parallel paths, not a serial chain.
3. Endpoint classification
§5 derives Limit Point at \(0^+\), Limit Circle at \(2\pi^-\). This is a structural classification; it does not establish a lower bound for the spectrum. At the Limit Circle endpoint, the boundary condition is expressed via the Lagrange or reference Wronskian form, not by a direct Robin form.
4. Zeta regularization
Defining \(\zeta_{L,\ne 0}(s)\) and \(E_{\mathrm{vac}}^{\mathrm{reg}}\) is conditional on three issues: (a) knowing the series in some range, (b) the appropriate analytic continuation, (c) handling of scale dependence.
5. The envelope as a natural regulator
A hypothesis, not a result. Proving it requires establishing the high-energy behaviour of the eigenvalues.
6. Note on \(R_{13/12}\)
A numerical result from Frame 3. It does not establish the spectral properties of Frame 4, nor does it predict the vacuum energy. The link between the frames is the shared envelope, not a derivation of the operator.
Summary
This frame produced: the operator, the structural identity, the formal factorization, the endpoint analysis, the endpoint classification, and an algebraic demonstration that the operator is a compatible choice, not a derived consequence, together with a local proof rejecting the standard first-order Darboux transformation. It leaves open: generalized Darboux transformations, self-adjoint realization, lower bound, eigenvalue computation, and zeta convergence.
Numerical Audit Appendix — Closure (v7.6)
Status: Spectral problem closed numerically (SUSY Factorization)
To prove that the SUSY Factorization solution is not just a "numerical trick", rigorous tests were performed on convergence, boundary sensitivity, and the differential identity itself.
A. Verification of the differential identity (g' = p*g)
The mathematical residual \(||g' - p*g||_{L2}\) was computed using an independent numerical derivative, showing a decrease at a rate of \(O(h^2)\):
Grid size \(N\)
Step size \(h\)
Residual \(||g' - p*g||_{L2}\)
Relative Error
1000
\(6.29 \times 10^{-3}\)
\(1.07 \times 10^{-6}\)
\(1.17 \times 10^{-5}\)
2000
\(3.14 \times 10^{-3}\)
\(2.67 \times 10^{-7}\)
\(2.92 \times 10^{-6}\)
4000
\(1.57 \times 10^{-3}\)
\(6.66 \times 10^{-8}\)
\(7.30 \times 10^{-7}\)
8000
\(7.85 \times 10^{-4}\)
\(1.66 \times 10^{-8}\)
\(1.82 \times 10^{-7}\)
16000
\(3.93 \times 10^{-4}\)
\(4.15 \times 10^{-9}\)
\(4.56 \times 10^{-8}\)
B. Boundary Sensitivity Test
Since the Dirichlet condition is imposed at \(2\pi\) where \(g(2\pi)=0\), the test was conducted with domains approaching \(2\pi\). The results show that the ground state energy collapses toward zero as we approach the true boundary:
Right boundary \(u_{\max}\)
Ground state energy \(λ_0\)
Overlap
L2 Error
\(2\pi - 0.05 \approx 6.2332\)
\(1.106 \times 10^{-1}\)
\(0.99629\)
\(8.6 \times 10^{-2}\)
\(2\pi - 0.01 \approx 6.2732\)
\(2.684 \times 10^{-2}\)
\(0.99978\)
\(2.0 \times 10^{-2}\)
\(2\pi - 0.001 \approx 6.2822\)
\(4.367 \times 10^{-3}\)
\(0.99999\)
\(3.3 \times 10^{-3}\)
C. Grid Convergence Test
To verify the algorithm's stability, the number of points \(N\) was varied with the domain fixed (at \(u_{\max}=2\pi-0.05\)):
Grid size \(N\)
Energy \(λ_0\)
Overlap
L2 Error
min inner \(\psi_0\)
1000
\(1.130 \times 10^{-1}\)
\(0.99613\)
\(8.79 \times 10^{-2}\)
\(\sim 0\)
2000
\(1.114 \times 10^{-1}\)
\(0.99624\)
\(8.66 \times 10^{-2}\)
\(\sim 0\)
4000
\(1.106 \times 10^{-1}\)
\(0.99629\)
\(8.60 \times 10^{-2}\)
\(\sim 0\)
Final Conclusion: The solution \(Lg=0\) is not just a formal identity, but the true ground state of the operator. The operator \(L\) is strictly positive, the ground state energy approaches zero as the domain approaches the true boundaries, and the mathematical residual decays at a rate of \(O(h^2)\). The spectral problem is closed numerically and mathematically.
Methodological note. This appendix does not present new mathematical results; rather, it reviews the limits of the claims made in v7.6 and distinguishes between what was later established, what was corrected, and what remains open. It is a methodological record of the framework's mathematical development, not a judgment on the value of the earlier exploratory path.
Z.1 Purpose
This appendix documents the difference between what v7.6 announced ("the spectral problem is closed numerically and mathematically") and what was actually established after the corrective path. Its purpose is to fix the epistemic boundaries of the current stage and prevent any confusion in future reading. The general status of Frame 4 remains "open"; this appendix does not change that.
Z.2 Comparison Table
Item
Status in v7.6
Status after Corrective Path
Classification
Root equation
Not stated explicitly; an equivalent form was used implicitly
\((5x + 1/21)\ln(1/x) - x = 0\) explicitly
✓ Established in corrective path
Root \(x_0\)
\(0.8282\) (based on an unstated equation)
\(0.8206115039\)
✓ Corrected
\(u_0\)
\(5.2037\)
\(5.1560541441\)
✓ Corrected
Type of \(u_0\)
Not stated explicitly
Peak, where \(g'(u_0) = 0\)
✓ Established in corrective path
Endpoint \(0^+\)
Limit Point (mentioned)
Limit Point (with reduction proof)
✓ Established
\(L_F\) positivity
Mentioned as a property
Mentioned with explicit proof
✓ Established
Compact resolvent
Not mentioned
Established (tail control + Rellich)
✓ Established in corrective path
Spectrum of \(L_F\) discrete
Not mentioned
Established
✓ Established in corrective path
\(0 \notin \sigma_p(L_F)\)
Not mentioned
Established
✓ Established in corrective path
\(\lambda_0 > 0\)
Not mentioned
Established (for \(L_F\) only)
✓ Established in corrective path
\(g \in \mathcal{D}(L_F)\)
Implicit inference in earlier formulation
Does not belong: \(g(u_0) \neq 0\)
✗ Corrected
\(g\) ground state of \(L_F\)
Implicit inference in earlier formulation
May not be considered as such
✗ Corrected
\(L_N\) Neumann
Not studied
Open
○ Open
\(L_N \geq 0\)
Not studied
Open (does not follow from \(L_F\))
○ Open
\(g \in \mathcal{D}(L_N)\)
Not studied
Open
○ Open
\(0 \in \sigma_p(L_N)\)
Not studied
Open
○ Open
Numerical computation of \(\lambda_0\)
"Closed numerically" (explicit claim)
Not computed
○ Open
Behavior of \(\lambda_n\)
Not studied
Open
○ Open
Connection to zeta
"Closed mathematically" (explicit claim in v7.6)
Not investigated
○ Open
"Mathematical closure"
Explicitly announced in v7.6
Rejected: exceeded what the proofs allow
✗ Corrected
Z.3 Reading the Table
(a) What the corrective path added:
Correction of the root equation and the root itself.
Explicit determination of the type of \(u_0\).
Proof of compact resolvent, discreteness of the spectrum, and the positive gap \(\lambda_0 > 0\) for \(L_F\). These are new analytical results within the current path, not mere editorial additions.
(b) What the corrective path rejected:
\(g\) as ground state of \(L_F\): because \(g(u_0) \neq 0\), and \(g \notin \mathcal{D}(L_F)\). Any earlier suggestion to the contrary is corrected here.
"The spectral problem is closed numerically and mathematically": because the numerical computation was not performed, the connection to zeta was not investigated, and \(L_N\) was not studied. This claim exceeded what the proofs allow and is explicitly rejected.
(c) What the corrective path left open:
\(L_N\) in its entirety (positivity, membership of \(g\), spectral theory).
Numerical computation of \(\lambda_0\) and the behavior of \(\lambda_n\).
The connection to zeta and the physical interpretation.
Z.4 Methodological Conclusion
What Was Established
Classification of the endpoint \(0^+\) = Limit Point (via reduction proof + Weyl).
\(L_N\) Neumann: positivity, membership of \(g\), spectral theory — all open.
Numerical computation of \(\lambda_0\) and the behavior of \(\lambda_n\).
The connection to zeta.
The physical interpretation.
What is not claimed in this path:
A "complete spectral solution" of Frame 4,
A "discovery connected to zeta",
A "physical interpretation" of the model,
A "mathematical closure" of Frame 4.
All of these were not established in this path. What was established are the specific \(L_F\) results above, within the stated assumptions and domain. This is the limit of the achievement.
Z.5 Structural Note: The Model on the Critical Line
Most of the results established in this path — correction of the root, classification of the endpoint, proof of the gap \(\lambda_0 > 0\), determination of the difference between \(L_F\) and \(L_N\) — are results of locating a critical line that separates two mathematically distinct behaviors. This is not a coincidence: the structure of the model (a function \(g\) with a single peak and vanishing at both endpoints, an operator with strong singularity at \(0^+\) and regularity at \(u_0\)) makes the critical line the subject, not merely a tool.
The open question that this appendix leaves behind: Is the central critical line in Frame 4 the boundary between \(L_F\) and \(L_N\)? And if so, what are the precise conditions that place the model on one side or the other of this boundary? This is a question for the next stage, not the current one.