3
$\begingroup$

Hi, I need an estimation or an exact closed form expression for the following integral

$\int_{0}^{2\pi} K_N^4(s) ds $

where $K_N(s)= \frac{1}{N2\pi} (\frac{sin(Ns/2)}{sin(s/2)})^2$, the Fejer kernel.

I don't know how to obtain an estimation better than

$\int_{0}^{2\pi} K_N^4(s) ds < N^4$

Does anyone know a better estimation or some trigonometric tricks that can help me to improve my estimation?

Thanks in advance

Imma

$\endgroup$
3
  • 2
    $\begingroup$ I agree with Davide Giraudo, I think the Fejer kernel has a square, so you are either missing a square, or using the wrong name. Have you tried just expressing with complex exponentials and evaluating directly? Since you're raising a trig. polynomial to a positive integer power, it has an exact closed form expression, which may be easier to estimate. $\endgroup$
    – Zen Harper
    Jul 29, 2012 at 15:05
  • 1
    $\begingroup$ I agree with Davide and Zen that the question needs to be edited or clarified. Incidentally, what you claim to have is a bound on the 4th power of the L^4-norm, not the L^4-norm itself, so I think your title needs some minor corrections $\endgroup$
    – Yemon Choi
    Jul 29, 2012 at 18:03
  • 1
    $\begingroup$ For any given integer power of $K_N$ you can get an exact formula by expanding the exponential sum, though this gets tiresome past the first few cases. For any power, you get an easy upper bound from $K_N(s) < \min(N, 1/\sin(s/2)^2)$ [I assume that the factor of $1/2\pi$ should be applied to the integral, not to $K_N(s)$], and this should be within a small factor of the truth. $\endgroup$ Jul 29, 2012 at 23:43

1 Answer 1

8
$\begingroup$

$\displaystyle \int_0^{2\pi} K_N^4(s)\ ds = \frac{c_{N-1}}{8 \pi^3 N^4}$ where $c_n$ is the coefficient of $z^{4n}$ in $(1 + z + \ldots + z^n)^8$.

$c_n$ appears to have the closed form $$ c_n = \frac{\left( 315+1284 n + 2734 n^2+3300{n}^{3}+2335{n}^{4}+906{n}^{5} +151{n}^{6} \right) \left( n+1 \right)}{315} $$

It doesn't appear to be in the OEIS yet. Thus your integral is

$$ {\frac {45+49 {N}^{2}+ 70 N^4 + 151{N}^{6}}{2520 {N }^{3}{\pi }^{3}}} $$

$\endgroup$
1
  • $\begingroup$ It's exactly what I have been looking for......thank you!!!! $\endgroup$
    – Phoebe
    Jul 30, 2012 at 12:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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