**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!