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

다변수 미분 전체 문제

이 단원의 모든 연습문제입니다. 소단원으로 좁혀 보려면 아래 꼬리표를 누르세요.

유형·난이도는 우리말 풀이가 붙은 문제는 선생님이 정했고, 나머지는 자동 분류라 다를 수 있어요. 난이도가 정해지지 않은 문제는 난이도로 거를 때 빠집니다.

98문제 · 1 / 5쪽

1.CLP-3 · 2.1절 · 6번대학 수준우리말 번역

가능하다면 다음 극한값을 구하세요.

(a) lim⁡(x,y)→(2,−1) (xy+x2)\displaystyle \lim_{(x,y)\rightarrow(2,-1)}\ \big(xy+x^2\big) (b) lim⁡(x,y)→(0,0) xx2+y2\displaystyle \lim_{(x,y)\rightarrow(0,0)}\ \frac{x}{x^2+y^2} (c) lim⁡(x,y)→(0,0) x2x2+y2\displaystyle \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^2}{x^2+y^2} (d) lim⁡(x,y)→(0,0) x3x2+y2\displaystyle \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^3}{x^2+y^2} (e) lim⁡(x,y)→(0,0) x2y2x2+y4\displaystyle \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^2y^2}{x^2+y^4} (f) lim⁡(x,y)→(0,0) (sin⁡x)(ey−1)xy\displaystyle \lim_{(x,y)\rightarrow (0,0)}\ \frac{(\sin x)\left(e^y-1\right)}{xy}

영어 원문 보기

Evaluate, if possible,

(a) lim⁡(x,y)→(2,−1) (xy+x2)\displaystyle \lim_{(x,y)\rightarrow(2,-1)}\ \big(xy+x^2\big) (b) lim⁡(x,y)→(0,0) xx2+y2\displaystyle \lim_{(x,y)\rightarrow(0,0)}\ \frac{x}{x^2+y^2} (c) lim⁡(x,y)→(0,0) x2x2+y2\displaystyle \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^2}{x^2+y^2} (d) lim⁡(x,y)→(0,0) x3x2+y2\displaystyle \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^3}{x^2+y^2} (e) lim⁡(x,y)→(0,0) x2y2x2+y4\displaystyle \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^2y^2}{x^2+y^4} (f) lim⁡(x,y)→(0,0) (sin⁡x)(ey−1)xy\displaystyle \lim_{(x,y)\rightarrow (0,0)}\ \frac{(\sin x)\left(e^y-1\right)}{xy}

정답·풀이 보기

(a) lim⁡(x,y)→(2,−1) (xy+x2)=2(−1)+22=2\displaystyle \lim_{(x,y)\rightarrow(2,-1)}\ \big(xy+x^2\big)=2(-1)+2^2=2

(b) 극좌표로 바꾸면,

lim⁡(x,y)→(0,0) xx2+y2=lim⁡r→0+0≤θ<2π rcos⁡θr2=lim⁡r→0+0≤θ<2π cos⁡θr\begin{aligned} \lim_{(x,y)\rightarrow(0,0)}\ \frac{x}{x^2+y^2} &=\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \frac{r\cos\theta}{r^2} =\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \frac{\cos\theta}{r} \end{aligned}

이 극한은 존재하지 않는다. 예를 들어,

  • θ=0\theta=0 이면,

lim⁡r→0+θ=0 cos⁡θr=lim⁡r→0+ 1r=+∞\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{\theta=0}}\ \frac{\cos\theta}{r} =\lim_{r\rightarrow0^+}\ \frac{1}{r} =+\infty

  • 반면 θ=π\theta=\pi 이면,

lim⁡r→0+θ=π cos⁡θr=lim⁡r→0+ −1r=−∞\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{\theta=\pi}}\ \frac{\cos\theta}{r} =\lim_{r\rightarrow0^+}\ \frac{-1}{r} =-\infty

이기 때문이다.

(c) 극좌표로 바꾸면,

lim⁡(x,y)→(0,0) x2x2+y2=lim⁡r→0+0≤θ<2π r2cos⁡2θr2=lim⁡r→0+0≤θ<2π cos⁡2θ\begin{aligned} \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^2}{x^2+y^2} &=\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \frac{r^2\cos^2\theta}{r^2} =\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \cos^2\theta \end{aligned}

이 극한은 존재하지 않는다. 예를 들어,

  • θ=0\theta=0 이면,

lim⁡r→0+θ=0 cos⁡2θ=lim⁡r→0+ 1=1\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{\theta=0}}\ \cos^2\theta =\lim_{r\rightarrow0^+}\ 1 = 1

  • 반면 θ=π2\theta=\frac{\pi}{2} 이면,

lim⁡r→0+θ=π/2 cos⁡2θ=lim⁡r→0+ 0=0\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{\theta=\pi/2}}\ \cos^2\theta =\lim_{r\rightarrow0^+}\ 0 =0

이기 때문이다.

(d) 극좌표로 바꾸면,

lim⁡(x,y)→(0,0) x3x2+y2=lim⁡r→0+0≤θ<2π r3cos⁡3θr2=lim⁡r→0+0≤θ<2π rcos⁡3θ=0\begin{aligned} \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^3}{x^2+y^2} &=\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \frac{r^3\cos^3\theta}{r^2} =\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ r\cos^3\theta =0 \end{aligned}

모든 θ\theta 에 대해 ∣cos⁡θ∣≤1|\cos\theta|\le 1 이기 때문이다.

(e) 극좌표로 바꾸면,

lim⁡(x,y)→(0,0) x2y2x2+y4=lim⁡r→0+0≤θ<2π r2cos⁡2θ r2sin⁡2θr2cos⁡2θ+r4sin⁡4θ=lim⁡r→0+0≤θ<2π r2sin⁡2θcos⁡2θcos⁡2θ+r2sin⁡4θ=0\begin{aligned} \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^2y^2}{x^2+y^4} &=\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \frac{r^2\cos^2\theta\ r^2\sin^2\theta} {r^2\cos^2\theta+r^4\sin^4\theta} =\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ r^2\sin^2\theta \frac{\cos^2\theta}{\cos^2\theta+r^2\sin^4\theta} \\ &= 0 \end{aligned}

여기서 모든 r>0r>0 에 대해 다음이 성립함을 이용하였다.

∣sin⁡2θcos⁡2θcos⁡2θ+r2sin⁡4θ∣≤cos⁡2θcos⁡2θ+r2sin⁡4θ≤{cos⁡2θcos⁡2θ(cos⁡θ≠0 일 때)0(cos⁡θ=0 일 때)}≤1\left|\sin^2\theta\frac{\cos^2\theta} {\cos^2\theta+r^2\sin^4\theta}\right| \le \frac{\cos^2\theta} {\cos^2\theta+r^2\sin^4\theta} \le \left.\begin{cases} \frac{\cos^2\theta} {\cos^2\theta}&\text{(}\cos\theta\ne 0\text{ 일 때)}\\ 0 &\text{(}\cos\theta =0\text{ 일 때)}\end{cases} \right\} \le 1

(f) 먼저 다음을 관찰하자.

lim⁡(x,y)→(0,0) (sin⁡x)(ey−1)xy=[lim⁡x→0 sin⁡xx][lim⁡y→0 ey−1y]\begin{aligned} \lim_{(x,y)\rightarrow (0,0)}\ \frac{(\sin x)\left(e^y-1\right)}{xy} =\left[\lim_{x\rightarrow 0}\ \frac{\sin x}{x}\right] \left[\lim_{y\rightarrow 0}\ \frac{e^y-1}{y}\right] \end{aligned}

[lim⁡x→0 sin⁡xx]\displaystyle \left[\lim_{x\rightarrow 0}\ \frac{\sin x}{x}\right] 은 로피탈 법칙 또는 미분계수의 정의를 이용하여 구할 수 있으며, 다음과 같다.

lim⁡x→0 sin⁡xx=lim⁡x→0 sin⁡x−sin⁡0x−0=ddxsin⁡x∣x=0=cos⁡x∣x=0=1\lim_{x\rightarrow 0}\ \frac{\sin x}{x} =\lim_{x\rightarrow 0}\ \frac{\sin x-\sin 0}{x-0} =\frac{\mathrm{d}}{\mathrm{d}x}\sin x\bigg|_{x=0} =\cos x\Big|_{x=0}=1

마찬가지로 [lim⁡y→0 ey−1y]\displaystyle \left[\lim_{y\rightarrow 0}\ \frac{e^y-1}{y}\right] 도 로피탈 법칙 또는 미분계수의 정의를 이용하여 구할 수 있으며, 다음과 같다.

lim⁡y→0 ey−1y=lim⁡y→0 ey−e0y−0=ddyey∣y=0=ey∣y=0=1\lim_{y\rightarrow 0}\ \frac{e^y-1}{y} =\lim_{y\rightarrow 0}\ \frac{e^y-e^0}{y-0} =\frac{\mathrm{d}}{\mathrm{d}y}e^y\bigg|_{y=0} =e^y\Big|_{y=0}=1

따라서 모두 합하면

lim⁡(x,y)→(0,0) (sin⁡x)(ey−1)xy=[lim⁡x→0 sin⁡xx][lim⁡y→0 ey−1y]=[1] [1]=1\begin{aligned} \lim_{(x,y)\rightarrow (0,0)}\ \frac{(\sin x)\left(e^y-1\right)}{xy} =\left[\lim_{x\rightarrow 0}\ \frac{\sin x}{x}\right] \left[\lim_{y\rightarrow 0}\ \frac{e^y-1}{y}\right] =[1]\ [1]=1 \end{aligned}

이다.

원본 교재 풀이(영어)

(a) lim⁡(x,y)→(2,−1) (xy+x2)=2(−1)+22=2\displaystyle \lim_{(x,y)\rightarrow(2,-1)}\ \big(xy+x^2\big)=2(-1)+2^2=2

(b) Switching to polar coordinates,

lim⁡(x,y)→(0,0) xx2+y2=lim⁡r→0+0≤θ<2π rcos⁡θr2=lim⁡r→0+0≤θ<2π cos⁡θr\begin{aligned} \lim_{(x,y)\rightarrow(0,0)}\ \frac{x}{x^2+y^2} &=\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \frac{r\cos\theta}{r^2} =\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \frac{\cos\theta}{r} \end{aligned}

which does not exist, since, for example,

  • if θ=0\theta=0, then

lim⁡r→0+θ=0 cos⁡θr=lim⁡r→0+ 1r=+∞\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{\theta=0}}\ \frac{\cos\theta}{r} =\lim_{r\rightarrow0^+}\ \frac{1}{r} =+\infty

  • while if θ=π\theta=\pi, then

lim⁡r→0+θ=π cos⁡θr=lim⁡r→0+ −1r=−∞\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{\theta=\pi}}\ \frac{\cos\theta}{r} =\lim_{r\rightarrow0^+}\ \frac{-1}{r} =-\infty

(c) Switching to polar coordinates,

lim⁡(x,y)→(0,0) x2x2+y2=lim⁡r→0+0≤θ<2π r2cos⁡2θr2=lim⁡r→0+0≤θ<2π cos⁡2θ\begin{aligned} \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^2}{x^2+y^2} &=\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \frac{r^2\cos^2\theta}{r^2} =\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \cos^2\theta \end{aligned}

which does not exist, since, for example,

  • if θ=0\theta=0, then

lim⁡r→0+θ=0 cos⁡2θ=lim⁡r→0+ 1=1\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{\theta=0}}\ \cos^2\theta =\lim_{r\rightarrow0^+}\ 1 = 1

  • while if θ=π2\theta=\frac{\pi}{2}, then

lim⁡r→0+θ=π/2 cos⁡2θ=lim⁡r→0+ 0=0\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{\theta=\pi/2}}\ \cos^2\theta =\lim_{r\rightarrow0^+}\ 0 =0

(d) Switching to polar coordinates,

lim⁡(x,y)→(0,0) x3x2+y2=lim⁡r→0+0≤θ<2π r3cos⁡3θr2=lim⁡r→0+0≤θ<2π rcos⁡3θ=0\begin{aligned} \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^3}{x^2+y^2} &=\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \frac{r^3\cos^3\theta}{r^2} =\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ r\cos^3\theta =0 \end{aligned}

since ∣cos⁡θ∣≤1|\cos\theta|\le 1 for all θ\theta.

(e) Switching to polar coordinates,

lim⁡(x,y)→(0,0) x2y2x2+y4=lim⁡r→0+0≤θ<2π r2cos⁡2θ r2sin⁡2θr2cos⁡2θ+r4sin⁡4θ=lim⁡r→0+0≤θ<2π r2sin⁡2θcos⁡2θcos⁡2θ+r2sin⁡4θ=0\begin{aligned} \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^2y^2}{x^2+y^4} &=\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \frac{r^2\cos^2\theta\ r^2\sin^2\theta} {r^2\cos^2\theta+r^4\sin^4\theta} =\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ r^2\sin^2\theta \frac{\cos^2\theta}{\cos^2\theta+r^2\sin^4\theta} \\ &= 0 \end{aligned}

Here, we used that

∣sin⁡2θcos⁡2θcos⁡2θ+r2sin⁡4θ∣≤cos⁡2θcos⁡2θ+r2sin⁡4θ≤{cos⁡2θcos⁡2θ if cos⁡θ≠00 if cos⁡θ=0}≤1\left|\sin^2\theta\frac{\cos^2\theta} {\cos^2\theta+r^2\sin^4\theta}\right| \le \frac{\cos^2\theta} {\cos^2\theta+r^2\sin^4\theta} \le \left.\begin{cases} \frac{\cos^2\theta} {\cos^2\theta}&\text{ if }\cos\theta\ne 0 \\ 0 &\text { if }\cos\theta =0 \end{cases} \right\} \le 1

for all r>0r>0.

(f) To start, observe that

lim⁡(x,y)→(0,0) (sin⁡x)(ey−1)xy=[lim⁡x→0 sin⁡xx][lim⁡y→0 ey−1y]\begin{aligned} \lim_{(x,y)\rightarrow (0,0)}\ \frac{(\sin x)\left(e^y-1\right)}{xy} =\left[\lim_{x\rightarrow 0}\ \frac{\sin x}{x}\right] \left[\lim_{y\rightarrow 0}\ \frac{e^y-1}{y}\right] \end{aligned}

We may evaluate [lim⁡x→0 sin⁡xx]\displaystyle \left[\lim_{x\rightarrow 0}\ \frac{\sin x}{x}\right] by l'Hopital's rule or by using the definition of the derivative to give

lim⁡x→0 sin⁡xx=lim⁡x→0 sin⁡x−sin⁡0x−0=ddxsin⁡x∣x=0=cos⁡x∣x=0=1\lim_{x\rightarrow 0}\ \frac{\sin x}{x} =\lim_{x\rightarrow 0}\ \frac{\sin x-\sin 0}{x-0} =\frac{\mathrm{d}}{\mathrm{d}x}\sin x\bigg|_{x=0} =\cos x\Big|_{x=0}=1

Similarly, we may evaluate [lim⁡y→0 ey−1y]\displaystyle \left[\lim_{y\rightarrow 0}\ \frac{e^y-1}{y}\right] by l'Hopital's rule or by using the definition of the derivative to give

lim⁡y→0 ey−1y=lim⁡y→0 ey−e0y−0=ddyey∣y=0=ey∣y=0=1\lim_{y\rightarrow 0}\ \frac{e^y-1}{y} =\lim_{y\rightarrow 0}\ \frac{e^y-e^0}{y-0} =\frac{\mathrm{d}}{\mathrm{d}y}e^y\bigg|_{y=0} =e^y\Big|_{y=0}=1

So all together

lim⁡(x,y)→(0,0) (sin⁡x)(ey−1)xy=[lim⁡x→0 sin⁡xx][lim⁡y→0 ey−1y]=[1] [1]=1\begin{aligned} \lim_{(x,y)\rightarrow (0,0)}\ \frac{(\sin x)\left(e^y-1\right)}{xy} =\left[\lim_{x\rightarrow 0}\ \frac{\sin x}{x}\right] \left[\lim_{y\rightarrow 0}\ \frac{e^y-1}{y}\right] =[1]\ [1]=1 \end{aligned}

한 번 더 — 비슷한 문제 풀기OpenStax 3권 · 4.2절 · 10번
# 다변수함수의 극한과 연속계산보통자동 분류
2.CLP-3 · 2.1절 · 7번대학 수준우리말 번역

(a) 극한을 구하세요: lim⁡(x,y)→(0,0)x8+y8x4+y4\displaystyle \lim_{(x,y)\to(0,0)}\frac{x^8+y^8}{x^4+y^4}. (b) 다음 극한이 존재하지 않음을 증명하세요: lim⁡(x,y)→(0,0)xy5x8+y10\displaystyle \lim_{(x,y)\to(0,0)}\frac{xy^5}{x^8+y^{10}}.

영어 원문 보기

(a) Find the limit: lim⁡(x,y)→(0,0)x8+y8x4+y4\displaystyle \lim_{(x,y)\to(0,0)}\frac{x^8+y^8}{x^4+y^4}. (b) Prove that the following limit does not exist: lim⁡(x,y)→(0,0)xy5x8+y10\displaystyle \lim_{(x,y)\to(0,0)}\frac{xy^5}{x^8+y^{10}}.

정답·풀이 보기

(a) 극좌표에서 x=rcos⁡θx=r\cos\theta, y=rsin⁡θy=r\sin\theta 이므로

x8+y8x4+y4=r8cos⁡8θ+r8sin⁡8θr4cos⁡4θ+r4sin⁡4θ=r4cos⁡8θ+sin⁡8θcos⁡4θ+sin⁡4θ\begin{aligned} \frac{x^8+y^8}{x^4+y^4} &=\frac{r^8\cos^8\theta+r^8\sin^8\theta}{r^4\cos^4\theta+r^4\sin^4\theta} =r^4\frac{\cos^8\theta+\sin^8\theta}{\cos^4\theta+\sin^4\theta} \end{aligned}

이때

cos⁡8θ+sin⁡8θcos⁡4θ+sin⁡4θ≤cos⁡8θ+2cos⁡4θsin⁡4θ+sin⁡8θcos⁡4θ+sin⁡4θ=(cos⁡4θ+sin⁡4θ)2cos⁡4θ+sin⁡4θ=cos⁡4θ+sin⁡4θ≤2\begin{aligned} \frac{\cos^8\theta+\sin^8\theta}{\cos^4\theta+\sin^4\theta} &\le \frac{\cos^8\theta+2\cos^4\theta\sin^4\theta+\sin^8\theta} {\cos^4\theta+\sin^4\theta} =\frac{\big(\cos^4\theta+\sin^4\theta\big)^2}{\cos^4\theta+\sin^4\theta} \\ &=\cos^4\theta+\sin^4\theta \le 2 \end{aligned}

이므로

0≤x8+y8x4+y4≤2r40\le \frac{x^8+y^8}{x^4+y^4}\le 2r^4

이다. lim⁡(x,y)→(0,0)2r4=0\displaystyle \lim_{(x,y)\to (0,0)}2r^4=0 이므로 조임 정리에 의해 lim⁡(x,y)→(0,0)x8+y8x4+y4=0\displaystyle \lim_{(x,y)\to(0,0)}\frac{x^8+y^8}{x^4+y^4}=0 이다.

(b) 극좌표에서

xy5x8+y10=r6cos⁡θ sin⁡5θr8cos⁡8θ+r10sin⁡10θ=1r2cos⁡θ sin⁡5θcos⁡8θ+r2sin⁡10θ\begin{aligned} \frac{xy^5}{x^8+y^{10}} &=\frac{r^6\cos\theta\,\sin^5\theta}{r^8\cos^8\theta+r^{10}\sin^{10}\theta} =\frac{1}{r^2}\frac{\cos\theta\,\sin^5\theta}{\cos^8\theta+r^2\sin^{10}\theta} \end{aligned}

이다. (x,y)→(0,0)(x,y)\to (0,0) 일 때 첫째 분수 1r2→∞\frac{1}{r^2}\to\infty 이지만, 둘째 인수는 여러 가지 다른 값을 가질 수 있다. 예를 들어 (x,y)(x,y) 를 yy축을 따라, 즉 θ=±π2\theta=\pm\frac{\pi}{2} 로 원점에 가까이 보내면

lim⁡(x,y)→(0,0)x=0xy5x8+y10=lim⁡y→00y10=0\begin{aligned} \lim_{\genfrac{}{}{0pt}{}{(x,y)\to(0,0)}{x=0}}\frac{xy^5}{x^8+y^{10}} =\lim_{y\to 0} \frac{0}{y^{10}}=0 \end{aligned}

이다. 그러나 (x,y)(x,y) 를 직선 y=xy=x 를 따라, 즉 θ=π4,5π4\theta=\frac{\pi}{4},\frac{5\pi}{4} 로 원점에 가까이 보내면

lim⁡(x,y)→(0,0)y=xxy5x8+y10=lim⁡x→0x6x8+x10=lim⁡x→01x211+x2=+∞\begin{aligned} \lim_{\genfrac{}{}{0pt}{}{(x,y)\to(0,0)}{y=x} }\frac{xy^5}{x^8+y^{10}} =\lim_{x\to 0} \frac{x^6}{x^8+x^{10}} =\lim_{x\to 0} \frac{1}{x^2}\frac{1}{1+x^2} =+\infty \end{aligned}

이고, (x,y)(x,y) 를 직선 y=−xy=-x 를 따라, 즉 θ=−π4,3π4\theta=-\frac{\pi}{4},\frac{3\pi}{4} 로 원점에 가까이 보내면

lim⁡(x,y)→(0,0)y=−xxy5x8+y10=lim⁡x→0−x6x8+x10=lim⁡x→0−1x211+x2=−∞\begin{aligned} \lim_{\genfrac{}{}{0pt}{}{(x,y)\to(0,0)}{y=-x} }\frac{xy^5}{x^8+y^{10}} =\lim_{x\to 0} \frac{-x^6}{x^8+x^{10}} =\lim_{x\to 0}- \frac{1}{x^2}\frac{1}{1+x^2} =-\infty \end{aligned}

이다. 따라서 (x,y)→(0,0)(x,y)\to(0,0) 일 때 xy5x8+y10\frac{xy^5}{x^8+y^{10}} 은 하나의 값에 가까워지지 않으므로 극한은 존재하지 않는다.

원본 교재 풀이(영어)

(a) In polar coordinates, x=rcos⁡θx=r\cos\theta, y=rsin⁡θy=r\sin\theta, so that

x8+y8x4+y4=r8cos⁡8θ+r8sin⁡8θr4cos⁡4θ+r4sin⁡4θ=r4cos⁡8θ+sin⁡8θcos⁡4θ+sin⁡4θ\begin{aligned} \frac{x^8+y^8}{x^4+y^4} &=\frac{r^8\cos^8\theta+r^8\sin^8\theta}{r^4\cos^4\theta+r^4\sin^4\theta} =r^4\frac{\cos^8\theta+\sin^8\theta}{\cos^4\theta+\sin^4\theta} \end{aligned}

As

cos⁡8θ+sin⁡8θcos⁡4θ+sin⁡4θ≤cos⁡8θ+2cos⁡4θsin⁡4θ+sin⁡8θcos⁡4θ+sin⁡4θ=(cos⁡4θ+sin⁡4θ)2cos⁡4θ+sin⁡4θ=cos⁡4θ+sin⁡4θ≤2\begin{aligned} \frac{\cos^8\theta+\sin^8\theta}{\cos^4\theta+\sin^4\theta} &\le \frac{\cos^8\theta+2\cos^4\theta\sin^4\theta+\sin^8\theta} {\cos^4\theta+\sin^4\theta} =\frac{\big(\cos^4\theta+\sin^4\theta\big)^2}{\cos^4\theta+\sin^4\theta} \\ &=\cos^4\theta+\sin^4\theta \le 2 \end{aligned}

we have

0≤x8+y8x4+y4≤2r40\le \frac{x^8+y^8}{x^4+y^4}\le 2r^4

As lim⁡(x,y)→(0,0)2r4=0\displaystyle \lim_{(x,y)\to (0,0)}2r^4=0, the squeeze theorem yields lim⁡(x,y)→(0,0)x8+y8x4+y4=0\displaystyle \lim_{(x,y)\to(0,0)}\frac{x^8+y^8}{x^4+y^4}=0.

(b) In polar coordinates

xy5x8+y10=r6cos⁡θ sin⁡5θr8cos⁡8θ+r10sin⁡10θ=1r2cos⁡θ sin⁡5θcos⁡8θ+r2sin⁡10θ\begin{aligned} \frac{xy^5}{x^8+y^{10}} &=\frac{r^6\cos\theta\,\sin^5\theta}{r^8\cos^8\theta+r^{10}\sin^{10}\theta} =\frac{1}{r^2}\frac{\cos\theta\,\sin^5\theta}{\cos^8\theta+r^2\sin^{10}\theta} \end{aligned}

As (x,y)→(0,0)(x,y)\to (0,0) the first fraction 1r2→∞\frac{1}{r^2}\to\infty but the second factor can take many different values. For example, if we send (x,y)(x,y) towards the origin along the yy–axis, i.e. with θ=±π2\theta=\pm\frac{\pi}{2},

lim⁡(x,y)→(0,0)x=0xy5x8+y10=lim⁡y→00y10=0\begin{aligned} \lim_{\genfrac{}{}{0pt}{}{(x,y)\to(0,0)}{x=0}}\frac{xy^5}{x^8+y^{10}} =\lim_{y\to 0} \frac{0}{y^{10}}=0 \end{aligned}

but if we send (x,y)(x,y) towards the origin along the line y=xy=x, i.e. with θ=π4,5π4\theta=\frac{\pi}{4},\frac{5\pi}{4},

lim⁡(x,y)→(0,0)y=xxy5x8+y10=lim⁡x→0x6x8+x10=lim⁡x→01x211+x2=+∞\begin{aligned} \lim_{\genfrac{}{}{0pt}{}{(x,y)\to(0,0)}{y=x} }\frac{xy^5}{x^8+y^{10}} =\lim_{x\to 0} \frac{x^6}{x^8+x^{10}} =\lim_{x\to 0} \frac{1}{x^2}\frac{1}{1+x^2} =+\infty \end{aligned}

and if we send (x,y)(x,y) towards the origin along the line y=−xy=-x, i.e. with θ=−π4,3π4\theta=-\frac{\pi}{4},\frac{3\pi}{4},

lim⁡(x,y)→(0,0)y=−xxy5x8+y10=lim⁡x→0−x6x8+x10=lim⁡x→0−1x211+x2=−∞\begin{aligned} \lim_{\genfrac{}{}{0pt}{}{(x,y)\to(0,0)}{y=-x} }\frac{xy^5}{x^8+y^{10}} =\lim_{x\to 0} \frac{-x^6}{x^8+x^{10}} =\lim_{x\to 0}- \frac{1}{x^2}\frac{1}{1+x^2} =-\infty \end{aligned}

So xy5x8+y10\frac{xy^5}{x^8+y^{10}} does not approach a single value as (x,y)→(0,0)(x,y)\to(0,0) and the limit does not exist.

한 번 더 — 비슷한 문제 풀기CLP-3 · 2.1절 · 6번
# 다변수함수의 극한과 연속증명·논술보통자동 분류
3.CLP-3 · 2.1절 · 8번대학 수준우리말 번역

다음 각 극한의 값을 구하거나 극한이 존재하지 않음을 보이세요.

(a) lim⁡(x,y)→(0,0)x3−y3x2+y2\displaystyle \lim_{(x,y)\rightarrow (0,0)}\frac{x^3-y^3}{x^2+y^2} (b) lim⁡(x,y)→(0,0)x2−y4x2+y4\displaystyle \lim_{(x,y)\rightarrow (0,0)}\frac{x^2-y^4}{x^2+y^4}

영어 원문 보기

Evaluate each of the following limits or show that it does not exist.

(a) lim⁡(x,y)→(0,0)x3−y3x2+y2\displaystyle \lim_{(x,y)\rightarrow (0,0)}\frac{x^3-y^3}{x^2+y^2} (b) lim⁡(x,y)→(0,0)x2−y4x2+y4\displaystyle \lim_{(x,y)\rightarrow (0,0)}\frac{x^2-y^4}{x^2+y^4}

정답·풀이 보기

(a) 극좌표로 나타내면

x3−y3x2+y2=r3cos⁡3θ−r3sin⁡3θr2=rcos⁡3θ−rsin⁡3θ\frac{x^3-y^3}{x^2+y^2}=\frac{r^3\cos^3\theta-r^3\sin^3\theta}{r^2} =r\cos^3\theta-r\sin^3\theta

이다.

∣rcos⁡3θ−rsin⁡3θ∣≤2r\big|r\cos^3\theta-r\sin^3\theta\big|\le 2r

이고 r→0r\rightarrow 0 일 때 2r→02r\rightarrow 0 이므로, 극한이 존재하고 그 값은 00 이다.

(b) xx축을 따라 (0,0)(0,0) 에 접근할 때의 극한은

lim⁡t→0x2−y4x2+y4∣(x,y)=(t,0)=lim⁡t→0t2−04t2+04=1\begin{aligned} \lim_{t\rightarrow 0}\frac{x^2-y^4}{x^2+y^4}\bigg|_{(x,y)=(t,0)} =\lim_{t\rightarrow 0}\frac{t^2-0^4}{t^2+0^4} =1 \end{aligned}

이다. 한편 yy축을 따라 (0,0)(0,0) 에 접근할 때의 극한은

lim⁡t→0x2−y4x2+y4∣(x,y)=(0,t)=lim⁡t→002−t402+t4=−1\begin{aligned} \lim_{t\rightarrow 0}\frac{x^2-y^4}{x^2+y^4}\bigg|_{(x,y)=(0,t)} =\lim_{t\rightarrow 0}\frac{0^2-t^4}{0^2+t^4} =-1 \end{aligned}

이다. 두 값이 서로 다르므로 (x,y)→0(x,y)\rightarrow 0 일 때의 극한은 존재하지 않는다.

극좌표로 바꾸면 원점 근처에서 x2−y4x2+y4\frac{x^2-y^4}{x^2+y^4} 의 거동을 더 자세히 이해할 수 있다.

x2−y4x2+y4=r2cos⁡2θ−r4sin⁡4θr2cos⁡2θ+r4sin⁡4θ=cos⁡2θ−r2sin⁡4θcos⁡2θ+r2sin⁡4θ\frac{x^2-y^4}{x^2+y^4} =\frac{r^2\cos^2\theta-r^4\sin^4\theta}{r^2\cos^2\theta+r^4\sin^4\theta} =\frac{\cos^2\theta-r^2\sin^4\theta}{\cos^2\theta+r^2\sin^4\theta}

이제 θ\theta 를 임의로 고정하고 r→0r\rightarrow 0 이라 하자(즉 양의 xx축과 이루는 각이 θ\theta 인 반직선을 따라 원점에 접근한다). cos⁡θ≠0\cos\theta\ne 0 이면(즉 그 반직선이 yy축의 일부가 아니면)

lim⁡r→0cos⁡2θ−r2sin⁡4θcos⁡2θ+r2sin⁡4θ=cos⁡2θcos⁡2θ=1\begin{aligned} \lim_{r\rightarrow 0} \frac{\cos^2\theta-r^2\sin^4\theta}{\cos^2\theta+r^2\sin^4\theta} =\frac{\cos^2\theta}{\cos^2\theta} =1 \end{aligned}

이다. 그러나 cos⁡θ=0\cos\theta= 0 이면(즉 그 반직선이 yy축의 일부이면)

lim⁡r→0cos⁡2θ−r2sin⁡4θcos⁡2θ+r2sin⁡4θ=lim⁡r→0−r2sin⁡4θr2sin⁡4θ=−sin⁡4θsin⁡4θ=−1\begin{aligned} \lim_{r\rightarrow 0} \frac{\cos^2\theta-r^2\sin^4\theta}{\cos^2\theta+r^2\sin^4\theta} =\lim_{r\rightarrow 0} \frac{-r^2\sin^4\theta}{r^2\sin^4\theta} =\frac{-\sin^4\theta}{\sin^4\theta} =-1 \end{aligned}

이다.

원본 교재 풀이(영어)

(a) In polar coordinates

x3−y3x2+y2=r3cos⁡3θ−r3sin⁡3θr2=rcos⁡3θ−rsin⁡3θ\frac{x^3-y^3}{x^2+y^2}=\frac{r^3\cos^3\theta-r^3\sin^3\theta}{r^2} =r\cos^3\theta-r\sin^3\theta

Since

∣rcos⁡3θ−rsin⁡3θ∣≤2r\big|r\cos^3\theta-r\sin^3\theta\big|\le 2r

and 2r→02r\rightarrow 0 as r→0r\rightarrow 0, the limit exists and is 00.

(b) The limit as we approach (0,0)(0,0) along the xx-axis is

lim⁡t→0x2−y4x2+y4∣(x,y)=(t,0)=lim⁡t→0t2−04t2+04=1\begin{aligned} \lim_{t\rightarrow 0}\frac{x^2-y^4}{x^2+y^4}\bigg|_{(x,y)=(t,0)} =\lim_{t\rightarrow 0}\frac{t^2-0^4}{t^2+0^4} =1 \end{aligned}

On the other hand the limit as we approach (0,0)(0,0) along the yy-axis is

lim⁡t→0x2−y4x2+y4∣(x,y)=(0,t)=lim⁡t→002−t402+t4=−1\begin{aligned} \lim_{t\rightarrow 0}\frac{x^2-y^4}{x^2+y^4}\bigg|_{(x,y)=(0,t)} =\lim_{t\rightarrow 0}\frac{0^2-t^4}{0^2+t^4} =-1 \end{aligned}

These are different, so the limit as (x,y)→0(x,y)\rightarrow 0 does not exist.

We can gain a more detailed understanding of the behaviour of x2−y4x2+y4\frac{x^2-y^4}{x^2+y^4} near the origin by switching to polar coordinates.

x2−y4x2+y4=r2cos⁡2θ−r4sin⁡4θr2cos⁡2θ+r4sin⁡4θ=cos⁡2θ−r2sin⁡4θcos⁡2θ+r2sin⁡4θ\frac{x^2-y^4}{x^2+y^4} =\frac{r^2\cos^2\theta-r^4\sin^4\theta}{r^2\cos^2\theta+r^4\sin^4\theta} =\frac{\cos^2\theta-r^2\sin^4\theta}{\cos^2\theta+r^2\sin^4\theta}

Now fix any θ\theta and let r→0r\rightarrow 0 (so that we are approaching the origin along the ray that makes an angle θ\theta with the positive xx-axis). If cos⁡θ≠0\cos\theta\ne 0 (i.e. the ray is not part of the yy-axis)

lim⁡r→0cos⁡2θ−r2sin⁡4θcos⁡2θ+r2sin⁡4θ=cos⁡2θcos⁡2θ=1\begin{aligned} \lim_{r\rightarrow 0} \frac{\cos^2\theta-r^2\sin^4\theta}{\cos^2\theta+r^2\sin^4\theta} =\frac{\cos^2\theta}{\cos^2\theta} =1 \end{aligned}

But if cos⁡θ=0\cos\theta= 0 (i.e. the ray is part of the yy-axis)

lim⁡r→0cos⁡2θ−r2sin⁡4θcos⁡2θ+r2sin⁡4θ=lim⁡r→0−r2sin⁡4θr2sin⁡4θ=−sin⁡4θsin⁡4θ=−1\begin{aligned} \lim_{r\rightarrow 0} \frac{\cos^2\theta-r^2\sin^4\theta}{\cos^2\theta+r^2\sin^4\theta} =\lim_{r\rightarrow 0} \frac{-r^2\sin^4\theta}{r^2\sin^4\theta} =\frac{-\sin^4\theta}{\sin^4\theta} =-1 \end{aligned}

한 번 더 — 비슷한 문제 풀기OpenStax 3권 · 4.2절 · 42번
# 다변수함수의 극한과 연속증명·논술보통자동 분류
4.CLP-3 · 2.2절 · 4번대학 수준우리말 번역

다음 함수의 모든 1계 편도함수를 구하고, 주어진 점에서의 값을 구하세요.

(a) f(x,y,z)=x3y4z5(0,−1,−1)f(x,y,z)=x^3y^4z^5\qquad (0,-1,-1) (b) w(x,y,z)=ln⁡(1+exyz)(2,0,−1)w(x,y,z)=\ln\left(1+e^{xyz}\right)\qquad (2,0,-1) (c) f(x,y)=1x2+y2(−3,4)f(x,y)=\frac{1}{\sqrt{x^2+y^2}}\qquad (-3,4)

영어 원문 보기

Find all first partial derivatives of the following functions and evaluate them at the given point.

(a) f(x,y,z)=x3y4z5(0,−1,−1)f(x,y,z)=x^3y^4z^5\qquad (0,-1,-1) (b) w(x,y,z)=ln⁡(1+exyz)(2,0,−1)w(x,y,z)=\ln\left(1+e^{xyz}\right)\qquad (2,0,-1) (c) f(x,y)=1x2+y2(−3,4)f(x,y)=\frac{1}{\sqrt{x^2+y^2}}\qquad (-3,4)

정답·풀이 보기

(a)

fx(x,y,z)=3x2y4z5fx(0,−1,−1)=0fy(x,y,z)=4x3y3z5fy(0,−1,−1)=0fz(x,y,z)=5x3y4z4fz(0,−1,−1)=0\begin{aligned} f_x(x,y,z)&=3x^2y^4z^5 & f_x(0,-1,-1)&=0\\ f_y(x,y,z)&=4x^3y^3z^5 & f_y(0,-1,-1)&=0\\ f_z(x,y,z)&=5x^3y^4z^4 & f_z(0,-1,-1)&=0 \end{aligned}

(b)

wx(x,y,z)=yzexyz1+exyzwx(2,0,−1)=0wy(x,y,z)=xzexyz1+exyzwy(2,0,−1)=−1wz(x,y,z)=xyexyz1+exyzwz(2,0,−1)=0\begin{aligned} w_x(x,y,z)&=\frac{yz e^{xyz}}{1+e^{xyz}} & w_x(2,0,-1)&=0\\ w_y(x,y,z)&=\frac{xz e^{xyz}}{1+e^{xyz}} & w_y(2,0,-1)&=-1\\ w_z(x,y,z)&=\frac{xy e^{xyz}}{1+e^{xyz}} & w_z(2,0,-1)&=0 \end{aligned}

(c)

fx(x,y)=−x(x2+y2)3/2fx(−3,4)=3125fy(x,y)=−y(x2+y2)3/2fy(−3,4)=−4125\begin{aligned} f_x(x,y)&=-\frac{x}{(x^2+y^2)^{3/2}} & f_x(-3,4)&=\frac{3}{125}\\ f_y(x,y)&=-\frac{y}{(x^2+y^2)^{3/2}} & f_y(-3,4)&=-\frac{4}{125} \end{aligned}

원본 교재 풀이(영어)

(a)

fx(x,y,z)=3x2y4z5fx(0,−1,−1)=0fy(x,y,z)=4x3y3z5fy(0,−1,−1)=0fz(x,y,z)=5x3y4z4fz(0,−1,−1)=0\begin{aligned} f_x(x,y,z)&=3x^2y^4z^5 & f_x(0,-1,-1)&=0\\ f_y(x,y,z)&=4x^3y^3z^5 & f_y(0,-1,-1)&=0\\ f_z(x,y,z)&=5x^3y^4z^4 & f_z(0,-1,-1)&=0 \end{aligned}

(b)

wx(x,y,z)=yzexyz1+exyzwx(2,0,−1)=0wy(x,y,z)=xzexyz1+exyzwy(2,0,−1)=−1wz(x,y,z)=xyexyz1+exyzwz(2,0,−1)=0\begin{aligned} w_x(x,y,z)&=\frac{yz e^{xyz}}{1+e^{xyz}} & w_x(2,0,-1)&=0\\ w_y(x,y,z)&=\frac{xz e^{xyz}}{1+e^{xyz}} & w_y(2,0,-1)&=-1\\ w_z(x,y,z)&=\frac{xy e^{xyz}}{1+e^{xyz}} & w_z(2,0,-1)&=0 \end{aligned}

(c)

fx(x,y)=−x(x2+y2)3/2fx(−3,4)=3125fy(x,y)=−y(x2+y2)3/2fy(−3,4)=−4125\begin{aligned} f_x(x,y)&=-\frac{x}{(x^2+y^2)^{3/2}} & f_x(-3,4)&=\frac{3}{125}\\ f_y(x,y)&=-\frac{y}{(x^2+y^2)^{3/2}} & f_y(-3,4)&=-\frac{4}{125} \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-3 · 2.2절 · 5번
# 편도함수계산보통자동 분류
5.CLP-3 · 2.2절 · 5번대학 수준우리말 번역

함수 z(x,y)=x+yx−yz(x,y)=\frac{x+y}{x-y} 가 다음을 만족시킴을 보이세요.

x∂z∂x(x,y)+y∂z∂y(x,y)=0x\frac{\partial z}{\partial x}(x,y)+y\frac{\partial z}{\partial y}(x,y) = 0

영어 원문 보기

Show that the function z(x,y)=x+yx−yz(x,y)=\frac{x+y}{x-y} obeys

x∂z∂x(x,y)+y∂z∂y(x,y)=0x\frac{\partial z}{\partial x}(x,y)+y\frac{\partial z}{\partial y}(x,y) = 0

정답·풀이 보기

몫의 미분법에 의해

∂z∂x(x,y)=(1)(x−y)−(x+y)(1)(x−y)2=−2y(x−y)2∂z∂y(x,y)=(1)(x−y)−(x+y)(−1)(x−y)2=2x(x−y)2\begin{aligned} \frac{\partial z}{\partial x}(x,y) &=\frac{(1)(x-y)-(x+y)(1)}{(x-y)^2} &&=\frac{-2y}{(x-y)^2}\\ \frac{\partial z}{\partial y}(x,y) &=\frac{(1)(x-y)-(x+y)(-1)}{(x-y)^2} &&=\frac{2x}{(x-y)^2} \end{aligned}

따라서

x∂z∂x(x,y)+y∂z∂y(x,y)=−2xy+2yx(x−y)2=0x\frac{\partial z}{\partial x}(x,y)+y\frac{\partial z}{\partial y}(x,y) =\frac{-2xy+2yx}{(x-y)^2} =0

원본 교재 풀이(영어)

By the quotient rule

∂z∂x(x,y)=(1)(x−y)−(x+y)(1)(x−y)2=−2y(x−y)2∂z∂y(x,y)=(1)(x−y)−(x+y)(−1)(x−y)2=2x(x−y)2\begin{aligned} \frac{\partial z}{\partial x}(x,y) &=\frac{(1)(x-y)-(x+y)(1)}{(x-y)^2} &&=\frac{-2y}{(x-y)^2}\\ \frac{\partial z}{\partial y}(x,y) &=\frac{(1)(x-y)-(x+y)(-1)}{(x-y)^2} &&=\frac{2x}{(x-y)^2} \end{aligned}

Hence

x∂z∂x(x,y)+y∂z∂y(x,y)=−2xy+2yx(x−y)2=0x\frac{\partial z}{\partial x}(x,y)+y\frac{\partial z}{\partial y}(x,y) =\frac{-2xy+2yx}{(x-y)^2} =0

한 번 더 — 비슷한 문제 풀기CLP-3 · 2.2절 · 11번
# 편도함수증명·논술보통자동 분류
6.CLP-3 · 2.2절 · 6번대학 수준우리말 번역

곡면 z(x,y)z(x, y) 가 zy−y+x=ln⁡(xyz)zy - y + x = \ln(xyz) 로 정의된다.

(a) ∂z∂x\frac{\partial z}{\partial x}, ∂z∂y\frac{\partial z}{\partial y} 를 xx, yy, zz 로 나타내어 구하세요. (b) (x,y,z)=(−1,−2,1/2)(x, y, z) = (-1, -2, 1/2) 에서 ∂z∂x\frac{\partial z}{\partial x} 와 ∂z∂y\frac{\partial z}{\partial y} 의 값을 구하세요.

영어 원문 보기

A surface z(x,y)z(x, y) is defined by zy−y+x=ln⁡(xyz)zy - y + x = \ln(xyz).

(a) Compute ∂z∂x\frac{\partial z}{\partial x}, ∂z∂y\frac{\partial z}{\partial y} in terms of xx, yy, zz. (b) Evaluate ∂z∂x\frac{\partial z}{\partial x} and ∂z∂y\frac{\partial z}{\partial y} at (x,y,z)=(−1,−2,1/2)(x, y, z) = (-1, -2, 1/2).

정답·풀이 보기

(a) z(x,y)z(x,y) 는 다음을 만족시킨다고 주어졌다.

z(x,y) y−y+x=ln⁡(xy z(x,y))(∗)\begin{aligned} z(x,y)\, y - y + x = \ln\big(xy\,z(x,y)\big) \tag{$*$}\end{aligned}

이는 모든 (x,y)(x,y) ((−1,−2)(-1,-2) 근방)에 대해 성립한다. (∗)(*) 를 xx 에 대해 미분하면

y ∂z∂x(x,y)+1=1x+∂z∂x(x,y)z(x,y)  ⟹  ∂z∂x(x,y)=1x−1y−1z(x,y)\begin{aligned} y\,\frac{\partial z}{\partial x}(x,y) + 1 = \frac{1}{x} + \frac{\frac{\partial z}{\partial x}(x,y)}{z(x,y)} \implies \frac{\partial z}{\partial x}(x,y) = \frac{\frac{1}{x}-1}{y-\frac{1}{z(x,y)}} \end{aligned}

이고, 인수 (x,y)(x,y) 를 생략한 뒤 분자와 분모에 모두 xzxz 를 곱하면

∂z∂x=z−xzxyz−x=z(1−x)x(yz−1)\begin{aligned} \frac{\partial z}{\partial x} = \frac{z-xz}{xyz-x} = \frac{z(1-x)}{x(yz-1)} \end{aligned}

(∗)(*) 를 yy 에 대해 미분하면

z(x,y)+y ∂z∂y(x,y)−1=1y+∂z∂y(x,y)z(x,y)  ⟹  ∂z∂y(x,y)=1y+1−z(x,y)y−1z(x,y)\begin{aligned} z(x,y)+y\,\frac{\partial z}{\partial y}(x,y) - 1 = \frac{1}{y} + \frac{\frac{\partial z}{\partial y}(x,y)}{z(x,y)} \implies \frac{\partial z}{\partial y}(x,y) = \frac{\frac{1}{y}+1-z(x,y)}{y-\frac{1}{z(x,y)}} \end{aligned}

이고, 인수 (x,y)(x,y) 를 생략한 뒤 분자와 분모에 모두 yzyz 를 곱하면

∂z∂y=z+yz−yz2y2z−y=z(1+y−yz)y(yz−1)\begin{aligned} \frac{\partial z}{\partial y} = \frac{z+yz-yz^2}{y^2z-y} = \frac{z(1+y-yz)}{y(yz-1)} \end{aligned}

(b) (x,y,z)=(−1,−2,1/2)(x,y,z) = (-1, -2, 1/2) 일 때,

∂z∂x(−1,−2)=1x−1y−1z∣(x,y,z)=(−1,−2,1/2)=1−1−1−2−2=12∂z∂y(−1,−2)=1y+1−zy−1z∣(x,y,z)=(−1,−2,1/2)=1−2+1−12−2−2=0\begin{aligned} \frac{\partial z}{\partial x}(-1,-2) &= \left.\frac{\frac{1}{x}-1}{y-\frac{1}{z}} \right|_{(x,y,z) = (-1, -2, 1/2)} =\frac{\frac{1}{-1}-1}{-2-2} =\frac{1}{2} \\ \frac{\partial z}{\partial y}(-1,-2) &= \left.\frac{\frac{1}{y}+1-z}{y-\frac{1}{z}} \right|_{(x,y,z) = (-1, -2, 1/2)} =\frac{\frac{1}{-2}+1-\frac{1}{2}}{-2-2} =0 \end{aligned}

원본 교재 풀이(영어)

(a) We are told that z(x,y)z(x,y) obeys

z(x,y) y−y+x=ln⁡(xy z(x,y))(∗)\begin{aligned} z(x,y)\, y - y + x = \ln\big(xy\,z(x,y)\big) \tag{$*$}\end{aligned}

for all (x,y)(x,y) (near (−1,−2)(-1,-2)). Differentiating (∗)(*) with respect to xx gives

y ∂z∂x(x,y)+1=1x+∂z∂x(x,y)z(x,y)  ⟹  ∂z∂x(x,y)=1x−1y−1z(x,y)\begin{aligned} y\,\frac{\partial z}{\partial x}(x,y) + 1 = \frac{1}{x} + \frac{\frac{\partial z}{\partial x}(x,y)}{z(x,y)} \implies \frac{\partial z}{\partial x}(x,y) = \frac{\frac{1}{x}-1}{y-\frac{1}{z(x,y)}} \end{aligned}

or, dropping the arguments (x,y)(x,y) and multiplying both the numerator and denominator by xzxz,

∂z∂x=z−xzxyz−x=z(1−x)x(yz−1)\begin{aligned} \frac{\partial z}{\partial x} = \frac{z-xz}{xyz-x} = \frac{z(1-x)}{x(yz-1)} \end{aligned}

Differentiating (∗)(*) with respect to yy gives

z(x,y)+y ∂z∂y(x,y)−1=1y+∂z∂y(x,y)z(x,y)  ⟹  ∂z∂y(x,y)=1y+1−z(x,y)y−1z(x,y)\begin{aligned} z(x,y)+y\,\frac{\partial z}{\partial y}(x,y) - 1 = \frac{1}{y} + \frac{\frac{\partial z}{\partial y}(x,y)}{z(x,y)} \implies \frac{\partial z}{\partial y}(x,y) = \frac{\frac{1}{y}+1-z(x,y)}{y-\frac{1}{z(x,y)}} \end{aligned}

or, dropping the arguments (x,y)(x,y) and multiplying both the numerator and denominator by yzyz,

∂z∂y=z+yz−yz2y2z−y=z(1+y−yz)y(yz−1)\begin{aligned} \frac{\partial z}{\partial y} = \frac{z+yz-yz^2}{y^2z-y} = \frac{z(1+y-yz)}{y(yz-1)} \end{aligned}

(b) When (x,y,z)=(−1,−2,1/2)(x,y,z) = (-1, -2, 1/2),

∂z∂x(−1,−2)=1x−1y−1z∣(x,y,z)=(−1,−2,1/2)=1−1−1−2−2=12∂z∂y(−1,−2)=1y+1−zy−1z∣(x,y,z)=(−1,−2,1/2)=1−2+1−12−2−2=0\begin{aligned} \frac{\partial z}{\partial x}(-1,-2) &= \left.\frac{\frac{1}{x}-1}{y-\frac{1}{z}} \right|_{(x,y,z) = (-1, -2, 1/2)} =\frac{\frac{1}{-1}-1}{-2-2} =\frac{1}{2} \\ \frac{\partial z}{\partial y}(-1,-2) &= \left.\frac{\frac{1}{y}+1-z}{y-\frac{1}{z}} \right|_{(x,y,z) = (-1, -2, 1/2)} =\frac{\frac{1}{-2}+1-\frac{1}{2}}{-2-2} =0 \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-3 · 2.2절 · 7번
# 편도함수계산보통자동 분류
7.CLP-3 · 2.2절 · 7번대학 수준우리말 번역

(T,U,V,W)(T, U, V, W) 가 다음 식으로 서로 관계되어 있을 때, (1,1,2,4)(1, 1, 2, 4) 에서 ∂U∂T\frac{\partial U}{\partial T} 와 ∂T∂V\frac{\partial T}{\partial V} 를 구하세요.

(TU−V)2ln⁡(W−UV)=ln⁡2(TU-V)^2 \ln(W-UV) = \ln 2

영어 원문 보기

Find ∂U∂T\frac{\partial U}{\partial T} and ∂T∂V\frac{\partial T}{\partial V} at (1,1,2,4)(1, 1, 2, 4) if (T,U,V,W)(T, U, V, W) are related by

(TU−V)2ln⁡(W−UV)=ln⁡2(TU-V)^2 \ln(W-UV) = \ln 2

정답·풀이 보기

네 변수 TT, UU, VV, WW 는 하나의 방정식 (TU−V)2ln⁡(W−UV)=ln⁡2(TU-V)^2 \ln(W-UV) = \ln 2 를 만족한다고 하였다. 따라서 이 변수들이 모두 독립인 것은 아니다. 대략 말하면, 이 중 세 변수를 독립변수로 보고, 주어진 방정식을 나머지 한 변수에 대해 선택한 세 독립변수의 함수로 풀 수 있다.

먼저 ∂U∂T\frac{\partial U}{\partial T} 를 구하라고 하였다. 이는 TT, VV, WW 를 독립변수로 보고 UU 를 다음을 만족하는 함수 U(T,V,W)U(T,V,W) 로 보라는 뜻이다.

(T U(T,V,W)−V)2ln⁡(W−U(T,V,W) V)=ln⁡2(E1)\big(T\, U(T,V,W)-V\big)^2 \ln\big(W-U(T,V,W)\,V\big) = \ln 2 \tag{E1}

이는 (1,1,2,4)(1, 1, 2, 4) 에 충분히 가까운 모든 (T,U,V,W)(T, U, V, W) 에 대해 성립한다. (E1)의 양변을 TT 에 대해 미분하면 다음과 같다.

2(T U(T,V,W)−V)[U(T,V,W)+T ∂U∂T(T,V,W)]ln⁡(W−U(T,V,W) V)−(T U(T,V,W)−V)21W−U(T,V,W) V∂U∂T(T,V,W) V=0\begin{aligned} &2\big(T\, U(T,V,W)-V\big) \left[ U(T,V,W) +T\ \frac{\partial U}{\partial T}(T,V,W)\right] \ln\big(W-U(T,V,W)\,V\big) \\ & -\big(T\, U(T,V,W)-V\big)^2 \frac{1}{W-U(T,V,W)\,V}\frac{\partial U}{\partial T}(T,V,W)\,V = 0 \end{aligned}

특히 (T,U,V,W)=(1,1,2,4)(T, U, V, W)=(1, 1, 2, 4) 에서는 다음과 같다.

2((1)(1)−2)[1+(1)∂U∂T(1,2,4)]ln⁡(4−(1)(2))−((1)(1)−2)214−(1)(2)∂U∂T(1,2,4) (2)=0\begin{aligned} &2\big((1)(1)-2\big) \left[ 1 +(1)\frac{\partial U}{\partial T}(1,2,4)\right] \ln\big(4-(1)(2)\big) \\ & -\big((1)(1)-2\big)^2 \frac{1}{4-(1)(2)}\frac{\partial U}{\partial T}(1,2,4)\,(2) = 0 \end{aligned}

이를 간단히 하면 다음과 같다.

−2[1+∂U∂T(1,2,4)]ln⁡(2)−∂U∂T(1,2,4)=0  ⟹  ∂U∂T(1,2,4)=−2ln⁡(2)1+2ln⁡(2)\begin{aligned} -2\left[ 1 +\frac{\partial U}{\partial T}(1,2,4)\right] \ln(2) -\frac{\partial U}{\partial T}(1,2,4)=0 \implies \frac{\partial U}{\partial T}(1,2,4) = -\frac{2\ln(2)}{1+2\ln(2)} \end{aligned}

다음으로 ∂T∂V\frac{\partial T}{\partial V} 를 구하라고 하였다. 이는 UU, VV, WW 를 독립변수로 보고 TT 를 다음을 만족하는 함수 T(U,V,W)T(U,V,W) 로 보라는 뜻이다.

(T(U,V,W) U−V)2ln⁡(W−U V)=ln⁡2(E2)\big(T(U,V,W)\, U-V\big)^2 \ln\big(W-U\,V\big) = \ln 2 \tag{E2}

이는 (1,1,2,4)(1, 1, 2, 4) 에 충분히 가까운 모든 (T,U,V,W)(T, U, V, W) 에 대해 성립한다. (E2)의 양변을 VV 에 대해 미분하면 다음과 같다.

2(T(U,V,W) U−V) [∂T∂V(U,V,W) U−1]ln⁡(W−U V)−(T(U,V,W) U−V)2UW−U V=0\begin{aligned} &2\big(T(U,V,W)\, U-V\big)\ \left[\frac{\partial T}{\partial V}(U,V,W)\ U-1\right] \ln\big(W-U\,V\big) \\ & -\big(T(U,V,W)\, U-V\big)^2 \frac{U}{W-U\,V} = 0 \end{aligned}

특히 (T,U,V,W)=(1,1,2,4)(T, U, V, W)=(1, 1, 2, 4) 에서는 다음과 같다.

2((1)(1)−2)[(1)∂T∂V(1,2,4)−1]ln⁡(4−(1)(2))−((1)(1)−2)214−(1)(2)=0\begin{aligned} &2\big((1)(1)-2\big) \left[ (1)\frac{\partial T}{\partial V}(1,2,4)-1\right] \ln\big(4-(1)(2)\big) \\ & -\big((1)(1)-2\big)^2 \frac{1}{4-(1)(2)} = 0 \end{aligned}

이를 간단히 하면 다음과 같다.

−2[∂T∂V(1,2,4)−1]ln⁡(2)−12=0  ⟹  ∂T∂V(1,2,4)=1−14ln⁡(2)\begin{aligned} -2\left[\frac{\partial T}{\partial V}(1,2,4)-1\right] \ln(2) -\frac{1}{2}=0 \implies \frac{\partial T}{\partial V}(1,2,4) = 1 -\frac{1}{4\ln(2)} \end{aligned}

원본 교재 풀이(영어)

We are told that the four variables TT, UU, VV, WW obey the single equation (TU−V)2ln⁡(W−UV)=ln⁡2(TU-V)^2 \ln(W-UV) = \ln 2. So they are not all independent variables. Roughly speaking, we can treat any three of them as independent variables and solve the given equation for the fourth as a function of the three chosen independent variables.

We are first asked to find ∂U∂T\frac{\partial U}{\partial T}. This implicitly tells to treat TT, VV and WW as independent variables and to view UU as a function U(T,V,W)U(T,V,W) that obeys

(T U(T,V,W)−V)2ln⁡(W−U(T,V,W) V)=ln⁡2(E1)\big(T\, U(T,V,W)-V\big)^2 \ln\big(W-U(T,V,W)\,V\big) = \ln 2 \tag{E1}

for all (T,U,V,W)(T, U, V, W) sufficiently near (1,1,2,4)(1, 1, 2, 4). Differentiating (E1) with respect to TT gives

2(T U(T,V,W)−V)[U(T,V,W)+T ∂U∂T(T,V,W)]ln⁡(W−U(T,V,W) V)−(T U(T,V,W)−V)21W−U(T,V,W) V∂U∂T(T,V,W) V=0\begin{aligned} &2\big(T\, U(T,V,W)-V\big) \left[ U(T,V,W) +T\ \frac{\partial U}{\partial T}(T,V,W)\right] \ln\big(W-U(T,V,W)\,V\big) \\ & -\big(T\, U(T,V,W)-V\big)^2 \frac{1}{W-U(T,V,W)\,V}\frac{\partial U}{\partial T}(T,V,W)\,V = 0 \end{aligned}

In particular, for (T,U,V,W)=(1,1,2,4)(T, U, V, W)=(1, 1, 2, 4),

2((1)(1)−2)[1+(1)∂U∂T(1,2,4)]ln⁡(4−(1)(2))−((1)(1)−2)214−(1)(2)∂U∂T(1,2,4) (2)=0\begin{aligned} &2\big((1)(1)-2\big) \left[ 1 +(1)\frac{\partial U}{\partial T}(1,2,4)\right] \ln\big(4-(1)(2)\big) \\ & -\big((1)(1)-2\big)^2 \frac{1}{4-(1)(2)}\frac{\partial U}{\partial T}(1,2,4)\,(2) = 0 \end{aligned}

This simplifies to

−2[1+∂U∂T(1,2,4)]ln⁡(2)−∂U∂T(1,2,4)=0  ⟹  ∂U∂T(1,2,4)=−2ln⁡(2)1+2ln⁡(2)\begin{aligned} -2\left[ 1 +\frac{\partial U}{\partial T}(1,2,4)\right] \ln(2) -\frac{\partial U}{\partial T}(1,2,4)=0 \implies \frac{\partial U}{\partial T}(1,2,4) = -\frac{2\ln(2)}{1+2\ln(2)} \end{aligned}

We are then asked to find ∂T∂V\frac{\partial T}{\partial V}. This implicitly tells to treat UU, VV and WW as independent variables and to view TT as a function T(U,V,W)T(U,V,W) that obeys

(T(U,V,W) U−V)2ln⁡(W−U V)=ln⁡2(E2)\big(T(U,V,W)\, U-V\big)^2 \ln\big(W-U\,V\big) = \ln 2 \tag{E2}

for all (T,U,V,W)(T, U, V, W) sufficiently near (1,1,2,4)(1, 1, 2, 4). Differentiating (E2) with respect to VV gives

2(T(U,V,W) U−V) [∂T∂V(U,V,W) U−1]ln⁡(W−U V)−(T(U,V,W) U−V)2UW−U V=0\begin{aligned} &2\big(T(U,V,W)\, U-V\big)\ \left[\frac{\partial T}{\partial V}(U,V,W)\ U-1\right] \ln\big(W-U\,V\big) \\ & -\big(T(U,V,W)\, U-V\big)^2 \frac{U}{W-U\,V} = 0 \end{aligned}

In particular, for (T,U,V,W)=(1,1,2,4)(T, U, V, W)=(1, 1, 2, 4),

2((1)(1)−2)[(1)∂T∂V(1,2,4)−1]ln⁡(4−(1)(2))−((1)(1)−2)214−(1)(2)=0\begin{aligned} &2\big((1)(1)-2\big) \left[ (1)\frac{\partial T}{\partial V}(1,2,4)-1\right] \ln\big(4-(1)(2)\big) \\ & -\big((1)(1)-2\big)^2 \frac{1}{4-(1)(2)} = 0 \end{aligned}

This simplifies to

−2[∂T∂V(1,2,4)−1]ln⁡(2)−12=0  ⟹  ∂T∂V(1,2,4)=1−14ln⁡(2)\begin{aligned} -2\left[\frac{\partial T}{\partial V}(1,2,4)-1\right] \ln(2) -\frac{1}{2}=0 \implies \frac{\partial T}{\partial V}(1,2,4) = 1 -\frac{1}{4\ln(2)} \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-3 · 2.2절 · 4번
# 편도함수계산보통자동 분류
8.CLP-3 · 2.2절 · 8번대학 수준우리말 번역

u=x2+yzu = x^2 + yz, x=ρrcos⁡(θ)x = \rho r \cos(\theta), y=ρrsin⁡(θ)y = \rho r \sin(\theta), z=ρrz = \rho r 라고 하자. 점 (ρ0,r0,θ0)=(2,3,π/2)(\rho_0 , r_0 , \theta_0) = (2, 3, \pi/2) 에서 ∂u∂r\frac{\partial u}{\partial r} 를 구하세요.

영어 원문 보기

Suppose that u=x2+yzu = x^2 + yz, x=ρrcos⁡(θ)x = \rho r \cos(\theta), y=ρrsin⁡(θ)y = \rho r \sin(\theta) and z=ρrz = \rho r. Find ∂u∂r\frac{\partial u}{\partial r} at the point (ρ0,r0,θ0)=(2,3,π/2)(\rho_0 , r_0 , \theta_0) = (2, 3, \pi/2).

답 쓰고 채점
정답·풀이 보기

함수

u(ρ,r,θ)=[ρrcos⁡θ]2+[ρrsin⁡θ]ρr=ρ2r2cos⁡2θ+ρ2r2sin⁡θ\begin{aligned} u(\rho, r,\theta) &= \big[\rho r\cos\theta\big]^2 +\big[\rho r\sin\theta\big] \rho r \\ &=\rho^2 r^2\cos^2\theta +\rho^2 r^2\sin\theta \end{aligned}

이므로

∂u∂r(ρ,r,θ)=2ρ2rcos⁡2θ+2ρ2rsin⁡θ\begin{aligned} \frac{\partial u}{\partial r}(\rho, r,\theta) &=2 \rho^2 r\cos^2\theta +2 \rho^2 r\sin\theta \end{aligned}

이고

∂u∂r(2,3,π/2)=2(22)(3)(0)2+2(22)(3)(1)=24\begin{aligned} \frac{\partial u}{\partial r}(2, 3,\pi/2) &=2 (2^2) (3) (0)^2 +2 (2^2) (3) (1) =24 \end{aligned}

이다.

원본 교재 풀이(영어)

The function

u(ρ,r,θ)=[ρrcos⁡θ]2+[ρrsin⁡θ]ρr=ρ2r2cos⁡2θ+ρ2r2sin⁡θ\begin{aligned} u(\rho, r,\theta) &= \big[\rho r\cos\theta\big]^2 +\big[\rho r\sin\theta\big] \rho r \\ &=\rho^2 r^2\cos^2\theta +\rho^2 r^2\sin\theta \end{aligned}

So

∂u∂r(ρ,r,θ)=2ρ2rcos⁡2θ+2ρ2rsin⁡θ\begin{aligned} \frac{\partial u}{\partial r}(\rho, r,\theta) &=2 \rho^2 r\cos^2\theta +2 \rho^2 r\sin\theta \end{aligned}

and

∂u∂r(2,3,π/2)=2(22)(3)(0)2+2(22)(3)(1)=24\begin{aligned} \frac{\partial u}{\partial r}(2, 3,\pi/2) &=2 (2^2) (3) (0)^2 +2 (2^2) (3) (1) =24 \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-3 · 2.2절 · 9번
# 편도함수계산보통자동 분류
9.CLP-3 · 2.2절 · 9번대학 수준우리말 번역

미분계수의 정의를 이용하여 다음 함수에 대해 fx(0,0)f_x(0,0) 과 fy(0,0)f_y(0,0) 의 값을 구하세요.

f(x,y)={x2−2y2x−yx≠y 이면0x=y 이면f(x,y)=\begin{cases} \frac{x^2-2y^2}{x-y}&\text{$x\ne y$ 이면}\\ 0&\text{$x=y$ 이면} \end{cases}

영어 원문 보기

Use the definition of the derivative to evaluate fx(0,0)f_x(0,0) and fy(0,0)f_y(0,0) for

f(x,y)={x2−2y2x−yif x≠y0if x=yf(x,y)=\begin{cases} \frac{x^2-2y^2}{x-y}&\text{if $x\ne y$}\\ 0&\text{if $x=y$} \end{cases}

정답·풀이 보기

정의에 의해

fx(x0,y0)=lim⁡Δx→0f(x0+Δx,y0)−f(x0,y0)Δxfy(x0,y0)=lim⁡Δy→0f(x0,y0+Δy)−f(x0,y0)Δyf_x(x_0,y_0)=\lim_{\Delta x\rightarrow 0}\frac{f(x_0+\Delta x,y_0)-f(x_0,y_0)}{\Delta x} \qquad f_y(x_0,y_0)=\lim_{\Delta y\rightarrow 0}\frac{f(x_0,y_0+\Delta y)-f(x_0,y_0)}{\Delta y}

이다. x0=y0=0x_0=y_0=0 을 대입하면

fx(0,0)=lim⁡Δx→0f(Δx,0)−f(0,0)Δx=lim⁡Δx→0f(Δx,0)Δx=lim⁡Δx→0((Δx)2−2×02)/(Δx−0)Δx=lim⁡Δx→01=1fy(0,0)=lim⁡Δy→0f(0,Δy)−f(0,0)Δy=lim⁡Δy→0f(0,Δy)Δy=lim⁡Δy→0(02−2(Δy)2)/(0−Δy)Δy=lim⁡Δy→02=2\begin{aligned} f_x(0,0)&=\lim_{\Delta x\rightarrow 0}\frac{f(\Delta x,0)-f(0,0)}{\Delta x} &=\lim_{\Delta x\rightarrow 0}\frac{f(\Delta x,0)}{\Delta x} &=\lim_{\Delta x\rightarrow 0}\frac{((\Delta x)^2-2\times0^2)/(\Delta x-0)}{\Delta x} \\ &=\lim_{\Delta x\rightarrow 0}1 =1\\ f_y(0,0)&=\lim_{\Delta y\rightarrow 0}\frac{f(0,\Delta y)-f(0,0)}{\Delta y} &=\lim_{\Delta y\rightarrow 0}\frac{f(0,\Delta y)}{\Delta y} &=\lim_{\Delta y\rightarrow 0}\frac{(0^2-2(\Delta y)^2)/(0-\Delta y)}{\Delta y} \\ &=\lim_{\Delta y\rightarrow 0}2 =2 \end{aligned}

이다.

원본 교재 풀이(영어)

By definition

fx(x0,y0)=lim⁡Δx→0f(x0+Δx,y0)−f(x0,y0)Δxfy(x0,y0)=lim⁡Δy→0f(x0,y0+Δy)−f(x0,y0)Δyf_x(x_0,y_0)=\lim_{\Delta x\rightarrow 0}\frac{f(x_0+\Delta x,y_0)-f(x_0,y_0)}{\Delta x} \qquad f_y(x_0,y_0)=\lim_{\Delta y\rightarrow 0}\frac{f(x_0,y_0+\Delta y)-f(x_0,y_0)}{\Delta y}

Setting x0=y0=0x_0=y_0=0,

fx(0,0)=lim⁡Δx→0f(Δx,0)−f(0,0)Δx=lim⁡Δx→0f(Δx,0)Δx=lim⁡Δx→0((Δx)2−2×02)/(Δx−0)Δx=lim⁡Δx→01=1fy(0,0)=lim⁡Δy→0f(0,Δy)−f(0,0)Δy=lim⁡Δy→0f(0,Δy)Δy=lim⁡Δy→0(02−2(Δy)2)/(0−Δy)Δy=lim⁡Δy→02=2\begin{aligned} f_x(0,0)&=\lim_{\Delta x\rightarrow 0}\frac{f(\Delta x,0)-f(0,0)}{\Delta x} &=\lim_{\Delta x\rightarrow 0}\frac{f(\Delta x,0)}{\Delta x} &=\lim_{\Delta x\rightarrow 0}\frac{((\Delta x)^2-2\times0^2)/(\Delta x-0)}{\Delta x} \\ &=\lim_{\Delta x\rightarrow 0}1 =1\\ f_y(0,0)&=\lim_{\Delta y\rightarrow 0}\frac{f(0,\Delta y)-f(0,0)}{\Delta y} &=\lim_{\Delta y\rightarrow 0}\frac{f(0,\Delta y)}{\Delta y} &=\lim_{\Delta y\rightarrow 0}\frac{(0^2-2(\Delta y)^2)/(0-\Delta y)}{\Delta y} \\ &=\lim_{\Delta y\rightarrow 0}2 =2 \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-3 · 2.2절 · 2번
# 편도함수계산보통자동 분류
10.CLP-3 · 2.3절 · 3번대학 수준우리말 번역

주어진 편도함수를 구하세요.

(a) f(x,y)=x2y3f(x,y) = x^2y^3; fxx(x,y)f_{xx}(x,y), fxyy(x,y)f_{xyy}(x,y), fyxy(x,y)f_{yxy}(x,y) (b) f(x,y)=exy2f(x,y) = e^{xy^2}; fxx(x,y)f_{xx}(x,y), fxy(x,y)f_{xy}(x,y), fxxy(x,y)f_{xxy}(x,y), fxyy(x,y)f_{xyy}(x,y) (c) f(u,v,w)=1u+2v+3w \displaystyle f(u,v,w) = \frac{1}{u+2v+3w}\ , ∂3f∂u∂v∂w(u,v,w) \displaystyle \frac{\partial^3 f}{\partial u\partial v\partial w}(u,v,w)\ , ∂3f∂u∂v∂w(3,2,1)\displaystyle \frac{\partial^3 f}{\partial u\partial v\partial w}(3,2,1)

영어 원문 보기

Find the specified partial derivatives.

(a) f(x,y)=x2y3f(x,y) = x^2y^3; fxx(x,y)f_{xx}(x,y), fxyy(x,y)f_{xyy}(x,y), fyxy(x,y)f_{yxy}(x,y) (b) f(x,y)=exy2f(x,y) = e^{xy^2}; fxx(x,y)f_{xx}(x,y), fxy(x,y)f_{xy}(x,y), fxxy(x,y)f_{xxy}(x,y), fxyy(x,y)f_{xyy}(x,y) (c) f(u,v,w)=1u+2v+3w \displaystyle f(u,v,w) = \frac{1}{u+2v+3w}\ , ∂3f∂u∂v∂w(u,v,w) \displaystyle \frac{\partial^3 f}{\partial u\partial v\partial w}(u,v,w)\ , ∂3f∂u∂v∂w(3,2,1)\displaystyle \frac{\partial^3 f}{\partial u\partial v\partial w}(3,2,1)

정답·풀이 보기

(a) 다음과 같다.

fx(x,y)=2xy3fxx(x,y)=2y3fxy(x,y)=6xy2fyxy(x,y)=fxyy(x,y)=12xy\begin{aligned} f_x(x,y) &= 2xy^3 & f_{xx}(x,y) &= 2y^3 \\ & & f_{xy}(x,y) &= 6xy^2 & f_{yxy}(x,y) = f_{xyy}(x,y) &= 12xy \end{aligned}

(b) 다음과 같다.

fx(x,y)=y2exy2fxx(x,y)=y4exy2fxxy(x,y)=4y3exy2+2xy5exy2fxy(x,y)=2yexy2+2xy3exy2fxyy(x,y)=(2+4xy2+6xy2+4x2y4)exy2=(2+10xy2+4x2y4)exy2\begin{aligned} f_x(x,y) &= y^2e^{xy^2} & f_{xx}(x,y) &= y^4e^{xy^2} & f_{xxy}(x,y) &= 4y^3e^{xy^2} + 2xy^5e^{xy^2} \\ & & f_{xy}(x,y) &= 2ye^{xy^2}+2xy^3e^{xy^2} & f_{xyy}(x,y) &= \big(2+4xy^2+6xy^2+4x^2y^4\big)e^{xy^2}\\ & & & & &= \big(2+10xy^2+4x^2y^4\big)e^{xy^2} \end{aligned}

(c) 다음과 같다.

∂f∂u(u,v,w)=−1(u+2v+3w)2∂2f∂u ∂v(u,v,w)=4(u+2v+3w)3∂3f∂u ∂v ∂w(u,v,w)=−36(u+2v+3w)4\begin{aligned} \frac{\partial f}{\partial u}(u,v,w) &= -\frac{1}{(u+2v+3w)^2} \\ \frac{\partial^2 f}{\partial u\,\partial v}(u,v,w) &= \frac{4}{(u+2v+3w)^3} \\ \frac{\partial^3 f}{\partial u\,\partial v\,\partial w}(u,v,w) &= -\frac{36}{(u+2v+3w)^4} \end{aligned}

특히

∂3f∂u ∂v ∂w(3,2,1)=−36(3+2×2+3×1)4=−36104=−92500\begin{aligned} \frac{\partial^3 f}{\partial u\,\partial v\,\partial w}(3,2,1) &= -\frac{36}{(3+2\times 2+3\times 1)^4} = -\frac{36}{10^4} = -\frac{9}{2500} \end{aligned}

원본 교재 풀이(영어)

(a) We have

fx(x,y)=2xy3fxx(x,y)=2y3fxy(x,y)=6xy2fyxy(x,y)=fxyy(x,y)=12xy\begin{aligned} f_x(x,y) &= 2xy^3 & f_{xx}(x,y) &= 2y^3 \\ & & f_{xy}(x,y) &= 6xy^2 & f_{yxy}(x,y) = f_{xyy}(x,y) &= 12xy \end{aligned}

(b) We have

fx(x,y)=y2exy2fxx(x,y)=y4exy2fxxy(x,y)=4y3exy2+2xy5exy2fxy(x,y)=2yexy2+2xy3exy2fxyy(x,y)=(2+4xy2+6xy2+4x2y4)exy2=(2+10xy2+4x2y4)exy2\begin{aligned} f_x(x,y) &= y^2e^{xy^2} & f_{xx}(x,y) &= y^4e^{xy^2} & f_{xxy}(x,y) &= 4y^3e^{xy^2} + 2xy^5e^{xy^2} \\ & & f_{xy}(x,y) &= 2ye^{xy^2}+2xy^3e^{xy^2} & f_{xyy}(x,y) &= \big(2+4xy^2+6xy^2+4x^2y^4\big)e^{xy^2}\\ & & & & &= \big(2+10xy^2+4x^2y^4\big)e^{xy^2} \end{aligned}

(c) We have

∂f∂u(u,v,w)=−1(u+2v+3w)2∂2f∂u ∂v(u,v,w)=4(u+2v+3w)3∂3f∂u ∂v ∂w(u,v,w)=−36(u+2v+3w)4\begin{aligned} \frac{\partial f}{\partial u}(u,v,w) &= -\frac{1}{(u+2v+3w)^2} \\ \frac{\partial^2 f}{\partial u\,\partial v}(u,v,w) &= \frac{4}{(u+2v+3w)^3} \\ \frac{\partial^3 f}{\partial u\,\partial v\,\partial w}(u,v,w) &= -\frac{36}{(u+2v+3w)^4} \end{aligned}

In particular

∂3f∂u ∂v ∂w(3,2,1)=−36(3+2×2+3×1)4=−36104=−92500\begin{aligned} \frac{\partial^3 f}{\partial u\,\partial v\,\partial w}(3,2,1) &= -\frac{36}{(3+2\times 2+3\times 1)^4} = -\frac{36}{10^4} = -\frac{9}{2500} \end{aligned}

한 번 더 — 비슷한 문제 풀기OpenStax 3권 · 4.3절 · 18번
# 편도함수계산보통자동 분류
11.CLP-3 · 2.3절 · 4번대학 수준우리말 번역

f(x,y)=x2+5y2f(x,y)=\sqrt{x^2+5y^2} 의 모든 이계편도함수를 구하세요.

영어 원문 보기

Find all second partial derivatives of f(x,y)=x2+5y2f(x,y)=\sqrt{x^2+5y^2}.

정답·풀이 보기

f(x,y)=x2+5y2f(x,y)=\sqrt{x^2+5y^2} 이라 하자. 그러면

fx=xx2+5y2fxx=1x2+5y2−12(x)(2x)(x2+5y2)3/2fxy=−12(x)(10y)(x2+5y2)3/2fy=5yx2+5y2fyy=5x2+5y2−12(5y)(10y)(x2+5y2)3/2fyx=−12(5y)(2x)(x2+5y2)3/2\begin{aligned} f_x&=\frac{x}{\sqrt{x^2+5y^2}} & f_{xx}&=\frac{1}{\sqrt{x^2+5y^2}}-\frac{1}{2}\frac{(x)(2x)}{(x^2+5y^2)^{3/2}} & f_{xy}&=-\frac{1}{2}\frac{(x)(10y)}{(x^2+5y^2)^{3/2}} \\ f_y&=\frac{5y}{\sqrt{x^2+5y^2}} & f_{yy}&=\frac{5}{\sqrt{x^2+5y^2}}-\frac{1}{2}\frac{(5y)(10y)}{(x^2+5y^2)^{3/2}}& f_{yx}&=-\frac{1}{2}\frac{(5y)(2x)}{(x^2+5y^2)^{3/2}} \end{aligned}

간단히 하면, 특히 1x2+5y2=x2+5y2(x2+5y2)3/2\frac{1}{\sqrt{x^2+5y^2}} =\frac{x^2+5y^2}{(x^2+5y^2)^{3/2}} 임을 이용하면,

fxx=5y2(x2+5y2)3/2fxy=fyx=−5xy(x2+5y2)3/2fyy=5x2(x2+5y2)3/2f_{xx}=\frac{5y^2}{(x^2+5y^2)^{3/2}}\qquad f_{xy}=f_{yx}=-\frac{5xy}{(x^2+5y^2)^{3/2}}\qquad f_{yy}=\frac{5x^2}{(x^2+5y^2)^{3/2}}

원본 교재 풀이(영어)

Let f(x,y)=x2+5y2f(x,y)=\sqrt{x^2+5y^2}. Then

fx=xx2+5y2fxx=1x2+5y2−12(x)(2x)(x2+5y2)3/2fxy=−12(x)(10y)(x2+5y2)3/2fy=5yx2+5y2fyy=5x2+5y2−12(5y)(10y)(x2+5y2)3/2fyx=−12(5y)(2x)(x2+5y2)3/2\begin{aligned} f_x&=\frac{x}{\sqrt{x^2+5y^2}} & f_{xx}&=\frac{1}{\sqrt{x^2+5y^2}}-\frac{1}{2}\frac{(x)(2x)}{(x^2+5y^2)^{3/2}} & f_{xy}&=-\frac{1}{2}\frac{(x)(10y)}{(x^2+5y^2)^{3/2}} \\ f_y&=\frac{5y}{\sqrt{x^2+5y^2}} & f_{yy}&=\frac{5}{\sqrt{x^2+5y^2}}-\frac{1}{2}\frac{(5y)(10y)}{(x^2+5y^2)^{3/2}}& f_{yx}&=-\frac{1}{2}\frac{(5y)(2x)}{(x^2+5y^2)^{3/2}} \end{aligned}

Simplifying, and in particular using that 1x2+5y2=x2+5y2(x2+5y2)3/2\frac{1}{\sqrt{x^2+5y^2}} =\frac{x^2+5y^2}{(x^2+5y^2)^{3/2}},

fxx=5y2(x2+5y2)3/2fxy=fyx=−5xy(x2+5y2)3/2fyy=5x2(x2+5y2)3/2f_{xx}=\frac{5y^2}{(x^2+5y^2)^{3/2}}\qquad f_{xy}=f_{yx}=-\frac{5xy}{(x^2+5y^2)^{3/2}}\qquad f_{yy}=\frac{5x^2}{(x^2+5y^2)^{3/2}}

한 번 더 — 비슷한 문제 풀기CLP-3 · 2.3절 · 3번
# 편도함수활용보통자동 분류
12.CLP-3 · 2.3절 · 5번대학 수준우리말 번역

주어진 편도함수를 구하세요.

(a) f(x,y,z)=arctan⁡(exy)f(x,y,z) = \arctan\big(e^{\sqrt{xy}}\big); fxyz(x,y,z)f_{xyz}(x,y,z) (b) f(x,y,z)=arctan⁡(exy)+arctan⁡(exz)+arctan⁡(eyz)f(x,y,z) = \arctan\big(e^{\sqrt{xy}}\big) +\arctan\big(e^{\sqrt{xz}}\big) +\arctan\big(e^{\sqrt{yz}}\big); fxyz(x,y,z)f_{xyz}(x,y,z) (c) f(x,y,z)=arctan⁡(exyz)f(x,y,z) = \arctan\big(e^{\sqrt{xyz}}\big); fxx(1,0,0)f_{xx}(1,0,0)

영어 원문 보기

Find the specified partial derivatives.

(a) f(x,y,z)=arctan⁡(exy)f(x,y,z) = \arctan\big(e^{\sqrt{xy}}\big); fxyz(x,y,z)f_{xyz}(x,y,z) (b) f(x,y,z)=arctan⁡(exy)+arctan⁡(exz)+arctan⁡(eyz)f(x,y,z) = \arctan\big(e^{\sqrt{xy}}\big) +\arctan\big(e^{\sqrt{xz}}\big) +\arctan\big(e^{\sqrt{yz}}\big); fxyz(x,y,z)f_{xyz}(x,y,z) (c) f(x,y,z)=arctan⁡(exyz)f(x,y,z) = \arctan\big(e^{\sqrt{xyz}}\big); fxx(1,0,0)f_{xx}(1,0,0)

정답·풀이 보기

(a) f(x,y,z)=arctan⁡(exy)f(x,y,z) = \arctan\big(e^{\sqrt{xy}}\big) 는 zz 에 무관하므로 fz(x,y,z)=0f_z(x,y,z) = 0 이고, 따라서

fxyz(x,y,z)=fzxy(x,y,z)=0f_{xyz}(x,y,z) =f_{zxy}(x,y,z) =0

이다.

(b) u(x,y,z)=arctan⁡(exy)u(x,y,z) = \arctan\big(e^{\sqrt{xy}}\big), v(x,y,z)=arctan⁡(exz)v(x,y,z) = \arctan\big(e^{\sqrt{xz}}\big), w(x,y,z)=arctan⁡(eyz)w(x,y,z) = \arctan\big(e^{\sqrt{yz}}\big) 라 하자. 그러면

  • u(x,y,z)=arctan⁡(exy)u(x,y,z) = \arctan\big(e^{\sqrt{xy}}\big) 는 zz 에 무관하므로 uz(x,y,z)=0u_z(x,y,z) = 0 이고, 따라서 uxyz(x,y,z)=uzxy(x,y,z)=0 u_{xyz}(x,y,z) =u_{zxy}(x,y,z) =0
  • v(x,y,z)=arctan⁡(exz)v(x,y,z) = \arctan\big(e^{\sqrt{xz}}\big) 는 yy 에 무관하므로 vy(x,y,z)=0v_y(x,y,z) = 0 이고, 따라서 vxyz(x,y,z)=vyxz(x,y,z)=0 v_{xyz}(x,y,z) =v_{yxz}(x,y,z) =0
  • w(x,y,z)=arctan⁡(eyz)w(x,y,z) = \arctan\big(e^{\sqrt{yz}}\big) 는 xx 에 무관하므로 wx(x,y,z)=0w_x(x,y,z) = 0 이고, 따라서 wxyz(x,y,z)=0 w_{xyz}(x,y,z) =0

f(x,y,z)=u(x,y,z)+v(x,y,z)+w(x,y,z)f(x,y,z)=u(x,y,z)+v(x,y,z)+w(x,y,z) 이므로

fxyz(x,y,z)=uxyz(x,y,z)+vxyz(x,y,z)+wxyz(x,y,z)=0f_{xyz}(x,y,z)=u_{xyz}(x,y,z)+v_{xyz}(x,y,z)+w_{xyz}(x,y,z)=0

이다.

(c) fxx(x,0,0)f_{xx}(x,0,0) 을 구하는 과정에서 yy 와 zz 는 모두 00 으로 고정된다. 따라서 g(x)=f(x,0,0)g(x) = f(x,0,0) 이라 하면 fxx(x,0,0)=g′′(x)f_{xx}(x,0,0)=g''(x) 이다. 이제

g(x)=f(x,0,0)=arctan⁡(exyz)∣y=z=0=arctan⁡(1)=π4g(x) = f(x,0,0) = \arctan\big(e^{\sqrt{xyz}}\big)\Big|_{y=z=0} =\arctan(1) =\frac{\pi}{4}

이고 이는 모든 xx 에 대해 성립한다. 그러므로 모든 xx 에 대해 g′(x)=0g'(x)=0 이고 g′′(x)=0g''(x)=0 이다. 특히

fxx(1,0,0)=g′′(1)=0f_{xx}(1,0,0) = g''(1) = 0

이다.

원본 교재 풀이(영어)

(a) As f(x,y,z)=arctan⁡(exy)f(x,y,z) = \arctan\big(e^{\sqrt{xy}}\big) is independent of zz, we have fz(x,y,z)=0f_z(x,y,z) = 0 and hence

fxyz(x,y,z)=fzxy(x,y,z)=0f_{xyz}(x,y,z) =f_{zxy}(x,y,z) =0

(b) Write u(x,y,z)=arctan⁡(exy)u(x,y,z) = \arctan\big(e^{\sqrt{xy}}\big), v(x,y,z)=arctan⁡(exz)v(x,y,z) = \arctan\big(e^{\sqrt{xz}}\big) and w(x,y,z)=arctan⁡(eyz)w(x,y,z) = \arctan\big(e^{\sqrt{yz}}\big). Then

  • As u(x,y,z)=arctan⁡(exy)u(x,y,z) = \arctan\big(e^{\sqrt{xy}}\big) is independent of zz, we have uz(x,y,z)=0u_z(x,y,z) = 0 and hence uxyz(x,y,z)=uzxy(x,y,z)=0 u_{xyz}(x,y,z) =u_{zxy}(x,y,z) =0
  • As v(x,y,z)=arctan⁡(exz)v(x,y,z) = \arctan\big(e^{\sqrt{xz}}\big) is independent of yy, we have vy(x,y,z)=0v_y(x,y,z) = 0 and hence vxyz(x,y,z)=vyxz(x,y,z)=0 v_{xyz}(x,y,z) =v_{yxz}(x,y,z) =0
  • As w(x,y,z)=arctan⁡(eyz)w(x,y,z) = \arctan\big(e^{\sqrt{yz}}\big) is independent of xx, we have wx(x,y,z)=0w_x(x,y,z) = 0 and hence wxyz(x,y,z)=0 w_{xyz}(x,y,z) =0

As f(x,y,z)=u(x,y,z)+v(x,y,z)+w(x,y,z)f(x,y,z)=u(x,y,z)+v(x,y,z)+w(x,y,z), we have

fxyz(x,y,z)=uxyz(x,y,z)+vxyz(x,y,z)+wxyz(x,y,z)=0f_{xyz}(x,y,z)=u_{xyz}(x,y,z)+v_{xyz}(x,y,z)+w_{xyz}(x,y,z)=0

(c) In the course of evaluating fxx(x,0,0)f_{xx}(x,0,0), both yy and zz are held fixed at 00. Thus, if we set g(x)=f(x,0,0)g(x) = f(x,0,0), then fxx(x,0,0)=g′′(x)f_{xx}(x,0,0)=g''(x). Now

g(x)=f(x,0,0)=arctan⁡(exyz)∣y=z=0=arctan⁡(1)=π4g(x) = f(x,0,0) = \arctan\big(e^{\sqrt{xyz}}\big)\Big|_{y=z=0} =\arctan(1) =\frac{\pi}{4}

for all xx. So g′(x)=0g'(x)=0 and g′′(x)=0g''(x)=0 for all xx. In particular,

fxx(1,0,0)=g′′(1)=0f_{xx}(1,0,0) = g''(1) = 0

한 번 더 — 비슷한 문제 풀기CLP-3 · 2.3절 · 4번
# 편도함수계산보통자동 분류
13.CLP-3 · 2.3절 · 6번대학 수준우리말 번역

mm 이 양의 정수일 때, f(r,θ)=rmcos⁡mθf(r,\theta)=r^m\cos m\theta 를 rr 과 θ\theta 의 함수라 하자.

(a) 이계편도함수 frrf_{rr}, frθf_{r\theta}, fθθf_{\theta\theta} 를 구하고, (r,θ)=(1,0)(r,\theta)=(1,0) 에서 각각의 값을 구하세요. (b) f(r,θ)f(r,\theta) 가 미분방정식

frr+λrfr+1r2fθθ=0f_{rr}+\frac{\lambda }{r}f_r+\frac{1}{r^2}f_{\theta\theta}=0

을 만족하도록 실수 λ\lambda 의 값을 구하세요.

영어 원문 보기

Let f(r,θ)=rmcos⁡mθf(r,\theta)=r^m\cos m\theta be a function of rr and θ\theta, where mm is a positive integer.

(a) Find the second order partial derivatives frrf_{rr}, frθf_{r\theta}, fθθf_{\theta\theta} and evaluate their respective values at (r,θ)=(1,0)(r,\theta)=(1,0). (b) Determine the value of the real number λ\lambda so that f(r,θ)f(r,\theta) satisfies the differential equation

frr+λrfr+1r2fθθ=0f_{rr}+\frac{\lambda }{r}f_r+\frac{1}{r^2}f_{\theta\theta}=0

정답·풀이 보기

(a) 일계편도함수는 다음과 같다.

fr(r,θ)=mrm−1cos⁡mθfθ(r,θ)=−mrmsin⁡mθf_r(r,\theta)=mr^{m-1}\cos m\theta\qquad f_\theta(r,\theta)=-mr^m\sin m\theta

이계편도함수는 다음과 같다.

frr(r,θ)=m(m−1)rm−2cos⁡mθfrθ(r,θ)=−m2rm−1sin⁡mθfθθ(r,θ)=−m2rmcos⁡mθf_{rr}(r,\theta)=m(m-1)r^{m-2}\cos m\theta\quad f_{r\theta}(r,\theta)=-m^2r^{m-1}\sin m\theta\quad f_{\theta\theta}(r,\theta)=-m^2r^m\cos m\theta

따라서

frr(1,0)=m(m−1), frθ(1,0)=0, fθθ(1,0)=−m2f_{rr}(1,0)=m(m-1),\ f_{r\theta}(1,0)=0,\ f_{\theta\theta}(1,0)=-m^2

(b) (a)에 의해 식

frr+λrfr+1r2fθθ=m(m−1)rm−2cos⁡mθ+λmrm−2cos⁡mθ−m2rm−2cos⁡mθf_{rr}+\frac{\lambda }{r}f_r+\frac{1}{r^2}f_{\theta\theta} =m(m-1)r^{m-2}\cos m\theta+\lambda mr^{m-2}\cos m\theta-m^2r^{m-2}\cos m\theta

이 모든 rr 와 θ\theta 에 대해 0이 될 필요충분조건은 다음과 같다.

m(m−1)+λm−m2=0  ⟺  m(λ−1)=0  ⟺  λ=1m(m-1)+\lambda m-m^2=0\iff m(\lambda -1)=0\iff \lambda =1

원본 교재 풀이(영어)

(a) The first order derivatives are

fr(r,θ)=mrm−1cos⁡mθfθ(r,θ)=−mrmsin⁡mθf_r(r,\theta)=mr^{m-1}\cos m\theta\qquad f_\theta(r,\theta)=-mr^m\sin m\theta

The second order derivatives are

frr(r,θ)=m(m−1)rm−2cos⁡mθfrθ(r,θ)=−m2rm−1sin⁡mθfθθ(r,θ)=−m2rmcos⁡mθf_{rr}(r,\theta)=m(m-1)r^{m-2}\cos m\theta\quad f_{r\theta}(r,\theta)=-m^2r^{m-1}\sin m\theta\quad f_{\theta\theta}(r,\theta)=-m^2r^m\cos m\theta

so that

frr(1,0)=m(m−1), frθ(1,0)=0, fθθ(1,0)=−m2f_{rr}(1,0)=m(m-1),\ f_{r\theta}(1,0)=0,\ f_{\theta\theta}(1,0)=-m^2

(b) By part (a), the expression

frr+λrfr+1r2fθθ=m(m−1)rm−2cos⁡mθ+λmrm−2cos⁡mθ−m2rm−2cos⁡mθf_{rr}+\frac{\lambda }{r}f_r+\frac{1}{r^2}f_{\theta\theta} =m(m-1)r^{m-2}\cos m\theta+\lambda mr^{m-2}\cos m\theta-m^2r^{m-2}\cos m\theta

vanishes for all rr and θ\theta if and only if

m(m−1)+λm−m2=0  ⟺  m(λ−1)=0  ⟺  λ=1m(m-1)+\lambda m-m^2=0\iff m(\lambda -1)=0\iff \lambda =1

한 번 더 — 비슷한 문제 풀기CLP-3 · 2.3절 · 5번
# 편도함수활용보통자동 분류
14.CLP-3 · 2.4절 · 6번대학 수준우리말 번역

연쇄 법칙을 이용하는 방법을 포함하여 두 가지 방법으로 ∂w∂s\frac{\partial w}{\partial s} 와 ∂w∂t\frac{\partial w}{\partial t} 의 값을 구하세요. 단, 함수 w=x2+y2+z2w=x^2+y^2+z^2 이고 x=st, y=scos⁡tx=st,\ y=s\cos t, z=ssin⁡tz=s\sin t 입니다.

영어 원문 보기

Use two methods (one using the chain rule) to evaluate ∂w∂s\frac{\partial w}{\partial s} and ∂w∂t\frac{\partial w}{\partial t} given that the function w=x2+y2+z2w=x^2+y^2+z^2, with x=st, y=scos⁡tx=st,\ y=s\cos t and z=ssin⁡tz=s\sin t.

정답·풀이 보기

방법 1: w(s,t)=x(s,t)2+y(s,t)2+z(s,t)2w(s,t)=x(s,t)^2+y(s,t)^2+z(s,t)^2 이고 x(s,t)=stx(s,t)=st, y(s,t)=scos⁡ty(s,t)=s\cos t, z(s,t)=ssin⁡tz(s,t)=s\sin t 이므로 w(s,t)w(s,t) 를 명시적으로 나타낼 수 있다:

w(s,t)=(st)2+(scos⁡t)2+(ssin⁡t)2=s2(t2+1)  ⟹  ws(s,t)=2s(t2+1)그리고wt(s,t)=s2(2t)\begin{aligned} w(s,t)&=(st)^2+(s\cos t)^2+(s\sin t)^2 =s^2(t^2+1)\\ \implies w_s(s,t)&=2s(t^2+1)\qquad\text{그리고}\qquad w_t(s,t)=s^2(2t) \end{aligned}

  • 방법 2:* 문제에서 w(s,t)=x(s,t)2+y(s,t)2+z(s,t)2w(s,t)=x(s,t)^2+y(s,t)^2+z(s,t)^2 이고 x(s,t)=stx(s,t)=st, y(s,t)=scos⁡ty(s,t)=s\cos t, z(s,t)=ssin⁡tz(s,t)=s\sin t 로 주어졌다. 즉, w(s,t)=W(x(s,t),y(s,t),z(s,t))w(s,t) = W\big(x(s,t), y(s,t), z(s,t)\big) 이며 W(x,y,z)=x2+y2+z2W(x,y,z)= x^2+y^2+z^2 이다. w(s,t)=W(x(s,t),y(s,t),z(s,t))w(s,t) = W\big(x(s,t), y(s,t), z(s,t)\big) 에 연쇄 법칙을 적용하고 ∂W∂x=2x\frac{\partial W}{\partial x}=2x, ∂W∂y=2y\frac{\partial W}{\partial y}=2y, ∂W∂z=2z\frac{\partial W}{\partial z}=2z 임을 이용하면 다음을 얻는다.

∂w∂s(s,t)=∂W∂x(x(s,t),y(s,t),z(s,t))∂x∂s(s,t)+∂W∂y(x(s,t),y(s,t),z(s,t))∂y∂s(s,t)+∂W∂z(x(s,t),y(s,t),z(s,t))∂z∂s(s,t)=2x(s,t) xs(s,t)+2y(s,t) ys(s,t)+2z(s,t) zs(s,t)=2(st) t+2(scos⁡t) cos⁡t+2(ssin⁡t) sin⁡t=2st2+2s∂w∂t(s,t)=∂W∂x(x(s,t),y(s,t),z(s,t))∂x∂t(s,t)+∂W∂y(x(s,t),y(s,t),z(s,t))∂y∂t(s,t)+∂W∂z(x(s,t),y(s,t),z(s,t))∂z∂t(s,t)=2x(s,t) xt(s,t)+2y(s,t) yt(s,t)+2z(s,t) zt(s,t)=2(st) s+2(scos⁡t) (−ssin⁡t)+2(ssin⁡t) (scos⁡t)=2s2t\begin{aligned} \frac{\partial w}{\partial s}(s,t) &= \frac{\partial W}{\partial x}\big(x(s,t), y(s,t), z(s,t)\big)\frac{\partial x}{\partial s}(s,t) + \frac{\partial W}{\partial y}\big(x(s,t), y(s,t), z(s,t)\big)\frac{\partial y}{\partial s}(s,t)\\& + \frac{\partial W}{\partial z}\big(x(s,t), y(s,t), z(s,t)\big)\frac{\partial z}{\partial s}(s,t) \\ &=2 x(s,t)\ x_s(s,t)+2 y(s,t)\ y_s(s,t)+2 z(s,t)\ z_s(s,t) \\ &=2 (st)\ t+2 (s\cos t)\ \cos t+2 (s\sin t)\ \sin t\\ &=2 st^2+2 s\\ \frac{\partial w}{\partial t}(s,t) &= \frac{\partial W}{\partial x}\big(x(s,t), y(s,t), z(s,t)\big)\frac{\partial x}{\partial t}(s,t) + \frac{\partial W}{\partial y}\big(x(s,t), y(s,t), z(s,t)\big)\frac{\partial y}{\partial t}(s,t)\\& + \frac{\partial W}{\partial z}\big(x(s,t), y(s,t), z(s,t)\big)\frac{\partial z}{\partial t}(s,t) \\ &=2 x(s,t)\ x_t(s,t)+2 y(s,t)\ y_t(s,t)+2 z(s,t)\ z_t(s,t)\\ &=2 (st)\ s+2 (s\cos t)\ (-s\sin t)+2 (s\sin t)\ (s\cos t)\\ &=2 s^2t \end{aligned}

원본 교재 풀이(영어)

Method 1: Since w(s,t)=x(s,t)2+y(s,t)2+z(s,t)2w(s,t)=x(s,t)^2+y(s,t)^2+z(s,t)^2 with x(s,t)=stx(s,t)=st, y(s,t)=scos⁡ty(s,t)=s\cos t and z(s,t)=ssin⁡tz(s,t)=s\sin t we can write out w(s,t)w(s,t) explicitly:

w(s,t)=(st)2+(scos⁡t)2+(ssin⁡t)2=s2(t2+1)  ⟹  ws(s,t)=2s(t2+1)andwt(s,t)=s2(2t)\begin{aligned} w(s,t)&=(st)^2+(s\cos t)^2+(s\sin t)^2 =s^2(t^2+1)\\ \implies w_s(s,t)&=2s(t^2+1)\qquad\text{and}\qquad w_t(s,t)=s^2(2t) \end{aligned}

  • Method 2:* The question specifies that w(s,t)=x(s,t)2+y(s,t)2+z(s,t)2w(s,t)=x(s,t)^2+y(s,t)^2+z(s,t)^2 with x(s,t)=stx(s,t)=st, y(s,t)=scos⁡ty(s,t)=s\cos t and z(s,t)=ssin⁡tz(s,t)=s\sin t. That is, w(s,t)=W(x(s,t),y(s,t),z(s,t))w(s,t) = W\big(x(s,t), y(s,t), z(s,t)\big) with W(x,y,z)=x2+y2+z2W(x,y,z)= x^2+y^2+z^2. Applying the chain rule to w(s,t)=W(x(s,t),y(s,t),z(s,t))w(s,t) = W\big(x(s,t), y(s,t), z(s,t)\big) and noting that ∂W∂x=2x\frac{\partial W}{\partial x}=2x, ∂W∂y=2y\frac{\partial W}{\partial y}=2y, ∂W∂z=2z\frac{\partial W}{\partial z}=2z, gives

∂w∂s(s,t)=∂W∂x(x(s,t),y(s,t),z(s,t))∂x∂s(s,t)+∂W∂y(x(s,t),y(s,t),z(s,t))∂y∂s(s,t)+∂W∂z(x(s,t),y(s,t),z(s,t))∂z∂s(s,t)=2x(s,t) xs(s,t)+2y(s,t) ys(s,t)+2z(s,t) zs(s,t)=2(st) t+2(scos⁡t) cos⁡t+2(ssin⁡t) sin⁡t=2st2+2s∂w∂t(s,t)=∂W∂x(x(s,t),y(s,t),z(s,t))∂x∂t(s,t)+∂W∂y(x(s,t),y(s,t),z(s,t))∂y∂t(s,t)+∂W∂z(x(s,t),y(s,t),z(s,t))∂z∂t(s,t)=2x(s,t) xt(s,t)+2y(s,t) yt(s,t)+2z(s,t) zt(s,t)=2(st) s+2(scos⁡t) (−ssin⁡t)+2(ssin⁡t) (scos⁡t)=2s2t\begin{aligned} \frac{\partial w}{\partial s}(s,t) &= \frac{\partial W}{\partial x}\big(x(s,t), y(s,t), z(s,t)\big)\frac{\partial x}{\partial s}(s,t) + \frac{\partial W}{\partial y}\big(x(s,t), y(s,t), z(s,t)\big)\frac{\partial y}{\partial s}(s,t)\\& + \frac{\partial W}{\partial z}\big(x(s,t), y(s,t), z(s,t)\big)\frac{\partial z}{\partial s}(s,t) \\ &=2 x(s,t)\ x_s(s,t)+2 y(s,t)\ y_s(s,t)+2 z(s,t)\ z_s(s,t) \\ &=2 (st)\ t+2 (s\cos t)\ \cos t+2 (s\sin t)\ \sin t\\ &=2 st^2+2 s\\ \frac{\partial w}{\partial t}(s,t) &= \frac{\partial W}{\partial x}\big(x(s,t), y(s,t), z(s,t)\big)\frac{\partial x}{\partial t}(s,t) + \frac{\partial W}{\partial y}\big(x(s,t), y(s,t), z(s,t)\big)\frac{\partial y}{\partial t}(s,t)\\& + \frac{\partial W}{\partial z}\big(x(s,t), y(s,t), z(s,t)\big)\frac{\partial z}{\partial t}(s,t) \\ &=2 x(s,t)\ x_t(s,t)+2 y(s,t)\ y_t(s,t)+2 z(s,t)\ z_t(s,t)\\ &=2 (st)\ s+2 (s\cos t)\ (-s\sin t)+2 (s\sin t)\ (s\cos t)\\ &=2 s^2t \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-3 · 2.4절 · 7번
# 다변수 연쇄법칙계산보통자동 분류
15.CLP-3 · 2.4절 · 7번대학 수준우리말 번역

∂3∂x∂y2f(2x+3y,xy)\frac{\partial^3}{\partial x\partial y^2}f(2x+3y,xy) 의 값을 ff 의 편도함수로 나타내어 구하세요. 연쇄 법칙과, 혼합 편도함수가 서로 같음을 나타내는 클레로의 정리를 적용할 수 있도록 ff 는 매끄러운 함수라고 가정해도 됩니다.

영어 원문 보기

Evaluate ∂3∂x∂y2f(2x+3y,xy)\frac{\partial^3}{\partial x\partial y^2}f(2x+3y,xy) in terms of partial derivatives of ff. You may assume that ff is a smooth function so that the Chain Rule and Clairaut's Theorem on the equality of the mixed partial derivatives apply.

정답·풀이 보기

정의에 따라

∂3∂x∂y2f(2x+3y,xy)=∂∂x[∂∂y(∂∂yf(2x+3y,xy))]\frac{\partial^3}{\partial x\partial y^2}f(2x+3y,xy) =\frac{\partial }{\partial x}\left[\frac{\partial }{\partial y}\left(\frac{\partial }{\partial y}f(2x+3y,xy)\right) \right]

이다.

안쪽부터 차례로 편도함수를 계산한다. F(x,y)=f(2x+3y,xy)F(x,y)=f(2x+3y,xy) 라 하면 가장 안쪽의 편도함수는 G(x,y)=∂∂yf(2x+3y,xy)=∂∂yF(x,y)G(x,y)=\frac{\partial }{\partial y}f(2x+3y,xy)=\frac{\partial }{\partial y}F(x,y) 이다. 연쇄 법칙에 의해

G(x,y)=∂∂yF(x,y)=f1(2x+3y,xy)∂∂y(2x+3y)+f2(2x+3y,xy)∂∂y(xy)=3f1(2x+3y,xy)+xf2(2x+3y,xy)\begin{aligned} G(x,y)=\frac{\partial }{\partial y}F(x,y) &=f_1(2x+3y,xy)\frac{\partial }{\partial y}(2x+3y)+f_2(2x+3y,xy)\frac{\partial }{\partial y}(xy) \\ &= 3f_1(2x+3y,xy)+xf_2(2x+3y,xy) \end{aligned}

이다.

여기서 아래첨자 11 은 두 번째 변수를 고정한 채 ff 를 첫 번째 변수에 대해 편미분한다는 뜻이고, 아래첨자 22 는 첫 번째 변수를 고정한 채 ff 를 두 번째 변수에 대해 편미분한다는 뜻이다. 다음으로 가운데 편도함수를 H(x,y)=∂∂y(∂∂yf(2x+3y,xy))H(x,y)=\frac{\partial }{\partial y}\left(\frac{\partial }{\partial y}f(2x+3y,xy)\right) 라 하면

H(x,y)=∂∂yG(x,y)=∂∂y(3f1(2x+3y,xy)+xf2(2x+3y,xy))=3∂∂y(f1(2x+3y,xy))+x∂∂y(f2(2x+3y,xy))\begin{aligned} H(x,y) &= \frac{\partial }{\partial y} G(x,y) \\ &=\frac{\partial }{\partial y}\Big(3f_1(2x+3y,xy)+xf_2(2x+3y,xy)\Big) \\ &=3\frac{\partial }{\partial y}\Big(f_1(2x+3y,xy)\Big) +x\frac{\partial }{\partial y}\Big(f_2(2x+3y,xy)\Big) \end{aligned}

이다.

연쇄 법칙을 (두 번) 쓰면

∂∂y(f1(2x+3y,xy))=f11(2x+3y,xy)∂∂y(2x+3y)+f12(2x+3y,xy)∂∂y(xy)=3f11(2x+3y,xy)+xf12(2x+3y,xy)∂∂y(f2(2x+3y,xy))=f21(2x+3y,xy)∂∂y(2x+3y)+f22(2x+3y,xy)∂∂y(xy)=3f21(2x+3y,xy)+xf22(2x+3y,xy)\begin{aligned} \frac{\partial }{\partial y}\Big(f_1(2x+3y,xy)\Big) &=f_{11}(2x+3y,xy)\frac{\partial }{\partial y}(2x+3y)+f_{12}(2x+3y,xy)\frac{\partial }{\partial y}(xy) \\ &= 3f_{11}(2x+3y,xy)+xf_{12}(2x+3y,xy) \\ \frac{\partial }{\partial y}\Big(f_2(2x+3y,xy)\Big) &=f_{21}(2x+3y,xy)\frac{\partial }{\partial y}(2x+3y)+f_{22}(2x+3y,xy)\frac{\partial }{\partial y}(xy) \\ &= 3f_{21}(2x+3y,xy)+xf_{22}(2x+3y,xy) \end{aligned}

이므로

H(x,y)=3(3f11(2x+3y,xy)+xf12(2x+3y,xy))+x(3f21(2x+3y,xy)+xf22(2x+3y,xy))=9f11(2x+3y,xy)+6xf12(2x+3y,xy)+x2f22(2x+3y,xy)\begin{aligned} H(x,y)&=3\Big(3f_{11}(2x+3y,xy)+xf_{12}(2x+3y,xy) \Big) \\[-0.05in] & +x\Big(3f_{21}(2x+3y,xy)+xf_{22}(2x+3y,xy)\Big) \\ &=9f_{11}(2x+3y,xy)+6xf_{12}(2x+3y,xy)+x^2f_{22}(2x+3y,xy) \end{aligned}

이다.

마지막 등호에서는 f21(2x+3y,xy)=f12(2x+3y,xy)f_{21}(2x+3y,xy)=f_{12}(2x+3y,xy) 임을 이용했다. 기호 f21f_{21} 은 먼저 두 번째 변수에 대해 미분한 다음 첫 번째 변수에 대해 미분한다는 뜻이다. 예를 들어 f(x,y)=e2ysin⁡xf(x,y)=e^{2y}\sin x 이면

f21(x,y)=∂∂x[∂∂y(e2ysin⁡x)]=∂∂x[2e2ysin⁡x]=2eycos⁡x\begin{aligned} f_{21}(x,y) =\frac{\partial }{\partial x} \Big[\frac{\partial }{\partial y}\big(e^{2y}\sin x\big)\Big] =\frac{\partial }{\partial x} \Big[2e^{2y}\sin x\Big] =2e^y\cos x \end{aligned}

이다.

마지막으로

∂3∂x∂y2f(2x+3y,xy)=∂∂xH(x,y)=∂∂x(9f11(2x+3y,xy)+6xf12(2x+3y,xy)+x2f22(2x+3y,xy))=9∂∂x(f11(2x+3y,xy))+6f12(2x+3y,xy)+6x∂∂x(f12(2x+3y,xy))+2xf22(2x+3y,xy)+x2∂∂x(f22(2x+3y,xy))\begin{aligned} \frac{\partial^3}{\partial x\partial y^2}f(2x+3y,xy) &=\frac{\partial }{\partial x} H(x,y) \\ &=\frac{\partial }{\partial x}\Big(9f_{11}(2x+3y,xy)+6xf_{12}(2x+3y,xy)+x^2f_{22}(2x+3y,xy)\Big)\\ &=9\frac{\partial }{\partial x}\Big(f_{11}(2x+3y,xy)\Big)\\& +6f_{12}(2x+3y,xy) +6x\frac{\partial }{\partial x}\Big(f_{12}(2x+3y,xy)\Big) \\& +2xf_{22}(2x+3y,xy) +x^2\frac{\partial }{\partial x}\Big(f_{22}(2x+3y,xy)\Big) \end{aligned}

이다.

연쇄 법칙을 세 번 적용하면

∂3∂x∂y2f(2x+3y,xy)=9(2f111+yf112)+6f12+6x(2f121+yf122)+2xf22+x2(2f221+yf222)=6 f12+2x f22+18 f111+(9y+12x) f112+(6xy+2x2) f122+x2y f222\begin{aligned} \frac{\partial^3}{\partial x\partial y^2}f(2x+3y,xy) &=9\Big(2f_{111}+yf_{112}\Big)\\& +6f_{12}+6x\Big(2f_{121}+yf_{122}\Big)\\& +2xf_{22}+x^2\Big(2f_{221}+yf_{222}\Big)\\ &=6\,f_{12}+2x\,f_{22}+18\,f_{111}+(9y+12x)\,f_{112} +(6xy+2x^2)\,f_{122}+x^2y\,f_{222} \end{aligned}

이다.

우변의 모든 함수의 인수는 (2x+3y,xy)(2x+3y,xy) 이다.

원본 교재 풀이(영어)

By definition,

∂3∂x∂y2f(2x+3y,xy)=∂∂x[∂∂y(∂∂yf(2x+3y,xy))]\frac{\partial^3}{\partial x\partial y^2}f(2x+3y,xy) =\frac{\partial }{\partial x}\left[\frac{\partial }{\partial y}\left(\frac{\partial }{\partial y}f(2x+3y,xy)\right) \right]

We'll compute the derivatives from the inside out. Let's call F(x,y)=f(2x+3y,xy)F(x,y)=f(2x+3y,xy) so that the innermost derivative is G(x,y)=∂∂yf(2x+3y,xy)=∂∂yF(x,y)G(x,y)=\frac{\partial }{\partial y}f(2x+3y,xy)=\frac{\partial }{\partial y}F(x,y). By the chain rule

G(x,y)=∂∂yF(x,y)=f1(2x+3y,xy)∂∂y(2x+3y)+f2(2x+3y,xy)∂∂y(xy)=3f1(2x+3y,xy)+xf2(2x+3y,xy)\begin{aligned} G(x,y)=\frac{\partial }{\partial y}F(x,y) &=f_1(2x+3y,xy)\frac{\partial }{\partial y}(2x+3y)+f_2(2x+3y,xy)\frac{\partial }{\partial y}(xy) \\ &= 3f_1(2x+3y,xy)+xf_2(2x+3y,xy) \end{aligned}

Here the subscript 11 means take the partial derivative of ff with respect to the first argument while holding the second argument fixed, and the subscript 22 means take the partial derivative of ff with respect to the second argument while holding the first argument fixed. Next call the middle derivative H(x,y)=∂∂y(∂∂yf(2x+3y,xy))H(x,y)=\frac{\partial }{\partial y}\left(\frac{\partial }{\partial y}f(2x+3y,xy)\right) so that

H(x,y)=∂∂yG(x,y)=∂∂y(3f1(2x+3y,xy)+xf2(2x+3y,xy))=3∂∂y(f1(2x+3y,xy))+x∂∂y(f2(2x+3y,xy))\begin{aligned} H(x,y) &= \frac{\partial }{\partial y} G(x,y) \\ &=\frac{\partial }{\partial y}\Big(3f_1(2x+3y,xy)+xf_2(2x+3y,xy)\Big) \\ &=3\frac{\partial }{\partial y}\Big(f_1(2x+3y,xy)\Big) +x\frac{\partial }{\partial y}\Big(f_2(2x+3y,xy)\Big) \end{aligned}

By the chain rule (twice),

∂∂y(f1(2x+3y,xy))=f11(2x+3y,xy)∂∂y(2x+3y)+f12(2x+3y,xy)∂∂y(xy)=3f11(2x+3y,xy)+xf12(2x+3y,xy)∂∂y(f2(2x+3y,xy))=f21(2x+3y,xy)∂∂y(2x+3y)+f22(2x+3y,xy)∂∂y(xy)=3f21(2x+3y,xy)+xf22(2x+3y,xy)\begin{aligned} \frac{\partial }{\partial y}\Big(f_1(2x+3y,xy)\Big) &=f_{11}(2x+3y,xy)\frac{\partial }{\partial y}(2x+3y)+f_{12}(2x+3y,xy)\frac{\partial }{\partial y}(xy) \\ &= 3f_{11}(2x+3y,xy)+xf_{12}(2x+3y,xy) \\ \frac{\partial }{\partial y}\Big(f_2(2x+3y,xy)\Big) &=f_{21}(2x+3y,xy)\frac{\partial }{\partial y}(2x+3y)+f_{22}(2x+3y,xy)\frac{\partial }{\partial y}(xy) \\ &= 3f_{21}(2x+3y,xy)+xf_{22}(2x+3y,xy) \end{aligned}

so that

H(x,y)=3(3f11(2x+3y,xy)+xf12(2x+3y,xy))+x(3f21(2x+3y,xy)+xf22(2x+3y,xy))=9f11(2x+3y,xy)+6xf12(2x+3y,xy)+x2f22(2x+3y,xy)\begin{aligned} H(x,y)&=3\Big(3f_{11}(2x+3y,xy)+xf_{12}(2x+3y,xy) \Big) \\[-0.05in] & +x\Big(3f_{21}(2x+3y,xy)+xf_{22}(2x+3y,xy)\Big) \\ &=9f_{11}(2x+3y,xy)+6xf_{12}(2x+3y,xy)+x^2f_{22}(2x+3y,xy) \end{aligned}

In the last equality we used that f21(2x+3y,xy)=f12(2x+3y,xy)f_{21}(2x+3y,xy)=f_{12}(2x+3y,xy). The notation f21f_{21} means first differentiate with respect to the second argument and then differentiate with respect to the first argument. For example, if f(x,y)=e2ysin⁡xf(x,y)=e^{2y}\sin x, then

f21(x,y)=∂∂x[∂∂y(e2ysin⁡x)]=∂∂x[2e2ysin⁡x]=2eycos⁡x\begin{aligned} f_{21}(x,y) =\frac{\partial }{\partial x} \Big[\frac{\partial }{\partial y}\big(e^{2y}\sin x\big)\Big] =\frac{\partial }{\partial x} \Big[2e^{2y}\sin x\Big] =2e^y\cos x \end{aligned}

Finally, we get to

∂3∂x∂y2f(2x+3y,xy)=∂∂xH(x,y)=∂∂x(9f11(2x+3y,xy)+6xf12(2x+3y,xy)+x2f22(2x+3y,xy))=9∂∂x(f11(2x+3y,xy))+6f12(2x+3y,xy)+6x∂∂x(f12(2x+3y,xy))+2xf22(2x+3y,xy)+x2∂∂x(f22(2x+3y,xy))\begin{aligned} \frac{\partial^3}{\partial x\partial y^2}f(2x+3y,xy) &=\frac{\partial }{\partial x} H(x,y) \\ &=\frac{\partial }{\partial x}\Big(9f_{11}(2x+3y,xy)+6xf_{12}(2x+3y,xy)+x^2f_{22}(2x+3y,xy)\Big)\\ &=9\frac{\partial }{\partial x}\Big(f_{11}(2x+3y,xy)\Big)\\& +6f_{12}(2x+3y,xy) +6x\frac{\partial }{\partial x}\Big(f_{12}(2x+3y,xy)\Big) \\& +2xf_{22}(2x+3y,xy) +x^2\frac{\partial }{\partial x}\Big(f_{22}(2x+3y,xy)\Big) \end{aligned}

By three applications of the chain rule

∂3∂x∂y2f(2x+3y,xy)=9(2f111+yf112)+6f12+6x(2f121+yf122)+2xf22+x2(2f221+yf222)=6 f12+2x f22+18 f111+(9y+12x) f112+(6xy+2x2) f122+x2y f222\begin{aligned} \frac{\partial^3}{\partial x\partial y^2}f(2x+3y,xy) &=9\Big(2f_{111}+yf_{112}\Big)\\& +6f_{12}+6x\Big(2f_{121}+yf_{122}\Big)\\& +2xf_{22}+x^2\Big(2f_{221}+yf_{222}\Big)\\ &=6\,f_{12}+2x\,f_{22}+18\,f_{111}+(9y+12x)\,f_{112} +(6xy+2x^2)\,f_{122}+x^2y\,f_{222} \end{aligned}

All functions on the right hand side have arguments (2x+3y,xy)(2x+3y,xy).

한 번 더 — 비슷한 문제 풀기APEX · 12.5절 · 2번
# 다변수 연쇄법칙계산보통자동 분류
16.CLP-3 · 2.4절 · 8번대학 수준우리말 번역

g(s,t)=f(2s+3t,3s−2t)g(s,t)=f(2s+3t,3s-2t) 의 모든 이계도함수를 구하세요. f(x,y)f(x,y) 는 매끄러운 함수이므로 연쇄 법칙과 혼합 편도함수의 같음에 관한 클레로의 정리가 적용된다고 가정해도 됩니다.

영어 원문 보기

Find all second order derivatives of g(s,t)=f(2s+3t,3s−2t)g(s,t)=f(2s+3t,3s-2t). You may assume that f(x,y)f(x,y) is a smooth function so that the Chain Rule and Clairaut's Theorem on the equality of the mixed partial derivatives apply.

정답·풀이 보기

주어진 함수는

g(s,t)=f(2s+3t,3s−2t)g(s,t)=f(2s+3t,3s-2t)

이다.

일계도함수는

gs(s,t)=2f1(2s+3t,3s−2t)+3f2(2s+3t,3s−2t)gt(s,t)=3f1(2s+3t,3s−2t)−2f2(2s+3t,3s−2t)\begin{aligned} g_s(s,t)&=2f_1(2s+3t,3s-2t)+3f_2(2s+3t,3s-2t)\\ g_t(s,t)&=3f_1(2s+3t,3s-2t)-2f_2(2s+3t,3s-2t) \end{aligned}

이다.

이계도함수는

gss(s,t)=∂∂s(2f1(2s+3t,3s−2t)+3f2(2s+3t,3s−2t))=2(2f11+3f12)+3(2f21+3f22)=4f11+6f12+6f21+9f22=4f11(2s+3t,3s−2t)+12f12(2s+3t,3s−2t)+9f22(2s+3t,3s−2t)gst(s,t)=∂∂t(2f1(2s+3t,3s−2t)+3f2(2s+3t,3s−2t))=2(3f11−2f12)+3(3f21−2f22)=6f11(2s+3t,3s−2t)+5f12(2s+3t,3s−2t)−6f22(2s+3t,3s−2t)gtt(s,t)=∂∂t(3f1(2s+3t,3s−2t)−2f2(2s+3t,3s−2t))=3(3f11−2f12)−2(3f21−2f22)=9f11(2s+3t,3s−2t)−12f12(2s+3t,3s−2t)+4f22(2s+3t,3s−2t)\begin{aligned} g_{ss}(s,t) &=\frac{\partial }{\partial s}\Big(2f_1(2s+3t,3s-2t)+3f_2(2s+3t,3s-2t)\Big)\\ &=2\Big(2f_{11}+3f_{12}\Big) +3\Big(2f_{21}+3f_{22}\Big)\\ &=4f_{11}+6f_{12}+6f_{21}+9f_{22}\\ &=4f_{11}(2s+3t,3s-2t)+12f_{12}(2s+3t,3s-2t)+9f_{22}(2s+3t,3s-2t)\\ g_{st}(s,t)&=\frac{\partial }{\partial t}\Big(2f_1(2s+3t,3s-2t)+3f_2(2s+3t,3s-2t)\Big)\\ &=2\Big(3f_{11}-2f_{12}\Big) +3\Big(3f_{21}-2f_{22}\Big)\\ &=6f_{11}(2s+3t,3s-2t)+5f_{12}(2s+3t,3s-2t)-6f_{22}(2s+3t,3s-2t)\\ g_{tt}(s,t)&=\frac{\partial }{\partial t}\Big(3f_1(2s+3t,3s-2t)-2f_2(2s+3t,3s-2t)\Big)\\ &=3\Big(3f_{11}-2f_{12}\Big) -2\Big(3f_{21}-2f_{22}\Big)\\ &=9f_{11}(2s+3t,3s-2t)-12f_{12}(2s+3t,3s-2t)+4f_{22}(2s+3t,3s-2t) \end{aligned}

이다.

여기서 f1f_1 은 ff 를 첫 번째 변수에 대해 편미분한 편도함수를 뜻하고, f12f_{12} 는 ff 를 먼저 첫 번째 변수에 대해 편미분한 다음 그 결과를 두 번째 변수에 대해 편미분한 것이며, 나머지도 같은 방식이다.

원본 교재 풀이(영어)

The given function is

g(s,t)=f(2s+3t,3s−2t)g(s,t)=f(2s+3t,3s-2t)

The first order derivatives are

gs(s,t)=2f1(2s+3t,3s−2t)+3f2(2s+3t,3s−2t)gt(s,t)=3f1(2s+3t,3s−2t)−2f2(2s+3t,3s−2t)\begin{aligned} g_s(s,t)&=2f_1(2s+3t,3s-2t)+3f_2(2s+3t,3s-2t)\\ g_t(s,t)&=3f_1(2s+3t,3s-2t)-2f_2(2s+3t,3s-2t) \end{aligned}

The second order derivatives are

gss(s,t)=∂∂s(2f1(2s+3t,3s−2t)+3f2(2s+3t,3s−2t))=2(2f11+3f12)+3(2f21+3f22)=4f11+6f12+6f21+9f22=4f11(2s+3t,3s−2t)+12f12(2s+3t,3s−2t)+9f22(2s+3t,3s−2t)gst(s,t)=∂∂t(2f1(2s+3t,3s−2t)+3f2(2s+3t,3s−2t))=2(3f11−2f12)+3(3f21−2f22)=6f11(2s+3t,3s−2t)+5f12(2s+3t,3s−2t)−6f22(2s+3t,3s−2t)gtt(s,t)=∂∂t(3f1(2s+3t,3s−2t)−2f2(2s+3t,3s−2t))=3(3f11−2f12)−2(3f21−2f22)=9f11(2s+3t,3s−2t)−12f12(2s+3t,3s−2t)+4f22(2s+3t,3s−2t)\begin{aligned} g_{ss}(s,t) &=\frac{\partial }{\partial s}\Big(2f_1(2s+3t,3s-2t)+3f_2(2s+3t,3s-2t)\Big)\\ &=2\Big(2f_{11}+3f_{12}\Big) +3\Big(2f_{21}+3f_{22}\Big)\\ &=4f_{11}+6f_{12}+6f_{21}+9f_{22}\\ &=4f_{11}(2s+3t,3s-2t)+12f_{12}(2s+3t,3s-2t)+9f_{22}(2s+3t,3s-2t)\\ g_{st}(s,t)&=\frac{\partial }{\partial t}\Big(2f_1(2s+3t,3s-2t)+3f_2(2s+3t,3s-2t)\Big)\\ &=2\Big(3f_{11}-2f_{12}\Big) +3\Big(3f_{21}-2f_{22}\Big)\\ &=6f_{11}(2s+3t,3s-2t)+5f_{12}(2s+3t,3s-2t)-6f_{22}(2s+3t,3s-2t)\\ g_{tt}(s,t)&=\frac{\partial }{\partial t}\Big(3f_1(2s+3t,3s-2t)-2f_2(2s+3t,3s-2t)\Big)\\ &=3\Big(3f_{11}-2f_{12}\Big) -2\Big(3f_{21}-2f_{22}\Big)\\ &=9f_{11}(2s+3t,3s-2t)-12f_{12}(2s+3t,3s-2t)+4f_{22}(2s+3t,3s-2t) \end{aligned}

Here f1f_1 denotes the partial derivative of ff with respect to its first argument, f12f_{12} is the result of first taking one partial derivative of ff with respect to its first argument and then taking a partial derivative with respect to its second argument, and so on.

한 번 더 — 비슷한 문제 풀기OpenStax 3권 · 4.5절 · 39번
# 다변수 연쇄법칙활용보통자동 분류
17.CLP-3 · 2.4절 · 9번대학 수준우리말 번역

f(x,y)f(x,y) 가 라플라스 방정식 ∂2f∂x2+∂2f∂y2=0\frac{\partial^2 f}{\partial x^2}+\frac{\partial^2 f}{\partial y^2}=0 을 만족시킨다고 가정하세요. 합성함수 g(s,t)=f(s−t,s+t)g(s,t) = f (s - t, s + t) 에 대해서도 같은 식이 성립함을 보이세요. 즉, ∂2g∂s2+∂2g∂t2=0\frac{\partial^2 g}{\partial s^2}+\frac{\partial^2 g}{\partial t^2}=0 임을 보이세요. f(x,y)f(x,y) 는 매끄러운 함수여서 연쇄 법칙과 혼합 편도함수의 같음에 관한 클레로의 정리를 적용할 수 있다고 가정해도 됩니다.

영어 원문 보기

Assume that f(x,y)f(x,y) satisfies Laplace's equation ∂2f∂x2+∂2f∂y2=0\frac{\partial^2 f}{\partial x^2}+\frac{\partial^2 f}{\partial y^2}=0. Show that this is also the case for the composite function g(s,t)=f(s−t,s+t)g(s,t) = f (s - t, s + t). That is, show that ∂2g∂s2+∂2g∂t2=0\frac{\partial^2 g}{\partial s^2}+\frac{\partial^2 g}{\partial t^2}=0. You may assume that f(x,y)f(x,y) is a smooth function so that the Chain Rule and Clairaut's Theorem on the equality of the mixed partial derivatives apply.

정답·풀이 보기

연쇄 법칙에 의해,

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

이고

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

이다. 인수를 생략하면

∂2g∂s2+∂2g∂t2={∂2f∂x2+2∂2f∂x∂y+∂2f∂y2}+{∂2f∂x2−2∂2f∂x∂y+∂2f∂y2}=2[∂2f∂x2+∂2f∂y2]=0\begin{aligned} \frac{\partial^2 g}{\partial s^2} + \frac{\partial^2 g}{\partial t^2} &=\left\{\frac{\partial^2 f}{\partial x^2} + 2\frac{\partial^2 f}{\partial x\partial y} +\frac{\partial^2 f}{\partial y^2}\right\} +\left\{\frac{\partial^2 f}{\partial x^2} - 2\frac{\partial^2 f}{\partial x\partial y} +\frac{\partial^2 f}{\partial y^2}\right\} \\ &=2\left[\frac{\partial^2 f}{\partial x^2} +\frac{\partial^2 f}{\partial y^2}\right] \\ &=0 \end{aligned}

이므로 원하는 결과가 얻어진다.

원본 교재 풀이(영어)

By the chain rule,

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

and

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

Suppressing the arguments

∂2g∂s2+∂2g∂t2={∂2f∂x2+2∂2f∂x∂y+∂2f∂y2}+{∂2f∂x2−2∂2f∂x∂y+∂2f∂y2}=2[∂2f∂x2+∂2f∂y2]=0\begin{aligned} \frac{\partial^2 g}{\partial s^2} + \frac{\partial^2 g}{\partial t^2} &=\left\{\frac{\partial^2 f}{\partial x^2} + 2\frac{\partial^2 f}{\partial x\partial y} +\frac{\partial^2 f}{\partial y^2}\right\} +\left\{\frac{\partial^2 f}{\partial x^2} - 2\frac{\partial^2 f}{\partial x\partial y} +\frac{\partial^2 f}{\partial y^2}\right\} \\ &=2\left[\frac{\partial^2 f}{\partial x^2} +\frac{\partial^2 f}{\partial y^2}\right] \\ &=0 \end{aligned}

as desired.

한 번 더 — 비슷한 문제 풀기OpenStax 3권 · 4.5절 · 37번
# 다변수 연쇄법칙증명·논술보통자동 분류
18.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) 는 매끄러운 함수이므로 연쇄 법칙과 혼합 편도함수의 같음에 대한 클레로의 정리를 적용할 수 있다고 가정해도 됩니다.

영어 원문 보기

Let z=f(x,y)z = f(x,y) where x=2s+tx = 2s + t and y=s−ty = s - t. Find the values of the constants aa, bb and cc such that

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}

You may assume that z=f(x,y)z = f(x,y) is a smooth function so that the Chain Rule and Clairaut's Theorem on the equality of the mixed partial derivatives apply.

정답·풀이 보기

이 문제의 표기는 매우 좋지 않다. 기호 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 이다.

원본 교재 풀이(영어)

The notation in the statement of this question is horrendous — the symbol zz is used with two different meanings in one equation. On the left hand side, it is a function of xx and yy, and on the right hand side, it is a function of ss and tt. Unfortunately that abuse of notation is also very common. Let us undo the notation conflict by renaming the function of ss and tt to F(s,t)F(s,t). That is,

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

In this new notation, we are being asked to find aa, bb and cc so that

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}

with the arguments on the right hand side being (s,t)(s,t) and the arguments on the left hand side being (2s+t , s−t)\big(2s+t\,,\,s-t\big).

By the chain rule,

∂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}

and

∂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}

Suppressing the arguments

∂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}

Finally, translating back into the (horrendous) notation of the question

∂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}

so that a=5a=5 and b=c=2b=c=2.

한 번 더 — 비슷한 문제 풀기CLP-3 · 2.4절 · 26번
# 다변수 연쇄법칙계산보통자동 분류
19.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번
# 다변수 연쇄법칙계산보통자동 분류
20.CLP-3 · 2.4절 · 12번대학 수준우리말 번역

u(x,y)u(x,y) 가 다음과 같이 정의된다.

u(x,y)=ey F(xe−y2)u(x,y) = e^y\, F\big(xe^{-y^2}\big)

여기서 F(z)F(z) 는 임의의 함수이다.

(a) F(z)=ln⁡(z)F(z) = \ln(z) 일 때, ∂u∂x\frac{\partial u}{\partial x} 와 ∂u∂y\frac{\partial u}{\partial y} 를 구하세요. (b) 임의의 함수 F(z)F(z) 에 대해 u(x,y)u(x,y) 가 다음을 만족시킴을 보이세요.

2xy∂u∂x+∂u∂y=u2xy\frac{\partial u}{\partial x} + \frac{\partial u}{\partial y} = u

영어 원문 보기

u(x,y)u(x,y) is defined as

u(x,y)=ey F(xe−y2)u(x,y) = e^y\, F\big(xe^{-y^2}\big)

for an arbitrary function F(z)F(z).

(a) If F(z)=ln⁡(z)F(z) = \ln(z), find ∂u∂x\frac{\partial u}{\partial x} and ∂u∂y\frac{\partial u}{\partial y}. (b) For an arbitrary F(z)F(z) show that u(x,y)u(x,y) satisfies

2xy∂u∂x+∂u∂y=u2xy\frac{\partial u}{\partial x} + \frac{\partial u}{\partial y} = u

정답·풀이 보기

임의의 (미분가능한) 함수 FF 에 대해, 연쇄법칙과 곱의 미분법에 의해 다음이 성립한다.

∂u∂x(x,y)=∂∂x[ey F(xe−y2)]=ey ∂∂x[F(xe−y2)]=ey F′(xe−y2)∂∂x(xe−y2)=ey F′(xe−y2) e−y2∂u∂y(x,y)=∂∂y[ey F(xe−y2)]=ey F(xe−y2)+ey ∂∂y[F(xe−y2)]=ey F(xe−y2)+ey F′(xe−y2) ∂∂y(xe−y2)=ey F(xe−y2)+ey F′(xe−y2) (−2xy)e−y2\begin{aligned} \frac{\partial u}{\partial x}(x,y)&= \frac{\partial }{\partial x}\Big[e^y\,F\big(xe^{-y^2}\big)\Big] =e^y\,\frac{\partial }{\partial x}\Big[F\big(xe^{-y^2}\big)\Big] \\ &=e^y\,F'\big(xe^{-y^2}\big)\frac{\partial }{\partial x}\Big(xe^{-y^2}\Big) \\ &= e^y\, F'\big(xe^{-y^2}\big)\ e^{-y^2} \\ \frac{\partial u}{\partial y}(x,y)&= \frac{\partial }{\partial y}\Big[e^y\,F\big(xe^{-y^2}\big)\Big]\\ &=e^y\,F\big(xe^{-y^2}\big) +e^y\,\frac{\partial }{\partial y}\Big[F\big(xe^{-y^2}\big)\Big] \\ &= e^y\, F\big(xe^{-y^2}\big) + e^y\,F'\big(xe^{-y^2}\big)\ \frac{\partial }{\partial y}\Big(xe^{-y^2}\Big) \\ &= e^y\, F\big(xe^{-y^2}\big) + e^y\, F'\big(xe^{-y^2}\big)\ (-2xy)e^{-y^2} \end{aligned}

(a) 특히 F(z)=ln⁡(z)F(z)=\ln(z) 일 때 F′(z)=1zF'(z)=\frac{1}{z} 이므로

∂u∂x(x,y)=ey 1xe−y2 e−y2=eyx∂u∂y(x,y)=ey ln⁡(xe−y2)+ey 1xe−y2 (−2xy)e−y2=ey ln⁡(xe−y2)−2yey=ey ln⁡(x)−y2 ey−2yey\begin{aligned} \frac{\partial u}{\partial x}(x,y)&= e^y\, \frac{1}{xe^{-y^2}}\ e^{-y^2} = \frac{e^y}{x}\\ \frac{\partial u}{\partial y}(x,y)&= e^y\, \ln\big(xe^{-y^2}\big) + e^y\, \frac{1}{xe^{-y^2}}\ (-2xy)e^{-y^2} = e^y\, \ln\big(xe^{-y^2}\big) -2y e^y \\ &= e^y\,\ln (x) -y^2\,e^y -2y e^y \end{aligned}

(b) 일반적으로

2xy∂u∂x+∂u∂y=2xy ey F′(xe−y2) e−y2+ey F(xe−y2)+ey F′(xe−y2) (−2xy)e−y2=ey F(xe−y2)=u\begin{aligned} 2xy\frac{\partial u}{\partial x} + \frac{\partial u}{\partial y} &=2xy\ e^y\, F'\big(xe^{-y^2}\big)\ e^{-y^2} +e^y\, F\big(xe^{-y^2}\big) + e^y\, F'\big(xe^{-y^2}\big)\ (-2xy)e^{-y^2} \\ &=e^y\, F\big(xe^{-y^2}\big) \\ &=u \end{aligned}

원본 교재 풀이(영어)

For any (differentiable) function FF, we have, by the chain and product rules,

∂u∂x(x,y)=∂∂x[ey F(xe−y2)]=ey ∂∂x[F(xe−y2)]=ey F′(xe−y2)∂∂x(xe−y2)=ey F′(xe−y2) e−y2∂u∂y(x,y)=∂∂y[ey F(xe−y2)]=ey F(xe−y2)+ey ∂∂y[F(xe−y2)]=ey F(xe−y2)+ey F′(xe−y2) ∂∂y(xe−y2)=ey F(xe−y2)+ey F′(xe−y2) (−2xy)e−y2\begin{aligned} \frac{\partial u}{\partial x}(x,y)&= \frac{\partial }{\partial x}\Big[e^y\,F\big(xe^{-y^2}\big)\Big] =e^y\,\frac{\partial }{\partial x}\Big[F\big(xe^{-y^2}\big)\Big] \\ &=e^y\,F'\big(xe^{-y^2}\big)\frac{\partial }{\partial x}\Big(xe^{-y^2}\Big) \\ &= e^y\, F'\big(xe^{-y^2}\big)\ e^{-y^2} \\ \frac{\partial u}{\partial y}(x,y)&= \frac{\partial }{\partial y}\Big[e^y\,F\big(xe^{-y^2}\big)\Big]\\ &=e^y\,F\big(xe^{-y^2}\big) +e^y\,\frac{\partial }{\partial y}\Big[F\big(xe^{-y^2}\big)\Big] \\ &= e^y\, F\big(xe^{-y^2}\big) + e^y\,F'\big(xe^{-y^2}\big)\ \frac{\partial }{\partial y}\Big(xe^{-y^2}\Big) \\ &= e^y\, F\big(xe^{-y^2}\big) + e^y\, F'\big(xe^{-y^2}\big)\ (-2xy)e^{-y^2} \end{aligned}

(a) In particular, when F(z)=ln⁡(z)F(z)=\ln(z), F′(z)=1zF'(z)=\frac{1}{z} and

∂u∂x(x,y)=ey 1xe−y2 e−y2=eyx∂u∂y(x,y)=ey ln⁡(xe−y2)+ey 1xe−y2 (−2xy)e−y2=ey ln⁡(xe−y2)−2yey=ey ln⁡(x)−y2 ey−2yey\begin{aligned} \frac{\partial u}{\partial x}(x,y)&= e^y\, \frac{1}{xe^{-y^2}}\ e^{-y^2} = \frac{e^y}{x}\\ \frac{\partial u}{\partial y}(x,y)&= e^y\, \ln\big(xe^{-y^2}\big) + e^y\, \frac{1}{xe^{-y^2}}\ (-2xy)e^{-y^2} = e^y\, \ln\big(xe^{-y^2}\big) -2y e^y \\ &= e^y\,\ln (x) -y^2\,e^y -2y e^y \end{aligned}

(b) In general

2xy∂u∂x+∂u∂y=2xy ey F′(xe−y2) e−y2+ey F(xe−y2)+ey F′(xe−y2) (−2xy)e−y2=ey F(xe−y2)=u\begin{aligned} 2xy\frac{\partial u}{\partial x} + \frac{\partial u}{\partial y} &=2xy\ e^y\, F'\big(xe^{-y^2}\big)\ e^{-y^2} +e^y\, F\big(xe^{-y^2}\big) + e^y\, F'\big(xe^{-y^2}\big)\ (-2xy)e^{-y^2} \\ &=e^y\, F\big(xe^{-y^2}\big) \\ &=u \end{aligned}

한 번 더 — 비슷한 문제 풀기CLP-3 · 2.4절 · 11번
# 다변수 연쇄법칙증명·논술보통자동 분류