문제 은행 · 미적분 · 대학 미적분 · 다변수 미분

다변수 연쇄법칙

먼저 혼자 풀어 보고, 풀이로 확인한 다음, 아래 「한 번 더」 문제로 이어서 연습하세요.

CLP-3 · 2.4절 · 11번대학 수준우리말 번역

FF 를 R2\mathbb{R}^2 위의 함수라 하자. R2\mathbb{R}^2 의 점을 (u,v)(u, v) 로 나타내고, FF 의 대응하는 편도함수를 Fu(u,v)F_u(u, v), Fv(u,v)F_v (u, v), Fuu(u,v)F_{uu}(u, v), Fuv(u,v)F_{uv}(u, v) 등으로 나타낸다. 이 편도함수들이 모두 연속이라고 가정한다.

∂2∂x ∂yF(x2−y2,2xy)\begin{aligned} \frac{\partial^2}{\partial x\, \partial y} F(x^2 - y^2 , 2xy) \end{aligned}

를 함수 FF 의 편도함수를 사용하여 나타내세요.

영어 원문 보기

Let FF be a function on R2\mathbb{R}^2. Denote points in R2\mathbb{R}^2 by (u,v)(u, v) and the corresponding partial derivatives of FF by Fu(u,v)F_u(u, v), Fv(u,v)F_v (u, v), Fuu(u,v)F_{uu}(u, v), Fuv(u,v)F_{uv}(u, v), etc.. Assume those derivatives are all continuous. Express

∂2∂x ∂yF(x2−y2,2xy)\begin{aligned} \frac{\partial^2}{\partial x\, \partial y} F(x^2 - y^2 , 2xy) \end{aligned}

in terms of partial derivatives of the function FF.

정답·풀이 보기

u(x,y)=x2−y2u(x,y) = x^2 - y^2, v(x,y)=2xyv(x,y) = 2xy 라 하자. 그러면 F(x2−y2,2xy)=F(u(x,y),v(x,y))F(x^2 - y^2 , 2xy) =F\big(u(x,y),v(x,y)\big) 이다. 연쇄 법칙에 의해

∂∂yF(x2−y2,2xy)=∂∂yF(u(x,y),v(xy))=Fu(u(x,y),v(xy))∂u∂y(x,y)+Fv(u(x,y),v(xy))∂v∂y(x,y)=Fu(x2−y2,2xy) (−2y)+Fv(x2−y2,2xy) (2x)∂2∂x ∂yF(x2−y2,2xy)=∂∂x{−2yFu(x2−y2,2xy)+2xFv(x2−y2,2xy)}=−2y∂∂x[Fu(x2−y2,2xy)]+2Fv(x2−y2,2xy)+2x∂∂x[Fv(x2−y2,2xy)]=−4xy Fuu(x2−y2,2xy)−4y2Fuv(x2−y2,2xy)+2Fv(x2−y2,2xy)+4x2Fvu(x2−y2,2xy)+4xy Fvv(x2−y2,2xy)=2 Fv(x2−y2,2xy)−4xy Fuu(x2−y2,2xy)+4(x2−y2) Fuv(x2−y2,2xy)+4xy Fvv(x2−y2,2xy)\begin{aligned} \frac{\partial }{\partial y}F(x^2 - y^2 , 2xy) &=\frac{\partial }{\partial y}F(u(x,y) , v(xy)) \\ &=F_u(u(x,y) , v(xy))\frac{\partial u}{\partial y}(x,y) + F_v(u(x,y) , v(xy))\frac{\partial v}{\partial y}(x,y) \\ &= F_u(x^2 - y^2 , 2xy)\ (-2y) + F_v(x^2 - y^2 , 2xy)\, (2x) \\ \frac{\partial^2}{\partial x\, \partial y} F(x^2 - y^2 , 2xy) &=\frac{\partial }{\partial x}\left\{-2y F_u(x^2 - y^2 , 2xy) + 2x F_v(x^2 - y^2 , 2xy) \right\} \\ &= -2y\frac{\partial }{\partial x}\left[ F_u(x^2 - y^2 , 2xy)\right] +2 F_v(x^2 - y^2 , 2xy) \\& + 2x \frac{\partial }{\partial x}\left[F_v(x^2 - y^2 , 2xy)\right] \\ &= -4xy\,F_{uu}(x^2 - y^2 , 2xy) -4y^2 F_{uv}(x^2 - y^2 , 2xy) +2 F_v(x^2 - y^2 , 2xy) \\& + 4x^2 F_{vu}(x^2 - y^2 , 2xy) +4xy\,F_{vv}(x^2 - y^2 , 2xy) \\ &= 2 \, F_v(x^2 - y^2 , 2xy) -4xy\, F_{uu}(x^2 - y^2 , 2xy) \\& +4(x^2-y^2)\, F_{uv}(x^2 - y^2 , 2xy) \\& +4xy\, F_{vv}(x^2 - y^2 , 2xy) \end{aligned}

원본 교재 풀이(영어)

Let u(x,y)=x2−y2u(x,y) = x^2 - y^2 , and v(x,y)=2xyv(x,y) = 2xy. Then F(x2−y2,2xy)=F(u(x,y),v(x,y))F(x^2 - y^2 , 2xy) =F\big(u(x,y),v(x,y)\big). By the chain rule

∂∂yF(x2−y2,2xy)=∂∂yF(u(x,y),v(xy))=Fu(u(x,y),v(xy))∂u∂y(x,y)+Fv(u(x,y),v(xy))∂v∂y(x,y)=Fu(x2−y2,2xy) (−2y)+Fv(x2−y2,2xy) (2x)∂2∂x ∂yF(x2−y2,2xy)=∂∂x{−2yFu(x2−y2,2xy)+2xFv(x2−y2,2xy)}=−2y∂∂x[Fu(x2−y2,2xy)]+2Fv(x2−y2,2xy)+2x∂∂x[Fv(x2−y2,2xy)]=−4xy Fuu(x2−y2,2xy)−4y2Fuv(x2−y2,2xy)+2Fv(x2−y2,2xy)+4x2Fvu(x2−y2,2xy)+4xy Fvv(x2−y2,2xy)=2 Fv(x2−y2,2xy)−4xy Fuu(x2−y2,2xy)+4(x2−y2) Fuv(x2−y2,2xy)+4xy Fvv(x2−y2,2xy)\begin{aligned} \frac{\partial }{\partial y}F(x^2 - y^2 , 2xy) &=\frac{\partial }{\partial y}F(u(x,y) , v(xy)) \\ &=F_u(u(x,y) , v(xy))\frac{\partial u}{\partial y}(x,y) + F_v(u(x,y) , v(xy))\frac{\partial v}{\partial y}(x,y) \\ &= F_u(x^2 - y^2 , 2xy)\ (-2y) + F_v(x^2 - y^2 , 2xy)\, (2x) \\ \frac{\partial^2}{\partial x\, \partial y} F(x^2 - y^2 , 2xy) &=\frac{\partial }{\partial x}\left\{-2y F_u(x^2 - y^2 , 2xy) + 2x F_v(x^2 - y^2 , 2xy) \right\} \\ &= -2y\frac{\partial }{\partial x}\left[ F_u(x^2 - y^2 , 2xy)\right] +2 F_v(x^2 - y^2 , 2xy) \\& + 2x \frac{\partial }{\partial x}\left[F_v(x^2 - y^2 , 2xy)\right] \\ &= -4xy\,F_{uu}(x^2 - y^2 , 2xy) -4y^2 F_{uv}(x^2 - y^2 , 2xy) +2 F_v(x^2 - y^2 , 2xy) \\& + 4x^2 F_{vu}(x^2 - y^2 , 2xy) +4xy\,F_{vv}(x^2 - y^2 , 2xy) \\ &= 2 \, F_v(x^2 - y^2 , 2xy) -4xy\, F_{uu}(x^2 - y^2 , 2xy) \\& +4(x^2-y^2)\, F_{uv}(x^2 - y^2 , 2xy) \\& +4xy\, F_{vv}(x^2 - y^2 , 2xy) \end{aligned}

한 번 더 — 비슷한 문제CLP-3 · 2.4절 · 10번우리말 번역

z=f(x,y)z = f(x,y) 이고 x=2s+tx = 2s + t, y=s−ty = s - t 라 하자. 다음 등식이 성립하도록 하는 상수 aa, bb, cc 의 값을 구하세요.

a∂2z∂x2+b∂2z∂x ∂y+c∂2z∂y2=∂2z∂s2+∂2z∂t2a\frac{\partial^2 z}{\partial x^2} +b\frac{\partial^2 z}{\partial x\,\partial y} +c\frac{\partial^2 z}{\partial y^2} =\frac{\partial^2 z}{\partial s^2} +\frac{\partial^2 z}{\partial t^2}

z=f(x,y)z = f(x,y) 는 매끄러운 함수이므로 연쇄 법칙과 혼합 편도함수의 같음에 대한 클레로의 정리를 적용할 수 있다고 가정해도 됩니다.

다 풀었으면 정답 확인

이 문제의 표기는 매우 좋지 않다. 기호 zz 가 한 등식 안에서 두 가지 다른 뜻으로 쓰였기 때문이다. 좌변에서는 xx 와 yy 의 함수이고, 우변에서는 ss 와 tt 의 함수이다. 안타깝게도 이러한 표기의 남용은 매우 흔하다. ss 와 tt 의 함수를 F(s,t)F(s,t) 로 바꾸어 표기의 충돌을 없애자. 즉,

F(s,t)=f(2s+t , s−t)F(s,t) = f\big(2s+t\,,\,s-t\big)

이 새 표기에서는 다음이 성립하도록 aa, bb, cc 를 구하면 된다.

a∂2f∂x2+b∂2f∂x∂y+c∂2f∂y2=∂2F∂s2+∂2F∂t2\begin{aligned} a\frac{\partial^2 f}{\partial x^2} +b\frac{\partial^2 f}{\partial x\partial y} +c\frac{\partial^2 f}{\partial y^2} &=\frac{\partial^2 F}{\partial s^2} + \frac{\partial^2 F}{\partial t^2} \end{aligned}

여기서 우변의 인수는 (s,t)(s,t) 이고 좌변의 인수는 (2s+t , s−t)\big(2s+t\,,\,s-t\big) 이다.

연쇄 법칙에 의해

∂F∂s(s,t)=∂f∂x(2s+t , s−t)∂∂s(2s+t)+∂f∂y(2s+t , s−t)∂∂s(s−t)=2∂f∂x(2s+t , s−t)+∂f∂y(2s+t , s−t)∂2F∂s2(s,t)=2∂∂s[∂f∂x(2s+t , s−t)]+∂∂s[∂f∂y(2s+t , s−t)]=4∂2f∂x2(2s+t , s−t)+2∂2f∂y∂x(2s+t , s−t)+2∂2f∂x∂y(2s+t , s−t)+∂2f∂y2(2s+t , s−t)\begin{aligned} \frac{\partial F}{\partial s}(s,t)&= \frac{\partial f}{\partial x}\big(2s+t\,,\,s-t\big)\frac{\partial }{\partial s}(2s+t) +\frac{\partial f}{\partial y}\big(2s+t\,,\,s-t\big)\frac{\partial }{\partial s}(s-t) \\ &= 2\frac{\partial f}{\partial x}\big(2s+t\,,\,s-t\big) +\frac{\partial f}{\partial y}\big(2s+t\,,\,s-t\big) \\ \frac{\partial^2 F}{\partial s^2}(s,t) &= 2\frac{\partial }{\partial s}\left[\frac{\partial f}{\partial x}\big(2s+t\,,\,s-t\big)\right] + \frac{\partial }{\partial s}\left[\frac{\partial f}{\partial y}\big(2s+t\,,\,s-t\big)\right]\\ &= 4\frac{\partial^2 f}{\partial x^2}\big(2s+t\,,\,s-t\big) + 2\frac{\partial^2 f}{\partial y\partial x} \big(2s+t\,,\,s-t\big) \\ & + 2\frac{\partial^2 f}{\partial x\partial y} \big(2s+t\,,\,s-t\big) +\frac{\partial^2 f}{\partial y^2}\big(2s+t\,,\,s-t\big) \end{aligned}

이고

∂F∂t(s,t)=∂f∂x(2s+t , s−t)∂∂t(2s+t)+∂f∂y(2s+t , s−t)∂∂t(s−t)=∂f∂x(2s+t , s−t)−∂f∂y(2s+t , s−t)∂2F∂t2(s,t)=∂∂t[∂f∂x(2s+t , s−t)]−∂∂t[∂f∂y(2s+t , s−t)]=∂2f∂x2(2s+t , s−t)−∂2f∂y∂x(2s+t , s−t)−∂2f∂x∂y(2s+t , s−t)+∂2f∂y2(2s+t , s−t)\begin{aligned} \frac{\partial F}{\partial t}(s,t)&= \frac{\partial f}{\partial x}\big(2s+t\,,\,s-t\big)\frac{\partial }{\partial t}(2s+t) +\frac{\partial f}{\partial y}\big(2s+t\,,\,s-t\big)\frac{\partial }{\partial t}(s-t)\\ &= \frac{\partial f}{\partial x}\big(2s+t\,,\,s-t\big) -\frac{\partial f}{\partial y}\big(2s+t\,,\,s-t\big) \\ \frac{\partial^2 F}{\partial t^2}(s,t) &= \frac{\partial }{\partial t}\left[\frac{\partial f}{\partial x}\big(2s+t\,,\,s-t\big)\right] -\frac{\partial }{\partial t}\left[\frac{\partial f}{\partial y}\big(2s+t\,,\,s-t\big)\right] \\ &= \frac{\partial^2 f}{\partial x^2}\big(2s+t\,,\,s-t\big) -\frac{\partial^2 f}{\partial y\partial x}\big(2s+t\,,\,s-t\big) \\ & -\frac{\partial^2 f}{\partial x\partial y} \big(2s+t\,,\,s-t\big) +\frac{\partial^2 f}{\partial y^2}\big(2s+t\,,\,s-t\big) \end{aligned}

이다. 인수를 생략하면

∂2F∂s2+∂2F∂t2=5∂2f∂x2+2∂2f∂x∂y+2∂2f∂y2\begin{aligned} \frac{\partial^2 F}{\partial s^2} + \frac{\partial^2 F}{\partial t^2} &=5\frac{\partial^2 f}{\partial x^2} +2\frac{\partial^2 f}{\partial x\partial y} +2\frac{\partial^2 f}{\partial y^2} \end{aligned}

이다. 마지막으로 문제의 (좋지 않은) 표기로 되돌리면

∂2z∂s2+∂2z∂t2=5∂2z∂x2+2∂2z∂x∂y+2∂2z∂y2\begin{aligned} \frac{\partial^2 z}{\partial s^2} + \frac{\partial^2 z}{\partial t^2} &=5\frac{\partial^2 z}{\partial x^2} +2\frac{\partial^2 z}{\partial x\partial y} +2\frac{\partial^2 z}{\partial y^2} \end{aligned}

이므로 a=5a=5 이고 b=c=2b=c=2 이다.

이 문제로 이어서 풀기
# 다변수 연쇄법칙계산보통자동 분류

「다변수 연쇄법칙」 문제 목록으로