Monotonie funkcí vyjádřitelných pomocí elementárních funkcí

Abstract

U určitých typů funkcí daných vzorci (ekvivalentně: funkcí ze tříd uzavřených na aritmetické operace) jsme za uvedených předpokladů dokázali monotonii na nějakých okolích +∞. Jsou to: vzorce s exp, log, sin, arctg apod. s omezením na definiční obory těchto funkcí; mocninné řady s kokonečně mnoha koeficienty kladnými; různé třídy funkcí dané vzorci s požadavkem zachování takové mono- tonie při sčítání, nebo při násobení, nebo monotonie plynoucí z konečného počtu nulových bodů; a nakonec vzorce s druhou odmocninou. 1

For certain types of functions expressible with formula (equivalently: functions from classes closed to arithmetic operations) under stated assumptions, we prove monotonicity at some neighbourhood of +∞. They are: formulas containing exp, log, sin, arctan, etc. with constrainted domain of these functions; power series with cofinite many coefficients positive; various classes of functions expressible with formulas with the requirement of preserving monotony in summation, or multiplication, or the monotony resulting from having a finite number of zero points; and finally formulas with square root. 1