Submitted:
26 May 2026
Posted:
27 May 2026
Read the latest preprint version here
Abstract
This paper presents an operator-theoretic proof of the Riemann Hypothesis. The proof is organized so as not to identify the zeros of the completed zeta function with eigenvalues at the outset. Instead, three independent pieces of data are built: an analytic operator setting on a weighted Hilbert space, a coefficient-space arithmetic trace that evaluates the Euler-product prime-power contribution, and singular-boundary data constructed inside the analytic Hilbert-space framework. These data are then placed in a common Hilbert space \(X = \mathcal{K}_R \oplus J_{\mathrm{arith}}\mathcal{H}_{\mathrm{arith}} \oplus \operatorname{Ran}\Pi_{\mathrm{res}}\), where the prime-power term is evaluated exactly on the arithmetic summand and the residual part is removed by passing to the canonical representative modulo \(\operatorname{Ran}\Pi_{\mathrm{res}}\). The remaining effective \(\mathcal{K}_R\)-projected component is thus represented as the \(\Pi_R\)-projection onto the singular-boundary subspace \(\mathcal{K}_R\). From this residual-free \(\mathcal{K}_R\)-component, a boundary-distribution comparison map is constructed. The functional equation for \(\xi\) induces a boundary reflection \(\Theta_R\), which descends to a bounded self-adjoint involution \(\mathcal{S}_R\) on \(\mathcal{K}_R\). The resulting signed boundary-distribution comparison kernel is realized, by Schatten-class smoothing estimates, as a self-adjoint Hilbert--Schmidt operator \(K=K^* \in \mathfrak{S}_2\). This construction uses the functional equation, the boundary-distribution framework, and the orthogonal projection structure; it does not assume the location of the zeros of \(\xi\), nor any positivity, Herglotz, or spectral localization statement equivalent to the Riemann Hypothesis. The operator \(K\) defines the regularized Fredholm determinant \(F_K(s) = e^{a_K+b_K(s-1/2)} \det_2(I+i(s-1/2)K)\), where the constants \(a_K, b_K\) fix only the value and first logarithmic derivative at \(s=1/2\). The comparison with the completed zeta function is carried out through a central Cauchy--Laplace regularization. The central comparison topology is fixed independently of the pairings \(\mu_L\) and \(\mu_\xi\). The finite-window counterterm is defined algebraically from central and endpoint finite jets before either pairing is evaluated, so the regularization does not encode the desired equality. Finite-window central cutoffs converge to the central kernel in this topology, and the two central pairings extend continuously to it. The finite-window residual-free equality therefore passes to the central limit and gives equality of the central logarithmic derivatives of \(F_K\) and \(\xi\). Together with the central normalization, this yields a local analytic equality, and the identity theorem gives \(F_K(s) \equiv \xi(s)\) on the whole complex plane. Finally, since \(K\) is self-adjoint, every zero of \(F_K\) arises from a nonzero eigenvalue \(\lambda_j\) of \(K\) and is therefore of the form \(s=1/2+i/\lambda_j\) for \(\lambda_j \in \mathbb{R}\setminus\{0\}\). The global identity \(F_K \equiv \xi\) therefore places every nontrivial zero of \(\xi\), and hence of \(\zeta\), on the critical line.
Keywords:
Riemann hypothesis
; Millennium problems
; Fredholm determinant
; operator theory
; analytic number theory
1. Introduction
1.1. Problem Setting and Outline of the Proof
The purpose of this paper is to prove operator-theoretically that all nontrivial zeros of the completed zeta function
lie on the critical line
The proof does not identify zeros with eigenvalues from the outset. Instead, it separates the prime-power contribution on the arithmetic side from the -component on a common Hilbert space. After passage to the canonical representative modulo , the residual component is removed, and the remaining -projected component is represented by its -projection in .
The structure of the proof consists of five stages:
This separation specifies which objects are constructed analytically, where the arithmetic trace evaluates the prime-power contribution, where the residual quotient is taken, where the self-adjoint Hilbert–Schmidt operator appears, and where the zero locations are finally determined. The analytic and arithmetic preparations in Section 2, Section 3, Section 4 and Section 5 are an essential part of the argument; Section 6 uses their output rather than replacing them by an independent determinant ansatz.
The central chain of the proof is as follows. From the residual-free comparison interface obtained in Section 5, Section 6 constructs the continuous comparison map
The functional equation induces a boundary reflection
which is defined before any use of zero-location information. Its compatibility with admissible boundary distributions and with the residual-free comparison interface allows it to descend to a bounded self-adjoint involution
This gives the signed boundary-distribution comparison kernel
The Hermitian symmetry of this kernel uses only and the Hilbert-space inner product. The Sobolev eigenvalue growth, boundary-trace smoothing, and boundedness of the comparison map then realize the kernel as a self-adjoint Hilbert–Schmidt operator
No positivity, Herglotz property, or zero-localization statement equivalent to the Riemann Hypothesis is assumed in this construction.
The regularized Fredholm determinant
is then formed from this K. The constants fix only the central value and the first logarithmic derivative; they do not prescribe the zeros of and do not encode the locations of the zeros of .
The comparison is obtained through a separate central Cauchy–Laplace argument. Section 6 first fixes the central kernel
the raw finite-window cutoffs, the central finite-jet map , the universal principal-part map , the principal-part embedding , and the central comparison topology on . The regularized finite-window input is defined before either pairing is evaluated by the algebraic subtraction
The common local-principal-part lemma shows that the same finite-jet counterterm removes the local singular principal part of the Archimedean, arithmetic-trace, and singular-boundary contributions. Its definition is independent of the values of and . Section 6 then proves the finite-window convergence
locally uniformly in w, and proves that the central pairings defined by and extend continuously to . Combining the finite-window residual-free equality with these two analytic facts gives
Separate transform lemmas identify the left-hand side with the central logarithmic derivative of , and the right-hand side with that of . Therefore
near . The central normalization gives local analytic equality, and the identity theorem gives
Since the nonzero eigenvalues of K are real, the zeros of are restricted to the form
The identity then gives the Riemann Hypothesis.
1.2. The Analytic Operator Setup and the Coefficient-Space Arithmetic Construction
Section 2 constructs the analytic operator setup. Starting from a weighted Hilbert space on the half-line, it introduces the quadratic form and its admissible core, and constructs the closed form and self-adjoint operator realization
It then obtains the compact embedding of the form domain, compact resolvent, purely discrete spectrum, and scalar Herglotz-type resolvent function
This section provides the analytic foundation and does not use the arithmetic trace, the residual quotient, or any conclusion about the locations of zeros.
Section 3 constructs the coefficient-space arithmetic data. In the formal Dirichlet algebra and its completed augmentation ideal, it defines the exact prime indicator, the exact von Mangoldt lift
the composite-cancellation operator, and the arithmetic derivation. The principal coefficient-extraction identity is
The section then Hilbertizes the coefficient layer and constructs the coefficient Hilbert space, the coefficient projectors, and the weighted diagonal arithmetic trace operator. This trace operator is the means by which the prime-power contribution is evaluated exactly on the arithmetic summand in Section 5.
1.3. Singular-Boundary Data and the Orthogonal-Decomposition Comparison Framework
Section 4 constructs the singular-boundary data inside the analytic Hilbert-space setup. Using the Gelfand triple
it separates point evaluations, distribution kernels, boundary traces, and boundary forms by type. It also constructs the boundary parameter space, the regular area measure, and the zero-area singular locus
and obtains
from the singular boundary trace and the regular boundary trace. These data define the -null and regular-trace-vanishing generating class and its closure. The section also constructs the Friedrichs-type realization, the singular-boundary transport group, the anti-self-adjoint generator, and the distribution-kernel representation. Its output is the one-sided singular-boundary subspace , the one-sided projection , and the boundary-distribution data needed for the analytic comparison in Section 6.
Section 5 places the coefficient-space arithmetic construction and the singular-boundary construction on a common ambient Hilbert space X. In this stage,
and the ambient projection is
The arithmetic summand is embedded by , and the orthogonal decomposition
is fixed. For localized comparison data from the finite-window explicit formula, the prime-power contribution is evaluated by the weighted diagonal arithmetic trace, while the residual component is removed by passing to the canonical representative modulo . The effective -projected component is therefore represented by
This -component is the input for the analytic determinant construction in Section 6.
1.4. Spectral Determinant Closure in Section 6
Section 6 turns the residual-free comparison interface into an analytic identity. The first part of the section constructs the comparison map from the boundary distribution data of Section 4 and the orthogonal-decomposition framework of Section 5. The boundary reflection induced by is shown to preserve admissibility and the residual-free comparison relation, and hence descends to the self-adjoint involution on . The resulting signed boundary-distribution comparison kernel is then realized, by Schatten estimates, as
From K, Section 6 defines the regularized determinant . The central comparison is not made by definition. Instead, the central Cauchy–Laplace kernel, the finite-window cutoffs, the counterterm, and the topology of are fixed first. The finite-window approximation lemma gives convergence of to , and the continuity theorem for the central pairings justifies passing the finite-window residual-free equality to the limit. This gives the central equality of pairings. The two central transform lemmas then convert this equality into equality of the logarithmic derivatives of and . The normalization at gives local analytic equality, and the identity theorem gives
The spectral localization now follows from the self-adjointness of K: the nonzero spectrum of K is real, and hence the zeros of lie on the critical line. Since , all nontrivial zeros of the completed zeta function lie on the critical line. The finite-window bridge, anchored defect staircase, and no-first-hit material later in Section 6 record this spectral conclusion in finite-window form; they are not used to prove the determinant identity .
2. Analytic Operator Setup
2.1. Weighted Hilbert Space and Boundary Geometry
In this section, we fix only the analytic Hilbert-space setup necessary for constructing the weighted self-adjoint generator and preparing its compactness theory. Accordingly, the role of this subsection is limited to specifying the weighted Hilbert space, the boundary notation, and the trace conventions used in the form constructions below. Here, we introduce no arithmetic projector, no comparison identity, and no zero-counting statement.
Definition 2.1
(Weighted Hilbert-space setup). Fix the parameters
Define the weighted measure on the positive half-line by
Let the one-sided weighted Hilbert space be
and give its inner product by
Let the doubled analytic Hilbert space be
and give its direct-sum inner product by
In what follows, we repeatedly use the unitary transport
Definition 2.2
(Boundary notation). Set
We identify
with the inner product associated with counting measure.
When each component of
is locally absolutely continuous in a neighborhood of , we write the boundary trace as
and, when the one-sided derivatives exist, we write the oriented normal-derivative trace as
For scalar functions on , if the endpoint limits below exist, we write the weighted boundary form as
Thus
This is the boundary term that appears when performing integration by parts with respect to the weighted measure .
Remark 2.3
(Scope of Section 2). The purpose of Section 2 is purely analytic. Namely, it fixes the weighted Hilbert space, constructs the closed quadratic form and its associated self-adjoint operator, and prepares the compactness argument through an explicit confining potential. No part of this section presupposes any arithmetic projector, any orthogonal decomposition of an entire trace space, or any conclusion theorem for the Riemann hypothesis.
2.2. Closed Quadratic Form and the Admissible Core
Here we introduce the first-order weighted differential operator and the raw quadratic form on a concrete admissible core. What is needed in this subsection is that the form domain of the closed form contain smooth elements with boundary values. For this reason, the admissible core is taken to consist of compactly supported functions that extend smoothly to the endpoint 0, and boundary cancellation itself is carried out later in the trace-vanishing singular-boundary subspace. This distinction prevents the singular boundary trace used in Section 4 from being trivialized.
Definition 2.4
(Quadratic form and admissible core).
On , define the first-order weighted differential operator
Equivalently,
holds.
Let be a locally bounded measurable function. Its concrete choice is fixed in Definition 2.7. In what follows, write
Define the raw quadratic form on by
and let its quadratic-form version be
Define its raw form norm by
Theorem 2.5
(Boundary formula on the admissible core and symmetry of the raw form). For any ,
holds. Here
In particular, on ,
On the other hand, the raw quadratic form
is symmetric on .
Proof.
Let . By definition,
Since are smooth up to the endpoint 0 and vanish for sufficiently large x, integration by parts is justified. Integrating the first term by parts gives
Substituting this into the preceding formula yields
If , then both vanish in a neighborhood of the endpoint 0, so the boundary term also vanishes.
Finally, the symmetry of follows from the fact that, for any linear operator ,
holds, and from the Hermitian property of the potential term. This conclusion does not require itself to be symmetric without boundary terms. □
Theorem 2.6
(Closedness, lower boundedness, and core density). Let D be the closure of in , and let
be the multiplication operator with maximal domain
Then the raw graph map
is closable. Furthermore, set
and write its closure again as
Then the following hold:
- 1.
-
The sesquilinear formis well-defined and closed on ;
- 2.
- This form is lower bounded:
- 3.
- is a form core for . Namely,
Proof.
We first begin with the operator D. By Definition 2.4,
holds. Here is the space of compactly supported functions smooth up to the endpoint. The graph closure of on in is the standard weak derivative operator
which is a closed operator. Since is unitary, the transported operator D is also a closed operator on .
Next consider the multiplication operator . Since is measurable and finite almost everywhere, multiplication by is a closed operator on . Indeed, suppose that
Passing to a subsequence if necessary, pointwise convergence almost everywhere holds:
Therefore
and hence
Thus is closed.
We now show that is closable. Assume that
Since and D is closed, the convergence
implies . Similarly, since is closed and
holds, we obtain . Therefore is closable.
Set , and define
By the graph-closure definition, is precisely the graph closure of with respect to the norm
For , define
Then
Since is a closed operator, its graph is complete. Therefore
is a Hilbert space. This is precisely the closedness of the form .
The lower bound follows immediately:
Finally, since is defined as the graph closure of with respect to the form norm, it also follows by definition that is a form core. Equivalently, for any , there exists a sequence
such that
Therefore
This proves all three assertions. □
2.3. Explicit Confining Potential
Here we fix the potential entering the quadratic form . The essential point of the choice in this subsection is not mere positivity. The potential must grow to sufficiently slowly, but explicitly, and must prevent -bounded mass from escaping to infinity. This tail control is precisely the global ingredient that will be needed later in the compactness argument.
Definition 2.7
(Explicit confining potential). For , define
Accordingly, set
Then is positive, measurable, locally bounded, and satisfies
In what follows, denotes the potential used in Definition 2.4 and Theorem 2.6.
Proposition 2.8
(Logarithmic growth of ). For every ,
holds. In particular,
Proof.
By definition,
Since
the monotonicity of the logarithm gives
On the other hand, since
monotonicity again gives
This proves the two-sided estimate. Dividing by and letting , we obtain
that is,
□
Theorem 2.9
(Escape prevention at infinity). Let be any family satisfying
where is a constant. Then, for every ,
Consequently,
In particular, every -bounded sequence in is globally tight and does not lose mass at infinity.
Proof.
Fix . Since is increasing on ,
holds. Therefore
The right-hand side is bounded by the potential part of :
By the assumption
we obtain in particular
Combining the three estimates above gives
Taking the supremum over , we get
Furthermore,
so the right-hand side converges to 0. Hence the family F is tight in , and no -bounded sequence escapes to infinity. □
At this point, the analytic framework is self-contained. Namely, the weighted Hilbert-space setup, admissible core, closed lower-bounded quadratic form , and explicit confining potential have all been fixed. The next step is to pass from this closed-form construction to the corresponding self-adjoint operator and then to combine the tail estimate of Theorem 2.9 with local compactness on bounded intervals.
2.4. Self-Adjoint Operator Associated with and Positive Shifted Operator L
We now pass from the closed and lower-bounded form to its operator realization. This construction is purely form-theoretic. Namely, the operator is obtained from the representation theorem for closed forms, and at this point we do not identify the operator domain with a formal differential representation. After fixing the self-adjoint operator associated with , we introduce the positive shifted operator
This will be used as the basic spectral object in the remainder of the analytic section.
Theorem 2.10
(Self-adjoint operator associated with ). There exists a unique self-adjoint and lower-bounded operator
associated with the closed form of Theorem 2.6. More precisely, for and , the following are equivalent:
and
Furthermore,
Proof.
By Theorem 2.6, the form
is densely defined, closed, and lower bounded on . Density follows from
and from the fact that is dense in .
Therefore, the first representation theorem for closed and lower-bounded sesquilinear forms applies. It yields a unique self-adjoint lower-bounded operator
such that
For such a u, the representing vector h is unique, and we define it to be .
This gives the stated equivalence
Finally, by Theorem 2.6,
Hence the lower bound in the representation theorem is 0, and therefore
Equivalently,
This completes the proof. □
Definition 2.11
(Positive shifted operator). On the same domain
define the positive shifted operator
Since ,
holds.
Proposition 2.12
(Form domain of ).
and for any ,
Proof.
Define the shifted form on by
Since is densely defined and closed, so is . Moreover, since ,
and hence is strictly positive.
Next, we identify the operator associated with . Let and . By Theorem 2.10,
Therefore
Thus the operator associated with the positive closed form is precisely L.
We now apply the second representation theorem for positive closed forms. This gives
and
Substituting the definition of , we obtain
as claimed. □
Corollary 2.13
(Resolvent bound for ). For every ,
Proof.
Since , the spectral theorem gives
Therefore
so is invertible and
□
2.5. Compact Resolvent and Discrete Spectrum
Here we connect the local regularity of the transported differential operator with the tail tightness given by Theorem 2.9. This yields a compact embedding from the form domain into the ambient Hilbert space, and hence compact resolvent for both and its positive shift L. After that, the spectral theorem yields a purely discrete positive spectrum.
Proposition 2.14
(Local compactness on bounded intervals). Let . If is bounded with respect to the form norm defined by
then the restricted family
is relatively compact in .
Proof.
Fix , and assume that there exists such that
Take , and set
Since is unitary,
Hence
Next, since D is the closure of , and since
the transported closed operator is the closure of on . In particular, if , then belongs to , and
holds. Therefore
From (2.5.1) and (2.5.2), it follows that
is bounded in . By Rellich’s compactness theorem, this family is relatively compact in .
We now return to the weighted space. On the bounded interval , the weight is bounded above and below by positive constants:
Therefore , restricted to this interval, is a bounded isomorphism between and . Furthermore, the potential is also bounded on , so the form norm introduces no new local singularity. Hence relative compactness in is equivalent to relative compactness in .
Accordingly,
is relatively compact in . □
Theorem 2.15
(Compact embedding of the form domain). The embedding
is compact.
Proof.
Let be bounded in the form norm:
for some . We must show that has a subsequence convergent in .
Fix . Applying Theorem 2.9 to the family
we obtain some such that
Thus each has a uniformly small tail beyond .
On the bounded interval , Proposition 2.14 implies that the restricted sequence is relatively compact in . Therefore, after passing to a subsequence and denoting it again by , we may assume that
is Cauchy in . Hence there exists N such that, for all ,
For the full-space norm, we estimate
Using
together with (2.5.3) and (2.5.4), we obtain, for ,
Therefore the chosen subsequence is Cauchy in , and hence converges in .
It follows that every form-bounded sequence in has a convergent subsequence in . This is precisely the compactness of the embedding
□
Theorem 2.16
(Compact resolvent and discrete spectrum). For every , the resolvent
is compact. In particular,
is compact.
Therefore L has purely discrete positive spectrum. Namely, there exist a strictly increasing sequence
and finite-rank orthogonal projectors
such that
holds in the strong operator topology. Equivalently, by choosing an orthonormal basis in each eigenspace , one obtains an orthonormal basis consisting of eigenvectors of L. In particular, if the eigenvalues are repeated according to multiplicity, then there exist
and an orthonormal basis of satisfying
The corresponding eigenvalues of are
Proof.
Fix , and define the shifted form on by
Since is closed and nonnegative, is a densely defined positive closed form on .
Its norm
is equivalent to the form norm . Indeed,
Therefore Theorem 2.15 implies that the embedding
is also compact.
Now take . The functional
is continuous on . Indeed,
Thus, by the Riesz representation theorem, there exists a unique element
such that
By Theorem 2.10, (2.5.6) is precisely the weak-form characterization of the resolvent equation
Hence
The map
is a bounded operator from to , and the inclusion map
is compact. Therefore
is compact on . In particular, taking , we obtain that
is compact.
Next, apply the spectral theorem to the compact self-adjoint positive operator . Then there exist a sequence of positive numbers
and finite-rank orthogonal projectors such that
holds strongly. Setting
we have
Multiplying the eigenvalue equation for by L, we obtain
Thus the spectrum of L is purely discrete, the eigenspaces are finite-dimensional, and there is no finite accumulation point.
Finally, choose an orthonormal basis in each eigenspace and concatenate them. This gives an orthonormal basis consisting of eigenvectors of L. Repeating the distinct eigenvalues according to multiplicity, there exist a sequence
and an orthonormal basis such that
Since , the corresponding eigenvalues of are
This completes the proof. □
2.6. Weighted Resolvent and Herglotz Resolvent Construction
Here we record the scalar-valued meromorphic/Herglotz resolvent construction associated with the positive self-adjoint operator L. The input is an arbitrarily fixed probe vector . The output is the scalar resolvent function
and its analytic behavior is directly controlled by the spectral theorem. This is the endpoint of the present analytic section.
Definition 2.17
(Resolvent probe and scalar Herglotz function). Fix a probe vector
For
define
Lemma 2.18
(Spectral expansion of the resolvent). Use and from Theorem 2.16. Then, for any and any ,
converges in . Furthermore, for any fixed ,
and this scalar series converges locally uniformly on compact subsets of .
Proof.
By Theorem 2.16,
strongly, and
holds. Therefore, for any ,
holds in , and on each spectral subspace ,
Hence
It remains to verify convergence in . Since ,
For partial sums with , we have
The vectors are mutually orthogonal, and moreover
Thus the right-hand side tends to 0 as . This proves norm convergence.
For the scalar function , taking the inner product with gives
Since is an orthogonal projector,
Therefore
Finally, let be compact, and set
Then, for any ,
But
so the Weierstrass M-test implies local uniform convergence on K. Thus the scalar expansion converges locally uniformly on compact subsets of . □
Theorem 2.19
(Herglotz positivity and pole law). For any fixed , the function
is holomorphic on . Furthermore, if
then
more precisely,
Finally, let be one of the discrete eigenvalues from Theorem 2.16. If
then
Equivalently, has a simple pole at , and its principal part is
If , then no singular term appears at .
Proof.
The map
is holomorphic as an -valued operator-valued map on the resolvent set . Therefore, taking the scalar product with the fixed vector , it follows that
is holomorphic on .
Next, take satisfying , and write
Since L is self-adjoint,
Using the resolvent identity, we obtain
and hence
Since ,
Therefore
and thus
Since , this implies
It remains to prove the pole law. Fix n, and choose such that
By Lemma 2.18,
If , then
and in particular the denominators remain uniformly away from 0. Hence the residual series
is holomorphic and bounded in a neighborhood of , by the same local uniform convergence argument used in Lemma 2.18. Therefore
If , this is a genuine simple pole with the displayed principal part. If , the singular term vanishes and only the bounded holomorphic residual term remains. □
Remark 2.20
(End of the analytic section). Section 2 ends here. At this point, we have constructed the operator-side analytic construction
together with the compact embedding of the form domain, compact resolvent, discrete spectrum, and the scalar-valued meromorphic/Herglotz resolvent function . In this section, we have used no arithmetic projector, no comparison theorem, and no conclusion statement for the Riemann hypothesis.
3. Coefficient-Space Arithmetic Construction
3.1. Formal Dirichlet Algebra and Coefficient-Extraction Conventions
In this subsection, we argue entirely on the coefficient layer. We use neither analytic continuation, nor a complex variable s, nor meromorphic functions. The sole purpose here is to fix the formal arithmetic algebra in which the coefficient-extraction statement will be formulated later.
Definition 3.1
(Formal Dirichlet algebra and augmentation ideal). Let
be the complex vector space of all arithmetic functions. Equip with Dirichlet convolution
Then is a commutative -algebra with unit
For and , write the coefficient-extraction operator at n as
Define the augmentation ideal by
Equivalently,
When necessary, one may write as a formal Dirichlet series
but here is merely a formal basis symbol indexed by n. At no point in §3.1–§3.2 do we substitute any value for s.
Lemma 3.2
(Coefficient and convolution laws). Let . Then, for any ,
More generally, for any integer ,
where denotes the k-fold Dirichlet convolution power of a.
If , then there exists a unique Dirichlet inverse
satisfying
Its coefficients are determined recursively by
and, for , by
In particular, the inverse is uniquely determined coefficientwise by the divisor recursion.
Proof.
The first identity is merely the definition of Dirichlet convolution rewritten in coefficient-extraction notation:
The k-fold formula is proved by induction on k. The case is immediate. Assume the identity holds for some . Then
By the induction hypothesis,
Substituting this into the preceding formula gives
Relabeling , this is exactly
and the induction is complete.
Next, we prove the existence and uniqueness of the Dirichlet inverse. Suppose that
satisfies
Looking at the coefficient , we obtain
and hence necessarily
For , the identity gives
Therefore
If , then , so the right-hand side depends only on coefficients with that have already been determined. Thus this recursion admits at most one inverse.
Conversely, define b recursively by
Tracing the same calculation in reverse yields
Thus
Since Dirichlet convolution is commutative,
also holds. Hence exists and is unique. □
Proposition 3.3
(Formal logarithm and exponential on the augmentation ideal). For , define formally
using the convention
Then the following hold:
- 1.
- Both series are coefficientwise well-defined;
- 2.
- 3.
- The two maps are inverse to each other:
Proof.
Let denote the total number of prime factors of n, counted with multiplicity.
First, we prove coefficientwise well-definedness. Take , and fix . By Lemma 3.2,
Since , we have . Therefore, if a nonzero term appears, it must satisfy
But an ordered factorization
can exist only when
Hence
Thus the formal series for the coefficient n of reduces to the finite sum
For , all terms vanish because for . Therefore is coefficientwise well-defined and belongs to .
The same argument applies to . For ,
so
is a finite sum. For , since for , only the term contributes. Thus
and hence
This proves (1) and (2).
It remains to prove the inverse-map identities. Fix , and set
Consider the finite-dimensional convolution algebra
with convolution restricted to the divisors of n:
Furthermore, set
By the factorization-count estimate already proved, every satisfies
Indeed, for any divisor , there is no factorization of m into more than integers all . Thus is a nilpotent ideal.
Consequently, in the finite-dimensional commutative algebra , the formal series
truncate to genuine finite polynomials on , and the usual formal identities hold exactly:
Apply this to the restrictions of a or b to . Since the coefficient n depends only on values on the divisors of n,
Since was arbitrary, the coefficients agree for all n, and therefore
Hence and are inverse to each other. □
Remark 3.4
(Formal–analytic separation discipline). In §3.1–§3.2, we use neither , nor , nor , nor the Euler product, nor analytic continuation, nor any discussion of poles or zeros on the complex plane. The reader may understand that also in the subsequent part of Section 3, the argument is carried out entirely on the coefficient layer of the formal Dirichlet algebra.
3.2. Prime Indicator and Von Mangoldt Function
Here we fix the basic arithmetic data that will later be input into the purely coefficient-level extraction theorem. At this stage, they are simply arithmetic functions on . One is supported on the prime support, and the other is supported on the prime-power support.
Definition 3.5
(Prime indicator and von Mangoldt function). Define the prime indicator
by
and define the von Mangoldt function
by
Thus can be nonzero only on primes, whereas can be nonzero only on prime powers.
Theorem 3.6
(Divisor-sum law for the von Mangoldt function). For every integer ,
holds. Equivalently, if
and
then
Therefore, if
is the Dirichlet inverse of , then
Proof.
First consider . Since 1 is not a prime power,
and hence
Next let , and write its prime factorization as
Here are distinct primes and . A divisor contributes to
if and only if d is a prime power dividing n. Such divisors are precisely
Therefore
On the other hand,
so
This proves the divisor-sum law for all .
The convolution formulation follows immediately:
Thus
Finally, since , Lemma 3.2 gives a unique Dirichlet inverse
Convolving both sides of
from the left by , and using associativity together with
we obtain
Hence
□
Proposition 3.7
(Support and positivity properties). For an arithmetic function , set
Then
and
Furthermore,
and moreover
Accordingly, the prime support of and the prime-power support of are distinct and must be distinguished in the later coefficient-level argument.
Proof.
By Definition 3.5,
holds if and only if n is prime, and it is 0 otherwise. Therefore
Similarly, by Definition 3.5,
holds if and only if for some prime p and integer , and it is 0 otherwise. Therefore
If n is not a prime power, then
On the other hand, if is a prime power, then
Every prime satisfies , so
Thus
and strict inequality holds exactly in the prime-power case. This proves all the asserted support and positivity properties. □
Corollary 3.8
(Coefficient-level recovery of the logarithm function). Define the arithmetic function
and define
Then
Equivalently, for every ,
Proof.
For any , Lemma 3.2 gives
Replacing by the divisor variable , we get
By Theorem 3.6,
Therefore
Since the coefficients agree for all n, it follows that, as arithmetic functions,
□
3.3. Completed Augmentation Ideal and Dirichlet-Logarithmic Linearization
We now pass from the augmentation ideal to its coefficientwise completed setting. The point remains purely formal, and no analytic layer is introduced. We extend and from §Section 3.1 to the completed coefficientwise topology, and use them to linearize the prime-local convolution factors. This converts the multiplicative overlap arising from the factorization of composite numbers into a linear sum of prime-power expansions.
Definition 3.9
(Completed augmentation ideal and coefficientwise topology). For , define the Dirichlet basis atom by
Thus , and any arithmetic function can be written formally as
Define the coefficientwise formal completion by
Equivalently,
Viewed as coefficient sets, and contain the same data. The hat notation indicates that, from this point onward, these are interpreted as formal infinite sums equipped with the coefficientwise product topology. Namely, a sequence converges to a if
Equivalently, the coordinate maps
are continuous, and they define the product topology.
The completed unit neighborhood is
Dirichlet convolution on extends coefficientwise to . Namely, for , define
This is well-defined because the divisor set of n is finite.
Definition 3.10
(Completed exponential map). Define
by the same coefficientwise formula as in Proposition 3.3:
where
Thus E is not a new exponential symbol, but the same formal exponential map interpreted in the completed coefficientwise setting.
Theorem 3.11
(Invertibility of the completed exponential map). The map
is bijective. Its inverse is the coefficientwise extension of the formal logarithm from §3.1; that is,
where
Equivalently,
and
hold.
Proof.
First, we verify that the displayed series are coefficientwise well-defined on the completed space.
Take , and fix . By Lemma 3.2,
Since , we have . Therefore, if a nonzero term appears, it must satisfy
Thus an ordered factorization contributing to can exist only when
where is the total number of prime factors of n, counted with multiplicity. Hence
Therefore, for the fixed coefficient n,
is a finite sum. Thus is coefficientwise well-defined.
The same argument applies to . If , then
so
is also a finite sum. Therefore is coefficientwise well-defined.
Next, we prove the inverse-map identities coefficientwise. Fix , and consider the finite divisor algebra
with the restricted Dirichlet convolution
Furthermore, set
As in the proof of Proposition 3.3, the ideal is nilpotent. Indeed, if , then
Therefore, in the finite-dimensional commutative algebra , the formal series and truncate to genuine finite polynomials, and the usual identities
hold exactly.
Now let and . Restrict them to . Since the coefficient depends only on values on the divisors of n, the finite-dimensional identities above imply
and
Since was arbitrary, the coefficients agree for all n. Therefore
and
Hence is bijective, and its inverse is precisely . □
Definition 3.12
(Dirichlet-logarithmic linearization operator). Define the Dirichlet-logarithmic linearization operator by
Its role is to remove the multiplicities of composite numbers built into multiplicative Dirichlet convolution through the logarithmic linearization of prime-local convolution factors.
Theorem 3.13
(Coefficientwise Euler-factor decomposition and log-linearization). Let
and for each prime p, define the local geometric factor
Then the following hold.
- 1.
-
The coefficientwise Euler-factor decompositionholds. Here the infinite convolution product is interpreted coefficientwise. Namely, for fixed n, the coefficient is the stable value of the finite product over any prime set containing all prime factors of n.
- 2.
-
again with all equalities understood coefficientwise.
Proof.
We divide the proof into three steps.
Step 1: Coefficientwise Euler-factor decomposition. For a finite set S of primes, define
Fix , and write its prime factorization as
Here are distinct primes and . The claim is
Indeed, each factor contributes only powers of p:
Therefore, a nonzero contribution to the coefficient of n in the finite convolution product occurs only when, for each prime dividing n, one selects exactly one atom from the factor , and for every other prime , one selects . By uniqueness of prime factorization, if all prime factors of n belong to S, there is exactly one such choice, and otherwise there is none. This proves (3.3.1).
Now set
If , then (3.3.1) gives
Therefore the coefficient stabilizes to 1 once S contains all prime factors of n. This is precisely the coefficientwise meaning of
Step 2: Local log-linearization of each Euler factor. Fix a prime p. Since
we have
But
so the right-hand side telescopes as desired:
Thus
Next we compute . Since , the finite-dimensional divisor-algebra argument used in the proof of Theorem 3.11 gives
Hence
Using the defining series for , we obtain
and therefore
Step 3: Global log-linearization of . Fix , and let be the finite set of all prime factors of n. By Step 1,
Restrict everything to the finite divisor algebra . In this finite-dimensional commutative algebra, logarithm and exponential are genuine finite polynomials on the nilpotent augmentation ideal. Therefore the usual commutative identity
holds. Taking the coefficient n, we get
If , then each term of is supported only on powers of p, so
Hence the sum can be extended to all primes:
Using (3.3.2), this becomes
Since this holds for every , the coefficientwise identity
follows. This completes the proof. □
Thus has already removed the multiplicative overlap carried by the Euler-type convolution product. After linearization, only prime-power atoms remain. The remaining task is purely arithmetic and coefficientwise: to act on this linearized output by the arithmetic derivation and recover the logarithm function .
3.4. Arithmetic Derivation and Formal Coefficient Extraction
Here we give logarithmic weights to the prime-power atoms generated by . Since the log-linearization of Theorem 3.13 has already separated the prime-power support, the arithmetic derivation recovers the von Mangoldt function without leaving the purely formal arithmetic layer.
Definition 3.14
(Arithmetic derivation). Define the arithmetic derivation
by
Equivalently,
Lemma 3.15
(Derivation law for Dirichlet convolution). For all ,
holds.
Proof.
Fix . By the definitions of and Dirichlet convolution,
Using
we obtain
The first sum is exactly
and the second sum is exactly
Therefore
Since the coefficients agree for all n, as arithmetic functions we have
□
Theorem 3.16
(Formal coefficient-extraction theorem).
Equivalently, for every ,
Proof.
By Theorem 3.13,
Applying coefficientwise gives
Fix , and compute the coefficient in three cases.
If , then 1 is not of the form with , so
By Definition 3.5,
If is a prime power with , then the only contributing term is the one corresponding to the pair . Therefore
Again by Definition 3.5,
If n is not a prime power, then no basis atom appearing in the above sum is supported at n. Therefore
By Definition 3.5,
Thus, in all cases,
Since this holds for every , we obtain
□
Corollary 3.17
(Prime-power output under Dirichlet-logarithmic linearization).
Equivalently, every integer that is not a prime power carries zero output:
Accordingly, the Dirichlet-logarithmic linearization means that the general composite-number overlap appearing in the multiplicative convolution product is converted into a prime-power-supported coefficient sum, and the surviving output is supported only on prime powers.
Proof.
By Theorem 3.16,
Therefore
By Proposition 3.7,
Hence
The coefficientwise restatement follows immediately. □
Remark 3.18
(End of the purely formal extraction layer). The purely formal extraction layer ends here. At this point, we have not yet introduced , , any diagonal arithmetic trace formula, any analytic resolvent construction, or any comparison interface. The objects obtained from §3.3–§3.4 are exactly
and nothing else. These are precisely the only arithmetic data needed for the next construction step.
3.5. Coefficient Hilbert Space and Weighted Diagonal Arithmetic Trace
The purely arithmetic extraction layer of §3.1–§3.4 is now complete. Accordingly, we now pass to the Hilbertized coefficient layer. Using the Dirichlet basis atoms as an orthonormal basis, we define the coefficient Hilbert space, its rank-one coordinate projection family , and the weighted diagonal arithmetic trace operator . No analytic Hilbert space, resolvent construction, or comparison interface enters here.
Definition 3.19
(Coefficient Hilbert space and coordinate projections). Using the Dirichlet basis atoms from Definition 3.9, define the coefficient Hilbert space by
Its inner product is given by
For
write the n-th coefficient with respect to the basis as
For each , define the coordinate projection
by
Thus is the rank-one orthogonal projection onto the n-th coefficient line inside the coefficient Hilbert space.
Lemma 3.20
(Coordinate-projection laws on the coefficient Hilbert space). The family satisfies
and
Furthermore, for every ,
converges in . Equivalently,
holds on in the strong operator topology.
Proof.
By the definition of , is the standard orthonormal basis of the -type coefficient space. In particular,
Let
Then
Applying once more gives
Since this holds for all u,
Next let
be elements of . Then
On the other hand,
Therefore
and hence
Now let . For any ,
Therefore
It remains to prove the strong decomposition of the identity. For , define the partial-sum operator
Then, for
we have
Therefore
and since is orthonormal,
Because , the series
converges, and hence its tail converges to 0. Thus
Accordingly,
holds in , equivalently
strongly. This proves that
holds in the strong operator topology. □
Remark 3.21
(Coefficient Hilbert space versus analytic Hilbert space). The family is defined, on its natural coefficient Hilbert space . It is a coordinate projection family on the Dirichlet-basis Hilbert space, not a projection family on the analytic Hilbert space of Section 2.
Definition 3.22
(Weighted diagonal arithmetic trace operator). Let
be a finitely supported weight. Define the weighted diagonal arithmetic trace operator by
This is a finite-rank diagonal operator on . Equivalently, for
we have
In the theorem below, this definition is extended from finitely supported weights to all by trace-norm completion.
Theorem 3.23
(Weighted diagonal arithmetic trace formula). The following hold.
(1)Let . For , define the finite-rank partial sum
Then is Cauchy with respect to the trace norm , and hence converges to a trace-class operator on . Write its limit as
Furthermore,
holds.
(2)Let be finitely supported, and understand pointwise products coefficientwise:
Then
Equivalently, using Theorem 3.16,
Proof.
We prove the two parts in order.
Step 1: Finite-rank partial sums and their traces. Fix . Since is a finite sum of rank-one operators, it has finite rank. On the basis ,
Thus is diagonal with respect to the arithmetic basis, and its diagonal entries are . Hence
Step 2: Trace-norm Cauchy property for . Let . Then
On basis vectors,
Therefore is a finite-rank diagonal operator, and its singular values are exactly
Equivalently,
Thus
Since , the right-hand side tends to 0 as . Hence is Cauchy in . The trace-class space is complete, so there exists a unique trace-class limit, which we write as
Furthermore, the trace is continuous with respect to the trace norm, and therefore
Using (3.5.1), we obtain
because the series is absolutely convergent. This proves (1).
Step 3: Specialization to the prime-power weighted trace. Now let be finitely supported. Then the pointwise product is also finitely supported, and hence belongs to . Applying (1) to
we get
By Definition 3.5,
when n is not a prime power, and
Therefore the sum in (3.5.3) reduces to
This proves
Finally, Theorem 3.16 states that
Multiplying both sides pointwise by , we obtain
Therefore, applying and then taking the trace gives
This proves (2). □
Corollary 3.24
(Prime-power trace specialization). Let be finitely supported. Then
Therefore
In particular, the weighted diagonal arithmetic trace here sees only the prime-power support and is not specialized to the prime support of .
Proof.
For any arithmetic functions ,
holds. Indeed, can be nonzero only where both factors are nonzero. Applying this to
we obtain
By Proposition 3.7,
Therefore
The trace identity follows immediately from Theorem 3.23:
The final sentence merely states the difference of supports already established in Definition 3.5 and Proposition 3.7. Namely, is supported on primes, whereas is supported on prime powers. □
3.6. Summary and Transition to Singular Boundary Data
Remark 3.25
(Summary of the arithmetic section). The coefficient-space arithmetic construction ends here. The arithmetic data constructed in this section are
At this point, the coefficient-extraction layer, coefficient Hilbert space, coordinate projection family, and weighted diagonal arithmetic trace operator have all been fixed on their natural defining space. These arithmetic data are combined with the singular-boundary data only in the orthogonal-decomposition framework of Section 5. Section 4 does not use these arithmetic objects; it independently constructs the singular-boundary input inside the analytic Hilbert-space setup of Section 2.
4. Operator-Theoretic Construction of Singular Boundary Data
4.0. Purpose and Logical Role of This Section
The purpose of this section is to construct, inside the analytic Hilbert-space setup of Section 2, the operator-theoretic boundary data used in the subsequent orthogonal-decomposition framework, rather than to add them as an external assumption. Specifically, in this section we construct the singular boundary data consisting of
and then successively define the associated trace-vanishing generating subspace, singular-boundary closed-form subspace, singular-boundary Hilbert space, orthogonal projection onto , transport generator, and distribution kernel.
This section is not a section that develops a zero-counting theory for closing the Riemann hypothesis. Nor is it a section that proves the orthogonality of the arithmetic construction and the boundary-data construction. Its role is exhausted by preparing, without type conflation and in an analytically closed form, the singular-boundary objects needed when constructing the orthogonal-decomposition framework in the next section.
Definition 4.1
(Operator-theoretic boundary data constructed in this section). Write the basic data constructed in this section as
Here each object is constructed with the following meaning.
- 1.
- is the boundary parameter space used to parametrize the singular boundary structure.
- 2.
- is a regular area-type measure on .
- 3.
- is the -null singular support, constructed as a closed set satisfying
- 4.
- is a linear subspace inside the form domain on which the singular/regular boundary trace is defined.
- 5.
- is the map that assigns to an element of the support of its singular boundary trace.
- 6.
- is a nonnegative functional measuring the regular boundary trace mass over E, for and a measurable set .
Remark 4.2
(Separation of -null property and nontriviality). The condition means that is null with respect to the regular area measure. Therefore, if the boundary trace on were treated merely as an ordinary function in , that component would become trivial. To avoid this conflation, this section distinguishes the regular area measure from the singular measure supported on . Namely, the -null property is described on the -side, whereas the nontriviality of the boundary trace is retained on the side of the singular trace or distributional boundary distribution introduced later.
Definition 4.3
(Analytic output of this section). Write the final analytic output of this section as
Here,
is the generating class satisfying the -null support and regular-trace vanishing conditions,
is its form-norm closure,
is the corresponding singular-boundary Hilbert space,
is the closed singular-boundary subspace on the one-sided analytic Hilbert space, and
is the one-sided orthogonal projection from onto that closed subspace. Moreover,
is the strongly continuous transport group on the singular-boundary subspace,
is its anti-self-adjoint generator,
is the associated transport kernel, formulated as a distribution kernel, and
denotes the positive shifted operator obtained from the closed quadratic form.
Convention 4.4
(Objects not used in this section). In this section, we do not use the following objects or propositions.
- 1.
- The arithmetic projector family .
- 2.
- The weighted diagonal arithmetic trace.
- 3.
- The von Mangoldt function in the formal Dirichlet algebra.
- 4.
- The zero-counting function.
- 5.
- The finite-window comparison theorem.
- 6.
- The cumulative defect sequence.
- 7.
- The exclusion of minimal-index obstruction.
- 8.
- Quoted finite-height verification for the low-height band.
Accordingly, the construction in this section depends neither on the arithmetic construction of Section 3 nor on the subsequent final deduction chain.
Remark 4.5
(Logical position of this section). Section 2 constructed the weighted Hilbert space, the closed quadratic form, the self-adjoint realization, compact resolvent, and the Herglotz-type resolvent function. This section does not reconstruct them. The role of this section is to cut out, on the analytic Hilbert-space setup of Section 2, the singular-boundary subspace satisfying the -null support condition and regular-trace vanishing condition, and to construct the projector and transport structure associated with that subspace.
Definition 4.6
(Transition principle). The output of this section is the only singular-boundary input for the orthogonal-decomposition framework in the next section. Namely, in the next section, after fixing
we place the analytic singular-boundary subspace and the arithmetic subspace on a common ambient Hilbert space. The arguments from the next section onward refer only to the data constructed internally in this section as the singular-boundary input, and introduce no additional boundary-data assumption outside this section. This transfer rule is called the transition principle in this paper.
Proposition 4.7
(Transition from this section to the next section). Once each construction in this section is complete, the next section may use the following objects as already constructed:
In particular, the one-sided projector used as singular-boundary input in the next section is not arbitrarily assumed; it is the orthogonal projection from onto the closed singular-boundary subspace constructed in this section. The ambient projector is defined only after this input is embedded into the ambient Hilbert space in Section 5.
Proof.
In the first half of this section, we construct the boundary parameter space, regular area measure, -null singular support, singular boundary trace, support map, and regular boundary trace-mass functional. This fixes
Next, from these data, we define the trace-vanishing generating subspace associated with , denoted by , and obtain
as its closure with respect to the form norm of the closed quadratic form constructed in Section 2. As its -closure, we construct
and obtain the corresponding self-adjoint operator by the representation theorem for closed forms.
Furthermore, we construct the strongly continuous transport group on the singular-boundary subspace and its anti-self-adjoint generator, and formulate the associated transport kernel as a distribution kernel. Finally, we obtain the closed one-sided singular-boundary subspace
Since the orthogonal projection onto a closed subspace exists uniquely by the projection theorem in Hilbert spaces, the one-sided projector
is fixed. The lift of these objects to the ambient Hilbert space is carried out in Section 5.
Accordingly, all the above objects are constructed inside this section, and the next section can receive as already constructed data. □
4.1. Basic Spaces, Gelfand Triple, and Type Separation
In this subsection, we fix the object level for constructing -null singular boundary data. In the subsequent argument, we handle point evaluations, boundary traces, singular measures, distribution kernels, quadratic forms, and operators simultaneously. If all of these are treated as elements of the same Hilbert space, then one obtains the unboundedness of point evaluations, a conflation of distribution kernels and bounded operators, and a conflation of quadratic forms and generators. Accordingly, in this subsection, we place at the center the one-sided analytic Hilbert space of Section 2,
and introduce a Gelfand triple by placing a test space and a distribution space around it. The standard background on rigged Hilbert spaces, nuclear spaces, and the distribution kernel theorem follows [1,2].
Definition 4.8
(Boundary test space). Let . Define the boundary test space by
where
Equip with the Fréchet topology determined by the seminorm family
Lemma 4.9
(Continuous dense embedding of the test space into the Hilbert space). The natural inclusion map
is continuous, and its image is dense in .
Proof.
We first prove continuity. For any , fix one . Then
Therefore
Since , the integral on the right-hand side is finite. Thus
so the inclusion map is continuous.
Next, we prove density. We have , and is dense in the weighted space . Indeed, for any , first approximate f in the -norm by
and then use standard smoothing and cutoff on the finite interval to approximate to arbitrary precision by elements of . Therefore the image of is dense in . □
Definition 4.10
(Anti-dual and Gelfand triple). Let be the space of all continuous antilinear functionals on , that is, the anti-dual. Write the duality pairing as
The Hilbert space is embedded anti-linearly continuously into by
where
Then
is called the Gelfand triple on the singular-boundary side in this section.
Lemma 4.11
(Continuity of the Gelfand triple). The embeddings
are all continuous, and is dense in .
Proof.
The continuity and density of the first embedding were proved in Lemma 4.9.
Next we prove the continuity of . For any and , the Cauchy–Schwarz inequality gives
By Lemma 4.9,
and therefore
Thus is a continuous antilinear functional on , and the map is continuous. □
Proposition 4.12
(Point evaluation is a distribution and not a bounded functional on the Hilbert space). For any ,
is an element of . On the other hand, is not in general defined as a bounded functional on . Accordingly, point evaluations and boundary point evaluations are treated not as elements of , but as elements of .
Proof.
We first prove . For any ,
Therefore is a continuous linear functional on , and is regarded as an element of according to the complex-conjugation convention.
Next, we show that is not a bounded functional on . For , take with , and for sufficiently large n, set
Then , and
On the other hand, the support is contained in an interval of length near a, and is bounded above and below on that interval, so
Therefore .
If were a bounded functional on , there would exist a constant such that
for all n. But the right-hand side converges to 0, a contradiction.
The case is similar. Take with , and set
Then
Therefore boundary point evaluation is also not a bounded functional on .
This proves that point evaluation is meaningful as an element of , but cannot be treated as a bounded functional on . □
Definition 4.13
(Distribution kernel). When the distribution kernel associated with is treated as a distribution kernel, its primary type is defined to be
Here denotes the completed projective tensor product. Namely, K is a continuous bilinear functional assigning
to a simple tensor
Since is a nuclear space, as will be verified later, this space may be identified, when necessary, with
However, this identification is a type identification through nuclearity, and does not automatically make a distribution kernel into a bounded operator on .
Lemma 4.14
(Scope of the kernel theorem). is a nuclear Fréchet space. Therefore, for any continuous bilinear form
there exists a unique distribution kernel
such that
Moreover, by nuclearity, when necessary one may identify
Likewise, any continuous linear map
is represented by a distribution kernel.
Proof.
is a Schwartz-type space on the half-line and is a nuclear Fréchet space obtained as a restriction space of the Schwartz space on the real line. Nuclearity is preserved under closed subspaces and quotient spaces, and hence is also nuclear.
By the Schwartz kernel theorem for nuclear Fréchet spaces, continuous bilinear forms on correspond uniquely to continuous linear functionals on . Therefore
exists and satisfies
Furthermore, since is nuclear, the standard kernel identification on the strong-dual side allows this kernel to be expressed as an element of . However, this last representation is a type representation of the distribution kernel, and by itself does not give an -bounded operator.
For a continuous map , define
This is a continuous bilinear form on . Accordingly, by the same kernel theorem, T is also represented by a distribution kernel. □
Remark 4.15
(Distinction between distribution kernels and bounded operators). A distribution kernel
does not, by itself, define a bounded operator on . For a distribution kernel to define a bounded operator, one must separately prove -boundedness such as
or its domain and closedness as a closed operator. Accordingly, in this paper we distinguish the distribution kernel K from the operator obtained as its realization.
Definition 4.16
(Object level of quadratic forms). When this section refers to a quadratic form, it means not an element of a Hilbert space or a distribution kernel, but the pair
Here is a dense linear subspace, and
is a sesquilinear form.
In particular, when referring to the closed quadratic form constructed in Section 2, we write its form domain as and the form itself as
At this level, is not an operator. Only after closedness, semiboundedness, and the representation theorem are established does one obtain the corresponding self-adjoint operator.
Definition 4.17
(Object level of generators). When this section refers to a generator, it means a closed operator on a Hilbert space or on the subsequent ambient Hilbert-space setting,
A generator must be specified together with its domain, closedness, symmetry or anti-self-adjointness, and the strongly continuous semigroup or group that it generates. Therefore, a form q, a distribution kernel K, or a boundary form b must not be identified with a generator without proof.
Definition 4.18
(Object level of boundary forms). A boundary bilinear form is treated as a sesquilinear form on a space where the boundary trace is defined. Namely, when a linear space T and a boundary trace map are given, the boundary form is defined in the form
or
A boundary form is an object of a different type from the interior energy form q, and is not itself an operator on .
Definition 4.19
(Type-separation convention for object levels). From this section onward, we distinguish the following types. Objects of different types are not identified until they are related through an explicitly stated realization map, closure operation, or representation theorem.
| Symbol | Type | Ambient space/object | Allowed basic operations |
| cycle | geometric or measure-theoretic cycle | support, pushforward, pullback | |
| or, after ambient embedding, | bounded projection | , with the underlying Hilbert space specified | action, composition, adjoint, orthogonal projection |
| kernel | duality pairing with test functions | ||
| quadratic form | form norm, closure, representation theorem | ||
| generator | closed operator, resolvent, semigroup/group generation | ||
| boundary form | boundary trace evaluation, boundary cancellation |
Convention 4.20
(Prohibition of notational conflation). This paper prohibits the following.
- 1.
- Identifying the geometric cycle directly with a Hilbert-space projector such as or .
- 2.
- Treating the distribution kernel as an operator on without a proof of boundedness or closed-operator status.
- 3.
- Identifying the quadratic form with the self-adjoint operator without passing through the representation theorem.
- 4.
- Identifying the boundary form with the interior energy form or the transport generator .
- 5.
- Treating point evaluation or a boundary trace as a bounded functional on .
Whenever such an identification is needed, the corresponding realization map, boundedness, closedness, or representation theorem is explicitly stated and proved.
Proposition 4.21
(Basic consequences of this subsection). This subsection has fixed the following three foundational points.
- 1.
- Distributional objects on the singular-boundary side are handled inside the Gelfand triple
- 2.
- Point evaluations and boundary point evaluations are not bounded functionals on , but are treated as elements of .
- 3.
- Distribution kernels, quadratic forms, generators, boundary forms, and projectors are objects of different types and are not identified until an explicitly stated construction has been carried out.
Proof.
The first item follows from Definition 4.10 and Lemma 4.11. The second item follows from Proposition 4.12. The third item follows from Definition 4.19 and Convention 4.20. □
4.2. Boundary Parameter Space and -Null Singular Support
In this subsection, we internally construct the measure-theoretic parameter space describing the boundary parameter structure. There are two points needed here. First, we construct a space
equipped with a regular area-type measure for measuring boundary contributions. Second, we introduce a singular measure that retains nontrivial boundary traces despite being null with respect to this regular area measure.
This two-layer structure is indispensable. Indeed, if a boundary trace is supported on a set satisfying
as an ordinary -function, then that trace is zero -almost everywhere. Therefore, the -null property is measured on the -side, whereas the nontrivial boundary trace is retained on the side of a measure singular with respect to , or of a distributional boundary distribution.
Definition 4.22
(Boundary parameter space and regular area measure). Let the closed unit square
be the boundary parameter space for the singular support construction. Standard facts concerning Radon measures, Borel regularity, and measure decomposition are used within the scope of [3]. Write its Borel -algebra as
Define the regular area measure on by
Here denotes two-dimensional Lebesgue measure on . Thus
Lemma 4.23
(Basic properties of the regular area space). is a finite regular Borel measure space on a compact metric space. Furthermore, is nonatomic.
Proof.
is a compact metric space with respect to the Euclidean metric. is its Borel -algebra, and is the restriction of Lebesgue measure to a compact set, hence is a finite regular Borel measure.
We show nonatomicity. For any point ,
Therefore has no atoms. □
Definition 4.24
(Cantor-type -null singular support). Define the middle-third Cantor set by
Define the -null singular support by
Lemma 4.25
(-null property). is a closed subset of and satisfies
Proof.
First, is closed. Indeed, is the compact set obtained by iteratively removing closed intervals; equivalently, it is the image of the continuous map
Here is compact in the product topology, so its continuous image is also compact and hence closed. Therefore
is also a closed subset of .
Next we compute the measure. The middle-third Cantor set has one-dimensional Lebesgue measure zero. Indeed, at step n, the total length of the remaining closed intervals is
and this converges to 0 as ; hence
By Fubini’s theorem or by monotonicity of product measure,
Therefore is a closed -null set. □
Definition 4.26
(Singular measure supported on ). Let denote the probability measure on obtained by pushing forward the Bernoulli probability measure
on by the map
That is,
Define the singular measure supported on on by
Lemma 4.27
(Support and singularity of the singular measure). is a finite regular Borel measure on , and satisfies
Furthermore,
Proof.
is a probability Borel measure on the compact space , and is the Dirac measure on . Therefore
is a probability Borel measure on , and in particular is finite and regular. Moreover,
The support of is . Indeed, any relatively open subset of contains a finite-digit cylinder set and hence has positive -measure, while the complement of has -measure zero by the defining property of the Cantor measure. Therefore the support formula for product measures gives
Finally we prove singularity. By Lemma 4.25,
On the other hand, from the support property just proved,
Thus is a -null set and at the same time a full-measure set for . This means
□
Definition 4.28
(Regular boundary channel and singular boundary channel). Let be the space of all finite complex Radon measures on . For any , write its Lebesgue decomposition as
We call the regular boundary channel and the singular boundary channel.
In particular, is a purely singular boundary channel, and its regular component is zero.
Definition 4.29
(Initial singular boundary trace). By Proposition 4.12, the boundary point evaluation
is an element of . Using this, define the initial singular boundary trace
by
Equivalently, for any ,
Lemma 4.30
(Continuity of the singular boundary trace). The map
is a continuous linear map from the Fréchet topology of to the total variation norm topology of . Furthermore,
holds for every .
Proof.
For any ,
On the other hand,
Therefore
and hence is continuous.
For the support, we have
and by Lemma 4.27,
Therefore, when , the support is , and when , the measure is the zero measure. In either case,
holds. □
Proposition 4.31
(The singular boundary trace is not a Hilbert boundary function). In general, cannot be represented as a function in . More precisely, if , then the measure is not absolutely continuous with respect to . Therefore there exists no satisfying
In particular, it also cannot be represented by a .
Proof.
Assume . Then
By Lemma 4.27,
and therefore is also singular with respect to .
If there existed some such that
then the left-hand side would be singular with respect to , whereas the right-hand side would be absolutely continuous with respect to . By uniqueness of the Lebesgue decomposition, for the two measures to coincide, both would have to be the zero measure. However,
which is a contradiction. Therefore no such g exists. □
Lemma 4.32
(Ordinary -traces on a -null set are trivial). If satisfies
then
Proof.
By assumption,
On the other hand, by Lemma 4.25,
Therefore the values of g on are ignored as an element of . Hence
Thus -almost everywhere. □
Definition 4.33
(Convention on -null singular support and singular retention). From now on, when we refer to a boundary trace supported on , this does not mean support as an ordinary function in
A boundary trace on is retained as one of the following singular or distributional objects:
On the other hand, is used only to measure regular boundary trace mass.
Theorem 4.34
(Internal construction of the boundary triple data). By the construction above,
is fixed as boundary triple data satisfying the following properties.
- 1.
- is a compact metric space.
- 2.
- is a finite regular Borel area measure on .
- 3.
- is a closed set and satisfies
- 4.
-
A nonzero singular probability measureis supported on , andholds.
- 5.
-
The initial singular boundary traceis continuous, and its values are always supported on .
Proof.
Items 1 and 2 follow from Definition 4.22 and Lemma 4.23. Item 3 follows from Definition 4.24 and Lemma 4.25. Item 4 follows from Definition 4.26 and Lemma 4.27. Item 5 follows from Definition 4.29 and Lemma 4.30. □
Lemma 4.35
(Separation of -null property and nontriviality). is null with respect to the regular area measure . However, the singular measure on is retained nontrivially as a singular measure or distribution. More precisely, the following hold.
- 1.
- 2.
- The only element of essentially supported on is the zero element.
- 3.
-
and is a nonzero singular measure.
- 4.
- If satisfies , thenis nonzero and its support is .
Therefore the -null property is a property on the -side, whereas the nontriviality of the boundary trace is retained as a property on the - or -side.
Proof.
Item 1 was proved in Lemma 4.25. Item 2 is Lemma 4.32. Item 3 follows from Lemma 4.27. For Item 4, if , then
and its total variation norm is
Therefore it is nonzero. Moreover, by Lemma 4.30, its support is contained in , and when , it has the same support as . Hence
Thus, although is null with respect to the area measure, it retains a nontrivial boundary trace on the side of singular measures and distributional boundary traces. □
Proposition 4.36
(Output of this subsection). This subsection has constructed the following objects:
Here
hold. Moreover, is a singular boundary trace defined on . In the subsequent subsections, we extend it to a singular boundary trace on the form domain and construct the support map and regular boundary trace-mass functional.
Proof.
The construction of each object follows respectively from Definition 4.22, Definition 4.24, Definition 4.26, and Definition 4.29. The displayed properties were proved in Lemma 4.25, Lemma 4.27, and Lemma 4.35. □
4.3. Traces, Support Maps, and Regular Trace-Mass Functionals
In this subsection, using the boundary triple data
and the singular measure constructed in the preceding subsection, we construct the boundary traces, support map, and regular boundary trace-mass functional on the form domain. Let denote the form domain constructed in Section 2, and write the corresponding form norm as
When necessary, if is lower bounded, this norm is interpreted after replacing it by an equivalent positive norm.
There are two types of boundary traces introduced in this subsection. One is the singular boundary trace supported on , and the other is the regular boundary trace absolutely continuous with respect to . The former is used to retain the nontriviality of the boundary trace, while the latter is used to measure regular boundary trace mass.
Definition 4.37
(Trace core). Write the common intersection of the form domain and the boundary test space as
Equip with the form norm induced from .
Remark 4.38.
is the class of smooth elements for which boundary traces can first be defined classically. The trace maps in this subsection are extended to a subspace of by closing the maps on this core with respect to the form norm.
Definition 4.39
(Singular boundary trace on the core). For , define
using the singular measure from the preceding subsection. Here denotes the space of all finite complex Radon measures on . Namely, for any ,
Definition 4.40
(Regular boundary trace on the core). Set
Since the construction in the preceding subsection gives ,
For , define the regular trace mass coefficient by
Then define the regular boundary trace on the core by
Remark 4.41
(Independence of regular trace and singular trace). is defined through the boundary-value-type singular measure . On the other hand, measures regular boundary trace mass absolutely continuous with respect to the regular area measure . Accordingly, even if
is nonzero, it is possible that
This separation allows one to handle simultaneously a nontrivial boundary trace on the -null singular support and vanishing regular-trace mass in the regular boundary-trace direction.
Definition 4.42
(Graph of the closed trace). A triple
is said to belong to the closed-trace graph if there exists a sequence
such that
and
and further
hold. Denote this set by
Definition 4.43
(Closed boundary trace space). We say that has a boundary trace if there exists an element
of , and if such a pair is uniquely determined. Define the set of all such f by
For , write the uniquely determined and g as
respectively.
Lemma 4.44
(Linearity of the closed boundary trace space). is a linear subspace of . Moreover,
are both linear maps.
Proof.
Let , and write
By definition, for each j there exists a sequence
such that
and
For arbitrary , set
Since is a linear space, we have . Moreover,
and by the linearity of the trace maps on the core,
hold. Therefore
Uniqueness is included in the definition of , so , and
Hence is a linear subspace, and the two trace maps are linear. □
Lemma 4.45
(Support of the singular trace). For any ,
holds.
Proof.
Let , and write
By definition, there exists a sequence such that
For each n,
and by Lemma 4.27,
Therefore
Let be an open set satisfying
For any ,
holds for every n. Using weak-star convergence, we get
Hence vanishes on . Therefore
That is,
□
Definition 4.46
(Singular support map). For , define its singular support by
If , set
Corollary 4.47
(-null property of singular support). For any ,
Therefore
Proof.
The first assertion is Lemma 4.45. The second follows from Lemma 4.25, namely from
□
Definition 4.48
(Regular trace-mass measure). For , define the finite positive measure
on by
Namely, for any ,
Definition 4.49
(Regular boundary trace-mass functional). For and , define the regular boundary trace-mass functional by
Equivalently,
Lemma 4.50
(Basic properties of the regular boundary trace-mass functional). For any , the map
is a finite positive measure on . Moreover, for any ,
holds. Furthermore,
Proof.
By definition,
Since ,
Therefore
is a finite positive measure.
For scalar multiplication,
and hence
The final equality follows immediately by setting . □
Lemma 4.51
(Vanishing criterion for regular trace mass). For , the following are equivalent.
- 1.
- 2.
- 3.
Proof.
By Lemma 4.25,
Therefore, for any ,
holds. Set
First suppose that (1) holds. By definition,
The preceding equality and imply
Therefore
so (2) holds.
The implication from (2) to (3) is immediate from the definition. The implication from (3) to (1) follows by monotonicity. Thus the three conditions are equivalent. □
Definition 4.52
(Trace-vanishing generating subspace associated with ). Define the trace-vanishing generating subspace associated with by
Proposition 4.53
(Equivalent representation of the generating class). can be written as
Then, for any ,
hold.
Proof.
For any ,
holds automatically by Corollary 4.47. Therefore, the substantive condition in the definition of is
By Lemma 4.51, this condition is equivalent to
The displayed representation follows.
Finally,
together with
implies
□
Lemma 4.54
(Separation of -null property and regular-trace vanishing property). For , the singular boundary trace
is supported on . On the other hand, the regular boundary trace satisfies
Therefore is the generating class that simultaneously realizes the singular boundary trace on the -null singular support and vanishing regular-trace mass in the regular boundary-trace direction.
Proof.
Let . By Definition 4.52,
By Definition 4.46,
so
is supported on .
Also by the definition of ,
Applying Lemma 4.51, we obtain
The claim follows. □
Remark 4.55
(Reason for avoiding interpretation as an ordinary boundary function). The boundary trace of is a singular boundary object described by , and is not described as an ordinary function in
Indeed, by Lemma 4.32, every -function essentially supported on is the zero element. Accordingly, the nontriviality in is retained on the side of or , while the regular-trace vanishing property is described as the vanishing of .
Proposition 4.56
(Output of this subsection). This subsection has constructed the following objects:
Here,
is the linear subspace on which the singular boundary trace and the regular boundary trace are simultaneously defined, and
Moreover,
is the nonnegative functional measuring regular boundary trace mass, and
is the trace-vanishing generating subspace associated with .
Proof.
, , and were constructed by Definition 4.43. was constructed by Definition 4.46. was constructed by Definition 4.49. Finally, was defined by Definition 4.52, and its meaning was verified in Lemma 4.54. □
4.4. Boundary Bilinear Form and Boundary-Cancellation Theorem
In this subsection, using the regular boundary trace
constructed in the preceding subsection, we define a regular boundary-trace bilinear form and prove that its boundary contribution vanishes on the trace-vanishing generating subspace associated with . What is important here is that the boundary form is a -area-type regular boundary form and does not directly integrate the singular boundary trace
This separation allows one to eliminate only the regular-area boundary term while retaining the nontrivial singular boundary trace on .
Definition 4.57
(Regular-area-type boundary coefficient). From now on, fix one function
We call this the regular boundary coefficient. If necessary, normalize it so that .
Definition 4.58
(Regular-area-type boundary bilinear form). For , define
We call this the -regular boundary-trace bilinear form.
Lemma 4.59
(Boundedness of the boundary form). For any ,
holds. In particular, is bounded with respect to the -norm of the regular boundary trace.
Proof.
By the Cauchy–Schwarz inequality,
This proves the claim. □
Remark 4.60
(The singular boundary trace does not enter ). The form is defined using only
Therefore, even if
exist as nontrivial singular measures or distributions on , they do not enter the area-type integral defining . When this paper refers to boundary cancellation, what is cancelled is the -regular-area boundary term, not the singular measure supported on itself.
Lemma 4.61
(Regular boundary contribution on a -null singular support). If satisfy
then
Proof.
By Lemma 4.25,
Moreover, by assumption, g and h are zero -almost everywhere on . Hence
On the other hand, since is a -null set,
Therefore, in total,
□
Lemma 4.62
(Vanishing of the regular trace by the regular-trace vanishing condition). For any ,
holds.
Proof.
Let . By Definition 4.52,
By Lemma 4.51, this is equivalent to
□
Theorem 4.63
(Boundary cancellation on the trace-vanishing generating subspace associated with ). For any ,
holds.
Proof.
By Lemma 4.62,
Therefore, by Definition 4.58,
What is used here is the vanishing of the regular boundary trace, not the vanishing of or . Thus, even if singular boundary traces remain nontrivially on , the -area-type boundary term vanishes. □
Corollary 4.64
(Boundary cancellation on the linear span). For any
one has
Proof.
Let . There exist finitely many elements and coefficients such that
Since is sesquilinear,
By Theorem 4.63, each term is zero. Therefore
□
Definition 4.65
(Singular-boundary form closure). Define the form-norm closure of the trace-vanishing generating subspace associated with by
We call this space the -null trace-vanishing form subspace.
Definition 4.66
(Regular boundary form on the closure). Let . Take arbitrary sequences in
Then define
Lemma 4.67
(Well-definedness of the boundary form on the closure). The right-hand side of Definition 4.66 does not depend on the choice of sequences, and
Thus is well-defined as the zero form on .
Proof.
For any approximating sequences
Corollary 4.64 gives
for all n. Therefore
This value clearly does not depend on the choice of approximating sequences. Hence is uniquely defined as the zero form on the closure. □
Theorem 4.68
(Extension of boundary cancellation to the form-norm closure). For any ,
Furthermore, if and the regular trace is defined for these elements in the closed-graph sense, then the original regular-trace-type boundary form also satisfies
Proof.
The first assertion is exactly Lemma 4.67.
We prove the second assertion. Let . By the definition of , there exists a sequence
such that
Since each belongs to , Lemma 4.62 and linearity imply
The regular trace being defined for u in the closed-graph sense means that if and
then
Here
so the left-hand side converges to 0 in the -norm. Therefore
Similarly,
follows. Hence, by Definition 4.58,
□
Remark 4.69
(Cancellation on the closure is not cancellation of the singular trace). The cancellation identity extended to ,
means the vanishing of the regular-trace-type boundary form. It does not mean that
vanishes. The singular boundary trace is an object on the - or -side and is not included in the -area-type boundary integral. Therefore the structure is preserved in which the singular information on the -null singular support is retained while only the regular boundary trace mass is removed.
Proposition 4.70
(Output of this subsection). This subsection has obtained the following objects and properties.
- 1.
-
The -regular boundary-trace bilinear formhas been defined.
- 2.
-
For any ,holds.
- 3.
-
On the form-norm closure of the trace-vanishing generating subspace associated with ,the zero extension of the boundary formis well-defined, andholds.
- 4.
- This boundary cancellation is the vanishing of the -regular-area boundary term, and does not mean the vanishing of the singular boundary trace on .
Proof.
Item 1 follows from Definition 4.58. Item 2 follows from Theorem 4.63. Item 3 follows from Definition 4.65, Definition 4.66, and Theorem 4.68. Item 4 follows from the entire construction of this subsection, in particular from the separation between the regular trace and the singular trace, and from the immediately preceding remark. □
4.5. Closure of the -Null Trace-Vanishing Form Subspace
In this subsection, we do not reconstruct the closed quadratic form
constructed in Section 2. Here, using the trace-vanishing generating subspace associated with
constructed up to the preceding subsection, we cut out, from the form domain of , the closed form subspace satisfying the -null -null support condition.
In Section 2, was constructed as a closed form bounded from below. From now on, if necessary, we take a sufficiently large constant and replace it by
so as to use a positive-definite form inner product. For simplicity, in this subsection we write the form norm after this positive shift as
Accordingly,
is a Hilbert space, and the inclusion map
is continuous.
Definition 4.71
(-null trace-vanishing form subspace). Define the form-norm closure of the trace-vanishing generating subspace associated with by
This space is called the -null trace-vanishing form subspace. Also,
is called the restriction form of to the -null singular-boundary part.
Remark 4.72
(Restriction operation performed in this subsection). is not a new form, but the restriction of , constructed in Section 2, to the closed subspace selected by the -null support and regular-trace vanishing conditions. Accordingly, in this subsection we do not reprove the self-adjoint realization or compactness of , but only treat the closedness of the form domain cut out by the -null condition and the preservation of boundary cancellation.
Lemma 4.73
(Linearity of the generating class). is a linear subspace of . Therefore
Proof.
By the equivalent representation obtained in the preceding subsection,
By Lemma 4.44, is a linear space, and
is a linear map. Therefore is a linear subspace of . Since , we have . Thus is a linear subspace of , and follows. □
Definition 4.74
(Nondegenerate trace core). Define the -null and blocking candidates on the core by
Here is the trace core, and and are the regular boundary trace and singular boundary trace defined on the core.
Lemma 4.75
(Existence of the nondegenerate trace core).
holds. More concretely, there exists
such that
Proof.
Take so that
For example, one may take a smooth cut-off that equals 1 near the endpoint and becomes 0 for sufficiently large x. By the definition of the admissible core in Section 2,
Moreover, all derivatives of are bounded with polynomial weights, and hence
Therefore
By the definition of the trace on the core,
By Lemma 4.27, , and therefore
On the other hand, the regular boundary trace is
Thus , and
follows. □
Lemma 4.76
(Sufficient condition for nontriviality). If
then
Furthermore, any gives a nonzero element of .
Proof.
Take . We have , and the trace on the core belongs to the closed-trace graph through the constant sequence
Therefore
By the definition of ,
and hence
By the equivalent representation from the preceding subsection,
we obtain
Furthermore,
and hence
If held as an element of , then by uniqueness of the continuously defined closed trace one would have to have
This is a contradiction. Therefore is a nonzero element of , and follows. □
Corollary 4.77
(Nontriviality of the trace-vanishing generating subspace associated with ).
Proof.
By Lemma 4.75, . Therefore Lemma 4.76 gives . Furthermore, , and since the form norm contains the -norm, a nonzero element remains nonzero also in . Thus and . □
Remark 4.78
(Positioning of nontriviality). By Lemma 4.75, the nondegenerate trace-core condition
is actually satisfied within the construction of this paper. Therefore Lemma 4.76 gives
The closure, continuous embedding, and extension of boundary cancellation below hold formally even in the zero-space case, but in this paper, by the above nondegeneracy, we deal with a nonzero -null singular-boundary subspace.
Lemma 4.79
(Minimality of the closure). is the smallest -closed linear subspace of containing :
Proof.
By definition,
By Lemma 4.73,
and hence
Thus is a closed linear subspace containing .
Conversely, if is a -closed linear subspace satisfying , then M also contains the closure of . That is,
Therefore the intersection representation above holds. □
Theorem 4.80
(Completeness of the -null trace-vanishing form subspace).
is a Hilbert space. In particular, is a -closed linear subspace of .
Proof.
By the analytic data of Section 2,
is a Hilbert space. By Definition 4.71,
and therefore is a closed linear subspace of . A closed linear subspace of a Hilbert space is again a Hilbert space with respect to the induced norm. Accordingly,
is complete. □
Proposition 4.81
(Continuous embedding into the Hilbert space). The inclusion map
is continuous. More concretely, for any ,
holds.
Proof.
We have , and is chosen as
Since this is the positively shifted form norm, the right-hand side is nonnegative, and in particular
holds. Therefore
Hence the inclusion map is continuous. □
Lemma 4.82
(Closedness of the restriction form). The restriction form
is a closed lower-bounded form on . Its form domain is .
Proof.
was constructed in Section 2 as a closed lower-bounded form. Therefore, with respect to the positively shifted form norm ,
is a Hilbert space. By Theorem 4.80,
is a closed subspace of this Hilbert space. Thus
is also a Hilbert space.
The restriction of a closed form to a closed subspace is a closed form. Indeed, if a sequence in is -Cauchy, then it is also Cauchy in . By completeness of , there exists some such that
Since is closed in ,
Therefore is complete with respect to the form norm of the restriction form, and is closed. Lower boundedness follows immediately because it is merely the restriction of the lower boundedness of . □
Definition 4.83
(Boundary form on the closure). Write the zero extension constructed in the preceding subsection as
Namely, for , take arbitrary approximating sequences
Then
Theorem 4.84
(Preservation of boundary cancellation under form closure). For any ,
holds. Therefore, the cancellation of the regular-area boundary term that held on the trace-vanishing generating subspace associated with is preserved on the entire form-norm closure .
Proof.
By definition, for any , one may take sequences
such that
By the boundary-cancellation theorem in the preceding subsection, for each n,
Therefore
Since this value does not depend on the choice of approximating sequences, is well-defined as the zero form on . □
Corollary 4.85
(Vanishing of the ordinary boundary form when a closed-graph trace exists). Let , and suppose that the regular trace for these elements is determined from approximating sequences in in the closed-graph sense. Then
Proof.
Let . By definition, there exists a sequence
such that
For every ,
By the closed-graph assumption, the regular trace corresponding to this limit must be
Similarly,
Therefore
□
Proposition 4.86
(Closure data of the -null singular-boundary part). The construction in this subsection gives the following.
- 1.
-
is a linear subspace of , and sinceholds within the present construction, .
- 2.
-
is a -closed linear subspace of , and is a Hilbert space.
- 3.
-
The inclusion mapis continuous.
- 4.
-
The restriction formis a closed lower-bounded form.
- 5.
- The regular-trace-type boundary form satisfies
Proof.
Item 1 follows from Lemma 4.73, Lemma 4.75, and Lemma 4.76. Item 2 follows from Theorem 4.80. Item 3 follows from Proposition 4.81. Item 4 follows from Lemma 4.82. Item 5 follows from Theorem 4.84. □
Remark 4.87
(Meaning for the next step). The space obtained in this subsection is the form domain satisfying the -null support and regular-trace vanishing conditions. On this space, the regular-trace-type boundary term vanishes. On the other hand, since the singular boundary trace remains on the - or -side, the boundary trace itself is not trivialized. In the next subsection, we apply the representation theorem to the closed lower-bounded form and construct the corresponding singular-boundary Hilbert space and self-adjoint realization.
4.6. Singular-Boundary Hilbert Space and Friedrichs Realization
In this subsection, from the -null trace-vanishing form subspace
constructed in the preceding subsection, we construct the corresponding Hilbert space
and by applying the first representation theorem to the restriction form
we obtain the self-adjoint operator
The operator obtained here does not redefine the global operator associated with constructed in Section 2. It is a partial Friedrichs-type realization corresponding to the closed form on the singular-boundary subspace cut out by the -null support and regular-trace vanishing conditions.
From now on, in this section, following the positive-shift convention of Section 4.5, we write as if has been normalized so that
In the lower-bounded case, this should be interpreted as replacing the form by an equivalent form obtained by adding a sufficiently large constant and then using the same notation .
Definition 4.88
(Singular-boundary Hilbert space). Define the -null singular-boundary Hilbert space by
Equip with the inner product induced from :
Lemma 4.89
(Closedness of the singular-boundary Hilbert space). is a closed linear subspace of . In particular, is a Hilbert space.
Proof.
By definition,
so it is a closed set obtained as a closure in . Moreover, since is a linear space, its -norm closure is also a linear space. Therefore is a closed linear subspace of . A closed linear subspace of a Hilbert space is again a Hilbert space, and the claim follows. □
Lemma 4.90
(Density of the form domain). is dense in . Namely,
Proof.
This is exactly the definition of . Indeed, is defined as the -norm closure of , and the norm of is induced from . Therefore is dense in . □
Proposition 4.91
(Continuous embedding from the form domain into the singular-boundary Hilbert space). The natural inclusion map
is continuous. More concretely, for any ,
holds.
Proof.
By Proposition 4.81 of the preceding subsection, for any ,
holds. Moreover, the norm of is the restriction of the norm of , and hence
The claim follows. □
Lemma 4.92
(Closedness and density of the restriction form). The form
is a densely defined closed nonnegative symmetric form on the Hilbert space . Its form domain is .
Proof.
First, density follows from Lemma 4.90.
Next we prove closedness. By Lemma 4.82 of the preceding subsection, is a closed lower-bounded form on , and
is a Hilbert space. In this subsection, by the positive-shift convention, we have
Therefore
is the form norm of . Thus is complete with respect to this form norm, and is a closed form on .
Symmetry is the restriction of the symmetry of constructed in Section 2, and nonnegativity follows from the positive-shift convention. Therefore is a densely defined closed nonnegative symmetric form on . □
Definition 4.93
(Closed-form Hilbert space). Let
denote the Hilbert space obtained by equipping with the inner product
Namely,
Lemma 4.94
(Continuous noncompact embedding from the form space to the base Hilbert space). The natural map
is continuous. At this level, compactness is not asserted.
Proof.
For any ,
Thus the inclusion map is continuous with norm at most 1. Compactness is an additional property of the embedding and will be treated in the later subsection on compact resolvent. □
Theorem 4.95
(Friedrichs realization of the -null restricted closed form). For the closed nonnegative symmetric form
there exists a unique nonnegative self-adjoint operator
on the Hilbert space satisfying the following.
and, defining
for such w, one has
for all
Proof.
By Lemma 4.92,
is a densely defined closed nonnegative symmetric form on the Hilbert space . Therefore the first representation theorem for closed lower-bounded forms, namely the Friedrichs-type representation theorem, applies. This theorem yields a unique nonnegative self-adjoint operator
and this operator represents the closed form .
More concretely, the first representation theorem characterizes the operator as follows. For , when the linear functional
is continuous with respect to the -norm, the Riesz representation theorem gives a unique
such that
The set of all such u is defined to be
and
The operator obtained by this construction is nonnegative and self-adjoint, and uniquely represents the closed form . Uniqueness also follows from the uniqueness part of the first representation theorem. □
Corollary 4.96
(Nonnegativity). For any ,
holds. Therefore
Proof.
In the representation formula of Theorem 4.95, set . Then
By the positive-shift convention, the right-hand side is nonnegative. Therefore is a nonnegative self-adjoint operator. □
Remark 4.97
(Distinction from the global operator). When the global operator associated with obtained in Section 2 is written as
the operator
of this subsection is not in general defined as a simple operator restriction of . is the operator obtained by restricting the closed form
to the -null restricted closed form domain
and then representing that restricted form on the base Hilbert space
Therefore, unless it is separately proved that
is an operator-theoretic reducing subspace for the global operator , we do not write
What is needed in this paper is not a simple restriction of the global operator, but
as the closed-form realization of the -null restricted closed form.
Definition 4.98
(Positive shifted operator). Define the -null positive shifted operator on by
Here is the identity operator on . Its domain is
Lemma 4.99
(Basic properties of the positive shifted operator). is a self-adjoint operator on , and
In particular,
and
Proof.
By Theorem 4.95, is self-adjoint. Adding the bounded self-adjoint operator to a self-adjoint operator gives
which is self-adjoint on the same domain.
Moreover, by Corollary 4.96,
Therefore
By the spectral theorem,
Hence , that is,
Furthermore,
□
Definition 4.100
(Energy inner product on the singular-boundary solution space). Define the energy inner product associated with by
Its domain is
and
holds.
Lemma 4.101
(Agreement of square-root domain and form domain).
and for any ,
holds.
Proof.
is the representing operator of the closed nonnegative form . By the square-root representation in the first representation theorem,
and its form is given by
By Definition 4.98,
and the claim follows. □
Proposition 4.102
(Propagation of nondegeneracy to the Hilbert space). If
then
In particular, if the condition
of Lemma 4.76 holds, then is a nonzero Hilbert space.
Proof.
Assume , and take a nonzero element . Since ,
Moreover, , and the form norm contains the -norm. Therefore g, being nonzero as an element of , is also nonzero as an element of . Thus its -closure,
is also nonzero.
The final assertion follows from Lemma 4.75 and Lemma 4.76. □
Proposition 4.103
(Output of this subsection). This subsection has constructed the following objects:
They satisfy the following properties.
- 1.
- is a closed Hilbert subspace of .
- 2.
- is dense in , and is a closed nonnegative symmetric form on .
- 3.
- is the unique nonnegative self-adjoint representing operator of .
- 4.
-
is self-adjoint, and
- 5.
- is not a redefinition of the global operator of Section 2, but a Friedrichs-type realization on the -null trace-vanishing form subspace.
Proof.
Item 1 follows from Lemma 4.89. Item 2 follows from Lemma 4.90 and Lemma 4.92. Item 3 follows from Theorem 4.95. Item 4 follows from Definition 4.98 and Lemma 4.99. Item 5 follows from the nature of the construction in this subsection, in particular from the fact that was constructed from the restriction form of to the closed subspace . □
Remark 4.104
(Transition to the next step). The objects obtained in this subsection,
are the operator-theoretic foundation on the singular-boundary subspace. In the next subsection, we introduce a strongly continuous transport group on this Hilbert space and construct its anti-self-adjoint generator by Stone’s theorem. After that, through the distribution kernel representation, we formulate the distribution kernel associated with as an object of .
4.7. Transport Group on , Anti-Self-Adjoint Generator, and Kernel Representation
In this subsection, we introduce the canonical strongly continuous unitary transport group on the -null singular-boundary Hilbert space
constructed in the preceding subsection, and obtain its anti-self-adjoint generator by Stone’s theorem. Furthermore, by evaluating this transport group on the dual side of the test space
we define the distribution kernel associated with not as an ordinary function kernel, but as an element of
What is important here is that the transport group and its generator are constructed internally within the -null singular-boundary subspace
Accordingly, the transport in this subsection is not an externally given geometric flow, but the canonical unitary transport obtained from the spectral calculus of the positive shifted operator
Definition 4.105
(Orthogonal projection onto ). By Lemma 4.89, is a closed linear subspace of . Therefore, there exists a unique orthogonal projection on
We call this projection the orthogonal projection onto on the one-sided analytic Hilbert space.
Remark 4.106
(Distinction from the subsequent integrated projector). is the local Hilbert projection from within the one-sided analytic Hilbert space onto . The unsuperscripted projection
used in the subsequent orthogonal-decomposition framework is the projector onto the singular-boundary subspace after it has been lifted to the ambient Hilbert-space setting, and its object space is different from that of the one-sided projector in this subsection. Accordingly, in this subsection denotes the one-sided projection, while without + is reserved for Section 5.
Definition 4.107
(Canonical transport group on ). By Lemma 4.99, the positive shifted operator
is a self-adjoint operator on . Therefore, by the spectral theorem, define
We call this the canonical transport group on on the -null singular-boundary subspace.
Theorem 4.108
(Strong continuity of the canonical transport group on ). The family
is a strongly continuous unitary group on . Namely,
hold, and for every ,
Proof.
Since is self-adjoint, the spectral theorem implies that
is a unitary operator for each . Moreover, from the multiplicative law of the function
we obtain
For the adjoint, we also have
We prove strong continuity. Let be the spectral measure of . For any ,
For each ,
and
The dominating measure on the right-hand side is the finite measure
Therefore, by the dominated convergence theorem,
Thus strong continuity holds. □
Definition 4.109
(Anti-self-adjoint transport generator). Define
Its domain is
Theorem 4.110
(Stone generator). is an anti-self-adjoint operator on , and
Furthermore,
and for every
one has
in the sense of the -strong limit. Conversely, any for which this strong limit exists belongs to .
Proof.
Since is self-adjoint,
Therefore
and is anti-self-adjoint.
Also, by definition,
By Stone’s theorem, the generator of the strongly continuous unitary group
is the anti-self-adjoint operator , and its domain consists of exactly those u for which the difference quotient
has a strong -limit. This limiting value is . The claim follows. □
Proposition 4.111
(Preservation of the -null singular-boundary subspace). For every ,
Furthermore, also for the form domain,
and
hold.
Proof.
The first assertion follows immediately from the fact that is defined as a unitary operator on .
Next, consider the form domain. By Lemma 4.101,
Since is a Borel function of , the spectral calculus gives
Therefore, if
then
Applying the same argument to gives the reverse inclusion, and hence
For norm preservation, preservation of the -norm follows from unitarity. Moreover,
The claim follows. □
Definition 4.112
(Extended transport group on the one-sided analytic Hilbert space). Define the operator on
Namely, it acts as on and as the identity operator on its orthogonal complement.
Lemma 4.113
(Properties of the extended transport group).
is a strongly continuous unitary group on , and satisfies
Proof.
Every decomposes uniquely as
Then
Since is unitary on and the operator is the identity on the orthogonal complement, is unitary on .
The group law follows from
Strong continuity follows from
and the strong continuity of .
Finally, since ,
and
Thus the displayed commutation relations hold. □
Definition 4.114
(Transport kernel family). For each , define the sesquilinear form on by
By the kernel theorem, write the corresponding distribution kernel as
Namely,
In particular,
is called the transport distribution kernel at the canonical time.
Lemma 4.115
(Distribution-kernel property of the transport kernel family). For any ,
is well-defined. Furthermore, for any , there exists a constant such that
for all .
Proof.
Since is a unitary operator on ,
By Lemma 4.9, for any ,
Therefore the displayed estimate follows.
This estimate implies that
is a continuous sesquilinear form. By the kernel theorem of Section 4.1, there exists a unique distribution kernel
□
Remark 4.116
(Not an ordinary function kernel). is not defined as a pointwise function
It is a distribution kernel assigning
to a pair of test functions
Therefore, in order to treat as an ordinary integral kernel, additional regularity, such as Hilbert–Schmidt property or representability of the Schwartz kernel by a function, must be proved separately. This paper assumes no such function-kernel representation.
Definition 4.117
(Difference-quotient kernel family). For , define the bounded operator
Let the corresponding sesquilinear form be
and write its distribution kernel as
Namely,
Lemma 4.118
(Existence of the difference-quotient kernel family). For each ,
is well-defined.
Proof.
is a bounded operator satisfying
Therefore, for ,
Thus is a continuous sesquilinear form on , and the kernel theorem gives a unique distribution kernel
□
Definition 4.119
(Weak distributional limit of the generator kernel). If the difference-quotient kernel family
has a limit as in the weak topology of
write this limit as
and call it the distribution kernel of the transport generator. Namely, is defined by this limit when, for all
one has
Theorem 4.120
(Sufficient condition for the weak distributional limit of the difference-quotient kernels). Assume the following condition:
where
is defined on
Assume furthermore that the map
is continuous. Then the difference-quotient kernel family has a limit in the weak topology of
and
holds for all .
Proof.
By assumption, for any ,
By Stone’s theorem, Theorem 4.110,
as a strong -limit, and hence as a weak -limit.
On the other hand,
Therefore
Hence for any ,
Finally, by assumption,
is continuous. Therefore
is a continuous sesquilinear form on . By the kernel theorem, there exists a distribution kernel
representing it. The pointwise limit representation shown above implies that
in the sense of weak distributional convergence. □
Definition 4.121
(Resolvent-type kernel family). For , let
be the resolvent on . Extend it to by
Write the distribution kernel corresponding to this bounded operator as
and define it by
Lemma 4.122
(Existence of the resolvent kernel). For each ,
is well-defined. Furthermore,
holds.
Proof.
is a bounded operator on , and
Therefore
Thus the corresponding bilinear form is continuous, and the kernel theorem gives a unique distribution kernel. □
Definition 4.123
(Fredholm-type regularized kernel). For , let
be a bounded operator on . Write the corresponding distribution kernel as
and define it by
Theorem 4.124
(Weak distributional limit of the Fredholm-type regularized kernel). As ,
holds in the strong operator topology on . Therefore the corresponding distribution kernels satisfy
in the sense of weak distributional limit. Here
is the distribution kernel defined by
Proof.
We first prove the strong operator limit. Decompose any as
Here , and . Then
By the spectral theorem, since ,
is a bounded operator on , and the spectral function
converges pointwise to 1 for each as , while its absolute value is bounded by 1. Therefore, by the dominated convergence theorem,
holds in the -norm. Thus
and the strong operator convergence follows.
Next, we prove weak convergence of the distribution kernels. For any , the strong convergence gives
Therefore
This means that
holds in the weak topology of . □
Proposition 4.125
(Output of this subsection). This subsection has constructed the following objects:
They satisfy the following properties.
- 1.
- is a strongly continuous unitary group on .
- 2.
- is the anti-self-adjoint generator, and
- 3.
- preserves the -null singular-boundary subspace and the form domain .
- 4.
- and are not ordinary function kernels, but distribution kernels defined as elements of
- 5.
- The limit of the difference-quotient kernels is not assumed to exist; it is separately defined as under a sufficient condition guaranteeing the weak distributional limit.
- 6.
-
The resolvent kernelexists as a distribution kernel for .
Proof.
Item 1 follows from Theorem 4.108. Item 2 follows from Theorem 4.110. Item 3 follows from Proposition 4.111. Item 4 follows from Definition 4.114 and Lemma 4.115. Item 5 follows from Definition 4.119 and Theorem 4.120. Item 6 follows from Definition 4.121 and Lemma 4.122. □
Remark 4.126
(Transition to the next step). The transport group, anti-self-adjoint generator, and distribution kernel representation obtained in this subsection show that the singular-boundary subspace is not merely a closed subspace, but has a conservative time evolution inside it. In the next subsection, we treat compactness of the resolvent of the positive shifted operator
and construct the spectral foundation needed for purely discrete spectrum and finite-window localization.
4.8. Compact Resolvent and Purely Discrete Spectrum
In this subsection, we show that the resolvent of the -null positive shifted operator on
is compact. The proof is carried out by restricting the compact embedding of the global form domain established in Section 2 to the -null trace-vanishing form subspace
Accordingly, in this subsection we introduce neither a new confining potential nor a new global operator. What is used is only the compactness from Section 2 and the closed-subspace structure constructed up to the preceding subsection.
Lemma 4.127
(Restriction of the global compact embedding). Consider the global compact embedding obtained in Section 2,
Then the natural inclusion map
is compact.
Proof.
Let be a bounded sequence in
That is, there exists such that
Since , this is also a bounded sequence in .
On the other hand, all belong to
By Lemma 4.89, is a closed subspace of . Therefore the -norm limit u also satisfies
Moreover, since the norm of is the restriction of the norm of ,
also holds. Thus extracts a convergent subsequence from every bounded sequence. Hence is compact. □
Remark 4.128
(Why compactness is preserved). What is used here is not merely the fact that a global compact operator has been restricted. The essential point is that
is a form-norm closed subspace of , and that
is a norm-closed subspace of . The fact that the limit obtained from the global compact embedding does not leave is guaranteed by the closedness of . Thus the compactness of Section 2 is correctly inherited by the -null singular-boundary subspace.
Lemma 4.129
(Variational representation of the inverse operator). For any
there exists a unique
such that
Furthermore,
and
holds.
Proof.
Consider the inner product on
By Lemma 4.92 and Definition 4.93,
is a Hilbert space.
For fixed , set
By the Cauchy–Schwarz inequality and
we have
Therefore is a bounded linear functional on .
By the Riesz representation theorem, there exists a unique
such that
for all . That is,
By the definition
and the first representation theorem, this equality is equivalent to
Therefore
Finally, the norm estimate in the Riesz representation gives
□
Theorem 4.130
(Compactness of the inverse operator).
is a compact operator.
Proof.
By Lemma 4.129,
factors as a bounded operator
Namely, setting
we have
On the other hand, by Lemma 4.127, the inclusion map
is compact. Therefore
is the composition of a bounded operator and a compact operator. Hence
is compact on . □
Theorem 4.131
(Compact resolvent). For any
the operator
is compact on . Therefore has compact resolvent.
Proof.
First, the case follows from Theorem 4.130, which shows that
is compact.
Now take arbitrary . By the spectral theorem, we can write
where
Since , the function
is a bounded Borel function on . Therefore
is a bounded operator on .
Since
is already compact, the composition with the bounded operator
is compact. Hence
is compact. □
Theorem 4.132
(Purely discrete spectrum). The spectrum of is purely discrete. That is, if , then there exist at most countably many eigenvalues
each eigenvalue has finite multiplicity, and there exists a complete orthonormal system of corresponding eigenvectors
in . Furthermore, if there are infinitely many eigenvalues, then
In the finite-dimensional case, the spectrum consists only of finitely many eigenvalues.
Proof.
By Lemma 4.99, is a self-adjoint operator, and by Theorem 4.131 it has compact resolvent. When a self-adjoint operator has compact resolvent, its spectrum consists of pure point spectrum, each eigenvalue has finite multiplicity, and no finite accumulation point occurs. Moreover, the corresponding eigenvectors form a complete orthonormal system of the Hilbert space.
Furthermore,
and hence
Therefore the eigenvalues can be arranged at or above 1. If there are infinitely many eigenvalues, since they cannot accumulate at any finite point, the only possible accumulation point is . Thus
follows. □
Definition 4.133
(Finite-window spectral projection). Let be the spectral measure of . For a bounded Borel set
write
We call this the finite-window spectral projection of the -null singular-boundary subspace. Also,
is called its finite-window spectral count.
Corollary 4.134
(Finiteness of finite-window counts). For any bounded Borel set
one has
In particular, for any
one has
Proof.
By Theorem 4.132, any bounded interval contains only finitely many eigenvalues, and each eigenvalue has finite multiplicity. Therefore the direct sum of eigenspaces belonging to the bounded Borel set I is finite-dimensional. Hence
□
Remark 4.135
(Transition to finite-window localization). By Corollary 4.134, on the -null singular-boundary subspace, the degrees of freedom contained in any bounded spectral window are finite-dimensional. Therefore the subsequent finite-window localization, finite-rank projection, and discrete counting comparison can be carried out on top of this spectral data. The finiteness obtained here is not a statement concerning zero counting; it is solely operator-theoretic finiteness following from the compact resolvent of the singular-boundary operator.
Definition 4.136
(Spectral resolvent measure on ). Fix . For the spectral measure of , define
This is a finite positive Borel measure on , and satisfies
Definition 4.137
(Herglotz-type resolvent function). For , define
We call this the -null Herglotz-type resolvent function on associated with .
Lemma 4.138
(Spectral representation). For any
one has
Furthermore, using the purely discrete spectral representation,
and this series converges absolutely for
Proof.
The first representation follows immediately from the spectral theorem. Indeed,
and therefore
The purely discrete spectral representation is obtained by using the complete orthonormal system from Theorem 4.132. Namely,
and
This gives the displayed series.
For absolute convergence, since
we have
□
Lemma 4.139
(Herglotz property). If , then
More precisely,
Therefore is a Herglotz-type function from the upper half-plane to the closure of the upper half-plane.
Proof.
By the spectral representation,
Write , . Then
Therefore
Integrating this gives
□
Proposition 4.140
(Output of this subsection). This subsection has constructed the following spectral data.
- 1.
-
The embeddingis compact.
- 2.
-
is a compact operator for every .
- 3.
- has purely discrete spectrum.
- 4.
-
The projection corresponding to a bounded spectral window,has finite rank.
- 5.
-
For any , the Herglotz-type resolvent functionis defined.
Proof.
Item 1 follows from Lemma 4.127. Item 2 follows from Theorem 4.131. Item 3 follows from Theorem 4.132. Item 4 follows from Corollary 4.134. Item 5 follows from Definition 4.137. □
4.9. Internal-Construction Theorem for the Operator-Theoretic Boundary Data
In this subsection, we collect the objects constructed in this section into a single operator-theoretic data. The purpose is to fix the singular-boundary input passed to the subsequent orthogonal-decomposition framework entirely as objects defined internally in this section.
The construction of this section proceeded in the following order. First, as the basic space on the singular-boundary side, we introduced
and separated the types of point evaluations, boundary traces, distribution kernels, quadratic forms, generators, and boundary forms. Next, we constructed the boundary parameter space, regular area measure, and -null singular support, and then separated the regular boundary channel from the singular boundary channel. After that, we took the subspace on which boundary traces are defined inside the form domain, and constructed the support map of the singular trace and the regular trace mass functional. Finally, from the trace-vanishing generating subspace associated with , we constructed the closed form subspace, Hilbert space, self-adjoint realization, transport group, distribution kernel, and compact resolvent.
Below, we formulate these collectively as the operator-theoretic boundary data.
Definition 4.141
(Internally constructed boundary input data). Write the boundary input data constructed in this section as
Each component is defined as follows.
| Symbol | Internal construction | Construction location |
| boundary parameter space | ||
| regular area measure | ||
| -null singular support | ||
| closed boundary trace space | ||
| distribution support of the singular boundary trace | ||
| regular boundary trace-mass functional |
Here is the middle-third Cantor set, and
Also, is the form domain constructed in Section 2.
Lemma 4.142
(Basic properties of the boundary input data). The boundary input data
satisfy the following.
- 1.
- is a compact metric space.
- 2.
- is a finite regular Borel area measure on .
- 3.
- is a closed set, and
- 4.
- A singular probability measureis supported on , andhold.
- 5.
- is a linear subspace, andare linear maps.
- 6.
- For any ,and therefore
- 7.
- For any , the mapis a finite positive measure on , and satisfies
Proof.
Items 1, 2, 3, and 4 follow from the construction of the boundary parameter space and the -null singular support. Item 5 follows from the linearity of , defined by the closed-trace graph, and from the linearity of the two boundary trace maps. Item 6 follows from the fact that the singular trace is always supported on , together with . Item 7 follows from the definition of the regular boundary trace-mass functional
□
Definition 4.143
(Internally constructed trace-vanishing generating subspace associated with ). Define the trace-vanishing generating subspace associated with by
Equivalently,
Lemma 4.144
(-null property and regular-trace vanishing property of the generating class). For any , the following hold.
- 1.
- The singular boundary trace is supported on the -null singular support:
- 2.
- Regular-trace mass in the regular boundary-trace direction vanishes:
- 3.
- Therefore,
Proof.
Item 1 follows from the definition of and from . Item 2 follows from the equivalent representation of ,
Item 3 is obtained by substituting Item 2 into
□
Definition 4.145
(Internally constructed closed quadratic form and Hilbert data). From the trace-vanishing generating subspace associated with , define
Furthermore, define
Write the restriction form as
Also, let its Friedrichs-type representing operator be
and define the positive shifted operator by
Lemma 4.146
(Basic properties of the form and Hilbert data). The objects defined above satisfy the following.
- 1.
- is a closed linear subspace ofandis a Hilbert space.
- 2.
- The inclusion mapis continuous.
- 3.
- is a closed linear subspace of .
- 4.
- is dense in .
- 5.
- is a densely defined closed lower-bounded form on .
- 6.
- is the unique self-adjoint representing operator of .
- 7.
- is self-adjoint, and
Proof.
Items 1 and 2 follow from the construction of the closure of the -null trace-vanishing form subspace. Items 3 and 4 follow from the definition of . Item 5 follows from the fact that the restriction of a closed form to a closed subspace is a closed form. Item 6 follows from the first representation theorem for closed lower-bounded forms. Item 7 follows from the definition
and from . □
Definition 4.147
(Internally constructed singular-boundary subspace). Define the singular-boundary subspace on the one-sided analytic Hilbert space by
Also, write the canonical kernel associated with its distribution kernel representation as
Here is the transport kernel family determined from the canonical transport group on
Remark 4.148
(Distinction between the subspace and the distribution kernel). The symbol denotes a closed subspace inside a Hilbert space. On the other hand,
is a distribution kernel belonging to
They are objects of different types and are not identified, in accordance with the type-separation convention.
Lemma 4.149
(Closedness of the singular-boundary subspace).
is a closed linear subspace of .
Proof.
This follows immediately from Lemma 4.89 and Definition 4.147. □
Lemma 4.150
(Transport and spectral structure on the singular-boundary subspace). The following structures exist on .
- 1.
- There exists a strongly continuous unitary group
- 2.
- Its anti-self-adjoint generatorexists, and
- 3.
- has compact resolvent.
- 4.
- has purely discrete spectrum, and the spectral projection on a bounded spectral window has finite rank.
Proof.
Items 1 and 2 follow from the construction of the transport group on and the Stone generator. Item 3 follows from the compact-resolvent theorem. Item 4 follows from the purely discrete spectrum theorem and the finiteness of finite-window counts. □
Theorem 4.151
(Internal construction of the operator-theoretic boundary data). By the construction of this section, the operator-theoretic boundary data
are internally fixed. These data satisfy the following properties.
- 1.
- is null with respect to the regular area measure:
- 2.
-
A nonzero singular measure supported onis supported on .
- 3.
-
The singular boundary traceand the regular boundary traceare defined on .
- 4.
- The support map is defined by
- 5.
- The regular boundary trace-mass functional is defined by
- 6.
-
The trace-vanishing generating subspace associated withis defined.
- 7.
-
is a closed form domain.
- 8.
-
is a Hilbert space, andis a closed subspace of .
- 9.
-
On , there exists the positive shifted operatorwhich is self-adjoint and has compact resolvent.
- 10.
-
On , there exist the conservative transport groupand the anti-self-adjoint generator
- 11.
- The distribution kernel associated with is not an ordinary function kernel, but is defined as the distribution kernel
Proof.
Items 1 and 2 follow from the construction of the boundary parameter space and the -null singular support. Items 3, 4, and 5 follow from the construction of traces, support maps, and regular boundary trace-mass functionals. Item 6 follows from Definition 4.143.
Item 7 follows from the definition
and from completeness of the -null trace-vanishing form subspace. Item 8 follows from the definition of and from the fact that it is a closed linear subspace of . Item 9 follows from the Friedrichs-type realization of , which gives
from the self-adjointness of its positive shift
and from the compact-resolvent theorem. Item 10 follows from the construction
by the spectral theorem and the construction
by Stone’s theorem. Item 11 follows from the distribution kernel representation of the transport kernel family.
Thus all displayed objects are defined internally in this section and satisfy the listed properties. □
Corollary 4.152
(Existence of the orthogonal projection onto ). is a closed linear subspace of . Therefore, by the projection theorem for Hilbert spaces, there exists a unique orthogonal projection
Namely,
Proof.
By Lemma 4.149,
is a closed linear subspace. By the projection theorem for Hilbert spaces, any
decomposes uniquely as
Defining
this is the orthogonal projection onto . By the general properties of orthogonal projections,
and its range is . Uniqueness is also included in the projection theorem. □
Definition 4.153
(Canonical one-sided projection onto ). The orthogonal projection
constructed on the one-sided analytic Hilbert space is called the canonical one-sided projection onto . The unsuperscripted symbol
is reserved for the ambient Hilbert-space projector defined in Section 5 after has been embedded into X.
Proposition 4.154
(Output of this subsection). This subsection fixes the singular-boundary input as the following internally constructed data:
These data include the -null property, regular-trace vanishing property, closed-form property, Hilbert closedness, self-adjoint realization, conservative transport, distribution kernel representation, compact resolvent, and existence of the orthogonal projection.
Proof.
The boundary data were constructed by Definition 4.141. The trace-vanishing generating subspace associated with was constructed by Definition 4.143. The form and Hilbert data were constructed by Definition 4.145. The singular-boundary subspace was constructed by Definition 4.147, and its closedness was proved by Lemma 4.149. The orthogonal projection exists by Corollary 4.152. The transport group, generator, distribution kernel, and compact resolvent are given by Lemma 4.150 and Theorem 4.151. Therefore the displayed data is fixed as internally constructed data. □
4.10. Fixing the Operator-Theoretic Boundary Data and Transition to the Next Section
In this subsection, we fix the singular-boundary objects constructed in this section as a single set of input data. In the next section, the data fixed here are received as the singular-boundary input and integrated with the arithmetic construction of Section 3 on a common ambient Hilbert space. Accordingly, the role of this subsection is not to add a new analytic construction, but to record the output of this section and fix the types and dependencies of the objects referred to in the next section.
Definition 4.155
(Operator-theoretic boundary data). Define the singular-boundary input data constructed in this section by
Here each component has the following meaning.
- 1.
- is the boundary triple data equipped with a regular area measure and a -null singular support.
- 2.
- is a linear subspace inside the form domain on which the singular boundary trace and the regular boundary trace are defined.
- 3.
- is the support map assigning the distribution support of the singular boundary trace.
- 4.
- is the regular boundary trace-mass functional with respect to the regular area measure .
- 5.
- is the generating class satisfying the -null property and the regular-trace vanishing condition simultaneously.
- 6.
- is the -form-norm closure of .
- 7.
- is the -closure of .
- 8.
- is the closed singular-boundary subspace inside the one-sided analytic Hilbert space.
- 9.
- is the orthogonal projection from onto .
- 10.
- is the positive shifted self-adjoint operator obtained from the Friedrichs-type realization of the -null restricted closed form.
- 11.
- is the strongly continuous unitary transport group on .
- 12.
- is the anti-self-adjoint generator of .
- 13.
- is the distribution kernel representation of the transport distribution kernel.
Proposition 4.156
(Internal definiteness of the data). Each component of is determined by the analytic Hilbert-space setup of Section 2 and the construction of this section. In particular, the following hold.
- 1.
- 2.
- For any ,
- 3.
-
is a closed form subspace of , andis a closed lower-bounded form on .
- 4.
-
is the unique self-adjoint representing operator of , andis self-adjoint and positive.
- 5.
- has compact resolvent and purely discrete spectrum.
- 6.
-
is a closed subspace of , and thereforeexists uniquely.
Proof.
Item 1 follows from the construction of the boundary parameter space and the -null singular support. Item 2 follows from the definition of the trace-vanishing generating subspace associated with and the vanishing criterion for the regular boundary trace-mass functional. Item 3 follows from the construction of the closure of the -null trace-vanishing form subspace. Item 4 follows from the first representation theorem for closed lower-bounded forms and the definition of the positive shifted operator. Item 5 follows from the compact embedding from the form domain into the Hilbert space and the compact-resolvent theorem. Item 6 follows from the fact that is a closed subspace of , and from the projection theorem for Hilbert spaces. Accordingly, all components of are fixed internally in this section. □
Definition 4.157
(Fixing as the singular-boundary input). To fix the singular-boundary input from the next section onward means to fix the data
of Definition 4.155. Namely, the orthogonal-decomposition framework in the next section receives, from the singular-boundary side, only
Proposition 4.158
(Transition to the next section). In the next section, is fixed as the already constructed singular-boundary input and is placed, together with the arithmetic-side data constructed in Section 3, on an ambient Hilbert space. In this transition, the information passed from the singular-boundary side to the next section is limited to what is contained in
In particular, the singular-boundary subspace and orthogonal projection onto used in the next section are obtained by lifting
constructed in this section to the ambient Hilbert-space setting.
Proof.
By Definition 4.157, the singular-boundary input fixed in the next section is
Moreover, by Proposition 4.156, each component of has already been constructed in this section.
In the orthogonal-decomposition framework of the next section, and are first lifted through the analytic embedding into the ambient Hilbert space. The isometric image of the closed subspace is closed, so the orthogonal projection onto that image exists. This lifted projection is denoted by in Section 5 and acts on X, not on . Therefore, the singular-boundary subspace and projector required in the next section are derived from the one-sided objects and of this section. It follows that the transition on the singular-boundary side is completed by . □
Remark 4.159
(Separation of dependencies). The construction in this section is based on the analytic Hilbert-space setup of Section 2 and the measure-theoretic and operator-theoretic constructions inside this section. The arithmetic projector family, arithmetic trace, and subsequent zero-counting machinery of Section 3 are integrated only from the next section onward. Therefore this section is the section that constructs the singular-boundary input, and it is not a section that proves orthogonality with the arithmetic side or closure of finite-window counting.
Convention 4.160
(Meaning of fixing at the beginning of the next section). When the beginning of the next section says that “the auxiliary operator-theoretic boundary data is fixed,” this does not mean assuming externally and arbitrarily given unconstructed data. It means fixing the singular boundary data
constructed by Theorem 4.151 of this section. From now on, the singular-boundary input is used in this sense.
Proposition 4.161
(Completion of Section 4). This section fixes all singular-boundary data, form data, Hilbert-space data, projection data, transport data, distribution-kernel data, and spectral data required in the next section as
Proof.
The boundary data have been fixed as
The form data have been fixed as
The Hilbert-space data have been fixed as
The projection data have been fixed as
The transport data have been fixed as
The distribution-kernel data have been fixed as
The spectral data have been fixed as
together with its compact resolvent, purely discrete spectrum, and finite-window spectral projections. Therefore all singular-boundary objects required in the next section are contained in
□
Preparation for the analytic comparison to Section 6.
The type separation on the singular-boundary side constructed in this section is the foundation for the analytic comparison used in Section 6. In that comparison, distributional objects on the singular-boundary side are handled inside a Gelfand triple
and point evaluations and singular boundary traces are treated not as ordinary bounded functionals on , but as distributional boundary distributions belonging to . Furthermore, the distribution kernels, quadratic forms, generators, boundary forms, and projectors distinguished in this section are preparation for defining the tempered distribution pairings and -approximations appearing in Section 6,
In particular, the boundary-distribution comparison kernel K introduced later and its finite-rank cutoffs are interpreted within the framework of distribution kernels, projectors, and compactness established up to this section. This comparison is not a new assumption, but a notational bridge for using the operator-theoretic objects already constructed from Section 2 through 5 in the distributional evaluations, central regularization, and -approximations of Section 6.
5. Orthogonal-Decomposition Spectral Comparison Framework
5.1. Embedding the Constructed Singular-Boundary Subspace into the Ambient Hilbert Space
Section 2 fixed the analytic Hilbert-space data
and Section 3 fixed the coefficient-space arithmetic construction
Section 4 constructed, independently of these, the singular-boundary input data
operator-theoretically. In this section, we lift this constructed input to the ambient Hilbert space and place it on the same orthogonal-decomposition stage as the coefficient-space arithmetic construction of Section 3.
What is done in this subsection is not a reconstruction of the operator-theoretic singular-boundary data. Namely,
is fixed as data already constructed in Section 4. In this subsection, among its outputs,
are lifted to the ambient stage X, and the singular-boundary projector used below is defined.
Definition 5.1
(Ambient Hilbert space and canonical embeddings). Define the ambient Hilbert space for the orthogonal-decomposition comparison by
Its inner product is given by
Write its norm as
Define the canonical embeddings
and
Then
and
At this stage, no further operator on X is introduced.
Definition 5.2
(Fixing and lifting the constructed singular-boundary input). Fix the singular-boundary input data
constructed in Section 4. Among its components, write the closed one-sided singular-boundary subspace as
Define the singular-boundary component on the ambient stage by
Also, let
be the orthogonal projection on the one-sided analytic stage constructed in Section 4. Define the singular-boundary projector on the ambient stage by
Convention 5.3
(One-sided and ambient singular-boundary notation). In this section and in Section 6, denotes the one-sided closed subspace constructed in Section 4, while
denotes its ambient image. Likewise, denotes the one-sided projector on , whereas
denotes the ambient projector on X. Thus every occurrence of from this point onward is an X-operator, while is reserved for the one-sided analytic stage.
Lemma 5.4
(Closedness of the lifted singular-boundary component). is a closed linear subspace of X, and
Proof.
By Section 4, is a closed linear subspace of . The map is an isometric isomorphism from onto . Therefore the image of the closed set ,
is closed in . Furthermore, is a closed subspace of X, so
is closed in X. The inclusion
follows immediately from the definition. □
Theorem 5.5
(Singular-boundary projector on the ambient stage). The operator
is an orthogonal projector on X, and satisfies
Equivalently, every has a unique orthogonal decomposition
and
Proof.
First we show that is a projection. For the canonical embedding,
Therefore
Also,
Thus is a self-adjoint projector.
Next we identify its range. For any ,
so
Therefore
Conversely, any can be written as
Then , and hence
Thus
Therefore
The kernel of a self-adjoint projector is the orthogonal complement of its range, so
The final orthogonal decomposition follows from the projection theorem for Hilbert spaces. □
Remark 5.6
(Status of the constructed input). The -side input used in this section is
constructed in Section 4. The role of this section is to lift these constructed data to the ambient Hilbert space X and place them on the same ambient stage as the coefficient-space arithmetic construction of Section 3. Therefore, this section does not reconstruct the operator-theoretic singular-boundary data.
Theorem 5.7
(Lifting boundary cancellation to the ambient stage). For the zero extension of the boundary form constructed in Section 4,
one has
for any
Therefore, for the lifts
on the ambient stage,
holds.
Proof.
By the boundary cancellation theorem of Section 4,
Since is an isometric embedding and , we have
The boundary form on the ambient stage is defined by
so immediately
□
Remark 5.8
(Boundary cancellation convention below). Unless otherwise stated, every use of boundary cancellation for the -component is interpreted as a statement on
Namely, the -null support and regular-trace vanishing conditions constructed in Section 4 first cut out the analytic form subspace
and give the zero extension of the boundary form on it,
This section only lifts that cancellation identity to the ambient stage, and imposes no new assumption on the boundary data.
5.2. Lifting the Transport Block to the Ambient Stage
Next, we lift the singular-boundary transport group constructed in Section 4 to the ambient stage. On the one-sided analytic stage, the operators
have already been constructed on . In this subsection, we do not reintroduce them arbitrarily; rather, through the canonical embedding , we transfer them to
and further extend them unitarily to all of X.
Definition 5.9
(Singular-boundary transport group on the ambient stage). Using the constructed transport group on , define the operator on by
Furthermore, define its extension to all of X by
Lemma 5.10
(Strongly continuous unitarity of the lifted transport group). is a strongly continuous unitary group on . Moreover,
is a strongly continuous unitary group on X, and satisfies
Proof.
First we verify that is well-defined. The map is an isometric isomorphism from onto , and its restriction is an isometric isomorphism from onto . Therefore
Since was constructed in Section 4 as a strongly continuous unitary group on , its isometric conjugate is also a strongly continuous unitary group on .
Next consider the extension to X. Every decomposes uniquely as
Then
Since is unitary on and acts as the identity on , is unitary on X. The group law follows immediately from the same decomposition.
For strong continuity,
and the right-hand side converges to 0 as by strong continuity of . Finally, the commutation relation follows immediately from
and the decomposition above. □
Definition 5.11
(Transport generator on the ambient stage). Define the transport generator on the ambient stage by
Its domain is
and define
where
Theorem 5.12
(Transport block and conservativity). The operator is anti-self-adjoint on X, and
Moreover,
and
holds on . Equivalently,
Finally,
and
Proof.
On ,
and its generator is
Since Section 4 proved , this isometric conjugate is also anti-self-adjoint on . On the other hand, on , the transport is the identity group and its generator is the zero operator. Therefore, the direct-sum generator with respect to the orthogonal direct sum
is
and it is anti-self-adjoint and satisfies
Next we verify the support relation. Write , where
Then
Therefore
and
Moreover, , so
Hence
holds on the domain.
Norm preservation follows from the unitarity of Lemma 5.10. Finally, anti-self-adjointness gives
Therefore this number is purely imaginary, and
□
Remark 5.13
(Treatment of the boundary-distribution comparison kernel). Section 4 constructed the singular-boundary distribution kernel
as a distribution kernel. This section does not reinterpret this kernel as an ordinary function kernel. What is used on the ambient stage is the constructed transport group , the generator , and their lifts. Therefore, statements concerning the boundary-distribution comparison kernel are to be interpreted within the scope of the distribution-kernel representation of Section 4.
5.3. Orthogonality of the Arithmetic Summand and the Singular-Boundary Component
We now import the arithmetic projector family from its canonical home in Section 3 and lift it to the ambient stage X. The sole purpose of this subsection is to show that these lifted arithmetic projectors are completely orthogonal to the singular-boundary projector lifted to the ambient stage in §Section 5.1. No zero-counting proposition, comparison theorem, or argument toward the conclusion is used here.
Definition 5.14
(Lifted arithmetic projectors on the ambient stage). For each , define the lifted arithmetic projector on X by
More generally, when
has finite support or belongs to , define
Here and still retain their canonical home on the coefficient Hilbert space of Section 3, and in the orthogonal-decomposition comparison, only their lifts to the ambient space,
are used.
Furthermore,
hold.
Theorem 5.15
(Orthogonality of the arithmetic projectors and the singular-boundary projector). For every ,
hold, and if , then
Furthermore,
holds.
More generally, if ϕ has finite support or belongs to , then
Proof.
First record the basic relations for the canonical embedding
By Definition 5.1, for ,
Thus its adjoint is projection onto the arithmetic component, and
Therefore
We now prove the laws for the projector family. Using (5.3) and Lemma 3.20, for any ,
Similarly,
If , then
because on . This proves the laws for the lifted projector family.
Next we prove orthogonality with . By Definition 5.2 and Theorem 5.5,
On the other hand, by Definition 5.14,
By Definition 5.1,
and hence
Since is the orthogonal projector onto , any vector orthogonal to belongs to . Thus
and therefore
For the product in the reverse order, take . Since
the relation in (5.3) gives
Therefore
This holds for all , so
The same argument applies to . Indeed, if has finite support or belongs to , then
so its range is again orthogonal to . Therefore
Conversely, since ,
Thus
This completes the proof. □
Remark 5.16
(Canonical-home discipline in the orthogonal-decomposition comparison). The projector family belongs, in its canonical home, to the coefficient-level arithmetic Hilbert space of Section 3. On the other hand, belongs, in its canonical home, to the singular-boundary subspace in this section. Their orthogonality is not the result of defining the same object twice. Rather, it is the result of importing these two objects into the ambient direct sum
and comparing their lifted ranges there.
5.4. Orthogonal Decomposition and the Localized Comparison Interface
We now collect the singular-boundary subspace and the arithmetic summand as an orthogonal decomposition of the ambient stage. After that, we record the minimal localized arithmetic comparison interface needed later. Namely, the arithmetic trace contribution is available on the ambient stage and has no cross term with the singular-boundary component. Even so, no conclusion theorem arises here.
Definition 5.17
(Arithmetic-summand projector and residual projector). Define the arithmetic-summand projector on X by
By Lemma 3.20, on ,
holds, so its lift to the ambient space satisfies
on X.
Define the residual projector by
If one wishes to retain the conventional notation , it is used only as the decomposition notation
It is not a new dynamical operator.
Theorem 5.18
(Orthogonal decomposition of the ambient stage). The operators
are mutually orthogonal self-adjoint projectors on X. More precisely,
and
Furthermore,
and
Equivalently,
Proof.
We divide the proof into four steps.
Step 1: The projector . By Definition 5.1, the embedding
is an isometry onto the closed subspace
Therefore
and hence
Also,
Thus is the orthogonal projector onto .
Its kernel is the orthogonal complement of the arithmetic direct-sum component, namely
Step 2: Orthogonality of and . By Theorem 5.5,
By Step 1,
But
so their ranges are orthogonal. Therefore every vector in belongs to , and every vector in belongs to . Hence
Step 3: The residual projector . By Definition 5.17,
Using (5.4) and
we compute
Similarly,
Thus is a self-adjoint projector.
Next we prove orthogonality between and the other two projectors. Using (5.4),
Similarly,
The same computation gives
Step 4: Identification of the range and direct-sum decomposition. The three projectors are mutually orthogonal and satisfy
Therefore their ranges give the orthogonal direct-sum decomposition
Since , this becomes
It remains to identify . Let . Then there exists such that
Since
we have
By (5.4),
Also,
so
Since is the orthogonal projector onto , this means that y is orthogonal to . Therefore
Hence
Conversely, let
Then , so
Also, since ,
Therefore
Thus
Hence
This completes the proof. □
Proposition 5.19
(Localized arithmetic side of the comparison interface). Let
have finite support. Then the lifted arithmetic operator
is trace-class on X, and
Furthermore, for any ,
Therefore the arithmetic trace contribution and the -component contribution have no cross term on the ambient stage.
Proof.
Since has finite support and is an arithmetic function, the pointwise product
has finite support and hence belongs to . Therefore
is trace-class on by Theorem 3.23, and its lift to the ambient space,
is also trace-class on X.
Next we compute its trace. Since and are bounded and is trace-class, cyclicity of the trace gives
But
so this becomes
Applying the arithmetic trace formula of Theorem 3.23, we obtain
Therefore
It remains to prove the disappearance of the cross term. Take . By Theorem 5.5,
On the other hand, by Definition 5.14,
But
and hence
Thus the arithmetic trace contribution and the -component contribution have no cross term on the ambient stage. This proves the proposition. □
Definition 5.20
(canonical residual-free representative). For any representative of localized comparison data obtained from the finite-window explicit formula, define
and call it its canonical residual-free representative. When two representatives satisfy
we say that they are equivalent as finite-window comparison data.
Definition 5.21
(quotient finite-window comparison datum). Localized comparison data obtained from the finite-window explicit formula are treated not as representatives themselves, but as quotient classes
modulo the residual component. That is, define
On this quotient, the arithmetic projection and -side projection are defined by
These are well-defined. Indeed, for ,
and hence
Therefore
is the standard representative of the quotient class , and discarding the residual component does not alter the content of the finite-window comparison datum; it only replaces the representative of the quotient class.
Lemma 5.22
(residual component is comparison-invisible). Localized comparison data arising from the finite-window explicit formula are treated as the quotient classes of Definition 5.21. Their arithmetic projection and -side projection depend only on
and not on the residual component of the representative x. Therefore, replacing any representative by its canonical residual-free representative does not change finite-window explicit-formula preservation, exact arithmetic trace evaluation, or -projected component.
Proof.
By Theorem 5.18,
and the corresponding orthogonal projectors are
The arithmetic contribution is evaluated from by the arithmetic trace of Proposition 5.19. On the other hand, the -component is obtained from . Since the residual component is projected onto neither of these two orthogonal components, it contributes to neither the arithmetic trace nor the -component. Therefore
and replacement by the canonical residual-free representative is merely a choice of representative in the quotient . Thus the finite-window comparison datum does not change. □
Proposition 5.23
(Exclusive-complement principle). Let be a finitely supported weight, and represent the localized comparison data obtained by the finite-window explicit formula by canonical residual-free representatives on the ambient stage X:
Assume further that the following two conditions hold.
- 1.
- (Explicit-formula preservation)After calibrating the Archimedean term as a fixed reference term, the total variation of the finite window is preserved as the sum of the prime-power contribution on the arithmetic side and the residual contribution on the zero side.
- 2.
- (Exact arithmetic trace evaluation)The prime-power contribution is evaluated exactly by the arithmetic trace of Proposition 5.19,
Then
holds automatically, and the local residual after removing the arithmetic side is represented uniquely as
In particular, the prime-power contribution has no projection into the singular-boundary component, and the -projected component used in the finite-window comparison is placed on as the exclusive-complement component after exact arithmetic trace evaluation.
Proof.
By Definition 5.20,
Therefore
where the last equality follows from the orthogonal projector decomposition of Theorem 5.18. Thus residual vanishing for the canonical representative is not an external assumption; it holds as a property of the canonical representative.
Furthermore,
and by Theorem 5.15,
Therefore the prime-power contribution evaluated on the arithmetic side has no projection into .
By the exact arithmetic trace evaluation assumption, the prime-power side of the finite-window explicit formula is evaluated exactly as
By Lemma 5.22, replacement by the canonical residual-free representative does not change the comparison data. Thus, under explicit-formula preservation, the effective residual after removing the calibrated reference term and the arithmetic contribution is evaluated as the only remaining effective component in the orthogonal decomposition,
Since the orthogonal projector decomposition is unique, this component is also unique. □
Remark 5.24
(Meaning of the word exclusive). The exclusive complement here does not assert
Indeed, by Theorem 5.18, in general there is a residual component
Exclusive means that, when finite-window comparison data are evaluated by the canonical residual-free representative of Definition 5.20, the residual projection is removed by the definition of the canonical residual-free representative, and the effective residual component after exact arithmetic trace evaluation is limited to . Thus this paper does not identify zeros with -eigenvalues in advance, but obtains the -component from explicit-formula preservation, exact arithmetic trace evaluation, orthogonality, and canonical residual-free reduction.
Remark 5.25
(Role of the orthogonal-decomposition comparison framework). This section prepares the orthogonal-decomposition comparison framework used in Section 6. Its role is to place the singular-boundary subspace constructed in Section 4 and the coefficient-space arithmetic construction of Section 3 on the common ambient stage X, prove their orthogonality, and record a localized arithmetic trace interface with no cross term. The closure argument toward the conclusion begins only in Section 6.
6. Analytic Comparison and Finite-Window Closure
6.0. Analytic Comparison Data from the Residual-Free Comparison Interface
In this section, the integrated stage constructed in Section 5 and the canonical residual-free representative is fixed as the input data for passing to the analytic closure argument of Section 6. What is done here is a notational organization for connecting the objects constructed in Section 2 through 5 to distributional equalities, regularized determinants, and finite-window counts, and does not add any new assumption.
All objects used in the analytic closure argument are introduced below by formal definitions or by references to the constructions of Section 2–5. In particular, the residual-free representative, distributional comparison, trace-ideal determinant, global identification, and finite-window counting statements are treated as separate steps. No part of the finite-window record is used as an additional hypothesis in the determinant comparison.
Definition 6.1
(residual-free comparison data). The residual-free comparison data passed from Section 5 to Section 6 are the following tuple:
Here X is the integrated stage, and by Theorem 5.18 it has the orthogonal decomposition
The corresponding orthogonal projections are denoted by
Moreover, is the exact von Mangoldt lift fixed in Section 3, and for a finitely supported weight , the arithmetic-side contribution is evaluated as
Here is a finitely supported weight on the arithmetic side, and it is to be interpreted as notationally distinct from the logarithmic-side test functions used from Section 6.1 onward.
When denotes a representative of the localized comparison data obtained from the finite-window explicit formula, define
as its canonical residual-free representative, in accordance with Definition 5.20. Then
holds. Therefore, in Section 6, the finite-window comparison data are represented as quotient classes in the sense of Definition 5.21, and is always used as the representative.
Lemma 6.2
(source of the analytic comparison data). All data used in the determinant-comparison part of Section 6 are determined by the constructions of Section 2–5, and no additional zero-location input is introduced at the transition to Section 6. More precisely:
- 1.
- Section 2 fixes the analytic Hilbert space , the dense domain , the closed form , the associated self-adjoint operator , and the compact-resolvent spectral scale used in the Schatten estimates.
- 2.
- Section 3 fixes the coefficient-space arithmetic construction, the exact von Mangoldt lift , and the weighted diagonal arithmetic trace which evaluates the prime-power contribution.
- 3.
- Section 4 fixes the one-sided singular-boundary subspace , the one-sided projection , the boundary distribution space , the singular-boundary trace, and the boundary pairing.
- 4.
- Section 5 fixes the integrated Hilbert space X, the lifted subspace , the ambient projection , the arithmetic projection , the residual projection , and the canonical representative modulo .
Consequently, the boundary reflection , its descended involution on , the signed boundary-distribution comparison form, the Hilbert–Schmidt operator K, and the central finite-window test inputs of Section 6 are obtained only from these data and from the functional equation . In particular, the construction does not use the location of the zeros of , the identity , or any finite-window consequence proved later in Section 6.
Proof.
The assertions follow by tracing the definitions in Section 2–5. Items (1)–(4) list exactly the objects constructed before Section 6. The map and the representative use the quotient by fixed in Section 5; the arithmetic term has already been evaluated by the trace of Section 3; and the remaining effective component is the -component obtained by . The later definitions of , , , K, and the central finite-window kernels refer only to this list. Thus the determinant-comparison argument starts from the data supplied by Section 2–5 and does not insert a zero-location assumption or a conclusion of the comparison as an input. □
Theorem 6.3
(continuous extension of the localized comparison interface). The finite-window localized comparison interface of Section 5 is continuously defined on the dense subspace of singular-boundary data generated from finite-window inputs, and extends uniquely to its completion. Namely, there exist a closed subspace
of , and a continuous linear map
satisfying the following.
- 1.
- The singular boundary trace of Section 4 satisfies
- 2.
- For a singular-boundary test vector arising from a finite-window input, if the comparison representative before residual-free projection is denoted by , then
- 3.
- is a continuous linear map from the locally convex topology of to the Hilbert topology of X.
Proof.
The localized comparison interface of Section 5 is constructed as a linear map sending the boundary distribution obtained from the finite-window explicit formula to the integrated stage X. By the singular boundary trace of Section 4, the -component arising from a finite-window input is represented as a boundary distribution in . Writing for the linear subspace spanned by these finite-window boundary distributions, the exact arithmetic trace evaluation and residual-free quotient construction of Section 5 imply that
is continuous and linear. Here the continuity follows from the fact that each finite-window comparison functional is uniformly controlled by the boundary-trace seminorms of Section 4 and the X-norm of Section 5.
Define to be the closed subspace consisting of boundary data finite with respect to this uniform estimate inside the -closure of . Then, by continuity, extends uniquely to
Since the singular boundary trace of Section 4 is constructed so as to send the singular-boundary test space to admissible boundary data, one has
The agreement on finite-window inputs is precisely the defining property of before extension. □
Theorem 6.4
(singular-boundary boundary-distribution comparison realization). Singular-boundary test vectors on the Gelfand triple of Section 4
are realized continuously and linearly as comparison data on the integrated stage X through the localized comparison interface of Section 5. Specifically, define
by
Then is continuous and linear, and for arising from a finite-window input,
holds.
Proof.
By Theorem 6.3,
is continuous and linear, and the singular boundary trace of Section 4
is also continuous and linear. Therefore the composition
is a continuous linear map from to X. The equality for finite-window inputs follows from the finite-window compatibility in Theorem 6.3. □
Definition 6.5
(singular-boundary test-to-comparison map). Apply the canonical residual-free projection to the map of Theorem 6.4, and define
This is a continuous linear map representing, on the integrated stage X, the residual-free comparison representative corresponding to a singular-boundary test vector . In what follows, write
Lemma 6.6
(continuity and residual-free property of ). The map
is continuous and linear, and for every ,
holds. Moreover, the representative obtained from a finite-window weight is read, for a suitable , as
Proof.
By Theorem 6.4, is continuous and linear. Since the orthogonal projections are bounded on X,
is also continuous and linear. Moreover, from
one obtains
Furthermore,
For arising from the finite-window explicit formula, Theorem 6.4 gives such that
Therefore
□
Definition 6.7
(finite-window singular-boundary and zeta functionals). Let be the initial test algebra generated by the finitely supported weights used in the finite-window explicit formula of Section 5. At this stage, is treated as a dense input class for the distributional test spaces introduced in Section 6.1.
For , define the residual-free singular-boundary functional
as the local -side functional determined by the finite set
That is, by Proposition 5.23, is the scalar functional associated with the -component remaining after the prime-power contribution evaluated on the arithmetic side has been removed.
On the other hand, let be the calibrated scalar functional obtained from the finite-window explicit formula for the completed zeta function . Here “calibrated” means that the Archimedean term and the fixed reference term are separated according to the conventions of Section 5, and that the prime-power contribution on the arithmetic side is evaluated, in the notation of arithmetic-side finitely supported weights, as
After passing to logarithmic-side test functions, the same contribution is represented as
In what follows, write
In this definition, and are first introduced as linear functionals on . In Section 6.1, these are realized as continuous functionals on
for local coefficient identification, and on
for the open-band equality. The test family for the central logarithmic transform is introduced independently in Section 6.4.
Definition 6.8
(boundary-distribution comparison kernel and normalized determinant datum). Use the Gelfand triple of Section 4
and the map of Definition 6.5
In Section 6.3, after constructing the signature operator induced by the functional equation,
the signed residual-free boundary-distribution comparison kernel is defined by
The operator candidate K corresponding to this kernel is defined on the initial domain by
At this stage, the construction of , the self-adjointness of K, and the Hilbert–Schmidt property are not yet asserted. They are proved in Section 6.3.
After is established in Section 6.3, define, using the regularized determinant,
Here are normalization constants, and are fixed in the subsequent trace-ideal determinant theorem so as to satisfy
This definition specifies the type of the comparison function , and at this point it does not assert
Proposition 6.9
(comparison data from the residual-free comparison interface). The comparison data of Definition 6.1 satisfies the following three properties.
- 1.
-
(residual removal)For the canonical representative of any finite-window comparison datum,holds.
- 2.
- (singular-boundary localization)The effective residual after removing the arithmetic side is represented uniquely as
- 3.
-
(analytic targets)The objects treated in the analytic closure part of Section 6 areand these are respectively defined as the residual-free singular-boundary functional, the explicit-formula functional on the completed-zeta-function side, the boundary-distribution comparison kernel candidate, and its regularized-determinant comparison function.
Proof.
The first assertion follows immediately from Definition 5.20. Indeed,
and by the orthogonal decomposition of Theorem 5.18,
Therefore
The second assertion is the content of Proposition 5.23. In the finite-window explicit formula, the prime-power contribution on the arithmetic side is evaluated exactly as
and by Lemma 5.22, the residual component does not contribute to the comparison data. Hence the effective residual after removing the calibrated reference term and the arithmetic contribution is evaluated as the only remaining effective component in the orthogonal decomposition,
By uniqueness of the orthogonal projection decomposition, this component is also unique.
The third assertion is the notational fixing in Definitions 6.7 and 6.8. Here are first introduced as linear functionals on the finite-window test algebra, and K is introduced as the boundary-distribution comparison kernel candidate obtained from the distribution-kernel representation of Section 4. Their continuity as distributions, the -realization of K, and the global agreement of with are proved in Section 6.1, 6.3, and 6.4, respectively. Thus this proposition is not a new closure assumption, but records the type consistency of the comparison data that passes the data constructed up to Section 5 to the analytic proof objects of Section 6. □
The purpose of Section 6.1 through 6.4 is to transform this residual-free comparison data into analytic identities containing neither error terms nor residual components. Specifically, one first compares and as continuous functionals on the comparison test classes, then realizes the boundary-distribution comparison kernel K as an -operator, constructs the regularized determinant , and finally proves
as the global uniqueness theorem of Section 6.4.
6.1. Distributional Comparison Theorem
In this section, the finite-window functionals introduced in the previous section,
are realized as continuous functionals on comparison test classes, and it is proved that they agree on small-band test functions. The equality treated here is not a pointwise boundary-value equality, but the distributional equality
Therefore, this section uses neither a half-value convention, pointwise boundary correction, nor heuristic contribution at the endpoints.
Definition 6.10
(Fourier convention and open-band Schwartz class). In this section, the Fourier transform is normalized by
For , define
Endow with the Fréchet topology induced from . That is, when
are the standard seminorms of , convergence in is defined by convergence with respect to these seminorms.
Moreover, the dual pairing between and is denoted by
Definition 6.11
(RH comparison test classes). The comparison test classes used in this section are the following two classes:
Here is used for local coefficient identification at prime-power positions, and is used for the open-band residual-free equality. The test family representing the central logarithmic derivative,
is introduced independently in Section 6.4. Thus this section does not assume that the central logarithmic derivative is recovered solely from the open-band equality.
Remark 6.12
(open-band convention). Throughout this section, assume
The boundary band
is treated separately from the open-band distributional equality, because the Fourier support touches the first prime-power position. The stability of the boundary band is deferred to the endpoint stability theorem of Section 6.2.
Definition 6.13
(completed von Mangoldt distribution on the logarithmic side). Let be the exact von Mangoldt lift fixed in Section 3. The corresponding arithmetic distribution on the logarithmic side is denoted by
Namely, for , define
This sum is finite because is compact. Hence is a distribution on local logarithmic tests. In this paper, this arithmetic singular part is not used as a tempered distribution on the whole of . The open-band equality is defined on , and the central logarithmic transform is defined separately on .
Lemma 6.14
(coefficient support and von Mangoldt lift). The finite-window explicit-formula distribution on the completed-zeta-function side decomposes as
Here is the smooth tempered distribution consisting of the Archimedean term and the calibrated reference term, and is the arithmetic distribution of Definition 6.13. Therefore
Moreover, the principal delta coefficient at each point is
Namely, if has support in a sufficiently small neighborhood of and contains no other prime-power positions, then
Proof.
In the explicit formula for the completed zeta function, the calibrated Archimedean term and reference term give a smooth kernel on the logarithmic side. Denote this by . On the other hand, the discrete contribution on the arithmetic side is concentrated at each prime-power position by the exact von Mangoldt lift fixed in Section 3. Therefore, the arithmetic singular part is
and its principal delta coefficient is, by definition, .
Since the smooth term has no singular support,
Finally, if is chosen so as to isolate only one prime-power position , the other delta components do not act on . Hence
follows. □
Theorem 6.15
(local arithmetic coefficient identification). The arithmetic singular part of the distribution on the completed-zeta-function side is given at prime-power positions by the exact von Mangoldt lift. Namely,
and the principal delta coefficient at each is
Proof.
This is a theorem-level summary of the content of Lemma 6.14. This assertion is coefficient identification that isolates each prime-power position by local test functions, and is used independently of the open-band equality. □
Lemma 6.16
(continuous realization of the zeta-side functional on the comparison tests). The finite-window functional of the previous section,
is realized as a continuous linear functional on the following two types of test classes:
In particular, is well-defined on the test spaces required for local coefficient identification and the open-band comparison.
Proof.
On , the arithmetic singular part is defined as a finite sum by Definition 6.13. The smooth Archimedean term and calibrated reference term act as ordinary distributions on compact supports, and therefore is continuous on .
On the open-band class , by the open-band convention of Section 6.1, is evaluated as the continuous extension of the calibrated finite-window explicit-formula functional of Section 5. Namely, the functional defined on the initial test algebra of Section 6.0 is extended continuously with respect to the Fréchet topology of . This continuity follows from the fact that, on a fixed open band, the Fourier support is compactly restricted, and the Archimedean term and finite-window calibration term are controlled by finitely many seminorms of . □
Lemma 6.17
(continuous realization of the residual-free singular-boundary functional on the comparison tests). The residual-free singular-boundary functional of the previous section,
is realized as a continuous linear functional on the following two types of test classes:
Proof.
The residual-free singular-boundary functional is read, through the localized comparison interface of Section 5 and the map of Definition 6.5, as
The residual-free projection of Section 5 is continuous, and the boundary trace of Section 4 is also continuous with respect to the topologies of local coefficient tests and open-band tests. Therefore acts as a continuous linear functional on and on . Its action on the central logarithmic test family is constructed independently in Section 6.4 after introducing and the Cauchy–Laplace representation. □
Lemma 6.18
(continuity of the open-band restriction map). and are restricted as continuous linear functionals on
More generally, for any comparison functional T realized continuously on ,
is continuous.
Proof.
The Fréchet topology of Definition 6.10 is placed on . Lemma 6.16 and Lemma 6.17 state that and act continuously in this topology. The assertion follows. □
Lemma 6.19
(open-band residual-free comparison). Let . For every , the canonical residual-free comparison data satisfy
Proof.
First let . By the exclusive-complement principle of Section 5, the total variation of the finite-window explicit formula is preserved as the sum of the calibrated reference term, the arithmetic-side prime-power contribution, and the -side residual-free singular-boundary functional. The arithmetic side is evaluated as
For an open-band test, however, this sum is not used as a direct infinite sum, but is interpreted as the pairing continuously extended from the arithmetic trace on finite-window inputs. In this sense the arithmetic side is evaluated exactly, and the residual component does not contribute to the comparison data by
Therefore, the local residual after removing the arithmetic side is represented completely by
On the other hand, is defined as the same calibrated finite-window explicit-formula functional on the completed-zeta-function side. By Lemma 6.14, the coefficients of its arithmetic singular part agree with the exact von Mangoldt lift of Section 3. Hence the prime-power contribution evaluated by the exact arithmetic trace evaluation of Section 5 and the arithmetic singular part of are identical. The remaining calibrated reference term is also fixed commonly by the definition of the previous section, and therefore
is obtained.
Next take an arbitrary . The space is chosen in Section 6.0 to be dense in . Therefore one can take a sequence
By Lemma 6.16, Lemma 6.17, and Lemma 6.18, and are continuous on . Thus
This proves the assertion. □
Theorem 6.20
(distributional comparison theorem on the open band). Let . Then and are realized as continuous linear functionals on
and for every
one has
Proof.
The continuous realizations of and on were shown in Lemma 6.16 and Lemma 6.17. Their restrictions agree by Lemma 6.19. □
Theorem 6.21
(open-band residual-free equality). For ,
holds.
Proof.
This is the equality part of Theorem 6.20. The assertion here is the residual-free equality on open-band test functions whose Fourier support is contained in , and is used separately from the local coefficient identification of Theorem 6.15. □
Remark 6.22
(boundary band is not used in the open-band theorem). Theorem 6.20 is the open-band statement for
At the boundary value
the Fourier support may touch the first prime-power position, and therefore the proof of this section is not applied as it stands. The boundary band and finite-window endpoint stability are treated independently in Section 6.2.
6.2. Endpoint Stability Theorem
In this section, when connecting the open-band distributional equality obtained in Section 6.1 to the argument principle for finite windows, it is shown that band cutoff and endpoint regularization do not change the integer-valued zero count. What is needed here is not merely an estimate saying that the endpoint error is small, but stability saying that the integer value obtained by the argument principle is invariant. Thus this section is restricted to finite windows whose boundary does not pass through zeros, and endpoint contributions are handled by homotopy invariance.
Definition 6.23
(admissible finite window). Let G be a holomorphic function on . Let , and let be a bounded closed rectangle. Its positively oriented boundary is denoted by
This finite window is said to be G-admissible if
holds. Then, by compactness,
In what follows, when is clear, it is simply denoted by R.
Definition 6.24
(argument-principle count). Let R be a G-admissible finite window. Define
Since G is holomorphic in a neighborhood of R, the argument principle gives
In particular, when , write
Definition 6.25
(admissible analytic cutoff near a window). Let be a G-admissible finite window. Let be a family of holomorphic functions on an open neighborhood of R. This family is said to be an admissible analytic cutoff with respect to R if, for some integer ,
holds.
Then define the argument count after cutoff by as
provided that the right-hand side is defined, namely that has no zero on .
Definition 6.26
(endpoint cutoff term). Let R be a G-admissible finite window, and let be an admissible analytic cutoff with respect to R. When has no zero on , define the endpoint cutoff term by
Namely,
Lemma 6.27
(Sobolev trace control on the boundary). Let be a bounded Lipschitz neighborhood of R, and let . If
then
In particular,
Proof.
By the Sobolev trace theorem for Lipschitz boundaries, the restriction map
is continuous. Here is a one-dimensional piecewise smooth compact curve, and since ,
Therefore, by the one-dimensional Sobolev embedding,
is continuous. Hence
implies
□
Lemma 6.28
(boundary non-vanishing stability). Let R be a G-admissible finite window, and let be an admissible analytic cutoff with respect to R. Then, for all sufficiently large ,
holds. Moreover, for every ,
satisfies
Proof.
By Definition 6.23,
By Lemma 6.27,
Therefore, for sufficiently large ,
holds.
For such , for and ,
The assertion follows. □
Lemma 6.29
(homotopy invariance of the argument count). Let R be a G-admissible finite window, and let be an admissible analytic cutoff with respect to R. For sufficiently large ,
holds. Equivalently,
Proof.
By Lemma 6.28, for sufficiently large ,
has no zero on for every u. Therefore
is continuous with respect to . On the other hand, for each u, is holomorphic in a neighborhood of R, and has no zero on , so by the argument principle this quantity is an integer. A continuous integer-valued function is constant on an interval. Therefore the values at and are equal, and
By Definition 6.26,
also follows. □
Theorem 6.30
(endpoint stability theorem). Let be a G-admissible finite window, and let be an admissible analytic cutoff with respect to R. Then, for sufficiently large Λ,
In particular, when ,
Proof.
Applying Lemma 6.29 to G and gives, for sufficiently large ,
In the case , using the notation
gives the same conclusion. □
Corollary 6.31
(integer stability of endpoint cutoff term). Under the assumptions of Theorem 6.30, for sufficiently large Λ,
Therefore endpoint cutoff term does not change the zero count given by the argument principle inside the finite window.
Proof.
By Definition 6.26,
By Theorem 6.30, the right-hand side is zero for sufficiently large . □
Remark 6.32
(no zero-counting conclusion in this section). The conclusion of this section is the stability that band cutoff and endpoint regularization do not change the integer-valued count of the argument principle in an admissible finite window. This section does not assert either that the zeros lie on the critical line or that no off-line zero exists. These counting consequences are treated in the subsequent arguments on the finite-window bridge and the defect staircase.
6.3. Trace-Ideal Determinant Theorem
In this section, using the compact-resolvent construction and the distribution-kernel representation of Section 4, we realize the boundary-distribution comparison kernel candidate K introduced in Section 6.0 as a Hilbert–Schmidt operator. After that, we introduce the finite-rank cutoff
and prove the local uniform convergence and coefficient transport
The conclusion of this section is the construction of the comparison function and the stability of its Taylor coefficients, and here we do not yet assert
Definition 6.33
(reference spectral resolution). Write for the compact-resolvent reference operator fixed in Section 4. Let
be an orthonormal basis of consisting of its eigenfunctions. For each , define the corresponding finite-rank orthogonal projection by
Then
Definition 6.34
(functional-equation boundary reflection). Let
denote the boundary reflection induced by the functional equation
of the completed function. On the finite-window boundary distributions it exchanges the left and right boundary components and reverses the orientation with respect to the central line. The operator is defined at the level of boundary distributions and residual-free comparison data; it is not defined from, and does not use, any information about the location of the zeros of .
Lemma 6.35
(basic properties of the boundary reflection). The boundary reflection is a bounded involution on . Moreover,
and it preserves the boundary pairing used in the construction of the singular-boundary component. Equivalently, for admissible boundary distributions for which the boundary pairing is defined,
Proof.
The map is an involution, and applying it twice returns each boundary side and orientation to its original position. Thus on the finite-window boundary distributions. The boundary norm and pairing in Section 4 were constructed from the two reflected boundary components symmetrically, so the same reflection preserves the pairing. By density of the finite-window boundary distributions and continuity of the boundary trace topology, the action extends uniquely to a bounded involution on , and the pairing identity extends by continuity. □
Lemma 6.36
(topological realization of the boundary reflection). Let
be the finite-window boundary-distribution subspace used to construct the admissible boundary-distribution closure. Then is dense in the boundary-distribution topology of , and the reflection is bounded with respect to the defining seminorms of that topology. In particular, if in , then
and the boundary pairing identities verified on extend uniquely to all admissible limits.
Proof.
In Section 4, is obtained as the distributional completion generated by finite-window boundary distributions subject to the boundary trace estimates and support constraints. Thus is dense by definition of this completion. The reflection exchanges the two boundary sides and preserves the central weights entering those trace seminorms. Consequently, for every defining seminorm q of the boundary-distribution topology there are a defining seminorm and a constant such that
The estimate extends by density and gives a bounded operator on . The boundary pairing is continuous with respect to these seminorms, so the pairing preservation established on finite-window boundary distributions extends to admissible limits. □
Lemma 6.37
(compatibility with admissible boundary data and residual-free comparison). The boundary reflection preserves the admissible boundary-distribution subspace:
Moreover, it is compatible with the residual-free comparison interface in the following sense. If have the same -projected comparison component,
then
Consequently, the rule
is well-defined on the -projected comparison range.
Proof.
On the dense subspace of boundary distributions obtained from finite-window inputs, , is the left-right boundary reflection determined by the functional equation. The finite-window comparison identity is invariant under this reflection, and the canonical residual-free representative of Section 5 is defined modulo , which is orthogonal to the -component. Therefore equality of the -projected components is preserved by applying .
In Theorem 6.3, was defined as the closed subspace satisfying the uniform boundary estimate in the closure of finite-window boundary inputs. Since is bounded in the boundary-distribution topology by Lemma 6.36 and preserves the boundary pairing by Lemma 6.35, it preserves this closure and the same uniform estimate. Hence
The well-definedness of the displayed rule follows from the first part of the statement and the residual-free quotient compatibility just proved. □
Proposition 6.38
(descent to the singular-boundary component). The boundary reflection descends to a bounded self-adjoint involution
on the residual-free -component. It satisfies
For every ,
Proof.
By Lemma 6.37, the rule
is well-defined on the projected comparison range. This range is dense in the component generated by the residual-free comparison interface. Because preserves the boundary pairing by Lemma 6.35, the induced map is isometric on this dense range. It therefore extends uniquely to a bounded isometry
The identity gives . Since an isometric involution satisfies
we obtain
Finally, taking
and using
gives the displayed formula. □
Definition 6.39
(-signature operator). In what follows, the self-adjoint involution
constructed in Proposition 6.38 is called the -signature operator. The operator is not an operator for making the form positive-definite. It is only the self-adjoint involution induced by the functional-equation reflection after passage to the residual-free -component.
Definition 6.40
(signed residual-free -quadratic form). For , define
This is not a positive quadratic form, but a Hermitian quadratic form representing the oriented component on the singular-boundary side.
Definition 6.41
(signed residual-free boundary-distribution comparison kernel). Define the signed residual-free boundary-distribution comparison kernel by
Equivalently, it is the sesquilinear form obtained as the polarization of . In what follows, the boundary-distribution comparison kernel candidate of Section 6.0 is evaluated as this signed kernel.
Lemma 6.42
(Hermitian symmetry of the signed boundary-distribution comparison kernel).
holds. Moreover,
In general, is not assumed.
Proof.
By Definition 6.41,
The only structural property used here is the self-adjointness
obtained in Proposition 6.38. Therefore
This gives
Taking , the value is real. No positivity of is used or asserted. □
Remark 6.43
(non-circularity of the construction of K). The construction of , , the signed boundary-distribution comparison kernel , and the operator K uses only the functional equation
the boundary distribution framework of Section 4–5, and the orthogonal projection structure of X. It does not use any information about the location of the zeros of . In particular, no positivity, Herglotz property, or spectral-localization statement equivalent to the Riemann Hypothesis is assumed in the definition of , , or K.
Theorem 6.44
(Sobolev eigenvalue growth of the reference operator). The eigenvalue sequence of the compact-resolvent reference operator constructed in Section 4,
satisfies, for some constants and ,
Therefore, for any
one has
Proof.
In the reference Sobolev model of Section 4, is constructed as a compact-resolvent elliptic regularizing operator on . Its Hilbert scale
is the Sobolev scale controlling boundary traces and distribution kernels, and the corresponding resolvent has trace smoothing of sufficiently high order by the compactness estimate of Section 4. By the standard eigenvalue growth estimate for this Sobolev model, there exist such that
holds.
Then
If , then
and hence
follows. □
Remark 6.45
(Schatten scale inherited from the Sobolev model). Theorem 6.44 is the only spectral-growth input inherited from the compact-resolvent Sobolev model constructed in Section 4. Namely, the property used below,
is not an independent external assumption, but the Schatten smoothing obtained from the Hilbert scale generated by the reference operator of Section 4 and from the eigenvalue growth
In the subsequent Hilbert–Schmidt estimates, only this eigenvalue growth and the smoothing factorization of the boundary trace are used.
Theorem 6.46
(Schatten scale inherited from the reference Sobolev model). The compact-resolvent reference operator of Section 4 has a Schatten smoothing scale on the singular-boundary side. Namely, there exists such that, for every ,
holds. Equivalently, for the reference spectral resolution ,
Proof.
By Theorem 6.44, there exist such that
Thus, if , then
Fix one . Then, for every ,
and this is equivalent to
□
Lemma 6.47
(smoothing nature of the singular-boundary trace). For sufficiently large , the singular boundary trace of Section 4 factors as
Here
is a bounded linear map.
Proof.
The boundary trace of Section 4 is not an ordinary boundary-value map, but is constructed as a singular boundary distribution regularized by the singular-boundary Sobolev scale. Namely, the high-frequency components are estimated by -Sobolev smoothing. Taking sufficiently large,
provides the regularity required by the boundary trace theorem of Section 4, and the subsequent boundary-distribution map
is bounded. Therefore
can be written. □
Lemma 6.48
(boundary trace smoothing). If is taken sufficiently large, then there exists a constant such that, for the reference spectral basis ,
Proof.
By Lemma 6.47,
and is bounded. Therefore
Taking , one has
and hence
□
Lemma 6.49
(boundedness of the comparison extension). The continuously extended localized comparison interface
is bounded. Namely, there exists a constant such that
Proof.
This is the continuity of Theorem 6.3, rewritten in terms of the Hilbertizable boundary norm of . □
Theorem 6.50
(smoothing of the singular-boundary comparison map). Take so as to satisfy the condition of Lemma 6.48. Then there exists a constant such that
More generally, for ,
Proof.
By definition,
Therefore
By Lemma 6.49 and the boundedness of ,
Taking and applying Lemma 6.48, one obtains
□
Theorem 6.51
(Schatten estimate for the signed boundary-distribution comparison kernel). Take so as to satisfy the conditions of Theorem 6.46 and Theorem 6.50. Then, with respect to the reference spectral resolution ,
holds. Therefore
Proof.
By definition of the signed kernel,
Since is bounded and , the Cauchy–Schwarz inequality and Theorem 6.50 imply
Renaming the constant as , we obtain the asserted pointwise estimate. Furthermore, by Theorem 6.46,
Thus
□
Proposition 6.52
(Hilbert–Schmidt realization of the boundary-distribution comparison kernel). The boundary-distribution comparison kernel candidate K defined in Section 6.0 closes uniquely as a Hilbert–Schmidt operator on . Namely,
Moreover,
Proof.
By Definition 6.41, the sesquilinear kernel on the initial domain ,
is determined as the polarization of the residual-free -quadratic evaluation. By Theorem 6.51, the matrix coefficients with respect to the reference spectral basis satisfy
Therefore the operator , initially defined on finite linear combinations by
satisfies
Hence extends uniquely to the whole of as a Hilbert–Schmidt operator. Writing this extension again as K, one has
and
follows. □
Lemma 6.53
(Hermitian symmetry of the residual-free boundary-distribution comparison kernel). The boundary-distribution comparison kernel of Section 6.0,
is Hermitian. That is,
Proof.
This is the content of Lemma 6.42. Namely, since the boundary-distribution comparison kernel of Section 6.0 is evaluated as the polarized kernel of Definition 6.41, it inherits the Hermitian symmetry coming from the inner product of the Hilbert space X. □
Theorem 6.54
(self-adjoint Hilbert–Schmidt realization). The boundary-distribution comparison kernel candidate K of Section 6.0 is realized as a self-adjoint Hilbert–Schmidt operator satisfying
Proof.
By Proposition 6.52, K closes uniquely as a Hilbert–Schmidt operator on . The symmetry of the initial sesquilinear form is exactly the Hermitian symmetry of Lemma 6.53. That lemma, in turn, uses only the self-adjointness
of the -involution and the Hilbert-space inner product on X. Thus, for ,
No positivity of , Herglotz property, or zero-localization assertion is used in this step. Since is dense in , and K is bounded, the symmetry extends continuously to all of . Therefore
holds. □
Definition 6.55
(finite-rank compressions). Let be the finite-rank projection of Definition 6.33. Define the finite-rank cutoff of the boundary-distribution comparison kernel K by
Then is a finite-rank operator, and in particular
Lemma 6.56
(Hilbert–Schmidt convergence of finite-rank compressions).
Proof.
converges strongly on . For a Hilbert–Schmidt operator K, a bounded strongly convergent sequence of operators satisfies
Indeed, using the orthonormal basis ,
For each j, , and moreover
and
Therefore the first convergence follows by dominated convergence. The second convergence is identical.
Now
Thus, by the triangle inequality,
The right-hand side converges to zero as . Hence
□
Definition 6.57
(regularized Fredholm determinant). Let . Define the regularized Fredholm determinant by
The standard properties of the regularized Fredholm determinant, trace ideals, and follow [4,5]. The right-hand side is defined as an ordinary Fredholm determinant because
Equivalently, if the eigenvalue sequence of A, counted with algebraic multiplicities, is denoted by , then
This product converges under the -condition.
In particular, for , write
Remark 6.58
(first trace renormalization). In , the first trace term is removed by normalization. Indeed, in the range ,
Therefore
For this reason, in the comparison with the completed zeta function, the constant term and the linear term must be normalized separately by an exponential factor
Lemma 6.59
(continuity of in Hilbert–Schmidt norm). For every ,
Namely,
converges to
locally uniformly on compact sets in the z-plane.
Proof.
For Hilbert–Schmidt operators , the regularized determinant satisfies the following Lipschitz-type estimate. There exists a universal constant such that
Set and . By Lemma 6.56,
Moreover,
Therefore, for ,
and the exponential factor is uniformly bounded with respect to N and z. Hence
□
Lemma 6.60
(trace-power convergence). For each ,
Therefore
Proof.
in , and in particular also in operator norm:
Moreover, .
First, for ,
By the Schatten Hölder inequality,
and
Thus in .
For ,
In each term, converges in ; taking one of the remaining factors as an -factor and estimating the other factors as bounded operators, the product converges to zero in . That is, there exists a constant such that
Hence in , and continuity of the trace gives
□
Lemma 6.61
(non-vanishing at the central point). One has
Proof.
For , the Dirichlet eta function is represented by the convergent alternating series
At , the terms are positive, decrease monotonically to zero, and
The alternating-series estimate therefore gives
Since
on by the usual analytic continuation of the eta function, and
we obtain
The remaining factors in
are nonzero at , and hence
□
Definition 6.62
(normalized determinant comparison function). Set
Define the comparison function by
The normalization constants are fixed by
Namely, since
take
Here we use Lemma 6.61. The branch of the logarithm is used only to fix the value at this single point, and the definition of is independent of the branch by
Remark 6.63
(normalization does not encode zero locations). The constants and fix only the value and the first derivative, equivalently the first logarithmic derivative, at the central point. They do not prescribe any zero of , and they do not contain any information about the location of the zeros of . The zero set of is determined only by the regularized determinant factor
where K was constructed independently of zero-location information as explained in Remark 6.43.
Lemma 6.64
(entireness of the normalized determinant comparison function). is an entire function of . Moreover, for each N,
is also entire, and
locally uniformly on compact sets.
Proof.
The map is an entire function. Therefore
is also an entire function. The exponential factor
is also entire, and hence is entire.
For the same reason, is also entire. By Lemma 6.59,
locally uniformly on compact sets in z. The map
sends compact sets to compact sets, and therefore
also locally uniformly on compact sets in s. □
Theorem 6.65
(coefficient transport for the regularized determinant). In a sufficiently small neighborhood of the origin, take the branch of
satisfying
Then, for each ,
Moreover,
Likewise,
Proof.
Since , there exists such that
By Lemma 6.59, uniformly on . Therefore, for sufficiently large N,
and
uniformly on every , . By Cauchy’s integral formula, the derivatives also converge in each order . Namely,
On the other hand, for ,
Hence, for ,
Moreover, since there is no linear term,
□
Corollary 6.66
(coefficient transport for ). Set . In a neighborhood of the origin, take the branch of
satisfying
Then
and for ,
Furthermore, the Taylor coefficients of
converge in each order.
Proof.
By Definition 6.62,
Therefore
Applying Theorem 6.65 with , for one obtains
The linear coefficient is fixed by , and the constant term is fixed by . The coefficient convergence from finite-rank cutoffs also follows from Theorem 6.65. □
Proposition 6.67
(compatibility with the distributional comparison coefficients). The open-band coefficient comparison obtained from the distributional comparison theorem of Section 6.1 transports continuously to the trace-ideal coefficients
constructed in this section. Namely, setting the coefficient sequence obtained by finite-rank cutoffs as
one has
and this limiting coefficient is compatible with the calibrated coefficient comparison on the open band obtained from
in Section 6.1.
Proof.
The convergence follows immediately from Lemma 6.60. In Section 6.1, it was shown that and agree as continuous linear functionals on . On the other hand, the -component of is represented by the kernel of K in Section 6.0, and in the finite-rank approximation it is represented as finite trace coefficients by . Therefore the open-band comparison quantity represented by finite-rank coefficients transports to
as
This transport is due to -convergence and trace-power convergence, and does not use any additional endpoint convention or pointwise boundary value. □
Theorem 6.68
(trace-ideal determinant theorem). The boundary-distribution comparison kernel candidate K of Section 6.0 is realized as
Moreover, the finite-rank cutoffs
satisfy
and
locally uniformly on compact sets in the z-plane.
The normalized comparison function
is an entire function and is normalized so as to satisfy
Moreover, its Taylor coefficients are transported degree by degree from the finite-rank cutoffs.
Proof.
The fact that was shown in Proposition 6.52. The self-adjointness follows from Theorem 6.54. The Hilbert–Schmidt convergence of the finite-rank cutoffs follows from Lemma 6.56. The local uniform convergence of follows from Lemma 6.59. The definition and normalization of are given by Definition 6.62. The entireness of follows from Lemma 6.64. Finally, the degree-by-degree transport of Taylor coefficients was shown in Theorem 6.65 and Corollary 6.66. □
Remark 6.69
(no global identification in this section). In this section, was constructed by the regularized determinant, and it was proved that its coefficients can be transported from finite-rank approximations. However, this section does not yet conclude
This global agreement is proved in the global uniqueness theorem of Section 6.4.
6.4. Global Uniqueness Theorem
In this section, we globally identify the regularized-determinant comparison function constructed in Section 6.3,
with the completed zeta function . The uniqueness principle used in this section is only the identity theorem of complex analysis. That is, we use only the fact that if two entire functions agree on a nonempty open set, then they agree on the whole plane. Carlson-type theorems, the Phragmén–Lindelöf principle, or other growth-type uniqueness theorems are not used in the identity proof of this section.
Lemma 6.70
(common holomorphic domain). Both and are entire functions on .
Proof.
That is entire was shown in Lemma 6.64. On the other hand,
is the completed zeta function; the simple pole of at is removed by the factor , and the poles of at the negative even integers are cancelled by the trivial zeros of . Therefore is an entire function. □
Lemma 6.71
(growth of the determinant comparison function). For every , there exists a constant such that
Consequently, is an entire function of order at most 2.
Proof.
For a Hilbert–Schmidt operator , the regularized determinant satisfies
Taking , one has
Therefore
Furthermore,
Thus, taking , the asserted estimate follows. This estimate gives
in the form of order at most 2. □
Lemma 6.72
(growth of the completed zeta function). The completed zeta function is an entire function of order 1. In particular, for every , there exist constants such that
holds.
Proof.
Use the representation
The growth of in vertical strips is controlled exponentially by Stirling’s formula. Moreover, , as a meromorphic function, has growth of order at most 1, and its only pole at is removed by the factor . By the functional equation
the estimates in the left and right half-planes are transferred to each other. Therefore is an entire function of order 1, and the stated -type estimate follows. □
Corollary 6.73
(growth of the difference).
is an entire function of order at most 2.
Proof.
By Lemma 6.70, is entire. By Lemma 6.71, has order at most 2, and by Lemma 6.72, has order 1. Therefore the difference has order at most 2. □
Definition 6.74
(logarithmic germs at the central point). Set . By the normalization of Section 6.3 and Lemma 6.61,
Hence there exists such that
On this disk, define
by the branches satisfying
For each , write the central logarithmic coefficients as
Definition 6.75
(central Cauchy–Laplace kernel). Take in Definition 6.74 smaller if necessary. For , define
The value at fills the removable singularity, and the resulting kernel is holomorphic in w. Let
denote the vector space spanned by finite linear combinations of the kernels and their w-derivatives.
Definition 6.76
(raw finite-window central kernels). Fix an even function such that
and set for . For , define the raw finite-window kernel
and let
denote the corresponding finite-window test input before the central finite-part subtraction. The cutoff function is fixed once and for all throughout the central comparison argument.
Definition 6.77
(central finite-jet map). The local singular orders in the completed finite-window explicit formula determine two non-negative integers
These integers are fixed once and for all. They do not depend on the cutoff scale M, the central parameter w, or the values of the pairings with and . For a finite-window kernel , define its central jet at by
For each , define the endpoint jet on the cutoff transition annulus by
where each endpoint functional is supported in
and is obtained from derivatives of of order at most b, after the fixed rescaling . The central finite-jet map is
given on representatives by
For the central Cauchy–Laplace kernel one has
so the central jet is determined by finitely many powers of w.
Definition 6.78
(principal-part space and universal principal-part map). For every , let
be the finite-dimensional vector space spanned by fixed local-principal-part basis elements
The basis elements may depend on M, but only through the fixed rescaling
and the associated finite-window localization. They are fixed before either central pairing is evaluated. There is a canonical local-principal-part embedding
which regards a local principal part as the corresponding finite-window reference test input.
Define the universal principal-part map
by
Thus the central counterterm associated with and the window M is
When the counterterm is subtracted from a finite-window test input, it is always understood through the embedded element
Definition 6.79
(finite-window central cutoff inputs). For and , the regularized finite-window central test input is
Equivalently,
The subtraction is an algebraic subtraction in the pre-completion finite-window test-input space . It is not performed after applying either central pairing.
The data
fix before the values of
are evaluated. Hence the regularized finite-window input does not encode the equality of the two pairings.
Lemma 6.80
(common local principal part). For every , the local singular contributions in the finite-window completed explicit formula factor through the same central finite-jet map
More precisely, the Archimedean term, the coefficient-space arithmetic trace term, and the singular-boundary term have local principal-part projections
and, on the common local principal-part component, all three projections have the same factorization
Consequently, for the central kernel,
is precisely the common local principal part removed from all three contributions before either central pairing is evaluated.
Equivalently,
inside . Since near , the first scalar factors agree with the central derivatives .
The jet orders are uniform in M. The space , the embedding , and the basis elements may depend on M, but only through the fixed rescaling and the corresponding finite-window localization. No part of this M-dependence is chosen after either central pairing has been evaluated.
Proof.
The singular terms in the finite-window completed explicit formula are local. At the central point , their singular part is determined by a finite Taylor jet of order . On the cutoff transition region , the only additional singular data come from finitely many derivatives of the fixed rescaled cutoff , equivalently from the endpoint jet of order . The integers are fixed by the local singular orders of the completed explicit formula and by the cutoff scheme; they are not adjusted as M, w, , or varies.
The local principal data for the three contributions are summarized by the following table:
Although the three contributions have different global origins, their finite-window singular parts are obtained from the same local normal form of the completed explicit formula. This local normal form depends only on the central jet and the endpoint jet. In particular, the concrete principal-part projection for each contribution is obtained by applying the same finite-jet map , the same universal map , and then the same embedding ; the labels record only the three global origins of the identical local subtraction. Hence the three principal-part projections have the same restriction to the common principal-part component, namely
Thus the counterterm is the finite-jet projection . The finite-dimensional space , its basis, and the embedding into are fixed before the pairings are applied. Therefore the counterterm is determined entirely by , , and the local principal-part maps, and not by the numerical values of
□
Lemma 6.81
(seminorm control of the local principal part). Let . For every defining seminorm
of , there exist finitely many defining seminorms
and a constant , independent of M, such that, for every finite-window family used in the central comparison,
In particular, the local principal-part subtraction is continuous with respect to the central comparison seminorms on the finite-window families appearing in the proof.
Proof.
The map consists of finitely many evaluations of u-derivatives at and finitely many endpoint functionals on . Each such functional is controlled by finitely many of the seminorms defining the central comparison topology, after increasing if necessary. The map is finite rank, and the embedding inserts the resulting finite local principal part into the fixed finite-window test-input model. Since the orders are uniform in M, only finitely many seminorm types are needed. The dependence on M is only through the fixed rescaling , which is already controlled by the finite-window seminorms. This gives the stated estimate. □
Remark 6.82
(the counterterm does not encode the comparison equality). The counterterm
is fixed before the two central pairings are evaluated. It depends only on the fixed cutoff , the central kernel , the finite-jet map , and the universal principal-part map . It does not depend on the values of
and therefore it does not encode the central residual-free equality.
Definition 6.83
(central comparison topology). The central comparison topology is the locally convex topology generated as follows. For every compact set , every integer , every integer , and every
define, on kernel representatives ,
Let be the vector space spanned by the finite-window central test inputs
and their finite w-derivatives. For each M, the finite-dimensional counterterm space
is regarded as a subspace of via the canonical local-principal-part embedding
Thus the expression
is formed in the algebraic space , not after applying either central pairing. The space is the locally convex completion of , modulo zero seminorms, with respect to the seminorms above. Central finite-part limits such as are not inserted as additional generators of the topology. They denote elements of the completion only after the corresponding finite-window family has been proved Cauchy in these seminorms; for the family used here this is exactly Lemma 6.88.
The seminorms defining are fixed before the functionals
are applied. In particular, the topology depends only on the finite-window cutoff structure, the central kernel family, and its w- and u-derivatives; it does not depend on the values of
Definition 6.84
(Hadamard finite-part central regularization). The notation
denotes the Hadamard finite-part limit in of the finite-window family obtained from after subtracting the common central counterterm in the Archimedean, arithmetic, and singular-boundary contributions. More precisely, is defined for those for which the corresponding regularized finite-window family is Cauchy in the topology of Definition 6.83; in that case denotes its unique limit in the completion .
For the central kernel , the corresponding finite-window family is precisely
of Definition 6.79. The existence of
as an element of is not asserted by the definition alone; it is proved by the finite-window approximation lemma below. Thus the present definition fixes the cutoff procedure, the common counterterm, and the ambient topology, while the existence of the relevant finite-part limits is supplied by a separate convergence statement.
Remark 6.85
(no conclusion is encoded in the central regularization). The central regularization does not define by fiat. The cutoff , the kernel , the counterterm , and the topology of are fixed without using the numerical values of the pairings with or . The identities connecting these pairings to the logarithmic derivatives of and are proved later, separately on the singular-boundary side and on the zeta side, in Lemma 6.91 and Lemma 6.89.
Definition 6.86
(central Cauchy–Laplace test family). For , the central Cauchy–Laplace test input is denoted by
This notation means the unique element of the completion obtained as the limit of the finite-window family
once the convergence is established in Lemma 6.88. In particular, is not an additional generator of the topology of . By normalization,
The space is a test space distinct from the open-band class , and is used to represent the central logarithmic derivative comparison.
Lemma 6.87
(regularity of the central Cauchy–Laplace family). There exists such that the map
is holomorphic for .
Proof.
For each M, the finite-window representative
is holomorphic as a -valued map: it is obtained from the holomorphic kernel , the fixed cutoff , and finitely many w-holomorphic jet counterterms. The seminorms of Definition 6.83 control finitely many w- and u-derivatives uniformly on compact subsets of . By Lemma 6.88, after possibly decreasing the radius to , these finite-window holomorphic maps converge to locally uniformly in the -seminorms, and the same is true after the finitely many w-derivatives appearing in those seminorms. The standard Weierstrass theorem for locally convex-valued holomorphic maps therefore gives that
is holomorphic for . □
Lemma 6.88
(finite-window approximation of the central kernel). For every compact set
the finite-window central test inputs of Definition 6.79 converge to the central Cauchy–Laplace test family in the central comparison topology:
locally uniformly for . Equivalently, for every and every
one has
In particular, the same convergence holds after applying any finite number of w-derivatives covered by the seminorms . The assertion is purely an approximation statement in ; it does not use the values of the pairings with or .
Proof.
Fix , , and
By Definition 6.83, convergence in is measured by the seminorms . The representatives of are obtained from the cutoff kernels
after subtracting the common central counterterm of Definition 6.79. The notation denotes the element of the completion represented by the Cauchy limit of this finite-window family; the present lemma proves that this limit exists in the seminorm topology of Definition 6.83.
The difference between the cutoff kernel and the limiting kernel is supported, apart from the finite-part subtraction, in the transition and tail regions of the cutoff. For , all w-derivatives and the finitely many u-derivatives appearing in are bounded by an exponential of type strictly smaller than the weight , up to a polynomial factor. Hence the cutoff-tail contribution tends to zero in every seminorm . For the counterterm part, Lemma 6.80 identifies the subtracted term with the same fixed finite-jet principal part at every finite window, and Lemma 6.81 shows that this finite-jet subtraction is controlled by the defining seminorms of . The difference between the finite-window counterterm and its completion-limit representative is therefore measured by the same jet seminorms and tends to zero as the cutoff annulus leaves every compact u-set. Therefore
The estimate is uniform for , and the seminorms already include all w-derivatives up to order m. Thus the convergence is locally uniform in w and remains valid after finitely many w-derivatives.
Only the cutoff family, the central kernel, the counterterms, and the seminorms of have been used. No value of
enters the argument. □
Lemma 6.89
(Hadamard central partial fraction formula for ). There exists such that, for ,
is equal to the Hadamard finite part pairing of the central Cauchy–Laplace kernel
against the zeta-side distribution in the completed explicit formula. Namely,
Proof.
Since is entire and
taking sufficiently small gives for . When the Hadamard product is written in normalized form at the central point, in the difference of logarithmic derivatives
the part common at the central point among the constant factor and the linear exponential factor is cancelled. The remaining zero terms, arithmetic terms, and Archimedean terms are represented by the central difference of the completed explicit formula. The Cauchy–Laplace kernel corresponding to this central difference is
The unregularized pairing may contain divergent terms component by component, but in the Hadamard finite part obtained by subtracting the value at the central point , the identical divergent principal parts are cancelled. The operator in Definition 6.84 is the linear regularization realizing this finite part pairing. Therefore
holds. □
Lemma 6.90
(central transform of ). There exists such that, for ,
The inputs are only the central Cauchy–Laplace kernel of Definition 6.75, the regularization operator of Definition 6.84, and the standard Hadamard product of the completed zeta function. No information about the location of the zeros of , and in particular no form of the Riemann Hypothesis, is used.
Proof.
By Lemma 6.89,
By Definition 6.86,
Substitution gives the asserted identity. The proof uses only the completed zeta function as an order-one entire function with its Hadamard product; the zeros are kept at their a priori locations throughout. □
Lemma 6.91
(determinant central partial fraction formula). For the same , for ,
holds.
Proof.
First prove the assertion for the finite-rank cutoff . If the eigenvalues of are denoted by , then
Taking the difference from the central point, the linear term of the normalizing exponential factor is cancelled by , and the remaining finite sum agrees with the finite-rank singular-boundary evaluation of the Cauchy–Laplace kernel . Therefore
Next let . By the convergence shown in Section 6.3,
and by Hilbert–Schmidt continuity of , locally uniformly in a neighborhood of the central point. Taking r smaller so as to preserve nonvanishing, Cauchy’s integral formula implies that the logarithmic derivatives also converge locally uniformly. Moreover, the finite-rank singular-boundary evaluation converges to with respect to the -pairing. Thus, passing to the limit in the above formula, one obtains
□
Lemma 6.92
(central transform of ). For the same ,
holds. The inputs are , the regularized Fredholm determinant of Definition 6.57, and the central Cauchy–Laplace regularization of Definition 6.84.
Proof.
By Lemma 6.91,
By Definition 6.86,
The assertion follows. Thus the -side central transform is obtained from the -Fredholm determinant expansion and not from any comparison with . □
Lemma 6.93
(central zeta-side logarithmic derivative identity). There exists such that
holds.
Proof.
This is exactly Lemma 6.90, the zeta-side central transform lemma. □
Lemma 6.94
(central trace identity on the singular-boundary side). For the same ,
holds.
Proof.
This is exactly Lemma 6.92, the -side central transform lemma. □
Theorem 6.95
(central transform theorem from the residual-free comparison). There exists such that the map
is holomorphic and satisfies the following:
and
Proof.
Holomorphicity follows from Lemma 6.87. The -side identity follows from Lemma 6.94, whose input is the -Fredholm determinant model for . The zeta-side identity follows from Lemma 6.93, whose input is the standard Hadamard product for the completed zeta function. No central residual-free equality is used in this theorem; it only records the two separate transform identifications. □
Lemma 6.96
(-side central normal convergence estimate). After shrinking if necessary, the central logarithmic-derivative expansion of the Fredholm determinant side is normally convergent on every compact set
after the central subtraction at . More precisely, for every finite set of w-derivatives covered by the seminorms of Definition 6.83, the corresponding series for
converges locally uniformly on B, and the resulting bounds are controlled by finitely many seminorms .
Proof.
By Theorem 6.54,
Let be the nonzero eigenvalues of K, counted with multiplicity. Then and is bounded. After shrinking r, the factors are uniformly bounded away from zero for and all j. The logarithmic derivative of the regularized determinant is
and, in the eigenvalue expansion, each summand is bounded by a constant multiple of
on B. Its finite w-derivatives are bounded by constant multiples of
for the relevant finite m, which is summable because and is bounded. Hence the expansion and its finitely many w-derivatives are normally convergent on B. In particular, for each finite derivative order m, there is a constant such that the j-th w-derivative of the -side pairing on a finite-window input is bounded by times a finite sum of the seminorms controlling the corresponding central kernel derivatives. The exponential normalization contributes only a polynomial expression in w and is therefore controlled by the same central seminorms. □
Lemma 6.97
(-side central Hadamard convergence estimate). The central partial-fraction expansion obtained from the standard Hadamard product of the completed zeta function converges normally on every compact set
after the central subtraction at . The convergence remains valid after finitely many w-derivatives covered by the seminorms of Definition 6.83. This estimate uses only the order-one entire-function structure of and does not assume the Riemann Hypothesis.
Proof.
The completed zeta function is an entire function of order one and admits its standard genus-one Hadamard product. Let range over the zeros of , counted with multiplicity, and put
By Lemma 6.61, for every zero . The logarithmic derivative of the genus-one product, after subtracting its value at the central point, has the central partial-fraction form
The summand may be written as
On a compact set , all but finitely many satisfy
and for those zeros the summand is bounded by a constant multiple of
The genus-one product condition gives
after removing the finite set already mentioned. Hence the central partial-fraction series converges normally on B. After finitely many w-derivatives, the corresponding summands are bounded by constants times for , and the same genus-one estimate gives normal convergence. The polynomial contribution from the exponential factor is controlled by the seminorms of Definition 6.83. Consequently, for each finite derivative order m, the j-th w-derivative of the zeta-side pairing is bounded on B by a finite sum of the seminorms applied to the central test input. No information about the location of the zeros is used; they remain in their a priori positions throughout the argument. □
Theorem 6.98
(continuity of the central pairings). Let be the central comparison space of Definition 6.83. The functionals
initially defined on the span of finite-window central test inputs, extend uniquely to continuous linear functionals on . Consequently, if
then
For the finite-window central cutoff family
of Lemma 6.88, these convergences are locally uniform for w in every compact subset , and the same assertion holds after applying any finite number of w-derivatives covered by the seminorms of Definition 6.83.
Proof.
By Definitions 6.79 and 6.83, the finite-window central test inputs form the prescribed dense generating subspace of for the seminorms . Hence it is enough to have uniform seminorm bounds for the two pairings on this dense subspace.
Concretely, for each compact set and each finite derivative order m, continuity is obtained from estimates of the following form: there are a constant and finitely many seminorms of the form such that every finite-window central test input satisfies
where denotes either or . The two estimates below provide this bound separately for the -side and for the zeta side.
For the -side pairing, these bounds are exactly the normal convergence estimates of Lemma 6.96, which use only
and the logarithmic-derivative expansion. Therefore is continuous on the finite-window central test inputs and extends uniquely to .
For the zeta-side pairing, the required bounds are the central Hadamard convergence estimates of Lemma 6.97. They use only the standard order-one Hadamard product of the completed zeta function and do not use the Riemann Hypothesis. Therefore is also continuous on the finite-window central test inputs and extends uniquely to .
The asserted convergence of pairings follows immediately from these continuous extensions. For the particular family , the local uniformity in w and stability under finitely many w-derivatives follow by combining the continuity just proved with Lemma 6.88.
No step in this argument assumes the Riemann Hypothesis. The zeta-side input is only the standard order-one Hadamard product for , with its zeros left in their a priori positions, and the -side input is only . □
Lemma 6.99
(admissibility of finite-window central cutoffs). For every and every , the finite-window central cutoff test input
belongs to the finite-window comparison class to which the residual-free comparison interface of Section 5 applies. Moreover, the counterterm
is a finite-window calibrated reference term. It changes only the common local principal part of the completed explicit formula and does not change the residual-free quotient class modulo
Proof.
The raw kernel has compact u-support in the finite window and is smooth in both variables. Hence is a bounded finite-window comparison datum of the kind used in Definition 5.21. The counterterm is a finite linear combination of the central and endpoint local jets specified in Definition 6.79. Those jets are inserted identically into the Archimedean, arithmetic, and singular-boundary parts of the completed explicit formula and hence represent a calibrated reference subtraction. They do not introduce an additional -component and do not alter the class of the finite-window datum in the quotient by . Therefore is an admissible finite-window input for the residual-free comparison interface of Section 5. □
Lemma 6.100
(finite-window residual-free equality for central cutoffs). Let be fixed as in Lemma 6.87. For every M and every , the finite-window central cutoff test input
of Definition 6.79 satisfies
This is the finite-window residual-free equality for the central cutoff input.
Proof.
Fix M and . By Lemma 6.99, is an admissible finite-window comparison input for the residual-free comparison interface of Section 5, and its counterterm does not change the quotient class modulo .
The finite-window datum is therefore evaluated through the residual-free comparison interface constructed in Section 5. More precisely, the canonical representative of Definition 5.20 removes the -component; Lemma 5.22 shows that this change of representative does not alter the finite-window comparison datum; and Proposition 5.23 places the remaining -projected contribution on the component , after the prime-power contribution has been evaluated exactly by the arithmetic trace. Equivalently, the same residual-free finite-window comparison interface is summarized in Proposition 6.9.
Applying that interface to the finite-window central cutoff input gives the finite-window equality
No limiting argument and no central continuity statement is used in this lemma; the assertion is the equality at the fixed finite-window level. □
Theorem 6.101
(central residual-free equality). For every ,
holds. The equality is obtained locally uniformly in w on compact subsets of .
Proof.
We separate the argument into the three steps needed for the passage from finite windows to the central kernel.
Step 1: finite-window equality. For every M and every , Lemma 6.100 gives
This equality is the finite-window residual-free comparison equality supplied by the Section 5 residual-free interface, as recalled in the proof of that lemma.
Step 2: finite-window central convergence. Let
be compact. By Lemma 6.88,
in the central comparison topology of , locally uniformly for . The same convergence holds after any finite number of w-derivatives controlled by the seminorms of Definition 6.83.
Step 3: continuity of the central pairings. By Theorem 6.98, the pairings
are continuous on . Hence the convergence in Step 2 implies, locally uniformly for ,
and
Passing to the limit in the finite-window equality of Step 1 gives
Since was arbitrary, the equality holds for every , and the preceding argument gives the asserted local uniformity. □
Theorem 6.102
(local logarithmic derivative equality). There exists such that, for ,
holds. The only inputs are the two central-transform lemmas, Theorem 6.101, and the central normalization of fixed in Section 6.3.
Proof.
By Lemma 6.94,
and by Lemma 6.93,
Theorem 6.101 identifies the two pairings. Therefore
Substituting this equality of central logarithmic derivatives into the preceding display gives the asserted local logarithmic derivative equality. □
Lemma 6.103
(local coefficient equality). For every ,
holds. This lemma records the coefficient consequence of the local logarithmic derivative equality; the subsequent local analytic equality is obtained directly from the quotient argument and does not rely on an additional coefficient comparison.
Proof.
By Theorem 6.102, there exists such that
Moreover, by the normalization of Section 6.3,
Therefore, if the logarithmic branches of Definition 6.74 are fixed with the same value, there exists such that
Thus all Taylor coefficients agree, and
holds. □
Lemma 6.104
(local analytic equality near the central point). There exists such that
holds. The inputs are the local logarithmic derivative equality and the central normalization
Proof.
By Definition 6.74, after shrinking if necessary, both
are nonzero for . Hence the quotient
is holomorphic and nonzero in a smaller central disk. By Theorem 6.102,
there. Thus Q is constant on that disk. The central normalization gives
Therefore in a sufficiently small central disk, which is exactly
□
Theorem 6.105
(identity theorem used in this section). Let be a connected open set, and let be holomorphic functions on U. If
holds on some nonempty open set , then
Proof.
The difference is holomorphic on U, and vanishes on the nonempty open set V. Therefore the zero set of h has an accumulation point in U. By the identity theorem for holomorphic functions, on U. □
Theorem 6.106
(global uniqueness theorem). The normalized determinant comparison function constructed in Section 6.3 agrees with the completed zeta function on the whole plane:
This theorem uses only the local analytic equality near , the fact that both functions are entire, and the identity theorem for holomorphic functions.
Proof.
By Lemma 6.70, and are entire on the connected domain . By Lemma 6.104, there exists such that
The set
is a nonempty open subset of . Applying Theorem 6.105 with and this V gives
□
Corollary 6.107
(zero sets with multiplicity). and ξ have the same zero set on the whole plane, and the multiplicities of their zeros also agree. Namely, for every ,
Proof.
By Theorem 6.106,
Therefore their Taylor expansions at any point agree, and the presence or absence of a zero and the order of the first nonzero Taylor coefficient also agree. Hence the multiplicities agree. □
Remark 6.108
(role of growth estimates). Lemma 6.71, Lemma 6.72, and Corollary 6.73 record that , , and are entire functions of finite order. However, the identity proof of this section does not use Carlson-type theorems or the Phragmén–Lindelöf principle, and uses only the agreement on an open disk obtained in Lemma 6.104 and Theorem 6.105.
Remark 6.109
(output of the analytic comparison layer). Section 6.1 through the present section show that the -side regularized-determinant comparison function obtained from the residual-free comparison interface is identical to the completed zeta function itself. In the finite-window counting below, we use
as an identity on the whole plane. The finite-window bridge and the defect staircase introduced below do not enter the proof of this global identity. They are subsequent auxiliary constructions recording the consequences of the self-adjoint Hilbert–Schmidt determinant model in bounded height windows. This section itself makes no assertion about the location of zeros; applications to zero counting are treated in the following sections.
6.5. Finite-Window Bridge Theorem
This section records consequences of the determinant closure proved in Section 6.4. It uses the global identity
the endpoint stability theorem of Section 6.2, and the argument principle to record zero-counting consequences in a bounded height window. The finite-window bridge is not used in the proof of the determinant identity . Nor are the remaining finite-window subsections used in the proof of Theorem 6.148; they record bounded-window consequences of the spectral localization already obtained from the self-adjoint Hilbert–Schmidt determinant model.
The role of the bridge is purely comparative: it expresses the classical zero count in a finite window as the sum of the critical-line contribution and the off-line defect. It is not a finite-word contradiction argument of the type used in the earlier hybrid formulation. No finite encoding, minimal obstruction, or first-hit contradiction is used in this subsection. No nonexistence of zeros is asserted here. Equivalently, Section 6.5, Section 6.6 and Section 6.7 may be removed without affecting the proof of
or the spectral localization theorem; they are retained to record those conclusions in bounded height windows.
Definition 6.110
(finite rectangle, left wall, and cap path). Let , and let . Define the finite-window rectangle by
Its positively oriented boundary is denoted by
Define the left wall, oriented upward, by
Since the left wall is traversed downward on the positively oriented boundary, write
Here is the cap path consisting of the following three sides:
where
Thus is the positively oriented boundary part excluding the left wall.
Definition 6.111
(admissible zero-counting window). A finite window is said to be -admissible if
holds. Equivalently, no zero of lies on the boundary of the finite window. Under this assumption, the condition of an admissible finite window in Definition 6.23 of Section 6.2 is satisfied for .
Definition 6.112
(classical zero count). When is not the imaginary part of a zero of , define the classical zero count by
Here is the multiplicity of the zero of . The subscript “cl” means classical count, and does not mean critical line.
Definition 6.113
(critical-line and off-line finite-window counts). Let , and suppose that are not imaginary parts of zeros of . Define the critical-line zero count by
Also define the full off-line count by
When is fixed in context, also write
Lemma 6.114
(argument count on the finite rectangle). Let be a -admissible finite window. Then
is equal to
Moreover, using the left wall and the cap path,
Proof.
The function is entire and has no zero on the boundary of . Therefore, by the argument principle,
counts the zeros of inside with multiplicity.
The zeros of are the nontrivial zeros of , and by the standard zero region they satisfy
Therefore, for any choice of ,
Moreover, by -admissibility, neither nor T is the imaginary part of a zero. Hence the zeros inside are exactly the zeros satisfying
and under the right-continuous counting convention this is the same number as the zeros satisfying
Therefore
Finally, by Definition 6.110,
and therefore
The displayed formula follows. □
Lemma 6.115
(analytic local uniform convergence implies Sobolev cutoff convergence). Let be a bounded Lipschitz domain, and let be holomorphic functions on U. If
locally uniformly on compact sets in U, then for every ,
holds.
Proof.
Since , one can take finitely many small disk neighborhoods of inside U. By Cauchy’s integral formula, for every multi-index , there exists such that
The right-hand side converges to zero by local uniform convergence. Therefore the derivatives of every order converge uniformly to zero on . Since the -norm on a bounded domain is dominated by the uniform norm, for every ,
follows. □
Lemma 6.116
(endpoint correction does not change the finite-window count). Let be a -admissible finite window. Let the cutoff comparison functions obtained from the finite-rank cutoffs of Section 6.3 be
Then, for sufficiently large N,
Equivalently, the cutoff endpoint correction on the boundary of the finite window does not change the integer zero count.
Proof.
By Theorem 6.106 of Section 6.4,
Moreover, by Lemma 6.64 of Section 6.3,
locally uniformly on compact sets. By Lemma 6.115, for every and every ,
follows. Therefore, in a neighborhood of , the conditions of the admissible analytic cutoff of Section 6.2 are satisfied. Hence Theorem 6.30 can be applied with
Consequently, for sufficiently large N,
□
Lemma 6.117
(partition into line and off-line zeros). Let be heights that are not imaginary parts of zeros of . Then
Proof.
The difference
counts, with multiplicity, the zeros of satisfying
Each zero belongs exclusively to one of the two alternatives
or
The contribution of the former, collected with multiplicity, is
and the contribution of the latter, collected with multiplicity, is
Therefore the count decomposes as the stated sum. □
Theorem 6.118
(finite-window bridge theorem). Let be a ξ-admissible finite window. Then
Moreover,
Proof.
By Lemma 6.114,
Moreover, by Lemma 6.116, the endpoint correction arising from the finite-rank cutoffs of Section 6.3 does not change this integer count for sufficiently large cutoff degree. Therefore the count obtained by the finite-window argument principle is independent of the presence or absence of cutoff and is
On the other hand, by Lemma 6.117,
Rearranging this gives
The final integral representation is precisely the left-wall/cap-path decomposition of Lemma 6.114. □
Definition 6.119
(finite-window off-line defect). Fix , and suppose that is admissible. Define the finite-window off-line defect by
By Theorem 6.118,
This is called the finite-window tail defect identity.
Corollary 6.120
(admissible-height tail defect identity). Fix , and suppose that is ξ-admissible. Then
holds. In particular,
Proof.
The first equality follows from Definition 6.119 and Theorem 6.118. Moreover,
is a function that counts off-line zeros with multiplicity, and therefore
□
Remark 6.121
(role of the finite-window bridge). Theorem 6.118 is an identity decomposing the total zero count in a finite window into the critical-line zero count and the off-line defect. It is a consequence of the already established determinant identity and the argument principle, not an input to the proof of . At this stage,
is not asserted. In the following sections, this finite-window defect is organized as a nonnegative-integer staircase function and compared with the spectral localization already supplied by the self-adjoint Hilbert–Schmidt determinant model.
6.6. Anchored Defect Staircase
In this section, the contribution of off-line zeros in the upper tail is isolated as a nonnegative-integer-valued right-continuous staircase function. By the finite-window bridge theorem of the preceding section, in a finite window whose boundary does not pass through zeros, this staircase function agrees with the finite-window off-line defect.
This construction records auxiliary finite-window consequences after the determinant identity . It does not contribute to the proof of that identity. It records, in an anchored lattice of bounded height intervals, the same -projected data that will be compared with the spectral localization of the self-adjoint Hilbert–Schmidt determinant model. This section treats only the type of the defect staircase, local finiteness, and decomposition by an anchored lattice; the vanishing of the off-line defect is treated in the next section.
Definition 6.122
(off-line zero multiset above ). Fix . Define the multiset of off-line zeros with positive imaginary part, counted with multiplicity, by
Here is the multiplicity of the zero of .
Definition 6.123
(off-line defect staircase). For , define the off-line defect staircase by
Equivalently,
Thus is the same object as the full off-line count
Lemma 6.124
(compatibility with the finite-window defect). Suppose that is a -admissible height. That is, T is not the imaginary part of a zero of , and is admissible in the sense of Definition 6.111. Then
Proof.
By Definition 6.123,
Also, by Definition 6.119,
Therefore
Furthermore, by Theorem 6.118,
Combining these identities gives the assertion. □
Lemma 6.125
(staircase properties). The function
is nonnegative-integer-valued, monotonically nondecreasing, right-continuous, and has only finitely many jumps on any bounded interval. Moreover, the jump size at is
Here
Proof.
By definition, is the number of zeros counted with multiplicity, and hence
Moreover, if , then
and therefore
We show right-continuity. For fixed , is an entire function, and its zero set is discrete. Therefore there exists such that the interval
contains no imaginary part of a zero of . Then, for ,
and right-continuity follows.
Local finiteness follows for the same reason. For arbitrary ,
is compact, and since the zero set of is discrete, there are only finitely many zeros in this region. Nontrivial zeros lie in the critical strip
and hence there are only finitely many nontrivial zeros whose imaginary parts lie in . Thus has only finitely many jumps on bounded intervals.
Finally, by the half-open convention
the jump at T is exactly the contribution, counted with multiplicity, of the off-line zeros whose imaginary part is exactly T. Therefore
□
Lemma 6.126
(symmetric pairing of off-line zeros). If , , , is a zero of , then
is also a zero with the same multiplicity. Therefore
is even for every .
Proof.
If , then the functional equation
gives , and the reality property
gives
If , then
Moreover, the multiplicity of a zero is preserved under composition with a holomorphic function, and therefore the two zeros have the same multiplicity. Thus off-line zeros with positive imaginary part split into symmetric pairs at the same height. Therefore is even. □
Definition 6.127
(symmetric off-line pair count). By Lemma 6.126, is even. Define the symmetric off-line pair count by
This paper mainly uses the full count , but may equivalently be used when needed.
Definition 6.128
(regular anchored Gram lattice). Fix . A regular anchored Gram lattice above means a strictly increasing sequence
satisfying the following.
- 1.
- 2.
- For each ,is not the imaginary part of a zero of .
- 3.
- Each intervalhas finite length and satisfies
When needed, in a sufficiently large region where the Riemann–Siegel theta function is monotone, one may take phase-anchored Gram points satisfying
as the reference, and perturb only those points that coincide with imaginary parts of zeros by arbitrarily small amounts to obtain a regular lattice. The arguments below use only the three conditions above.
Lemma 6.129
(existence of regular anchored lattices). For every , a regular anchored Gram lattice exists.
Proof.
The set of imaginary parts of zeros of is finite in every bounded interval of . Therefore, for every , there exists a point in the interval
which is not the imaginary part of a zero of . Choosing one such point, and if necessary choosing recursively so as to preserve the ordering, we obtain a strictly increasing sequence
such that
and , for , is not the imaginary part of a zero. This gives
Hence a regular anchored Gram lattice exists. □
Definition 6.130
(anchored interval defects). Let be a regular anchored Gram lattice. For each , write
Define the off-line defect contained in this interval by
Equivalently,
Clearly,
When is fixed in context, abbreviate
Lemma 6.131
(lattice decomposition at anchored heights). For every ,
Proof.
The intervals
are disjoint and satisfy
Each counts the off-line zeros in , with multiplicity. Therefore, taking the sum gives the number of all off-line zeros in
counted with multiplicity, and this is equal to
□
Definition 6.132
(partial interval defect). Let . Take the unique such that , and define the partial interval defect by
Then
Lemma 6.133
(lattice decomposition at arbitrary heights). Let , and suppose that . Then
In particular, when ,
Proof.
By the half-open interval decomposition
the number of off-line zeros in
counted with multiplicity decomposes into the contribution of the complete intervals , and the contribution of the final partial interval
The former is
and the latter is
The assertion follows. □
Corollary 6.134
(first positive defect index). If
for some , then
is well-defined. Moreover,
Proof.
By Lemma 6.133, if , then some finite interval contribution or partial interval contribution is positive. In that case, at least one is positive. By the well-ordering property of the natural numbers,
exists. By definition,
□
Remark 6.135
(role of the anchored staircase). The objects constructed in this section are the nonnegative-integer-valued right-continuous staircase function
and its anchored lattice decomposition
This staircase does not supply an additional assumption for the determinant identity. It only records the off-line part of the zero count after the identity has already been established. In the next section, using the spectral localization of the regularized determinant and the staircase-function structure of this section, we show that the off-line defect vanishes identically.
6.7. No-First-Hit THEOREM
This section is the first point at which zero localization is used. The input is the self-adjoint Hilbert–Schmidt realization of Section 6.3 together with the global determinant identity of Section 6.4,
The finite-window bridge and the defect staircase of Section 6.5–6.6 are used only to record this localization in bounded height windows and anchored intervals. They are not used to prove .
The core of the argument is spectral localization: the zeros of the regularized determinant
are localized on the critical line by the real eigenvalues of the self-adjoint operator K. The defect staircase of Section 6.6 then translates this spectral localization into the vanishing of a nonnegative-integer-valued staircase function. Thus the no-first-hit argument is a subsequent zero-counting consequence of the determinant closure, not a replacement for the finite-word contradiction mechanism of the earlier hybrid formulation.
Definition 6.136
(regular admissible heights above ). Fix , and assume that is not the imaginary part of a zero of . Define
Lemma 6.137
(regular heights give admissible windows). If , then for every , is -admissible in the sense of Definition 6.111.
Proof.
Nontrivial zeros lie in the critical strip
Therefore no zero lies on the vertical sides and . Moreover, since and T are not imaginary parts of zeros, no zero lies on the upper or lower horizontal side. Therefore
and is -admissible. □
Lemma 6.138
(right-density of admissible heights). For every and every ,
In particular, for each , one can take a sequence
Proof.
Nontrivial zeros lie in the critical strip
Therefore the nontrivial zeros whose imaginary parts lie in are contained in the compact rectangle
Since is an entire function and its zero set is discrete, there are only finitely many zeros in this compact set. Hence there are only finitely many values in the interval that occur as imaginary parts of zeros, and the complement is nonempty. Thus
Taking and choosing a point gives a sequence satisfying , . If necessary, by taking a monotone subsequence, one can arrange that . □
Lemma 6.139
(spectral product for the determinant comparison function). Let , and denote its nonzero eigenvalues, counted with algebraic multiplicity, by
Then
and the product converges uniformly on compact sets.
Proof.
By Theorem 6.54, K is a self-adjoint Hilbert–Schmidt operator. Therefore K is a compact normal operator, and by the spectral theorem it is diagonalized by a real eigenvalue sequence and an orthonormal system of eigenvectors. Applying the product representation of Definition 6.57 to , one obtains
Since , this -product converges uniformly on compact sets. Multiplying by the exponential normalization factor gives the displayed formula. □
Theorem 6.140
(spectral localization of zeros). All zeros of lie on the critical line. Namely,
More concretely, the zeros are of the form
for nonzero eigenvalues , and their multiplicities agree with the corresponding eigenvalue multiplicities.
Proof.
In the representation of Lemma 6.139, the exponential factors
have no zeros. Therefore is equivalent to the existence of a nonzero eigenvalue such that
Solving this gives
By self-adjointness, , and hence
If the same eigenvalue occurs with multiplicity, then the corresponding linear factor occurs with the same multiplicity, and therefore the zero multiplicity is equal to the eigenvalue multiplicity. □
Corollary 6.141
(spectral localization of zeros of ). All nontrivial zeros of the completed zeta function ξ lie on the critical line. Namely,
Proof.
By Theorem 6.106,
Therefore the zeros of agree with the zeros of , counted with multiplicity. By Theorem 6.140, all zeros of lie on the critical line. Hence all zeros of also lie on the critical line. □
Theorem 6.142
(admissible-height vanishing of the tail defect). For every
one has
Proof.
By Corollary 6.141, has no off-line zeros. Therefore, for every ,
is empty. In particular, if , then
□
Lemma 6.143
(extension from admissible heights to all heights). For every
one has
Proof.
Take arbitrary . By Lemma 6.138, one can take a sequence
By Theorem 6.142, for each j,
On the other hand, by Lemma 6.125, is right-continuous. Therefore
□
Theorem 6.144
(no-first-hit theorem). There is no first hit of the off-line defect in the upper tail. Namely,
Proof.
This follows immediately from Lemma 6.143. □
Definition 6.145
(RH above ). means that, for every nontrivial zero
one has
Theorem 6.146
(RH above ).
holds.
Proof.
By Theorem 6.144,
If there existed an off-line zero
with , then taking would give
This contradicts Theorem 6.144. Therefore all nontrivial zeros with satisfy
□
Corollary 6.147
(vanishing of anchored interval defects). For every regular anchored Gram lattice
one has
Proof.
By Theorem 6.144,
By Definition 6.130,
The right-hand side is
Therefore
□
Theorem 6.148
(Riemann Hypothesis). For every nontrivial zero
one has
That is, the Riemann Hypothesis holds.
Proof.
By Corollary 6.141, all nontrivial zeros of the completed zeta function lie on the critical line. Therefore, for every nontrivial zero
one has
This is precisely the Riemann Hypothesis. □
Remark 6.149
(logic of the spectral closure). The argument of this section connects the spectral localization on the regularized-determinant side with the nonnegative-integer-valued defect staircase of Section 6.6. From the reality of the eigenvalues of the self-adjoint Hilbert–Schmidt operator K, the zeros of are localized on the critical line. By the global uniqueness of Section 6.4,
the zeros of are identified with the same critical-line zeros. Therefore the off-line defect staircase is identically zero, and the Riemann Hypothesis follows.
7. Conclusions
This section records the logical combination of the preceding constructions. The main theorem has already been proved as Theorem 6.148; no new assumptions, external inputs, or additional comparison principles are introduced here.
Section 2 constructs the analytic operator setting. The weighted Hilbert space, the quadratic form , its admissible core, the closed form, the associated self-adjoint operator , and the positive shifted operator are fixed there. The compact embedding of the form domain and the compact-resolvent reference operator give a purely discrete spectral framework. The scalar Herglotz-type resolvent function provides the analytic resolvent data used later in the kernel and determinant constructions.
Section 3 constructs the coefficient-space arithmetic data. The formal Dirichlet algebra, the completed augmentation ideal, the exact prime indicator, the exact von Mangoldt lift
the composite-cancellation operator, and the arithmetic derivation are defined in that section. The coefficient Hilbert space and the weighted diagonal arithmetic trace then provide an exact Hilbert-space evaluation of the prime-power contribution. These arithmetic objects are not used in Section 4; they are combined with the singular-boundary data only in the orthogonal-decomposition framework of Section 5.
Section 4 constructs the singular-boundary data inside the analytic Hilbert-space setup. The Gelfand triple
is fixed, and point evaluations, singular boundary traces, distribution kernels, and boundary forms are separated by type. The boundary parameter space, zero-area singular locus, trace maps, support maps, and regular boundary trace-mass functionals are constructed. The boundary bilinear form and the cancellation identity remove the regular boundary trace-mass contribution while preserving the singular-boundary component. The one-sided singular-boundary subspace , the projection , the Friedrichs-type realization, the singular-boundary transport group, the anti-self-adjoint generator, and the boundary-distribution kernel representation are thereby obtained. These objects supply the analytic boundary data used in Section 6.
Section 5 places the arithmetic and singular-boundary constructions in the common ambient Hilbert space X. The one-sided singular-boundary subspace is embedded as
and the ambient projection is
Together with the arithmetic embedding, this gives the orthogonal decomposition
For localized finite-window comparison data, the arithmetic contribution is evaluated by the weighted diagonal arithmetic trace, and the residual component is removed by passing to the canonical representative
Thus
and the remaining -projected component is represented in the singular-boundary subspace .
Section 6 converts this residual-free comparison interface into an analytic determinant identity. The singular boundary trace and the continuous extension of the localized comparison interface give the map
The functional equation first gives the boundary reflection
Definition 6.34, Lemma 6.35, and Lemma 6.37 establish its involutive, pairing-preserving, admissibility-preserving, and residual-free compatibility properties. Proposition 6.38 then descends this reflection to a bounded self-adjoint involution
The signed boundary-distribution comparison kernel is
Lemma 6.42 shows its Hermitian symmetry using only and the Hilbert-space inner product. The smoothing estimates of Theorem 6.50 and Theorem 6.51, together with Proposition 6.52, yield the self-adjoint Hilbert–Schmidt realization
in Theorem 6.54. Remark 6.43 records that this construction uses the functional equation, the boundary-distribution framework, and the orthogonal projections, but not any zero-location information or RH-equivalent positivity assumption.
From K, Definition 6.57 and Definition 6.62 define
The constants fix only the central value and first logarithmic derivative, as recorded in Remark 6.63. Lemma 6.64 proves that is entire, and Theorem 6.68 collects the trace-ideal determinant output of Section 6.3.
The determinant identity is obtained in Section 6.4 through the central Cauchy–Laplace comparison. Definition 6.75 fixes the central kernel, Definition 6.76 fixes the raw finite-window cutoffs, Definition 6.77 fixes the central finite-jet map, and Definition 6.78 fixes the finite-dimensional principal-part space, universal principal-part map, and principal-part embedding into the pre-completion test-input space. Definition 6.79 then defines the regularized finite-window input by the algebraic subtraction of the embedded counterterm inside . Lemma 6.80 shows that this counterterm is the common local principal part for the Archimedean, arithmetic-trace, and singular-boundary contributions; Lemma 6.81 shows that this finite-jet subtraction is controlled by the defining seminorms. Definition 6.83 fixes the topology of , Definition 6.84 records the resulting central finite-part operation, and Remark 6.85 records that this regularization does not define the conclusion .
Lemma 6.88 proves the convergence
locally uniformly in w, and Theorem 6.98 proves the continuity of the - and -pairings on . Lemma 6.100 gives the finite-window residual-free equality for the central cutoffs. Therefore Theorem 6.101 passes to the limit and obtains
The two sides of this equality are identified separately. Lemma 6.92 identifies the K-side central transform with
while Lemma 6.90 identifies the zeta-side central transform with
The zeta-side identification uses the standard Hadamard product of the completed zeta function and does not assume RH. Theorem 6.102 then gives
Lemma 6.104 uses the normalization to obtain local analytic equality. The identity theorem, recorded in Theorem 6.105, gives the global identity
in Theorem 6.106.
The remaining step is spectral localization. Since is compact, its nonzero eigenvalues are real. Hence a zero of
has the form
or equivalently
The exponential factor in has no zeros, so all zeros of lie on the critical line. Since , the same zero configuration holds for the completed zeta function. Hence all nontrivial zeros of lie on the critical line, and the Riemann Hypothesis follows.
Remark 7.1
(role of the finite-window material). The finite-window bridge and the anchored defect staircase of Section 6.5 and 6.6 do not add an independent hypothesis to the determinant argument and are not used to prove . They record, in finite-window form, the zero configuration obtained from the global identity and the spectral localization of the self-adjoint Hilbert–Schmidt operator K. The closure of the main proof is provided by the trace-ideal realization of Section 6.3, the central comparison and global uniqueness argument of Section 6.4, and the spectral localization in Section 6.7.
References
A. Standard background on the zeta function and the Riemann Hypothesis
B. Closed forms, self-adjoint realizations, and spectral theory
C. Semigroups, compactness, and PDE / Sobolev tools
D. Gelfand triples, distribution kernels, and measure theory
E. Regularized Fredholm determinants and Schatten classes
F. Complex analysis, canonical products, and the identity theorem
- Standard background on analytic functions of one complex variable, canonical products, local-to-global analytic continuation, and the identity theorem used in the passage from the local equality to the global identity: [16]
Author Contributions
Conceptualization, Y.S.; methodology, Y.S.; software, Y.S.; validation, Y.S.; formal analysis, Y.S.; investigation, Y.S.; resources, Y.S.; data curation, Y.S.; writing—original draft preparation, Y.S.; writing—review and editing, Y.S.; visualization, Y.S.; supervision, Y.S.; project administration, Y.S.; funding acquisition, Y.S. All authors (single-author paper) have read and agreed to the published version of the manuscript.
Funding
This research received no external funding. The APC was funded by the author.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
No new data were created or analyzed in this study. Data sharing is not applicable to this article.
Acknowledgments
In the pre-review of an early version of this paper (September 2025, Dr. Anik Chakraborty), I received constructive and concrete comments concerning small-band equivalence, the uniqueness principle, the rigorous treatment of band endpoint terms, the regularized Fredholm determinant and coefficient identification, and the justification of densification and interchange of limits. In light of these suggestions, the relevant points were systematically reinforced in the old version in order to improve the self-containedness and auditability of the proof. I express my deep gratitude here. In comments on an old version of this paper (February 2026, Dr. Michel Planat), I received extremely essential and sharp remarks concerning the application of the uniqueness principle in extending narrow-band identification to global identification, and concerning the possible anticipation of implicit positivity (the Herglotz structure) and the risk of circular reasoning arising in that process. This constructive criticism, based on his deep insight, was the direct occasion for fundamentally reconsidering the previous local/global strategy and for completely reconstructing the proof architecture of this paper into the present functional-analytic orthogonal framework. I express my deep gratitude here to him for providing the decisive turning point for this revision. Any remaining deficiencies or errors in this paper are entirely my responsibility.
Conflicts of Interest
The author declares no conflict of interest.
References
- Gel’fand, I.M.; Vilenkin, N.Y. Generalized Functions. In Applications of Harmonic Analysis; Academic Press, 1964; Vol. 4. [Google Scholar]
- Trèves, F. Topological Vector Spaces, Distributions and Kernels; Academic Press, 1967. [Google Scholar]
- Folland, G.B. Real Analysis: Modern Techniques and Their Applications, 2nd ed.; John Wiley & Sons, 1999. [Google Scholar]
- Simon, B. Trace Ideals and Their Applications. In Mathematical Surveys and Monographs, 2nd ed.; American Mathematical Society: Providence, RI, 2005; Vol. 120. [Google Scholar]
- Gohberg, I.C.; Kreĭn, M.G. Introduction to the Theory of Linear Nonselfadjoint Operators in Hilbert Space. In Translations of Mathematical Monographs; American Mathematical Society: Providence, RI, 1969; Vol. 18. [Google Scholar]
- Riemann, B. Über die Anzahl der Primzahlen unter einer gegebenen Grösse. Monatsberichte Der Königlich Preußischen Akad. Der Wiss. Zu Berl. Published in the Monatsberichte for November 1859. 1859, 671–680. [Google Scholar]
- Titchmarsh, E.C. The Theory of the Riemann Zeta-Function, 2nd ed.; Heath-Brown, D. R., Ed.; The Clarendon Press, Oxford University Press, 1986. [Google Scholar]
- Edwards, H.M. Riemann’s Zeta Function; Academic Press, 1974. [Google Scholar]
- Ivić, A. The Riemann Zeta-Function: Theory and Applications; Reprint of the 1985 Wiley edition; Dover Publications, 2003. [Google Scholar]
- Kato, T. Perturbation Theory for Linear Operators. In Classics in Mathematics, 2nd ed.; Springer-Verlag, 1995. [Google Scholar]
- Reed, M.; Simon, B. Methods of Modern Mathematical Physics. I. Functional Analysis, 2nd ed.; Academic Press, 1980. [Google Scholar]
- Davies, E.B. Spectral Theory and Differential Operators. In Cambridge Studies in Advanced Mathematics; Cambridge University Press, 1995; Vol. 42. [Google Scholar]
- Pazy, A. Semigroups of Linear Operators and Applications to Partial Differential Equations. In Applied Mathematical Sciences; Springer-Verlag, 1983; Vol. 44. [Google Scholar] [CrossRef]
- Evans, L.C. Partial Differential Equations. In Graduate Studies in Mathematics, 2nd ed.; American Mathematical Society, 2010; Vol. 19. [Google Scholar]
- Adams, R.A.; Fournier, J.J.F. Sobolev Spaces. In Pure and Applied Mathematics, 2nd ed.; Academic Press, 2003; Vol. 140. [Google Scholar]
- Conway, J.B. Functions of One Complex Variable I. In Graduate Texts in Mathematics, 2nd ed.; Springer-Verlag: New York, 1978; Vol. 11. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2026 by the author. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.