Abstract
The well-known Sturm's theorem (based on Sturm's sequences) for the determination of the number of distinct real zeros of polynomials in a finite or infinite real interval has been already used in elementary quantifier elimination problems including applied mechanics and elasticity problems. Here it is further suggested that this theorem can also be used for quantifier elimination, but in more complicated problems where the functions involved are not simply polynomials, but they may contain arbitrary transcendental functions. In this case, it is suggested that the related transcendental equations/inequalities can be numerically approximated by polynomial equations/inequalities with the help of Chebyshev series expansions in numerical analysis. The classical problem of a straight isotropic elastic beam on a tensionless elastic foundation, where the deflection function (incorporating both the exponential function and trigonometric functions) should be continuously positive (this giving rise to a quantifier elimination problem along the length of the beam) is used as an appropriate vehicle for the illustration of the present mixed (symbolic–numerical) approach. Two such elementary beam problems are considered in some detail (with the help of the Maple V computer algebra system) and the related simple quantifier-free formulae are established and seen to coincide with those already available in the literature for the same beam problems. More complicated problems, probably necessitating the use of more advanced computer algebra techniques (together with Sturm's theorem), such as the Collins well-known and powerful cylindrical algebraic decomposition method for quantifier elimination, can also easily be employed in the present approximate (because of the use of Chebyshev series expansions) symbolic–numerical computational environment.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: International Journal for Numerical Methods in Engineering
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.