디감마 함수

로그 도함수의 의미

양의 x에서 감마 함수는 양수이므로 lnΓ(x)를 미분할 수 있다. 미분값은 Γ′(x)를 Γ(x)로 나눈 ψ(x)다. 따라서 Γ′(x)=Γ(x)ψ(x)이지 Γ′(x)=ψ(x)가 아니다. 복소수에서도 감마 함수의 영점과 극점 등 해석 조건을 고려해 로그 도함수로 다루며, 실수 로그의 직관만으로 전 영역을 해석하지 않는다.

점화식을 유도한다

감마 함수의 Γ(x+1)=xΓ(x)에 양의 x에서 로그를 취하면 lnΓ(x+1)=lnx+lnΓ(x)다. 양변을 미분하면 ψ(x+1)=1/x+ψ(x)를 얻는다. 연속된 입력의 차이가 단순한 역수로 표현되는 관계다. 이 식을 통해 큰 입력 쪽의 계산과 작은 입력 쪽의 값을 연결할 수 있다.

차이값의 정확한 계산

점화식을 반복하면 ψ(5)−ψ(2)=1/2+1/3+1/4=13/12다. 개별 함수값을 따로 소수로 계산해 빼지 않고 정확한 유리수 차이를 얻는 예다. 다만 ψ(2) 자체가 0이라는 뜻은 아니며 차이의 정보만으로 두 함수값을 동시에 정할 수는 없다. 점화식에는 기준값이나 다른 조건이 함께 필요하다.

정의역과 계산 점검

디감마 함수는 0과 음의 정수에서 극점을 갖는다. 그런 점을 가로지르는 식 변형이나 수치 근사는 주의가 필요하다. 특히 가까운 큰 값들을 빼는 표현은 상쇄에 따른 정밀도 손실을 일으킬 수 있다. 원하는 입력 영역에 맞는 계산법을 사용하고 점화식 같은 독립 관계를 검증에 활용하되, 관계를 만족하는 숫자만으로 모든 자리의 정확성이 보장된다고 단정하지 않는다.