Notations:
$ H_{per}^s(0,2\pi):= \{f \in L^2(0,2\pi): \sum_{n \in \mathbb{Z}} (1+n^2)^s \vert \hat f(n) \vert^2 < +\infty \} $,
$ H_{per}^{\infty}(0,2\pi):= \bigcap_{s>0} H_{per}^s(0,2\pi) $,
$ C^{\infty}_{per}[0,2\pi] :=\{ u \in C^{\infty} [0,2\pi]: u^{(k)}(0) = u^{(k)}(2\pi), \ \forall k \in \mathbb{N}\} $.
We define
$\mathcal{U}_{per} := \{ u \in H_{per}^{\infty} (0,2\pi): \lim_{s\to +\infty} \Vert u \Vert^{\frac{1}{s}}_{H_{per}^s} \textrm{ exists} \}$.
The question is
Question 1: How can we find a precise characterization for $ \mathcal{U}_{per} $?, or a weaker version, for a appropriate subset of $ \mathcal{U}_{per} $?
The first guess strike us is
Question 2: $C^{\infty}_{per}[0,2\pi] \subseteq \mathcal{U}_{per} $ ?
Notice that $ \mathcal{U}_{per} \neq \emptyset $, $ u:= a_N e^{i N t} \in \mathcal{U}_{per} $.
Thoughts:
For $ f \in C^{\infty}_{per}[0,2\pi] $, its Fourier series could be termwise differentiated in any finite times. Then
$ \lim_{n \to \infty} n^k \hat f (n) \ \ \textrm{exists} \ \ \forall k \in \mathbb{N} $.
This provides decay rate of polynomial of abitrary finite order, which is not enough to validate
$ \lim_{k \to \infty} (\sum_{n \in \mathbb{Z}} (1+n^2)^k \hat f (n) )^{\frac{1}{k}} $
However, it inspires us to assume a more rapid decay rate. For this sake, we define
$ H_{a}^s(0,2\pi):= \{f \in L^2(0,2\pi): \sum_{n \in \mathbb{Z}} (1+n^2)^s e^{2a\vert n \vert} \vert \hat f(n) \vert^2 < +\infty \} $,
Now we notice that $ f \in H_{a}^s(0,2\pi) $ would possess Fourier coefficients of expotential decay rate. Would it induce that
$ H_{a}^s(0,2\pi) \subset \mathcal{U}_{per} $?
If any researcher could provide information on the $ H_{a}^s(0,2\pi) $?
Thanks in advance!
