Physlib.Mathematics.Trigonometry.Tanh
Properties of Tanh
TODO
12 declarations
The derivative of the real hyperbolic tangent function is given by for all .
is -times continuously differentiable
For any natural number , the hyperbolic tangent function is -times continuously differentiable.
The -th derivative of is a polynomial in
For 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
For 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
For 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
For 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 .
is
The hyperbolic tangent function is infinitely continuously differentiable, meaning it is of class .
has temperate growth
The 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
For 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
For 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
For 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
For 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.
