"1/(1+x^2)의 적분"의 두 판 사이의 차이
1번째 줄: | 1번째 줄: | ||
− | <h5> | + | <h5>문제</h5> |
<math>\int \frac{1}{1+x^2}\,dx=?</math> | <math>\int \frac{1}{1+x^2}\,dx=?</math> | ||
7번째 줄: | 7번째 줄: | ||
− | <h5> | + | <h5>치환적분</h5> |
<math>x=\tan t</math> 로 치환하면, | <math>x=\tan t</math> 로 치환하면, | ||
42번째 줄: | 42번째 줄: | ||
<math>x=\coth t, y=-\operatorname{csch}^2 t, x^2+y=1, y=g(x)=1-x^2</math> | <math>x=\coth t, y=-\operatorname{csch}^2 t, x^2+y=1, y=g(x)=1-x^2</math> | ||
+ | |||
+ | |||
+ | |||
+ | |||
57번째 줄: | 61번째 줄: | ||
를 구하는 문제는 다음과 같이 해결될 수 있다. | 를 구하는 문제는 다음과 같이 해결될 수 있다. | ||
− | <math>\int \frac{1}{g(x)}\,dx=\int \frac{f'(t)}{g(f(t))}\,dt=\int \frac{f'(t)}{f'(t)}\,dt=f^{-1}(x)+C</math> | + | <math>\int \frac{1}{g(x)}\,dx=\int \frac{f'(t)}{g(f(t))}\,dt=\int \frac{f'(t)}{f'(t)}\,dt=f^{-1}(x)+C</math> |
79번째 줄: | 83번째 줄: | ||
<math>\wp'(z)^2=4\wp(z)^3-g_2\wp(z)-g_3</math> | <math>\wp'(z)^2=4\wp(z)^3-g_2\wp(z)-g_3</math> | ||
− | + | 위에서 삼각함수들과 같이 본래함수와 그 도함수가 만족시키는 간단한 관계를 찾을 수 있으며, 여기서는 <math>g(x)=\sqrt{4x^3-g_2x-g_3}</math>로 쓸 수 있다. | |
− | |||
− | 위에서 | ||
− | |||
− | |||
− | |||
− | <math> | ||
− | + | 따라서 다음과 같은 적분문제의 답은 | |
− | + | <math>\int \frac{\,dx}{\sqrt{4x^3-g_2x-g_3}}=\wp^{-1}(x)+C</math> | |
− | + | [[바이어슈트라스 타원함수 ℘|바이어슈트라스의 타원함수]]<math>\wp(z)</math> 의 역함수가 된다. | |
2010년 8월 22일 (일) 06:56 판
문제
\(\int \frac{1}{1+x^2}\,dx=?\)
치환적분
\(x=\tan t\) 로 치환하면,
\(dx=(\tan t)'\,dt=\sec^2 t\,dt\)
\(1+x^2=1+\tan^2 t=\sec^2 t\) 이므로
\(\int \frac{1}{1+x^2}\,dx=\int 1 \,dt=t+C=\arctan x+C\)
를 얻는다.
함수와 도함수가 서로 간단한 관계로 표현되는 함수들
\(x=f(t), y=f'(t)\)
\(x=\cos t, y=-\sin t, x^2+y^2=1, y=-g(x)=-\sqrt{1-x^2}\)
\(x=\sin t, y=\cos t, x^2+y^2=1, y=g(x)=\sqrt{1-x^2}\)
\(x=\cosh t, y=\sinh t, x^2-y^2=1, y= g(x)=\sqrt{x^2-1}\)
\(x=\sinh t, y=\cosh t, x^2-y^2=-1, y=g(x)=\sqrt{1+x^2}\)
\(x=\tan t, y=\sec^2 t, x^2-y=-1, y=g(x)=x^2+1\)
\(x=\cot t, y=-\csc^2 t, x^2+y=-1, y=g(x)=-1-x^2\)
\(x=\tanh t, y=\operatorname{sech}^2 t, x^2+y=1, y=g(x)=1-x^2\)
\(x=\coth t, y=-\operatorname{csch}^2 t, x^2+y=1, y=g(x)=1-x^2\)
적분에의 응용
위에서 제시된 함수들처럼 함수 \(f(t)\)의 도함수 \(f'(t)\) 가 \(f(t)\) 의 간단한 함수로 표현되는 경우, 즉 적당한 함수 \(g\)에 대하여 \(f'(t)=g(f(t))\) 로 표현할 수 있다고 하자.
이러한 경우,
\(\int \frac{1}{g(x)}\,dx\)
를 구하는 문제는 다음과 같이 해결될 수 있다.
\(\int \frac{1}{g(x)}\,dx=\int \frac{f'(t)}{g(f(t))}\,dt=\int \frac{f'(t)}{f'(t)}\,dt=f^{-1}(x)+C\)
요약하자면, 본래함수와 그 도함수가 만족시키는 간단한 관계를 찾을 수 있다면, 이를 적분을 찾는 문제에 응용할 수 있다.
타원적분과 타원함수
이러한 원리를 이용하면, 타원함수와 타원적분의 관계에 대해서도 생각해 볼 수 있게 된다.
어떤 적당한 상수 \(g_2, g_3\)에 대하여 바이어슈트라스의 타원함수 라는 복소함수를 정의할 수 있다.
\(\wp(z)=z^{-2}+\frac{g_2}{20}z^2+\frac{g_3}{28}z^4+\frac{g_2^2}{1200}z^6+\cdots\)
이 함수의 도함수는 다음을 만족시킨다.
\(\wp'(z)^2=4\wp(z)^3-g_2\wp(z)-g_3\)
위에서 삼각함수들과 같이 본래함수와 그 도함수가 만족시키는 간단한 관계를 찾을 수 있으며, 여기서는 \(g(x)=\sqrt{4x^3-g_2x-g_3}\)로 쓸 수 있다.
따라서 다음과 같은 적분문제의 답은
\(\int \frac{\,dx}{\sqrt{4x^3-g_2x-g_3}}=\wp^{-1}(x)+C\)
바이어슈트라스의 타원함수\(\wp(z)\) 의 역함수가 된다.