Physlib

Physlib.Mathematics.Trigonometry.Tanh

Properties of Tanh

TODO

12 declarations

theorem

ddxtanh⁡x=1−tanh⁡2x\frac{d}{dx} \tanh x = 1 - \tanh^2 x

The derivative of the real hyperbolic tangent function tanh⁡\tanh is given by ddxtanh⁡x=1−tanh⁡2x\frac{d}{dx} \tanh x = 1 - \tanh^2 x for all x∈Rx \in \mathbb{R}.

theorem

tanh⁡\tanh is nn-times continuously differentiable

For any natural number nn, the hyperbolic tangent function tanh⁡:R→R\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

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

theorem

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

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(tanh⁡x)P(\tanh x) is Bounded on R\mathbb{R}

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 tanh⁡x\tanh x satisfies ∣P(tanh⁡x)∣≤C|P(\tanh x)| \le C.

theorem

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

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

theorem

tanh⁡\tanh is C∞C^\infty

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

theorem

tanh⁡\tanh has temperate growth

The hyperbolic tangent function tanh⁡:R→R\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

For any natural number nn, the nn-th derivative of the hyperbolic tangent function tanh⁡:R→R\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

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)

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

For any real constant κ\kappa, the function f:R→Rf: \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 C∞C^\infty and each of its derivatives is bounded by a polynomial.