Namespaces
Variants
Actions

Difference between revisions of "Beurling algebra"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (Automatically changed introduction)
m (tex done)
 
(One intermediate revision by one other user not shown)
Line 6: Line 6:
 
Out of 123 formulas, 121 were replaced by TEX code.-->
 
Out of 123 formulas, 121 were replaced by TEX code.-->
  
{{TEX|semi-auto}}{{TEX|part}}
+
{{TEX|semi-auto}}{{TEX|done}}
 
''of Fourier series with summable majorant of coefficients''
 
''of Fourier series with summable majorant of coefficients''
  
 
An algebra closely related to the Wiener algebra
 
An algebra closely related to the Wiener algebra
  
\begin{equation*} \mathcal{A} = \{ f : \| f \| _ { \mathcal{A} } = \sum _ { m = - \infty } ^ { \infty } | \hat { f } ( m ) | < \infty \}, \end{equation*}
+
\begin{equation*} \mathcal{A} = \{ f : \| f \| _ { \mathcal{A} } = \sum _ { m = - \infty } ^ { \infty } | \hat { f } ( m ) | < \infty \}, \end{equation*}
  
 
where
 
where
Line 19: Line 19:
 
is the $m$th Fourier coefficient of $f$ (cf. also [[Fourier coefficients|Fourier coefficients]]). The Beurling algebra is defined as
 
is the $m$th Fourier coefficient of $f$ (cf. also [[Fourier coefficients|Fourier coefficients]]). The Beurling algebra is defined as
  
\begin{equation*} \mathcal{A} ^ { * } = \left\{ f : \|\, f \| _ { \mathcal{A}^ { * } }  = \sum _ { k = 0 } ^ { \infty } \operatorname { sup } _ { k \leq |m | &lt; \infty } |\, \hat { f } ( m ) | &lt; \infty \right\}. \end{equation*}
+
\begin{equation*} \mathcal{A} ^ { * } = \left\{ f : \|\, f \| _ { \mathcal{A}^ { * } }  = \sum _ { k = 0 } ^ { \infty } \operatorname { sup } _ { k \leq |m | < \infty } |\, \hat { f } ( m ) | < \infty \right\}. \end{equation*}
  
 
The space $\mathcal{A} ^ { * }$ was introduced by A. Beurling for establishing contraction properties of functions [[#References|[a2]]]: Let
 
The space $\mathcal{A} ^ { * }$ was introduced by A. Beurling for establishing contraction properties of functions [[#References|[a2]]]: Let
Line 49: Line 49:
 
\begin{equation*} f _ { h } ( x ) = h ^ { - 1 } \int _ {\bf R } \varphi \left( \frac { t } { h } \right) f ( x - t ) d t. \end{equation*}
 
\begin{equation*} f _ { h } ( x ) = h ^ { - 1 } \int _ {\bf R } \varphi \left( \frac { t } { h } \right) f ( x - t ) d t. \end{equation*}
  
Here, $\varphi ( t )$ is infinitely differentiable, equal to $1$ for $|t | &lt; 1$, vanishing for $| t | &gt; 2$ and such that $\int _ { \mathbf R } \varphi ( t ) d t = 1$. For $f$ sufficiently smooth one has
+
Here, $\varphi ( t )$ is infinitely differentiable, equal to $1$ for $|t | < 1$, vanishing for $| t | > 2$ and such that $\int _ { \mathbf R } \varphi ( t ) d t = 1$. For $f$ sufficiently smooth one has
  
 
\begin{equation*} ( f ^ { * } d \mu ) _ { N } ( x ) = \sum _ { k } \lambda \left( \frac { k } { N } \right) \hat { f } ( k ) e ^ { i k x }, \end{equation*}
 
\begin{equation*} ( f ^ { * } d \mu ) _ { N } ( x ) = \sum _ { k } \lambda \left( \frac { k } { N } \right) \hat { f } ( k ) e ^ { i k x }, \end{equation*}
Line 57: Line 57:
 
The linear means $( f ^ { * } d \mu ) _ { N } ( x )$ converge to $f ( x )$ as $N \rightarrow \infty$ at all the Lebesgue points of each integrable $f$ if and only if the measure $\mu$ is absolutely continuous (cf. [[Absolute continuity|Absolute continuity]]) with respect to the [[Lebesgue measure|Lebesgue measure]] and
 
The linear means $( f ^ { * } d \mu ) _ { N } ( x )$ converge to $f ( x )$ as $N \rightarrow \infty$ at all the Lebesgue points of each integrable $f$ if and only if the measure $\mu$ is absolutely continuous (cf. [[Absolute continuity|Absolute continuity]]) with respect to the [[Lebesgue measure|Lebesgue measure]] and
  
<table class="eq" style="width:100%;"> <tr><td style="width:94%;text-align:center;" valign="top"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b130/b130120/b13012043.png"/></td> </tr></table>
+
$$
 +
\int_0^\infty \operatorname{esssup}_{u < |x| < \infty} |\mu'(x)| \, du < \infty.
 +
$$
  
 
$\mathcal{A} ^ { * }$ possesses many properties which are similar to those of $\mathcal{A}$:
 
$\mathcal{A} ^ { * }$ possesses many properties which are similar to those of $\mathcal{A}$:
Line 80: Line 82:
 
The following two results are analogues for $\mathcal{A} ^ { * }$ of the Herz theorem and of the Wiener–Ditkin theorem, respectively.
 
The following two results are analogues for $\mathcal{A} ^ { * }$ of the Herz theorem and of the Wiener–Ditkin theorem, respectively.
  
Let $f _ { N }$ be a function coinciding with $f$ at each point $2 \pi k / N$, where $k , N &gt; 0$ are integers, $k &lt; N$, and $f _ { N }$ is linear on intervals. Suppose $f \in \mathcal{A} ^ { * }$. Then
+
Let $f _ { N }$ be a function coinciding with $f$ at each point $2 \pi k / N$, where $k , N > 0$ are integers, $k < N$, and $f _ { N }$ is linear on intervals. Suppose $f \in \mathcal{A} ^ { * }$. Then
  
 
\begin{equation*} \operatorname { lim } _ { N \rightarrow \infty } \| f - f _ { N } \| _ { \cal A ^ { * } }= 0. \end{equation*}
 
\begin{equation*} \operatorname { lim } _ { N \rightarrow \infty } \| f - f _ { N } \| _ { \cal A ^ { * } }= 0. \end{equation*}
Line 93: Line 95:
 
a) If $f \in \operatorname { Lip } 1$, then $f \in S$ ($\operatorname { Lip } ( 1 / 2 )$ for $\mathcal{A}$).
 
a) If $f \in \operatorname { Lip } 1$, then $f \in S$ ($\operatorname { Lip } ( 1 / 2 )$ for $\mathcal{A}$).
  
b) If $f$ is absolutely continuous and in $\operatorname { Lip } \alpha$, $\alpha &gt; 1 / 2$, then $f \in S$ (for $f \in \mathcal{A}$, $f$ has to be of bounded variation).
+
b) If $f$ is absolutely continuous and in $\operatorname { Lip } \alpha$, $\alpha > 1 / 2$, then $f \in S$ (for $f \in \mathcal{A}$, $f$ has to be of bounded variation).
  
 
(Here, analogous conditions for $\mathcal{A}$ are given in parentheses; these assertions make up the Beurling–Pollard theorem.)
 
(Here, analogous conditions for $\mathcal{A}$ are given in parentheses; these assertions make up the Beurling–Pollard theorem.)
Line 103: Line 105:
 
ii) If $f$ is absolutely continuous and
 
ii) If $f$ is absolutely continuous and
  
\begin{equation*} \int _ { 0 } ^ { 1 } \omega ( f ^ { \prime } ; t ) _ { p } \left( \operatorname { ln } \frac { 1 } { t } \right) ^ { - 1 / p ^ { \prime } } t ^ { - 1 } d t &lt; \infty \end{equation*}
+
\begin{equation*} \int _ { 0 } ^ { 1 } \omega ( f ^ { \prime } ; t ) _ { p } \left( \operatorname { ln } \frac { 1 } { t } \right) ^ { - 1 / p ^ { \prime } } t ^ { - 1 } d t < \infty \end{equation*}
  
 
for some $p \in [ 1,2 ]$, $p ^ { \prime } = p / ( p - 1 )$, then $f \in \mathcal{A} ^ { * }$.
 
for some $p \in [ 1,2 ]$, $p ^ { \prime } = p / ( p - 1 )$, then $f \in \mathcal{A} ^ { * }$.
Line 111: Line 113:
 
\begin{equation*} \omega ( f ^ { \prime } ; t ) _ { \infty } = O \left( \left( \operatorname { ln } \frac { 1 } { t } \right) ^ { - 1 / 2 } \right). \end{equation*}
 
\begin{equation*} \omega ( f ^ { \prime } ; t ) _ { \infty } = O \left( \left( \operatorname { ln } \frac { 1 } { t } \right) ^ { - 1 / 2 } \right). \end{equation*}
  
The second inclusion in i) is sharp; indeed, for each $\varepsilon &gt; 0$ there exists a function $f \notin B _ { 2 , \infty } ^ { \varepsilon + 1 / 2 }$ such that $f \in \mathcal{A} ^ { * }$. As for ii), it is sharp for $p = 1$. The question is open for $p &gt; 1$ (as of 2000).
+
The second inclusion in i) is sharp; indeed, for each $\varepsilon > 0$ there exists a function $f \notin B _ { 2 , \infty } ^ { \varepsilon + 1 / 2 }$ such that $f \in \mathcal{A} ^ { * }$. As for ii), it is sharp for $p = 1$. The question is open for $p > 1$ (as of 2000).
  
 
There exists a function $f \in \mathcal{A} ^ { * }$ that is not of bounded variation (cf. also [[Function of bounded variation|Function of bounded variation]]).
 
There exists a function $f \in \mathcal{A} ^ { * }$ that is not of bounded variation (cf. also [[Function of bounded variation|Function of bounded variation]]).
Line 124: Line 126:
  
 
====References====
 
====References====
<table><tr><td valign="top">[a1]</td> <td valign="top">  E. Belinsky,  E. Liflyand,  R. Trigub,  "The Banach algebra $A ^ { * }$ and its properties"  ''J. Fourier Anal. Appl.'' , '''3'''  (1997)  pp. 103–129</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  A. Beurling,  "On the spectral synthesis of bounded functions"  ''Acta Math.'' , '''81'''  (1949)  pp. 225–238</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  J.-P. Kahane,  "Séries de Fourier absolument convergentes" , Springer  (1970)</td></tr></table>
+
<table>
 +
<tr><td valign="top">[a1]</td> <td valign="top">  E. Belinsky,  E. Liflyand,  R. Trigub,  "The Banach algebra $A ^ { * }$ and its properties"  ''J. Fourier Anal. Appl.'' , '''3'''  (1997)  pp. 103–129</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  A. Beurling,  "On the spectral synthesis of bounded functions"  ''Acta Math.'' , '''81'''  (1949)  pp. 225–238</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  J.-P. Kahane,  "Séries de Fourier absolument convergentes" , Springer  (1970)</td></tr>
 +
</table>

Latest revision as of 08:15, 15 February 2024

of Fourier series with summable majorant of coefficients

An algebra closely related to the Wiener algebra

\begin{equation*} \mathcal{A} = \{ f : \| f \| _ { \mathcal{A} } = \sum _ { m = - \infty } ^ { \infty } | \hat { f } ( m ) | < \infty \}, \end{equation*}

where

\begin{equation*} \hat { f } ( m ) = ( 2 \pi ) ^ { - 1 } \int _ { - \pi } ^ { \pi } f ( u ) e ^ { - i m u } d u \end{equation*}

is the $m$th Fourier coefficient of $f$ (cf. also Fourier coefficients). The Beurling algebra is defined as

\begin{equation*} \mathcal{A} ^ { * } = \left\{ f : \|\, f \| _ { \mathcal{A}^ { * } } = \sum _ { k = 0 } ^ { \infty } \operatorname { sup } _ { k \leq |m | < \infty } |\, \hat { f } ( m ) | < \infty \right\}. \end{equation*}

The space $\mathcal{A} ^ { * }$ was introduced by A. Beurling for establishing contraction properties of functions [a2]: Let

\begin{equation*} f ( t ) = \sum _ { n = - \infty } ^ { \infty } a _ { n } e ^ { i n t } , a _ { 0 } = 0, \end{equation*}

be an absolutely convergent Fourier series such that $| a _ { \pm n } | \leq a _ { n } ^ { * }$, $n \geq 1$, where $\{ a _ { n } ^ { * } \}$ is a non-increasing sequence of numbers with a finite sum. Then if

\begin{equation*} g ( t ) \sim \sum _ { n = - \infty } ^ { \infty } b _ { n } e ^ { i n t } , b _ { 0 } = 0, \end{equation*}

is a contraction of $f ( t )$ (that is, for any pair of arguments $t_{1}$, $t_2$ the inequality $| g ( t _ { 1 } ) - g ( t _ { 2 } ) | \leq | f ( t _ { 1 } ) - f ( t _ { 2 } ) |$ holds), then the Fourier series of $g ( t )$ also converges absolutely, and

\begin{equation*} \sum _ { n = - \infty } ^ { \infty } | b _ { n } | \leq 10 \sum _ { n = 1 } ^ { \infty } a _ { n } ^ { * }. \end{equation*}

A similar result was proved in [a2] for the Fourier transform, whence integrability of the monotone majorant on the real line is considered. These two spaces coincide locally, hence have much in common.

Subsequently, $\mathcal{A} ^ { * }$ appeared in some other papers either in explicit or implicit form. See [a1] for a detailed survey of the history and properties of $\mathcal{A} ^ { * }$.

It turned out that the consideration of summability of Fourier series by linear methods at Lebesgue points leads to the same space of functions. Let $f$ be a $2 \pi$-periodic integrable function with Fourier series $\sum _ { k } \hat { f } ( k ) e ^ { i k x }$. Let $\lambda$ be a continuous function on $\mathbf{R} = ( - \infty , \infty )$, representable as follows:

\begin{equation*} \lambda ( x ) = \int _ { \mathbf{R} } e ^ { - i x t } d \mu ( t ), \end{equation*}

where $\mu$ is a finite Borel measure satisfying $\int _ { \mathbf{R} } d \mu ( t ) = 1$. Consider the means

\begin{equation*} ( f * d \mu ) _ { N } : = \operatorname { lim } _ { h \rightarrow 0 } \int _ { \mathbf{R} } f _ { h } \left( \frac { x - u } { N } \right) d \mu ( u ), \end{equation*}

where

\begin{equation*} f _ { h } ( x ) = h ^ { - 1 } \int _ {\bf R } \varphi \left( \frac { t } { h } \right) f ( x - t ) d t. \end{equation*}

Here, $\varphi ( t )$ is infinitely differentiable, equal to $1$ for $|t | < 1$, vanishing for $| t | > 2$ and such that $\int _ { \mathbf R } \varphi ( t ) d t = 1$. For $f$ sufficiently smooth one has

\begin{equation*} ( f ^ { * } d \mu ) _ { N } ( x ) = \sum _ { k } \lambda \left( \frac { k } { N } \right) \hat { f } ( k ) e ^ { i k x }, \end{equation*}

and these are the linear means of the Fourier series generated by $\lambda$.

The linear means $( f ^ { * } d \mu ) _ { N } ( x )$ converge to $f ( x )$ as $N \rightarrow \infty$ at all the Lebesgue points of each integrable $f$ if and only if the measure $\mu$ is absolutely continuous (cf. Absolute continuity) with respect to the Lebesgue measure and

$$ \int_0^\infty \operatorname{esssup}_{u < |x| < \infty} |\mu'(x)| \, du < \infty. $$

$\mathcal{A} ^ { * }$ possesses many properties which are similar to those of $\mathcal{A}$:

1) $\mathcal{A} ^ { * }$ is a Banach algebra with the local property.

2) The space of maximal ideals (cf. also Maximal ideal) of $\mathcal{A} ^ { * }$ coincides with $[- \pi , \pi ]$.

3) $\mathcal{A} ^ { * }$ is a regular Banach algebra with trivial radical.

4) If $f \in \mathcal{A} ^ { * }$ and $F ( z )$ is defined and analytic on a neighbourhood of the set of values of the function $f$, then $F \circ f \in \mathcal{A} ^ { * }$ (in particular, if $f$ does not vanish anywhere, then $1 / f \in \mathcal{A} ^ { * }$).

The space ${\cal P M} ^ { * }$ of all sequences $d = \{ d_{ k } \} ^ { \infty } _ { k = - \infty}$ with finite norm

\begin{equation*} \| d \| _ {\cal P M ^* } = \operatorname { sup } _ { n \geq 0 } \frac { 1 } { n + 1 } \sum _ { k = - n } ^ { n } | d _ { k } | \end{equation*}

is the dual space of $\mathcal{A} ^ { * }$.

The space ${\cal P M} ^ { * }$ is not separable (cf. also Separable space) and thus the space $\mathcal{A} ^ { * }$, like $\mathcal{A}$, is not reflexive (cf. also Reflexive space).

Spectral properties of $\mathcal{A} ^ { * }$.

The following two results are analogues for $\mathcal{A} ^ { * }$ of the Herz theorem and of the Wiener–Ditkin theorem, respectively.

Let $f _ { N }$ be a function coinciding with $f$ at each point $2 \pi k / N$, where $k , N > 0$ are integers, $k < N$, and $f _ { N }$ is linear on intervals. Suppose $f \in \mathcal{A} ^ { * }$. Then

\begin{equation*} \operatorname { lim } _ { N \rightarrow \infty } \| f - f _ { N } \| _ { \cal A ^ { * } }= 0. \end{equation*}

Let $\Delta _ { \varepsilon } ( t ) = ( 1 - | t | / \varepsilon ) _ { + }$ for $t | \leq \pi$ and $\varepsilon \in ( 0 , \pi / 2 )$, $\Delta _ { \varepsilon } ( t + 2 \pi ) = \Delta _ { \varepsilon } ( t )$, and $V _ { \varepsilon } = 2 \Delta _ { 2 \varepsilon} - \Delta _ { \varepsilon }$. Let $f \in \mathcal{A} ^ { * }$ and $f ( 0 ) = 0$. Then

\begin{equation*} \operatorname { lim } _ { \varepsilon \rightarrow 0 } \| f V _ { \varepsilon } \| _ { \mathcal{A} } * = 0. \end{equation*}

Synthesis problems.

Writing $f \in S$ if $f$ admits synthesis in the norm of $\mathcal{A} ^ { * }$ (cf. also Synthesis problems), for $f \in \mathcal{A} ^ { * }$ the following statements hold.

a) If $f \in \operatorname { Lip } 1$, then $f \in S$ ($\operatorname { Lip } ( 1 / 2 )$ for $\mathcal{A}$).

b) If $f$ is absolutely continuous and in $\operatorname { Lip } \alpha$, $\alpha > 1 / 2$, then $f \in S$ (for $f \in \mathcal{A}$, $f$ has to be of bounded variation).

(Here, analogous conditions for $\mathcal{A}$ are given in parentheses; these assertions make up the Beurling–Pollard theorem.)

The following statements describe structural properties of functions in $\mathcal{A} ^ { * }$. In the sequel, $\omega ( g , .)_p$ stands for the modulus of continuity, in the norm of $L ^ { p }$, of a function $g$ (cf. also Continuity, modulus of).

i) $B _ { 1,1 } ^ { 1 } \subset \mathcal{A} ^ { * } \subset B _ { 2,1 } ^ { 1 / 2 }$, and the imbeddings into these Besov spaces (cf. also Nikol'skii space and Hankel operator) are both continuous.

ii) If $f$ is absolutely continuous and

\begin{equation*} \int _ { 0 } ^ { 1 } \omega ( f ^ { \prime } ; t ) _ { p } \left( \operatorname { ln } \frac { 1 } { t } \right) ^ { - 1 / p ^ { \prime } } t ^ { - 1 } d t < \infty \end{equation*}

for some $p \in [ 1,2 ]$, $p ^ { \prime } = p / ( p - 1 )$, then $f \in \mathcal{A} ^ { * }$.

iii) There exists a continuously differentiable function $f \notin \mathcal{A} ^ { * }$ for which

\begin{equation*} \omega ( f ^ { \prime } ; t ) _ { \infty } = O \left( \left( \operatorname { ln } \frac { 1 } { t } \right) ^ { - 1 / 2 } \right). \end{equation*}

The second inclusion in i) is sharp; indeed, for each $\varepsilon > 0$ there exists a function $f \notin B _ { 2 , \infty } ^ { \varepsilon + 1 / 2 }$ such that $f \in \mathcal{A} ^ { * }$. As for ii), it is sharp for $p = 1$. The question is open for $p > 1$ (as of 2000).

There exists a function $f \in \mathcal{A} ^ { * }$ that is not of bounded variation (cf. also Function of bounded variation).

The following condition, although being very simple, is surprisingly sharp. If $f ^ { \prime } \in \mathcal{A}$, then $f \in \mathcal{A} ^ { * }$. If the Fourier series of $f$ is lacunary in the sense of Hadamard (cf. also Lacunary sequence), then the converse statement holds.

Note that the central problem of spectral synthesis, that is, existence of sets that are not of synthesis as well as existence of functions not admitting synthesis, is still open (as of 2000) for $\mathcal{A} ^ { * }$.

Another open question is connected with Beurling's initial result. It would be interesting to know whether the following statement, converse to that given above, is true or not: If for every $f \in \mathcal{A} ^ { * }$ one has $F \circ f \in \mathcal{A}$, then $F \in \operatorname { Lip } 1$.

Some of the results known for $\mathcal{A} ^ { * }$ have been generalized to the multi-dimensional case.

References

[a1] E. Belinsky, E. Liflyand, R. Trigub, "The Banach algebra $A ^ { * }$ and its properties" J. Fourier Anal. Appl. , 3 (1997) pp. 103–129
[a2] A. Beurling, "On the spectral synthesis of bounded functions" Acta Math. , 81 (1949) pp. 225–238
[a3] J.-P. Kahane, "Séries de Fourier absolument convergentes" , Springer (1970)
How to Cite This Entry:
Beurling algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Beurling_algebra&oldid=50679
This article was adapted from an original article by E.S. BelinskyE.R. Liflyand (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article