Physlib.Mathematics.Trigonometry.Tanh
12 declarations
The derivative of the real hyperbolic tangent function is given by for all .
is -times continuously differentiable
#contDiff_tanhFor any natural number , the hyperbolic tangent function is -times continuously differentiable.
The -th derivative of is a polynomial in
#iteratedDeriv_tanh_is_polynomial_of_tanhFor any natural number , there exists a polynomial with real coefficients such that for all , the -th derivative of the hyperbolic tangent function is given by .
Real Polynomials are Bounded on Closed Intervals
#polynomial_bounded_on_intervalFor any polynomial with real coefficients and any real numbers and , there exists a real constant such that for all in the closed interval , the absolute value of the polynomial evaluated at satisfies .
is Bounded on
#polynomial_tanh_boundedFor any polynomial with real coefficients, there exists a real constant such that for all real numbers , the absolute value of the polynomial evaluated at satisfies .
The -th derivative of is bounded on
#iteratedDeriv_tanh_boundedFor any natural number , there exists a real constant such that for all , the absolute value of the -th derivative of the hyperbolic tangent function satisfies .
The hyperbolic tangent function is infinitely continuously differentiable, meaning it is of class .
has temperate growth
#tanh_hasTemperateGrowthThe hyperbolic tangent function has temperate growth. In the context of Schwartz space theory, this implies that is a smooth function whose derivatives are all bounded by polynomials.
The -th derivative of is differentiable
#iteratedDeriv_tanh_differentiableFor any natural number , the -th derivative of the hyperbolic tangent function is differentiable on .
Norm of -th Fréchet derivative of scaled equals absolute value of its -th scalar derivative
#tanh_const_mul_iteratedDeriv_norm_eq_iteratedFDeriv_normFor any natural number , any real number , and a real constant , the norm of the -th Fréchet derivative of the function is equal to the absolute value of its -th scalar derivative at . That is, where denotes the -th Fréchet derivative and denotes the -th scalar derivative.
The -th derivative of is
#iteratedDeriv_tanh_const_mulFor any natural number , real constant , and real number , the -th derivative of the scaled hyperbolic tangent function is given by where denotes the -th derivative of the hyperbolic tangent function.
has temperate growth
#tanh_const_mul_hasTemperateGrowthFor any real constant , the function defined by has temperate growth. A function is said to have temperate growth (or is slowly increasing) if it is and each of its derivatives is bounded by a polynomial.
