Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial
Mixed trigonometric-polynomials (MTPs) are functions of the form f(x,sinx, cosx) with f∈ℚ[x_1,x_2,x_3]. In this paper, an algorithm “isolating" all the real roots of an MTP is provided and implemented. It automatically divides the real roots into two parts: one consists of finitely many “bounded" roots in an interval [μ_-,μ_+] while the other consists of probably countably many “periodic" roots in ℝ\[μ_-,μ_+]. For bounded roots, the algorithm returns isolating intervals and corresponding multiplicities while for periodic roots, it returns finitely many mutually disjoint small intervals I_i⊂[-π,π], integers c_i>0 and multisets of root multiplicity {m_j,i}_j=1^c_i such that any periodic root t>μ_+ is in the set (⊔_i∪_k∈ℕ(I_i+2kπ)) and any interval I_i+2kπ⊂(μ_+,∞) contains exactly c_i periodic roots with multiplicities m_1,i,...,m_c_i,i, respectively. The effectiveness and efficiency of the algorithm are shown by experiments. results indicate that the “distributions" of the roots of an MTP in the “periods" (-π,π]+2kπ sufficiently far from 0 share a same pattern. Besides, the method used to isolate the roots in [μ_-,μ_+] is applicable to any other bounded interval as well. The algorithm takes advantages of the weak Fourier sequence technique and deals with the intervals period-by-period without scaling the coordinate so to keep the length of the sequence short. The new approaches can easily be modified to decide whether there is any root, or whether there are infinitely many roots in unbounded intervals of the form (-∞,a) or (a,∞) with a∈ℚ.
READ FULL TEXT