BEAMS ON TENSIONLESS ELASTIC FOUNDATION: APPROXIMATE QUANTIFIER ELIMINATION WITH CHEBYSHEV SERIES

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 (symbolicnumerical) 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