《문제》편도함수

1. 다음 함수 의 원점 \((0,\,0)\)에서의 편미분계수 를 구하여라. (1) \(f(x,\,y)=\sqrt{|xy|}\)          (2) \(f(x,\,y)=\sqrt{x^2+y^2}\)          (3) \(f(x,\,y)=\begin{cases}\frac{xy}{\sqrt{x^2+y^2}}&(x,\,y)\ne(0,\,0)\\0&(x,\,y)=(0,\,0)\end{cases}\) <풀이> (1) \(f_x(0,\,0)=\lim_{h\to0}\frac{f(h,\,0)-f(0,\,0)}{h}=0,\,f_y(0,\,0)=\lim_{h\to0}\frac{f(0,\,h)-f(0,\,0)}{h}=0\) (2) \(f_x(0,\,0)=\lim_{n\to\pm0}\frac{f(h,\,0)-f(0,\,0)}{h}=\pm1,\,f_y(0\,0)=\lim_{h\to\pm0}\frac{f(0,\,h)-f(0,\,0)}{h}=\pm1\)      ∴ 원점에서는 편미분계수가 존재하지 않는다. (3) \(f_x(0,\,0)=\lim_{h\to0}\frac{f(h,\,0)-f(0,\,0)}{h}=0,\,f_y(0,\,0)=\lim_{h\to0}\frac{f(0,\,h)=f(0,\,0)}{h}=0\) 2. 다음 함수를 편미분하여라. (1) \(f(x,\,y)=x^2+3xy^2-2x+4y+3\) (2) \(f(x,\,y)=x^3+3x^2y-y^3\)          (3) \(f(x,\,y)=2x+ye^{-x}\) (4) \(f(x,\,y)=\sqrt{x^2+xy+y^2}\)         (5) \(f(x,\,y)={\rm Sin}^{-1}{x\over y}\) (6) \(f(x,\,y)={\rm Tan}^{-1}\frac{x+y}{x-...

무한적분

이미지
함수 \(f(x)\)는 반무한구간 \([a,\,\infty)\)에서 연속 이고, 양수 \(T\)를 취하여 극한 \(\lim_{T\to\infty}\int_a^Tf(x)dx\)가 존재할 때 이것을 다음 기호로 나타낸다. \[\int_a^\infty f(x)dx=\lim_{T\to\infty}\int_a^Tf(x)dx\cdots(1)\] 이 때 무한적분 \(\int_a^\infty f(x)dx\)는 존재한다 또는 수렴한다라 한다. 만일 윗 식 우변의 극한이 존재하지 않으면, 이 무한적분은 존재하지 않는다 또는 발산한다라 한다. 그림 1 마찬가지로 다른 형의 무한적분도 각각 다음과 같이 정의한다. \[\begin{split}&\int_{-\infty}^bf(x)dx=\lim_{T\to-\infty}\int_T^bf(x)dx&\cdots(2)\\&\int_{-\infty}^\infty f(x)dx=\lim_{T\to+\infty}\lim_{T'\to-\infty}\int_{T'}^Tf(x)dx&\cdots(3)\end{split}\] 그림 2 그림 2는 (3)의 의미를 나타낸 것이다. (2)의 의미는 그림 1에서 유추할 수 있다. 또 무한적분 \(\int_a^\infty f(x)dx\)에도 값을 구할 수 있다. 함수 \(f(x)\)가 구간 \([a,\,+\infty)\)에서 연속이고, 부정적분 \({\rm F}(x)\)를 가진다고 하자. 이 때 \(\lim_{x\to\infty}{\rm F}(x)={\rm B}\)가 유한확정적으로 존재한다고 가정하면 \[\lim_{T\to\infty}\int_a^Tf(x)dx=\lim_{T\to\infty}\{{\rm F}(T)-{\rm F}(a)\}=\lim_{T\to\infty}{\rm F}(T)-F(a)={\rm B}-{\rm F}(a)\] 가 되어 좌변의 극한값이 존재한다. 이 때 \[\int_a^\infty f(x)dx=\lim_{T\to\infty}[{\rm F}(x...

[연습문제] 도함수의 응용

1. 다음 함수 의 극치 를 구하여라. (1) \(f(x)=x^4+4x\)          (2) \(f(x)=\sqrt{x}-{1\over\sqrt{x}}\) <풀이> (1) \(f'(x)=4(x+1)(x^2-x+1),\,f''(x)=12x^2\) 이고 \(f'(-1)=0,\,f''(-1)=12>0,\,f(-1)=-3\) 이므로 극소점 \((-1,\,-3)\) (2) \(f'(x)={1\over2}\left({1\over\sqrt{x}}+{1\over x\sqrt{x}}\right)>0\) 이므로 극치는 존재하지 않는다. 2. \(b^2<3ac,\,a>0\) 이면 함수 \(y=ax^3+bx^2+cx+d\)는 \(x\)의 모든 값에 대해서 증가함을 증명하여라. <증명> 가정에 의해 \(y'=3ax^2+2bx+c>0\) 이므로 모든 \(x\)에 대해서 \(y\)는 증가상태에 있다. 3. 타원 \(\frac{x^2}{a^2}+\frac{y^2}{b^2}=1\)에 내접하는 최대 직사각형의 면적을 구하여라. <풀이> 직사각형 면적의 \({1\over4}\)를 \(S\)로 두면 \(S=xy={b\over a}x\sqrt{a^2-x^2}\). \(S'=\frac{b(a^2-2x^2)}{\sqrt{a^2-x^2}}=0\) 이면 \(x={a\over\sqrt{2}}\). 따라서 최대직사각형의 면적\(=4S\left({a\over\sqrt{2}}\right)=2ab\). 4. \(y=ax^3+bx^2+cx\)가 점 \((0,\,0)\)에서 접선 \(y=2x\)를 갖고, 점 \((1,\,1)\)이 변곡점 이 되도록 \(a,\,b,\,c\)를 정하여라. <풀이> \(y'=3ax^2+2bx+c\)에서 \(y'(0)=c=2.\ y(1)=a+b+2=1,\,y''=6ax+2b\)에서 \(y''(1)=6a+...

특이적분

이미지
유계 (有界)가 아닌 함수 , 예를 들어 함수 \[f(x)={1\over\sqrt{x}}\] 을 구간 \((0,\,1]\)에서 생각하면 \(f(x)\)는 유계가 아니다. 이 함수를 0에서 1까지 적분 하여 보자. 함수 \(f(x)=1/\sqrt{x}\)은 구간 \((0,\,1]\)에서 연속 이기는 하나 \[\lim_{x\to0}{1\over\sqrt{x}}=\infty\] 이므로 유계는 아니다. 여기서 위의 그래프와 같이 작은 양수 \(\epsilon\)를 취하여 폐구간 \([\epsilon,\,1]\)에서 \(f(x)=1/\sqrt{x}\)을 생각하면, \(f(x)\)는 \([\epsilon,\,1]\)에서 연속이므로 정적분 \[\int_\epsilon^1\frac{dx}{\sqrt{x}}=[2\sqrt{x}]_\epsilon^1=2(1-\sqrt{\epsilon})\] 을 구할 수 있다. 여기서 극한 \[\lim_{\epsilon\to0}\int_0^1\frac{dx}{\sqrt{x}}=\lim_{\epsilon\to0}2(1-\sqrt{\epsilon})=2\] 를 생각한다. 이 값을 써서 함수 \(f(x)=1/\sqrt{x}\)의 0에서 1까지의 적분을 \[\int_0^1\frac{dx}{\sqrt{x}}=\lim_{\epsilon\to0}\int_\epsilon^1\frac{dx}{\sqrt{x}}=2\] 라고 생각하는 것은 자연스러운 것이다. 일반적으로 함수 \(f(x)\)가 구간 \((a,\,b]\)에서 연속이고, 부정적분 \({\rm F}(x)\)를 가진다고 하자. 이 때 \[\lim_{x\to a+0}f(x)=+\infty\ \text{또는}\ -\infty\] 일지라도 \[\lim_{x\to a+0}{\rm F}(x)=\rm A\] 가 유한확정적으로 존재한다고 가정하면 \[\begin{align}\lim_{\epsilon\to0}\int_{a+\epsilon}^bf(x)dx&=\lim_{\epsilon\to0}[{\rm F}...

[연습문제] 벡터연산

\(\begin{split}&\overrightarrow{a}=a_1\hat{e}_1+a_2\hat{e}_2+a_3\hat{e}_3\\&\overrightarrow{b}=b_1\hat{e}_1+b_2\hat{e}_2+b_3\hat{e}_3\\&\overrightarrow{c}=c_1\hat{e}_1+c_2\hat{e}_2+c_3\hat{e}_3\end{split}\) (a) 행열 표기법 과 (b) 텐서 표기법 을 사용하여 다음을 계산하고 (a)와 (b)의 결과가 같음을 보여라. 1. \(\overrightarrow{a}\cdot\overrightarrow{b}\) ( dot product ) (a) \(\begin{Bmatrix}a_1&a_2&a_3\end{Bmatrix}\begin{Bmatrix}a_1\\a_2\\a_3\end{Bmatrix}=a_1b_1+a_2b_2+a_3b_3\) (b) \(a_ib_i=a_1b_1+a_2b_2+a_3b_3\) 2. \(\overrightarrow{a}\times\overrightarrow{b}\) ( cross product ) (a) \(\begin{Bmatrix}a_1&a_2&a_3\end{Bmatrix}\times\begin{Bmatrix}b_1&b_2&b_3\end{Bmatrix}=\left|\begin{matrix}\hat{e}_1&\hat{e}_2&\hat{e}_3\\a_1&a_2&a_3\\b_1&b_2&b_3\end{matrix}\right|\) \(=(a_2b_3-a_3b_2)\hat{e}_1+(a_3b_1-a_1b_3)\hat{e}_2+(a_1b_2-a_2b_1)\hat{e}_3\) (b) \(a_i\times b_j=\epsilon_{ijk}a_jb_k\) \(=(\epsilon_{123}a_2b_3+\epsilon_{132}a_3b_2)\hat{e}_1+(\epsilon_{131}a_3b_1...