연쇄 법칙 (Chain rule)

zeta_xiv·2025년 1월 3일

(Theorem) 만약 f(u)f(u)uu에 대하여 미분 가능하고, u=g(x)u=g(x)이며 g(x)g(x)xx에 대하여 미분 가능하다면 합성 함수 (fg)(x)=f(g(x))(f\circ g)(x)=f(g(x))xx에 대하여 미분 가능하고, 이때

(fg)(x)=f(g(x))g(x)(f\circ g)'(x)=f'(g(x))g'(x)

가 성립한다. 즉,

df(g(x))dx=dfdudugx\frac{df(g(x))}{dx} = \frac{df}{du}\frac{du}{gx}

이다.

(증명) 합성 함수 y=f(g(x))y=f(g(x))에 대하여 u=g(x)u=g(x)로 표기하고, xxΔx\Delta x만큼 증가한다고 했을 때, uuΔu\Delta u만큼 증가하고 yyΔy\Delta y만큼 증가한다고 하자. 그러면

dydxx=x0=limΔx0ΔyΔx\left.\frac{dy}{dx}\right|_{x=x_0} = \lim_{\Delta x\rightarrow 0}\frac{\Delta y}{\Delta x}

라고 쓸 수 있다. 한편, u=g(x)u=g(x)x=x0x=x_0에서 미분 가능하므로 선형 근사와 미분 가능성의 관계에 의하여 x=x0x=x_0 부근의 uu의 변화는

Δu=g(x0)Δx+ϵ1Δx\Delta u = g'(x_0)\Delta x + \epsilon_1\Delta x

로 표기된다. 이때 Δx0\Delta x\rightarrow 0일 때 ϵ10\epsilon_1\rightarrow 0이다. 마찬가지로, y=f(u)y=f(u)u=f(x0)=u0u=f(x_0)=u_0에서 미분 가능하므로 u=u0u=u_0 부근의 yy의 변화는

Δy=f(u0)Δu+ϵ2Δu\Delta y = f'(u_0)\Delta u + \epsilon_2\Delta u

로 표기된다. 이때 Δu0\Delta u\rightarrow 0일 때 ϵ20\epsilon_2\rightarrow 0이다. 따라서

Δy=(f(u0)+ϵ2)(g(x0)+ϵ1)Δx\Delta y = (f'(u_0) + \epsilon_2)(g'(x_0) + \epsilon_1)\Delta x

로 쓸 수 있다. 그러므로

ΔyΔx=f(u0)g(x0)+ϵ2f(u0)+ϵ1g(u0)+ϵ1ϵ2\frac{\Delta y}{\Delta x} = f'(u_0)g'(x_0) + \epsilon_2f'(u_0) + \epsilon_1g'(u_0) + \epsilon_1\epsilon_2

이고, 이때 Δx0\Delta x\rightarrow 0일 때 ϵ1,ϵ20\epsilon_1, \epsilon_2\rightarrow 0dlek. 따라서

limΔx0ΔyΔx=f(u0)g(x0)=f(g(x0))g(x0)\lim_{\Delta x \rightarrow 0}\frac{\Delta y}{\Delta x} = f'(u_0)g'(x_0) = f'(g(x_0))g'(x_0)

가 성립한다. □

0개의 댓글