- Research
- Open Access
An invariant subspace problem for multilinear operators on Banach spaces and algebras
- John Emenyu^{1}Email authorView ORCID ID profile
https://doi.org/10.1186/s13660-016-1120-2
© Emenyu 2016
- Received: 6 May 2016
- Accepted: 29 June 2016
- Published: 11 July 2016
Abstract
This paper is concerned with the study of invariant subspace problems for nonlinear operators on Banach spaces/algebras. Our study reveals that one faces unprecedented challenges such as lack of vector space structure and unbounded spectral sets when tackling invariant subspace problems for nonlinear operators via spectral information. To bypass some of these challenges, we modified an eigenvalue problem for nonlinear operators to cater for the structural properties of nonlinear operators and then established that nonlinear operators of finite type on a complex Banach algebra have nontrivial invariant subspaces.
Keywords
- Banach spaces
- invariant subspaces
- strongly invariant subspaces
- multilinear and polynomial operators
1 Introduction
The aim of this paper is to study invariant subspace problems for polynomial and multilinear operators on infinite dimensional Banach spaces.
Throughout this paper, we denote Banach spaces by E and F, and the dual space of E by \(E'\). A map \(T:E\times\cdots\times E\to F\) is m-linear if it is linear in each of the m-variables and for this map, a map \(p:E\to F: p(x)=T(x,\ldots,x)\) for all \(x\in E\) is called an m-homogeneous polynomial map. We denote the space of continuous multilinear and polynomial maps by \(\mathcal{L}({}^{m}E; F)\) and \(\mathcal{P}({}^{m}E; F)\), respectively, see [1, 2]. The term operator will be restricted to the elements of \(\mathcal{L}({}^{m}E; E)\); notice 1-linear operators are just elements of \(\mathcal{L}(E)\).
Definition 1.1
Let \(p\in\mathcal{P}({}^{m}E; E)\) be associated to \(T\in\mathcal{L}({}^{m}E; E)\). A closed linear subspace \(\mathcal{M}\) of E is invariant for \(p\in\mathcal{P}({}^{m}E; E)\) if \(p(\mathcal{M})\subseteq\mathcal{M}\); it is invariant for \(T\in\mathcal{L}({}^{m}E; E)\) if \(p(\mathcal{M})\subseteq\mathcal{M}\); it is strongly invariant for \(T\in\mathcal{L} ({}^{m}E; E)\) if \(T(\mathcal{M},\ldots,\mathcal{M}) \subseteq\mathcal{M}\). The cases \(\mathcal{M} =\{0\}\) and \(\mathcal{M}=E\) are called trivial subspaces.
Remark 1.2
- (i)
\(\mathcal{M}\) is invariant for \(p \in\mathcal{P}({}^{m}E; E)\).
- (ii)
\(\mathcal{M}\) is invariant for \(T \in\mathcal{L}({}^{m}E; E)\).
Proof
It is immediate from Definition 1.1. □
Problems 1.3 and 1.4 are referred to, in the sequel, as invariant subspace problem (ISP) and eigenvalue problem for multilinear operators, respectively.
Problem 1.3
Given a bounded operator \(p\in\mathcal{P} ({}^{m}E; E)\), does there exist a closed invariant subspace \(\mathcal{M}\) of E for \(p\in\mathcal{P}({}^{m}E; E)\) besides \(\mathcal{M}=\{0\}\) and \(\mathcal{M}=E\)?
Problem 1.4
Given a bounded operator \(p\in\mathcal{P}({}^{m}E; E)\), does there exist a nonzero vector \(v\in E\) such that \(p(v)=\lambda v\) for some \(\lambda \in\Bbbk\)?
The notion of invariant subspaces introduced in [3] provided a basis for extending the underlying notion to nonlinear operators in a natural way; however, a natural entry point to delve into the study of such notion in infinite dimensions is first to deal with ideals of compact nonlinear maps generated by \(\{T_{1}T_{2} \ldots T_{m}:T_{j}\in\mathcal{L}(E)\}\) where \(m\in \mathbb{N}\) is fixed. These maps are known as maps of finite type and they inherit certain intrinsic properties of linear maps such as approximability by finite dimensional maps and bounded point spectra that are useful in the study of their associated ISPs. Notice \(T\in\mathcal{L}({}^{m}E; F)\) is finite dimensional if its multirange \(T(E, \ldots, E)\) is contained in a finite dimensional subspace of F; see Section 3 in [4]. In general, structural properties of \(T_{j}\in\mathcal{L}(E)\) such as compactness were key in the study of their ISP; see [5, 6]. On the one hand, the work of Bényi and Torres [7] embodies different kinds of notions of compactness of a class of bilinear operators of finite type. Indeed, separate compactness of each section map of a bilinear map of finite type does not guarantee its compactness thus lending a study of Problem 1.3 a more general and broader consideration rather than restricting it to only compact nonlinear operators.
In Section 2, we will give a review of nonlinear spectral theory and Section 3 contains a review of techniques for tackling Problem 1.3, the modified form of Problem 1.4 and some tools such as Lemma 3.4 for establishing our results in Section 5. Section 4 stipulates problems associated with tacking Problem 1.3 whereas Section 5 comprises our major results.
2 An overview of nonlinear spectral theory
The study of Problem 1.3 via Problem 1.4 requires an in-depth knowledge of solvability properties of the equation \(\lambda z-p(z)=0\), hence, the structural properties of \(p\in\mathcal{P}({}^{m}E; E)\); namely, injectivity of \(\lambda I-p\) and whether it maps some bounded neighborhood of 0 onto a neighborhood of 0, continuity of \((\lambda I-p)^{-1}\), boundedness and nontriviality of the nullset \(\mathcal{N} (\lambda I-p)\). These underlying structural properties yielded several variants of spectra of \(p\in\mathcal{P}({}^{m}E; E)\), each having different notions of eigenvalues; see Chapters 6-9 in [8]. Among several others, the Furi-Martelli-Vignoli spectrum \(\sigma_{\mathrm{FMV}}(p, I)\), see [9], 1978, and its modified form called Appell-Giorgieri-Väth spectrum \(\sigma_{\mathrm{AGV}}(p,I)\), see [8], p.150, account for asymptotic properties of stably nonlinear solvable continuous operators; the Feng spectrum \(\sigma_{F}(p, I)\) accounts for global properties of epi and k-epi operators, see [10], 1997; the small Väth spectrum \(\phi(p, I)\) and large Väth spectrum \(\Phi(p, I)\) account for local properties of strictly and properly epi operators, respectively, see [11], 2001. However, none of the known nonlinear spectra adheres to the minimal requirements; specifically most of their associated eigenvalue notions are incompatible with the general notion of the classical eigenvalues [12], Definitions 1 and 2. Further, these spectra may be disjoint from point spectra, see Example 6.6 in [8], [11], are not discrete and unbounded even if their underlying operators are bounded and compact, see Example 3.5 in [12], Theorem 3.5 in [13]; [8] gives extensive and exhaustive literature on this topic.
3 An overview of invariant subspace techniques for nonlinear maps
An attempt of a de facto investigation of Problem 1.3 is by Donoghue, see Example 4 in [14] and [3], which comprise a more systematic study via Problem 1.4 or more generally via elementary invariant subspaces. The challenge to the underlying technique in [3] is the limitation in knowledge of topological degrees in infinite dimensions. Moreover, the nondiscreteness and disjointness of nonlinear spectra from point spectra hinder the adaptation of linear approaches to Problem 1.3. For instance, extending perturbation methods [15–17] modeled on the assumption \(\sigma(T+K)\subset \sigma(T)\) is tantamount to the consideration of solvability properties of the eigenvalue equation \(\lambda z-p(z)=0\) for some \(\lambda \in\Bbbk\) or alternatively structural properties of \(p\in\mathcal{P}({}^{m}E; E)\). This in turn is tantamount to the application of \(\sigma_{\mathrm{FMV}} (p, I)\), \(\sigma_{\mathrm{AGV}}(p, I)\), \(\sigma_{F}(p, I)\) but due to the underlying problems they usually lead to either unsuccessful or partial solutions to the Problem 1.3; they are marginally successful in very limited circumstances such as when \(p\in\mathcal{P}({}^{m}E; E)\) is epi, see Chapter 7 in [8].
In general, any robust approach to the Problem 1.3 should reflect structural properties of \(p\in\mathcal{P}({}^{m}E; E)\) such as unboundedness and lack of a vector space structure of \(\mathcal{N} (\lambda I-p)\), noncommutativity of \(p\in\mathcal{P} ({}^{m}E; E)\) with \(\lambda I-p\) or generally \(\operatorname{lin}\{p^{n}: n\in\mathbb{N}\}\), and the homogeneity degree of \(p\in\mathcal{P}({}^{m}E; E)\), and one must cater for the classical notion of eigenvalues in the sense of linear operators. The unboundedness of eigenvalues of the pair \((p, I)\) arises from their structural differences, particularly homogeneity degrees, and the nondiscreteness of their spectrum is due to the lack of a Fredholm alternative or broadly an application of Borsuk’s theorem for odd linear and nonlinear maps; see [9]. These pitfalls, except for the unboundedness of \(\mathcal{N} (\lambda J_{m}-p)\), in certain cases can be bypassed while preserving the structure of \(p\in\mathcal{P} ({}^{m}E; E)\) by replacing the pair \((p, I)\) with \((p, J_{m})\) where \(J_{m}\) is some well behaved function in the sense that it allows the properties of the pair \((p, J_{m})\) to be made compatible; \(J_{m}\) may be chosen to cater for the disparity in homogeneity degrees and discreteness of the spectrum of the pair \((p, J_{m})\). Specifically, we will choose the function \(J_{m}\) to be the homeomorphism defined by \(J_{m}(z)=\|z \|^{m-1}z\) where m is the homogeneity degree of \(p\in\mathcal{P}({}^{m}E; E)\), and we study Problem 1.3 via the modified eigenvalue Problem 3.1.
Problem 3.1
Given a bounded \(p\in\mathcal{P}({}^{m}E; E)\), does there exist a nonzero vector \(z\in E\) such that \(p(z)=\lambda J_{m}(z)\) for some \(\lambda\in \Bbbk=\mathbb{C}\) or \(\mathbb{R}\)?
Remark 3.2
Remark 3.3
The choice \(J_{m}(z)=\|z\|^{m-1}z\) is guided by the fundamental idea that any eigenvalue of a linear operator \(L\in\mathcal{L}(E)\) associated to an eigenvector z is also an eigenvalue of \(L\in \mathcal{L}(E)\) associated to an eigenvector \(y=\|z\|^{-1}z\).
Lemma 3.4 below is the modified form of Lemma 2.6 in [3].
Lemma 3.4
Let \(p\in\mathcal{P}({}^{m}E; E)\) be associated to the given bounded operator \(T\in\mathcal{L} ({}^{m}E; E)\) where \(\operatorname{dim}(E)\geqslant2\). If for some \(\lambda\in\Bbbk=\mathbb{C}\) or \(\mathbb{R}\), \(0\neq v \in E\), and \(p(v)=\lambda J_{m}(v)\) then \(\operatorname{lin} \{v\}\) is invariant for \(p\in\mathcal{P}({}^{m}E; E)\).
Proof
It suffices to show for any \(0\neq v\in E\) satisfying the hypothesis of the underlying lemma, then also \(p(u)\in\operatorname{lin}\{v\}\) whenever \(u\in\operatorname{lin}\{v\}\). First, observe that \(\operatorname{lin}\{\frac{v}{\|v\|}\}=\operatorname{lin} \{v\}\) and \(p(v)=\lambda\|v\|^{m-1}v\) if and only if \(p (\frac{v}{\|v\|} )=\lambda \frac{v}{\|v\|}\). So, the proof is straightforward since if \(p\in \mathcal{P}({}^{m}E; E)\) and \(u\in\operatorname{lin}\{\frac{v}{\|v\|}\}\), we have \(p(u)=p (\gamma\frac{v}{\|v\|} ) =\frac{\gamma^{m}}{\|v\|^{m}}p(v)=\frac{\gamma^{m}}{ \|v\|^{m}}\lambda\|v\|^{m-1}v=\gamma^{m}\lambda \frac{v}{\|v\|}\in\operatorname{lin}\{\frac{v}{\|v\|}\}\). □
The modification of the pair \((p, I)\) with the pair \((p, J_{m})\) for \(m\in\{2n-1: n\in\mathbb{N}\}\) yields the following particular form of Theorem 4 in [18] (also see Theorem 9.12 in [8]).
Theorem 3.5
Let \(p\in\mathcal{P}({}^{m}E; E)\) be compact and E be real. Then for \(m\in\{2n-1: n\in\mathbb{N}\}\), \(\sigma_{\mathrm{FMV}} (p, J_{m})\setminus\{0\}=\sigma_{\mathrm{AGV}}(p, J_{m})\setminus \{0\}=\sigma_{F}(p,J_{m})\setminus\{0\}=\Phi(p,J_{m}) \setminus\{0\}=\phi(p, J_{m})\setminus\{0\}=\sigma_{\mathrm{ev}}(p, J_{m})\setminus\{0\}\) where \(\sigma_{\mathrm{ev}}(p, J_{m}) :=\{\lambda:\mathcal{N}(\lambda J_{m}-p)\neq\{0\}\}\).
In the situation of Theorem 3.5, the spectrum and resolvent set of the pair \((p,J_{m})\) are denoted by \(\sigma(p, J_{m})\) and \(\rho(p, J_{m}) =\mathbb{C}\setminus\sigma(p, J_{m})\) respectively. In general, the spectral radius, \(r(p, J_{m}):=\sup\{|\lambda|: \mathcal{N}(\lambda J_{m}-p)\neq\{0\}\}\) and in our case, \(r(p,J_{m}):=\sup\{|\lambda|:\lambda\in\sigma (p, J_{m})\}\). We will say \(\sigma_{\mathrm{ev}}(p,J_{m})\), the set of eigenvalues of the pair \((p, J_{m})\), is bounded if \(r(p, J_{m})<\infty\) and \(T\in \mathcal{L}({}^{m}E; E)\) is quasinilpotent if \(r(p, J_{m})=0\).
Theorem 3.6 is a consequence of Theorem 3.5
Theorem 3.6
Let E be real and \(p\in\mathcal{P}({}^{m}E; E)\) be compact. Then for \(m\in\{2n-1: n\in\mathbb{N}\}\), every \(\lambda\in\sigma(p, J_{m})\setminus\{0\}\) is an eigenvalue of \(p\in\mathcal{P}({}^{m}E; E)\).
Theorem 3.6 demonstrates that certain choices of the pair \((p, J_{m})\) yield spectra with desirable properties analogous to the classical spectra of linear maps. The reason for this nice behavior is that the local, asymptotic, and global properties of the pair \((p, J_{m})\) with equal homogeneity degrees are the same.
Theorem 3.7
Let E be an infinite dimensional real Banach space and \(p\in\mathcal{P}({}^{m}E; E)\) be associated to the compact operator \(T\in\mathcal{L} ({}^{m}E; E)\) for \(m\in\{2n+1: n\in\mathbb{N}\}\). If \(\inf_{x\in\partial{\Omega}}\|p(x)\|>0\) and 0 is contained in an open subset Ω of E, then \(T\in\mathcal{L}({}^{m}E; E)\) has nontrivial invariant subspaces in E.
4 Challenges to tackling ISPs for nonlinear operators
The difficulties associated with Problem 1.3 are mainly structural and this section gives their in-depth understanding by means of concrete examples. The ideal \(\mathcal{P}_{f}({}^{m}E;E)\), generated by polynomials maps of the form \(p(z)=\phi(z)^{n}b\) where \(\phi\in E'\) and \(b\in E\), is appropriate for this purpose.
4.1 Lack of a linear vector space structure of a nullset of a nonlinear operator
Example 4.1 below shows the nullset \(\mathcal{N}(\lambda I-p)\) possesses properties that are entirely different from those of linear operators. For example, \(\mathcal{N}(\lambda I-p)\) is not always a closed linear vector subspace of E; these present difficulties to the construction of particularly strongly invariant subspaces for nonlinear operators.
Example 4.1
Let \(p\in\mathcal{P}({}^{3}\mathbb{R}^{2}; \mathbb{R}^{2})\) be defined by \(p(x, y)=(p_{1}(x, y), p_{2}(x,y))\): \(p_{i}(x, y)= x^{3}-\frac{3}{2}x^{2}y-\frac{3}{2}xy^{2}+y^{3}\) for \(i=1, 2\). Then clearly, \((1, 2), (2, 1)\in\mathcal{N} (p):=\{(x, y)\in\mathbb{R}^{2}: p(x, y)=0\}\) but \((1, 2)+ (2, 1)\notin\mathcal{N}(p)\). So \(\mathcal{N}(p)\) is not a linear vector subspace of \(\mathbb{R}^{2}\).
4.2 Lack of eigenvalues
Theorem 4.2 illustrates the existence of quasinilpotent nonlinear operators even on complex Banach spaces.
Theorem 4.2
Proof
Up to this end, we have shown \(p\in\mathcal{P}({}^{m}E; E)\) is quasinilpotent. It now remains to show \(0\in \sigma_{\mathrm{ev}}(p, J_{m})\), i.e., \(p(f)=0\) if and only if \(f\equiv0\). Now, if \(p(f)=0\) then also its derivative \(p(f)'=0\). But, by equation (4.1), \(p(f)'=f^{m}=0\), i.e., \(f\equiv0\). □
Theorem 4.3
Proof
Observe the quasinilpotency of the given operator in equation (4.2) is an immediate consequence of Theorem 4.2. Further, consider the operator \(p\in \mathcal{P}({}^{m}E; E)\) defined in (4.1) associated to the given integral operator in equation (4.2) and mimicking the proof of Theorem 3 in [14] then clearly \(p\in\mathcal{P}({}^{m}E; E)\) has nontrivial invariant subspaces of the form \(\mathcal{M}_{a}=\{f \in C[0,1]:f(s)=0, s\in[0,a]\subset[0, 1]\}\) so that by equation (4.2), we easily conclude \(T (\mathcal{M}_{a},\ldots,\mathcal{M}_{a})\subseteq \mathcal{M}_{a}\). □
4.3 Unbounded or infinite spectral set
Example 4.4
Remark 4.5
Example 4.4 is a representative of the general case; \(\mathcal{N}(\lambda J_{m}-p)\) for all \(p\in\mathcal{P}({}^{m}E; E)\) is trivially a cone, so it is unbounded/infinite unless it is \(\{0\}\).
Remark 4.6
Example 4.1, Theorem 4.2 and Remark 4.4 exhibit certain extreme properties of \(\sigma_{\mathrm{ev}}(p, J_{m})\) and \(\mathcal{N}(\lambda J_{m}-p)\). Namely, \(\sigma_{\mathrm{ev}}(p, J_{m})\) is bounded and \(\mathcal{N}(\lambda J_{m}-p)\) is not a vector space; \(\sigma_{\mathrm{ev}}(p, J_{m})\) is empty and \(\mathcal{N}(\lambda J_{m}- p)\) is trivial; \(\sigma_{\mathrm{ev}}(p, J_{m})\) is bounded and \(\mathcal{N}(\lambda J_{m} -p)\) is unbounded/infinite, respectively. Notice \(\mathcal{N}(\lambda J_{m}-p)\) may be unbounded/infinite even for \(J_{1}=I\). This shows the bad behavior is not due to the difference in the homogeneity degrees of the pair \((p,J_{m})\) but ingrained in the structure of \(p \in\mathcal{P}({}^{m}E; E)\).
The underlying extreme properties present different levels of difficulties as well as reflect unprecedented challenges that drastically limit the existing techniques to investigate Problem 1.3 via Problem 3.1 or generally elementary invariant subspace. More precisely, Lemma 3.4 cannot be applied to certain nonlinear operators such as the one in Theorem 4.2. Moreover, the lack of a nonlinear analog of Gelfand’s formula for computing spectral radius, see Examples 6.5, 7.8 in [8], coupled with the lack of the representation of resolvent of the pair \((p, J_{m})\) further aggravates the problem. This arises from the general fact that the construction of elementary invariant subspaces for \(p \in\mathcal{P}({}^{m}E; E)\) faces nontrivial difficulties since if \(p_{1}, p_{2}\in\operatorname{lin} \{p^{n}: n\in\mathbb{N}\}\) we might have \(p_{1}\circ p_{2} \notin\operatorname{lin}\{p^{n}: n\in\mathbb{N}\}\).
Conjecture 4.7
Let \(p\in\mathcal{P}({}^{m}E; E)\) be associated to \(T\in\mathcal{L}({}^{m}E; E)\). The subspace \(\overline{\operatorname{lin}}\{p^{n}(x): n\in\mathbb{N}\}\) for a fixed \(x\in E\) is invariant for \(p \in\mathcal{P}({}^{m}E; E)\) if and only if it is strongly invariant for \(T\in\mathcal{L} ({}^{m}E; E)\).
In general, Example 4.1, Remark 3.2 and Theorem 4.3 demonstrate that \(T\in\mathcal{L}({}^{m}E; E)\) may not have nontrivial invariant subspaces in E if its associated operator \(p\in\mathcal{P}({}^{m}E; E)\) is either homotopic to a scalar operator or if \(\sigma_{\mathrm{ev}}(p, J_{m})\) is empty.
5 Results and discussion
In this section, we limit the study of Problem 1.3 via Problem 3.1 to the ideals of finite type generated by \(\{T_{1} T_{2}\ldots T_{m}:T_{j}\in\mathcal{L}(\mathcal{A})\}\) where \(m\in\mathbb{N}\) is fixed and \(\mathcal{A}\) is a Banach algebra. This ideal class is larger than \(\mathcal{P}_{f}({}^{m}\mathcal{A}; \mathcal{A})\) and the ideals coincide only if \(\mathcal{A}\) has an \(r_{n}\)-property, see [20]; moreover, if \(T_{j}\in\mathcal{L}(\mathcal{A})\) are linear endomorphisms then the nonlinear operators they generate are known to preserve the structures of Banach algebras, a property most suitable for our research framework.
The literature in [21], Chapter VI and [22], Chapters 10, 11, on Banach algebras is sufficient for our purpose. A normed linear complex space \((\mathcal{A},\|\cdot\|)\) equipped with a multiplication \((a, b)\to ab\) from \(\mathcal{A}\times\mathcal{A}\) into \(\mathcal{A}\) is a normed algebra if it is an algebra and \(\|a b\|\leqslant\|a\| \|b\|\) for all \(a,b\in\mathcal{A}\). A normed algebra \(\mathcal{A}\) is a Banach algebra if the normed space \((\mathcal{A}, \|\cdot\|)\) is a Banach space. A Banach algebra \(\mathcal{A}\) is commutative if \(ab=ba\) for all \(a, b\in\mathcal{A}\); it is unital if there is \(1\in\mathcal{A}\) such that \(1a=a=a1\) for all \(a\in\mathcal{A}\) and such an element is called a unit. Here, we take the unit \(1\in\mathcal{A}\) to have norm one. An element \(a\in\mathcal{A}\) is called an idempotent if \(a^{2}=a\).
A vector subspace \(\mathcal{B}\) of \(\mathcal{A}\) is a subalgebra if itself is an algebra with respect to the operations of \(\mathcal{A}\). A subalgebra \(\mathcal{U}\) of an algebra \(\mathcal{A}\) is a right ideal if \(\mathcal{U}\mathcal{A}=\{ua: u\in\mathcal{U}, a\in\mathcal{A}\}\subset\mathcal{A}\) and it is a left ideal if \(\mathcal{A} \mathcal{U}=\{au:u\in\mathcal{U}, a\in \mathcal{A}\}\subset\mathcal{A}\); it is a two-sided ideal if it is both left and right ideal. A proper ideal \(\mathcal{M} \subset\mathcal{A}\) is called a maximal ideal if it is not properly contained in any other proper ideal. In a commutative unital algebra every proper ideal is contained in some maximal ideal and the same holds for noncommutative algebras with the observation that left and right ideals should be treated separately (the corresponding maximal ideals are also left or right); the proofs of these facts are premised on Zorn’s lemma.
Definition 5.1
An operator \(T:\mathcal{A}\to\mathcal{A}\) where \(\mathcal{A}\) is a unital algebra is unital if \(T(1)=1\), otherwise, it is nonunital.
Remark 5.2
The Gelfand-Mazur theorem, see Chapter VI in [21], Theorem 1.3, is key in understanding structural aspects of algebras and thus the study of Problem 1.3. Indeed, it is known that \(\mathbb{C}\) is isomorphic to \(\mathbb{R}^{2}\) and ISP for \(T\in\mathcal{L}({}^{m} \mathbb{R}^{2};\mathbb{R}^{2})\) has been solved affirmatively, see Theorems 4.5, 4.9 in [3]. On the one hand, the existence of isomorphisms between \(\mathbb{C}\) and \(\mathbb{R}^{2}\), \(\mathbb{C}\), and the algebra \(\mathcal{A}\) whose every nonzero element is invertible allows one to easily extend the known ISP results for \(T\in\mathcal{L} ({}^{m}\mathbb{R}^{2};\mathbb{R}^{2})\) to \(T\in\mathcal{L}({}^{m} \mathcal{A};\mathcal{A})\), since an isomorphism preserves invariant subspaces and is also key in developing techniques for tackling Problem 1.3; see Remark 4.11 in [3]. Therefore, what remains to be considered are the algebras that are not isomorphic to \(\mathbb{C}\).
Notation 5.3
Hereafter, all operators will be assumed to be continuous. Let \(T\in\mathcal{L}(\mathcal{A})\) be a bounded linear operator on a complex Banach algebra \(\mathcal{A}\) and \(p\in\mathcal{P}({}^{2} \mathcal{A};\mathcal{A})\) be associated to \(Q \in\mathcal{L}({}^{2}\mathcal{A};\mathcal{A})\). Let \(E_{p}:=\{0\neq z\in E: p(z)=\lambda J_{2}(z) \text{ for some } \lambda\in\mathbb{C}\}\) be the set of eigenvectors of the pair \((p, J_{2})\) where \(J(z)=\|z\|z\) and let \(E_{T}:=\{0\neq z\in E: T(z)=\lambda z \text{ for some } \lambda \in\mathbb{C}\}\) be the set of eigenvectors of \(T\in \mathcal{L}(\mathcal{A})\).
Theorem 5.4
Let \(\mathcal{A}\) be a complex unital Banach algebra and \(T\in\mathcal{L}(\mathcal{A})\) be a linear operator. The bilinear operator \(Q \in\mathcal{L}({}^{2}\mathcal{A};\mathcal{A})\) defined by \(T(z, w)=zT(w)\) for all \(z, w\in \mathcal{A}\) has nontrivial invariant subspaces in \(\mathcal{A}\).
Proof
We will tacitly assume that the algebra \(\mathcal{A}\) is infinite dimensional since the result is already known in finite dimensions; see [3]. Let \(p \in\mathcal{P}({}^{2}\mathcal{A};\mathcal{A})\) be the polynomial operator associated to the given bilinear operator \(Q\in\mathcal{L}({}^{2}\mathcal{A};\mathcal{A})\); this polynomial operator is defined by \(p(z)=zT(z)\) for all \(z\in\mathcal{A}\). Now, if \(p\in\mathcal{P} ({}^{2}\mathcal{A};\mathcal{A})\) is unital then the linear operator \(T\in\mathcal{L}(\mathcal{A})\) is also unital and so \(1\in E_{p}\cap E_{T}\). Thus, by Lemma 2.6 in [3], \(p\in\mathcal{P}({}^{2} \mathcal{A};\mathcal{A})\) and \(T\in\mathcal{L} (\mathcal{A})\) have at least a common nontrivial invariant subspace in \(\mathcal{A}\) and subsequently by Remark 1.2, the given bilinear operator \(Q\in\mathcal{L}({}^{2}\mathcal{A};\mathcal{A})\) has at least a nontrivial strongly invariant subspace in \(\mathcal{A}\).
On the other hand, suppose \(p\in\mathcal{P} ({}^{2}\mathcal{A};\mathcal{A})\), hence \(T \in\mathcal{L}(\mathcal{A})\), is nonunital. Now, pick a noninvertible element \(0\neq a \in\mathcal{A}\) and fix it in \(\mathcal{A}\); this element, as a consequence of the Gelfand-Mazur theorem, see Chapter VI in [21], Theorem 1.3, exists in \(\mathcal{A}\). Then to prove the underlying theorem, it first suffices to show \(\overline{I}_{a}\), the closure of the ideal \(I_{a}:=\{ab: b\in\mathcal{A}\}\), is nontrivial and invariant for \(p\in\mathcal{P}({}^{2}\mathcal{A}; \mathcal{A})\). First, by the noninvertibility of \(a \in\mathcal{A}\), \(1\notin I_{a}\) and, moreover, it is a known fact that the closure of a proper ideal of a unital algebra is proper, see Corollary 5.2 in [23]; so, to ascertain that \(I_{a}\) and its closure \(\overline{I}_{a}\) are proper in \(\mathcal{A}\) it is enough to show \(1\notin\overline{I}_{a}\). Now, by way of contradiction, suppose \(1\in\overline{I}_{a}\). Then one can find an element \(x\in I_{a}\) such that \(\|1-x\|\leqslant\frac{1}{2}\). But, by a Neumann series expansion, see Theorem 10.7 in [22], \(x=1-(1-x)\) is invertible so that \(1 =x^{-1}x=xx^{-1}\in I_{a}\), a contradiction. It now remains to show that \(\overline{I}_{a}\), the closure of \(I_{a}\), is invariant for \(p\in \mathcal{P}({}^{2}\mathcal{A};\mathcal{A})\). Consider an element \(y\in I_{a}\) (i.e., \(y:=ab\), \(b\in\mathcal{A}\)). Then it is straightforward \(p(y)=p(ab)=abT(ab)\in I_{a}\) and the fact that \(p:\overline{I}_{a}\to\overline{I}_{a}\) follows from the known fact that a continuous map that maps a subset of a metric (or a topological) space into another metric (topological) space maps the closures of the underlying subsets from one into the other, see p.103, Theorem 7.1 in [24]. By Remark 1.2, \(Q\in \mathcal{L}({}^{2}\mathcal{A};\mathcal{A})\) has a nontrivial closed invariant subspace in \(\mathcal{A}\). □
Remark 5.5
Notice the polynomial operator defined in Theorem 5.4 can be viewed as a pointwise product of an identity operator \(I\in\mathcal{L}(\mathcal{A})\) and a linear operator \(T\in\mathcal{L}(\mathcal{A})\); moreover, \(I\in\mathcal{L}(\mathcal{A})\) is an isomorphism. This observation leads to the following more general situations embodied in Theorems 5.6, 5.7 below.
Theorem 5.6
Let \(\mathcal{A}\) be a complex unital Banach algebra and \(S, T\in\mathcal{L}(\mathcal{A})\) be linear endomorphisms. The bilinear operator \(Q\in\mathcal{L} ({}^{2}\mathcal{A};\mathcal{A})\) defined by \(Q(z, w)=S (z)T(w)\) for all \(z, w\in\mathcal{A}\) has nontrivial invariant subspaces in \(\mathcal{A}\).
Proof
Let \(p\in\mathcal{P}({}^{2}\mathcal{A};\mathcal{A})\) be the polynomial operator associated to the given bilinear operator \(Q\in\mathcal{L}({}^{2}\mathcal{A}; \mathcal{A})\); this polynomial operator is defined by \(p(z)=S(z)T(z)\) for all \(z\in\mathcal{A}\). Now if the operators \(S, T\in\mathcal{L}(\mathcal{A})\) are unital then so is \(p\in\mathcal{P}({}^{2} \mathcal{A};\mathcal{A})\) so that \(1\in E_{p}\cap E_{T}\cap E_{S}\). Therefore, by Lemma 3.4, \(S, T\in\mathcal{L}(\mathcal{A})\), and \(p\in \mathcal{P}({}^{2}\mathcal{A};\mathcal{A})\) have at least a common nontrivial invariant subspace in \(\mathcal{A}\) and by Remark 1.2, the given bilinear operator \(Q\in\mathcal{L}({}^{2}\mathcal{A}; \mathcal{A})\) has a nontrivial invariant subspace in \(\mathcal{A}\).
Theorem 5.7
- (i)
\(S\in\mathcal{L}(\mathcal{A})\) commutes with \(T\in\mathcal{L}(\mathcal{A})\) and
- (ii)
\(T(1)\) is an idempotent,
Proof
5.1 General comments
The central point of our results, as envisaged in Theorems 5.4, 5.7 and 5.6 is that structural properties of operators and spaces are key in the development of techniques for tackling nonlinear ISP. Indeed, an attempt to generalize the techniques [5] to nonlinear invariant subspace Problem 1.3 fails due to the lack of approximation step [5], Statement II. Besides, the application of the methods [6, 25] to nonlinear invariant subspace Problem 1.3 is hampered by the challenges outlined in Remark 4.6. More precisely, the unboundedness and non-vector space structure of the set \(\mathcal{N}(\lambda J_{m}-p)\) devoid of the analogs [26], Lemma 10.2, Theorem 10.18, that are key to the techniques in [6]. Similarly, the application of the method [25] to nonlinear invariant subspace Problem 1.3 shows that quasinilpotent compact multilinear operators have nontrivial invariant subset. Further, to determine invariant subspaces for \(T\in\mathcal{L} ({}^{m}E; E)\) via the modified nonlinear eigenvalue Problem 3.1 generally requires determining common coincidence points of a family of commuting maps \(\{q_{i} \in\mathcal{P}({}^{m}E; E): q_{i}q_{j}=q_{j}q_{i} \text{ for all } i, j\in\mathbb{N}\}\) with a homeomorphism \(J_{m}\); this results into problems associated with \(\sigma_{\mathrm{FMV}} (p, J_{m})\) spectrum.
Declarations
Acknowledgements
I would like to thank Professor Dr. Dirk Werner for his stimulating discussions and personal interest during the preparation of this work.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
- Dineen, S: Complex Analysis on Infinite-Dimensional Spaces. Monographs in Mathematics. Springer, London (1990) MATHGoogle Scholar
- Mujica, J: Complex Analysis in Banach Spaces. Math. Stud., vol. 120. North-Holland, Amsterdam (1986) MATHGoogle Scholar
- Emenyu, J: An invariant subspace problem for multilinear operators on finite dimensional spaces. Topol. Methods Nonlinear Anal. 43, 1-10 (2014) MathSciNetGoogle Scholar
- Cahskan, E, Rueda, P: On distinguished polynomials and their projections. Ann. Acad. Sci. Fenn., Math. 37, 595-603 (2012) MathSciNetView ArticleMATHGoogle Scholar
- Aronszajn, N, Smith, KT: Invariant subspaces of completely continuous operators. Ann. Math. 60(2), 345-350 (1954) MathSciNetView ArticleMATHGoogle Scholar
- Lomonosov, VI: Invariant subspaces for operators commuting with compact operators. Funct. Anal. Appl. 7, 213-214 (1973) MathSciNetView ArticleMATHGoogle Scholar
- Bényi, A, Torres, RH: Compact bilinear operators and commutators. Proc. Am. Math. Soc. 141(10), 3609-3621 (2013) MathSciNetView ArticleMATHGoogle Scholar
- Appell, J, De Pascale, E, Vignoli, A: Nonlinear Spectral Theory. de Gruyter Series in Nonlinear Analysis and Applications, vol. 10. de Gruyter, Berlin (2004) View ArticleMATHGoogle Scholar
- Furi, M, Martelli, M, Vignoli, A: Contributions to the spectral theory for nonlinear operators in Banach spaces. Ann. Mat. Pura Appl. 118, 229-294 (1978) MathSciNetView ArticleMATHGoogle Scholar
- Feng, W: A new spectral theory for nonlinear operators and its applications. Abstr. Appl. Anal. 2, 163-183 (1997) MathSciNetView ArticleMATHGoogle Scholar
- Väth, M: The Furi-Martelli-Vignoli spectrum vs. the phantom. Nonlinear Anal. TMA 47(9), 2237-2248 (2001) MathSciNetView ArticleMATHGoogle Scholar
- Santucci, P, Väth, M: On the definition of eigenvalues for nonlinear operators. Nonlinear Anal. 40, 565-576 (2000) MathSciNetView ArticleMATHGoogle Scholar
- Buryśek, S: On the spectra of nonlinear operators. Comment. Math. Univ. Carol. 11, 727-743 (1970) MathSciNetMATHGoogle Scholar
- Donoghue, WF Jr.: The lattice of invariant subspaces of a completely continuous quasinilpotent transformation. Pac. J. Math. 7, 1030-1035 (1957) MathSciNetView ArticleMATHGoogle Scholar
- Macaev, VI: On a class of completely continuous operators. Dokl. Akad. Nauk SSSR 139, 453-551 (1961) (in Russian) MathSciNetGoogle Scholar
- Schwartz, JT: Subdiagonalization of operators in Hilbert spaces with compact imaginary part. Commun. Pure Appl. Math. 15, 159-172 (1962) View ArticleMATHGoogle Scholar
- Zsidó, L: Invariant subspaces of compact perturbations of linear operators in Banach spaces. J. Oper. Theory 1, 225-260 (1979) MathSciNetMATHGoogle Scholar
- Giorgieri, E, Appell, J, Väth, M: Nonlinear spectral theory for homogeneous operators. Nonlinear Funct. Anal. Appl. 7(4), 589-618 (2002) MathSciNetMATHGoogle Scholar
- Lax, PD: Functional Analysis. Wiley, New York (2002) MATHGoogle Scholar
- Lourenco, ML, Moras, LA: A class of polynomials from Banach spaces into Banach algebra. Publ. Res. Inst. Math. Sci. 37, 521-529 (2001) MathSciNetView ArticleMATHGoogle Scholar
- Beauzamy, B: Introduction to Operator Theory and Invariant Subspaces. North-Holland Mathematical Library, vol. 42 (1998) MATHGoogle Scholar
- Rudin, W: Functional Analysis. McGraw-Hill, New York (1973) MATHGoogle Scholar
- Zelazko, W: Banach Algebras. Elsevier, Amsterdam (1973) MATHGoogle Scholar
- Munkres, JR: Topology: A First Course. Prentice Hall, New Delhi (2000) MATHGoogle Scholar
- Michaels, AJ: Hilden’s simple proof of Lomonosov’s invariant subspace theorem. Adv. Math. 25, 56-58 (1977) MathSciNetView ArticleMATHGoogle Scholar
- Abramovich, YA, Aliprantis, CD: An Invitation to Operator Theory. Graduate Studies in Mathematics, vol. 50. Am. Math. Soc., Providence (2002) MATHGoogle Scholar