`casinh`, `casinhf`, `casinhl` — 복소수 아크쌍곡선 사인

쌍곡선 사인의 역함수를 복소수로 확장하면, 실수 사인과 casinh(z) = asin(iz)/i 같은 관계가 드러나요. 이름에서 '아크'라는 표현은 다소 어긋나지만 표준이 그렇게 부르니 그대로 두고, 정확한 의미까지 함께 살펴볼게요.

출처: cppreference — casinh

본문

casinh 계열 함수는 허수축을 따라 구간 [−i; +i] 바깥에 가지 자름을 두고, 복소수 z의 복소 아크쌍곡선 사인을 계산해요.

float complex       casinhf( float complex z );        // (1)  (since C99)
double complex      casinh( double complex z );        // (2)  (since C99)
long double complex casinhl( long double complex z );  // (3)  (since C99)

// Defined in header <tgmath.h>
#define asinh( z )                                     // (4)  (since C99)

1-3) 허수축을 따라 구간 [−i; +i] 바깥에서 가지 자름을 갖는 z의 복소 아크쌍곡선 사인을 계산해요. 4) 타입 제네릭 매크로예요. z가 long double complex면 casinhl, double complex면 casinh, float complex면 casinhf가 호출돼요. z가 실수·정수면 대응하는 실수 함수(asinhf, asinh, asinhl)를 호출해요. z가 허수면 asin의 실수 버전을 호출해 공식 asinh(iy) = i·asin(y)을 구현하고, 반환 타입은 허수예요.

매개변수

매개변수	설명
`z`	복소수 인자

반환값

오류가 없으면 z의 복소 아크쌍곡선 사인을 반환하는데, 수학적으로 실수축 방향으로 무한히 뻗은 띠이면서 허수축 방향으로는 구간 [−iπ/2; +iπ/2] 안쪽이에요.

오류 처리와 특수 값

오류는 math_errhandling에 따라 보고돼요. 구현이 IEEE 부동소수점 산술을 지원한다면 다음 규칙이 적용돼요.

casinh(conj(z)) == conj(casinh(z))
casinh(-z) == -casinh(z)
z가 +0+0i → 결과는 +0+0i
z가 x+∞i(양의 유한 x) → 결과는 +∞+π/2
z가 x+NaNi(임의의 유한 x) → 결과는 NaN+NaNi, FE_INVALID 발생 가능
z가 +∞+yi(양의 유한 y) → 결과는 +∞+0i
z가 +∞+∞i → 결과는 +∞+iπ/4
z가 +∞+NaNi → 결과는 +∞+NaNi
z가 NaN+0i → 결과는 NaN+0i
z가 NaN+yi(0이 아닌 유한 y) → 결과는 NaN+NaNi, FE_INVALID 발생 가능
z가 NaN+∞i → 결과는 ±∞+NaNi(실수부 부호는 명시되지 않음)
z가 NaN+NaNi → 결과는 NaN+NaNi

Notes

C 표준은 이 함수를 "complex arc hyperbolic sine"이라 부르지만, 쌍곡선 함수의 역함수는 사실 면적 함수예요. 정확히는 "complex inverse hyperbolic sine", 덜 흔하게 "complex area hyperbolic sine"이라 불러요.

역쌍곡선 사인은 다가 함수라서 가지 자름이 필요해요. 관례적으로 허수축의 선분 (-i∞,-i)과 (i,i∞)에 자름을 둬요.

역쌍곡선 사인의 주값의 수학적 정의는 asinh z = ln(z + √(1+z²))이에요. 모든 z에 대해 다음 관계가 성립해요.

asinh(z) = asin(iz) / i

예시

가지 자름의 양쪽과 asin(iz)/i 관계를 확인해 보는 코드예요.

#include <stdio.h>
#include <complex.h>

int main(void)
{
    double complex z = casinh(0+2*I);
    printf("casinh(+0+2i) = %f%+fi\n", creal(z), cimag(z));

    double complex z2 = casinh(-conj(2*I)); // or casinh(CMPLX(-0.0, 2)) in C11
    printf("casinh(-0+2i) (the other side of the cut) = %f%+fi\n", creal(z2), cimag(z2));

    // for any z, asinh(z) = asin(iz)/i
    double complex z3 = casinh(1+2*I);
    printf("casinh(1+2i) = %f%+fi\n", creal(z3), cimag(z3));
    double complex z4 = casin((1+2*I)*I)/I;
    printf("casin(i * (1+2i))/i = %f%+fi\n", creal(z4), cimag(z4));
}

출력:

casinh(+0+2i) = 1.316958+1.570796i
casinh(-0+2i) (the other side of the cut) = -1.316958+1.570796i
casinh(1+2i) = 1.469352+1.063440i
casin(i * (1+2i))/i =  1.469352+1.063440i

첫 두 출력은 실수부 부호만 정반대인 걸로 가지 자름의 존재를 보여주고, 마지막 두 줄이 asinh(z) = asin(iz)/i 관계를 그대로 확인해 줘요.

표준 참조

C11: 7.3.6.2 The casinh functions (p: 192-193), 7.25 (p: 373-375), G.6.2.2 (p: 540), G.7 (p: 545)
C99: 7.3.6.2 (p: 174-175), 7.22 (p: 335-337), G.6.2.2 (p: 475), G.7 (p: 480)

더 알아보기

복소 아크쌍곡선 코사인 cacosh, 복소 아크쌍곡선 탄젠트 catanh와 함께 역쌍곡선 함수군을 이뤄요.
원함수는 복소 쌍곡선 사인 csinh예요.
복소 아크사인 casin과의 관계(asinh(z) = asin(iz)/i)가 핵심이에요.
실수 역쌍곡선 사인 asinh·asinhf·asinhl과 비교해 보세요.
cppreference의 casinh 원문에서 참조 절을 더 확인할 수 있어요.

`casinh`, `casinhf`, `casinhl` — 복소수 아크쌍곡선 사인