跳到主要内容

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

Author

思齐塾, 祭音Myyura

Description

I. 実数全体の集合 R\mathbb{R} で定義された連続関数 f,gf, g に対して、関数 fgf * g

(fg)(x)=0xf(xy)g(y)dy(xR)(f * g)(x) = \int_0^x f(x - y)g(y) dy \quad (x \in \mathbb{R})

で定める。次の問に答えよ。

(1) 関数 en(x)e_n(x)

e0(x)=1,en+1(x)=(ene0)(x)(n=0,1,2,)e_0(x) = 1, \quad e_{n+1}(x) = (e_n * e_0)(x) \quad (n = 0, 1, 2, \dots)

で定める。関数 en(x)e_n(x) を求めよ。

(2) R\mathbb{R} で定義された任意の連続関数 f,gf, g に対して、 fg=gff * g = g * f が成り立つことを示せ。

II. 2変数関数 h(x,y)h(x, y)

h(x,y)=ex2+y2h(x, y) = e^{-\sqrt{x^2 + y^2}}

で定める。次の問に答えよ。

(1) 偏導関数

hx,hy\frac{\partial h}{\partial x}, \quad \frac{\partial h}{\partial y}

をそれぞれ求めよ。

(2) DDxyxy 平面の

x2+y21x^2 + y^2 \leq 1

で定まる領域とする。 DD 上の重積分

D1x2+y2(xhx+yhy)dxdy\iint_D \frac{1}{x^2 + y^2} \left( x \frac{\partial h}{\partial x} + y \frac{\partial h}{\partial y} \right) dxdy

を計算せよ。

题目描述

I. 对定义在全体实数集 R\mathbb{R} 上的连续函数 f,gf,g,定义函数 fgf*g

(fg)(x)=0xf(xy)g(y)dy(xR).(f*g)(x)=\int_0^x f(x-y)g(y)\,dy \qquad(x\in\mathbb{R}).

回答下列问题。

(1) 定义函数 en(x)e_n(x) 如下:

e0(x)=1,en+1(x)=(ene0)(x)(n=0,1,2,).e_0(x)=1,\qquad e_{n+1}(x)=(e_n*e_0)(x) \quad(n=0,1,2,\dots).

en(x)e_n(x)

(2) 证明:对任意定义在 R\mathbb{R} 上的连续函数 f,gf,g,都有

fg=gf.f*g=g*f.

II. 定义二元函数

h(x,y)=ex2+y2.h(x,y)=e^{-\sqrt{x^2+y^2}}.

回答下列问题。

(1) 分别求偏导数

hx,hy.\frac{\partial h}{\partial x}, \qquad \frac{\partial h}{\partial y}.

(2) 设 DDxyxy 平面上的区域

x2+y21.x^2+y^2\leq1.

计算 DD 上的二重积分

D1x2+y2(xhx+yhy)dxdy.\iint_D\frac{1}{x^2+y^2} \left( x\frac{\partial h}{\partial x} +y\frac{\partial h}{\partial y} \right)\,dx\,dy.

Kai

I. (1) e0(x)=1e_0(x) = 1 e1(x)=(e0e0)(x)=0xe0(xy)e0(y)dy=0x11dy=xe_1(x) = (e_0 * e_0)(x) = \int_0^x e_0(x - y) e_0(y) dy = \int_0^x 1 \cdot 1 dy = x e2(x)=(e1e0)(x)=0xe1(xy)e0(y)dy=0x(xy)1dy=0x(xy)dy=[xy12y2]0x=x212x2=x22e_2(x) = (e_1 * e_0)(x) = \int_0^x e_1(x - y) e_0(y) dy = \int_0^x (x - y) \cdot 1 dy = \int_0^x (x - y) dy = [xy - \frac{1}{2}y^2]_0^x = x^2 - \frac{1}{2}x^2 = \frac{x^2}{2} e3(x)=(e2e0)(x)=0xe2(xy)e0(y)dy=0x(xy)221dy=120x(xy)2dy=12[(xy)33]0x=12(0(x33))=x36e_3(x) = (e_2 * e_0)(x) = \int_0^x e_2(x - y) e_0(y) dy = \int_0^x \frac{(x - y)^2}{2} \cdot 1 dy = \frac{1}{2} \int_0^x (x - y)^2 dy = \frac{1}{2} [-\frac{(x - y)^3}{3}]_0^x = \frac{1}{2} (0 - (-\frac{x^3}{3})) = \frac{x^3}{6}

Mathematical Induction: Hypothesis: Assume ek(x)=xkk!e_k(x) = \frac{x^k}{k!} holds for some integer k0k \ge 0 . For n=k+1n = k+1 : ek+1(x)=(eke0)(x)=0xek(xy)e0(y)dye_{k+1}(x) = (e_k * e_0)(x) = \int_0^x e_k(x - y) e_0(y) dy Substitute the hypothesis: =0x(xy)kk!1dy= \int_0^x \frac{(x - y)^k}{k!} \cdot 1 dy Let u=xyu = x - y , then du=dydu = -dy . The limits change from 0x0 \to x to x0x \to 0 : =x0ukk!(du)=0xukk!du= \int_x^0 \frac{u^k}{k!} (-du) = \int_0^x \frac{u^k}{k!} du =1k![uk+1k+1]0x=1k!xk+1k+1=xk+1(k+1)!= \frac{1}{k!} [\frac{u^{k+1}}{k+1}]_0^x = \frac{1}{k!} \cdot \frac{x^{k+1}}{k+1} = \frac{x^{k+1}}{(k+1)!} Conclusion: By mathematical induction, en(x)=xnn!e_n(x) = \frac{x^n}{n!} holds for all n0n \ge 0 .

(2) To prove: fg=gff*g = g*f

(fg)(x)=0xf(xy)g(y)dy(f * g)(x) = \int_0^x f(x - y) g(y) dy

Let u=xyu = x - y , then y=xuy = x - u and dy=dudy = -du

(fg)(x)=x0f(u)g(xu)(du)=0xg(xu)f(u)du=(gf)(x)(f * g)(x) = \int_x^0 f(u) g(x - u) (-du) = \int_0^x g(x - u) f(u) du = (g * f)(x)

Hence, fg=gff * g = g * f

II. (1)

h(x,y)=ex2+y2h(x, y) = e^{-\sqrt{x^2 + y^2}}
hx=ex2+y2(12x2+y2)2x=xx2+y2ex2+y2\frac{\partial h}{\partial x} = e^{-\sqrt{x^2 + y^2}} \cdot (-\frac{1}{2\sqrt{x^2 + y^2}}) \cdot 2x = -\frac{x}{\sqrt{x^2 + y^2}} e^{-\sqrt{x^2 + y^2}}
hy=ex2+y2(12x2+y2)2y=yx2+y2ex2+y2\frac{\partial h}{\partial y} = e^{-\sqrt{x^2 + y^2}} \cdot (-\frac{1}{2\sqrt{x^2 + y^2}}) \cdot 2y = -\frac{y}{\sqrt{x^2 + y^2}} e^{-\sqrt{x^2 + y^2}}

These formulas hold for (x,y)(0,0)(x,y)\ne(0,0) . At the origin the partial derivatives do not exist. Indeed,

h(t,0)h(0,0)t=et1t\frac{h(t,0)-h(0,0)}{t} =\frac{e^{-|t|}-1}{t}

tends to 1-1 as t0+t\to0^+ and to 11 as t0t\to0^- ; the same argument applies to the yy partial derivative.

(2)

D1x2+y2(xhx+yhy)dxdy\iint_D \frac{1}{x^2 + y^2} \left( x \frac{\partial h}{\partial x} + y \frac{\partial h}{\partial y} \right) dxdy

The integrand is therefore understood on D{(0,0)}D\setminus\{(0,0)\} as an improper integral. The singularity obtained below is locally integrable, so deleting the single origin does not change the value.

1x2+y2(xhx+yhy)=1x2+y2(x(xx2+y2ex2+y2)+y(yx2+y2ex2+y2))\frac{1}{x^2 + y^2} \left( x \frac{\partial h}{\partial x} + y \frac{\partial h}{\partial y} \right) = \frac{1}{x^2 + y^2} \left( x (-\frac{x}{\sqrt{x^2 + y^2}} e^{-\sqrt{x^2 + y^2}}) + y (-\frac{y}{\sqrt{x^2 + y^2}} e^{-\sqrt{x^2 + y^2}}) \right)
=1x2+y2(x2+y2x2+y2ex2+y2)=ex2+y2x2+y2= \frac{1}{x^2 + y^2} \left( -\frac{x^2 + y^2}{\sqrt{x^2 + y^2}} e^{-\sqrt{x^2 + y^2}} \right) = -\frac{e^{-\sqrt{x^2 + y^2}}}{\sqrt{x^2 + y^2}}

Let x=rcosθx = r \cos \theta and y=rsinθy = r \sin \theta . Then x2+y2=r2x^2 + y^2 = r^2 and dxdy=rdrdθdxdy = r dr d\theta .

D:x2+y21r210r1D: x^2 + y^2 \leq 1 \Rightarrow r^2 \leq 1 \Rightarrow 0 \leq r \leq 1
0θ2π0 \leq \theta \leq 2\pi
Dex2+y2x2+y2dxdy=02π01errrdrdθ=02π01erdrdθ\iint_D -\frac{e^{-\sqrt{x^2 + y^2}}}{\sqrt{x^2 + y^2}} dxdy = \int_0^{2\pi} \int_0^1 -\frac{e^{-r}}{r} r dr d\theta = \int_0^{2\pi} \int_0^1 -e^{-r} dr d\theta
=02π[er]01dθ=02π(e11)dθ=(e11)[θ]02π=2π(e11)=2π(1e1)=2π(1ee)= \int_0^{2\pi} [e^{-r}]_0^1 d\theta = \int_0^{2\pi} (e^{-1} - 1) d\theta = (e^{-1} - 1) [\theta]_0^{2\pi} = 2\pi (e^{-1} - 1) = 2\pi (\frac{1}{e} - 1) = 2\pi (\frac{1 - e}{e})