Trigonometric polynomial

In the mathematical subfields of numerical analysis and mathematical analysis, a trigonometric polynomial is a finite linear combination of functions sin(nx) and cos(nx) with n taking on the values of one or more natural numbers. The coefficients may be taken as real numbers, for real-valued functions. For complex coefficients, there is no difference between such a function and a finite Fourier series.

Trigonometric polynomials are widely used, for example in trigonometric interpolation applied to the interpolation of periodic functions. They are used also in the discrete Fourier transform.

The term trigonometric polynomial for the real-valued case can be seen as using the analogy: the functions sin(nx) and cos(nx) are similar to the monomial basis for polynomials. In the complex case the trigonometric polynomials are spanned by the positive and negative powers of ${\displaystyle e^{ix}}$, i.e., Laurent polynomials in ${\displaystyle z}$ under the change of variables ${\displaystyle x\mapsto z:=e^{ix}}$.

Definition

Any function T of the form

$${\displaystyle T(x)=a_{0}+\sum _{n=1}^{N}a_{n}\cos(nx)+\sum _{n=1}^{N}b_{n}\sin(nx)\qquad (x\in \mathbb {R} )}$$

with coefficients ${\displaystyle a_{n},b_{n}\in \mathbb {C} }$ and at least one of the highest-degree coefficients ${\displaystyle a_{N}}$ and ${\displaystyle b_{N}}$ non-zero, is called a complex trigonometric polynomial of degree N. ^[1] Using Euler's formula the polynomial can be rewritten as

$${\displaystyle T(x)=\sum _{n=-N}^{N}c_{n}e^{inx}\qquad (x\in \mathbb {R} ).}$$ with ${\displaystyle c_{n}\in \mathbb {C} }$.

Analogously, letting coefficients ${\displaystyle a_{n},b_{n}\in \mathbb {R} }$, and at least one of ${\displaystyle a_{N}}$ and ${\displaystyle b_{N}}$ non-zero or, equivalently, ${\displaystyle c_{n}\in \mathbb {R} }$ and ${\displaystyle c_{n}={\bar {c}}_{-n}}$ for all ${\displaystyle n\in [-N,N]}$, then

$${\displaystyle t(x)=a_{0}+\sum _{n=1}^{N}a_{n}\cos(nx)+\sum _{n=1}^{N}b_{n}\sin(nx)\qquad (x\in \mathbb {R} )}$$

is called a real trigonometric polynomial of degree N. ^{[2] [3]}

Properties

A trigonometric polynomial can be considered a periodic function on the real line, with period some divisor of ⁠${\displaystyle 2\pi }$⁠, or as a function on the unit circle.

Trigonometric polynomials are dense in the space of continuous functions on the unit circle, with the uniform norm; ^[4] this is a special case of the Stone–Weierstrass theorem. More concretely, for every continuous function ⁠${\displaystyle f}$⁠ and every ⁠${\displaystyle \epsilon >0}$⁠ there exists a trigonometric polynomial ⁠${\displaystyle T}$⁠ such that ${\displaystyle |f(z)-T(z)|<\epsilon }$ for all ⁠${\displaystyle z}$⁠. Fejér's theorem states that the arithmetic means of the partial sums of the Fourier series of ⁠${\displaystyle f}$⁠ converge uniformly to ⁠${\displaystyle f}$⁠ provided ⁠${\displaystyle f}$⁠ is continuous on the circle; these partial sums can be used to approximate ⁠${\displaystyle f}$⁠.

A trigonometric polynomial of degree ⁠${\displaystyle N}$⁠ has a maximum of ⁠${\displaystyle 2N}$⁠ roots in a real interval ⁠${\displaystyle [a,a+2\pi )}$⁠ unless it is the zero function. ^[5]

Fejér-Riesz theorem

The Fejér-Riesz theorem states that every positive real trigonometric polynomial $${\displaystyle t(x)=\sum _{n=-N}^{N}c_{n}e^{inx},}$$ satisfying ${\displaystyle t(x)>0}$ for all ${\displaystyle x\in \mathbb {R} }$, can be represented as the square of the modulus of another (usually complex) trigonometric polynomial ${\displaystyle q(x)}$ such that: ^[6] $${\displaystyle t(x)=|q(x)|^{2}=q(x){\bar {q}}(x).}$$ Or, equivalently, every Laurent polynomial $${\displaystyle w(z)=\sum _{n=-N}^{N}w_{n}z^{n},}$$ with ${\displaystyle w_{n}\in \mathbb {C} }$ that satisfies ${\displaystyle w(\zeta )\geq 0}$ for all ${\displaystyle \zeta \in \mathbb {T} }$ can be written as: $${\displaystyle w(\zeta )=|p(\zeta )|^{2}=p(\zeta ){\bar {p}}({\bar {\zeta }}),}$$ for some polynomial ${\displaystyle p(z)}$. ^[7]

Notes

1. Rudin 1987 , p. 88
2. Powell 1981, p. 150.
3. Hussen & Zeyani 2021.
4. Rudin 1987 , Thm 4.25
5. Powell 1981 , p. 150
6. Riesz & Szőkefalvi-Nagy 1990, p. 117.
7. Dritschel & Rovnyak 2010, pp. 223–254.

References

• Dritschel, Michael A.; Rovnyak, James (2010). "The Operator Fejér-Riesz Theorem". A Glimpse at Hilbert Space Operators. Basel: Springer Basel. doi:10.1007/978-3-0346-0347-8_14. ISBN   978-3-0346-0346-1.
• Hussen, Abdulmtalb; Zeyani, Abdelbaset (2021). "Fejer-Riesz Theorem and Its Generalization". International Journal of Scientific and Research Publications (IJSRP). 11 (6): 286–292. doi:10.29322/IJSRP.11.06.2021.p11437.
• Powell, Michael J. D. (1981), Approximation Theory and Methods, Cambridge University Press, ISBN   978-0-521-29514-7
• Riesz, Frigyes; Szőkefalvi-Nagy, Béla (1990). Functional analysis. New York: Dover Publications. ISBN   978-0-486-66289-3.
• Rudin, Walter (1987), Real and complex analysis (3rd ed.), New York: McGraw-Hill, ISBN   978-0-07-054234-1, MR   0924157 .

See also

• Trigonometric series
• Quasi-polynomial
• Exponential polynomial