東京大学 数理科学研究科 数理科学専攻 2024年8月実施 専門科目B 第8問

标签：

• Tokyo-University
• Scaling-of-Differential-Form-Integrals-on-Shrinking-Spheres

Author

藍色日和, 祭音Myyura

Description

$n\geq2$ を整数とし、$S(r)$ を $\mathbb{R}^n$ の球面

$$S(r):=\{(x_1,\cdots,x_n)\in\mathbb{R}^n|x_1^2+\cdots+x_n^2=r^2\}$$

とおき、$S(r)$ の向きを一つ固定する。また $\Omega^{k}(\mathbb{R}^n)$ を $\mathbb{R}^n$ 上の $C^\infty$ 級 $k$ 形式全体とする。以下の問いに解答しなさい。

(1) 任意の $\omega\in\Omega^{n-1}(\mathbb{R}^n)$ に対して積分

$$\frac{1}{r^n}\left|\int_{S(r)}\omega\right|$$

は $r\to+0$ で有限の値に収束することを示しなさい。

(2) $k$ を正の整数とする。任意の $\omega\in\Omega^{n-1}(\mathbb{R}^n)$ に対して積分

$$\frac{1}{r^a}\left|\int_{S(r)}x_1^k\omega\right|$$

が $r\to+0$ で収束するような実数 $a$ の範囲を求めなさい。

题目描述

设 $n\geq2$ 为整数。对 $r>0$，令

$$S(r):=\left\{(x_1,\ldots,x_n)\in\mathbb{R}^n \mathrel{\middle|} x_1^2+\cdots+x_n^2=r^2\right\},$$

固定 $S(r)$ 的一个定向。$S(r)$ 是 $\mathbb{R}^n$ 中半径为 $r$ 的球面；并用 $\Omega^k(\mathbb{R}^n)$ 表示 $\mathbb{R}^n$ 上所有 $C^\infty$ 级 $k$-形式组成的集合。回答下列问题：

1. 证明对任意 $\omega\in\Omega^{n-1}(\mathbb{R}^n)$，当 $r\to0^+$ 时，

   $$\frac{1}{r^n}\left|\int_{S(r)}\omega\right|$$

   收敛到某个有限值。

2. 设 $k$ 为正整数。求所有满足下述条件的实数 $a$ 的范围：对任意 $\omega\in\Omega^{n-1}(\mathbb{R}^n)$，当 $r\to0^+$ 时，

   $$\frac{1}{r^a}\left|\int_{S(r)}x_1^k\omega\right|$$

   都收敛。

Kai

(1)

絶対値を取るので、球面には外向きの向きを用いてよい。まず極座標表示

$$x_1=s\cos\theta_1$$

$$x_2=s\sin\theta_1\cos\theta_2$$

$$x_3=s\sin\theta_1\sin\theta_2\cos\theta_3$$

$$\cdots$$

$$x_{n-1}=s\sin\theta_1\cdots\sin\theta_{n-2}\cos\theta_{n-1}$$

$$x_n=s\sin\theta_1\cdots\sin\theta_{n-2}\sin\theta_{n-1}$$

を取り、

$$d\omega=f(x_1,\cdots,x_n)dx_1\wedge\cdots\wedge dx_n$$

$$g(s,\theta_1,\cdots,\theta_{n-1})=f(x_1,\cdots,x_n)$$

$$B(r)=\{(x_1,\cdots,x_n)\in\mathbb{R}^n|x_1^2+\cdots+x_n^2\leq r^2\}$$

とおく。Stokes の定理より、絶対値を取る前の積分は

$$\frac{1}{r^n}\int_{S(r)}\omega =\frac{1}{r^n}\int_{B(r)}gs^{n-1}\sin^{n-2}\theta_1\sin^{n-3}\theta_2\cdots\sin\theta_{n-2}\,dsd\theta_1\cdots d\theta_{n-1}$$

と表される。この積分はある $C^\infty$ 級関数 $G:\mathbb{R}\to\mathbb{R}$ を用いて

$$\frac{1}{r^n}\int_{0}^rG(s)s^{n-1}ds=\frac{G(r)}{n}-\frac{1}{nr^n}\int_0^rG'(s)s^{n}ds$$

と書ける。ここで第二項は $r\to+0$ で $0$ に収束するから、問題の絶対値付きの量は $r\to+0$ で $\frac{|G(0)|}{n}$ に収束する。よって結果が示せた。

(2)

$k\in\mathbb Z_{>0}$ とする。

問題の積分は Stokes の定理から

$$k\int_{B(r)}x_1^{k-1}dx_1\wedge\omega+\int_{B(r)}x_1^kd\omega$$

と表される。ここで $m\geq1$ に対して積分

$$I(2m-1,f):=\int_{B(r)}x_1^{2m-1}f(x)dx$$

を考える。まず補題を $f$ 及び $M=2$ に適用して

$$f(x)=c+\sum_{i=1}^nc_ix_i+\sum_{ij}c_{ij}x_ix_j+\sum_{ij}h_{ij}(x)x_ix_j$$

と表す。このとき球の対称性から

$$I(2m-1,f)=c_1\int_{B(r)}x_1^{2m}dx+\sum_{i,j}\int_{B(r)}h_{ij}(x)x_1^{2m-1}x_ix_jdx$$

と表される。極座標表示により、任意の $a\leq n+2m$ に対して

$$\lim_{r\to+0}\frac{I(2m-1,f)}{r^a}=\lim_{r\to+0}\frac{c_1}{r^a}\int_{B(r)}x_1^{2m}dx$$

は有限値に収束する。次に $m\geq0$ に対して同様に

$$I(2m,f):=\int_{B(r)}x_1^{2m}f(x)dx$$

とおく。上と同じ Taylor 展開と対称性から

$$\begin{aligned} I(2m,f) ={}&c\int_{B(r)}x_1^{2m}dx +\sum_{i=1}^nc_{i,i}\int_{B(r)}x_1^{2m}x_i^2dx\\ &+\sum_{i,j}\int_{B(r)}x_1^{2m}h_{ij}(x)x_ix_jdx. \end{aligned}$$

従って任意の $a\leq n+2m$ に対して

$$\lim_{r\to+0}\frac{I(2m,f)}{r^a}=\lim_{r\to+0}\frac{c}{r^a}\int_{B(r)}x_1^{2m}dx$$

は有限値に収束する。

以上から、$\omega$ の取り方に関わらず、$k$ が偶数のときは $a\leq n+k$、$k$ が奇数のときは $a\leq n+k-1$ で問題の極限が収束する。

$k$ が奇数のとき

$$\omega=dx_2\wedge\cdots\wedge dx_n$$

と置くと、Stokes の定理より積分は

$$k\int_{B(r)}x_1^{k-1}dx$$

となり、$a>n+k-1$ では発散する。

一方 $k$ が偶数のとき

$$\omega=x_2dx_1\wedge dx_3\wedge\cdots\wedge dx_n$$

と置くと、積分は定数倍を除いて $\int_{B(r)}x_1^kdx$ となり、$a>n+k$ では発散する。以上をまとめると求める範囲は

$$\begin{cases} a\leq n+k &(k\in2\mathbb{Z}),\\ a\leq n+k-1 &(k\in2\mathbb{Z}+1) \end{cases}$$

である。

Knowledge

多変数版テイラーの定理

$f:\mathbb{R}^n\to\mathbb{R}$ を $C^\infty$ 級関数とする。このとき任意の自然数 $M$ について

$$f(x)=\sum_{|\alpha|\leq M}\frac{1}{\alpha!}\frac{\partial^{|\alpha|}f}{\partial x^\alpha}(0)x^\alpha+\sum_{|\alpha|=M}h_\alpha(x)x^\alpha$$

$$\lim_{x\to0}h_\alpha(x)=0$$

を満たす関数の族 $(h_\alpha:\mathbb{R}^n\to\mathbb{R})_\alpha$ が存在する。