The natural algorithmic approach of mixed trigonometric-polynomial problems

DOI10.1186/S13660-017-1392-1MaRDI QIDQ2012330zbMATH OpenOpenAlexWikidataFDO

Authors Tatjana Lutovac, Cristinel Mortici, Branko Malešević

Publication date 31 July 2017

Published in Journal of Inequalities and Applications (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1702.07911

zbMATH Keywords

algorithmsinequalitiesapproximationsautomated theorem provingTaylor seriesmixed trigonometric-polynomial functions

Mathematics Subject Classification ID

Trigonometric approximation (42A10) Series expansions (e.g., Taylor, Lidstone series, but not Fourier series) (41A58) Trigonometric polynomials, inequalities, extremal problems (42A05) Decidability and field theory (12L05) Inequalities for trigonometric functions and polynomials (26D05)

Abstract: The aim of this paper is to present a new algorithm for proving mixed trigonometric-polynomial inequalities by reducing to polynomial inequalities. Finally, we show the great applicability of this algorithm and as examples, we use it to analyze some new rational (Pade) approximations of the function $co{s}^2(x)$, and to improve a class of inequalities by Z.-H. Yang. The results of our analysis could be implemented by means of an automated proof assistant, so our work is a contribution to the library of automatic support tools for proving various analytic inequalities.

Recommendations

• Algorithms for trigonometric polynomials
• Direct polyhedral homotopy methods for solving mixed trigonometric polynomial systems
• A Hybrid Polynomial System Solving Method for Mixed Trigonometric Polynomial Systems
• Deterministic and random approximation by the combination of algebraic polynomials and trigonometric polynomials
• Algorithms for near solutions to polynomial equations
• scientific article; zbMATH DE number 6795672
• On some interval methods for algebraic, exponential and trigonometric polynomials
• A note on simultaneous rootfinding for algebraic, exponential, and trigonometric polynomials
• scientific article; zbMATH DE number 4009016
• A symmetric homotopy and hybrid polynomial system solving method for mixed trigonometric polynomial systems

Cites work

• scientific article; zbMATH DE number 3860434 (Why is no real title available?)
• scientific article; zbMATH DE number 3700811 (Why is no real title available?)
• scientific article; zbMATH DE number 486467 (Why is no real title available?)
• scientific article; zbMATH DE number 836627 (Why is no real title available?)
• scientific article; zbMATH DE number 6741937 (Why is no real title available?)
• scientific article; zbMATH DE number 3303654 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• A method for proving some inequalities on mixed trigonometric polynomial functions
• A new elementary proof of Wilker's inequalities
• A proof of an open problem of Yusuke Nishizawa for a power-exponential function
• A proof of two conjectures of Chao-Ping Chen for inverse trigonometric functions
• A symmetric homotopy and hybrid polynomial system solving method for mixed trigonometric polynomial systems
• Analytic Inequalities
• Analytic Number Theory, Approximation Theory, and Special Functions
• Certified Computer Algebra on Top of an Interactive Theorem Prover
• Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems
• Interpreting Gödel. Critical essays
• Introduction to algorithms.
• New approximations of some expressions involving trigonometric functions
• New sharp Jordan type inequalities and their application
• On Jordan type inequalities for hyperbolic functions
• Padé approximant related to remarkable inequalities involving trigonometric functions
• Proof assistants: history, ideas and future
• Sharp Wilker- and Huygens-type inequalities for inverse trigonometric and inverse hyperbolic functions
• Some notes on a method for proving inequalities by computer
• The Undecidability of the Existence of Zeros of Real Elementary Functions
• The natural approach of Wilker-Cusa-Huygens inequalities
• The natural approach of trigonometric inequalities - Padé approximant
• The removal of \pi from some undecidable problems involving elementary functions

Cited in

(40)

• About some exponential inequalities related to the sinc function
• On Frame's inequalities
• New approximation inequalities for circular functions
• Sharp generalized Papenfuss-Bach-type inequality
• Some improvements of Jordan-Stečkin and Becker-Stark inequalities
• Refinements of Huygens-Wilker-Lazarovic inequalities via the hyperbolic cosine polynomials
• The best possible constants approach for Wilker-Cusa-Huygens inequalities via stratification
• scientific article; zbMATH DE number 1841975 (Why is no real title available?)
• Double-Sided Taylor’s Approximations and Their Applications in Theory of Trigonometric Inequalities
• A two-point-Padé-approximant-based method for bounding some trigonometric functions
• Refinements and generalizations of some inequalities of Shafer-fink's type for the inverse sine function
• A Hybrid Polynomial System Solving Method for Mixed Trigonometric Polynomial Systems
• A new method for proving some inequalities related to several special functions
• Approximating trigonometric functions by using exponential inequalities
• A family of Wilker's inequalities in two parameters and its applications
• Simple efficient bounds for arcsine and arctangent functions
• Some new results of Mitrinović-Cusa's and related inequalities based on the interpolation and approximation method
• The relationship between Huygens’ and Wilker’s inequalities and further remarks
• Double-sided Taylor's approximations and their applications in theory of analytic inequalities
• New bounds of Wilker- and Huygens-type inequalities for inverse trigonometric functions
• Sharp inequalities of Mitrinovic-Adamovic type
• Error-functions in double-sided Taylor's approximations
• An unity of Mitrinovic-Adamovic and Cusa-Huygens inequalities and the analogue for hyperbolic functions
• Some new estimates of precision of Cusa-Huygens and Huygens approximations
• New Wilker-type and Huygens-type inequalities
• A method for proving some inequalities on mixed trigonometric polynomial functions
• A minimax approximant in the theory of analytic inequalities
• New double inequality of Masjed-Jamei-type
• Refined estimates and generalizations of inequalities related to the arctangent function and Shafer's inequality
• Generalized cosecant numbers and trigonometric inverse power sums
• Natural approximation of Masjed-Jamei's inequality
• Refining trigonometric inequalities by using Padé approximant
• Automated proof of mixed trigonometric-polynomial inequalities
• Wilker inequalities of exponential type for circular functions
• scientific article; zbMATH DE number 6795672 (Why is no real title available?)
• Sharpening and generalizations of Shafer-Fink and Wilker type inequalities: a new approach
• Generalizations and improvements of approximations of some analytic functions: a survey
• Fourier series method related to Wilker-Cusa-Huygens inequalities
• Extensions of the natural approach to refinements and generalizations of some trigonometric inequalities
• One method for proving some classes of exponential analytical inequalities

This page was built for publication: The natural algorithmic approach of mixed trigonometric-polynomial problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2012330)