8f94cdccae1b5563.tex
1: \begin{definition}\label{def1.7}
2: Define the sets $\Lambda_n$ inductively as follows
3: \begin{equation}
4: \Lambda_0:=\bigcup\left\{ -C : C\mbox{ is an extreme $L$-cycle }\right\},\quad \Lambda_{n+1}:=R\Lambda_n+L,\quad(n\geq0),
5: \label{eq1.12}
6: \end{equation}
7: We let $\Lambda=\Lambda(L)$ be the set defined in Theorem \ref{thdj}.
8: 
9: Define the {\it Dirichlet kernel}
10: \begin{equation}
11: D_n(x):=\sum_{\lambda\in\Lambda_n}e^{2\pi i \lambda x},\quad(x\in\br).
12: \label{eq1.13}
13: \end{equation}
14: 
15: Given a function $f\in L^1(\mu)$, we define the partial Fourier series
16: \begin{equation}
17: s_n(f;x)=\sum_{\lambda\in\Lambda_n}\left(\int f(y)e^{-2\pi i\lambda y}\,d\mu(y)\right)\cdot e^{2\pi i\lambda x}=\int f(y)D_n(x-y)\,d\mu(y),\quad(x\in\br).
18: \label{eqsn}
19: \end{equation}
20: \end{definition}