잡담을 위한 소박한 장소

오늘의 계산은 다음 적분 입니다. 편의상 이라고 가정합시다. 식 를 이용하면, 다음 적분을 계산한 결과에 -2를 곱한 결과가 가 됨을 확인할 수 있습니다. 계산해보면, 마지막 항을 계산하기 위해 다음 적분을 생각합니다. 양 변을 에 대해 편미분하여 정리하면, 이 식을 에 대입하면 따라서, 원래 적분이 에 대한 짝함수(우함수)임을 감안하면, 다음 결과를 얻습니다.

다음 급수 의 합을 구하는 것이 이번 계산의 목표입니다. 우선 a, b > 0 이고 c > 1/2 라고 합시다. 그러면 가 성립합니다. 여기서 우리가 원하는 케이스는 (a, b, c) = (2, 1, 3) 인 때라는 것을 쉽게 알 수 있습니다. 이제 α > 1/2 에 대해 와 같이 정의하고 u = tanθ로 치환한 다음 Beta function identity를 적용하면 이 성립함을 어렵지 않게 알 수 있습니다. 이 식에 로그함수 미분법을 이 식에 적용해보면 이고, 다시 한번 로그함수 미분법을 적용해보면 다음 식을 얻습니다. 단, 여기서 ψ0 과 ψ1 은 각각 digamma function과 trigamma function입니다. 식 (1)의 좌변을 라이프니쯔 적분 공식을 이용해 계산해보면, S(a, b..

흐흠... 기본적인 테크닉 몇 개를 섞어서 풀어봤는데, 의외로 계산이 틀리지 않고 잘 나오는군요. (검산: Mathematica 6.0 이용) 좀 더 일반적인 결과를 얻기 위해서, 일단 다음과 같은 정의들을 합시다. Definition 1. Definition 2. 그러면 다음과 같은 두 보조정리를 얻습니다. 따라서 두 보조정리를 연결하면 임의의 n에 대해 logn(secθ)를 [0, π/2]에서 적분한 값을 원칙적으로 계산할 수 있습니다. 물론 실제로 계산하는 것은 조금 더 손이 갑니다 (특히 a(α)를 계산하는 것이 중요합니다.) [2011/03/10 추가] 조합적인 식을 이용하면 임의의 n에 대하여 위 적분을 좀 더 멋지게 나타낼 수 있습니다. 제 스프링노트 http://sos440.springno..