In mathematics, the Gudermannian function relates a hyperbolic angle measure to a circular angle measure called the gudermannian of and denoted .[1] The Gudermannian function reveals a close relationship between the circular functions and hyperbolic functions. It was introduced in the 1760s by Johann Heinrich Lambert, and later named for Christoph Gudermann who also described the relationship between circular and hyperbolic functions in 1830.[2] The gudermannian is sometimes called the hyperbolic amplitude as a limiting case of the Jacobi elliptic amplitude when parameter

The Gudermannian function relates the area of a circular sector to the area of a hyperbolic sector, via a common stereographic projection. If twice the area of the blue hyperbolic sector is ψ, then twice the area of the red circular sector is ϕ = gd ψ. Twice the area of the purple triangle is the stereographic projection s = tan 1/2ϕ = tanh 1/2ψ. The blue point has coordinates (cosh ψ, sinh ψ). The red point has coordinates (cos ϕ, sin ϕ). The purple point has coordinates (0, s).
Graph of the Gudermannian function.
Graph of the inverse Gudermannian function.

The real Gudermannian function is typically defined for to be the integral of the hyperbolic secant[3]

The real inverse Gudermannian function can be defined for as the integral of the (circular) secant

The hyperbolic angle measure is called the anti-gudermannian of or sometimes the lambertian of , denoted [4] In the context of geodesy and navigation for latitude , (scaled by arbitrary constant ) was historically called the meridional part of (French: latitude croissante). It is the vertical coordinate of the Mercator projection.

The two angle measures and are related by a common stereographic projection

and this identity can serve as an alternative definition for and valid throughout the complex plane:

Circular–hyperbolic identities edit

We can evaluate the integral of the hyperbolic secant using the stereographic projection (hyperbolic half-tangent) as a change of variables:[5]

 

Letting   and   we can derive a number of identities between hyperbolic functions of   and circular functions of  [6]

 
Identities related to the Gudermannian function represented graphically.
 

These are commonly used as expressions for   and   for real values of   and   with   For example, the numerically well-behaved formulas

 

(Note, for   and for complex arguments, care must be taken choosing branches of the inverse functions.)[7]

We can also express   and   in terms of  

 

If we expand   and   in terms of the exponential, then we can see that     and   are all Möbius transformations of each-other (specifically, rotations of the Riemann sphere):

 

For real values of   and   with  , these Möbius transformations can be written in terms of trigonometric functions in several ways,

 

These give further expressions for   and   for real arguments with   For example,[8]

 

Complex values edit

 
The Gudermannian function z ↦ gd z is a conformal map from an infinite strip to an infinite strip. It can be broken into two parts: a map z ↦ tanh 1/2z from one infinite strip to the complex unit disk and a map ζ ↦ 2 arctan ζ from the disk to the other infinite strip.

As a functions of a complex variable,   conformally maps the infinite strip   to the infinite strip   while   conformally maps the infinite strip   to the infinite strip  

Analytically continued by reflections to the whole complex plane,   is a periodic function of period   which sends any infinite strip of "height"   onto the strip   Likewise, extended to the whole complex plane,   is a periodic function of period   which sends any infinite strip of "width"   onto the strip  [9] For all points in the complex plane, these functions can be correctly written as:

 

For the   and   functions to remain invertible with these extended domains, we might consider each to be a multivalued function (perhaps   and  , with   and   the principal branch) or consider their domains and codomains as Riemann surfaces.

If   then the real and imaginary components   and   can be found by:[10]

 

(In practical implementation, make sure to use the 2-argument arctangent,  .)

Likewise, if   then components   and   can be found by:[11]

 

Multiplying these together reveals the additional identity[8]

 

Symmetries edit

The two functions can be thought of as rotations or reflections of each-other, with a similar relationship as   between sine and hyperbolic sine:[12]

 

The functions are both odd and they commute with complex conjugation. That is, a reflection across the real or imaginary axis in the domain results in the same reflection in the codomain:

 

The functions are periodic, with periods   and  :

 

A translation in the domain of   by   results in a half-turn rotation and translation in the codomain by one of   and vice versa for  [13]

 

A reflection in the domain of   across either of the lines   results in a reflection in the codomain across one of the lines   and vice versa for  

 

This is related to the identity

 

Specific values edit

A few specific values (where   indicates the limit at one end of the infinite strip):[14]

 

Derivatives edit

As the Gudermannian and inverse Gudermannian functions can be defined as the antiderivatives of the hyperbolic secant and circular secant functions, respectively, their derivatives are those secant functions:

 

Argument-addition identities edit

By combining hyperbolic and circular argument-addition identities,

 

with the circular–hyperbolic identity,

 

we have the Gudermannian argument-addition identities:

 

Further argument-addition identities can be written in terms of other circular functions,[15] but they require greater care in choosing branches in inverse functions. Notably,

 

which can be used to derive the per-component computation for the complex Gudermannian and inverse Gudermannian.[16]

In the specific case   double-argument identities are

 

Taylor series edit

The Taylor series near zero, valid for complex values   with   are[17]

 

where the numbers   are the Euler secant numbers, 1, 0, -1, 0, 5, 0, -61, 0, 1385 ... (sequences A122045, A000364, and A028296 in the OEIS). These series were first computed by James Gregory in 1671.[18]

Because the Gudermannian and inverse Gudermannian functions are the integrals of the hyperbolic secant and secant functions, the numerators   and   are same as the numerators of the Taylor series for sech and sec, respectively, but shifted by one place.

The reduced unsigned numerators are 1, 1, 1, 61, 277, ... and the reduced denominators are 1, 6, 24, 5040, 72576, ... (sequences A091912 and A136606 in the OEIS).

History edit

The function and its inverse are related to the Mercator projection. The vertical coordinate in the Mercator projection is called isometric latitude, and is often denoted   In terms of latitude   on the sphere (expressed in radians) the isometric latitude can be written

 

The inverse from the isometric latitude to spherical latitude is   (Note: on an ellipsoid of revolution, the relation between geodetic latitude and isometric latitude is slightly more complicated.)

Gerardus Mercator plotted his celebrated map in 1569, but the precise method of construction was not revealed. In 1599, Edward Wright described a method for constructing a Mercator projection numerically from trigonometric tables, but did not produce a closed formula. The closed formula was published in 1668 by James Gregory.

The Gudermannian function per se was introduced by Johann Heinrich Lambert in the 1760s at the same time as the hyperbolic functions. He called it the "transcendent angle", and it went by various names until 1862 when Arthur Cayley suggested it be given its current name as a tribute to Christoph Gudermann's work in the 1830s on the theory of special functions.[19] Gudermann had published articles in Crelle's Journal that were later collected in a book[20] which expounded   and   to a wide audience (although represented by the symbols   and  ).

The notation   was introduced by Cayley who starts by calling   the Jacobi elliptic amplitude   in the degenerate case where the elliptic modulus is   so that   reduces to  [21] This is the inverse of the integral of the secant function. Using Cayley's notation,

 

He then derives "the definition of the transcendent",

 

observing that "although exhibited in an imaginary form, [it] is a real function of  ".

The Gudermannian and its inverse were used to make trigonometric tables of circular functions also function as tables of hyperbolic functions. Given a hyperbolic angle  , hyperbolic functions could be found by first looking up   in a Gudermannian table and then looking up the appropriate circular function of  , or by directly locating   in an auxiliary   column of the trigonometric table.[22]

Generalization edit

The Gudermannian function can be thought of mapping points on one branch of a hyperbola to points on a semicircle. Points on one sheet of an n-dimensional hyperboloid of two sheets can be likewise mapped onto a n-dimensional hemisphere via stereographic projection. The hemisphere model of hyperbolic space uses such a map to represent hyperbolic space.

Applications edit

 
Distance in the Poincaré half-plane model of the hyperbolic plane from the apex of a semicircle to another point on it is the inverse Gudermannian function of the central angle.

See also edit

Notes edit

  1. ^ The symbols   and   were chosen for this article because they are commonly used in geodesy for the isometric latitude (vertical coordinate of the Mercator projection) and geodetic latitude, respectively, and geodesy/cartography was the original context for the study of the Gudermannian and inverse Gudermannian functions.
  2. ^ Gudermann published several papers about the trigonometric and hyperbolic functions in Crelle's Journal in 1830–1831. These were collected in a book, Gudermann (1833).
  3. ^ Roy & Olver (2010) §4.23(viii) "Gudermannian Function"; Beyer (1987)
  4. ^ Kennelly (1929); Lee (1976)
  5. ^ Masson (2021)
  6. ^ Gottschalk (2003) pp. 23–27
  7. ^ Masson (2021) draws complex-valued plots of several of these, demonstrating that naïve implementations that choose the principal branch of inverse trigonometric functions yield incorrect results.
  8. ^ a b Weisstein, Eric W. "Gudermannian". MathWorld.
  9. ^ Kennelly (1929)
  10. ^ Kennelly (1929) p. 181; Beyer (1987) p. 269
  11. ^ Beyer (1987) p. 269 – note the typo.
  12. ^ Legendre (1817) §4.2.8(163) pp. 144–145
  13. ^ Kennelly (1929) p. 182
  14. ^ Kahlig & Reich (2013)
  15. ^ Cayley (1862) p. 21
  16. ^ Kennelly (1929) pp. 180–183
  17. ^ Legendre (1817) §4.2.7(162) pp. 143–144
  18. ^ Turnbull, Herbert Westren, ed. (1939). James Gregory; Tercentenary Memorial Volume. G. Bell & Sons. p. 170.
  19. ^ Becker & Van Orstrand (1909)
  20. ^ Gudermann (1833)
  21. ^ Cayley (1862)
  22. ^ For example Hoüel labels the hyperbolic functions across the top in Table XIV of: Hoüel, Guillaume Jules (1885). Recueil de formules et de tables numériques. Gauthier-Villars. p. 36.
  23. ^ Osborne (2013) p. 74
  24. ^ Robertson (1997)
  25. ^ Good, Anderson & Evans (2013)
  26. ^ Kennelly (1928)
  27. ^ Ringermacher & Mead (2009)

References edit

External links edit