Return to Question

Notations:

$ H_{per}^s(0,2\pi):= \{f \in L^2(0,2\pi): \sum_{n \in \mathbb{Z}} (1+k^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: $C^{\infty}_{per}[0,2\pi] \subseteq \mathcal{U}_{per} $ ?

Notice that $ \mathcal{U}_{per} \neq \emptyset $, $ u:= a_N \cos N t \in \mathcal{U}_{per} $.

Personal thoughts:

I find a subtle place. 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} $.

Now, can it yields that $ \lim_{s\to +\infty} \Vert u \Vert^{\frac{1}{s}}_{H_{per}^s} $ exists? That is,

$ \lim_{k \to \infty} (\sum_{n \in \mathbb{Z}} (1+n^2)^k \hat f (n) )^{\frac{1}{k}} \textrm{exists}$ ?

Now we can observe from above formula that decay rate of polynomial of any finite order for Fourier coefficients $ \hat f(n) $ is not enough. Whether can we develop some kind of decay rate in a transcendent sense?

Thanks in advance!

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!

Notations:

$ H_{per}^s(0,2\pi):= \{f \in L^2(0,2\pi): \sum_{n \in \mathbb{Z}} (1+k^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: $C^{\infty}_{per}[0,2\pi] \subseteq \mathcal{U}_{per} $ ?

Notice that $ \mathcal{U}_{per} \neq \emptyset $, $ u:= a_N \cos N t \in \mathcal{U}_{per} $.

Personal Opinions:

I find a subtle place. 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} $.

Now, can it yields that $ \lim_{s\to +\infty} \Vert u \Vert^{\frac{1}{s}}_{H_{per}^s} $ exists? That is,

$ \lim_{k \to \infty} (\sum_{n \in \mathbb{Z}} (1+n^2)^k \hat f (n) )^{\frac{1}{k}} \textrm{exists}$ ?

Now we can observe from above formula that decay rate of polynomial of any finite order for Fourier coefficients $ \hat f(n) $ is not enough. Whether can we develop some kind of decay rate in a transcendent sense?

Thanks in advance! Any references and comments would be welcome.

** I am fresh in Sobolev spaces. If above question is completely trivial and not suit the level of MO, please let me know and I will close this question in time .**

Notations:

$ H_{per}^s(0,2\pi):= \{f \in L^2(0,2\pi): \sum_{n \in \mathbb{Z}} (1+k^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: $C^{\infty}_{per}[0,2\pi] \subseteq \mathcal{U}_{per} $ ?

Notice that $ \mathcal{U}_{per} \neq \emptyset $, $ u:= a_N \cos N t \in \mathcal{U}_{per} $.

Personal thoughts:

I find a subtle place. 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} $.

Now, can it yields that $ \lim_{s\to +\infty} \Vert u \Vert^{\frac{1}{s}}_{H_{per}^s} $ exists? That is,

$ \lim_{k \to \infty} (\sum_{n \in \mathbb{Z}} (1+n^2)^k \hat f (n) )^{\frac{1}{k}} \textrm{exists}$ ?

Now we can observe from above formula that decay rate of polynomial of any finite order for Fourier coefficients $ \hat f(n) $ is not enough. Whether can we develop some kind of decay rate in a transcendent sense?

Thanks in advance!

Notations:

$ H_{per}^s(0,2\pi):= \{f \in L^2(0,2\pi): \sum_{n \in \mathbb{Z}} \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: $C^{\infty}_{per}[0,2\pi] \subseteq \mathcal{U}_{per} $ ?

Notice that $ \mathcal{U}_{per} \neq \emptyset $, $ u:= a_N \cos N t \in \mathcal{U}_{per} $.

Personal Opinions:

I find a subtle place. 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} $.

Now, can it yields that $ \lim_{s\to +\infty} \Vert u \Vert^{\frac{1}{s}}_{H_{per}^s} $ exists? That is,

$ \lim_{k \to \infty} (\sum_{n \in \mathbb{Z}} (1+n^2)^k \hat f (n) )^{\frac{1}{k}} \textrm{exists}$ ?

Now we can observe from above formula that decay rate of polynomial of any finite order for Fourier coefficients $ \hat f(n) $ is not enough. Whether can we develop some kind of decay rate in a transcendent sense?

Thanks in advance! Any references and comments would be welcome.

** I am fresh in Sobolev spaces. If above question is completely trivial and not suit the level of MO, please let me know and I will close this question in time .**

Notations:

$ H_{per}^s(0,2\pi):= \{f \in L^2(0,2\pi): \sum_{n \in \mathbb{Z}} (1+k^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: $C^{\infty}_{per}[0,2\pi] \subseteq \mathcal{U}_{per} $ ?

Notice that $ \mathcal{U}_{per} \neq \emptyset $, $ u:= a_N \cos N t \in \mathcal{U}_{per} $.

Personal Opinions:

I find a subtle place. 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} $.

Now, can it yields that $ \lim_{s\to +\infty} \Vert u \Vert^{\frac{1}{s}}_{H_{per}^s} $ exists? That is,

$ \lim_{k \to \infty} (\sum_{n \in \mathbb{Z}} (1+n^2)^k \hat f (n) )^{\frac{1}{k}} \textrm{exists}$ ?

Now we can observe from above formula that decay rate of polynomial of any finite order for Fourier coefficients $ \hat f(n) $ is not enough. Whether can we develop some kind of decay rate in a transcendent sense?

Thanks in advance! Any references and comments would be welcome.

** I am fresh in Sobolev spaces. If above question is completely trivial and not suit the level of MO, please let me know and I will close this question in time .**