Abstract
We show that a Toeplitz operator on the space of real analytic functions on the real line is left invertible if and only if it is an injective Fredholm operator, it is right invertible if and only if it is a surjective Fredholm operator. The characterizations are given in terms of the winding number of the symbol of the operator. Our results imply that the range of a Toeplitz operator (and also its adjoint) is complemented if and only if it is of finite codimension. Similarly, the kernel of a Toeplitz operator (and also its adjoint) is complemented if and only if it is of finite dimension.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we study Toeplitz operators on the space of real analytic functions on the real line. We start by presenting the classical background for our investigation. The presentation is based on the beautiful books by Gelfond [21] and Markushevich [34]. In the next section we discuss our main results.
A fundamental result in function theory says that a holomorphic function locally develops into a power series. There are however also other series representations of holomorphic functions. Some holomorphic functions develop into Newton series
where \((z_{n})\) is an appropriately chosen sequence of complex numbers. Such representations are deeply connected with interpolation theory and difference equations (actually the whole Gelfond’s book [21] is devoted to the study of this relation). We briefly recall now the construction of Newton interpolation polynomials in order to provide motivation for our study. This leads to representations of form (1). Let \(z_{0},\ldots ,z_{n}\in {\mathbb {C}}\) be pairwise different. A function \(f:{\mathbb {C}}\rightarrow {\mathbb {C}}\) can be written in the following way:
where
Here \([z_{0}]=f(z_{0})\) and \([z_{0},\ldots ,z_{k}], k=1,\ldots ,n\) are the divided differences
One easily notices that \(P_{n}\) is a polynomial such that \(P_{n}(z_{k})=f(z_{k})\) for \(k=0,\ldots ,n\). This polynomial is called a Newton interpolation polynomial (actually it is rather the Newton form of interpolation polynomial). It is worth mentioning that it appears for the first time in Newton’s Principia Mathematica (Book III, Lemma V, Case 1).
Given a function f and a sequence \((z_{n})\), a natural question is whether the polynomials \(P_{n}\) converge yielding representation of the form (1) with
One immediately notices a similarity between Newton series and Taylor series. In fact, the series (1) with coefficients defined by divided differences (3) can be considered as a discrete analog of Taylor series. The divided differences play the role of discrete analogs of the consecutive derivatives, the polynomials \((z-z_{0})\ldots (z-z_{n-1})\) of the functions \(z^{n}\). The question, which we formulated above, that is, whether the polynomials \(P_{n}\) converge is deep and does not have an easy answer. Some answers are known for entire functions (see [21], Satz 1, p. 43, Satz 1, p. 47 and also Chapter II, §2 and §3).
Crucial for our study is the fact that the operators connected with Newton series turn out to be (appropriately defined) Toeplitz operators, the object of our investigation. Namely, it follows easily from the residue theorem for holomorphic functions that
when f is (for simplicity) entire and \(\gamma \) is a \(C^{\infty }\) smooth Jordan curve such that the points \(z,z_{0},\ldots ,z_{n}\) are contained in \(I(\gamma )\), the interior of the curve \(\gamma \) (recall Jordan’s theorem). This implies that the rest term \(R_{n}\) in (2) is, as we shall explain shortly, a composition of Toeplitz operators. Let us reformulate this observation: convergence properties of Newton series are governed by Toeplitz operators. Also, divided differences \([z_{0},\ldots ,z_{k}]\), which are the coefficient functionals in (1), are just the evaluations of the value of a Toeplitz operator at one of the points \(z_{0},\ldots ,z_{k}\).
An important situation occurs when \(z_{k}=k,k=0,\ldots ,n\). Then
and the corresponding Cauchy integral (4) is usually called Nörlund–Rice integral. The method of estimating it is considered as ‘one of the basic asymptotic techniques of the analysis of algorithms’. We refer the reader to [19] and [38] for an enlightening discussion of the applications to theoretical computer science and discrete mathematics.
Observe that if f can be represented by Newton series (1) then \(f(z_{k})\) is given by a finite sum \(a_{0}+\sum _{n=1}^{k}\frac{a_{n}}{n!}(z_{k}-z_{0})\ldots (z_{k}-z_{k-1})\). This property was used by Pólya to prove his result which characterizes functions holomorphic in some half-space \(\mathfrak {R}z>\alpha \), satisfying some growth condition which vanish at integers, as polynomials ([21], p. 133, Satz 10). Even more importantly, the fact that the function \(e^{\alpha z}\) develops into a Newton series is one of the key elements in the proof of the theorem which says that \(\alpha \) and \(e^{\alpha }\) cannot be simultaneously algebraic numbers ([21], p. 167, Satz 9). This in particular implies that the numbers e and \(\pi \) are transcendental. This result contains as a special case Lindemann classical theorem. We mention that Newton series representations draw some attention also in combinatorics in the so called umbral calculus [41]. There is an ongoing interest in Dirichlet series. Therefore it is worthy of mentioning that there is a relation between Newton series and Dirichlet series (see [21], p. 113, Satz 3).
Roughly speaking a divided difference considered as a function of one its arguments
is well-defined and formula (4) holds true for functions which develop into power series. This is why we consider in this paper the case of real analytic functions. Recall that these are the functions \(f:{\mathbb {R}}\rightarrow {\mathbb {C}}\) which develop locally, around each point of \({\mathbb {R}}\) into convergent power series. This means that a real analytic function on \({\mathbb {R}}\) is a germ on \({\mathbb {R}}\) of a holomorphic function. To sum this up, we study in this paper a class of operators, which includes the operators defined by divided differences (4), on functions which locally develop into power series. Observe that the assumption that f is real analytic is precisely what is needed to consider Nörlund–Rice formulae (4) and (5).
The space of all real analytic functions on \({\mathbb {R}}\) will be denoted by \({\mathcal {A}}({\mathbb {R}})\). This space is not a Banach space, it is not even metrizable. It carries however a natural locally convex topology and such fundamental tools of functional analysis as the Hahn–Banach theorem, the uniform boundedness principle and the open mapping/closed graph theorem are available. This will play some role in our proofs.
Somewhat imprecise one may say that we consider here the space of all holomorphic functions on which we impose only one condition: their domain must contain the real line. One should compare this for instance with the Hardy, Bergman or Fock spaces in which cases the domain of a holomorphic function is fixed and common for all elements in the space. There are excellent books concerning Toeplitz operators on these spaces [4, 37, 47]. Real analytic functions play a significant role in mathematics. It suffices to mention here such fundamental results as the Cauchy–Kovalevskaya Theorem or Holmgren’s Uniqueness Theorem (cf. [40], Theorems 2.21 and 2.26), which are formulated for this class of functions. Importantly, Hörmander characterized in [25] partial differential operators with constant coefficients which are surjective on the space of real analytic functions on a domain in \({\mathbb {R}}^{n}\). In [32] Langenbruch solved the right inverse problem for convolution operators on the space of real analytic functions. In this paper we consider similar problems for the class of Toeplitz operators, which we introduced in [9]. Our approach is however completely different.
A Toeplitz operator \(T_{F}\) on \({\mathcal {A}}({\mathbb {R}})\) is an operator of the form
The symbol F of the operator \(T_{F}\) belongs to the symbol space \({\mathcal {X}}({\mathbb {R}})\), which is defined as the inductive limit of the spaces \(H(U{\setminus } K)\)—the spaces of all functions holomorphic in \(U{\setminus } K\),
Here the sets U run through complex neighborhoods of \({\mathbb {R}}\) and the sets K run through compact subsets of \({\mathbb {R}}\).
If U is an open neighborhood of \({\mathbb {R}}\), K is a compact subset of \({\mathbb {R}}\) and \({\tilde{F}}\) is holomorphic in \(U{\setminus } K\), then \({\tilde{F}}\) determines an element in \({\mathcal {X}}({\mathbb {R}})\), which is the equivalence class \([{\tilde{F}}]_{\sim }\) in \({\mathrm{lim ind}\,}H(U{\setminus } K)\) of the function \({\tilde{F}}\). Two such functions \({\tilde{F}}_{i}\in H(U_{i}{\setminus } K_{i}), i=1,2\) determine the same element if for some open \(U\subset U_{1}\cap U_{2}\) containing \({\mathbb {R}}\) and compact \(K\supset K_{1}\cup K_{2}\) contained in \({\mathbb {R}}\) it holds that
In (6) the operator \(M_{F}:{\mathcal {X}}({\mathbb {R}})\rightarrow {\mathcal {X}}({\mathbb {R}})\) is the operator of multiplication by F and \({\mathcal {C}}:{\mathcal {X}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}})\) is the Cauchy transform. We remark here that \({\mathcal {C}}\) turns out be a projection onto the space of real analytic functions \({\mathcal {A}}({\mathbb {R}})\). We recall the details in Sect. 3.
Observe that if \(z_{0},\ldots ,z_{n}\) are real then the operator given by (4) is precisely an operator \(T_{F}\) with F which is the equivalence class in \({\mathcal {X}}({\mathbb {R}})\) of the function
which belongs to \(H({\mathbb {C}}{\setminus } \{z_{0},\ldots ,z_{n}\})\).
A fundamental result of Brown and Halmos [5] says that a Toeplitz operator on the Hardy space \(H^{2}({\mathbb {T}})\) is of the form \(PM_{\phi }\), where \(M_{\phi }\) is the operator of multiplication by \(\phi \in L^{\infty }({\mathbb {T}})\) and \(P:L^{2}({\mathbb {T}})\rightarrow H^{2}({\mathbb {T}})\) is the Riesz projections (which is also the Cauchy transform in the unit disk). Observe a similarity between this characterization of Toeplitz operators and formula (6). The similarity is deeper and it motivated our research. We mention here that in ([9], Theorem 2) we proved a characterization of Fredholm Toeplitz operators on \({\mathcal {A}}({\mathbb {R}})\) which strongly resembles the classical result for Hardy spaces. We shall recall this result in the next section, since it is one of the main tools in this paper.
Toeplitz operators on \(H^{2}({\mathbb {T}})\) are defined by a well-known matrix condition. Such a characterization holds true also in the case of the space of real analytic functions \({\mathcal {A}}({\mathbb {R}})\). Any operator of the form \(T_{F}, F\in {\mathcal {X}}({\mathbb {R}})\) satisfies
locally near zero for complex numbers
Here, \({\tilde{F}}\in H(U{\setminus } K)\) is a representative of \(F\in {\mathcal {X}}({\mathbb {R}})\). The set U is an open simply connected neighborhood of \({\mathbb {R}}\) and K is a compact subset of \({\mathbb {R}}\). The symbol \(\gamma \) stands for (any) \(C^{\infty }\) smooth Jordan curve in \(U{\setminus } K\) which contains the origin and the set K in its interior \(I(\gamma )\).
Condition (7) says that if we consider Taylor series expansions around zero of the real analytic functions \(T_{F}(x^{n}), n\in {\mathbb {N}}_{0}\) and create an infinite matrix \(M_{T_{F}}\) by putting the Taylor coefficients of the functions \(T_{F}(x^{n})\) in the consecutive columns of the matrix \(M_{T_{F}}\), then this matrix is an (infinite) Toeplitz matrix
Naturally such a matrix \(M_{T}\) can be created for any operator \(T:{\mathcal {A}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}})\), not only for the Toeplitz operators \(T_{F}\). We say that the matrix \(M_{T}\) is associated with the operator T. It was proved in ([9], Theorem 1) that if the matrix associated with a continuous linear operator \(T:{\mathcal {A}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}})\) is a Toeplitz matrix, then T is a Toeplitz operator. That is, T is necessarily an operator \(T_{F}\) defined in (6) for some symbol \(F\in {\mathcal {X}}({\mathbb {R}})\). This is an analog of the classical Brown–Halmos result.
We emphasize that one should be careful with the matrix interpretation of a Toeplitz operator since monomials do not form a Schauder basis in \({\mathcal {A}}({\mathbb {R}})\). In fact, as shown by Domański and Vogt [17] the space \({\mathcal {A}}({\mathbb {R}})\) has no Schauder basis at all. Note however that condition (7) determines the operator, since polynomials are dense in \({\mathcal {A}}({\mathbb {R}})\).
Our primary motivation in this project has been to build a theory of continuous linear operators on the space \({\mathcal {A}}({\mathbb {R}})\) in a way similar to the known theories of operators on Hilbert and Banach spaces. There is an extensive literature on linear continuous operators on these spaces. Much less is known about both concrete and abstract operators on locally convex spaces. There are however prominent exceptions such as differential or convolution operators. Nonetheless the theory of linear continuous operators on locally convex spaces is less developed than the Hilbert or Banach space counterpart. The basic object in our considerations is a matrix associated with an operator. The idea to consider operators determined by matrices associated with them comes from the work of Domański and Langenbruch. In a series of papers [10,11,12,13] they created the theory of the so-called Hadamard multipliers. These are the operators the associated matrix of which is just diagonal. This research was continued by Domański et al. [15] and also by Vogt in [44, 45] for spaces of distributions, in [43] for spaces of smooth functions and by Trybuła in [42] for spaces of holomorphic functions. In [14] and [16] Domański and Langenbruch showed that this theory provides the correct framework to study Euler’s equation. This equation on temperate distributions was studied in [46] by Vogt. Golińska in [23] and [24] studies operators defined by Hankel matrices.
The paper is divided into four sections. In the next one we present our main results. Section three provides background for our study. We recall there basic facts concerning real analytic functions and Toeplitz operators. In that section we also prove an analog of Wiener–Hopf factorization. In section four we prove our main results. This is divided into two subsections. First we discuss left invertibility of Toeplitz operators. The second subsection is devoted to right invertibility of Toeplitz operators.
2 Main Results
We shall say that \(F\in {\mathcal {X}}({\mathbb {R}})\) does not vanish if F is represented by \({\tilde{F}}\in H(U{\setminus } K)\), which does not vanish in \(U{\setminus } K\).
Our main results are the following theorems:
Theorem 1
A Toeplitz operator \(T_{F}:{\mathcal {A}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}})\), \(F\in {\mathcal {X}}({\mathbb {R}})\), is left invertible if and only if \(T_{F}\) is an injective Fredholm operator. Equivalently, \(T_{F}\) is left invertible if and only if \(F\in {\mathcal {X}}({\mathbb {R}})\) does not vanish and
Theorem 2
A Toeplitz operator \(T_{F}:{\mathcal {A}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}})\), \(F\in {\mathcal {X}}({\mathbb {R}})\), is right invertible if and only if \(T_{F}\) is a surjective Fredholm operator. Equivalently, \(T_{F}\) is right invertible if and only if \(F\in {\mathcal {X}}({\mathbb {R}})\) does not vanish and
For \(F\in {\mathcal {X}}({\mathbb {R}})\) the winding number is defined by means of any representative of F which does not vanish. That is, assume that \(F=[{\tilde{F}}]_{\sim }\) for some \({\tilde{F}}\in H(U{\setminus } K)\), which does vanish in \(U{\setminus } K\). Here, U is an open neighborhood of \({\mathbb {R}}\) and K is a compact subset of \({\mathbb {R}}\). We may assume that U is simply connected. Then
The symbol \(\gamma \) stands for a \(C^{\infty }\) smooth Jordan curve in \(U{\setminus } K\) such that K is contained in the interior \(I(\gamma )\) of the curve \(\gamma \). One easily observes that the definition is correct. This follows from Cauchy’s theorem.
A crucial tool in the proofs of our main results is the following theorem:
Theorem 2.1
([9], Theorem 2) A Toeplitz operator \(T_{F}, F\in {\mathcal {X}}({\mathbb {R}})\) is a Fredholm operator if and only if F does not vanish. In this case,
It is worth mentioning that Theorems 1 and 2 are closely analogous to the classical Hardy space theory of Toeplitz operators with continuous symbols (see [22], Theorem 7.1 in accordance with [3], Lemma 6.14). We find it rather surprising. The methods are however completely different, since the Banach algebra techniques are not available in our setting.
The proofs of both Theorems 1 and 2 are based on the characterization of semi-Fredholm operators obtained in [28]. In order to present the idea of the proof we recall now these results.
Let \(F\in {\mathcal {X}}({\mathbb {R}})\) and let a holomorphic function \({\tilde{F}}\in H(U{\setminus } K)\) be its representative: \(F=[{\tilde{F}}]_{\sim }\) (here \(K\subset {\mathbb {R}}\) is compact and \(U\supset {\mathbb {R}}\) is open).
- (i)
We will say that F has real zeros going to infinity if there are \(x_{n}\in {\mathbb {R}}\) such that \(\lim |x_{n}|=\infty \) and \({\tilde{F}}(x_{n})=0\).
- (ii)
We will say that F has non-real zeros accumulating at a real point if the function \({\tilde{F}}\) has zeros \(z_{n}\notin {\mathbb {R}}\) whose limit \(\lim z_{n}\) exists and belongs to \({\mathbb {R}}\).
We observe that these two properties depend only on the germ \(F\in {\mathcal {X}}({\mathbb {R}})\) and do not depend on the choice of K, U and the representative \({\tilde{F}}\in H(U{\setminus } K)\) of F. The set of zeros of a function \({\tilde{F}}\) in \(H(U{\setminus } K)\) is discrete in \(U{\setminus } K\). It follows that, given a non-zero germ \(F\in {\mathcal {X}}({\mathbb {R}})\), one can find U, K and a representative \({\tilde{F}}\in H(U{\setminus } K)\) of F that has no zeros in \(U{\setminus } K\) if and only if \(F\in {\mathcal {X}}({\mathbb {R}})\) neither has real zeros going to infinity nor non-real zeros accumulating at a real point.
Theorem 2.2
([27], Theorem 3) Assume that \(F\in {\mathcal {X}}({\mathbb {R}})\) does not vanish identically. Consider the Toeplitz operator \(T_{F}\).
- (i)
If F has no real zeros going to infinity and has no non-real zeros accumulating at a real point, then the kernel of \(T_{F}\) is finite dimensional, the cokernel is finite dimensional and the image of \(T_{F}\) is closed;
- (ii)
If F has non-real zeros accumulating at a real point, but has no real zeros going to infinity, then the operator \(T_{F}\) is surjective and the kernel of \(T_{F}\) is of infinite dimension;
- (iii)
If F has real zeros going to infinity, but has no non-real zeros accumulating at a real point, then the operator \(T_{F}\) is injective and the range of \(T_{F}\) is a closed subspace of infinite codimension;
- (iv)
If F has both real zeros going to infinity and non-real zeros accumulating at a real point, then the operator \(T_{F}\) is injective and the range of \(T_{F}\) is a dense subspace of infinite codimension.
For any \(F\in {\mathcal {X}}({\mathbb {R}})\) one of the above four cases holds true.
We remark that we may assume that one of the four cases concerning the zeros of \({\tilde{F}}\) with \([{\tilde{F}}]_{\sim }=F \in {\mathcal {X}}({\mathbb {R}})\) holds since we may always shrink the open set U and enlarge the compact set K without affecting the equivalence class of \({\tilde{F}}\) in the symbol space \({\mathcal {X}}({\mathbb {R}})={\mathrm{lim ind}\,}H(U{\setminus } K)\) or the operator \(T_{F}\).
If condition (ii) of Theorem 2.2 holds then the operator \(T_{F}\) is not injective. Hence it cannot be left invertible. Recall that if S is a left inverse of \(T_{F}\), \(ST_{F}=I\), then \(T_{F}\circ S\) is a continuous projection onto the range of \(T_{F}\). Thus the range of \(T_{F}\) is a closed complemented subspace of \({\mathcal {A}}({\mathbb {R}})\). This implies that under condition (iv) of Theorem 2.2 the operator \(T_{F}\) cannot be left invertible. The next result, which is essentially our first main result, deals with condition (iii).
Theorem 3
Assume that \(F\in {\mathcal {X}}({\mathbb {R}})\) has real zeros going to infinity, but has no non-real zeros accumulating at a real point. The range of the operator \(T_{F}\) is not a complemented subspace of \({\mathcal {A}}({\mathbb {R}})\).
Theorem 3 implies that the operator \(T_{F}\) can be left invertible only when (i) of Theorem 2.2 holds. That is, only when \(T_{F}\) is a Fredholm operator. This is the main ingredient of the proof of Theorem 1.
In the proof of Theorem 3 we obtain precise information on the range of the operator \(T_{F}\) (see Proposition 4.3). This seems to be interesting per se. We explicitly construct a sequence of functionals \(\xi _{n}\in {\mathcal {A}}({\mathbb {R}})^{'}\) such that
Then we argue that if the range was complemented, then a natural projection should be in a reasonable way continuous. We show that this is however not the case. The proof is constructive and we show in particular how to obtain by means of Toeplitz operators functions dual to the functionals \(\xi _{n}\).
In order to show that an injective Fredholm operator is left invertible one simply uses the closed graph theorem, which, let us emphasize this, works in \({\mathcal {A}}({\mathbb {R}})\). This time there is also a constructive argument. Namely, we complete the picture of Fredholm Toeplitz operators on \({\mathcal {A}}({\mathbb {R}})\) and prove a Wiener–Hopf type factorization in this space (Theorem 3.2 below) actually by mimicking the classical argument. With this tool at hand we may write down a left inverse explicitly.
As we have already remarked, our characterization of one sided invertible Toeplitz operators on \({\mathcal {A}}({\mathbb {R}})\) resembles closely the Hardy space results. There is however a difference. An operator on a Hilbert space fails to be left invertible in two situations: it is not injective or the range is not closed. Note that the reason for \(T_{F}\) not to be left invertible may be more involved. That is, the range of the operator may not be complemented.
It seems worth mentioning that the study when the range of an operator is complemented drew some attention also in other natural cases [7, 29]. By a well-known result of Lindenstrauss and Tzafriri [33] a Banach space is isomorphic to a Hilbert space provided every closed subspace is complemented. Theorems 2.2 and 3 immediately imply the following result:
Corollary 2.3
Consider a Toeplitz operator \(T_{F}:{\mathcal {A}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}})\), \(F\in {\mathcal {X}}({\mathbb {R}})\). The range of \(T_{F}\) is a non-trivial complemented subspace of \({\mathcal {A}}({\mathbb {R}})\) if and only if it is a subspace of non-zero finite codimension. This holds if and only if \(F\in {\mathcal {X}}({\mathbb {R}})\) does not vanish and
The codimension of the range of \(T_{F}\) is equal to \(\text { winding}\,F\).
Theorem 3 means that there are plenty of closed subspaces of \({\mathcal {A}}({\mathbb {R}})\), which are not complemented. By a trivial argument the subspace of even (odd) real analytic functions is complemented in \({\mathcal {A}}({\mathbb {R}})\). Hence there are complemented subspaces in \({\mathcal {A}}({\mathbb {R}})\) of infinite codimension. This also means that \(f(x)\mapsto f(-x)\) is not a Toeplitz operator, which follows immediately from the matrix representation (8) (this operator is however an Hadamard multiplier). Our results provide therefore a method to construct an abundance of subspaces of \({\mathcal {A}}({\mathbb {R}})\) and also \({\mathcal {A}}({\mathbb {R}})_{b}^{'}\), which are not complemented.
If an operator \(T_{F}:{\mathcal {A}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}})\) is right invertible, then it is surjective. It follows therefore from Theorem 2.2 that this happens either if \(T_{F}\) is a surjective Fredholm operator or \(F=[{\tilde{F}}]_{\sim }\) for \({\tilde{F}}\in H(U{\setminus } K)\), which vanishes only on a sequence \((z_{n})\subset {\mathbb {C}}{\setminus } {\mathbb {R}}\), which accumulates only at points of K. In the next result, which is essentially our second main result, we rule out the second possibility. Note that if \(T_{F}\) is right invertible, then \(T_{F}^{'}:{\mathcal {A}}({\mathbb {R}})^{'}_{b}\rightarrow {\mathcal {A}}({\mathbb {R}})^{'}_{b}\) is left invertible and, as a result, its range in \({\mathcal {A}}({\mathbb {R}})^{'}_{b}\) is complemented.
Theorem 4
Assume that \(F\in {\mathcal {X}}({\mathbb {R}})\) has non-real zeros accumulating at a real point but no real zeros going to infinity. The range of the operator \(T_{F}^{'}\) is not a complemented subspace of \({\mathcal {A}}({\mathbb {R}})^{'}_{b}\).
In order to prove the theorem we again prove a representation of the range of the adjoint operator \(T_{F}^{'}\) of the form (9).
This theorem implies the following analog of Corollary 2.3:
Corollary 2.4
Consider a Toeplitz operator \(T_{F}:{\mathcal {A}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}})\), \(F\in {\mathcal {X}}({\mathbb {R}})\). The kernel of \(T_{F}\) is a non-trivial complemented subspace of \({\mathcal {A}}({\mathbb {R}})\) if and only if it is a subspace of non-zero finite dimension. This holds if and only if \(F\in {\mathcal {X}}({\mathbb {R}})\) does not vanish and
The dimension of the kernel of \(T_{F}\) is equal to \(-\text { winding}\,F\).
The statements concerning the codimension of the range of \(T_{F}\) in Corollary 2.3 and the dimension of the kernel of \(T_{F}\) in Corollary 2.4 are immediate consequences of the Coburn-Simonenko theorem for Toeplitz operators on \({\mathcal {A}}({\mathbb {R}})\), which we proved in ([28], Theorem 1.2). This says, as in the Hardy space case, that either \(\ker T_{F}\) or \(\ker T_{F}^{'}\) is trivial.
Our work relies heavily on the previous results concerning Fredholm Toeplitz operators [9, 27] and semi-Fredholm operators [28]. We also use extensively the Köthe–Grothendieck–da Silva duality. This will be recalled in Sect. 3. A basic tool in our arguments is Weierstrass factorization theory of entire functions. For this we refer the reader to [6].
3 The Space of Real Analytic Functions and Toeplitz Operators
3.1 The Space of Real Analytic Functions
For the reader’s convenience we recall here basic properties of the space of real analytic functions on the real line and define Toeplitz operators on this space. For more details we refer to our previous works [9, 27] and, especially, [28]. We refer the reader to [26, 36] and [30] for the functional analytic background. Projective and injective limits of locally convex spaces are also studied in detail in [20]. The article [8] gives an instructive introduction to real analytic functions. There is also an interesting book [31], however of less functional analytic flavor. In our presentation of the space \({\mathcal {A}}({\mathbb {R}})\) here we essentially follow [18].
The space of real analytic functions on the real line, denoted \({\mathcal {A}}({\mathbb {R}})\), consists of all functions \(f:{\mathbb {R}}\rightarrow {\mathbb {C}}\) which develop at every point \(x\in {\mathbb {R}}\) into a power series convergent in a neighborhood of x to f. This implies that a real analytic function extends to a holomorphic function on some neighborhood of \({\mathbb {R}}\) and two such extensions define the same element of \({\mathcal {A}}({\mathbb {R}})\) if they coincide on an open set which contains \({\mathbb {R}}\). In other words, a function \(f\in {\mathcal {A}}({\mathbb {R}})\) is a germ on \({\mathbb {R}}\) of a holomorphic function and as sets
where the inductive limit runs through all open neighborhoods of \({\mathbb {R}}\) and H(U) is the Fréchet space of all holomorphic functions on U with the topology of uniform convergence on compact subsets. Equality (10) is used to equip the space \({\mathcal {A}}({\mathbb {R}})\) with the so-called inductive topology. This is the strongest locally convex topology such that every restriction
is continuous.
On the other hand, if \(K\subset {\mathbb {R}}\) is compact then the restriction of f to K determines the germ in H(K), the space of all germs of holomorphic functions over K (we refer the reader to [2], p. 64 for detailed information on this space). Therefore, we may equip \({\mathcal {A}}({\mathbb {R}})\) with the projective topology given by
where the sets K run through all compact subsets of \({\mathbb {R}}\). One easily observes that instead of taking in (11) all compact subsets \(K\subset {\mathbb {R}}\) one can take any compact exhaustion \(\{K_{n}\}_{n\in {\mathbb {N}}}\) of \({\mathbb {R}}\), for example \(\{[-n,n]\}_{n\in {\mathbb {N}}}\).
A fundamental result of Martineau [35] says that the inductive and the projective topology coincide. In [18] the authors give a simpler proof of this fact. Other proofs are discussed in [8]. With this topology the space \({\mathcal {A}}({\mathbb {R}})\) is nuclear, complete and the polynomials are dense. It is also ultrabornological and webbed (see [36], Chapter 24 for definitions). This implies that the open mapping and the closed graph theorems hold for linear maps \(T:{\mathcal {A}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}})\) (see [36], Theorems 24.30 and 24.31). Furthermore, the space \({\mathcal {A}}({\mathbb {R}})\) is reflexive.
A key element of the proofs of Theorems 1 and 2 is a description of the dual space of \({\mathcal {A}}({\mathbb {R}})\). The so-called Grothendieck–Köthe–Silva (see [30], pp. 372–378, also [1], Theorem 1.3.5) duality says that
The symbol \(H_{0}({\mathbb {C}}_{\infty } {\setminus } [-n,n])\) stands for the space of all holomorphic functions in \({\mathbb {C}}{\setminus } [-n,n]\), which vanish at infinity with the topology of uniform convergence on compact subsets. The index b in \(H([-n,n])^{'}_{b}\) denotes that the dual space is equipped with the strong topology, i.e. the topology of uniform convergence on bounded sets in H(K) (we refer the reader to [36], Chapter 23, especially p. 269 for a presentation of topologies of the dual space).
Naturally the image of \({\mathcal {A}}({\mathbb {R}})\) under the map of restriction to K is dense in H(K) for any \(K\subset \subset {\mathbb {R}}\). It follows therefore from ([20], §26, Satz 1.6) that algebraically
where \(\{K_{n}\}_{n\in {\mathbb {N}}}\) is a compact exhaustion of the real line, for instance \(K_{n}=[-n,n]\), \(n\in {\mathbb {R}}\). Isomorphism (13) holds also topologically when the dual space of the space \({\mathcal {A}}({\mathbb {R}})\) is considered with its strong topology and \({\mathrm{lim ind}\,}H(K_{n})^{'}\) is equipped with the corresponding inductive topology (cf. [18], Proposition 1.7). Thus we have
Since we will work with continuous linear functionals on \({\mathcal {A}}({\mathbb {R}})\) it is important to write down the isomorphism (14) explicitly. Namely, let \(\xi \) be a continuous linear functional on \({\mathcal {A}}({\mathbb {R}})\). Then there exists an interval \([-n,n]\) and a function \(f\in H_{0}({\mathbb {C}}_{\infty }{\setminus } [-n,n])\) such that for any \(g\in {\mathcal {A}}({\mathbb {R}})\),
The function G is holomorphic in some open simply connected neighborhood of \({\mathbb {R}}\) and restricted to \({\mathbb {R}}\) is equal to g. The \(C^{\infty }\) smooth Jordan curve \(\gamma \) lies in the common domain of holomorphy of f and G, and surrounds \([-n,n]\), i.e. \([-n,n] \subset I(\gamma )\). One easily observes that the formula (15) is correct, i.e. it does not depend on \(\gamma \) and G used to compute \(\xi (g)\). It also does not depend on the representative of the class of f in \({\mathrm{lim ind}\,}H_{0}({\mathbb {C}}_{\infty }{\setminus } [-n,n])\).
3.2 Symbol Space and Toeplitz Operators
The symbol space \({\mathcal {X}}({\mathbb {R}})\) is defined as the inductive limit of the spaces \(H(U{\setminus } K)\),
where U runs through all open neighborhoods of \({\mathbb {R}}\) and K through all compact subsets of \({\mathbb {R}}\). Definition (16) makes \({\mathcal {X}}({\mathbb {R}})\) a locally convex space (this was discussed in detail in [9], Sect. 3). As we have already written in the Introduction, any function \({\tilde{F}}\in H(U{\setminus } K)\) determines the equivalence class \([{\tilde{F}}]_{\sim }\) in \({\mathcal {X}}({\mathbb {R}})\). We call such a function a symbol function, its equivalence class is a symbol. Two such functions \({\tilde{F}}_{i}\in H(U_{i}{\setminus } K_{i}),i=1,2\) for possibly different sets \(U_{i}\supset {\mathbb {R}}\) and \(K_{i}\subset {\mathbb {R}}\) determine the same element of \({\mathcal {X}}({\mathbb {R}})\) if and only if there is an open set \(U\subset U_{1}\cap U_{2}\) with \({\mathbb {R}}\subset U\) and a compact set a compact set \(K\supset K_{1}\cap K_{2}\) contained in \({\mathbb {R}}\) such that
One easily notices that the space \({\mathcal {X}}({\mathbb {R}})\) is an algebra. Thus for any \(F\in {\mathcal {X}}({\mathbb {R}})\) the operator of multiplication \(M_{F}:{\mathcal {X}}({\mathbb {R}})\rightarrow {\mathcal {X}}({\mathbb {R}})\) is well-defined. Also, the space of all real analytic functions on \({\mathbb {R}}\) is a subspace of \({\mathcal {X}}({\mathbb {R}})\).
We recall now the definition of the Cauchy transform on the space \({\mathcal {X}}({\mathbb {R}})\) following the presentation in [28]. Let \(F\in {\mathcal {X}}({\mathbb {R}})\) and let F be the equivalence class of a function \({\tilde{F}}\in H(U{\setminus } K)\), i.e. \(F=[{\tilde{F}}]_{\sim }\), where U is an open neighborhood of \({\mathbb {R}}\) and K is a compact subset of \({\mathbb {R}}\). As usual we may assume that U is simply connected. Let now \(z\in U\) and choose a \(C^{\infty }\) smooth Jordan curve in \(U{\setminus } K\) such that both z and K are contained in \(I(\gamma )\). We put
Naturally, for any \(z\in U\) we can find a \(C^{\infty }\) smooth Jordan curve \(\gamma \subset U{\setminus } K\) such that z and K are in \(I(\gamma )\). By Cauchy’s Theorem the value of \(({\mathcal {C}}F)(z)\) does not depend on \(\gamma \). Hence (17) defines a function holomorphic in U. Its equivalence class \([{\mathcal {C}}F]_{\sim }\) in \({\mathcal {X}}({\mathbb {R}})\) is by definition the Cauchy transform of F. We use the same symbol, that is \({\mathcal {C}}F\), to denote this object. One easily shows that \({\mathcal {C}}F\in {\mathcal {X}}({\mathbb {R}})\) does not depend on the representative \({\tilde{F}}\) chosen to compute \(({\mathcal {C}}F)(z)\) in (17). As we have already stated, \(({\mathcal {C}}F)(z)\) in (17) is holomorphic on some neighborhood of \({\mathbb {R}}\). Hence its restriction to the real line belongs to \({\mathcal {A}}({\mathbb {R}})\).
By Cauchy’s integral formula, for any \(F\in {\mathcal {A}}({\mathbb {R}})\) it holds that \({\mathcal {C}}F=F\). That is, we have \({\mathcal {C}}^{2}={\mathcal {C}}\) and \({\mathcal {C}}\) is a continuous linear projection onto \({\mathcal {A}}({\mathbb {R}})\). The existence of a continuous projection onto \({\mathcal {A}}({\mathbb {R}})\) readily implies that \({\mathcal {A}}({\mathbb {R}})\) is a closed subspace of \({\mathcal {X}}({\mathbb {R}})\). Also, \(I-{\mathcal {C}}\) is a projection onto \(H_{0}({\mathbb {C}}{\setminus } {\mathbb {R}})\). Hence this space is also a closed subspace of \({\mathcal {X}}({\mathbb {R}})\). Furthermore, it is essentially a consequence of Cauchy’s integral formula that
We again refer the reader to ([9], Sect. 3) for the details.
For any \(F\in {\mathcal {X}}({\mathbb {R}})\) we consider the operator
and call it a Toeplitz operator. As we explained in the Introduction in (7) and (8), the matrix associated with the operator \(T_{F}\) is a Toeplitz matrix. This justifies the name of this class of operators.
We now formulate explicitly the formula for the operator \(T_{F}\), \(F\in {\mathcal {X}}({\mathbb {R}})\). Assume that \(f\in {\mathcal {A}}({\mathbb {R}})\) and let \({\tilde{f}}\in H(V)\) be an extension of f. Assume that F is the equivalence class of a function \({\tilde{F}}\in H(U{\setminus } K)\), i.e. \(F=[{\tilde{F}}]_{\sim }\). Here, U, V are open neighborhoods of \({\mathbb {R}}\) and K is a compact subset of \({\mathbb {R}}\). Let \(W\subset U\cap V\) be a simply connected (meaning also connected) open neighborhood of \({\mathbb {R}}\). For \(z\in W\) choose a \(C^{\infty }\) smooth Jordan curve \(\gamma \) contained in W such that both the point z and the set K are contained in the interior \(I(\gamma )\) of the curve \(\gamma \). For any \(z\in W\) such a curve exists. The function
is therefore holomorphic in W—by Cauchy’s theorem the definition does not depend on \(\gamma \). Its restriction to \({\mathbb {R}}\) is a real analytic function and is precisely equal to \(({\mathcal {C}}M_{F})f\). We slightly abuse the notation and denote the holomorphic function defined by (18) also by \(T_{F}f\). That is, \(T_{F}f\) is now both an element of \({\mathcal {A}}({\mathbb {R}})\) and its holomorphic extension to a simply connected neighborhood of \({\mathbb {R}}\) defined by (18).
In ([28], Sect. 3) there is provided a detailed discussion of the definition of Toeplitz operators (we emphasize however that therein (18) was used as a definition of a Toeplitz operator). In particular, it was shown that the formula is correct (see [28], Proposition 3.1). That is, it does not depend on the extension \({\tilde{f}}\in H(V)\) of \(f\in {\mathcal {A}}({\mathbb {R}})\) and the representative \({\tilde{F}}\in H(U{\setminus } K)\). It is also an immediate consequence of the definitions that \(T_{F}:{\mathcal {A}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}})\) is a continuous linear operator on the space of real analytic functions (see [9], Sect. 3 for the details).
We remark that sometimes to simplify the notation we will use the same symbol for a function \(f\in {\mathcal {A}}({\mathbb {R}})\) and its holomorphic extension on some open neighborhood of the line \({\mathbb {R}}\). Similarly, we use the same symbol to denote a class \(F\in {\mathcal {X}}({\mathbb {R}})\) and its representative in a certain space \(H(U{\setminus } K)\).
As we have already mentioned, in the previous work [9] the authors characterized Fredholm Toeplitz operators (Theorem 2.1 above). Also, in [27] there was proved an analog of the Coburn-Simenenko Theorem for Toeplitz operators on the space of real analytic functions.
Theorem 3.1
([27], Theorem 1.2) Assume that \(T_{F}:{\mathcal {A}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}})\), \(F\in {\mathcal {X}}({\mathbb {R}})\) is a Toeplitz operator. Either \(T_{F}\) or its adjoint \(T_{F}^{'}\) is injective.
This result will also be important in our arguments below.
3.3 Wiener–Hopf Factorization
Here we prove a result which is an analog of the Wiener–Hopf factorization. For information on this important result for Hardy spaces of Carleson curves we refer the reader to ([3], Chapter 6.12). The proof which we will give below is actually similar to the classical case ([3], Theorem 6.32). We include it for completeness.
Theorem 3.2
A Toeplitz operator \(T_{F}:{\mathcal {A}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}}), F\in {\mathcal {X}}({\mathbb {R}})\) is a Fredholm operator if and only if F admits a Wiener–Hopf factorization in \({\mathcal {X}}({\mathbb {R}})\). That is
where \(F_{+} \in {\mathcal {A}}({\mathbb {R}})\), \(F_{-}\in H({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) do not vanish (as elements of \({\mathcal {X}}({\mathbb {R}})\)) and \(k=-{\mathrm{index }\,}T_{F}\). In other words, it holds that \(F_{+},F_{+}^{-1}\in {\mathcal {A}}({\mathbb {R}})\) and \(F_{-},F_{-}^{-1}\in H({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\).
We used the symbol \(H({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) to denote the space
where K runs through compact subsets of \({\mathbb {R}}\).
Proof
Assume that \(T_{F}\) is a Fredholm operator with index k. Put \(G:=Fz^{k}\). Then
Similarly,
It follows from Theorem 3.1 that both \(T_{G}\) and \(T_{G^{-1}}\) are invertible. Let \({\mathcal {Q}}:=I-{\mathcal {C}}\) be the complementary projection to the Cauchy projection. One easily shows that the operators
are invertible. Let \(\varphi ,\psi \in {\mathcal {X}}({\mathbb {R}})\) be the solutions to the equations
We put
Hence
with \({\mathcal {Q}}\varphi ,{\mathcal {Q}}\psi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\). It follows from Liouville’s theorem that \({\mathcal {A}}({\mathbb {R}})\cap H({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})=\{\text {constant functions}\}\). Since \(\varphi _{+}\psi _{+}=(1-{\mathcal {Q}}\varphi )(1-{\mathcal {Q}}\psi )\) and \((1-{\mathcal {Q}}\varphi )(1-{\mathcal {Q}}\psi )(\infty )=1\) we get \(\varphi _{+}\psi _{+}=\text {constant}=1\).
Finally we put
Then \(F_{+}^{-1}=\varphi _{+}\in {\mathcal {A}}({\mathbb {R}})\) and \(F_{-}^{-1}=1-{\mathcal {Q}}\psi \in H({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\). Furthermore,
If \(F=F_{+}z^{k}F_{-}\) with \(F_{+}\in {\mathcal {A}}({\mathbb {R}})\) and \(F_{-}\in H({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) which do not vanish, then F does not vanish and, as a result, \(T_{F}\) is a Fredholm operator. Obviously, \(T_{F_{+}}^{-1}=T_{F_{+}^{-1}}\) and
This follows from the fact that \(T_{F}T_{G}=T_{FG}\) if \(F\in H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) or \(G\in {\mathcal {A}}({\mathbb {R}})\). Hence
We infer that also \(T_{F_{-}}\) is invertible and, as a result, is a Fredholm operator of index 0. \(\square \)
4 Proofs of the Main Results
4.1 Left Invertibility of Toeplitz Operators
We prove here our first main result. In order to explain and motivate our methods we shall deal first with the multiplication operator on \({\mathcal {A}}({\mathbb {R}})\) by a function in \({\mathcal {A}}({\mathbb {R}})\), which is naturally an example of a Toeplitz operator.
Theorem 4.1
Let \((a_{n})\subset {\mathbb {R}}\) be a sequence converging to \(\infty \). The space
is not complemented in \({\mathcal {A}}({\mathbb {R}})\).
As we remarked above, this theorem is given to motivate the general method. This is why we only sketch the proof.
Proof
For each \(N\in {\mathbb {N}}\) define the space
Let also \(X:=\bigcup X_{N}\subset {\mathcal {A}}({\mathbb {R}})\). Choose functions \(f_{n}\in {\mathcal {A}}({\mathbb {R}})\) such that \(f_{n}(a_{m})=\delta _{nm}\). For \(f\in X\) the sum
is well-defined, since it is a finite sum. Also for any \(f\in X\) the function
belongs to Y. Assume that Y is complemented and let \(P:{\mathcal {A}}({\mathbb {R}})\rightarrow Y\) be a continuous projection onto Y. Since for any \(f \in X\) the function \(f-\sum f(a_{n})f_{n}\) is in Y, we have
and
Recall that the sum is finite. This shows that if Y is complemented, then there exist functions \(\varphi _{n}\in {\mathcal {A}}({\mathbb {R}})\) such that for any \(f\in X\),
Note that no function \(\varphi _{n}\) vanishes identically. Indeed, if \(\varphi _{n}\equiv 0\), then \(f_{n}=Pf_{n}\), which implies that \(f_{n}\in Y\). This is impossible, since \(f_{n}(a_{n})=1\). There exists therefore a point \({\tilde{z}}\in {\mathbb {R}}\) such that \(\varphi _{n}({\tilde{z}})\ne 0\) for all \(n\in {\mathbb {N}}\). Choose a function \(f\in H({\mathbb {C}})\) such that
Such a function exists by the Weierstrass Theorem. Let
with appropriately chosen numbers \(p_{n}\). Consider the function \(fF_{N}\). The sequence of functions \(g_{N}=fF_{N}\) converges in \(H({\mathbb {C}})\) to f. Hence, their restrictions to the real line converge to \(f\vert _{{\mathbb {R}}}\) in \({\mathcal {A}}({\mathbb {R}})\). Since P is continuous, \(P(g_{N}\vert _{{\mathbb {R}}}) \rightarrow P(f\vert _{{\mathbb {R}}})\) and \((I-P)\bigl (g_{N}\vert _{{\mathbb {R}}}\bigr )\rightarrow (I-P)(f\vert _{{\mathbb {R}}})\). On the other hand,
since \(g_{N}\vert _{{\mathbb {R}}} \in X\). We have
which diverges, since \(F_{N}\) converges to 1 uniformly on compact subsets of the plane. This is a contradiction, since the evaluation at \({\tilde{z}}\) is a continuous functional on \({\mathcal {A}}({\mathbb {R}})\). The formal argument requires a precise choice of the numbers \(p_{n}\). We shall refrain from writing down the details here. This will be done in the proof of Theorem 3. \(\square \)
Our aim now is to generalize the arguments from the proof of Theorem 4.1 for Toeplitz operators. We consider the operator \(T_{F}\) with \(F\in {\mathcal {X}}({\mathbb {R}})\), where F is the equivalence class of \({\tilde{F}}\in H(U{\setminus } K)\), with U an open neighborhood of \({\mathbb {R}}\) and K a compact subset of \({\mathbb {R}}\). We assume that \({\tilde{F}}\) vanishes only on a sequence \(z_{n}\in {\mathbb {R}}\) which accumulates only at \(\pm \, \infty \).
According to Theorem 2.2 the operator \(T_{F}\) is injective and has closed range. We prove that the range of \(T_{F}\) is not a complemented subspace of \({\mathcal {A}}({\mathbb {R}})\). The first step is a factorization of the symbol function \({\tilde{F}}\). Let \(m_{n}\) be the multiplicity of \(z_{n}\), \(n\in {\mathbb {N}}\). We assume that
Note that we can always assume that \(0 \in K\) and \(z_{1}\ne 0\). Using Weierstrass theory we write
where the sequence \((p_{n})\) is now only assumed to be chosen in such a way that for any \(r>0\)
In order to complete the proof of Theorem 3, a more precise choice of the sequence \((p_{n})\) will be needed. This will be done at the end of the proof. Observe that the function \(F_{0}\in H(U{\setminus } K)\) does not vanish in \(U{\setminus } K\).
Consider the operator \(T_{F_{0}}\). To simplify the notation we write \(T_{F_{0}}\) for the Toeplitz operator corresponding to the symbol \([F_{0}]_{\sim }\in {\mathcal {X}}({\mathbb {R}})\). We apply this convention also in the next results.
It follows from Theorem 2.1 that the operator \(T_{F_{0}}\) is a Fredholm operator and
Our first goal is to construct a sequence of continuous linear functionals \(\xi _{n}\in {\mathcal {A}}({\mathbb {R}})^{'}, n\in {\mathbb {N}}\) such that
Any \(\xi \) is \(\xi _{\varphi }\) (see (15)) for a function \(\varphi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } L)\), L a compact subset of \({\mathbb {R}}\). In order to simplify the notation we shall identify the functional \(\xi _{\varphi }\) with the function \(\varphi \). With this convention (20) takes the form
for some sequence \(\varphi _{n}\in H_{0}({\mathbb {C}}_{\infty }{\setminus } L_{n})\), \(L_{n}\subset \subset {\mathbb {R}}\). The following fact is a key to many results proved below. Roughly speaking continuous linear functionals cannot distinguish between a multiplication operator and a general Toeplitz operator.
Lemma 4.2
Assume that \(F\in {\mathcal {X}}({\mathbb {R}})\), \(F=[{\tilde{F}}]_{\sim }\) for \({\tilde{F}}\in H(U{\setminus } K)\), \(f \in {\mathcal {A}}({\mathbb {R}})\) with \(f={\tilde{f}}\vert _{{\mathbb {R}}}\) for \({\tilde{f}}\in H(V)\) and \(\varphi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } L)\). Then
where \(\gamma \) is a \(C^{\infty }\) smooth Jordan curve in \(W {\setminus } (K\cup L)\) such that \(K\cup L\subset I(\gamma )\). The symbol W stands for a simply connected neighborhood of \({\mathbb {R}}\) contained in \(U\cap V\).
Proof
The proof is an immediate consequence of Fubini’s theorem. Let \(W\subset U\cap V\) be a simply connected neighborhood of \({\mathbb {R}}\). The function \(T_{F}f\) defined as in (18) is holomorphic in W—recall our convention concerning denoting Toeplitz operators. Let \(\delta \) be a \(C^{\infty }\) smooth Jordan curve contained in W and such that \(L\subset I(\delta )\). Then
Choose a \(C^{\infty }\) smooth Jordan curve \(\gamma \) in W such that \(K\subset I(\gamma )\) and also \(\delta \subset I(\gamma )\). We have
by Cauchy’s integral formula, since \(\varphi \) vanishes at \(\infty \). \(\square \)
The next proposition is a key technical ingredient in the proof of Theorem 3. Let us recall that \(F_{0}\) is holomorphic in \(U{\setminus } K\). We may assume without loss of generality that U is simply connected.
Proposition 4.3
If \({\mathrm{index }\,}T_{F_{0}}=-1\), then there exists a function \(\varphi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } L)\), L a compact subset of \({\mathbb {R}}\), such that
If \({\mathrm{index }\,}T_{F_{0}}=k\ge 0\), then there exists a function \(\varphi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } L)\), L a compact subset of \({\mathbb {R}}\), and natural numbers \(l,\mu _{l}\), \(\mu _{l}\le m_{l}\), such that
If \({\mathrm{index }\,}T_{F_{0}}=k<-1\), then there exists a function \(\varphi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } L)\), L a compact subset of \({\mathbb {R}}\), and natural numbers \(l,\mu _{l}\) such that
Also, if \({\mathrm{index }\,}T_{F_{0}}\le -1\), then there exists a function \(a\in H(U)\) such that
for \(z\in U{\setminus } (K\cup L)\).
If \({\mathrm{index }\,}T_{F_{0}}\ge 0\), then there exists a function \(a\in H(U)\) such that
for \(z\in U{\setminus } (K\cup L)\) and \(z\ne z_{1},\ldots ,z_{l}\).
To prepare the proof of Proposition 4.3 we need some lemmas. The next lemma in accordance with Lemma 4.2 explains the reason why (21) and also (22) hold true.
Lemma 4.4
Assume that \(G\in H(U{\setminus } K)\), U is an open simply connected neighborhood of \({\mathbb {R}}\), K is a compact subset of \({\mathbb {R}}\). If for every polynomial p
where \(\gamma \) is a \(C^{\infty }\) smooth Jordan curve in \(U{\setminus } K\) with \(K\subset I(\gamma )\), then \(G\in H(U)\).
Proof
By Cauchy’s integral formula \(G=G_{+}+G_{-}\), where \(G_{+}\in H(U)\) and \(G_{-}\in H_{0}({\mathbb {C}}_{\infty }{\setminus } K)\). We have
for sufficiently large \(R>0\), by Cauchy’s theorem. This implies that \(G_{-n}=0\) for \(n\in {\mathbb {N}}\). Hence, \(G=G_{+}\). \(\square \)
Our method to prove Proposition 4.3 is to reduce the proof to the finite dimensional case of Fredholm operators. We formulate now three auxiliary Lemmas.
Lemma 4.5
Assume that \(F_{0}\in H(U{\setminus } K)\) does not vanish, U is an open simply connected neighborhood of \({\mathbb {R}}\), K is a compact subset of \({\mathbb {R}}\). Furthermore, assume that \({\mathrm{index }\,}T_{F_{0}}=-1\). Then there exists a function \(\varphi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } L)\) such that
Proof
Since \({\mathrm{index }\,}T_{F_{0}}<0\), it must hold that \(\dim {\mathrm{coker}\,}T_{F_{0}}>0\). The operator \(T_{F_{0}}\) is a Fredholm operator (see Theorem 2.1). Hence its range is a closed subspace of \({\mathcal {A}}({\mathbb {R}})\) ([9], Proposition 5.1). There exists therefore a non-zero functional which vanishes on \(R(T_{F_{0}})\). Such a functional belongs to \(\ker T_{F_{0}}^{'}\). In view of the Coburn-Simonenko theorem (Theorem 3.1), it must hold that \(\ker T_{F_{0}}=\{0\}\). We infer that \(\dim {\mathrm{coker}\,}T_{F_{0}}=1\). Let a functional \(\xi \) span \(({\mathcal {A}}({\mathbb {R}})/R(T_{F_{0}}))^{'}\). Define \({\tilde{\xi }}:=\xi \circ \pi \), where \(\pi :{\mathcal {A}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}})/R(T_{F_{0}})\) is the quotient map. Obviously \(R(T_{F_{0}})\subset \ker \xi \) and both spaces are of codimension one. It must be that \(R(T_{F_{0}})=\ker \xi \). \(\square \)
Lemma 4.6
Assume that \(F_{0}\in H(U{\setminus } K)\) does not vanish, U is an open simply connected neighborhood of \({\mathbb {R}}\), K is a compact subset of \({\mathbb {R}}\). Furthermore, assume that
Let \(\varphi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } L)\) be as in the previous lemma, i.e.
For \(N\in {\mathbb {N}}\) consider the symbol function
with \(l\le m_{N}\). Then
In other words, if \(\xi _{\psi }\) vanishes on \(R(T_{G})\), then
Proof
There is a finite number of zeros of the symbol function G in \(U{\setminus } K\), all of them are real. There is therefore a compact set \({\tilde{K}}\subset {\mathbb {R}}\) such that G does not vanish in \(U{\setminus } {\tilde{K}}\). It follows therefore from Theorem 2.1 that \(T_{G}\) is a Fredholm operator. Furthermore, by the argument principle we have
As in the proof of Lemma 4.5 it follows from the Coburn-Simonenko theorem that \(\dim \ker T_{G}=0\) and
Consider the family of functions
Each of these functions defines a continuous linear functional on \({\mathcal {A}}({\mathbb {R}})\), since they belong to \(H_{0}({\mathbb {C}}_{\infty }{\setminus } (L\cup \{z_{1},\ldots ,z_{N}\}))\) and \(z_{1},\ldots ,z_{N}\) are real. The number of the functions is equal to \(\dim {\mathrm{coker}\,}T_{G}\). We claim that the continuous linear functionals defined by functions in \({\mathcal {G}}\) all vanish on \(R(T_{G})\), i.e.
Let us apply Lemma 4.2. Let \(\psi \in {\mathcal {G}}\) and \(f\in {\mathcal {A}}({\mathbb {R}})\)—we again simplify the notation and denote an extension of f to some open neighborhood of \({\mathbb {R}}\) by the same symbol f. For some \(n\in \{1,\ldots ,N-1\}\) and \(j\le m_{n}\) or \(n=N\) and \(j\le l\) we have
for the function \(g=\frac{{\mathcal {E}}}{(z-z_{i})^{j}}\cdot f \in {\mathcal {A}}({\mathbb {R}})\). The curve \(\gamma \) is a \(C^{\infty }\) smooth Jordan curve contained in the intersection of the domains of \(F_{0}\) and f, which may be assumed to be simply connected, and such that the sets K, L and the points \(z_{1},\ldots ,z_{N}\) are contained in \(I(\gamma )\). Hence,
for every \(f\in {\mathcal {A}}({\mathbb {R}})\) and every \(\psi \in {\mathcal {G}}\), since \(\xi _{\varphi }\) vanishes on the range of \(T_{F_{0}}\). In order to complete the proof of the lemma it suffices to show that the functions in \({\mathcal {G}}\) are linearly independent. This is however elementary. \(\square \)
We now consider the case
Find a number \(l\in {\mathbb {N}}\) and \(\mu _{l}\) with \(0\le \mu _{l}\le m_{l}\) such that
with the convention that \(m_{0}=0\). Consider the symbol function
It follows from Theorem 2.1 that
In view of Lemma 4.5 there exists \(\varphi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } L)\) with a compact \(L\subset {\mathbb {R}}\) such that
Lemma 4.7
With the above notation consider the symbol function
where \(0\le \nu _{l}\le m_{l}-\mu _{l}\). Then
In other words, if \(\xi _{\psi }\) vanishes on \(R(T_{H})\), then
Similarly, consider the symbol function
where \(N>l\) and \(0\le \nu _{N}\le m_{N}\). Then
In other words, if \(\xi _{\psi }\) vanishes on \(R(T_{H})\), then
Proof
In order to prove the lemma, it suffices to apply Lemma 4.6 with G instead of \(F_{0}\). Indeed, there is a finite number of real zeros of G in \(U{\setminus } K\). Hence, there is a compact subset \({\tilde{K}}\subset {\mathbb {R}}\) such that G does not vanish in \(U{\setminus } {\tilde{K}}\). Also, \({\mathrm{index }\,}T_{G}=-1\), we may therefore invoke Lemma 4.6. For instance when H is defined by (26) we have
\(\square \)
Now we investigate the case \({\mathrm{index }\,}T_{F_{0}}=k<-1\). Choose \(l\in {\mathbb {N}}\) and \(0\le \mu _{l}\le m_{l}\) such that
Consider the symbol function
Since the denominator vanishes only on a finite number of real zeros, G is a symbol function, i.e. it is holomorphic in some set of the form \(U{\setminus } {\tilde{K}}\). In this set the function G does not vanish, since \(F_{0}\) does not vanish. It follows therefore from Theorem 2.1 that \(T_{G}\) is a Fredholm operator and
There exists therefore \(\varphi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } L)\) such that
Lemma 4.8
With the notation introduced above consider the symbol
where \(1\le j<l\), \(0\le \nu _{j}\le m_{j}\) or if \(j=l\), \(\nu _{l}\le \mu _{l}\). Then the range of \(T_{H}\) is the intersection of the kernels of the functionals which correspond to the functions in the family
if \(j=l\) in (28) and to the functions in the family
if \(j<l\).
Consider the symbol
for some \(1\le j\le l\). The range of the operator \(T_{H}\) is the intersection of the kernels of the functionals which corresponds to the functions in the family
Consider the same symbol as in (29) for \(j>l\). Then the range of the operator \(T_{H}\) is the intersection of the kernels of the functionals which correspond to the functions in the family
Proof
Again in order to prove the lemma, it suffices to apply Lemma 4.6 with G instead of \(F_{0}\). \(\square \)
We are now ready to prove Proposition 4.3.
Proof of Proposition 4.3
Assume that \({\mathrm{index }\,}T_{F_{0}}=-1\). It follows from Lemma 4.5 that there exists \(\varphi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } L)\) such that
We show that
The same argument as in Lemma 4.6 shows the inclusion \(\subset \). Indeed, write \(F={\mathcal {E}}\cdot F_{0}\), then
with \(g=\frac{{\mathcal {E}}}{(z-z_{i})^{j}}f\in {\mathcal {A}}({\mathbb {R}})\), since \(\xi _{\varphi }\) vanishes on \(R(T_{F_{0}})\). We use as before the same symbol f for an extension of \(f\in {\mathcal {A}}({\mathbb {R}})\) to some holomorphic function in H(V), V an open neighborhood of \({\mathbb {R}}\). As usual \(\gamma \) is a \(C^{\infty }\) smooth Jordan curve in \(W {\setminus } (K\cup L)\) with \(K\cup L\subset I(\gamma )\). The symbol W denotes, as in Lemma 4.2, a simply connected neighborhood of \({\mathbb {R}}\) contained in the intersections of the open sets U and V. We use this convention below as well and also we write F to denote not only the symbol but also the symbol function, which represents F.
Assume that \(\xi =\xi _{\psi }\) vanishes on the range of \(T_{F}\), i.e. for any \(f\in {\mathcal {A}}({\mathbb {R}})\)
In other words,
for every \(f\in {\mathcal {A}}({\mathbb {R}})\). We have \(F\in H(U{\setminus } K)\) and \(\psi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } L)\), hence \(F\psi \in H(U{\setminus } (K\cup L))\). It follows from Lemma 4.4 that there exists a function \(a\in H(U)\) such that
for \(z\in U{\setminus } (K\cup L)\). For \(z\in U{\setminus } (K\cup L)\) it holds that
For such points z we may write
This means that a(z) vanishes for \(z_{n}\in (K\cup L)^{c}\). Hence, for a different function \(a\in H(U)\) we have
for \(z\in U{\setminus } (K\cup L)\). For \(z\in U{\setminus } (K\cup L)\) we can therefore write
since \(F_{0}\) does not vanish in \(U{\setminus } K\). Note that other cancellations are still possible in the formula above. Nonetheless, representation (32) holds true. Choose now N large enough to guarantee that
Consider the symbol function
For any \(f\in {\mathcal {A}}({\mathbb {R}})\) we have
by Cauchy’s theorem. The curve \(\gamma \) is a \(C^{\infty }\) smooth Jordan curve with \(K\cup L\subset I(\gamma )\). It follows from Lemma 4.6 that
This means that
Indeed, assume that the equality does not hold. We showed in (31) that \(R(T_{F}) \subset {\mathfrak {K}}\) and we also know from Theorem 2.2 that \(R(T_{F})\) is closed. Consider the locally convex space \({\mathcal {A}}({\mathbb {R}})/R(T_{F})\). By the Hahn–Banach theorem there exists \(\xi \in {\mathcal {A}}({\mathbb {R}})^{'}\), which vanishes on \(R(T_{F})\) and \(\xi (x)\ne 0\) for some \(x\in {\mathfrak {K}}{\setminus } R(T_{F})\). By (33) such a functional \(\xi \) belongs to
for some \(N\in {\mathbb {N}}\). Hence it vanishes on \({\mathfrak {K}}\), which is a contradiction. We infer that \(R(T_{F})={\mathfrak {K}}\). This proves the first assertion of the proposition.
Consider now the case \({\mathrm{index }\,}T_{F_{0}}=k\ge 0\). Let now \(\xi _{\psi }\) vanish on \(R(T_{F})\), i.e.
for every \(f\in {\mathcal {A}}({\mathbb {R}})\). We again conclude that there exists \(a\in H(U)\) such that
for \(z\in U{\setminus } (K\cup L)\) and, as a result,
for \(z\in U{\setminus } (K\cup L)\). Choose \(N\ge l\) large enough to guarantee that
Consider the symbol
We have
by Cauchy’s theorem, since the integrand is holomorphic in \(W\subset U\cap V\). It follows from Lemma 4.7 that
As in the first part of the proof, it follows from the Hahn–Banach theorem that
Now we consider the case \({\mathrm{index }\,}F_{0}=k<-1\). This time the proof follows from Lemma 4.8.
We now prove representations (21) and (22). Assume first that
Then, as in (30),
which implies that
for any \(f\in {\mathcal {A}}({\mathbb {R}})\). Hence,
for some \(a\in H(U)\) and \(z\in U{\setminus } (K\cup L)\). Since \(F_{0}\) does not vanish, we have
for \(z\in U{\setminus } (K\cup L)\).
Assume that \({\mathrm{index }\,}T_{F_{0}}=k<-1\). The function \(\varphi \) is now chosen in such a way that
for \(f\in {\mathcal {A}}({\mathbb {R}})\), where, let us recall,
The numbers l and \(\mu _{l}\) were chosen in (27). For some \(a\in H(U)\) we have
for \(z\in U{\setminus } (K\cup L)\), \(z\ne z_{1},\ldots ,z_{l}\). Hence, similarly as before,
The equality extends to \(U{\setminus } (K\cup L)\). We therefore also have the representation
for some \(a\in H(U)\).
Assume now that \({\mathrm{index }\,}T_{F_{0}}=k\ge 0\). The function \(\varphi \) is now chosen in such a way that
for \(f\in {\mathcal {A}}({\mathbb {R}})\), where this time G is equal to
The numbers l and \(\mu _{l}\) are chosen in (24). We therefore have
for some \(a\in H(U)\) and \(z\in U{\setminus } (K\cup L)\). Hence for \(z\in U{\setminus } (K\cup L)\) and \(z\ne z_{1},\ldots ,z_{l}\)
\(\square \)
Recall that we are guided by the proof of Theorem 4.1. This is why our next goal is a construction of dual functions in each case singled out in Proposition 4.3, i.e. functions \(f_{i}\in {\mathcal {A}}({\mathbb {R}}), i\in {\mathbb {N}}\) such that \(\xi _{j}(f_{i})=\delta _{ij}\). By \(\xi _{j},j\in {\mathbb {N}}\) we denoted the functionals for which it holds that
We treat all three cases together. Observe that in each case there are \(j\in {\mathbb {N}}\) and numbers \(\nu _{n}\in {\mathbb {N}}\) such that
For simplicity we assume that \(j=1\) and \(\nu _{n}=m_{n}\) for \(n\in {\mathbb {N}}\).
The first step is of a different nature. Namely, there are two possibilities: either
or the equality does not hold. In the latter case there exists a non-zero function \(f\in {\mathcal {A}}({\mathbb {R}})\) with
The function \(f/\xi _{\varphi }(f)\) is the first element of the construction in this case. Otherwise it suffices to construct functions \(f\in {\mathcal {A}}({\mathbb {R}})\) dual to functionals of the form \(\frac{\varphi }{(z-z_{n})^{k}}, n\in {\mathbb {N}}, 1\le k\le m_{n}\), which is also the second step in the second situation.
So assume that \(\xi \) is defined by a function \(\frac{\varphi }{(z-z_{n})^{k}}\) for some \(n\in {\mathbb {N}}\) and \(1\le k\le m_{n}\) with \(\varphi \) of the form postulated by Proposition 4.3. We seek for a function \(f\in {\mathcal {A}}({\mathbb {R}})\) such that
for \(i\ne n\) and \(1\le j\le m_{i}\) and also
for \(j\ne k\). Such a function will be constructed by means of Toeplitz operators with appropriately chosen symbols. Let us recall that either
for some function \(a\in H(U)\) or
Representation (36) holds when \({\mathrm{index }\,}T_{F_{0}}\le -1\), while (37) if \({\mathrm{index }\,}T_{F_{0}}\ge 0\). Our consideration must be subordinate to these two cases.
Denote
Observe that A is finite. This follows from (36) and (37) since \(a(z)=0\) implies \(\varphi (z)=0\). Recall that \(\varphi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } L)\). Thus zeros of \(\varphi \) cannot accumulate at \(\pm \, \infty \). For \(n\in A\) let \(\alpha _{n}\) be the multiplicity of \(z_{n}\). Write
for a function \(b\in H(U)\).
Assume first that \({\mathrm{index }\,}T_{F_{0}}\le -1\). Consider the symbol function
Observe that \(F_{n}\) is indeed a symbol function, since as we noted, A is finite. Let now \(g\in {\mathcal {A}}({\mathbb {R}})\) be arbitrary. For \(\iota \ne n\) and \( 1\le \kappa \le m_{\iota }\) it holds that
by Cauchy’s theorem, since the integrand is holomorphic. We used Proposition 4.3, formula (21). If \({\mathrm{index }\,}T_{F_{0}}\ge 0\) we set
and
for \(n>l\). The number l was chosen in (24). It follows from Proposition 4.3 that if \({\mathrm{index }\,}T_{F_{0}}\ge 0\), then we need to find functions dual to the functions
If \(n>l\) and \(\iota \ne n\) then for every \(g\in {\mathcal {A}}({\mathbb {R}})\) we have,
by Proposition 4.3. Observe that either \(\iota >l\) or \(\iota =l\) and \(\kappa +\mu _{l}\le m_{l}\). We infer that also in this situation
Consider now the case \(n=l\). Then \(\iota >n=l\) and we have
Observe that in every case considered above we have \(\langle T_{F_{n}}g,\varphi \rangle =0\) (resp. \(\langle T_{{\mathcal {F}}_{l}}g,\varphi \rangle =0\), \(\langle T_{{\mathcal {F}}_{n}}g,\varphi \rangle =0\)) for every \(g\in {\mathcal {A}}({\mathbb {R}})\). This means that functions of the form \(T_{F_{n}}g, g\in {\mathcal {A}}({\mathbb {R}})\) (resp. \(T_{{\mathcal {F}}_{l}}g\), \(T_{{\mathcal {F}}_{n}}g\)) are good candidates for f in formulas (34). Indeed, for every \(g \in {\mathcal {A}}({\mathbb {R}})\) conditions (34) are satisfied. In order to have dual functions we need therefore to choose functions \(g_{n,k}\in {\mathcal {A}}({\mathbb {R}}), n\in {\mathbb {N}}\), \(k=1,\ldots ,m_{n}\) such that
when \({\mathrm{index }\,}T_{F_{0}}\le -1\). If \({\mathrm{index }\,}T_{F_{0}}\ge 0\) we have \(n>l\) or \(n=l\) and then \(j,k=1,\ldots ,m_{l}-\mu _{l}\).
We treat the case \({\mathrm{index }\,}T_{F_{0}}\le -1\) first. By Cauchy’s integral formula
Thus the function \(g_{n,k}\in {\mathcal {A}}({\mathbb {R}})\) must be chosen in such a way that
\(j=1,\ldots ,m_{n}\). System of equations (38) is easily solvable inductively for \(g_{n,k}^{(j)}(z_{n}),j=1,\ldots ,m_{n}\), since both b(z) and \(\prod _{i\ne n}E_{p_{i}}^{m_{i}}\Bigl (\frac{z}{z_{i}}\Bigr )\) do not vanish at \(z_{n}\). Obviously for \(g_{n,k}\) one can take an appropriate interpolating polynomial.
Assume now that \({\mathrm{index }\,}T_{F_{0}}\ge 0\) and \(n>l\). Then
Again we seek for functions \(g_{n,k}\), \(k=1,\ldots ,m_{n}\) such that
\(j=1,\ldots ,m_{n}\). This system of equations is again easily solvable for \(g_{n,k}^{(j)}(z_{n})\).
Let now \({\mathrm{index }\,}T_{F_{0}}\ge 0\) and \(n=l\). Under these assumptions we have also that \(j=1,\ldots ,m_{l}-\mu _{l}\). Then
Again it is easy to choose appropriate functions \(g_{l,k}\). We proved the following:
Proposition 4.9
Assume that \(F\in H(U{\setminus } K)\), U an open neighborhood of \({\mathbb {R}}\) and K a compact subset of \({\mathbb {R}}\). Furthermore, assume that F vanishes only at points \(z_{n}\in {\mathbb {R}}{\setminus } K, n\in {\mathbb {N}}\) which accumulate only at \(\pm \, \infty \). There exists functionals \(\xi _{n}\in {\mathcal {A}}({\mathbb {R}})^{'}\) and functions \(f_{m}\in {\mathcal {A}}({\mathbb {R}})\), \(m,n\in {\mathbb {N}}\) such that
- (i)
\(\xi _{n}(f_{m})=\delta _{mn}\),
- (ii)
\(\displaystyle {R(T_{F})=\bigcap \ker \xi _{n}.}\)
We are now in a position where the arguments of the proof of Theorem 4.1 can be applied to prove Theorem 3.
Proof of Theorem 3
Assume that there exists a continuous projection
onto the range of the operator \(T_{F}\). Denote
where
The functionals \(\xi _{n},n\in {\mathbb {N}}\) were constructed in Proposition 4.3. Denote also
We stress that if
then the \(\xi _{n}\) correspond only to the functions \(\frac{\varphi }{(z-z_{n})^{k}}\), not to the function \(\varphi \) itself.
For \(f\in X\) the expression
is well-defined, since the sum is finite. The functions \(f_{n}\), constructed in Proposition 4.9, satisfy \(\xi _{m}(f_{n})=\delta _{mn}\). For any \(m\in {\mathbb {N}}\) we have
Hence for every \(f\in X\),
by (39). Thus for \(f\in X\),
In other words,
for \(f\in X\), where \(\psi _{n}=(I-P)(f_{n})\). Observe that \(f_{n}\ne Pf_{n}\), since \(\xi _{n}(f_{n})=1\). This implies that none of the functions \(\psi _{n}\) vanishes identically. There exists therefore \({\tilde{z}}\in {\mathbb {R}}\) such that \(\psi _{n}({\tilde{z}})\ne 0\) for every \(n\in {\mathbb {N}}\). We shall construct a sequence of functions \(\phi _{n}\in X\) convergent in \({\mathcal {A}}({\mathbb {R}})\) such that \((I-P)\phi _{n}\) cannot converge. This shows that the projection P cannot exist.
Recall representations (21) and (22) from Proposition 4.3. We consider now those points \(z_{n}\) which satisfy \(a(z_{n})\ne 0\). There exists an entire function f such that
where \(\psi _{M}=(I-P)f_{M}\) and \(f_{M}\) is dual to \(\xi _{M}=\frac{\varphi }{(z-z_{n})^{j+1}}\). We have
for \(j=0,\ldots ,m_{n}-1\). If \(a(z_{n})\ne 0\) system (41) can be solved for \(f^{(j)}(z_{n})\). If \(a(z_{n})=0\) we take f to satisfy \(f(z_{n})=f^{'}(z_{n})=\cdots =f^{(m_{n}-1)}(z_{n})=0\). Let us recall that \(a(z_{n})=0\) only for a finite number of \(n\in {\mathbb {N}}\). Thus the entire function f is chosen to satisfy equations (41) for all but a finite number of points \(z_{n}\) at which it is assumed to vanish to degree \(m_{n}-1\).
Assume first that \({\mathrm{index }\,}T_{F_{0}}\le -1\). Consider the symbol function
At this moment the \(p_{n}\) are only assumed to guarantee the convergence of the product. Under this assumption if \(i>N\) and \(1\le k\le m_{i}\), then
by Cauchy’s theorem, since the integrand is holomorphic. This implies that \(T_{F_{N}}f\in X\) for every \(N\in {\mathbb {N}}\). We now choose \(p_{n}\) so that
diverges at \({\tilde{z}}\). This gives a contradiction, since
converges uniformly on compact subsets of the plane to f as \(N\rightarrow \infty \). Hence the restriction of this function to the real line converges to \(f\vert _{{\mathbb {R}}}\) in \({\mathcal {A}}({\mathbb {R}})\). Since the operator \(T_{F_{0}}\) is continuous,
in \({\mathcal {A}}({\mathbb {R}})\). Thus if P is a continuous operator we should have
and, since the functionals of evaluation at points of \({\mathbb {R}}\) are continuous on \({\mathcal {A}}({\mathbb {R}})\), also
We shall show that this is impossible by appropriately choosing the numbers \(p_{n}\), actually \(p_{n}^{N}\), since the sequence will be different for each N. Thus
For \(1\le i\le N\) and \(2\le j\le m_{i}\), provided \(m_{i}\ge 2\), we have
Thus for \(1\le i\le N\) and \(2\le j\le m_{i}\),
Obviously, if \(j=1\) formula (42) reduces just to
Roughly speaking the rest of a convergent product converges uniformly on compact subsets of \({\mathbb {C}}\) to 1, its derivatives to 0. Hence for large N
where as before \(\psi _{M}=(I-P)f_{M}\) with \(f_{M}\) dual to \(\xi _{M}=\frac{\varphi }{(z-z_{i})^{j}}\). Consequently,
From now on we consider only those natural numbers \(N\in {\mathbb {N}}\) which satisfy \(|z_{N}|<|z_{N+1}|\). It follows from (19) that these numbers constitute a subsequence of \({\mathbb {N}}\). For such a number \(N\in {\mathbb {N}}\) we choose numbers \(p_{n}^{N},n>N\) such that
for \(|z|\le |z_{N}|+\delta _{N}\), where the numbers \(\delta _{N}>0\) are chosen in such a way that \(|z_{N}|+\delta _{N}<|z_{N+1}|\). We first determine the numbers \(\varepsilon _{N}>0\) and then show that appropriate sequences \((p_{n}^{N})\) can also be chosen. Denote
By Cauchy’s integral formula for \(k>0\)
for \(|z|<|z_{N}|+\delta _{N}\), in particular for \(z=z_{1},\ldots ,z_{N}\). Hence for \(|z|\le |z_{N}|\),
if \(\varepsilon _{N}\) satisfies (44). For any \(i=1,\ldots ,N\) such that \(m_{i}\ge 2\) the number \(\epsilon _{N}>0\) must therefore be chosen in such a way that \(\varepsilon _{N}<1\) and
for \(j=2,\ldots ,m_{i}\), where \(\psi _{M}\) corresponds to \(\frac{\varphi }{(z-z_{i})^{j}}\). This guarantees that the second term in (43) is uniformly small. If \(m_{i}=1\), then this condition is void. In particular, if \(m_{1}=\cdots =m_{N}=1\), then one can simply take \(\varepsilon _{N}=1\). In general, for a fixed number N the number \(\varepsilon _{N}\) must satisfy a finite number of conditions (45) corresponding to \(i=1,\ldots ,N\) and \(j=2,\ldots ,m_{i}\). Thus such a number can be chosen.
Let \(\xi _{M}=\frac{\varphi }{(z-z_{i})^{j}}\) with \(i\le N\), \(2\le j\le m_{i}\). Let also \(\psi _{M}=(I-P)f_{M}\), where \(f_{M}\) is dual to \(\xi _{M}\). With such a choice of \(\varepsilon _{N}\), under the assumption that \(a(z_{n})\ne 0\), we have
The second term is \(\le \frac{1}{3}\) by (45). From the choice of the function f in (41) and (44) it follows that the first does not exceed \(\frac{1}{3}\), as well. If \(j=1\), then the estimate reduces just to (44). Thus, it follows from (40) that
which shows that
as \(N\rightarrow \infty \). This estimate is valid under the assumption that a does not vanish on any \(z_{n}\). If this is not the case, the estimate differs by a constant. The conclusion is however the same, namely, \((I-P)(T_{F_{N}}f)({\tilde{z}})\) diverges.
Thus to complete the proof we need to choose the numbers \(p_{n}^{N}\) in such a way that (44) holds true. Fix N. There exists a number \(\eta _{N}>0\) such that if \(|z|\le \eta _{N}\), then \(|e^{z}-1|\le \varepsilon _{N}/3\). Also,
It suffices therefore to choose the numbers \(p_{n}^{N}\) in such a way that
and that for any \(r>0\) the series
converges. Such a choice is obviously possible and it guarantees inequality (44). We may assume that \(p_{n}^{N}\le p_{n}^{N+1}\). This implies that \(\prod _{n=N+1}^{\infty }E_{p_{n}^{N}}^{m_{n}}\) converges in \(H({\mathbb {C}})\) to 1 as \(N\rightarrow \infty \).
Assume now that \({\mathrm{index }\,}T_{F_{0}}\ge 0\). Then we set
for \(N\ge l\). For any \(f\in {\mathcal {A}}({\mathbb {R}})\) we have
for \(n>N\) and \(k=1,\ldots ,m_{n}\). We used representation (22) of \(\varphi \) in Proposition 4.3. Hence \(T_{F_{N}}f\in X\) for any \(f\in {\mathcal {A}}({\mathbb {R}})\). For \(l \le i\le N\) and \(1\le j\le m_{i}\) we have
This is precisely the equation which we obtained in (42). Therefore the same choice of f and the sequences \(p_{n}^{N}\) will lead to a contradiction. This completes the proof. Note that in each case \(\langle T_{F_{N}}f,\varphi \rangle =0\). So this term does not contribute to estimate (46). \(\square \)
We can now complete the proof of Theorem 1.
Proof of Theorem 1
The proof is standard and elementary (Note however that we use such a powerful tool as the closed graph theorem). We include it for completeness.
Assume that \(T_{F}\) is an injective Fredholm operator. We shall show that \(T_{F}\) is left invertible. If \(T_{F}\) is additionally surjective then it is invertible. Thus assume that the classes of the functions \(g_{1},\ldots ,g_{n}\in {\mathcal {A}}({\mathbb {R}})\) in \({\mathcal {A}}({\mathbb {R}})/R(T_{F})\) form a basis of \({\mathcal {A}}({\mathbb {R}})/R(T_{F})\). For any \(f\in {\mathcal {A}}({\mathbb {R}})\) there are unique numbers \(\alpha _{1},\ldots ,\alpha _{n}\) and a unique function \(g\in {\mathcal {A}}({\mathbb {R}})\) such that
The uniqueness follows from the fact that \(T_{F}\) is injective by assumption. We now define a left inverse operator of \(T_{F}\). If f is represented by (47) we put \(Sf=g\). The definition is correct, since the representation (47) is unique. By the same reason S is linear. It is clear that
We show that S is continuous. We apply the closed graph theorem ([36], Theorem 24.31). Observe that the space of real analytic functions is ultrabornological, i.e. it has the inductive topology of a family of Banach spaces and has a web (see [36], p. 287). The second statement follows from the fact that \({\mathcal {A}}({\mathbb {R}})\) carries the projective topology of a sequence of (DFS)-spaces (see [36], Lemma 24.28, Corollary 24.29). Assume that \(f_{\nu }\rightarrow 0\) and \(Sf_{\nu }\rightarrow h\) in \({\mathcal {A}}({\mathbb {R}})\). We need to show that \(h\equiv 0\). We have
It follows that the classes of \(f_{\nu }\) in \({\mathcal {A}}({\mathbb {R}})/R(T_{F})\) tend to zero in the quotient space. Hence, since the space \({\mathcal {A}}({\mathbb {R}})/R(T_{F})\) is finite dimensional we have \(\alpha _{i}^{\nu }\rightarrow 0\) for \(1\le i\le n\). Also, \(Sf_{\nu }=g_{\nu }\rightarrow h\) by assumption. Hence, since \(T_{F}\) is continuous
and also \(f_{\nu }\rightarrow 0\). Hence \(T_{F}h=0\), which implies that \(h=0\), since \(T_{F}\) is injective. We infer that S is a continuous linear left inverse of \(T_{F}\).
If \(T_{F}\) is left invertible, then the range \(R(T_{F})\) is a closed complemented subspace of \({\mathcal {A}}({\mathbb {R}})\). It follows from Theorems 2.2 and 3 that \(F=[{\tilde{F}}]\) in \({\mathcal {X}}({\mathbb {R}})={\mathrm{lim ind}\,}H(U{\setminus } K)\) for some \({\tilde{F}}\in H(U{\setminus } K)\) which does not vanish in \(U{\setminus } K\). It follows from Theorem 2.1 that \(T_{F}\) is a Fredholm operator. As a left invertible operator it must be injective.
It is a consequence of Theorem 3.1 that \(T_{F}\) can only be injective if \(\text {winding}\,{\tilde{F}}\ge 0\). \(\square \)
It follows from the Wiener–Hopf factorization (Theorem 3.2 above) that we can also give a constructive proof of left invertibility of injective Fredholm Toeplitz operators. First of all observe that
where \({\mathcal {Q}}\) denotes the complementary projection, i.e. \({\mathcal {Q}}:=I-{\mathcal {C}}\). It follows that if \(G\in {\mathcal {A}}({\mathbb {R}})\) or \(F\in H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) then \({\mathcal {C}}M_{F}{\mathcal {Q}}M_{G}=0\) on \({\mathcal {A}}({\mathbb {R}})\). As a result, if \(F\in H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) or \(G\in {\mathcal {A}}({\mathbb {R}})\), then
Since any \(F\in H({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) can be written as \(F(\infty )+F_{0}\) with \(F_{0}\in H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) we also have (48) when \(F\in H({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) or \(G\in {\mathcal {A}}({\mathbb {R}})\).
Assume now that \(T_{F}\) is a Fredholm operator and \(k:={\mathrm{index }\,}T_{F}\le 0\). That is, \(T_{F}\) is an injective Fredholm operator. Then it follows from Theorem 3.2 that F can be factored as
with \(F_{-}\in H({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) and \(F_{+}\in {\mathcal {A}}({\mathbb {R}})\) and both symbols are invertible in the corresponding spaces. Now we have
since \(F_{-}, F_{-}^{-1}\in H({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) and \(z^{-k}F_{+}\in {\mathcal {A}}({\mathbb {R}})\). In other words, if \(T_{F}\) is an injective Fredholm operator, then \(T_{z^{k}F_{+}^{-1}}T_{F_{-}^{-1}}\) is a left inverse. One notices that this part of the theory is indeed very similar to the classical Hardy space case.
4.2 Right Invertibility of Toeplitz Operators
Our goal now is to prove Theorem 4. Assume that \(T_{F}:{\mathcal {A}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}})\) is right invertible,
Then \(T_{F}^{'}:{\mathcal {A}}({\mathbb {R}})^{'}_{b} \rightarrow {\mathcal {A}}({\mathbb {R}})^{'}_{b}\) is left invertible. Hence, its range in \({\mathcal {A}}({\mathbb {R}})^{'}_{b}\) is complemented. Also, if \(T_{F}\) is right invertible then it is surjective. We show that if F has non-real zeros accumulating at a real point but no real zeros going to infinity then the range of \(T_{F}^{'}\) is not complemented in \({\mathcal {A}}({\mathbb {R}})_{b}^{'}\). As a result, it follows from Theorem 4 that \(T_{F}\) can be right invertible only if \(T_{F}\) is a surjective Fredholm operator.
We start with the following easy observation.
Proposition 4.10
Assume that \(F\in {\mathcal {X}}({\mathbb {R}})\) is the equivalence class of \({\tilde{F}}\in H(U{\setminus } K)\), U an open neighborhood of \({\mathbb {R}}\), K a compact subset of \({\mathbb {R}}\) and \({\tilde{F}}\) vanishes only on a sequence \(z_{n}\in U{\setminus } {\mathbb {R}}\), which accumulates at points of K only. Then the range of \(T_{F}^{'}\) is a closed subspace of \(H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\).
In view of Theorem 2.2 this Proposition will be proved once we have shown the following Lemma.
Lemma 4.11
If an operator \(T:{\mathcal {A}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}})\) is surjective then the image of the adjoint operator \(T^{'}:{\mathcal {A}}({\mathbb {R}})^{'}_{b}\rightarrow {\mathcal {A}}({\mathbb {R}})^{'}_{b}\) is closed.
Proof
Since \(\ker T=(R(T^{'}))^{\circ }\) we have \((\ker T)^{\circ }=(R(T^{'}))^{\circ \circ }\supset R(T^{'})\). We show that the equality holds, which completes the proof since \((\ker T)^{\circ }\) is closed in the strong topology of \({\mathcal {A}}({\mathbb {R}})^{'}\). To show that \((\ker T)^{\circ } \subset R(T^{'})\) we define the map \(T_{0} :{\mathcal {A}}({\mathbb {R}})/\ker T\rightarrow {\mathcal {A}}({\mathbb {R}})\), \(T_{0}(x+\ker T):=Tx\). The map \(T_{0}\) is a continuous linear bijection. The space \({\mathcal {A}}({\mathbb {R}})\) is ultrabornological. Since \({\mathcal {A}}({\mathbb {R}})\) has a web, so does the quotient \({\mathcal {A}}({\mathbb {R}})/\ker T\) ([36], Lemma 24.28). Hence the inverse map \(T_{0}^{-1}:{\mathcal {A}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}})/\ker T\) is continuous. Take \(\xi \in (\ker T)^{\circ }\) and define \({\bar{\xi }}:(x+\ker T)\mapsto \xi (x)\), \({\bar{\xi }}\in ({\mathcal {A}}({\mathbb {R}})/\ker T)^{'}\). Let \(\eta :={\bar{\xi }}\circ T_{0}^{-1}\). Then \(\eta \in {\mathcal {A}}({\mathbb {R}})^{'}\). For \(x\in {\mathcal {A}}({\mathbb {R}})\) we have
That is \(T^{'}\eta =\xi \). Since \(\xi \in (\ker T)^{\circ }\) was arbitrary we have \((\ker T)^{\circ }=R(T^{'})\).
\(\square \)
Lemma 4.12
If \(f,g\in H_{0}({\mathbb {C}}_{\infty }{\setminus } K)\) and \(\gamma \) is a \(C^{\infty }\) smooth Jordan curve with \(K\subset I(\gamma )\), then
Proof
We have
for \(R>0\) large enough, since \(\int _{|z|=R}z^{n}=0\) if \(n\ne -1\). \(\square \)
Lemma 4.13
Assume that \(G\in H(U{\setminus } K)\), U an open simply connected neighborhood of \({\mathbb {R}}\), K a compact subset of \({\mathbb {R}}\). If for every \(k\in {\mathbb {N}}\),
where \(\gamma \) is a \(C^{\infty }\) smooth Jordan curve in \(U{\setminus } K\) with \(K\subset I(\gamma )\), then \(G\in H_{0}({\mathbb {C}}_{\infty }{\setminus } K)\).
Proof
By Cauchy’s integral formula \(G=G_{+}+G_{-}\), where \(G_{+}\in H(U)\) and \(G_{-}\in H_{0}({\mathbb {C}}_{\infty }{\setminus } K)\). We have
for sufficiently small \(\varepsilon >0\). This implies that \(G_{n}=0\) for \(n\in {\mathbb {N}}\). The fact that \(\int _{\gamma }G_{-}(z)z^{-k}dz=0\) follows from Lemma 4.12. \(\square \)
Let us recall that \({\tilde{F}}\in H(U{\setminus } K)\) vanishes only at \(z_{n}\in U{\setminus } {\mathbb {R}}\) and the sequence \(z_{n}\) accumulates only at points of K. As before we simplify the notation and write F instead of \({\tilde{F}}\). For any \(z_{n}\) let \(w_{n}\in K\) be chosen in such a way that
We assume that
Naturally, there exists only a finite number of points \(z_{n}\) with the same distance to the set K. We factorize out the zeros of F,
where \(F_{0}\) does not vanish in \(U{\setminus } K\) and \(m_{n}\) is the multiplicity of \(z_{n}\). Again at this moment the numbers \(p_{n}\) are chosen only to guarantee that the product converges on compact subsets of \({\mathbb {C}}{\setminus } K\).
Proposition 4.14
The operator \(T_{F_{0}}^{'}:H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\rightarrow H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) is a Fredholm operator and
Proof
It follows from the Coburn-Simonenko theorem (Theorem 3.1) and the fact that the range of \(T_{F_{0}}\) is closed ([9], Proposition 5.1) that \(T_{F_{0}}\) is either injective or surjective. A finite dimensional subspace of a locally convex space is complemented. This follows from the fact that such a space is isomorphic with \({\mathbb {C}}^{n}\) and the Hahn–Banach Theorem. Hence the kernel of \(T_{F_{0}}\) is a complemented subspace of \({\mathcal {A}}({\mathbb {R}})\). In the proof of Theorem 1 we showed that if the range of \(T_{F_{0}}\) is of positive codimension, then it is complemented. Furthermore, according to ([26], Theorem 13.5.2) a subspace of finite codimension is bornological. Since the range of \(T_{F_{0}}\) is closed in the complete space \({\mathcal {A}}({\mathbb {R}})\), it is ultrabornological ([36], Remark 24.15 (b)). The open mapping theorem ([36], Theorem 24.30) implies that \(T_{F_{0}}\) maps open sets in \({\mathcal {A}}({\mathbb {R}})\) into open sets in \(R(T_{F_{0}})\). According to ([39], Satz 1.1) the operator \(T_{F_{0}}\) is a \(\varrho \)-transformation ([39], Definition 1.1). According to ([39], Satz 7.1) the adjoint of \(T_{F_{0}}\) on \({\mathcal {A}}({\mathbb {R}})^{'}_{b}\) is a \(\varrho \)-transformation. Furthermore,
\(\square \)
Let us recall that the space \({\mathcal {A}}({\mathbb {R}})\) is reflexive. This implies that any continuous linear functional on \({\mathcal {A}}({\mathbb {R}})_{b}^{'}\) is determined by some \(f\in {\mathcal {A}}({\mathbb {R}})\) in the sense of duality (15). To denote the kernel of this functional we simply write \(\ker f\).
Lemma 4.15
Assume that \(F_{0}\in H(U{\setminus } K)\), U an open simply connected neighborhood of \({\mathbb {R}}\), K a compact subset of \({\mathbb {R}}\), does not vanish in \(U{\setminus } K\). Furthermore, assume that \({\mathrm{index }\,}T_{F_{0}}^{'}=\text {winding}\, F_{0}=-1\). Then there exists a function \(f \in {\mathcal {A}}({\mathbb {R}})\) such that
Proof
The range of \(T_{F_{0}}^{'}\) is a closed subspace of \(H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\). This follows from the arguments of ([9], Proposition 5.1), since one can use the open mapping theorem ([36], Theorem 24.30) for the Fredholm operator \(T_{F_{0}}^{'}\). Indeed, \({\mathcal {A}}({\mathbb {R}})\) is a complete nuclear space. Hence it is a Schwartz space and, as a result, \({\mathcal {A}}({\mathbb {R}})^{'}_{b}\) is ultrabornological ([36], Proposition 24.23). Also, by ([36], Lemma 24.28) the space \(H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) is webbed.
Notice that if \({\mathrm{index }\,}T_{F_{0}}^{'}=-1\), then \(\dim \ker T_{F_{0}}^{'}=0\) and, as a result
\(\dim {\mathrm{coker}\,}T_{F_{0}}^{'}=1\). Indeed, by Proposition 4.14 we have \({\mathrm{index }\,}T_{F_{0}}=1\), which implies that \(T_{F_{0}}\) is not injective. In view of the Coburn-Simonenko Theorem \(T_{F_{0}}^{'}\) is injective (Theorem 3.1). Since \({\mathcal {A}}({\mathbb {R}})\) is reflexive, it suffices to apply the arguments from Lemma 4.5. \(\square \)
Lemma 4.16
Assume that \(F_{0}\in H(U{\setminus } K)\) does not vanish, U an open simply connected neighborhood of \({\mathbb {R}}\), K a compact subset of \({\mathbb {R}}\). Furthermore, assume that
Let \(f \in {\mathcal {A}}({\mathbb {R}})\) be as in the previous Lemma, i.e.
For \(N\in {\mathbb {N}}\) consider the symbol function
with \(l\le m_{N}\). Then
In other words, if g vanishes on \(R(T_{G}^{'})\), then
Observe that since the zeros (\(z_{n})\) are not real, the function \(\frac{f}{(z-z_{n})^{k}}\) belongs to \({\mathcal {A}}({\mathbb {R}})\).
Proof
Observe that it follows from Proposition 4.14 that
This implies that \(T_{G}\) is not injective and, as a result, by the Coburn -Simonenko Theorem, \(\ker T_{G}^{'}=\{0\}\). Hence \(\dim {\mathrm{coker}\,}T_{G}^{'}=m_{1}+\cdots +m_{N-1}+l+1\). The rest of the proof follows from arguments similar to the proof of Lemma 4.6. Consider the family
We have \(R(T_{G}^{'})\subset \bigcap _{g\in {\mathcal {G}}}\ker g\). Indeed, for \(g\in {\mathcal {G}}\) we have
with \(\psi =\frac{{\mathcal {E}}}{(z-z_{n})^{j}}\cdot \phi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\). Since f vanishes on the range of \(T_{F_{0}}^{'}\) we have \(\langle g,T_{G}^{'}\phi \rangle =0\). Since the functions in \({\mathcal {G}}\) are linearly independent, the proof is complete. \(\square \)
Lemma 4.16 is now used to obtain an analog of Proposition 4.3.
Proposition 4.17
Let \(F\in H(U{\setminus } K)\) vanish on \(z_{n}\in U{\setminus } {\mathbb {R}}\) only. The sequence \((z_{n})\) accumulates only at points of K. If \({\mathrm{index }\,}T_{F_{0}}^{'}=-1\), then there exists a function \(f\in H(V)\), V an open neighborhood of \({\mathbb {R}}\), such that
If \({\mathrm{index }\,}T_{F_{0}}^{'}=k\ge 0\), then there exists a function \(f\in H(V)\) and natural numbers \(l,\mu _{l},\mu _{l}\le m_{l}\) such that
If \({\mathrm{index }\,}T_{F_{0}}^{'}=k<-1\), then there exists a function \(f\in H(V)\) and natural numbers \(l,\mu _{l}\),
Also, if \({\mathrm{index }\,}T_{F_{0}}^{'}=k\le -1\), then there exists a function \(a\in H_{0}({\mathbb {C}}_{\infty }{\setminus } K)\) such that
for \(z\in (U\cap V){\setminus } K\). If \({\mathrm{index }\,}T_{F_{0}}^{'}\ge 0\), then there exists a function \(a\in H_{0}({\mathbb {C}}_{\infty }{\setminus } K)\) such that
for \(z\in (U\cap V){\setminus } K\) and \(z\ne z_{1},\ldots ,z_{l}\).
Proof
We essentially follow the arguments from the proof of Proposition 4.3. Assume first that \({\mathrm{index }\,}T_{F_{0}}^{'}=-1\). As in (49) we show that
To show the equality assume that \(g\in H(V)\) vanishes on the range of \(T_{F}^{'}\), i.e. \(\langle g,T_{F}^{'}\phi \rangle =0\) for any \(\phi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\). It follows from Lemma 4.13 that there exists a function \(a\in H_{0}({\mathbb {C}}_{\infty }{\setminus } K)\) such that
for \(z\in (U\cap V){\setminus } K\). There is \(N\in {\mathbb {N}}\) such that \(z_{N+1},\ldots \in U\cap V\). Thus for a different function \(b\in H_{0}({\mathbb {C}}_{\infty }{\setminus } K)\) it holds that
for \(z\in (U\cap V){\setminus } K\). Recall that
For \(z\in (U\cap V){\setminus } K\) we have
Put now
It follows from Lemma 4.12 that \(\langle g,T_{G_{N}}^{'}\phi \rangle =0\) for any \(\phi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\). We apply now Lemma 4.16 to conclude that
It follows now from the Hahn–Banach theorem that
Consider now the case \({\mathrm{index }\,}T_{F_{0}}^{'}=k\ge 0\). Choose l and \(\mu _{l}\) such that
If
then \({\mathrm{index }\,}T_{G}^{'}=-1\). As as result, we can proceed as above and as in Lemma 4.7. If \({\mathrm{index }\,}T_{F_{0}}^{'}=k<0\), then we put
where \(m_{0}+m_{1}+\cdots +m_{l-1}+\mu _{l}=|k|-1\). Then \({\mathrm{index }\,}T_{G}^{'}=-1\).
Assume now that \({\mathrm{index }\,}T_{F_{0}}^{'}=-1\). Then \(R(T_{F_{0}}^{'})=\ker f\), which implies that
for every \(\varphi (z)\in H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\). We have that \(F_{0}(z)f(z)\) is holomorphic \((U\cap V){\setminus } K\). It follows from Lemma 4.13 that there exists \(a \in H_{0}({\mathbb {C}}_{\infty }{\setminus } K)\) such that
for \(z\in (U\cap V){\setminus } K\). That is,
for \(z\in (U\cap V){\setminus } K\). If \({\mathrm{index }\,}T_{F_{0}}^{'}<-1\) we have by (53),
for \(a\in H_{0}({\mathbb {C}}_{\infty }{\setminus } K)\). This gives the same representation (50) for a different function \(a\in H_{0}({\mathbb {C}}_{\infty }{\setminus } K)\), since \(\lim _{z\rightarrow \infty }E_{p_{n}}\bigl (\frac{z_{n}-w_{n}}{z-w_{n}}\bigr )=1\). If \({\mathrm{index }\,}T_{F_{0}}^{'}\ge 0\) we apply (52) in order to show (51). \(\square \)
We constructed functions \(f_{j}\in {\mathcal {A}}({\mathbb {R}})\) such that
We now sketch the construction of functionals dual to \(f_{j}\). To simplify the notation we assume that
Assume that \({\mathrm{index }\,}T_{F_{0}}^{'}\le -1\). Recall that
for \(z\in (U\cap V){\setminus } K\), where \(a\in H_{0}({\mathbb {C}}_{\infty }{\setminus } K)\). Define
It follows from (54) that A is finite. For \(n\in A\) let \(\alpha _{n}\) be the multiplicity of \(z_{n}\). Write
for \(b\in H_{0}({\mathbb {C}}_{\infty }{\setminus } K)\). Consider the symbol function
If \(\varphi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) is arbitrary and \(l\ne n\), \(\kappa \le m_{n}\), then by (54)
since \(\lim _{z\rightarrow \infty }\prod _{i\ne n}E_{p_{i}}^{m_{i}}\Bigl (\frac{z_{i}-w_{i}}{z-w_{i}}\Bigr )=1\). We used Lemma 4.12. We need to choose functions \(\varphi _{n,k}\in H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) such that
Assume that \(\varphi _{n,k}\in H_{0}({\mathbb {C}}_{\infty }{\setminus } [-N,N])\) and N is large enough to guarantee \(K\subset [-N,N]\). We have
where \(\gamma \) is \(C^{\infty }\) smooth Jordan curve in \((U\cap V){\setminus } [-N,N]\) with \([-N,N] \subset I(\gamma )\) and \(z_{n}\in E(\gamma )\). If \(\Gamma \) is a \(C^{\infty }\) smooth Jordan curve such that \(\gamma \subset I(\Gamma )\) and \(z_{n}\in I(\Gamma )\), it follows from the argument given in the proof of Lemma 4.12 that
since the functions \(b,\varphi _{n,k}\) vanish at infinity and \(\lim _{z\rightarrow \infty }\prod _{i\ne n}E_{p_{i}}^{m_{i}}\Bigl (\frac{z_{i}-w_{i}}{z-w_{i}}\Bigr )=1\). Hence, by Cauchy’s integral formula applied to the cycle \((-\gamma )\cup \Gamma \),
In order to find functions \(\varphi _{n,k}\), which satisfy (55) one applies the transformation \(z\mapsto \frac{1}{z}\) and works in \({\mathbb {C}}{\setminus } ((-\infty ,-\frac{1}{N})\cup (\frac{1}{N},\infty ))\) imposing the additional condition that the function vanishes at 0. This leads to a system of equations involving derivatives of the unknown functions at \(z_{n}\), which can be solved inductively.
Proof of Theorem 4
It suffices to show that if F vanishes only on a sequence \((z_{n})\subset {\mathbb {C}}{\setminus } {\mathbb {R}}\) which accumulates at points of K only, then the range of the operator \(T_{F}^{'}\) is not complemented. We mimic the proof of Theorem 3.
Assume that there exists a continuous projection \(P:H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\rightarrow H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) onto the range of the operator \(T_{F}^{'}\). Denote
where
Denote also
As in the proof of Theorem 3 we conclude that there exist functions \(\psi _{n}\in H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) such that for any \(\varphi \in X\)
None of the functions \(\psi _{n}\) is identically equal to zero. There exists therefore \({\tilde{z}}\in {\mathbb {C}}{\setminus } {\mathbb {R}}\) such that \(\psi _{n}({\tilde{z}})\ne 0\) for \(n\in {\mathbb {N}}\). It suffices to construct a sequence \(\phi _{n}\in X\) convergent in \(H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) such that \(((I-P)\phi _{n})({\tilde{z}})\) diverges, since the evaluation at \({\tilde{z}}\) is a continuous functional on \(H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\).
Let
If \(i>N\) and \(1\le k\le m_{i}\) then
by Lemma 4.12, since \(\lim _{z\rightarrow \infty }\prod _{n=N+1}^{\infty }E_{p_{n}}^{m_{n}}\Bigl (\frac{z_{n}-w_{n}}{z-w_{n}}\Bigr )=1\). Hence for every \(\varphi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\), the function \(T_{F_{N}}^{'}\varphi \) belongs to X. Consider now those points \(z_{n}\), which satisfy \(a(z_{n})\ne 0\). Choose a function \(\varphi \in H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) such that
where \(\psi _{M}=(I-P)\varphi _{M}\) and \(\varphi _{M}\) is dual to \(f_{M}=\frac{f}{(z-z_{n})^{j+1}}\). If \(a(z_{n})=0\) we take \(\varphi \) to satisfy \(\varphi (z_{n})=\varphi ^{'}(z_{n})=\cdots =\varphi ^{m_{n}-1}(z_{n})=0\). Recall that \(a(z_{n})=0\) only for a finite number of \(n\in {\mathbb {N}}\). We know that \(T_{F_{N}}^{'}\varphi \in X\). It suffices therefore to choose numbers \(p_{n}^{N}\) such that
diverges at \({\tilde{z}}\), since
will converge to \(\varphi \) in \(H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\) as \(N\rightarrow \infty \). Recall that
Hence,
This implies that
since \(T_{F_{0}}^{'}\) is continuous on \(H_{0}({\mathbb {C}}_{\infty }{\setminus } {\mathbb {R}})\).
For \(1\le i\le N\) we have
by Lemma 4.12 and Cauchy’s integral formula. Without loss of generality we assume that
Otherwise we group the points \(z_{n}\) into necessarily finite subsets of points of the same distance to K and construct the sequences \(p_{n}^{N}\) for these subsets. Choose numbers \(\delta _{N}>0\) in such a way that \(\text {dist}(z_{N},K)-\delta _{N}>\text {dist}(z_{N+1},K)\). We need to choose sequences \(p_{n}^{N}\) in such a way that
for z with \(\text {dist}(z,K)\ge \text {dist}(z_{N},K)-\delta _{N}\). We use Cauchy’s integral formula as in the proof of Theorem 3 to determine the appropriate numbers \(\varepsilon _{N}\). Observe that we may assume that K is a closed interval and, as a result, the set of points z with \(\text {dist}(z,K)=\text {dist}(z_{N},K)-\delta _{N}\) is a piecewise smooth curve.
For z with \(\text {dist}(z,K)\ge \text {dist}(z_{N},K)-\delta _{N}\) and \(n\ge N+1\) we have
by the choice of the numbers \(\delta _{N}\). Also, for z with \(\text {dist}(z,K)\ge \text {dist}(z_{N},K)-\delta _{N}\) it holds that
In order to complete the proof it suffices to choose the numbers \(p_{n}^{N}\) is such a way that
for the number \(\epsilon _{N}\) such that if \(|z|<\eta _{N}\) then \(|e^{z}-1|<\eta _{N}/3\). An estimate similar to (46) completes the proof. \(\square \)
We now complete the proof of Theorem 2.
Proof of Theorem 2
We show that a surjective Fredholm Toeplitz operator \(T_{F}\) is right invertible. Since \(T_{F}\) is a Fredholm operator, \(\ker T_{F}\) is finite dimensional. A finite dimensional subspace of a locally convex space is complemented. Indeed, such a finite dimensional subspace E is isomorphic with \({\mathbb {C}}^{n}\). Hence there exists a basis \(e_{1},\ldots ,e_{n}\) in E with coefficient functionals \(f_{1},\ldots ,f_{n}\). By the Hahn–Banach theorem the functionals \(f_{j}\) extend to continuous functionals on the whole space. This suffices to construct a continuous projection onto E.
Let \(P:{\mathcal {A}}({\mathbb {R}})\rightarrow {\mathcal {A}}({\mathbb {R}})\) be a continuous projection onto \(\ker T_{F}\). The operator \(T_{F}\) when restricted to the closed space \(Y:=(I-P)({\mathcal {A}}({\mathbb {R}}))\) is injective. For any \(g\in {\mathcal {A}}({\mathbb {R}})\) there exists exactly one \(f\in Y\) such that \(g=T_{F}f\). We set \(Sg=f\). Since \(T_{F}\vert _{Y}\) is injective, the map S is linear. It is obviously a right inverse of \(T_{F}\). In order to show that S is continuous we apply the closed graph theorem ([36], Theorem 24.31). This is legitimate since the space \({\mathcal {A}}({\mathbb {R}})\) is both webbed and ultrabornological. Assume that \(g_{\alpha }=T_{F}f_{\alpha }\) with \(f_{\alpha }\in Y\) converges to 0 and also \(f_{\alpha }\rightarrow f\). Since Y is closed, \(f\in Y\). Furthermore, since \(T_{F}\) is continuous \(T_{F}f_{\alpha }\rightarrow T_{F}f\). We infer that \(T_{F}f=0\), which implies that \(f=0\), since \(T_{F}\vert _{Y}\) is injective. \(\square \)
Let now \(F_{-}z^{-k}F_{+}\) be the Wiener–Hopf factorization of F with \(k={\mathrm{index }\,}T_{F}\). One easily checks that \(T_{F_{+}^{-1}}T_{F_{-}^{1}z^{k}}\) is a right inverse of \(T_{F}\) when \(T_{F}\) is a surjective Fredholm operator.
References
Berenstein, C.A., Gay, R.: Complex Analysis and Special Topics in Harmonic Analysis. Springer, New York (1995)
Bierstedt, K.D.: An Introduction to Locally Convex Inductive Limits. Functional Analysis and Its Applications (Nice, 1986), ICPAM Lecture Notes, pp. 35–133. World Scientific Publishing, Singapore (1988)
Böttcher, A., Karlovich, Y.I.: Carleson Curves, Muckenhoupt Weights, and Toeplitz. Progress in Mathematics, vol. 154. Birkhäuser Verlag, Basel (1997)
Böttcher, A., Silbermann, B.: Analysis of Toeplitz Operators. Springer, Berlin (1990)
Brown, A., Halmos, P.: Algebraic properties of Toeplitz operators. J. Reine Angew. Math. 231, 89–102 (1963)
Conway, J.B.: Functions of One Complex Variable. Second Edition. Graduate Texts in Mathematics, p. 11. Springer, New York (1978)
Doubtsov, E.: Complemented invariant subspaces and interpolation sequences. Proc. Am. Math. Soc. 135, 393–395 (2007)
Domański, P.: Notes on Real Analytic Functions and Classical Operators. Topics in Complex Analysis and Operator Theory, Contemporary Mathematics, vol. 561, pp. 3–47. American Mathematical Society, Providence (2012)
Domański, P., Jasiczak, M.: Toeplitz operators on the space of real analytic functions: the Fredholm property. Banach J. Math. Anal. 12, 31–67 (2018)
Domański, P., Langenbruch, M.: Representation of multipliers of real analytic functions. Analysis 31, 1001–1026 (2012)
Domański, P., Langenbruch, M.: Algebra of multipliers on the space of real analytic functions of one variable. Studia Math. 212, 155–171 (2012)
Domański, P., Langenbruch, M.: Hadamard multipliers on spaces of real analytic functions. Adv. Math. 240, 575–612 (2013)
Domański, P., Langenbruch, M.: Interpolation of holomorphic functions and surjectivity of Taylor coefficient multipliers. Adv. Math. 293, 652–674 (2016)
Domański, P., Langenbruch, M.: Euler type partial differential operators on real analytic functions. J. Math. Anal. Appl. 443, 652–674 (2016)
Domański, P., Langenbruch, M., Vogt, D.: Hadamard type operators on spaces of real analytic functions in several variables. J. Funct. Anal. 269, 3868–3913 (2015)
Domański, P., Langenbruch, M.: Surjectivity of Euler type differential operators on spaces of smooth functions. Trans. Amer. Math. Soc. 372, 6017–6086 (2019)
Domański, P., Vogt, D.: The space of real analytic functions has no basis. Studia Math. 142, 187–200 (2000)
Domański, P., Vogt, D.: Linear Topological Properties of the Space of Analytic Functions on the Real Line. Recent progress in functional analysis (Valencia, 2000), North-Holland Mathematics Studies, vol. 189, pp. 113–132. North-Holland, Amsterdam (2001)
Flajolet, P., Segdewick, R.: Mellin transforms and asymptotics: finite differences and Rice’s integrals. Theor. Comput. Sci. 144, 101–124 (1995)
Floret, K., Wloka, J.: Einführung in die Theorie der lokalkonvexen Räume. Lecture Notes in Mathematics, vol. 56. Springer, Berlin (1968)
Gelfond, A.O.: Differenzenrechnung. Hochschulbücher für Mathematik Herausgegeben von H. Grell, K. Maruhn und W. Rinow, vol. 41. VEB Deutscher Verlag der Wissenscheften, Berlin (1958)
Gohberg, I., Krupnik, N.: One-Dimensional Linear Singular Integral Equations. Volume I. Introduction. Operator Theory: Advances and Applications, vol. 53. Birkhäuser Verlag, Basel (1992)
Golińska, A.: Hankel operators on the space of real analytic functions \({\cal{A}}({\mathbb{R}})\). Preprint (2017)
Golińska, A.: Classical operators on the space of real analytic functions. Ph.D. thesis (2019)
Hörmander, L.: On the existence of real analytic solutions of partial differential equations with constant coefficients. Invent. Math. 21, 151–182 (1973)
Jarchow, H.: Locally Convex Spaces. Mathematische Leitfäden. B. G. Teubner, Stuttgart (1981)
Jasiczak, M.: Coburn–Simonenko theorem and invertibility of Toeplitz operators on the space of real analytic functions. J. Oper. Theory 79, 327–344 (2018)
Jasiczak, M.: Semi-Fredholm Toeplitz operators on the space of real analytic functions. Accepted in Studia Math
Korenblum, B., Zhu, K.: Complemented invariant subspaces in Bergman spaces. J. Lond. Math. Soc. 71, 467–480 (2005)
Köthe, G.: Topological Vector Spaces. I. Die Grundlehren der mathematischen Wissenschaften, vol. 159. Springer, New York (1969)
Krantz, S.G., Parks, H.R.: A Primer of Real Analytic Functions. Second Edition. Birkhäuser Advanced Texts: Basler Lehrbücher. [Birkhäuser Advanced Texts: Basel Textbooks]. Birkhäuser Boston, Inc., Boston (2002)
Langenbruch, M.: Continuous linear right inverses for convolution operators in spaces of real analytic functions. Studia Math. 110, 65–82 (1994)
Lindenstrauss, J., Tzafriri, L.: On the complemented subspace problem. Israel J. Math. 9, 263–269 (1971)
Markushevich, A.I.: Theory of Functions of a Complex Variable. Part II. AMS Chelsea Publishing, American Mathematical Society, Providence (2005)
Martineau, A.: Sur la topologie des espaces de fonctions holomorphes. Math. Ann. 163, 62–88 (1966)
Meise, R., Vogt, D.: Introduction to Functional Analysis. Oxford Graduate Texts in Mathematics, vol. 2. The Clarendon Press, New York (1997)
Nikolski, N.N.: Operators, Functions, and Systems: An Easy Reading. Volume 1. Hardy, Hankel and Toeplitz. Mathematical Surveys and Monographs, vol. 92. American Mathematical Society, Providence (2010)
Nörlund, N.F.: Vorlesungen über Differenzenrechnung. Chelsea, New York (1954)
Pietsch, A.: Zur Theorie der \(\sigma \)-Transformationen in lokalkonvexen Vektorräumen. Math. Nachr. 21, 347–369 (1960)
Renardy, M., Rogers, R.C.: An Introduction to Partial Differential Equations. Texts in Applied Mathematics, vol. 13. Springer, New York (1993)
Roman, S.: The Umbral Calculus. Pure and Applied Mathematics, vol. 111. Academic Press, Inc., New York (1984)
Trybuła, M.: Hadamard multipliers on spaces of holomorphic functions. Integral Equ. Oper. Theory 88, 249–268 (2017)
Vogt, D.: Operators of Hadamard type on spaces of smooth functions. Math. Nachr. 288, 353–361 (2015)
Vogt, D.: Hadamard operators on \({\cal{D}}^{^{\prime }}({\mathbb{R}}^{d})\). Studia Math. 237, 137–152 (2017)
Vogt, D.: Hadamard operators on \({\cal{D}}^{^{\prime }}(\Omega )\). Math. Nachr. 290, 1374–1380 (2017)
Vogt, D.: Surjectivity of Euler operators on temperate distributions. J. Math. Anal. Appl. 466, 1393–1399 (2018)
Zhu, K.: Analysis on Fock Spaces. Springer, New York (2012)
Acknowledgements
The authors thank the referee for careful reading the manuscript and pointing out an error in the proof of Theorem 1.
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.
The research was supported by National Center of Science (Poland), Grant No. UMO-2013/10/A/ST1/00091.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Jasiczak, M., Golińska, A. One-Sided Invertibility of Toeplitz Operators on the Space of Real Analytic Functions on the Real Line. Integr. Equ. Oper. Theory 92, 6 (2020). https://doi.org/10.1007/s00020-020-2562-y
Received:
Revised:
Published:
DOI: https://doi.org/10.1007/s00020-020-2562-y