2
$\begingroup$

I am interested in Fourier series with a non-uniformly weighted error norm. What I mean by this is that the usual Fourier series of a periodic function is a minimizer of the mean squared error: $$ J_N = \int_{0}^{2\pi} \left| f(x) - \tilde{f}_N (x) \right|^2 w(x) dx $$ where $w(x) = 1$, $f$ is the original function and $\tilde{f}$ is its Fourier series truncated to the lowest $N$ terms in frequency. I vaguely recall from analysis that the Fourier series is the unique minimizer in some sense and under certain conditions (in what sense and under what conditions?). I'm interested in the case when $w(x)$ is not a constant; is there a way to compute the Fourier series coefficients in such a case? What can be said about convergence? If this problem has been studied before, I have no idea what to search for.

Edit: By $\tilde{f}_N$ I mean the truncated Fourier series: $$ \tilde{f}_N = \sum_{k=-N}^N a_k e^{i kx} $$ where $a_k$ are just the Fourier series coefficients of $f$: $$ a_k = \int_0^{2\pi} f(x) e^{-ikx} dx $$ I am looking for a "solution" that has the same form as $\tilde{f}_N$ except with different coefficients (say, $b_k$ instead of $a_k$) that minimizes the weighted mean square error for a given $N$. I would like a way to compute $b_k$.

$\endgroup$
  • $\begingroup$ It is indeed a common problem in approximation theory. However, you should give some conditions on $\tilde{f}_N$. What is it? Do you want it to be a trigonometric polynomial of degree $N$, like in the ordinary theory of Fourier series? (PS The problem might be common, but I do not know the explicit solution, unfortunately) $\endgroup$ – Giuseppe Negro Apr 10 '14 at 17:39
1
$\begingroup$

You operate within the weighted Lebesgue space $L^2_w$, within which resides the $(N+1)$-dimensional subspace $M$ spanned by $\{e^{ikx} : |k|\le N\}$. The function $\widetilde {f_N}$ that you want is the orthogonal projection of $f$ onto $M$. This means you are looking for coefficients $c_k$ such that $$\left< \sum_{k=-N}^N c_k e^{ikx} , e^{ikx} \right> = \langle {f}, e^{ikx} \rangle,\quad |k|\le N \tag{2} $$ This is a linear system for $c_k$. Its matrix is the Gramian matrix of $e^{ikx}$, and as such is positive definite. Use any linear solver that takes advantage of this structure.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Ok, the problem is I need $g_k$ to be the usual $e^{ikx}$. Basically, I need to use the Fourier basis, but I'm hoping that a modification of the coefficients can coerce the sum to minimize the weighted norm. $\endgroup$ – Victor Liu Apr 11 '14 at 4:52
  • $\begingroup$ @VictorLiu Updated answer. $\endgroup$ – user127096 Apr 11 '14 at 14:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.