PhyslibSearch

Physlib.Mathematics.Trigonometry.Tanh

12 declarations

theorem

ddxtanhx=1tanh2x\frac{d}{dx} \tanh x = 1 - \tanh^2 x

#deriv_tanh

The derivative of the real hyperbolic tangent function tanh\tanh is given by ddxtanhx=1tanh2x\frac{d}{dx} \tanh x = 1 - \tanh^2 x for all xRx \in \mathbb{R}.

theorem

tanh\tanh is nn-times continuously differentiable

#contDiff_tanh

For any natural number nn, the hyperbolic tangent function tanh:RR\tanh: \mathbb{R} \to \mathbb{R} is nn-times continuously differentiable.

theorem

The nn-th derivative of tanh\tanh is a polynomial in tanh\tanh

#iteratedDeriv_tanh_is_polynomial_of_tanh

For any natural number nn, there exists a polynomial PP with real coefficients such that for all xRx \in \mathbb{R}, the nn-th derivative of the hyperbolic tangent function is given by dndxntanhx=P(tanhx)\frac{d^n}{dx^n} \tanh x = P(\tanh x).

theorem

Real Polynomials are Bounded on Closed Intervals [a,b][a, b]

#polynomial_bounded_on_interval

For any polynomial PP with real coefficients and any real numbers aa and bb, there exists a real constant MM such that for all xx in the closed interval [a,b][a, b], the absolute value of the polynomial evaluated at xx satisfies P(x)M|P(x)| \le M.

theorem

P(tanhx)P(\tanh x) is Bounded on R\mathbb{R}

#polynomial_tanh_bounded

For any polynomial PP with real coefficients, there exists a real constant CC such that for all real numbers xx, the absolute value of the polynomial evaluated at tanhx\tanh x satisfies P(tanhx)C|P(\tanh x)| \le C.

theorem

The nn-th derivative of tanhx\tanh x is bounded on R\mathbb{R}

#iteratedDeriv_tanh_bounded

For any natural number nn, there exists a real constant CC such that for all xRx \in \mathbb{R}, the absolute value of the nn-th derivative of the hyperbolic tangent function satisfies dndxntanhxC\left| \frac{d^n}{dx^n} \tanh x \right| \le C.

theorem

tanh\tanh is CC^\infty

#contDiff_top_tanh

The hyperbolic tangent function tanh:RR\tanh: \mathbb{R} \to \mathbb{R} is infinitely continuously differentiable, meaning it is of class CC^\infty.

theorem

tanh\tanh has temperate growth

#tanh_hasTemperateGrowth

The hyperbolic tangent function tanh:RR\tanh: \mathbb{R} \to \mathbb{R} has temperate growth. In the context of Schwartz space theory, this implies that tanh\tanh is a smooth function whose derivatives are all bounded by polynomials.

theorem

The nn-th derivative of tanh\tanh is differentiable

#iteratedDeriv_tanh_differentiable

For any natural number nn, the nn-th derivative of the hyperbolic tangent function tanh:RR\tanh: \mathbb{R} \to \mathbb{R} is differentiable on R\mathbb{R}.

theorem

Norm of nn-th Fréchet derivative of scaled tanh\tanh equals absolute value of its nn-th scalar derivative

#tanh_const_mul_iteratedDeriv_norm_eq_iteratedFDeriv_norm

For any natural number nn, any real number xx, and a real constant κ\kappa, the norm of the nn-th Fréchet derivative of the function f(x)=tanh(κx)f(x) = \tanh(\kappa x) is equal to the absolute value of its nn-th scalar derivative at xx. That is, Dn(tanh(κ))(x)=(tanh(κ))(n)(x)\| \text{D}^n (\tanh(\kappa \cdot))(x) \| = | (\tanh(\kappa \cdot))^{(n)}(x) | where Dn\text{D}^n denotes the nn-th Fréchet derivative and (n)^{(n)} denotes the nn-th scalar derivative.

theorem

The nn-th derivative of tanh(κx)\tanh(\kappa x) is κntanh(n)(κx)\kappa^n \tanh^{(n)}(\kappa x)

#iteratedDeriv_tanh_const_mul

For any natural number nn, real constant κ\kappa, and real number xx, the nn-th derivative of the scaled hyperbolic tangent function f(x)=tanh(κx)f(x) = \tanh(\kappa x) is given by dndxntanh(κx)=κntanh(n)(κx) \frac{d^n}{dx^n} \tanh(\kappa x) = \kappa^n \tanh^{(n)}(\kappa x) where tanh(n)\tanh^{(n)} denotes the nn-th derivative of the hyperbolic tangent function.

theorem

tanh(κx)\tanh(\kappa x) has temperate growth

#tanh_const_mul_hasTemperateGrowth

For any real constant κ\kappa, the function f:RRf: \mathbb{R} \to \mathbb{R} defined by f(x)=tanh(κx)f(x) = \tanh(\kappa x) has temperate growth. A function is said to have temperate growth (or is slowly increasing) if it is CC^\infty and each of its derivatives is bounded by a polynomial.