잡담을 위한 소박한 장소

여러분들도 군대에 오시면 이런 계산을 할 수 있습니다...? 오늘 보이려고 하는 계산은 다음 두 극한값을 계산하는 과정이다. 우선 두 계산에 공통적으로 사용될 사실들을 몇 가지만 따로 떼어서 보조정리로 정리해보도록 합시다. 보조정리 1 이다. 증명) 간단한 계산이다. a > 0 일 때 공식 이 성립함을 이용하면 보조정리 2 임의의 실수 a에 대하여 이다. 증명) f(t) = 2t - 1 - t 로 두면, f(1) = 0 이고 t ≥ 1 일 때 f'(t) = 2t log 2 - 1 ≥ 2 log2 - 1 > 0 이므로, 2t ≥ 1 + t 이 성립한다. 그러므로 이고 맨 오른쪽 항이 n→∞ 일 때 0으로 수렴함은 당연하므로, 증명된다. 보조정리 3 로 두면, 0 ≤ x ≤ 1 일 때 이 성립한다. 증명) ..

군대에서도 짬이 생기면 이런 계산을 할 수 있다는 것을 보여드리고 싶었습니다! 오늘 계산할 적분은 다음 적분입니다: 단, p, q > 0 이고 1-p < r < 1+min(p,q) 입니다. 우선 r이 0이 아니라고 가정하고 이 적분을 계산해봅시다. 그러면 간단한 계산과정을 통해 감마함수를 포함하는 닫힌 식을 얻습니다. 그리고 I(r)의 연속성을 이용하여 r→0 의 극한을 취하면 I(0) 의 값을 얻고, 실제로 계산해보면 라는 결론을 얻습니다. 단, γ는 오일러-마스케로니 상수입니다.

Today we are going to prove the unproven assertion in the previous posting 「오늘의 계산 16」, and also establish a proof of the observation in 「여러가지 잡담」. Theorem. Let $\alpha$ be a complex number away from negative integers, and denote \begin{equation*} \binom{\alpha}{z} := \frac{\alpha!}{z!(\alpha-z)!} = \frac{\Gamma(\alpha+1)}{\Gamma(z+1)\Gamma(\alpha-z+1)} \end{equation*} the extended binomial coef..

오늘 계산할 적분은 이것입니다. 단, 여기서 팩토리얼은 감마함수를 이용하여 정의된 것으로 해석합니다. 적분이 아니라 합이라면 위 식이 성립하는 건 n이 음이 아닌 정수일 때 바로 따라나오는 내용입니다. 그렇지만 적분에 대해서도 같은 결과가 성립한다는 건 좀 신기한 결과죠. 사실 수치해석적인 계산을 이용하면 위 식이 임의의 음이 아닌 실수 n에 대해 성립함을 짐작할 수 있지만, 일단 제가 계산에 성공한 것은 n이 음이 아닌 정수일 때뿐입니다. 증명은 감마함수의 반사공식을 이용합니다. 계산해보면, 가 되므로 증명됩니다. 사실은 임의의 0 이상의 실수 n에 대해 다음 등식이 성립한다고 믿고 있습니다만, 수치적인 계산상의 심증은 있어도 실제로 증명은 아직 못 했습니다. p.s. 2009/3/17 일에 이 문제를..

오늘은 그냥 쉬어가기로 매우 쉬운 적분을 하나 올립니다. 복소 테크닉으로 간단하게 풀리던가 안 풀리던가 기억은 잘 안나는 그런 적분입니다…. -_-ㆀ 목표는 위 적분을 계산하는 건데, 간단합니다. 0 < z < 1 이라고 합시다. 그러면 이므로, 양 변을 미분하고 16으로 나누면 을 얻습니다. 따라서 z = 1/4 를 대입하면 끝. 어때요. 참 쉽죠?

더운 방 안에 쳐박혀서 땀을 뻘뻘 흘리며 1시간 반 동안 계산한 끝에 얻은 결과입니다. 마치 프라모델광이 방에 쳐박혀 프라모델을 조립해 어엿한 1/100 MG 자×를 만들어내는 것과 비슷한 마음으로 풀었습니다. (이녀석, 위험하다... (˚;ε;˚;)a) 단, 여기서 γ1은 스틸체스 상수(Stieltjes constant) 입니다. 이런 상수가 있다는 건 알고 있었지만, 실제로 계산할 때에 바로 이 상수가 저 자리에 들어간다는 걸 깨닫지는 못했습니다. 그래서 이 상수의 값을 결정하기 위해 1시간동안 삽질을 했죠. 원래 제가 얻은 결과는 입니다. 단, 입니다. 처음 1시간동안은 c가 closed form으로 나타날 거라고 믿고 계산질을 했지만, 결과는 ㅇ

어떤 부등식을 보이려다가 우연히 얻어냈는데, 의외로 여러 계산에서 사용할만 하여 여기 올립니다. (나중에 안 사실이지만, 사실상 이 적분은 확장된 이항계수의 푸리에 변환과 직접적으로 연관됩니다. 풀이는 다른 포스팅을 참고하세요) [명제] p > -1 이고 x가 임의의 복소수일 때 다음 등식이 성립한다. 증명의 스케치는 다음과 같습니다. Step 1) 함수족 을 다음과 같이 정의하면, 는 p→∞일 때 에서의 approximation to the identity 이다. Step 2) 함수 를 와 같이 정의하면, p > 1 일 때 다음 등식이 성립한다. 그 다음에 두 스텝을 섞으면 원하는 결론이 도출됩니다. 위 등식에서 p = 0 으로 두면 바로 sinh 의 무한곱 표현이 나오고, p = 1 으로 두면 cos..

다음 급수 의 합을 구하는 것이 이번 계산의 목표입니다. 우선 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..