| 22.16.1 | |||
| , | |||
|
ⓘ
| |||
where the inverse sine has its principal value when and is defined by continuity elsewhere. See Figure 22.16.1. is an infinitely differentiable function of .
| 22.16.2 | |||
|
ⓘ
| |||
| 22.16.3 | |||
|
ⓘ
| |||
| 22.16.4 | ||||
|
ⓘ
| ||||
| 22.16.5 | ||||
|
ⓘ
| ||||
For the Gudermannian function see §4.23(viii).
| 22.16.6 | |||
|
ⓘ
| |||
| 22.16.7 | |||
|
ⓘ
| |||
| 22.16.8 | |||
|
ⓘ
| |||
With as in (22.2.1) and ,
| 22.16.9 | |||
|
ⓘ
| |||
If , then the following four equations are equivalent:
| 22.16.10 | |||
| 22.16.11 | |||
| 22.16.12 | |||
|
ⓘ
| |||
| 22.16.13 | |||
|
ⓘ
| |||
For see §19.2(ii).
For ,
| 22.16.14 | ||||||
|
ⓘ
| ||||||
| 22.16.15 | ||||
|
ⓘ
| ||||
| 22.16.16 | ||||
|
ⓘ
| ||||
| 22.16.17 | ||||
|
ⓘ
| ||||
In Equations (22.16.21)–(22.16.23),
In Equations (22.16.24)–(22.16.26), .
| 22.16.27 | |||
|
ⓘ
| |||
| 22.16.28 | |||
|
ⓘ
| |||
| 22.16.29 | |||
|
ⓘ
| |||
For see §19.2(ii).
| 22.16.30 | |||
|
ⓘ
| |||
| 22.16.31 | |||
| . | |||
|
ⓘ
| |||
With and as in §19.2(ii) and ,
| 22.16.32 | |||
|
ⓘ
| |||
See Figure 22.16.3. (Sometimes in the literature is denoted by .)
satisfies the same quasi-addition formula as the function , given by (22.16.27). Also,
| 22.16.33 | |||
|
ⓘ
| |||
| 22.16.34 | |||
|
ⓘ
| |||