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

편미분방정식 맛보기

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

CLP-3 · 2.8절 · 6번대학 수준우리말 번역

u(x,t)=sin⁡(at) cos⁡(bx)u(x,t) = \sin(at)\,\cos(bx) 라 하자. 여기서 aa 와 bb 는 상수이다. utt=uxxu_{tt} = u_{xx} 를 만족하는 aa 와 bb 를 모두 구하세요.

영어 원문 보기

Let u(x,t)=sin⁡(at) cos⁡(bx)u(x,t) = \sin(at)\,\cos(bx) where aa and bb are constants. Find all aa's and bb's such that utt=uxxu_{tt} = u_{xx}.

정답·풀이 보기

u=u(x,t)=sin⁡(at) cos⁡(bx)u=u(x,t)=\sin(at)\,\cos(bx) 일 때 주어진 편미분방정식의 양변을 각각 계산한다. 다음이 성립하므로

u(x,t)=sin⁡(at) cos⁡(bx)ut(x,t)=a cos⁡(at) cos⁡(bx)utt(x,t)=−a2 sin⁡(at) cos⁡(bx)ux(x,t)=−b sin⁡(at) sin⁡(bx)uxx(x,t)=−b2sin⁡(at) cos⁡(bx)\begin{aligned} u(x,t) &= \sin(at)\,\cos(bx) \\ u_t(x,t) &= a\,\cos(at)\,\cos(bx) \qquad & u_{tt}(x,t) &= -a^2\,\sin(at)\,\cos(bx) \\ u_x(x,t) &= -b\,\sin(at)\,\sin(bx) \qquad & u_{xx}(x,t) &= -b^2\sin(at)\,\cos(bx) \end{aligned}

편미분방정식의 좌변은

utt=−a2 sin⁡(at) cos⁡(bx)u_{tt} = -a^2\,\sin(at)\,\cos(bx)

이고, 편미분방정식의 우변은

uxx=−b2 sin⁡(at) cos⁡(bx)\begin{aligned} u_{xx} &=-b^2\,\sin(at)\,\cos(bx) \end{aligned}

이다. 좌변과 우변이 같을 필요충분조건은

a2=b2  ⟺  a=±b\begin{aligned} a^2=b^2 \iff a=\pm b \end{aligned}

이다.

원본 교재 풀이(영어)

We evaluate both sides of the given PDE with u=u(x,t)=sin⁡(at) cos⁡(bx)u=u(x,t)=\sin(at)\,\cos(bx). Since

u(x,t)=sin⁡(at) cos⁡(bx)ut(x,t)=a cos⁡(at) cos⁡(bx)utt(x,t)=−a2 sin⁡(at) cos⁡(bx)ux(x,t)=−b sin⁡(at) sin⁡(bx)uxx(x,t)=−b2sin⁡(at) cos⁡(bx)\begin{aligned} u(x,t) &= \sin(at)\,\cos(bx) \\ u_t(x,t) &= a\,\cos(at)\,\cos(bx) \qquad & u_{tt}(x,t) &= -a^2\,\sin(at)\,\cos(bx) \\ u_x(x,t) &= -b\,\sin(at)\,\sin(bx) \qquad & u_{xx}(x,t) &= -b^2\sin(at)\,\cos(bx) \end{aligned}

the left hand side of the PDE is

utt=−a2 sin⁡(at) cos⁡(bx)u_{tt} = -a^2\,\sin(at)\,\cos(bx)

and the right hand side of the PDE is

uxx=−b2 sin⁡(at) cos⁡(bx)\begin{aligned} u_{xx} &=-b^2\,\sin(at)\,\cos(bx) \end{aligned}

The left and right hand sides are equal if and only if

a2=b2  ⟺  a=±b\begin{aligned} a^2=b^2 \iff a=\pm b \end{aligned}

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

F(u)F(u) 를 한 변수의 임의의 미분가능한 함수라 하자. z(x,y)=F(x2+y2)z(x,y)=F\big(x^2+y^2\big) 으로 정의한다. 편미분방정식

y∂z∂x−x∂z∂y=0y\frac{\partial z}{\partial x} - x\frac{\partial z}{\partial y}=0

은 반드시 성립하는지 판단하세요. 답의 근거를 반드시 제시하세요.

다 풀었으면 정답 확인

z=z(x,y)=F(x2+y2)z=z(x,y)=F\big(x^2+y^2\big) 일 때 좌변의 두 항을 각각 계산하면 된다. 연쇄 법칙에 의해

y∂z∂x=y∂∂xF(x2+y2)=yF′(x2+y2)∂∂x (x2+y2)=yF′(x2+y2)(2x)=2xy F′(x2+y2)x∂z∂y=x∂∂yF(x2+y2)=xF′(x2+y2)∂∂y (x2+y2)=xF′(x2+y2)(2y)=2xyF′(x2+y2)\begin{aligned} y\frac{\partial z}{\partial x}&= y\frac{\partial }{\partial x}F\big(x^2+y^2\big) =yF'\big(x^2+y^2\big) \frac{\partial }{\partial x}\,\big(x^2+y^2\big) =yF'\big(x^2+y^2\big)\left(2x\right) \\ &=2xy\,F'\big(x^2+y^2\big) \\ x\frac{\partial z}{\partial y}&= x\frac{\partial }{\partial y}F\big(x^2+y^2\big) =xF'\big(x^2+y^2\big) \frac{\partial }{\partial y}\,\big(x^2+y^2\big) =xF'\big(x^2+y^2\big)\left(2y\right) \\ &=2xyF'\big(x^2+y^2\big) \end{aligned}

이다. 따라서

y∂z∂x−x∂z∂y=2xy F′(x2+y2)−2xy F′(x2+y2)=0y\frac{\partial z}{\partial x} - x\frac{\partial z}{\partial y} =2xy\,F'\big(x^2+y^2\big) - 2xy\,F'\big(x^2+y^2\big) =0

이고, 미분가능한 모든 함수 FF 에 대해 z(x,y)=F(x2+y2)z(x,y)=F\big(x^2+y^2\big) 은 편미분방정식 y∂z∂x−x∂z∂y=0 y\frac{\partial z}{\partial x} - x\frac{\partial z}{\partial y}=0 의 해이다.

이 문제로 이어서 풀기
# 편미분방정식 맛보기계산보통자동 분류

「편미분방정식 맛보기」 문제 목록으로