Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

We put, $M(\mathbb R)= $The set of bounded complex Borel measure $\mu$ on $\mathbb R$ and for $\mu \in M(\mathbb R)$, we define $||\mu||:= |\mu| (\mathbb R) = \text {total variation of } \ \mu $; and $$B(\mathbb R) := \{f:\mathbb R \to \mathbb C : \exists \ \mu \in M(\mathbb R) \ \text {such that} \ f(y) = \hat{\mu}(y) \};$$ where, $\hat{\mu}(y)= \int_{\mathbb R} e^{-iyx} d\mu(y),$ and for $f\in B(\mathbb R)$, we define $$||f||=||\hat{\mu}||:= ||\mu||.$$

My Question : Put, $\mathbb T:= \{z\in \mathbb C : |z|=1 \}$ and suppose $f$ is function on the circle $\mathbb T$ and its Fourier series is absolutely convergent, that is, $\sum_{n\in \mathbb Z}|\hat{f}(n)|< \infty$; where, $\hat{f}(n)=\frac{1}{2\pi}\int_{-\pi}^{\pi} f(t) e^{-int} dt, \ (n\in \mathbb Z)$; , and it satisfies the property $f(e^{i\theta})=0$ for $\pi-\delta \leq \theta \leq \pi + \delta $; ($0<\delta < \pi $).

Define $F:\mathbb R \to \mathbb C$ such that $$F(x):= f(e^{ix})$$ for every $x\in \mathbb R$.

How to show that $F\in B(\mathbb R)$; and $||F||= \sum_{n\in \mathbb Z}|\hat{f}(n)|$.

Vague Attempt : To show $F\in B(\mathbb R)$, that is , by definition of $B(\mathbb R)$, I must show, there exists complex Borel $\mu$ on $\mathbb R$ such that, $$F(y)=\hat{\mu} (y)= \int_{\mathbb R} e^{-iyx} d\mu(x);$$ keeping this goal in mind, inversion formula suggests me that, I should take, $\mu $, such that, $ \int_{\mathbb R} e^{-iyx} d\mu(x) = \int_{\mathbb R} e^{-ixy} \hat{F}(y) dy $ ( the inversion formula valid provided $F, \hat{F} \in L^{1} (\mathbb R)$, and but here in our case this may not be the case and this may be the real difficulties); If this is the case, then I guess, we can define, $\mu (E)=\mu_{F} (E)= \int_{E} \hat{F} (y) dy $, for Borel set $E$ and also I guess, $||\mu||= ||\hat{F}||_{L^{1}(\mathbb R)}$; but I really don't see be any connection between $||F||$ and $\sum_{n\in \mathbb Z}|\hat{f}(n)|$;

Thanks,

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.