ArcCot

Notations

Traditional name

Traditional notation

Mathematica StandardForm notation

Primary definition

Specific values

Values at fixed points

Values at infinities

General characteristics

Domain and analyticity

(cot^(-1))(z) is an analytical function of z, which is defined over the whole complex z-plane.

Symmetries and periodicities

Parity

(cot^(-1))(z) is an odd function.

Mirror symmetry

Periodicity

No periodicity

Poles and essential singularities

The function (cot^(-1))(z) has one singular point:
 z== (OverTilde[∞]) is the simple pole with residue -1.

Branch points

Branch cut endpoints

At z==0 two logarithmic branch points coincide in "different" directions: (cot^(-1))(z)∝(π/2)  (Sqrt[(1/(z^2))]) z+O(z)/;(z->0). This results in z==0 not being a branch point anymore; instead, two disconnected sheets arise.

Branch cuts

Analytic continuations

The analytic continuation of (cot^(-1)) has infinitely many sheets; the values of ((OverTilde[cot])^(-1)) are ((OverTilde[cot])^(-1))(z)=(cot^(-1))(z)+k π /;k∈ℤ.

Series representations

Generalized power series

Expansions at generic point z==(Subscript[z, 0])

Expansions on branch cuts

Expansions at z==0

Expansions at z==i

Expansions at z==-i

Expansions at z==∞

Residue representations

Integral representations

On the real axis

Of the direct function

Contour integral representations

Continued fraction representations

Differential equations

Ordinary linear differential equations and wronskians

For the direct function itself

Transformations

Transformations and argument simplifications

Argument involving basic arithmetic operations

Products, sums, and powers of the direct function

Sums of the direct function

Differences of the direct function

Linear combinations of the direct function

Related transformations

Sums involving the direct function

Differences involving the direct function

Linear combinations involving the direct function

Identities

Functional identities

Complex characteristics

Real part

Imaginary part

Absolute value

Argument

Conjugate value

Signum value

Differentiation

Low-order differentiation

Symbolic differentiation

Brychkov Yu.A. (2006)

Brychkov Yu.A. (2006)

Fractional integro-differentiation

Integration

Indefinite integration

For the direct function itself

Involving the direct function

Definite integration

For the direct function itself

Involving the direct function

Integral transforms

Inverse Laplace transforms

Summation

Infinite summation

Representations through more general functions

Through hypergeometric functions

Involving Hypergeometric2F1

Through Meijer G

Classical cases for the direct function itself

Generalized cases for the direct function itself

Through other functions

Involving inverse Jacobi functions

Involving some elliptic-type functions

Involving some hypergeometric-type functions

Representations through equivalent functions

With inverse function

Involving ArcCot[Cot[z]]

Involving Cot[ArcCot[z]]

Involving ArcCot[Tan[z]]

With related functions

Involving Log

Involving ArcSin

Involving ArcCos

Involving ArcTan

Involving ArcCsc

Involving ArcSec

Involving ArcSinh

Involving ArcCosh

Involving ArcTanh

Involving ArcCoth

Involving ArcCsch

Involving ArcSech

Inequalities

Theorems

Continued (cot^(-1))expansion

Every positive real number x can be expanded in the form x==cot((∑_(k=0)^∞)(((-1))^k)(cot^(-1))((Subscript[n, k]))). The (Subscript[n, k]) are given by the recursion (Subscript[ξ, 0])=x, (Subscript[n, 0])=⌊(Subscript[ξ, 0])⌋, (Subscript[ξ, k])=((Subscript[ξ, k-1])(Subscript[n, k-1])+1)/((Subscript[ξ, k-1])-(Subscript[n, k-1])), (Subscript[n, k])=⌊(Subscript[ξ, k])⌋.

History

The function (cot^(-1)) is encountered often in mathematics and the natural sciences.

Copyright