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 | |||
ⓘ
|