跳到主要内容

名古屋大学 多元数理科学研究科 2021年2月実施 2日目 [2]

标签：

Author​

江澤 樹, 祭音Myyura

Description​

出典：名古屋大学公表問題。

I=[0,1]I = [0,1] とする. II 上で定義された関数 φ\varphi は, ある M>0M > 0 が存在して II の任意の分割

0=t0<t1<⋯<tn=10 = t_0 < t_1 < \cdots < t_n = 1

に対して

∑j=0n−1∣φ(tj+1)−φ(tj)∣≤M\sum_{j=0}^{n-1} |\varphi(t_{j+1}) - \varphi(t_j)| \leq M

をみたすとき, II で有界変動であるという. 以下の問に答えよ.

(1) ff は II を含む開区間で微分可能で, その導関数 f′f' は II で有界とする. このとき ff は II で有界変動であることを示せ.

(2) 次の関数は II で有界変動であるかどうか, 理由とともに答えよ.

(i)  g(x)={x2sin⁡1x(x≠0)0(x=0)(ii)  h(x)={xcos⁡1x(x≠0)0(x=0)(\text{i}) \ \ g(x) = \begin{cases} x^2 \sin \frac{1}{x} &(x \neq 0) \\ 0 &(x = 0) \end{cases} \qquad (\text{ii}) \ \ h(x) = \begin{cases} x \cos \frac{1}{x} &(x \neq 0) \\ 0 &(x = 0) \end{cases}

题目描述​

令 I=[0,1]I=[0,1]。若存在 M>0M>0，使对 II 的任意分割

0=t0<t1<⋯<tn=10=t_0<t_1<\cdots<t_n=1

均有

∑j=0n−1∣φ(tj+1)−φ(tj)∣≤M,\sum_{j=0}^{n-1}|\varphi(t_{j+1})-\varphi(t_j)|\le M,

则称 φ\varphi 在 II 上有界变差。

  1. 设 ff 在包含 II 的开区间上可微，且 f′f' 在 II 上有界，证明 ff 在 II 上有界变差。

  2. 分别判断下列函数在 II 上是否有界变差，并说明理由：

    g(x)={x2sin⁡(1/x),x≠0,0,x=0,h(x)={xcos⁡(1/x),x≠0,0,x=0.g(x)= \begin{cases}x^2\sin(1/x),&x\ne0,\\0,&x=0,\end{cases} \qquad h(x)= \begin{cases}x\cos(1/x),&x\ne0,\\0,&x=0.\end{cases}

Kai​

(1)​

任意の分割 0=t0<t1<⋯<tn=10 = t_0 < t_1 < \cdots < t_n = 1 に対して, 平均値の定理より

f(tj+1)−f(tj)=f′(τj)(tj+1−tj),tj<τj<tj+1f(t_{j+1}) - f(t_j) = f'(\tau_j)(t_{j+1}-t_j), \quad t_j < \tau_j < t_{j+1}

とできる. ここで, f′f' の有界性より ∣f′(t)∣≤M (t∈I)|f'(t)|\le M\ (t\in I) となる M>0M>0 をとると

∣f(tj+1)−f(tj)∣≤M∣tj+1−tj∣,∀j=0,1,…,n−1|f(t_{j+1}) - f(t_j)| \leq M|t_{j+1}-t_j|, \quad \forall j = 0, 1, \ldots, n-1

から jj について和をとれば

∑j=0n−1∣f(tj+1)−f(tj)∣≤M∑j=0n−1∣tj+1−tj∣=M(1−0)=M\sum_{j = 0}^{n-1} |f(t_{j+1}) - f(t_j)| \leq M \sum_{j = 0}^{n-1} |t_{j+1}-t_j| = M(1-0) = M

とできるため ff は II で有界変動である.

(2)​

(i)​

有界変動である.

理由:まず,

g(0+ε)−g(0)ε=ε2sin⁡1ε−0ε=εsin⁡1ε→0(ε→0)\frac{g(0+\varepsilon) - g(0)}{\varepsilon} = \frac{\varepsilon^2 \sin \frac{1}{\varepsilon} - 0}{\varepsilon} = \varepsilon \sin \frac{1}{\varepsilon} \rightarrow 0 \quad (\varepsilon \rightarrow 0)

と積の微分公式から

g′(x)={2xsin⁡1x−cos⁡1x(x≠0)0(x=0)g'(x) = \begin{cases} 2x \sin \frac{1}{x} - \cos \frac{1}{x} &(x \neq 0) \\ 0 &(x = 0) \end{cases}

である. よって、0<x≤10<x\le1 に対して

∣g′(x)∣≤∣2xsin⁡1x−cos⁡1x∣≤2∣x∣+1≤3|g'(x)| \leq \left| 2x \sin \frac{1}{x} - \cos \frac{1}{x} \right| \leq 2|x| + 1 \leq 3

x=0x=0 でも ∣g′(0)∣=0≤3|g'(0)|=0\le3 である。従って gg は II を含む開区間で微分可能で、その導関数 g′g' は II で有界である。 よって (1) より gg は II で有界変動である.

(ii)​

有界変動でない.

理由:いま II の分割として

0<24nπ<2(4n−1)π<⋯<23π<22π<10 < \frac{2}{4n \pi} < \frac{2}{(4n-1)\pi} < \cdots < \frac{2}{3\pi} < \frac{2}{2\pi} < 1

なる 4n+14n + 1 個の分点より成るものを取れば

h(24jπ)=24jπ,h(2(4j−1)π)=0,h(2(4j−2)π)=−2(4j−2)π,h(2(4j−3)π)=0h \left(\frac{2}{4j\pi} \right) = \frac{2}{4j\pi}, h \left(\frac{2}{(4j-1)\pi} \right) = 0, h \left(\frac{2}{(4j-2)\pi} \right) = -\frac{2}{(4j-2)\pi}, h \left(\frac{2}{(4j-3)\pi} \right) = 0

だからこの分割について, hh の II における変動量 (杉浦光夫, 解析入門 I, 東京大学出版会. 定義 4) の下からの評価が

2∑j=1n(24jπ+2(4j−2)π)=2π∑j=12n1j→+∞(n→+∞)2 \sum_{j=1}^n \left( \frac{2}{4j\pi} + \frac{2}{(4j-2)\pi}\right) = \frac{2}{\pi} \sum_{j=1}^{2n} \frac{1}{j} \rightarrow +\infty \quad (n \rightarrow +\infty)

となることによる (杉浦光夫, 解析入門 I, 東京大学出版会. p.343, 例 3).

本页目录