Automated Proof of Mixed Trigonometric-polynomial Inequalities in the Unbounded Case

2022/03/24 by Shiping Chen, Chen, Shiping, Xinyu Ge +1
Computer Science · Mathematics · #FOS: Mathematics #General Mathematics (math.GM) #Iterative Methods for Nonlinear Equations #Mathematical functions and polynomials #Numerical Methods and Algorithms

paper · pdf · doi:10.48550/arxiv.2204.01481

openalex publication_date 2022/03/24 · openalex created_date 2022/05/05 · openalex updated_date 2026/07/28

Abstract

Mixed trigonometric-polynomials frequently occur in applications in physics, numerical analysis and engineering, the algorithm has been already proposed to determine its sign on (0,pi/2]. This paper proposes a procedure to extend the interval to (0, +inf). Such generalization is by no means trivial, for the process depends on boundedness of roots and square-free factorization of mixed trigonometric-polynomials.

Related

• Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial
• Lower bounds on the measure of the support of positive and negative parts of trigonometric polynomials
• Nonnegative Trigonometric Polynomials and Sturms Theorem
• Nonnegative Trigonometric Polynomials, Sturms Theorem, and Symbolic Computation
• A note on trigonometric polynomials for lower bounds of ζ(s)