Absolutely convergent fourier series. An improvement of the Beurling-Helson theorem |
| |
Authors: | V V Lebedev |
| |
Institution: | 1. Moscow State Institute of Electronics and Mathematics (Technical University), Moscow, Russia
|
| |
Abstract: | We consider the space
A(\mathbbT)A(\mathbb{T}) of all continuous functions f on the circle
\mathbbT\mathbb{T} such that the sequence of Fourier coefficients
^(f)] = { ^(f)]( k ), k ? \mathbbZ }\hat f = \left\{ {\hat f\left( k \right), k \in \mathbb{Z}} \right\} belongs to l
1(ℤ). The norm on
A(\mathbbT)A(\mathbb{T}) is defined by
|| f ||A(\mathbbT) = || ^(f)] ||l1 (\mathbbZ)\left\| f \right\|_{A(\mathbb{T})} = \left\| {\hat f} \right\|_{l^1 (\mathbb{Z})}. According to the well-known Beurling-Helson theorem, if
f:\mathbbT ? \mathbbT\phi :\mathbb{T} \to \mathbb{T} is a continuous mapping such that
|| einf ||A(\mathbbT) = O(1)\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = O(1), n ∈ ℤ then φ is linear. It was conjectured by Kahane that the same conclusion about φ is true under the assumption that
|| einf ||A(\mathbbT) = o( log| n | )\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\log \left| n \right|} \right). We show that if $\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/
{\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right.
\kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right)$\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/
{\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right.
\kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right), then φ is linear. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|