Abstract
In spectral theory, j-monotonic families of \(2\times 2\) matrix functions appear as transfer matrices of many one-dimensional operators. We present a general theory of such families, in the perspective of canonical systems in Arov gauge. This system resembles a continuum version of the Schur algorithm, and allows to restore an arbitrary Schur function along the flow of associated boundary values at infinity. In addition to results in Arov gauge, this provides a gauge-independent perspective on the Krein–de Branges formula and the reflectionless property of right limits on the absolutely continuous spectrum. This work has applications to inverse spectral problems which have better behavior with respect to a normalization at an internal point of the resolvent domain.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 j-Monotonic Families
For the most famous classes of one-dimensional self-adjoint and unitary operators, such as Schrödinger, Dirac, Jacobi, and CMV operators [16, 21], a basic object in their study is a \(2\times 2\) transfer matrix \({\mathcal {A}}(z,t)\), which describes the evolution of formal eigensolutions at “energy” (spectral parameter) \(z\in {\mathbb {C}}\) from values at 0 to values at t. These are sometimes viewed as part of families \({\mathcal {A}}(z,t_1,t_2)\) with \({\mathcal {A}}(z,t) = {\mathcal {A}}(z,0,t)\) and the cocycle condition
(we use the convention that matrices act as linear operators by right-multiplication on row vectors). The exact construction of the transfer matrix includes some conventions specific to each class of operators, but in all cases, the standard conventions give matrices which are entire functions of z, obey
and
These assumptions will hold throughout our paper. Our primary motivation here are continuous systems, so we think of t as a continuous parameter and \({\mathcal {A}}(z,t)\) will be continuous in t.
Another crucial property, first observed by Weyl [22] in the setting of Schrödinger operators, is the nesting property of certain Weyl disks and an associated limit point/limit circle dichotomy. This is naturally expressed in the following language.
Definition 1.1
Let j be a \(2\times 2\) matrix such that \(j=j^* = j^{-1}\). An entire \(2\times 2\) matrix valued function \({\mathcal {A}}(z)\) is called j-inner if it obeys \(j - {\mathcal {A}}(z) j {\mathcal {A}}(z)^* \ge 0\) for \(z \in {\mathbb {C}}_+ = \{z\in {\mathbb {C}}: \; \text {Im}\,z > 0\}\) and \(j - {\mathcal {A}}(z) j {\mathcal {A}}(z)^* = 0\) for \(z \in {\mathbb {R}}\).
There is a reflection symmetry: for every j-inner entire function \({\mathcal {A}}(z)\),
This holds on \({\mathbb {R}}\) by \(j{\mathcal {A}}(z) j {\mathcal {A}}(z)^* = I\), and since both sides are entire, it holds on \({\mathbb {C}}\).
Definition 1.2
A family of matrix functions \({\mathcal {A}}(z,t)\) parametrized by a real parameter t is called j-monotonic if \({\mathcal {A}}(z,t_1)^{-1} {\mathcal {A}}(z,t_2)\) is j-inner whenever \(t_1 < t_2\).
To the family \({\mathcal {A}}(z,t)\) we associate for \(z \in {\mathbb {C}}_+\), \(t \ge 0\) the Weyl disks
The j-monotonic property implies
and precisely corresponds to the nesting property of the Weyl disks, \(D(z,t_2) \subset D(z,t_1)\) for \(t_1 < t_2\).
The exact j-monotonic property depends on the class of operators; for some classes of self-adjoint operators one has \({\mathcal {J}}\)-monotonicity with
However, this matrix can always be changed by a suitable conjugation of the transfer matrices, so without loss of generality, in this paper we will study j-monotonic transfer matrices for the choice
Note that with this convention, \({\mathcal {A}}(z,0) = I\) implies \(D(z,0) = \overline{{\mathbb {D}}}\), i.e., our Weyl disks are subsets of the unit disk. Thus, our choice of j also provides a convenient compactification. Moreover, for \(z\in {\mathbb {R}}\), the values \({\mathcal {A}}(z,t)\) belong to the group of \(2\times 2\) matrices
It follows from definitions that Weyl disks are not affected by a transformation
Borrowing terminology from Yang–Mills theory, we say that the family of transfer matrices has a gauge freedom with the gauge group \({\mathrm {SU}}(1,1)\), while the Weyl disks are observables, i.e., gauge independent. In direct spectral theory, transfer matrices are often normalized by a certain behavior at \(\infty \), and in the theory of canonical systems, many works have been written in what we will call Potapov–de Branges gauge (PdB gauge), which is normalized at \(z=0\) [4, 10, 17, 20]. However, a different gauge was suggested by Arov, see [9] for historical remarks:
Definition 1.3
We say the j-monotonic family \({\mathcal {A}}(z,t)\) is:
-
in Potapov–de Branges gauge (PdB-gauge) if \({\mathcal {A}}(0,t) = I\) for every t;
-
in Arov gauge (A-gauge) if for every t,
$$\begin{aligned} {\mathcal {A}}(i,t) = \begin{pmatrix}a_{11}&{}0\\ a_{21}&{}a_{22}\end{pmatrix}, \qquad a_{11}>0, \quad a_{22}>0. \end{aligned}$$(1.5)
Every j-monotonic family can be uniquely placed in PdB-gauge, by choosing \(U(t) = {\mathcal {A}}(0,t)^{-1}\) in (1.4), and that transformation preserves continuity. Likewise, every j-monotonic family can be uniquely transformed into A-gauge by (1.4), and the transformation preserves continuity:
Proposition 1.4
Every j-monotonic family can be uniquely placed in Arov gauge via a transformation (1.4). Moreover, if the family \({\mathcal {A}}(z,t)\) is continuous, so is the corresponding family U(t). Conversely, given a j-monotonic family \({\mathcal {A}}(z,t)\) in the Arov gauge, the family \({\mathcal {B}}(z,t) = {\mathcal {A}}(z,t){\mathcal {A}}(0,t)^{-1}\) is j-monotonic and satisfies the PdB-gauge.
1.2 Canonical Systems
j-Monotonic families arise in great generality as solutions of canonical systems, which we first define in a gauge-independent form:
Definition 1.5
A canonical system is an initial value problem of the form
with \(2\times 2\) matrix valued coefficients \({\mathcal {P}}, {\mathcal {Q}}\) locally integrable with respect to a positive continuous Borel measure \(\nu \) on \({\mathbb {R}}\) and such that \({\mathcal {P}}\ge 0\), \({\mathcal {Q}}= -\, {\mathcal {Q}}^*\), \(\text {trace}\,(j{\mathcal {P}}) = \text {trace}\,(j{\mathcal {Q}}) = 0\) \(\nu \)-almost everywhere. In particular, we say the canonical system (1.6) is:
-
in Potapov–de Branges gauge (PdB-gauge) if \({\mathcal {Q}}= 0\) \(\nu \)-a.e.,
-
in Arov gauge (A-gauge) if \({\mathcal {P}}+ {\mathcal {Q}}\) is lower triangular and \(\text {trace}\,{\mathcal {Q}}= 0\) \(\nu \)-a.e..
Note that (1.6) is the integral form of the initial value problem
under the regularity assumptions that \({\mathcal {A}}\) is locally absolutely continuous with respect to \(\nu \), \(\partial _\nu {\mathcal {A}}\) denotes the Radon–Nikodym derivative with respect to \(\nu \), and equality is assumed \(\nu \)-almost everywhere. By standard Volterra arguments, this initial value problem has a unique solution on any interval on which \(\nu \) is finite; we call this solution the transfer matrix of the canonical system.
Remark 1.6
Gauge transformations (1.4) can be applied at the level of the canonical systems (Lemma 2.3). The classical Dirac operator corresponds to the canonical system (1.7) with \({\mathcal {P}}(t)=I\), and for a one-dimensional Schrödinger operator with a locally integrable potential q, transfer matrices solve the canonical system (1.7) with
In both cases \(\nu (t)=t\). These gauges are not universal: not any canonical system can be reduced to one of these forms. In particular, one of them can not be reduced to the other by a gauge transform (1.4).
For canonical systems in A-gauge, it follows from the definition that \({\mathcal {P}}+ {\mathcal {Q}}\) is a nonnegative scalar multiple of a matrix of the form
By grouping that multiplier with the measure and changing the notation, we write canonical systems in A-gauge in the form
where \(A \ge 0\) and \(B^* = -\,B\), so (1.8) gives
and \(A \ge 0\) implies \(|{\mathfrak {a}}|\le 1\). Due to this representation, the pair \((\mu ,{\mathfrak {a}})\) where \(\mu \) is a positive measure which is finite on compact subsets of \({\mathbb {R}}\), and \({\mathfrak {a}}\in L^\infty (d\mu )\) with \(\Vert {\mathfrak {a}}\Vert _\infty \le 1\), are the parameters of the canonical system in A-gauge.
In this paper we will denote by the same letter a measure \(\mu \), finite on compact subsets of \({\mathbb {R}}\), and the corresponding distribution function which is an increasing function. Thus, we can write, e.g., \(\mu ([\ell _1, \ell _2)) = \mu (\ell _2) - \mu (\ell _1)\) for \(\ell _1 \le \ell _2\). It is well-known that each non-decreasing continuous function on \({\mathbb {R}}\) is the distribution function of some nonnegative continuous Borel measure \(\mu \) finite on compacts in \({\mathbb {R}}\).
We will explain in Sect. 2 that our definitions for j-monotonic families and for canonical systems are precisely compatible. In particular, the solution of any canonical system in A-gauge is a continuous j-monotonic family \({\mathfrak {A}}(z,\ell )\) in A-gauge with \(\det {\mathfrak {A}}(z,\ell ) = 1\) and \({\mathfrak {A}}(z,0) = I\). Conversely:
Theorem 1.7
Let \({\mathfrak {A}}(z,\ell )\) be a continuous j-monotonic family in A-gauge with \(\det {\mathfrak {A}}(z,\ell ) = 1\) for all \(z, \ell \) and \({\mathfrak {A}}(z,0) = I\). Then:
-
(a)
\({\mathfrak {A}}(z,\ell )\) is the solution of a canonical system in A-gauge (1.9);
-
(b)
The matrix entry \({\mathfrak {A}}_{22}(i,\ell )\) is a decreasing function of \(\ell \) and the positive measure \(\mu \) is determined by its distribution function
$$\begin{aligned} \mu (\ell ) = \log {\mathfrak {A}}_{11}(\ell ) = -\, \log {\mathfrak {A}}_{22}(i,\ell ). \end{aligned}$$ -
(c)
The function \( {\mathfrak {A}}(i,\ell )\) is a.c. with respect to \(\mu \) and the parameters \({\mathfrak {a}}\) are determined by
$$\begin{aligned} A(\ell ) + B(\ell ) = \begin{pmatrix} 1 &{} 0 \\ -\,2{\mathfrak {a}}(\ell ) &{} 1 \end{pmatrix} = -\, ({\mathfrak {A}}(i,\ell ))^{-1} \partial _\mu {\mathfrak {A}}(i,\ell ) j, \qquad \mu \text {-a.e. }\ell . \end{aligned}$$Moreover, \(|{\mathfrak {a}}(\ell ) |\le 1\) for \(\mu \)-a.e. \(\ell \).
-
(d)
at \(z=i\), the solution has the form
$$\begin{aligned} {\mathfrak {A}}(i,\ell ) = \begin{pmatrix} e^{\mu (\ell )} &{} 0 \\ -\,e^{\mu (\ell )} \kappa (\ell ) &{} e^{-\mu (\ell )} \end{pmatrix}, \end{aligned}$$(1.11)where
$$\begin{aligned} \kappa (\ell ) = \int _0^\ell 2 {\mathfrak {a}}({t}) e^{-2\mu ({t})} d\mu ({t}). \end{aligned}$$(1.12)
Among the conclusions of Theorem 1.7, note that it follows from (1.9) that, if \(\mu ([\ell _1,\ell _2)) = 0\) for some \(\ell _1 < \ell _2\), then \({\mathfrak {A}}(z,\ell )\) is constant on \(\ell \in [\ell _1,\ell _2]\). In particular, \(\mu \) is strictly increasing if and only if the family \({\mathfrak {A}}\) is, in a sense, strictly j-monotonic.
1.3 General Results in A-Gauge and Gauge-Independent Applications
Having explained the correspondence between j-monotonic families and canonical systems in A-gauge, we now turn to a systematic consideration of their general properties. We consider A-gauge to be a natural point of view; it allows different proofs, and in some cases provides new proofs of certain gauge-independent facts previously known in PdB gauge. For instance, since the Weyl disks are nested, they shrink as \(\ell \) increases to a point or a disk. This alternative is independent of the choice of \(z \in {\mathbb {C}}_+\), and determined in A-gauge completely by \(\mu \):
Proposition 1.8
(Limit point/limit circle alternative) Consider a canonical system in A-gauge (1.9) and the associated Weyl disks. For any \(z\in {\mathbb {C}}_+\), \(\cap _{\ell > 0} D(z,\ell )\) consists of a single point if and only if \(\sup _{\ell } \mu (\ell ) = \infty \).
In the limit point case, the intersection defines a function
which is a Schur function, i.e., an analytic function \(s_+ : {\mathbb {C}}_+ \rightarrow \overline{{\mathbb {D}}}\).
Until now, we were vague about the interval of definition of the j-monotonic family/canonical system, as the results hold on any interval. From now on, we always assume the canonical system is defined at least on the half-line \([0,\infty )\), and assume that it is in the limit point case. In other words, \(\mu (\ell ) \rightarrow \infty \) as \(\ell \rightarrow \infty \). It is also convenient to assume that the j-monotonic family is not constant on any interval of \(\ell \); this corresponds to assuming that \(\mu \) gives positive measure to any interval.
Coefficient stripping can be implemented on the canonical system by the usual truncation of the parameters, or directly on the j-monotonic family: coefficient stripping by length \(\ell > 0\) is the operation
The coefficient stripped transfer matrices have Schur functions \(s_+(z,\ell )\).
Proposition 1.9
(Ricatti equation) For an arbitrary canonical system in A-gauge, for any \(z \in {\mathbb {C}}_+\), the family of Schur functions \(s_+(z,\ell )\) is absolutely continuous with respect to \(\mu \) and
Conversely, the boundary values at \(\infty \) determine the parameters \({\mathfrak {a}}\):
Proposition 1.10
For \(\mu \)-a.e. \(\ell > 0\), the Schur functions have the nontangential boundary values
Using A-gauge, we give a new proof of the de Branges mean type theorem (see Section 39 in [10]) discovered by Krein [15].
Theorem 1.11
For an arbitrary canonical system (1.6), the exponential type of the transfer matrix
can be computed as
In particular, in A-gauge (1.16) is of the form
Remark 1.12
In discrete systems, the parameter \(\ell \) usually corresponds to a polynomial degree. Likewise, by the Paley–Wiener theorem for classical continuous systems \(\ell \) corresponds to the exponential type of \({\mathfrak {A}}(z,\ell )\), i.e., \({\sigma }(\ell )=\ell \), see also [5, 9]. Moreover, the measure \(\mu \) is absolutely continuous w.r.t. to \(\ell \) if and only if \({\mathfrak {a}}(\ell )\in {\mathbb {D}}\) \(\mu \)-almost everywhere. In a.c. case, by (1.17) \(\mu \) is expressed in terms of the continuous Verblunsky parameter \({\mathfrak {a}}\) and the exponential type \(\ell \) as
There are two associated existence results. One is the existence of a canonical system on an interval [0, L] corresponding to a prescribed j-inner function \({\mathcal {A}}(z,L)\); this inverse problem was the main result of Potapov [17], and was proved in a much more general setting. Another inverse problem, proved by de Branges [10], is the existence of a canonical system on \([0,\infty )\) with prescribed spectral Schur function \(s_+\). Of course, these are not the only ways of obtaining canonical systems. In [5], we directly construct reflectionless canonical systems in A-gauge and prove that they have the desired spectral functions, and we do not use the abstract existence results.
It is common in the theory of canonical systems to parametrize the line in a special way; in PdB-gauge, the standard parametrization involves taking \(\text {trace}\,{\mathcal {P}}= 1\) and setting \(\nu \) to be Lebesgue measure. However, if j-monotonicity is viewed as the central notion, it is more natural to formulate the theory up to a reparametrization of the real line; moreover, in direct spectral theory, the parametrization is already fixed by the underlying operator structure (and usually corresponds to the exponential type of the transfer matrix of order one or 1/2); finally, in inverse spectral theory, it will be natural to use a parametrization which provides a linearization of the shift under the generalized Abel–Jacobi mapping [5]. For these reasons, our formulations don’t fix a parametrization. Our formulation for canonical systems offers the same flexibility: if \(g: [0,\infty ) \rightarrow [0,\infty )\) is a monotone bijection, then the reparametrization
affects the solution by \({\tilde{{\mathfrak {A}}}}(z,\ell ) = {\mathfrak {A}}(z,g(\ell ))\). In particular, observables like the Weyl disks and the Schur function \(s_+(z)\) do not change. By a deep result of de Branges, translated into A-gauge, this is the only nonuniqueness:
Theorem 1.13
(de Branges uniqueness theorem in A-gauge) If two canonical systems in A-gauge with parameters \((\mu ,{\mathfrak {a}})\) and \(({\tilde{\mu }} ,{\tilde{{\mathfrak {a}}}})\) have the same Schur function \(s_+\), then there exists a monotone bijection \(g: [0,\infty ) \rightarrow [0,\infty )\) such that (1.18) holds.
1.4 Reflectionless Canonical Systems
Canonical systems can also be considered in a two-sided setting (parametrized by \(\ell \in {\mathbb {R}}\)), with the same definition of PdB-gauge and A-gauge. A reflection of the real line, which preserves j-monotonicity (see Sect. 3), is given by
This allows us to define \(s_-\) as the Schur function which corresponds to the system \(\{ j_1 {\mathcal {A}}(z,-t) j_1 \}_{t \ge 0}\). The operation (1.19) does not preserve A-gauge, but this can be corrected by an additional factor (see Proposition 3.4).
This paper is also the first part of a series in which we develop a general theory of reflectionless one-dimensional systems and the interplay between the reflectionless property and almost periodicity of parameters of the canonical system. The reflectionless property is a certain pseudocontinuation relation between the two spectral functions which encode the two half-line restrictions of the operator; in the setting for Schur functions, the canonical system is reflectionless on \({\mathsf {E}}\) if
It was first observed as a property of periodic operators and finite gap quasiperiodic operators; by Kotani theory [13], it is a general feature of ergodic operators with zero Lyapunov exponent on the spectrum. Remling proved that the reflectionless property is a general property of right limits of operators with absolutely continuous spectrum, in the setting of Jacobi matrices [18] and Schrödinger operators [19], with an extension to canonical systems in PdB-gauge by Acharya [1]. In the current paper, we extend Remling’s theorem to canonical systems in a gauge-independent setting. As a corollary, almost periodicity of canonical system coefficients implies the reflectionless property on the a.c. spectrum:
Theorem 1.14
Assume that for all \(L>0\), the functions
are uniformly almost periodic matrix functions of t. Then the canonical system (1.6) is reflectionless on its a.c. spectrum \(\{\xi \mid |s_+(\xi +i0) |< 1 \} \cup \{ \xi \mid |s_-(\xi +i0) |< 1\}\).
In particular, Theorem 1.14 applies in A-gauge, and applies to Dirac operators.
This is the first paper in our theory of reflectionless canonical systems. In the second paper [5], we consider the opposite direction, and construct reflectionless canonical systems with a Dirichlet-regular Widom spectrum \({\mathsf {E}}\) with the DCT property. For this class of spectra \({\mathsf {E}}\), we prove that reflectionless canonical systems in A-gauge always have almost periodic parameters, but that this is not always true in PdB-gauge, nor in a gauge normalized at \(\infty \). For that problem, A-gauge is the correct general setting, since it corresponds to a normalization with respect to a point which is always an internal point of the resolvent domain. In this sense, the current paper also serves as a foundation for the construction in [5].
1.5 Structure of the Paper
In Sect. 2, we consider j-monotonic families and canonical systems in Arov gauge, and prove the correspondence between them (Theorem 1.7). In Sect. 3, we consider their Weyl theory, provide proofs of the limit point/limit circle alternative (Proposition 1.8) and of de Branges’ uniqueness Theorem for Arov gauge (Theorem 1.13), and show how the reflection (1.19) for two-sided systems should be adjusted to Arov gauge. In Sect. 4 we derive coefficient stripping (Ricatti equation) and asymptotics of Schur functions at infinity (Propositions 1.9 and 1.10). In Sect. 5 we give a new proof of the Krein–de Branges mean type theorem (Theorem 1.11). In Sect. 6 we prove a gauge-independent version of the Breimesser–Pearson theorem (Theorem 6.1), and in Sect. 7 we use it to prove a gauge-independent version of Remling’s theorem (Theorem 1.14).
2 Canonical Systems in Arov Gauge and j-Monotonic Families
In this section, we prove the basic facts about j-monotonic families and canonical systems from the introduction. We denote by \({\mathrm {SL}}(2,{\mathbb {C}})\) the set of all \(2\times 2\) complex matrices with unit determinant. A \(2\times 2\) matrix T is called
-
j-expanding, if \(T j T^* - j \ge 0\);
-
j-unitary, if \(T j T^* - j = 0\);
-
j-contractive, if \(T j T^* - j \le 0\).
Lemma 2.1
A lower triangular matrix \(T \in {\mathrm {SL}}(2,{\mathbb {C}})\) with positive diagonal coefficients is j-contractive if and only if it is of the form
for some \(\lambda \ge 1\) and \(|h |\le \lambda - 1/\lambda \). Moreover, it is j-unitary if and only if \(T = I\).
Proof
T is obviously of this form for some \(\lambda > 0\) and \(h \in {\mathbb {C}}\). Then
This matrix is positive definite if and only if \(\lambda ^2 - 1 \ge 0\) and \(\det (j-T j T^*) \ge 0\). Since \(\det (j-T j T^*) = (1-\lambda ^{-2})(\lambda ^2-1) - |h|^2\), the criterion for j-contractivity follows. The criterion for j-unitarity is obvious from (2.1). \(\square \)
We can now describe the gauge transformation of an arbitrary j-monotonic family into A-gauge:
Proof of Proposition 1.4
Let us start with a j-contractive matrix \(T\in {\mathrm {SL}}(2,{\mathbb {C}})\). Since \(TjT^* \le j\), for the vector \((a, b) = (1 , 0)T\) we have
In particular, \(|a|>|b|\) and we can define
It is straightforward to verify that \(U \in {\mathrm {SU}}(1,1)\) and that \((1,0)TU = (\lambda , 0)\) with \(\lambda = \sqrt{ |a |^2 - |b |^2 }>0\). Then TU is in lower-triangular form and \((TU)_{11} > 0\). Since \(\det (TU) = \det T = 1\), the diagonal entries of TU are positive.
Note that the construction of U depends continuously on T. If this construction is applied to \(T = {\mathcal {A}}(i,t)\), it gives a one-parameter family \(U(t) \in {\mathrm {SU}}(1,1)\). If \({\mathcal {A}}(z,t)\) is continuous, so is U(t).
Assume that T is j-contractive with \(\det T = 1\) and \(U_1, U_2 \in {\mathrm {SU}}(1,1)\) are such that \(TU_1\), \(TU_2\) are lower triangular with positive diagonal terms. Then \(U = (TU_1)^{-1} (TU_2) = U_1^{-1} U_2\) has the same property and is j-unitary. By applying Lemma 2.1 we conclude \(U_1 = U_2\).
For any j-monotonic family \({\mathcal {A}}(z,t)\), the family \({\mathcal {B}}(z,t) = {\mathcal {A}}(z,t) {\mathcal {A}}(0,t)^{-1}\) is also j-monotonic, and \({\mathcal {B}}(0,t) = I\) so \({\mathcal {B}}\) is in PdB-gauge. \(\square \)
Now let us take the perspective of canonical systems. The solution of any canonical system is a continuous j-monotonic family. Indeed, for \(t_1\le t_2\),
which implies that \({\mathcal {A}}(z, t_1) j {\mathcal {A}}(z, t_1)^{*} \ge {\mathcal {A}}(z, t_2) j {\mathcal {A}}(z, t_2)^{*}\) for \(z \in {\mathbb {C}}_+\) with equality for \(z \in {\mathbb {R}}\). Since \(\text {trace}\,({\mathcal {P}}j) = \text {trace}\,({\mathcal {Q}}j) = 0\), the property \(\det {\mathcal {A}}(z,t) = 1\) for all z, t follows from the formula for the derivative of the determinant \(\partial _\nu \det {\mathcal {A}}(z,t) = \text {trace}\,(\text {adj}{\mathcal {A}}(z,t) \partial _\nu {\mathcal {A}}(z,t))\), where \(\text {adj}\) denotes the adjugate matrix.
The solution \({\mathcal {A}}(z,t)\) of the canonical system will be called the transfer matrix, and the definitions of PdB-gauge and A-gauge for canonical systems are compatible with the definitions for j-monotonic families:
Lemma 2.2
The canonical system (1.6) is:
-
(a)
in PdB-gauge if and only if the solution \({\mathcal {A}}(z,t)\) is in PdB-gauge;
-
(b)
in A-gauge if and only if the solution \({\mathcal {A}}(z,t)\) is in A-gauge.
Proof
Assertion (a) follows immediately by taking \(z=0\) in (1.6). To prove assertion (b), observe that for \(z=i\) the initial problem (1.7) is of the form
Therefore if \({\mathcal {P}}+{\mathcal {Q}}\) is lower triangular, then so is \({\mathcal {A}}(i,\cdot )\). Relations \(\text {trace}\,{\mathcal {Q}}= 0\), \(\text {trace}\,j{\mathcal {Q}}= 0\) are equivalent to the fact that \({\mathcal {Q}}\) has zeroes on the diagonal. In particular, the diagonal entries of \(-\,({\mathcal {P}}+ {\mathcal {Q}})j\) are real. It follows that \({\mathcal {A}}(i,t)\) has nonegative terms on the diagonal.
Conversely, suppose that the family \(\{{\mathcal {A}}(i,t)\}\) satisfies (1.5). Since \(\det {\mathcal {A}}(i,t) = 1\) for all \(t \in {\mathbb {R}}\), we have
for some real function f. Then
is lower triangular as well. Moreover, since \({\mathcal {P}}\ge 0\), \(\text {trace}\,{\mathcal {P}}j = \text {trace}\,{\mathcal {Q}}j = 0\), and \({\mathcal {Q}}= -\, {\mathcal {Q}}^*\), we have
for some real p, q. Noting that \(\partial _\nu f\) is real, we conclude that \(q = 0\) \(\nu \)-almost everywhere on \({\mathbb {R}}\). \(\square \)
The following lemma describes how a gauge transformation acts at the level of canonical systems:
Lemma 2.3
For the solution of a canonical system
applying the gauge transformation \({\mathcal {B}}(z,t) = {\mathcal {A}}(z,t) {\mathcal {U}}(t)\) with \({\mathcal {U}}(0)=I\) and \({\mathcal {U}}\) locally absolutely continuous w.r.t. \(\nu \) (this condition is true for gauge transformations into A-gauge and PdB-gauge) gives the solution of the canonical system
where \({\mathcal {P}}_1 = {\mathcal {U}}^{-1} {\mathcal {P}}({\mathcal {U}}^*)^{-1}\) and \({\mathcal {Q}}_1 = {\mathcal {U}}^{-1} {\mathcal {Q}}({\mathcal {U}}^*)^{-1} - {\mathcal {U}}^{-1} j\).
Proof
Applying the product rule and the differential equation for \({\mathcal {A}}\) gives
As a gauge transformation, \({\mathcal {U}}\) obeys \({\mathcal {U}}j {\mathcal {U}}^* = j\), so \(j {\mathcal {U}}j = ({\mathcal {U}}^*)^{-1}\). Using this and replacing \({\mathcal {A}}= {\mathcal {B}}{\mathcal {U}}^{-1}\) gives
which can be organized into the form (2.2).
For a gauge transformation into PdB gauge, we choose \({\mathcal {U}}(t) = {\mathcal {A}}(0,t)^{-1}\). If \({\mathcal {A}}\) is locally a.c. w.r.t. \(\nu \), taking point evaluations at \(z=0\) and matrix inverse shows that \({\mathcal {U}}\) is locally a.c. w.r.t. \(\nu \).
For a gauge transformation into A-gauge, we choose \({\mathcal {U}}(t)\) as in the proof of Proposition 1.4. Applying locally Lipschitz transformations preserves local absolute continuity, so \({\mathcal {U}}\) is locally a.c. w.r.t. \(\nu \). \(\square \)
We now turn to the other direction, to prove that continuous j-monotonic families which obey the Arov normalization (1.5) at \(z=i\) are solutions of canonical systems in Arov gauge.
Proof of Theorem 1.7
By Lemma 2.1 applied to \({\mathfrak {A}}(i,\ell )\), we can define functions \(\mu (\ell )\), \(\kappa (\ell )\) so that (1.11) holds for each \(\ell \). We have
Lemma 2.1 applied to \({\mathfrak {A}}(i,\ell _2)^{-1} {\mathfrak {A}}(i,\ell _1) \) for \(\ell _2 \ge \ell _1\) gives \(\mu (\ell _2) \ge \mu (\ell _1)\) and
which can be rewritten in the form
Thus, \(\kappa \) is absolutely continuous with respect to \(e^{-2\mu }\,d\mu \), and it can be represented in the form (1.12) for some Borel measurable function \({\mathfrak {a}}\) such that \(|{\mathfrak {a}}|\le 1\) almost everywhere with respect to \(\mu \). A calculation gives
with A, B given by (1.10).
Let us now show that for any \(z \in {\mathbb {C}}\), \({\mathfrak {A}}(z,\ell )\) is absolutely continuous with respect to \(\mu \). Schwarz lemma for j-contractive matrix functions [12, 17] says that for every \(z_*, z\in {\mathbb {C}}_+\) and every j-contractive \(2 \times 2\) matrix function C on \({\mathbb {C}}_+\) the following block matrix is positive semi-definite:
Applying this to \(C(z) = {\mathfrak {A}}(z,\ell _1)^{-1}{\mathfrak {A}}(z,\ell _2)\) for any \(\ell _1<\ell _2\) gives
in (2.5), where
and
It follows from (2.5), (2.6) that the family \({\mathcal {C}}_{{\mathfrak {A}}}(\ell )\) is monotonic. From here we see that there exists a scalar measure \(\sigma \) and \(2\times 2\)-matrix valued mappings \(C_{jk}\) such that
From now on, let \(z_* = i\). Then we have
Let us show that \(C_{12}\,d\sigma \) is absolutely continuous with respect to \(\mu \). If \(\mu (e) = 0\), then (2.7), (2.8) and the monotonicity of \({\mathcal {C}}_{{\mathfrak {A}}}\) show that
From here we see that \(\int _{e} C_{12}\,d\sigma = \int _{e}C_{21}\,d\sigma = 0\) by considering quadratic form of the block matrix above on vectors of the form \((xe_1, e_2)\), \(x \in {\mathbb {R}}\), \(e_{1,2} \in {\mathbb {C}}^2\) and using the fact that any sign-definite linear function is identically constant. Thus, the mapping
is absolutely continuous with respect to \(\mu \). Since we already know that \({\mathfrak {A}}(i,\cdot )\) is absolutely continuous with respect to \(\mu \) and \({\mathfrak {A}}(i,\cdot ) \in {\mathrm {SL}}(2, {\mathbb {C}})\), from here we see that the mapping \(\ell \mapsto {\mathfrak {A}}(z,\ell )\) is absolutely continuous with respect to \(\mu \). It follows that we could have taken \(\sigma = \mu \) from the start. In particular, by denoting
we compute
Positivity of the bottom right block implies that
and matrix positivity implies
Since \(\Vert {\mathcal {M}}(i,\ell ) \Vert \le 2\) for all \(\ell \), this implies an upper bound on \(\Vert {\mathcal {M}}(z,\ell ) \Vert \), uniformly for z in compact subsets of \({\mathbb {C}}_+\) and uniformly in \(\ell \).
So far, \({\mathcal {M}}(z,\ell )\) was viewed for each z as a Borel function of \(\ell \), uniquely defined up to a zero measure set. Now let us consider it as a function of z. Fix a simple closed contour \(\gamma \) in \({\mathbb {C}}_+\). For every w in the region enclosed by \(\gamma \) and every \(\ell > 0\), we claim that
Namely, due to uniform boundedness of the integrand, this follows by applying Fubini’s theorem to exchange the integrals and using analyticity of \({\mathfrak {A}}\). Moreover, Fubini’s theorem guarantees that for \(\mu \)-a.e. \(\ell \), the contour integral is well-defined; it is by construction an analytic function of z in the region enclosed by C. By (2.11), the contour integral can be taken as the new definition of \(\partial _\mu {\mathfrak {A}}(z,\ell )\) and away from a zero measure set of \(\ell \), \(\partial _\mu {\mathfrak {A}}(z,\ell )\) is analytic in z in the region enclosed by C. By a countable exhaustion of \({\mathbb {C}}_+\), the functions \(\partial _\mu {\mathfrak {A}}(z,\ell )\) are analytic in \({\mathbb {C}}_+\) away from a zero measure set of \(\ell \). Thus, \({\mathcal {M}}(z,\ell )\) are analytic in \({\mathbb {C}}_+\) away from a zero measure set of \(\ell \).
By (2.10), \(i{\mathcal {M}}(z,\ell )\) is a matrix Herglotz function. Using (2.9), we have
Evaluating at \(z = \lambda + i \epsilon \) and letting \(\epsilon \downarrow 0\) gives 0 locally uniformly in \(\lambda \), so by Stieltjes’ inversion, the Herglotz representation of \(i{\mathcal {M}}(z,\ell )\) has trivial measure on \({\mathbb {R}}\), and consequently it is of the form \(i {\mathcal {M}}(z,\ell ) = A(\ell ) z + i B(\ell )\) for some constant matrices \(A \ge 0\) and \(B= - B^*\). Evaluating \({\mathcal {M}}(i,\ell ) = A(\ell ) + B(\ell )\) and \({\mathcal {M}}(i)^* = A(\ell ) - B(\ell )\) and using (2.4), we obtain (1.10) and (1.9) holds for \(z \in {\mathbb {C}}_+\). Finally, (1.9) holds for all \(z\in {\mathbb {C}}\) by continuity and symmetry or by analyticity. \(\square \)
3 Weyl Theory for j-Monotonic Families
In this section we consider the nested family of Weyl disks (1.2). We begin by characterizing the limit point case for j-monotonic families in the Arov gauge.
Proof of Proposition 1.8
A direct calculation using (1.11) describes the Weyl disk \(D(i,\ell )\) as the set of w such that
Its Euclidean radius is \(e^{-2\mu (\ell )}\) and its Euclidean center is \(\kappa (\ell )\). Therefore, the disks shrink to a point if and only if \(\mu (\ell ) \rightarrow \infty \), and in this case,
Now consider the case where \(\mu \) is a finite measure on \({\mathbb {R}}_+\) and assume (by possibly reparametrizing) that it is defined on a finite interval [0, L]. The initial value problem (1.9)–(1.10) then has a solution \(\{{\mathfrak {A}}(z,\ell )\}_{\ell \in [0,L]}\). In this case,
is a nontrivial disk for all \(z \in {\mathbb {C}}_+\). Thus, if \(\cap _{\ell \ge 0} D(i,\ell )\) is a disk, then \(\mu \) is a finite measure and \(\cap _{\ell \ge 0} D(z,\ell )\) is a nontrivial disk for all \(z \in {\mathbb {C}}_+\). Then this holds for all canonical systems (not only in Arov gauge), so this implication can be reversed by applying it to the transfer matrices \({\tilde{{\mathcal {A}}}}(z,\ell ) = {\mathfrak {A}}((z-x)/y, \ell )\). \(\square \)
Note that for every t and every point \(w \in {\mathbb {D}}\) we have \((w , 1){\mathcal {A}}(z,t)^{-1} \in D(z,t)\). It follows that in the limit point case we have
where \(\simeq \) stands for the projective relation in \({\mathbb {C}}^2 \setminus \{0\}\):
This shows that in the limit point case the mapping \(z \mapsto s_+(z)\) defines an analytic function \(s_+\) of Schur class in \({\mathbb {C}}_+\) (in other words, we have \(s_+({\mathbb {C}}_+) \subset \overline{{\mathbb {D}}}\)). This function is called the Schur function of the j-monotonic family \(\{{\mathcal {A}}(z,t)\}_{t \in {\mathbb {R}}}\).
Let us briefly discuss how just defined Schur functions \(s_+\) are related to the Weyl functions \(m_+\), the classical object of spectral theory in Potapov-de Branges gauge. Any \(2\times 2\) matrix \({\mathcal {J}}\) with \({\mathcal {J}}= {\mathcal {J}}^* = {\mathcal {J}}^{-1}\) and \({\mathcal {J}}\ne \pm I\) is unitarily equivalent to j. For the choice (1.3), the unitary equivalence is \({\mathcal {J}}= W j W^{-1}\) where \(W=\sqrt{1/2} ( {\begin{matrix} i &{} i \\ 1 &{} -1 \end{matrix}})\) corresponds to the Cayley transform. This makes it trivial to switch between j and \({\mathcal {J}}\). For instance, a matrix T is j-expanding if and only if \(W T W^{-1}\) is \({\mathcal {J}}\)-expanding. The inequality \(\begin{pmatrix} w&1 \end{pmatrix} {\mathcal {J}}\begin{pmatrix} w&1 \end{pmatrix}^* > 0\) describes the upper half-plane \({\mathbb {C}}_+\). In fact, if we define
for a j-monotonic family \(\{{\mathcal {A}}(z,t)\}_{t \in {\mathbb {R}}}\), then
The property above is satisfied by transfer matrices of the canonical systems of the form
The standard definition of Weyl disks can be expressed as
so for T, \({\mathcal {A}}\) related by (3.4) we have \(u \in D^+_T(z,t)\) if and only if \(w \in D_{{\mathcal {A}}}(z,t)\) where \(\begin{pmatrix} w&1 \end{pmatrix} \simeq \begin{pmatrix} u&1 \end{pmatrix} W\), i.e., u, w are related by the Cayley transform:
In particular, if we were working with \({\mathcal {J}}\), the Weyl disks would be subsets of \(\overline{{\mathbb {C}}_+}\), and instead of the Schur function we would obtain the function
of Herglotz class in \({\mathbb {C}}_+\) (excluding degenerate cases when it is a constant in \({\mathbb {R}}\cup \{\infty \}\)). This function is called the Titchmarsh–Weyl function of \(\{T(z,t)\}_{t \in {\mathbb {R}}}\). It is related to the Schur spectral function of \(\{{\mathcal {A}}(z,t)\}_{t \in {\mathbb {R}}}\) by the Cayley transform:
We must acknowledge a degenerate case: in the terminology of de Branges, the following corollary corresponds to the case when \([0,\infty )\) is a single singular interval.
Corollary 3.1
The function \(s_+\) is a unimodular constant function if and only if \({\mathfrak {a}}\) is a unimodular constant almost everywhere on \({\mathbb {R}}_+\).
Proof
From (3.1) we see that \(|s_+(i)| = 1\) if and only if \({\mathfrak {a}}= c\) almost everywhere on \({\mathbb {R}}\) for some \(c \in {\mathbb {C}}\) such that \(|c|=1\). It remains to use the classical Schwarz lemma. \(\square \)
It is now easy to obtain a gauge-independent result about locally uniform shrinking of the Weyl disks:
Proposition 3.2
For any j-monotonic family in the limit point case such that \(s_+\) is not a unimodular constant and for any compact \(K \subset {\mathbb {C}}_+\), we have
where \(\text {diam}\) denotes the diameter in Euclidean distance.
Proof
For an arbitrary j-contractive matrix function \({\mathcal {A}}(z)\)
On the other hand, if \(w\in {\mathbb {T}}\) and in the Weyl disk at \(z_0\), then
Thus
and by the Schwarz Lemma \( \begin{pmatrix}w&1 \end{pmatrix}{\mathcal {A}}(z_0)=\begin{pmatrix} w&1 \end{pmatrix}{\mathcal {A}}(z) \) for all \(z\in {\mathbb {C}}_+\).
If \(s_+\) is not a unimodular constant, there exists \(\ell _1 > 0\) such that \(D(i,\ell _1) \subset {\mathbb {D}}\); the above discussion, applied to \({\mathcal {A}}(z,\ell _1)\), shows by contraposition that \(D(z,\ell _1) \subset {\mathbb {D}}\) for all \(z\in {\mathbb {C}}_+\). Thus, \(z \mapsto \text {diam}D(z,\ell )\) for \(\ell \ge \ell _1\) are continuous functions on \({\mathbb {C}}_+\). They converge to zero monotonically on \({\mathbb {C}}_+\), so (3.5) follows from Dini’s theorem. \(\square \)
Corollary 3.3
Let \(T=\left( {\begin{matrix}T_{11} &{} T_{12}\\ T_{21} &{} T_{22}\end{matrix}}\right) \) be a j-contractive matrix, and let D be its Weyl disk:
Then \(\text {diam}\,D = 2/(|T_{11}|^2-|T_{12}|^2)\).
Proof
We have
In particular, this quantity is invariant under the transformation \(T \mapsto TU\) for every j-unitary matrix U. Using Proposition 1.4, choose U so that TU is lower-triangular. Then \(T_{12} = 0\) and the proof of Proposition 1.8 shows that the diameter is indeed \(2/|T_{11}|^2\) (that is equal, in notation of Proposition 1.8, to \(2e^{-2\mu }\)). Since the Weyl disk is invariant under the transformation \(T \mapsto TU\), \(U \in {\mathrm {SU}}(1,1)\), the lemma follows. \(\square \)
We next translate the famous de Branges’ uniqueness theorem into A-gauge:
Proof of Theorem 1.13
If the family \({\mathfrak {A}}(z,\ell )\) in A-gauge has the Schur function \(s_+\), passing to PdB-gauge we obtain a family in PdB-gauge \({\mathcal {A}}(z,\ell ) = {\mathfrak {A}}(z,\ell ) {\mathfrak {A}}(0,\ell )^{-1}\) with the same Schur function. By de Branges’ uniqueness theorem [10], that describes the family \({\mathcal {A}}\) uniquely up to reparametrization; thus, the family \({\mathfrak {A}}\) is also determined uniquely up to reparametrization by Proposition 1.4. Thus, the parameters in A-gauge are determined uniquely up to reparametrization. \(\square \)
We now consider the reflection procedure (1.19). Using the relation \(j_1 j j_1 = - j\), we see that the family \({\tilde{{\mathcal {A}}}}(z,t) = j_1 {\mathcal {A}}(z,-t) j_1\) is indeed j-monotonic. We say that the initial family \(\{{\mathcal {A}}(z,t)\}_{t\le 0}\) is in the limit point case at \(-\infty \) if the reflected family \(\{ {\tilde{{\mathcal {A}}}}(z,t) \}_{t \ge 0}\) is in the limit point case at \(+\infty \). In the latter case, we denote this Schur function by \(s_-\) and characterize it by applying (3.2) to \({\tilde{{\mathcal {A}}}}(z,t)\), which gives:
In this way we associate two Schur functions \(s_\pm \) to each two-sided j-monotonic family \(\{{\mathcal {A}}(z,t)\}_{t \in {\mathbb {R}}}\). This is consistent with the literature on canonical systems in Potapov-de Branges’ gauge, in which reflection corresponds to the change \({\tilde{T}}(z,x) = j T(z,-t) j\), and the \({\mathcal {J}}\)-monotonic transfer matrices T(z, x) are related to the j-monotonic transfer matrices \({\mathcal {A}}(z,t)\) as in (3.4). For instance, the definition of the negative half-line Weyl function \(m_-\) corresponds to our negative half-line Schur function by \(m_- = i \frac{1+s_-}{1-s_-}\).
This reflection procedure does not preserve A-gauge, but this can be corrected by an additional factor. We denote
Proposition 3.4
For a full-line canonical system in A-gauge \(\{{\mathfrak {A}}(z,\ell )\}_{\ell \in {\mathbb {R}}}\) with coefficients \((\mu ,{\mathfrak {a}})\), its Schur function \(s_-\) is given by \(s_-(z) = v(z) \overleftarrow{s_+}(z)\), where \(\overleftarrow{s_+}\) denotes the canonical system in A-gauge
This system has A-gauge parameters \(\overleftarrow{\mu }(\ell ) = - \mu (-\ell )\), \(\overleftarrow{{\mathfrak {a}}}(\ell ) = \overline{{\mathfrak {a}}(-\ell )}\).
Proof
A direct calculation shows
and
Note that this is upper-triangular at \(z=i\) instead of lower-triangular, and
so \(\overleftarrow{\mathfrak {A}}(z,\ell )\) defined by (3.7) is a canonical system in the Arov gauge with the coefficients \((\overleftarrow{\mathfrak {a}}, \overleftarrow{\mu })\). Comparing the Weyl disks of \({\tilde{{\mathfrak {A}}}}(z,\ell )\) and \(j_1 {\mathfrak {A}}(z,-\ell )j_1\) gives \(s_-(z) = v(z) \overleftarrow{s_+}(z)\). \(\square \)
In summary, a two-sided canonical system in A-gauge is encoded by two Schur functions \(s_\pm \), which are arbitrary up to the single normalization condition \(s_-(i) = 0\). In [5] this serves as a natural compactification condition.
4 Ricatti Equation and Spectral Asymptotics
We now study the family of Schur functions generated by the coefficient stripping
Just as the Schur functions \(s_\pm \) can be characterized by (3.2), (3.6), the family of Schur functions \(s_\pm (z,\ell )\) obey
Moreover, for every compact \(K \subset {\mathbb {C}}_+\), the convergence is uniform with respect to \(z \in K\) and \(w \in \overline{{\mathbb {D}}}\). Next result shows that functions \(s_+(z,\cdot )\) satisfy a Ricatti equation for every \(z \in {\mathbb {C}}_+\).
Proof of Proposition 1.9
Formula (4.1) implies the existence of a non-vanishing function \(\varphi (z,\cdot )\) such that
Since \({\mathfrak {A}}(z, \cdot )\) is absolutely continuous with respect to \(\mu \), the same is true for
Multiplying (4.2) by j from the right and using \(\partial _\mu {\mathfrak {A}}j = {\mathfrak {A}}(izA-B)\), we obtain
or, equivalently,
Now right-multiplying the equation by \( \left( {\begin{array}{c}1\\ s_+(z,\ell )\end{array}}\right) \) concludes the proof. \(\square \)
An arbitrary Schur function has nontangential limits Lebesgue-a.e. on \({\mathbb {R}}\cup \{\infty \}\), but is not guaranteed to have a nontangential (or normal) limit at \(\infty \). Since a canonical system can have an arbitrary Schur function, there can be no general statements about the behavior of the Schur function at \(\infty \). In this sense the situation is very different compared to the Schrödinger or Dirac cases, in which leading order asymptotic behavior is obtained by comparing to a certain “free” operator. However, we prove a Lebesgue-type condition suffices:
Theorem 4.1
For any canonical system in A-gauge such that
for some \({\mathfrak {a}}(0) \in {\mathbb {C}}\), then the Schur function has a nontangential limit at \(+i\infty \),
for any \(\delta > 0\).
We note that for PdB gauge the analogous statement was proved in Theorem 3.1 in [11] by a different method.
The proof of Theorem 4.1 relies on a z-dependent rescaling of the Ricatti equation, following an idea used for Dirac operators by Clark–Gesztesy [8]. To prepare for this, we first reparametrize the j-monotonic family.
Remark 4.2
(reparametrizing to Lebesgue measure) Consider the j-contractive family defined by
Note that this is well-defined even if \(\mu \) is not injective, since \(\mu \) is a continuous increasing function and on any intervals on which \(\mu \) is constant, \({\mathfrak {A}}\) is constant as well. Comparing with (1.11) shows that \({\tilde{{\mathfrak {A}}}}\) has A-gauge parameters \({\tilde{\mu }}(\mu (\ell )) = \mu (\ell )\), \({\tilde{{\mathfrak {a}}}}(\mu (\ell )) = {\mathfrak {a}}(\ell )\). In particular, \({\tilde{{\mathfrak {A}}}}\) has Lebesgue measure as its parameter. Conditions and conclusions such as those in Theorem 4.1 are invariant with respect to this reparametrization; in other words, we can assume throughout the proof that \(\mu \) is Lebesgue measure.
The Ricatti equation (1.13) takes the form
We introduce a z-dependent “fast variable” \(r = |z |\ell \) and define
which obeys the differential equation
We are going to take a limit in (4.6) when z nontangentially tends to \(+i\infty \). For this we need the following lemma.
Lemma 4.3
Assume that \(\mu \) is Lebesgue measure and (4.4) holds. Define A(0) by (1.10) using the value \({\mathfrak {a}}(0)\). Let a sequence \(\{z_k\}\) be such that \(|z_k |\rightarrow \infty \), \(\arg z_k \rightarrow \varphi + \pi /2\) for some \(\varphi \in (-\pi /2,\pi /2)\), and \(s(z_k, 0) \rightarrow s_0\) for some \(s_0 \in \overline{{\mathbb {D}}}\). Then the initial value problem
has a global solution which obeys \(\eta (r) \in \overline{{\mathbb {D}}}\) for all \(r \in [0,\infty )\), and the functions \(s(z_k, \cdot )\) converge uniformly on compacts to \(\eta \) as \(k\rightarrow \infty \).
Proof
Since \(|{\mathfrak {a}}(0)| \le 1\), there exists \(c > 0\) independent of \(s_0\in \overline{{\mathbb {D}}}\) such that the initial value problem (4.7) has a solution on [0, c] such that \(|\eta |\le 2\). Define \(L \in (0, +\infty ]\) to be the supremum of all such c. Later on, we will work with \(r \in [0,L)\) and \(|z |\ge 1\). Note that for such r, z we have
We also have \(\Vert A(0)\Vert \le 2\) by construction. Using the identity
for linear operators, we obtain from (4.6), (4.7) the estimate
on \([0,L)\times \{|z|\ge 1\}\). Since f is absolutely continuous with respect to r, the same is true for the function \(h(z,r) = e^{-20 r} |f(z,r) |^2\). Moreover, we have
hence
Integrating last inequality, we obtain
Since 0 is a Lebesgue point for \({\mathfrak {a}}\), we have
along any sequence \(z_k\) with \(|z_k |\rightarrow \infty \) and \(\arg (-i z_k) \rightarrow \varphi \). Thus, (4.8) together with our assumption \(s(z_k, 0) \rightarrow s_0 = \eta (0)\) implies that \(s(z_k, r) \rightarrow \eta (r)\) uniformly in r on compact subsets of [0, L). It remains to show that \(L = +\infty \). To this end, note that if this is not the case, we have \(|\eta (r_0) |= 3/2\) for some \(r_0 \in [0, L)\). But the above argument shows that \(\eta (r_0) = \lim _{k}s(z_k, r_0)\) is in the unit disk, thus giving a contradiction. \(\square \)
It turns out that condition \(\eta (r) \in {\mathbb {D}}\), \(r \ge 0\), for a solution \(\eta \) of (4.7) determines \(\eta \) uniquely.
Lemma 4.4
Let \(a \in \overline{{\mathbb {D}}}\) and \(\varphi \in (-\pi /2, \pi /2)\). If \(\eta : [0,\infty ) \rightarrow \overline{{\mathbb {D}}}\) solves the differential equation
then \(\eta (0) = \frac{ a }{ 1+ \sqrt{ 1- |a|^2}}\). In other words, for any other initial value \(\eta (0)\), the solution of the initial value problem exits \(\overline{{\mathbb {D}}}\) in finite time.
Proof
If \( a = 0\), then the Ricatti equation reduces to \(\eta '(r) = 2 e^{i\varphi } \eta (r)\), so the general solution is \(\eta (r) = e^{2 r e^{i\varphi }} \eta (0)\). In particular, any initial value \(\eta (0) \ne 0\) gives an exponentially growing solution.
If \(a \ne 0\), the general solution can be found explicitly as \(\eta = w_1 /w_2\) where \(w = \begin{pmatrix}w_1&w_2 \end{pmatrix}\) solves the linear equation
To see this, let us multiply (4.10) by \(\begin{pmatrix} 1&-\, w_1/w_2 \end{pmatrix}^\top \) from the right,
and note that this equation is equivalent to (4.9) if \(\eta = w_1/w_2\). Put \(\rho = \sqrt{1-|a|^2}\). Observe that for the matrix
we have
so that if \(0< |a|< 1\), the general solution of (4.10) has the form
for some constants \(c_1\), \(c_2\). Since \(|a|> 1 - \rho \), we must have \(c_1 = 0\) if the condition \(|\eta (r)| \le 1\) holds for large \(r \ge 0\). Meanwhile, if \(c_1 = 0\) and \(c_2 \ne 0\), then \(\eta \) is the constant function \(\frac{a}{1+\rho }\) and the result follows. Now consider the case where \(|a|= 1\). Then the general solution of (4.10) has the form
We see that
is in \({\mathbb {D}}\) for large r if and only if \(c_2 = 0\), in which case \(\eta \) is again the constant function, \(\eta (0) = \eta (r) = a\). \(\square \)
Proof of Theorem 4.1
Since \(s_{+}\) takes values in \(\overline{{\mathbb {D}}}\), by Lemmas 4.3 and 4.4 it suffices to show that for fixed \(\delta > 0\), the values of \(s_+(z)\) have only one accumulation point as \(|z |\rightarrow \infty \), \(\arg z \in [\delta ,\pi -\delta ]\). For this, assume that \(s_+(z_k)\) is convergent for some sequence \(z_k\rightarrow \infty \) with \(\arg z_k \in [\delta ,\pi -\delta ]\). By compactness, we can pass to a subsequence such that \(\arg (-iz_k)\) converges. Then the limit of \(s(z_k)\) is equal to \(\frac{{\mathfrak {a}}(0)}{1+ \sqrt{1 - |{\mathfrak {a}}(0)|^2}}\). Thus, this is the only accumulation point, so (4.5) holds. \(\square \)
Proof of Proposition 1.10
This follows from Theorem 4.1 by the well-known fact that almost every point of a locally integrable function with respect to \(\mu \) is a Lebesgue point of this function with respect to \(\mu \). \(\square \)
Note that the right-hand side of (1.14) determines \({\mathfrak {a}}(\ell )\) uniquely; if we denote this right-hand side by \({\mathfrak {c}}(\ell )\), we have the mutually inverse formulas
which correspond to a continuous bijection from \(\overline{{\mathbb {D}}}\) to itself. For \({\mathfrak {a}}(\ell )\in {\mathbb {D}}\) this corresponds to the following matrix identity
5 Krein–de Branges Formula for Exponential Type
As a corollary of Theorem 4.1, in this section we give a new proof of the de Branges mean type theorem (see Section 39 in [10]) discovered by Krein [15].
Proof of Theorem 1.11
Using Proposition 1.4, let us pass to the j-monotonic family in A-gauge \({\mathfrak {A}}(z,t) = {\mathcal {A}}(z,t) U(t)\) where \(U(t) \in {\mathrm {SU}}(1,1)\). The coefficients of the new canonical system obey
Since
and \(\det {\hat{{\mathcal {P}}}}(t) = \det {\mathcal {P}}(t)\), it suffices to prove the theorem for j-monotonic families in A-gauge.
Formula (4.3) in the proof of Proposition 1.9 gives
Since \(\varphi (z,0) = 1\), integrating and evaluating at \(z = iy\) we get
Let us divide both sides by y and pass to the limits as \(y\rightarrow +\infty \). According to Proposition 1.10, the right hand side will tend to the desired limit
On the other hand, from (4.2) we see that
Since the family \({\mathcal {A}}(z,\ell )\) is j-monotonic, we have \(|a_{11}(z,\ell )|^2-|a_{12}(z,\ell )|^2\ge 1\) for all \(\ell \ge 0\) and \(z \in {\mathbb {C}}_+\). It follows that the analytic function \(1-\frac{a_{12}(\cdot ,\ell )}{a_{11}(\cdot ,\ell )}s_+(\cdot ,\ell )\) has a positive real part in \({\mathbb {C}}_+\) and therefore, it is outer. Since \(a_{11}(z,\ell )\) is an entire function of bounded characteristic in the upper half plane without zeros, we have
Since \({\mathcal {A}}(z,\ell )\in {\mathrm {SL}}(2,{\mathbb {C}})\) is j-contractive, its entries obey in the upper half plane
Thus, by the symmetry \(\Vert {\mathcal {A}}(z,\ell )\Vert =\Vert {\mathcal {A}}({\bar{z}},\ell )\Vert \),
Finally, since the entries of \({\mathcal {A}}(z,\ell )\) are entire functions of bounded characteristic in upper/lower half plane, the normal limit (5.1) implies the unrestricted limit as \(z \rightarrow \infty \) (1.15)–(1.16) [6, 14, 15] and [10, Chapter I, §10]. \(\square \)
6 Breimesser–Pearson Theorem for j-Monotonic Families
In this section we prove a version of the Breimesser–Pearson theorem [7]. After the seminal work of Remling [18], Breimesser–Pearson theorem became the standard tool in the study of reflectionless and almost periodic operators. For canonical systems in Potapov-de Branges gauge it was first proved by Acharya [1]. In principle, results of this section can be obtained from an extended version of Acharya’s theorem via the “twisted shifts” technique used in Section 7 of [20]. However, we prefer to give a direct proof here to make the paper more self-contained. We discuss only the “spectral part” and give references to results in function theory appearing in the proof.
Given a j-monotonic family \(\{{\mathcal {A}}(z,\ell )\}_{\ell \in {\mathbb {R}}}\), recall that its Schur spectral functions \(s_\pm \) are given by
(these limits do not dependent on \(w \in {\mathbb {D}}\)) and their shifted versions by
Since \(s_{\pm }\) are Schur functions, for Lebesgue almost every \(x \in {\mathbb {R}}\) there exist the limits
Define the absolutely continuous spectrum \({\mathsf {E}}\) of the j-monotonic family \(\{{\mathcal {A}}(z,\ell )\}_{\ell \in {\mathbb {R}}}\) to be the essential closure of the set \(\big \{x \in {\mathbb {R}}: \; |s_{+}(x)| + |s_{-}(x)| < 2\big \}\) with respect to the Lebesgue measure. For \(z \in {\mathbb {D}}\), let \(\omega _z\) be the harmonic measure in \({\mathbb {D}}\):
where m denotes the normalized Lebesgue measure on the unit circle \({\mathbb {T}}\), S is a measurable subset of \({\mathbb {T}}\).
Here is our version of the Breimesser–Pearson theorem.
Theorem 6.1
Let \(\{{\mathcal {A}}(z,\ell )\}_{\ell \in {\mathbb {R}}}\) be a j-monotonic family in the limit point case at \(\pm \infty \), and let \({\mathsf {E}}\) be its absolutely continuous spectrum. Assume that \(|s_\pm (i,\ell )| < 1\) for every \(\ell \ge 0\). Then for every Borel subsets \(e \subset {\mathsf {E}}\), \(|e| < \infty \), \(S \subset {\mathbb {T}}\), denoting \({\bar{S}} = \{ {\bar{z}} \mid z \in S\}\), we have
Proof
Define the function
which is related to the hyperbolic distance on \({\mathbb {D}}\). Using the Cayley transform and the estimate (7.21) in [20] it is easy to check that
It is also possible to check (directly or using the Cayley transform and Proposition 3 in [7]) that \(\gamma \) is invariant under the Möbius transformations. Let us fix a finite partition \(e = \cup _{0}^{N}e_j\) and a collection \(\{s_j\}_{j = 1}^{N}\) such that \(|e_0| < {\epsilon }\), for \(j \ge 1\) the sets \(e_j\) are bounded, and
It is possible to choose \(y_*>0\) so small that for every function s of Schur class in \({\mathbb {C}}_+\), for every \(0<y<y_*\) and every \(1 \le j \le N\) we have
This is the key analytic ingredient of the Breimesser–Pearson theorem, and we refer the reader to Theorem 1 in [7] or to Theorem 7.6 in [20] for its proof. One need to use the conformal invariance of the harmonic measure to get (6.3) from those results. Fix \(1 \le j \le N\) and consider the function s defined by
For \(x \in e_j\), we have \(x = {\bar{x}}\) and
due to invariance of \(\gamma \) with respect to Möbius transformations (in the formula above we identified complex numbers with elements of the projective complex plane so that \(z \in {\mathbb {C}}\) corresponds to (z, 1)). Using (6.2) we see that
Integrating this inequality, we get
Let us show that for large \(\ell >0\) we have
then the statement will follow. By definition, we have \(\omega _{w}(\overline{S}) = \omega _{{\bar{w}}}(S)\). So, we need to show that
Relation (6.3) reduces this to the inequality
Estimate (6.2) and our definition of s imply that it suffices to check that
for every \(w \in {\mathbb {D}}\) and every \(z \in {\mathbb {C}}_+\) (since \(\omega _w({\bar{S}}) \le 1\) for every \(w \in {\mathbb {D}}\), one can use Lebesgue dominated convergence theorem and (6.2) to derive (6.4) from (6.5)). Since \({\mathcal {A}}(z, \ell ) \in {\mathrm {SL}}(2,{\mathbb {C}})\), with \({\mathcal {J}}\) given in (1.3) the standard formula for inverse of matrices gives
Combining this with (1.1) we get
where \(\overline{ (\dots )}\) denotes entry by entry complex conjugation. From (6.1) and the invariance of \(\gamma \) with respect to Möbius transformations we now see that (6.5) holds if
where \(\text {diam}_{\gamma } F= \sup _{w_1,w_2 \in F} \gamma (w_1,w_2)\) is the diameter of a set \(F \subset {\mathbb {D}}\) with respect to \(\gamma \), and
is the Weyl disk of the j-monotonic family \({\mathcal {B}}(z,\ell ) = j_1 {\mathcal {A}}^{-1}(z,\ell )j_1\). Assume first that \(z = i\) and \({\mathcal {A}}\) admits the Arov normalization condition at \(z = i\):
so
The Euclidean diameter of \(D_{{\mathcal {B}}}(i,\ell )\) is equal to \(2/e^{2\mu (\ell )}(1- \kappa (\ell )^2)\) by Lemma 3.3. Note that we have \(\mu (\ell ) \rightarrow +\infty \) and \(\kappa (\ell ) \rightarrow s_+(i)\) as \(\ell \rightarrow +\infty \) by Lemma 1.8. Since \(|s_+(i)| = |s_+(i,0)|< 1\) by our assumption, we see that the Euclidean diameters of \(D_{{\mathcal {B}}}(i,\ell )\) tend to zero as \(\ell \rightarrow +\infty \). Since \({\mathcal {B}}(i,\ell )\) is upper-triangular, we have \(0 \in D\). Hence, relation (6.6) holds. Moreover, (3.5) shows that under the Arov gauge normalization we have (6.6) for every \(z \in {\mathbb {C}}_+\).
In the general case, Proposition 1.4 gives a j-unitary family \(\{U(\ell )\}\) such that \({\tilde{{\mathcal {A}}}} = {\mathcal {A}}U(\ell )\) obeys the Arov normalization. Then the previous argument implies that the \(\gamma \)-diameters of the Weyl disks
tend to zero. Since \({\tilde{{\mathcal {B}}}}(z,\ell )^{-1} = {\mathcal {B}}(z,\ell )^{-1}j_1 U(\ell ) j_1\) and \(j_1 U(\ell ) j_1\) is j-unitary, the same is true for the Weyl disks \(D_{\mathcal {B}}(z,\ell )\) due to the invariance of \(\gamma \) under the Möbius transformations. This ends the proof. \(\square \)
7 Remling’s Theorem for Canonical Systems in the Arov Form
In this section we are interested in description of coefficients of reflectionless canonical systems. Recall that a j-monotonic family \(\{{\mathcal {A}}(z,\ell )\}_{\ell \in {\mathbb {R}}}\) in the limit point case at \(\pm \infty \) is called reflectionless on a set \(E \subset {\mathbb {R}}\) if its Schur functions \(s_{\pm }\) satisfy
in the sense of nontangential boundary values. In the case where \({\mathsf {E}}\) is the absolutely continuous spectrum (see the beginning of Sect. 6) of \(\{{\mathcal {A}}(z,\ell )\}_{\ell \in {\mathbb {R}}}\) , this family and the canonical system it generates are called reflectionless.
Roughly, the main result of this section says that canonical systems with almost periodic coefficients are reflectionless. Let us introduce the notion of almost periodicity we are going to use [5, Section 6.1]. Let \(\mu \) be a complex Borel measure on the real line \({\mathbb {R}}\). The measure \(\mu \) is called translation bounded if for any compact subset \(K \subset {\mathbb {R}}\) we have
Consider a set of test functions \(X \subset L^1(\mu )\) closed under translation: \(S_y X \subset X\), \(y \in {\mathbb {R}}\), where the shift operator \(S_y\) is defined by
We say that a translation bounded Borel measure \(\mu \) on \({\mathbb {R}}\) is X-almost periodic if for all \(h \in X\), the convolution
is a uniformly almost periodic function on \({\mathbb {R}}\) (that is, \(\{S_y(h * \mu )\}_{y \in {\mathbb {R}}}\) is a precompact set in the Banach space of bounded continuous functions on \({\mathbb {R}}\)). It is classical to define almost periodic measures using the space \(C_{c}({\mathbb {R}})\) of continuous functions with compact support as a set X of test functions, see, e.g., [2, 3]. We will use another class \(X = PC_c({\mathbb {R}})\) of piecewise continuous compactly supported functions. It is easy to see that a translation bounded complex measure \(\mu \) without point masses is \(PC_c({\mathbb {R}})\)-almost periodic if and only if the function
is uniformly almost periodic for every \(\ell >0\). We call a \(2 \times 2\) matrix-valued mapping \(PC_c({\mathbb {R}})\)-almost periodic if each its entry is \(PC_c({\mathbb {R}})\)-almost periodic. This allows us to deal with canonical systems with \(PC_c({\mathbb {R}})\)-almost periodic coefficients. Here is a reformulation of Theorem 1.14 in new terms.
Theorem 7.1
Every canonical system
with \(PC_c({\mathbb {R}})\)-almost periodic coefficients \(A\,d\mu \), \(B\,d\mu \) is reflectionless.
Our plan is to use the following lemma. The usage of the Breimesser–Pearson theorem from the previous section in its proof is inspired by [18].
Lemma 7.2
Suppose that \(\{{\mathcal {A}}(z,\ell )\}_{\ell \in {\mathbb {R}}}\) is a j-monotonic family in the limit point case at \(\pm \infty \), and let \(\{\tau _n\}\) be a sequence converging to \(+\infty \) such that there exists the limit
uniformly on compact subsets of \({\mathbb {C}}\times {\mathbb {R}}\). Then \(\{{\mathcal {B}}(z,\ell )\}_{\ell \in {\mathbb {R}}}\) is a j-monotonic family reflectionless on the absolutely continuous spectrum \({\mathsf {E}}\) of \(\{{\mathcal {A}}(z,\ell )\}_{\ell \in {\mathbb {R}}}\).
Proof
By definition, \(\{{\mathcal {B}}(z,\ell )\}_{\ell \in {\mathbb {R}}}\) is a j-monotonic family, and, moreover, we have \(s_{{\mathcal {A}},\pm }(z,\tau _n) \rightarrow s_{{\mathcal {B}},\pm }(z)\), \(z \in {\mathbb {C}}_+\), for the corresponding Schur spectral functions. It follows that
for every Borel set \(e \subset {\mathbb {R}}\) of finite Lebesgue measure. Here we used again estimate (6.3) for Schur functions, see Theorem 1 in [7] or Theorem 7.6 in [20]. If moreover e is a subset of the a.c. spectrum \({\mathsf {E}}\) of \(\{{\mathcal {A}}(z,\ell )\}\), from Theorem 6.1 we get
Using the fact that \(\omega _{w}({\bar{S}}) = \omega _{{\bar{w}}}(S)\) for every \(w \in {\mathbb {D}}\), we conclude that \(\overline{s_{{\mathcal {B}},-}} = s_{{\mathcal {B}},+}\) almost everywhere on \({\mathsf {E}}\), that is, the system \(\{{\mathcal {B}}(z,\ell )\}_{\ell \in {\mathbb {R}}}\) is reflectionless on \({\mathsf {E}}\). \(\square \)
We are ready to prove Theorem 7.1.
Proof
Suppose that \({\mathcal {A}}(z,\ell )\) is the transfer matrix of a canonical system with coefficients \(A\,d\mu \), \(B\,d\mu \) that are \(PC_c({\mathbb {R}})\)-almost periodic matrix-valued measures. For \(\tau \ge 0\), \(n \ge 0\), let
be the coefficients of the canonical system with the transfer matrix \({\mathcal {A}}^{[\tau ]}(z,\ell ) = {\mathcal {A}}(z,\tau )^{-1}{\mathcal {A}}(z,\ell +\tau )\). Using almost periodicity, one can choose a sequence \(\{\tau _n\}\), \(\lim \tau _n = +\infty \), such that
and
uniformly in \(\ell \ge 0\) on each interval [0, T]. For \(z \in {\mathbb {C}}\), let \(X_{z,n}\) denote the matrix valued measure \(-(izA_{\tau _n}-B_{\tau _n})j\,d\mu _{\tau _n}\), and let \(X_z = -(izA-B)j\,d\mu \). Then
where the infinite series in the right hand side converges uniformly on compact subsets of \([0,+\infty ) \times {\mathbb {C}}\) because \(\mu \) is translation bounded. Since the variation on [0, T] of \(X_{z,n}-X_z\) tends to zero uniformly on compact subsets of \({\mathbb {C}}\) for each \(T\ge 0\), we have \({\mathcal {A}}(z,\ell ) = \lim _{n \rightarrow +\infty }{\mathcal {A}}^{[\tau _n]}(z,\ell )\) and conditions of Lemma 7.2 are satisfied for the sequence \(\{\tau _n\}\) and \({\mathcal {B}}= {\mathcal {A}}\). From Lemma 7.2 we now see that the family \(\{{\mathcal {A}}(z,\ell )\}_{\ell \in {\mathbb {R}}}\) is reflectionless. \(\square \)
References
Acharya, K.R.: Remling’s theorem on canonical systems. J. Math. Phys. 57(2), 023505 (2016)
Argabright, L., de Lamadrid, J.: Fourier analysis of unbounded measures on locally compact abelian groups. In: Memoirs of the American Mathematical Society, vol. 145, American Mathematical Society, Providence, vi+53 pp (1974)
Argabright, L.N., de Lamadrid, J.: Almost periodic measures. Mem. Am. Math. Soc. 85(428), vi+219 pp (1990)
Arov, D.Z., Dym, H.: J-contractive matrix valued functions and related topics. In: Encyclopedia of Mathematics and Its Applications, vol. 116, Cambridge University Press, Cambridge, xii+575 pp (2008). ISBN: 978-0-521-88300-9
Bessonov, R., Lukić, M., Yuditskii, P.: A theory of reflectionless canonical systems, II. Almost periodicity and character-automorphic Fourier transforms. arXiv:2011.05266
Borichev, A., Sodin, M.: Krein’s entire functions and the Bernstein approximation problem. Ill. J. Math. 45(1), 167–185 (2001)
Breimesser, S.V., Pearson, D.B.: Geometrical aspects of spectral theory and value distribution for Herglotz functions. Math. Phys. Anal. Geom. 6(1), 29–57 (2003)
Clark, S., Gesztesy, F.: Weyl-Titchmarsh M-function asymptotics, local uniqueness results, trace formulas, and Borg-type theorems for Dirac operators. Trans. Am. Math. Soc. 354(9), 3475–3534 (2002)
Damanik, D., Eichinger, B., Yuditskii, P.: Szegő’s theorem for canonical systems: the Arov gauge and a sum rule. arXiv:1907.03267
de Branges, L.: Hilbert Spaces of Entire Functions. Prentice-Hall Inc, Englewood Cliffs (1968)
Eckhardt, J., Kostenko, A., Teschl, G.: Spectral asymptotics for canonical systems. J. Reine Angew. Math. 736, 285–315 (2018)
Efimov, A.V., Potapov, V.P.: J-expanding matrix-valued functions, and their role in the analytic theory of electrical circuits. Uspehi Mat. Nauk 28(1(169)), 65–130 (1973)
Kotani, S.: Ljapunov indices determine absolutely continuous spectra of stationary random one-dimensional Schrödinger operators. In: Stochastic Analysis (Katata/Kyoto, 1982), North–Holland Math. Library, vol. 32, North–Holland, Amsterdam, pp. 225–247 (1984)
Krein, M.G.: A contribution to the theory of entire functions of exponential type (in Russian). Izv. Akad. Nauk SSSR 11, 309–326 (1947)
Krein, M.G.: On the theory of entire matrix functions of exponential type, Ukrain. Mat. Zhurnal 3, 164–173 (1951) (in Russian) [English translation in: Krein, M.G.: On the theory of entire matrix-functions of exponential type. In: Topics in Interpolation Theory (Leipzig, 1994), Oper. Theory Adv. Appl., vol. 95, Birkhäuser, Basel, pp. 361–371 (1997)]
Levitan, B.M., Sargsjan, I.S.: Sturm-Liouville and Dirac operators, Translated from the Russian. In: Mathematics and its Applications (Soviet Series), vol. 59. Kluwer, Dordrecht, xii+350 pp (1991)
Potapov, V.P.: The multiplicative structure of J-contractive matrix functions. Am. Math. Soc. Transl. 2(15), 131–243 (1960)
Remling, C.: The absolutely continuous spectrum of Jacobi matrices. Ann. Math. 174(1), 125–171 (2011)
Remling, C.: The absolutely continuous spectrum of one-dimensional Schrödinger operators. Math. Phys. Anal. Geom. 10(4), 359–373 (2007)
Remling, C.: Spectral theory of canonical systems. In: De Gruyter Studies in Mathematics, vol. 70, De Gruyter, Berlin, x+194 pp (2018)
Simon, B.: Szegő’s theorem and its descendants. In: Spectral Theory for \(L^2\) Perturbations of Orthogonal Polynomials, M. B. Porter Lectures, Princeton University Press, Princeton, xii+650 pp (2011)
Weyl, H.: Über beschränkte quadratische Formen, deren Differenz vollstetig ist. Rend. Circ. Mat. Palermo 27, 373–392 (1909)
Acknowledgements
The work of R.B. in Sections 6 and 7 is supported by grant RScF 19-11-00058 of the Russian Science Foundation. In the rest of the paper, M.L. was supported in part by NSF grant DMS–1700179 and P.Y. was supported by the Austrian Science Fund FWF, project no: P32885-N.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Bessonov, R., Lukić, M. & Yuditskii, P. Reflectionless Canonical Systems, I: Arov Gauge and Right Limits. Integr. Equ. Oper. Theory 94, 4 (2022). https://doi.org/10.1007/s00020-021-02683-z
Received:
Revised:
Published:
DOI: https://doi.org/10.1007/s00020-021-02683-z