오일러 치환

testwiki
둘러보기로 이동 검색으로 이동

틀:위키데이터 속성 추적 미적분학에서 오일러 치환(-置換, 틀:Llang)은 xax2+bx+c에 대한 유리 함수적분을 구할 때 사용되는 치환 적분이다.

정의

오일러 치환은 다음과 같은 적분을 구할 때 사용된다.

R(x,ax2+bx+c)dx

여기서 R(u,v)는 2변수 유리 함수이며, a0이다. 오일러 치환은 이 적분을 유리 함수의 적분으로 만들며, 이는 다음과 같은 세 가지 경우로 나뉜다. 같은 함수가 여러 가지 경우에 속할 수 있음에 주의하자.

제1 오일러 치환

만약 a>0일 경우, 다음과 같이 치환한다.

ax2+bx+c=±xa+t

이를 제1 오일러 치환(第一-置換, 틀:Llang)이라고 한다. 이 경우 원래의 적분은 다음과 같이 새 변수 t에 대한 유리 함수의 적분으로 귀결된다.

x=t2c±2ta+b
ax2+bx+c=±t2c±2ta+ba+t

제2 오일러 치환

만약 c>0일 경우, 다음과 같이 치환한다.

ax2+bx+c=xt±c

이를 제2 오일러 치환(第二-置換, 틀:Llang)이라고 한다. 마찬가지로 원래의 적분은 t에 대한 유리 함수의 적분으로 귀결된다.

x=±2tcbat2
ax2+bx+c=±2tcbat2t±c

사실, 제1 및 제2 오일러 치환의 조건을 만족시키는 꼴의 적분은 다음과 같은 변환을 통해 각각 제2 및 제1 오일러 치환을 적용할 수 있다.[1]틀:Rp

ax2+bx+c=1|u|a+bu+cu2(x=1u)

제3 오일러 치환

만약 ax2+bx+c의 두 근 α,β가 실수일 경우, 다음과 같이 치환한다.

ax2+bx+c=a(xα)(xβ)=±(xα)t

이를 제3 오일러 치환(第三-置換, 틀:Llang)이라고 한다. 이 경우 역시 t의 유리 함수의 적분이 된다.

x=aβαt2at2
ax2+bx+c=±(aβαt2at2α)t

사실, 제1 및 제3 오일러 치환은 모든 경우를 포함한다. 이는 만약 a<0이며 b24ac<0일 경우 ax2+bx+c가 모든 곳에서 실수가 아니기 때문이다.[1]틀:Rp

오일러 치환이 처리하는 꼴의 적분을 구하는 데에는 계산량을 줄여주는 요령과 보다 더 간편할 수 있는 대안적인 방법이 존재한다. 예를 들어, 다음과 같은 공식은 특수한 꼴의 함수의 적분의 계산을 단순화한다.

p(x)ax2+bx+cdx=q(x)ax2+bx+c+λdxax2+bx+c

여기서 p,q[x]는 각각 n차 다항식 및 (n1)차 이하 다항식이며 λ는 상수이다. 각 p에 대하여 이러한 조건을 만족시키는 qλ는 위 식 양변에 도함수를 취한 뒤 다시 양변에 ax2+bx+c을 곱하여 양변의 다항식의 계수를 비교하면 구할 수 있다. 다음과 같은 꼴의 적분은 xα=1/t와 같이 치환하면 위와 같은 꼴의 적분으로 귀결된다.

dx(xα)nax2+bx+c=tn1(aα2+bα+c)t2+(2aα+b)t+adt

다음과 같은 꼴의 적분은 치환 x2+px+q=s(x2+px+q)=t을 통해 구할 수 있다.

(ex+f)(x2+px+q)(2n+1)/2dx=λ2x+p(x2+px+q)(2n+1)/2dx+μdx(x2+px+q)(2n+1)/2=λdss(2n+1)/2+μdx(x2+px+q)(2n+1)/2

다음과 같은 꼴의 적분에서 pb/a일 경우, 적절한 치환 x=(gs+h)/(s+1)를 통해 1차항을 없앤 뒤, 부분 분수 분해의 각 항에 치환 as2=b=t(as2+b)=u을 사용하여 구할 수 있다.

(ex+f)(x2+px+q)nax2+bx+cdx=p(s)(s2+c)nas2+bds=kλks(s2+c)n'kas2+bds+kμkds(s2+c)n'kas2+b

오일러 치환이 처리하는 꼴의 적분은 완전 제곱꼴을 만든 뒤 삼각 치환 또는 쌍곡 치환을 통해 구할 수도 있다. 정리된 루트 부분이 a2x2일 경우 x=asint 또는 x=acost와 같이 치환하며, x2a2일 경우 x=acosht 또는 x=asect와 같이 치환하며, x2+a2일 경우 x=sinht 또는 x=atant와 같이 치환한다.[1]틀:Rp 그러면 적분하려는 함수는 삼각 함수 또는 쌍곡선 함수에 대한 유리 함수로 변하며, 이는 바이어슈트라스 치환 등을 통해 구할 수 있다.[2]틀:Rp

다음과 같은 적분들을 생각하자.[1]틀:Rp

x2+2x+3xdx,11+x+x2x1+x+x2dx,dxx2+3x4,dx(xα)(xα)(xβ)

제1 오일러 치환의 예

첫 번째 적분에 다음과 같은 제1 오일러 치환을 사용하자.

x2+2x+3=tx
x=t232(1+t),dx=t2+2t+32(t+1)2dt,x2+2x+3=t2+2t+32(t+1)

이를 통해 다음과 같이 구할 수 있다.

x2+2x+3xdx=(t2+2t+3)22(t23)(t+1)2dt=(12+1t+11(t+1)2+6t23)dt=t2+ln|t+1|+1t+1+3ln|t3t+3|+C=x2+2x+3+x2+1x2+2x+3+x+1+ln(x2+2x+3+x+1)+3ln|x2+2x+3+x3x2+2x+3+x+3|+C

제2 오일러 치환의 예

두 번째 적분에 다음과 같은 제2 오일러 치환을 사용하자.

1+x+x2=tx+1
x=2t11t2,dx=2(1t+t2)(1t2)2dt,1+x+x2=1t+t21t2

이를 통해 다음과 같이 구할 수 있다.

11+x+x2x1+x+x2dx=2t1t2dt=ln|1t2|+C=ln|1(1+x+x21x)2|+C

제3 오일러 치환의 예

세 번째 적분에 다음과 같은 제3 오일러 치환을 사용하자.

x2+3x4=(x+4)t
x=1+4t21t2,dx=10t(1t2)2dt,x2+3x4=5t1t2

이를 통해 다음과 같이 구할 수 있다.

dxx2+3x4=21t2dt=ln|1+t1t|+C=ln|x+4+x1x+4x1|+C

다른 방법의 예

네 번째 적분에서는 xα=1/t와 같은 치환이 더 편리하다.

dx(xα)(xα)(xβ)=dt1+(αβ)t=2βα1+(αβ)t+C=2βαxβxα+C

같이 보기

각주

틀:각주

외부 링크