Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [fejer-kernel]

The tag has no usage guidance.

0
votes
1answer
26 views

Inversion theorem for Fourier Series

In section 8.4 of Folland's Real Analysis it's stated that if $f \in L^1(\mathbb{T}^n)$ has a Fourier series $\widehat f \in l^1(\mathbb{Z}^n)$, then the Fourier series $\sum_{\kappa} \widehat f(\...
0
votes
0answers
26 views

Bernstein Theorem on Banach Spaces

I've to do a presentation about a this Theorem, but during the study of it I found a lot of doubts, I will write it here down with the proof and doubts: Theorem: Let $P_n(z)$ be a trigonometric ...
0
votes
0answers
12 views

Why does this identity hold for Féjer Kernels?

I'm trying to read a proof for the existence of an $(\epsilon , \delta)$ approximation to the identity that is a trigonometric polynomial. For this, the Féjer Kernel is defined as $$F_N = \sum_{n = -N}...
0
votes
1answer
38 views

A question bout Fourier coefficients

Let $\{a_n\}_n\in\mathbb{Z}$ be a sequence of complex numbers and let $$p_n(e^{it})=\sum_{k=-n}^{n}(1-\frac{|k|}{n+1})a_ke^{ikt},\;\;\;\;(e^{it}\in\mathbb{T}).$$ Let $1\leq p\leq\infty$. Suppose that ...
1
vote
1answer
76 views

Regarding convolution of Fejér kernel with a Lipschitz function

Let $\mathbb{T}$ be the unit circle in the complex plane. The Lipschitz class of functions on $\mathbb{T}$ is defined here. And the Fejér kernel is defined here. If $f\in Lip_{\alpha}(\mathbb{T}),\, 0&...
2
votes
0answers
158 views

Prove Weierstrass Theorem using Fejer Theorem

Using the following theorem: The trigonometric polynomials ($\mathbb{C} \to \mathbb{C}$) are uniformly dense in $C(\mathbb{T})$ (functions $\mathbb{C} \to \mathbb{C}$ that are continuous and periodic ...
0
votes
1answer
53 views

Evaluation of convolutions by Fejér kernels have finite-dimentional range?

Consider $\mathbb{R}^N = (\mathbb{R}^N,\|\cdot\|_\infty)$ with $N\in\mathbb{N}$. Let $\mathrm{Lip}_0(\mathbb{R}^N, \mathbb{R})$, or just $\mathrm{Lip}_0(\mathbb{R}^N)$, be the Banach space of real-...
5
votes
1answer
289 views

Proof of Fejer's lemma

How does ont prove Fejer's lemma: If $f \in L^1(\mathbb{T})$ and $g\in L^\infty(\mathbb{T})$, then $\lim_{n \rightarrow \infty} \int f(t) g(nt) \, dt = \hat{f}(0)\hat{g}(0).$
2
votes
1answer
94 views

Real analysis and convergence versus $\int_0^1\sum_{n=1}^\infty x^2\mu(n)\frac{1-\cos(nx)}{n(1-\cos(x))}dx$, where $\mu(n)$ is the Möbius function

This morning I was playing (using Wolfram Alpha online calculator) with series involving the Möbius function $\mu(n)$ and the so-called Fejér kernel, see if you need it this Wikipedia. My conclusion ...
2
votes
1answer
196 views

Fejer's theorem for Fourier transforms of $L^1(\mathbb{R})$ functions

I know there is a version of Fejer's theorem stating:"If $f$ is a function in $L^1(\mathbb{(- \pi, \pi)})$ then its Fejer's sums converge to $f$ in $L^1$ norm". The question is: is this still true ...
1
vote
0answers
73 views

Is there a closed form for the “positive summands” of the fejer kernel?

I've come across the Fejer kernel $K_N(t) = \sum_{k = -N}^N (1- \frac{\vert k \vert}{N+1}) e^{ikt}$. Now, in my application, I only need the positive part, that is $K_n^{+}(t) =\sum_{k=0}^N (1- \frac{...
2
votes
2answers
483 views

How do I prove my Fejer kernel definition is equivalent?

In my notes, the definition of the Fejer kernel is $$ F_{n} = \sum_{j=-N}^{N} \left(1 - \frac{|j|}{N+1}\right) e^{ijt}. $$ But in most of the reference material I come across online, it is ...
2
votes
1answer
285 views

Bounding Derivative of Fejer Kernel

On pages $116-117$ of Stein and Shakarchi's Fourier Analysis book, there is a claim about the Fejer Kernel $$F_N(t) = \frac{1}{N} \frac{\sin^2(Nt/2)}{\sin^2(t/2)}$$ and the claim is $$|F_N'(t)| \...
1
vote
1answer
124 views

Prove an equality involving Fejer Kernel

Define $$V_n(\theta) = \sum_{k=-n-1}^{n+1} e^{in\theta} + \sum_{k=n+2}^{2n+1}\frac{2n+2-k}{n+1}(e^{ik\theta}+e^{-ik\theta})$$ I want to show that $$V_n(\theta) = 2K_{2n+1}(\theta) - K_n(\theta)$$ ...
1
vote
1answer
772 views

Properties of the Fejer kernel

The Fejer kernel $k_m : \mathbb{R} \to \mathbb{C}$ is defined by $k_m (t) = \frac{1}{2\pi (m+1)} \sum^m_{n=0} \sum^n _{k=-n} e^{ikt}$ One of the properties of the Fejer kernel is For any $\delta \...
6
votes
2answers
698 views

Poisson summation formula clarification regarding Fejer kernel

Define $$\mathbf{F}_R(t) = \begin{cases} R \left(\dfrac{\sin(\pi R t)}{\pi R t}\right)^2 & t \neq 0\\[10pt] R & t = 0 \end{cases} $$ A problem in Stein's Fourier Analysis asks ...
1
vote
2answers
136 views

Fejer Kernel is Unbounded

Statement: Given the Fejer Kernel $F_n(x) = \frac{1}{n}\bigg(\frac{\sin(\frac{nx}{2})}{\sin(\frac{x}{2})}\bigg)^2$. Show that $F_n(x)$ is unbounded for $x=0$ as $n\rightarrow \infty$
2
votes
2answers
658 views

Property of Fejer kernel

Let $$ F_n(x) = \frac{1}{n} \left( \frac{ \sin(\frac{1}{2} n x ) } { \sin(\frac{1}{2} x ) } \right)^2 $$ be the n-th Fejer-Kernel. Then $$ \forall \epsilon > 0, r < \pi : \exists N \in \...
5
votes
1answer
184 views

Fejer kernel applied to a measure

Let $\mu$ be a positive finite measure on $\mathbb R$. Is it true that $$\int_{\mathbb R} T \text{sinc}^2(Tx) d\mu(x) \sim\frac{\mu([-1/T,1/T])}{1/T}, \text{ as } T\to\infty?$$ Here $\text{sinc}(x)=\...