Namespaces
Variants
Actions

Difference between revisions of "Spectral synthesis"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
The reconstruction of the invariant subspaces of a family of linear operators from the eigen or root subspaces of this family contained in such subspaces. More precisely, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s0865101.png" /> be a commutative family of operators on a topological vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s0865102.png" /> and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s0865103.png" /> be its point spectrum, i.e. the set of numerical functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s0865104.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s0865105.png" /> for which the eigen subspaces
+
<!--
 +
s0865101.png
 +
$#A+1 = 52 n = 0
 +
$#C+1 = 52 : ~/encyclopedia/old_files/data/S086/S.0806510 Spectral synthesis
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s0865106.png" /></td> </tr></table>
+
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
The reconstruction of the invariant subspaces of a family of linear operators from the eigen or root subspaces of this family contained in such subspaces. More precisely, let  $  {\mathcal A} $
 +
be a commutative family of operators on a topological vector space  $  X $
 +
and let  $  \sigma _ {p} ( {\mathcal A} ) $
 +
be its point spectrum, i.e. the set of numerical functions  $  \lambda = \lambda ( A ) $
 +
on  $  {\mathcal A} $
 +
for which the eigen subspaces
 +
 
 +
$$
 +
N _  {\mathcal A}  ( \lambda )  = \cap _ {A \in {\mathcal A} }
 +
\mathop{\rm Ker} ( A- \lambda ( A) I)
 +
$$
  
 
are distinct from zero, and let
 
are distinct from zero, and let
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s0865107.png" /></td> </tr></table>
+
$$
 +
K _  {\mathcal A}  ( \lambda )  = \cap _ {A \in {\mathcal A} }
 +
\cup _ {n \in \mathbf N }  \mathop{\rm Ker} ( A- \lambda ( A) I)  ^ {n}
 +
$$
  
be the root subspaces corresponding to the points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s0865108.png" /> (cf. [[Spectrum of an operator|Spectrum of an operator]]). A subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s0865109.png" /> which is invariant under <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651010.png" /> admits spectral synthesis if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651011.png" /> coincides with the closure of the root subspaces contained in it. If all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651012.png" />-invariant subspaces admit spectral synthesis, then it is said that the family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651013.png" /> itself admits spectral synthesis.
+
be the root subspaces corresponding to the points $  \lambda \in \sigma _ {p} ( {\mathcal A} ) $(
 +
cf. [[Spectrum of an operator|Spectrum of an operator]]). A subspace $  L \subset  X $
 +
which is invariant under $  {\mathcal A} $
 +
admits spectral synthesis if $  L $
 +
coincides with the closure of the root subspaces contained in it. If all $  {\mathcal A} $-
 +
invariant subspaces admit spectral synthesis, then it is said that the family $  {\mathcal A} $
 +
itself admits spectral synthesis.
  
Examples of families admitting spectral synthesis are as follows: any compact commutative group of operators on a Banach space and, more generally, any group with relatively compact trajectories. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651014.png" />, then every one-element family admits spectral synthesis in view of the existence of the [[Jordan decomposition|Jordan decomposition]]. In the general case, for an operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651015.png" /> to admit spectral synthesis it is necessary at least to require that the whole of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651016.png" /> admits spectral synthesis with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651017.png" />, that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651018.png" /> should have a complete system of root subspaces. But this condition is not sufficient, even for normal operators on a Hilbert space. In order that a [[Normal operator|normal operator]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651019.png" /> admits spectral synthesis it is necessary and sufficient that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651020.png" /> does not contain the support of a measure orthogonal to the polynomials. This condition holds if and only if for any domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651021.png" /> there is an analytic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651022.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651023.png" /> for which
+
Examples of families admitting spectral synthesis are as follows: any compact commutative group of operators on a Banach space and, more generally, any group with relatively compact trajectories. If $  \mathop{\rm dim}  X < \infty $,  
 +
then every one-element family admits spectral synthesis in view of the existence of the [[Jordan decomposition|Jordan decomposition]]. In the general case, for an operator $  A $
 +
to admit spectral synthesis it is necessary at least to require that the whole of $  X $
 +
admits spectral synthesis with respect to $  A $,  
 +
that is, $  A $
 +
should have a complete system of root subspaces. But this condition is not sufficient, even for normal operators on a Hilbert space. In order that a [[Normal operator|normal operator]] $  A $
 +
admits spectral synthesis it is necessary and sufficient that $  \sigma _ {p} ( A) $
 +
does not contain the support of a measure orthogonal to the polynomials. This condition holds if and only if for any domain $  G \subset  \mathbf C $
 +
there is an analytic function $  f $
 +
in $  G $
 +
for which
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651024.png" /></td> </tr></table>
+
$$
 +
\sup _ {z \in G }  | f( z) |  < \sup
 +
_ {z \in G \cap \sigma _ {p} ( A) }  | f( z) | .
 +
$$
  
 
In particular, unitary complete and self-adjoint complete operators (cf. [[Complete operator|Complete operator]]; [[Self-adjoint operator|Self-adjoint operator]]; [[Unitary operator|Unitary operator]]) admit spectral synthesis. Spectral synthesis is also possible for complete operators that are  "close"  to unitary or self-adjoint ones (such as dissipative operators, cf. [[Dissipative operator|Dissipative operator]], with a nuclear imaginary component, and operators with spectrum on a circle and with normal growth of the resolvent as one approaches the circle).
 
In particular, unitary complete and self-adjoint complete operators (cf. [[Complete operator|Complete operator]]; [[Self-adjoint operator|Self-adjoint operator]]; [[Unitary operator|Unitary operator]]) admit spectral synthesis. Spectral synthesis is also possible for complete operators that are  "close"  to unitary or self-adjoint ones (such as dissipative operators, cf. [[Dissipative operator|Dissipative operator]], with a nuclear imaginary component, and operators with spectrum on a circle and with normal growth of the resolvent as one approaches the circle).
Line 17: Line 59:
 
The completeness of the system of root subspaces does not guarantee spectral synthesis of invariant subspaces even if one imposes the further condition that the operator be compact: The restriction of a complete [[Compact operator|compact operator]] to an invariant subspace need not have eigenvectors and can even coincide with any compact operator given in advance.
 
The completeness of the system of root subspaces does not guarantee spectral synthesis of invariant subspaces even if one imposes the further condition that the operator be compact: The restriction of a complete [[Compact operator|compact operator]] to an invariant subspace need not have eigenvectors and can even coincide with any compact operator given in advance.
  
The problems of spectral synthesis of invariant subspaces include not only the clarification of the possibility of approximating their elements by linear combinations of root vectors, but also the construction of an approximating sequence and the estimation of its rate of convergence. In the case of operators with a countable spectrum, the approximating sequence is usually constructed by averaging the sequence of partial sums of the formal Fourier series <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651025.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651026.png" /> is the Riesz projector:
+
The problems of spectral synthesis of invariant subspaces include not only the clarification of the possibility of approximating their elements by linear combinations of root vectors, but also the construction of an approximating sequence and the estimation of its rate of convergence. In the case of operators with a countable spectrum, the approximating sequence is usually constructed by averaging the sequence of partial sums of the formal Fourier series $  x \approx \sum _ {\lambda \in \sigma _ {p}  ( A) } \epsilon _  \lambda  x $,  
 +
where $  \epsilon _  \lambda  $
 +
is the Riesz projector:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651027.png" /></td> </tr></table>
+
$$
 +
\epsilon _  \lambda  x  =
 +
\frac{1}{2 \pi i }
  
Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651028.png" /> is a contour separating the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651029.png" /> from the rest of the spectrum.
+
\int\limits _ {\Gamma _  \lambda  } ( z- A)  ^ {-} 1  dz.
 +
$$
  
If a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651030.png" /> consists of functions on a locally compact Abelian group and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651031.png" /> coincides with the family of all shift operators, then the eigenspaces for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651032.png" /> are the one-dimensional subspaces generated by the characters of the group. Thus, the theory of spectral synthesis of invariant subspaces includes the classical problems of harmonic synthesis on a locally compact Abelian group (see [[Harmonic analysis, abstract|Harmonic analysis, abstract]]), which consists of finding conditions under which the subspaces that are invariant under the translations in some topological vector space of functions on a group are generated by the characters contained in them. In particular, the possibility of spectral synthesis on compact groups or, more generally, in spaces of almost-periodic functions on groups is a consequence of the result stated above on the spectral synthesis for groups of operators with relatively compact trajectories. Moreover, the problems of spectral synthesis are closely connected with problems of synthesis of the ideals in a regular commutative Banach algebra: A closed ideal is the intersection of maximal ones ( "it admits spectral synthesis" ) if and only if its annihilator in the adjoint space admits spectral synthesis with respect to the family of operators adjoint to the operators of multiplication by elements of the algebra.
+
Here,  $  \Gamma _  \lambda  $
 +
is a contour separating the point  $  \lambda \in \sigma _ {p} ( A) $
 +
from the rest of the spectrum.
 +
 
 +
If a space $  X $
 +
consists of functions on a locally compact Abelian group and $  {\mathcal A} $
 +
coincides with the family of all shift operators, then the eigenspaces for $  {\mathcal A} $
 +
are the one-dimensional subspaces generated by the characters of the group. Thus, the theory of spectral synthesis of invariant subspaces includes the classical problems of harmonic synthesis on a locally compact Abelian group (see [[Harmonic analysis, abstract|Harmonic analysis, abstract]]), which consists of finding conditions under which the subspaces that are invariant under the translations in some topological vector space of functions on a group are generated by the characters contained in them. In particular, the possibility of spectral synthesis on compact groups or, more generally, in spaces of almost-periodic functions on groups is a consequence of the result stated above on the spectral synthesis for groups of operators with relatively compact trajectories. Moreover, the problems of spectral synthesis are closely connected with problems of synthesis of the ideals in a regular commutative Banach algebra: A closed ideal is the intersection of maximal ones ( "it admits spectral synthesis" ) if and only if its annihilator in the adjoint space admits spectral synthesis with respect to the family of operators adjoint to the operators of multiplication by elements of the algebra.
  
 
The above definition of spectral synthesis can be extended in such a way that that it also covers families of operators without an extensive point spectrum (and even non-commutative families). In that case it is replaced by the requirement of a one-to-one correspondence between the invariant subspaces and the spectral characteristics of the restrictions to these subspaces of a given family of operators. In this sense one talks of spectral synthesis for modules over a regular commutative Banach algebra, and for representations of a locally compact Abelian group.
 
The above definition of spectral synthesis can be extended in such a way that that it also covers families of operators without an extensive point spectrum (and even non-commutative families). In that case it is replaced by the requirement of a one-to-one correspondence between the invariant subspaces and the spectral characteristics of the restrictions to these subspaces of a given family of operators. In this sense one talks of spectral synthesis for modules over a regular commutative Banach algebra, and for representations of a locally compact Abelian group.
Line 29: Line 83:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  E. Hewitt,  K.A. Ross,  "Abstract harmonic analysis" , '''1–2''' , Springer  (1979)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  N.K. Nikol'skii,  "Invariant subspaces in the theory of operators and theory of functions"  ''J. Soviet Math.'' , '''5''' :  2  (1976)  pp. 129–249  ''Itogi Nauk. i Tekhn. Mat. Anal.'' , '''12'''  (1974)  pp. 199–412</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  J.J. Benedetto,  "Spectral synthesis" , Teubner  (1975)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  E. Hewitt,  K.A. Ross,  "Abstract harmonic analysis" , '''1–2''' , Springer  (1979)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  N.K. Nikol'skii,  "Invariant subspaces in the theory of operators and theory of functions"  ''J. Soviet Math.'' , '''5''' :  2  (1976)  pp. 129–249  ''Itogi Nauk. i Tekhn. Mat. Anal.'' , '''12'''  (1974)  pp. 199–412</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  J.J. Benedetto,  "Spectral synthesis" , Teubner  (1975)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
According to [[#References|[a2]]], p. 140, the term  "spectral synthesis"  was introduced around 1947 by A. Beurling. Since then it has been a subject of much research in commutative harmonic analysis, i.e. in the context of the commutative Banach algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651033.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651034.png" /> a locally compact Abelian group. The elements of the dual group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651035.png" /> can be identified with the closed maximal ideals of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651037.png" />. The cospectrum of a closed ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651039.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651040.png" /> is the closed set in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651041.png" /> consisting of all closed maximal ideals containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651042.png" />. To every closed subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651043.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651044.png" /> corresponds a natural closed ideal in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651045.png" /> having <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651046.png" /> as cospectrum, namely the intersection of all closed maximal ideals corresponding to the points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651047.png" />. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651048.png" /> is called a set of spectral synthesis (or a Wiener set, [[#References|[a2]]]) if this intersection is the only closed ideal having <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651049.png" /> as cospectrum. The classical approximation theorem, proved for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651050.png" /> by N. Wiener (1932), can be stated as: The empty set is a set of spectral synthesis.
+
According to [[#References|[a2]]], p. 140, the term  "spectral synthesis"  was introduced around 1947 by A. Beurling. Since then it has been a subject of much research in commutative harmonic analysis, i.e. in the context of the commutative Banach algebra $  L _ {1} ( G) $,  
 +
$  G $
 +
a locally compact Abelian group. The elements of the dual group $  \widehat{G}  $
 +
can be identified with the closed maximal ideals of $  L _ {1} ( G) $.  
 +
The cospectrum of a closed ideal $  I $
 +
in $  L _ {1} ( G) $
 +
is the closed set in $  \widehat{G}  $
 +
consisting of all closed maximal ideals containing $  I $.  
 +
To every closed subset $  E $
 +
of $  \widehat{G}  $
 +
corresponds a natural closed ideal in $  L _ {1} ( G) $
 +
having $  E $
 +
as cospectrum, namely the intersection of all closed maximal ideals corresponding to the points of $  E $.  
 +
$  E $
 +
is called a set of spectral synthesis (or a Wiener set, [[#References|[a2]]]) if this intersection is the only closed ideal having $  E $
 +
as cospectrum. The classical approximation theorem, proved for $  G = \mathbf R $
 +
by N. Wiener (1932), can be stated as: The empty set is a set of spectral synthesis.
  
The first example of a set that is not a set of spectral synthesis (also called a  "set of non spectral synthesisset of non spectral synthesis" ) was obtained in 1948 by L. Schwartz, who showed that spheres in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651051.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651052.png" />) are such. That sets of non spectral synthesis exist in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651053.png" /> for all non-compact <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086510/s08651054.png" /> was proved by P. Malliavin (1959). A completely-different proof of this fact, using tensor algebra, was obtained in 1965 by N.Th. Varopoulos. A famous unsolved problem in this area is whether the union of two sets of spectral synthesis is again such a set (the union problem). See [[#References|[1]]], [[#References|[3]]], [[#References|[a1]]], [[#References|[a2]]] for many more details.
+
The first example of a set that is not a set of spectral synthesis (also called a  "set of non spectral synthesisset of non spectral synthesis" ) was obtained in 1948 by L. Schwartz, who showed that spheres in $  \widehat{G}  = \mathbf R  ^ {n} $(
 +
$  n \geq  3 $)  
 +
are such. That sets of non spectral synthesis exist in $  \widehat{G}  $
 +
for all non-compact $  G $
 +
was proved by P. Malliavin (1959). A completely-different proof of this fact, using tensor algebra, was obtained in 1965 by N.Th. Varopoulos. A famous unsolved problem in this area is whether the union of two sets of spectral synthesis is again such a set (the union problem). See [[#References|[1]]], [[#References|[3]]], [[#References|[a1]]], [[#References|[a2]]] for many more details.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  C.C. Graham,  O.C. McGehee,  "Essays in commutative harmonic analysis" , Springer  (1979)  pp. Chapt. 5</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H. Reiter,  "Classical harmonic analysis and locally compact groups" , Clarendon Press  (1968)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  C.C. Graham,  O.C. McGehee,  "Essays in commutative harmonic analysis" , Springer  (1979)  pp. Chapt. 5</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H. Reiter,  "Classical harmonic analysis and locally compact groups" , Clarendon Press  (1968)</TD></TR></table>

Latest revision as of 08:22, 6 June 2020


The reconstruction of the invariant subspaces of a family of linear operators from the eigen or root subspaces of this family contained in such subspaces. More precisely, let $ {\mathcal A} $ be a commutative family of operators on a topological vector space $ X $ and let $ \sigma _ {p} ( {\mathcal A} ) $ be its point spectrum, i.e. the set of numerical functions $ \lambda = \lambda ( A ) $ on $ {\mathcal A} $ for which the eigen subspaces

$$ N _ {\mathcal A} ( \lambda ) = \cap _ {A \in {\mathcal A} } \mathop{\rm Ker} ( A- \lambda ( A) I) $$

are distinct from zero, and let

$$ K _ {\mathcal A} ( \lambda ) = \cap _ {A \in {\mathcal A} } \cup _ {n \in \mathbf N } \mathop{\rm Ker} ( A- \lambda ( A) I) ^ {n} $$

be the root subspaces corresponding to the points $ \lambda \in \sigma _ {p} ( {\mathcal A} ) $( cf. Spectrum of an operator). A subspace $ L \subset X $ which is invariant under $ {\mathcal A} $ admits spectral synthesis if $ L $ coincides with the closure of the root subspaces contained in it. If all $ {\mathcal A} $- invariant subspaces admit spectral synthesis, then it is said that the family $ {\mathcal A} $ itself admits spectral synthesis.

Examples of families admitting spectral synthesis are as follows: any compact commutative group of operators on a Banach space and, more generally, any group with relatively compact trajectories. If $ \mathop{\rm dim} X < \infty $, then every one-element family admits spectral synthesis in view of the existence of the Jordan decomposition. In the general case, for an operator $ A $ to admit spectral synthesis it is necessary at least to require that the whole of $ X $ admits spectral synthesis with respect to $ A $, that is, $ A $ should have a complete system of root subspaces. But this condition is not sufficient, even for normal operators on a Hilbert space. In order that a normal operator $ A $ admits spectral synthesis it is necessary and sufficient that $ \sigma _ {p} ( A) $ does not contain the support of a measure orthogonal to the polynomials. This condition holds if and only if for any domain $ G \subset \mathbf C $ there is an analytic function $ f $ in $ G $ for which

$$ \sup _ {z \in G } | f( z) | < \sup _ {z \in G \cap \sigma _ {p} ( A) } | f( z) | . $$

In particular, unitary complete and self-adjoint complete operators (cf. Complete operator; Self-adjoint operator; Unitary operator) admit spectral synthesis. Spectral synthesis is also possible for complete operators that are "close" to unitary or self-adjoint ones (such as dissipative operators, cf. Dissipative operator, with a nuclear imaginary component, and operators with spectrum on a circle and with normal growth of the resolvent as one approaches the circle).

The completeness of the system of root subspaces does not guarantee spectral synthesis of invariant subspaces even if one imposes the further condition that the operator be compact: The restriction of a complete compact operator to an invariant subspace need not have eigenvectors and can even coincide with any compact operator given in advance.

The problems of spectral synthesis of invariant subspaces include not only the clarification of the possibility of approximating their elements by linear combinations of root vectors, but also the construction of an approximating sequence and the estimation of its rate of convergence. In the case of operators with a countable spectrum, the approximating sequence is usually constructed by averaging the sequence of partial sums of the formal Fourier series $ x \approx \sum _ {\lambda \in \sigma _ {p} ( A) } \epsilon _ \lambda x $, where $ \epsilon _ \lambda $ is the Riesz projector:

$$ \epsilon _ \lambda x = \frac{1}{2 \pi i } \int\limits _ {\Gamma _ \lambda } ( z- A) ^ {-} 1 dz. $$

Here, $ \Gamma _ \lambda $ is a contour separating the point $ \lambda \in \sigma _ {p} ( A) $ from the rest of the spectrum.

If a space $ X $ consists of functions on a locally compact Abelian group and $ {\mathcal A} $ coincides with the family of all shift operators, then the eigenspaces for $ {\mathcal A} $ are the one-dimensional subspaces generated by the characters of the group. Thus, the theory of spectral synthesis of invariant subspaces includes the classical problems of harmonic synthesis on a locally compact Abelian group (see Harmonic analysis, abstract), which consists of finding conditions under which the subspaces that are invariant under the translations in some topological vector space of functions on a group are generated by the characters contained in them. In particular, the possibility of spectral synthesis on compact groups or, more generally, in spaces of almost-periodic functions on groups is a consequence of the result stated above on the spectral synthesis for groups of operators with relatively compact trajectories. Moreover, the problems of spectral synthesis are closely connected with problems of synthesis of the ideals in a regular commutative Banach algebra: A closed ideal is the intersection of maximal ones ( "it admits spectral synthesis" ) if and only if its annihilator in the adjoint space admits spectral synthesis with respect to the family of operators adjoint to the operators of multiplication by elements of the algebra.

The above definition of spectral synthesis can be extended in such a way that that it also covers families of operators without an extensive point spectrum (and even non-commutative families). In that case it is replaced by the requirement of a one-to-one correspondence between the invariant subspaces and the spectral characteristics of the restrictions to these subspaces of a given family of operators. In this sense one talks of spectral synthesis for modules over a regular commutative Banach algebra, and for representations of a locally compact Abelian group.

References

[1] E. Hewitt, K.A. Ross, "Abstract harmonic analysis" , 1–2 , Springer (1979)
[2] N.K. Nikol'skii, "Invariant subspaces in the theory of operators and theory of functions" J. Soviet Math. , 5 : 2 (1976) pp. 129–249 Itogi Nauk. i Tekhn. Mat. Anal. , 12 (1974) pp. 199–412
[3] J.J. Benedetto, "Spectral synthesis" , Teubner (1975)

Comments

According to [a2], p. 140, the term "spectral synthesis" was introduced around 1947 by A. Beurling. Since then it has been a subject of much research in commutative harmonic analysis, i.e. in the context of the commutative Banach algebra $ L _ {1} ( G) $, $ G $ a locally compact Abelian group. The elements of the dual group $ \widehat{G} $ can be identified with the closed maximal ideals of $ L _ {1} ( G) $. The cospectrum of a closed ideal $ I $ in $ L _ {1} ( G) $ is the closed set in $ \widehat{G} $ consisting of all closed maximal ideals containing $ I $. To every closed subset $ E $ of $ \widehat{G} $ corresponds a natural closed ideal in $ L _ {1} ( G) $ having $ E $ as cospectrum, namely the intersection of all closed maximal ideals corresponding to the points of $ E $. $ E $ is called a set of spectral synthesis (or a Wiener set, [a2]) if this intersection is the only closed ideal having $ E $ as cospectrum. The classical approximation theorem, proved for $ G = \mathbf R $ by N. Wiener (1932), can be stated as: The empty set is a set of spectral synthesis.

The first example of a set that is not a set of spectral synthesis (also called a "set of non spectral synthesisset of non spectral synthesis" ) was obtained in 1948 by L. Schwartz, who showed that spheres in $ \widehat{G} = \mathbf R ^ {n} $( $ n \geq 3 $) are such. That sets of non spectral synthesis exist in $ \widehat{G} $ for all non-compact $ G $ was proved by P. Malliavin (1959). A completely-different proof of this fact, using tensor algebra, was obtained in 1965 by N.Th. Varopoulos. A famous unsolved problem in this area is whether the union of two sets of spectral synthesis is again such a set (the union problem). See [1], [3], [a1], [a2] for many more details.

References

[a1] C.C. Graham, O.C. McGehee, "Essays in commutative harmonic analysis" , Springer (1979) pp. Chapt. 5
[a2] H. Reiter, "Classical harmonic analysis and locally compact groups" , Clarendon Press (1968)
How to Cite This Entry:
Spectral synthesis. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Spectral_synthesis&oldid=12944
This article was adapted from an original article by V.S. Shul'man (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article