Given a function $$f(x) = \sum_{k=0}^N a_k\ \sin(k\pi x)$$ defined over the region $S = [0, 1]$, is there some way to check if $f(x) \geq 0$ for all $x \in S$ using the coefficients $\{ a_k;\ k \leq N \}$? In particular, I was hoping there'd some inequality involving the coefficients that'll enable us to check this quickly.

  • $\begingroup$ I'm not sure in general, but without at least some assumption of continuity, it's certainly not possible; you can see this by changing $f$ on some set of 0 measure (like say a point). $\endgroup$ – anonymous Jan 13 '13 at 14:16
  • 2
    $\begingroup$ Positivity of polynomials, both algebraic and trigonometric, is not easy to determine. There's a book on this subject. // @anonymous The function is explicitly written as a trigonometric polynomial. $\endgroup$ – user53153 Jan 13 '13 at 16:09

I do know a few cases in which positivity can be proved. For instance if for each $k$, $a_k \gt 2 a_{k+1}$. A more general situation in which positivity holds is if for some $s \in (0,1)$ one can write $a_k=c_k s^k$ where $c_k-(1+s)c_{k+1}+s c_{k+2} \gt 0$.

| cite | improve this answer | |
  • $\begingroup$ Thanks for the answer, do you know how I can prove this? Can you please point me to some source? I am interested in similar inequalities for general combinations of basis functions, e.g., eigenfunctions of certain partial differential equations. $\endgroup$ – pratikac Mar 4 '14 at 19:09

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.