跳到主要内容

明治大学 先端数理科学研究科 現象数理学専攻 2022年8月実施 微积分

Author

思齐塾, 祭音Myyura

Description

[I] 関数

f(x)=ex12x2x1f(x) = e^x - \frac{1}{2}x^2 - x - 1

について、極限

limx0f(x)xk\lim_{x \to 0} \frac{f(x)}{x^k}

が正の一定値に収束するような整数kと、そのときの極限値を求めよ。

[II] xy 平面の領域Dを

D={(x,y)R20x2π,0y2π}D = \{(x, y) \in \mathbb{R}^2 | 0 \leq x \leq 2\pi, 0 \leq y \leq 2\pi\}

で定める。Dで定義された2変数関数

f(x,y)=sinx+siny+sin(x+y)f(x, y) = \sin x + \sin y + \sin(x+y)

について、次の問に答えよ。

(1) 関数g(t)を

g(t)=f(t,t)g(t) = f(t,t)

で定める。関数g(t) の 0t2π0 \leq t \leq 2\pi における増減を調べ、グラフの概形を描け。

(2) 偏導関数

fx,fy\frac{\partial f}{\partial x}, \frac{\partial f}{\partial y}

をそれぞれ求めよ。

(3) 関数 f(x,y) の値が最大、最小になる (x,y) \in Dおよび最大値、最小値を求めよ。

(4)重積分

Df(x,y)2dxdy\iint_D f(x, y)^2 dxdy

を求めよ。

题目描述

I. 对函数

f(x)=ex12x2x1,f(x)=e^x-\frac12x^2-x-1,

求使极限

limx0f(x)xk\lim_{x\to0}\frac{f(x)}{x^k}

收敛到正常数的整数 kk,并求此时的极限值。

II. 定义 xyxy 平面上的区域

D={(x,y)R2|0x2π,  0y2π}.D=\left\{(x,y)\in\mathbb{R}^2\,\middle|\, 0\leq x\leq2\pi,\; 0\leq y\leq2\pi \right\}.

对于定义在 DD 上的二元函数

f(x,y)=sinx+siny+sin(x+y),f(x,y)=\sin x+\sin y+\sin(x+y),

回答下列问题。

(1) 定义

g(t)=f(t,t).g(t)=f(t,t).

研究 g(t)g(t)0t2π0\leq t\leq2\pi 上的增减性,并画出其图像的大致形状。

(2) 分别求偏导数

fx,fy.\frac{\partial f}{\partial x}, \qquad \frac{\partial f}{\partial y}.

(3) 求使 f(x,y)f(x,y) 取得最大值、最小值的全部 (x,y)D(x,y)\in D,以及相应的最大值、最小值。

(4) 计算二重积分

Df(x,y)2dxdy.\iint_D f(x,y)^2\,dx\,dy.

Kai

解答:

[I] 求 limx0f(x)xk\lim_{x \to 0} \frac{f(x)}{x^k} , 其中 f(x)=ex12x2x1f(x) = e^x - \frac{1}{2}x^2 - x - 1 ,求k和极限值。

泰勒展开: ex=1+x+x22!+x33!+x44!+O(x5)e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + O(x^5)

那么, f(x)=(1+x+x22+x36+x424+O(x5))12x2x1=x36+x424+O(x5)f(x) = (1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \frac{x^4}{24} + O(x^5)) - \frac{1}{2}x^2 - x - 1 = \frac{x^3}{6} + \frac{x^4}{24} + O(x^5) .

如果 k=3k=3 ,那么 limx0f(x)x3=limx0x36+x424+O(x5)x3=limx0(16+x24+O(x2))=16\lim_{x \to 0} \frac{f(x)}{x^3} = \lim_{x \to 0} \frac{\frac{x^3}{6} + \frac{x^4}{24} + O(x^5)}{x^3} = \lim_{x \to 0} (\frac{1}{6} + \frac{x}{24} + O(x^2)) = \frac{1}{6} .

[II] (1) g(t)g(t) 的定义与导数计算: g(t)=f(t,t)=sint+sint+sin(t+t)=2sint+sin2t=2sint(1+cost)g(t) = f(t,t) = \sin t + \sin t + \sin(t+t) = 2\sin t + \sin 2t = 2\sin t (1 + \cos t) .

求导得: g(t)=2cost+2cos2t=2cost+2(2cos2t1)=4cos2t+2cost2g'(t) = 2\cos t + 2\cos 2t = 2\cos t + 2(2\cos^2 t - 1) = 4\cos^2 t + 2\cos t - 2 =2(2cos2t+cost1)=2(2cost1)(cost+1)= 2(2\cos^2 t + \cos t - 1) = 2(2\cos t - 1)(\cos t + 1) .

g(t)=0g'(t) = 0 : 考虑到定义域 0t2π0 \le t \le 2\pi

  1. 2cost1=0    cost=12    t=π3,5π32\cos t - 1 = 0 \implies \cos t = \frac{1}{2} \implies t = \frac{\pi}{3}, \frac{5\pi}{3} .
  2. cost+1=0    cost=1    t=π\cos t + 1 = 0 \implies \cos t = -1 \implies t = \pi .

单调性分析: 由于对于任意实数 tt 都有 (cost+1)0(\cos t + 1) \ge 0 ,因此 g(t)g'(t) 的符号由 (2cost1)(2\cos t - 1) 决定。

  • 0t<π30 \le t < \frac{\pi}{3} 时: cost>12    g(t)>0\cos t > \frac{1}{2} \implies g'(t) > 0 (单调递增)。
  • π3<t<5π3\frac{\pi}{3} < t < \frac{5\pi}{3} (且 tπt \ne \pi ) 时: cost<12    g(t)<0\cos t < \frac{1}{2} \implies g'(t) < 0 (单调递减)。
  • 5π3<t2π\frac{5\pi}{3} < t \le 2\pi 时: cost>12    g(t)>0\cos t > \frac{1}{2} \implies g'(t) > 0 (单调递增)。

注意:在 t=πt=\pi 处虽然 g(t)=0g'(t)=0 ,但导数符号未发生改变(保持为负),因此 g(t)g(t)[π3,5π3][\frac{\pi}{3}, \frac{5\pi}{3}] 区间内持续单调递减。

增减表如下:

t0π3π5π32πg(t)++000++g(t)033203320\begin{array}{c|ccccccccc} t & 0 & \cdots & \frac{\pi}{3} & \cdots & \pi & \cdots & \frac{5\pi}{3} & \cdots & 2\pi \\ \hline g'(t) & + & + & 0 & - & 0 & - & 0 & + & + \\ \hline g(t) & 0 & \nearrow & \frac{3\sqrt{3}}{2} & \searrow & 0 & \searrow & -\frac{3\sqrt{3}}{2} & \nearrow & 0 \end{array}

结论: g(t)g(t) 在区间 [0,π3][0, \frac{\pi}{3}][5π3,2π][\frac{5\pi}{3}, 2\pi] 上单调递增。 g(t)g(t) 在区间 [π3,5π3][\frac{\pi}{3}, \frac{5\pi}{3}] 上单调递减。 极大值为 332\frac{3\sqrt{3}}{2} (当 t=π3t = \frac{\pi}{3} 时)。 极小值为 332-\frac{3\sqrt{3}}{2} (当 t=5π3t = \frac{5\pi}{3} 时)。

(2) fx=cosx+cos(x+y)\frac{\partial f}{\partial x} = \cos x + \cos(x+y) , fy=cosy+cos(x+y)\frac{\partial f}{\partial y} = \cos y + \cos(x+y) .

(3) 求 f(x,y)f(x, y) 的最大值和最小值。

第一步:求驻点 由偏导数方程组:

{fx=cosx+cos(x+y)=0(1)fy=cosy+cos(x+y)=0(2)\begin{cases} \frac{\partial f}{\partial x} = \cos x + \cos(x+y) = 0 \quad \cdots (1) \\ \frac{\partial f}{\partial y} = \cos y + \cos(x+y) = 0 \quad \cdots (2) \end{cases}

(1) - (2) 得 cosxcosy=0\cos x - \cos y = 0 ,即 cosx=cosy\cos x = \cos y 。 在区域 0x,y2π0 \le x, y \le 2\pi 内,这意味 x=yx = y 或者 y=2πxy = 2\pi - x

情况 1:当 x=yx = y 时 代入 (1) 式得: cosx+cos2x=0    cosx+(2cos2x1)=0\cos x + \cos 2x = 0 \implies \cos x + (2\cos^2 x - 1) = 0 2cos2x+cosx1=0    (2cosx1)(cosx+1)=02\cos^2 x + \cos x - 1 = 0 \implies (2\cos x - 1)(\cos x + 1) = 0 解得 cosx=12\cos x = \frac{1}{2}cosx=1\cos x = -1 。 对应的点为: (π3,π3)(\frac{\pi}{3}, \frac{\pi}{3})(5π3,5π3)(\frac{5\pi}{3}, \frac{5\pi}{3})(π,π)(\pi, \pi)

情况 2:当 y=2πxy = 2\pi - x 时 代入 (1) 式得: cosx+cos(2π)=0    cosx+1=0    x=π\cos x + \cos(2\pi) = 0 \implies \cos x + 1 = 0 \implies x = \pi 。 此时 y=πy = \pi ,得到的点 (π,π)(\pi, \pi) 与情况 1 重合。

第二步:比较函数值 计算驻点处的函数值:

  1. f(π3,π3)=sinπ3+sinπ3+sin2π3=32+32+32=332f(\frac{\pi}{3}, \frac{\pi}{3}) = \sin\frac{\pi}{3} + \sin\frac{\pi}{3} + \sin\frac{2\pi}{3} = \frac{\sqrt{3}}{2} + \frac{\sqrt{3}}{2} + \frac{\sqrt{3}}{2} = \frac{3\sqrt{3}}{2}
  2. f(5π3,5π3)=sin5π3+sin5π3+sin10π3=323232=332f(\frac{5\pi}{3}, \frac{5\pi}{3}) = \sin\frac{5\pi}{3} + \sin\frac{5\pi}{3} + \sin\frac{10\pi}{3} = -\frac{\sqrt{3}}{2} - \frac{\sqrt{3}}{2} - \frac{\sqrt{3}}{2} = -\frac{3\sqrt{3}}{2}
  3. f(π,π)=sinπ+sinπ+sin2π=0f(\pi, \pi) = \sin\pi + \sin\pi + \sin 2\pi = 0

此外,考察边界情况(例如 x=0x=0y=0y=0 ): f(0,y)=siny+siny=2sinyf(0, y) = \sin y + \sin y = 2\sin y ,其最大值为 2,最小值为 -2。 由于 3322.598>2\frac{3\sqrt{3}}{2} \approx 2.598 > 2 ,且 3322.598<2-\frac{3\sqrt{3}}{2} \approx -2.598 < -2

结论: 最大值为 332\frac{3\sqrt{3}}{2} ,在点 (π3,π3)(\frac{\pi}{3}, \frac{\pi}{3}) 处取得。 最小值为 332-\frac{3\sqrt{3}}{2} ,在点 (5π3,5π3)(\frac{5\pi}{3}, \frac{5\pi}{3}) 处取得。

(4) 计算二重积分 Df(x,y)2dxdy\iint_D f(x, y)^2 \, dxdy

步骤 1:展开被积函数

f(x,y)2=(sinx+siny+sin(x+y))2=sin2xi+sin2yii+sin2(x+y)iii+2sinxsinyiv+2sinxsin(x+y)v+2sinysin(x+y)vi\begin{aligned} f(x,y)^2 &= (\sin x + \sin y + \sin(x+y))^2 \\ &= \underbrace{\sin^2 x}_{\text{i}} + \underbrace{\sin^2 y}_{\text{ii}} + \underbrace{\sin^2(x+y)}_{\text{iii}} \\ &\quad + \underbrace{2\sin x \sin y}_{\text{iv}} + \underbrace{2\sin x \sin(x+y)}_{\text{v}} + \underbrace{2\sin y \sin(x+y)}_{\text{vi}} \end{aligned}

利用积分区域 D=[0,2π]×[0,2π]D = [0, 2\pi] \times [0, 2\pi] 的周期性,逐项计算。

步骤 2:计算平方项 i, ii, iii 利用公式 02πsin2θdθ=02π1cos2θ2dθ=π\int_0^{2\pi} \sin^2 \theta \, d\theta = \int_0^{2\pi} \frac{1-\cos 2\theta}{2} \, d\theta = \pi

项 i: Dsin2xdxdy=02πdy02πsin2xdx=2ππ=2π2\iint_D \sin^2 x \, dxdy = \int_0^{2\pi} dy \int_0^{2\pi} \sin^2 x \, dx = 2\pi \cdot \pi = 2\pi^2

项 ii: 同理, Dsin2ydxdy=2π2\iint_D \sin^2 y \, dxdy = 2\pi^2

项 iii: Dsin2(x+y)dxdy\iint_D \sin^2(x+y) \, dxdy 。 令 u=x+yu=x+y ,利用周期性可知在一整个周期内积分值相同:

D1cos(2x+2y)2dxdy=12D1dxdy12Dcos(2x+2y)dxdy\iint_D \frac{1 - \cos(2x+2y)}{2} \, dxdy = \frac{1}{2} \iint_D 1 \, dxdy - \frac{1}{2} \iint_D \cos(2x+2y) \, dxdy

第一部分为 12×(2π)2=2π2\frac{1}{2} \times (2\pi)^2 = 2\pi^2 。 第二部分由于在全周期内积分,结果为 0。 故 项 iii =2π2= 2\pi^2

步骤 3:计算交叉项 iv, v, vi 利用 02πsinθdθ=0\int_0^{2\pi} \sin \theta \, d\theta = 002πcosθdθ=0\int_0^{2\pi} \cos \theta \, d\theta = 0

项 iv:

D2sinxsinydxdy=2(02πsinxdx)(02πsinydy)=200=0\iint_D 2\sin x \sin y \, dxdy = 2 \left(\int_0^{2\pi} \sin x \, dx\right) \left(\int_0^{2\pi} \sin y \, dy\right) = 2 \cdot 0 \cdot 0 = 0

项 v: D2sinxsin(x+y)dxdy\iint_D 2\sin x \sin(x+y) \, dxdy 。 利用积化和差公式 2sinAsinB=cos(AB)cos(A+B)2\sin A \sin B = \cos(A-B) - \cos(A+B)

2sinxsin(x+y)=cos(x(x+y))cos(x+x+y)=cos(y)cos(2x+y)=cosycos(2x+y)2\sin x \sin(x+y) = \cos(x - (x+y)) - \cos(x + x + y) = \cos(-y) - \cos(2x+y) = \cos y - \cos(2x+y)

积分:

DcosydxdyDcos(2x+y)dxdy\iint_D \cos y \, dxdy - \iint_D \cos(2x+y) \, dxdy

第一部分: 02πdx02πcosydy=2π0=0\int_0^{2\pi} dx \int_0^{2\pi} \cos y \, dy = 2\pi \cdot 0 = 0 。 第二部分:对 xx 积分 02πcos(2x+y)dx=[12sin(2x+y)]02π=0\int_0^{2\pi} \cos(2x+y) \, dx = [\frac{1}{2}\sin(2x+y)]_0^{2\pi} = 0 。 故项 v =0= 0

项 vi:同理,由对称性可知项 vi =0= 0

步骤 4:求和

Df(x,y)2dxdy=2π2i+2π2ii+2π2iii+0iv+0v+0vi=6π2\iint_D f(x, y)^2 \, dxdy = \underbrace{2\pi^2}_{\text{i}} + \underbrace{2\pi^2}_{\text{ii}} + \underbrace{2\pi^2}_{\text{iii}} + \underbrace{0}_{\text{iv}} + \underbrace{0}_{\text{v}} + \underbrace{0}_{\text{vi}} = 6\pi^2