곱미분 (Product Rule)
곱미분 정의
- 곱미분 도는 곱의 미분법은 미분 가능한 두 개 이상의 함수가 곱으로 연결되어 있는 함수를 미분하는 방법이다.
- 미분 가능한 두 함수 u(x)와 v(x)의 곱의 형태를 가진 함수를 h(x) 라고 한다면, 다음과 같은 곱법칙이 성립한다.
f(x)=u(x)v(x)
f′(x)=u′(x)v(x)+u(x)v′(x)
곱미분 유도
- 미분 가능한 두 함수 u(x)와 v(x)에 대해 f(x)=u(x)v(x)의 도함수는 아래와 같이 나타낼 수 있다.
f′(x)=h→0limhu(x+h)v(x+h)−u(x)v(x)
- 여기서 분자 항에 u(x)v(x+h)를 빼고 더 하면 다음과 같다.
f′(x)=h→0limhu(x+h)v(x+h)−u(x)v(x+h)+u(x)v(x+h)−u(x)v(x)
f′(x)=h→0limhu(x+h)v(x+h)−u(x)v(x+h)+h→0limhu(x)v(x+h)−u(x)v(x)=h→0limhu(x+h)−u(x)v(x+h)+h→0limhv(x+h)−v(x)u(x)=u′(x)n→0limv(x+h)+v′(x)u(x)
- 여기서 v(x)는 연속하므로 다음이 성립한다.
n→0limv(x+h)=v(x)
- 이것을 대입하면 다음과 같이 곱미분 정의식이 나온다.
f′(x)=u′(x)v(x)+v′(x)u(x)
여러 함수의 곱미분
- 세 함수 u(x),v(x),z(x)가 곱해진 함수 f(x)는 위 유도 과정을 동일하게 적용하여 다음과 같음을 알 수 있다.
f′(x)=u′(x)v(x)z(x)+u(x)v′(x)z(x)+u(x)v(x)z′(x)
- 따라서 n개의 함수 f1(x),…,fn(x)가 모두 미분 가능할 때 다음이 성립한다.
[i=1∏nfi(x)]′=[f1(x)f2(x)⋯fn(x)]′=f1′(x)f2(x)⋯fn(x)+⋯+f1(x)f2(x)fn′(x)=i=1∑nfi′(x)j=i∏fj(x)
몫미분 (Quotient Rule)
몫미분 정의
- 몫미분 또는 몫의 미분법은 미분 가능한 두 함수가 나눗셈(몫) 형태로 연결되어 있는 함수를 미분하는 방법이다.
- 미분 가능한 두 함수 u(x)와 v(x)에 대해, v(x)=0 일 때, 몫의 형태를 가진 함수 f(x)의 도함수는 다음과 같은 몫의 법칙이 성립한다.
f(x)=v(x)u(x)
f′(x)=[v(x)]2u′(x)v(x)−u(x)v′(x)
몫미분 유도
- 몫의 미분법 유도는 곱의 미분법을 적용하여 쉽게 유도할 수 있다.
- 미분 가능한 두 함수 u(x)와 v(x)에 대해 나눗셈 형태인 f(x)를 다음과 같이 정리할 수 있다.
f(x)=v(x)u(x)=u(x)⋅v(x)−1
f′=u′v−1+u(v−1)′
- 여기서 두 번째 항의 [v(x)]−1을 z(x)라고 두고, 체인 룰(Chain Rule)을 통해 미분하면 다음과 같다.
- v는 변수가 아닌 임의의 함수이므로 체인 룰을 적용해야 한다.
z=v−1
dxdz=dvdzdxdv
z′=−v−2⋅v′
- 따라서 이식을 대입하면, 다음과 같이 정리된다.
f′∴ (vu)′=u′v−1−uv−2v′=vu′−v2uv′=v2u′v−uv′=v2u′v−uv′