跳到主要内容

お茶の水女子大学 人間文化創成科学研究科 理学専攻 数学コース 2016年8月実施 問題1

Author

祭音Myyura (co-authored with GPT 5.6 SOL)

Description

(1)

11 以上の整数 m,nm,n に対して R2\mathbb{R}^2 上の関数 fm,nf_{m,n}

fm,n(x,y)=xmynx2+y2if (x,y)(0,0),fm,n(0,0)=0f_{m,n}(x,y)=\frac{x^m y^n}{x^2+y^2}\quad\text{if }(x,y)\ne(0,0), \qquad f_{m,n}(0,0)=0

で定義する。このとき、fm,nf_{m,n} の原点 (0,0)(0,0) における連続性、(全ての方向への)方向微分可能性、全微分可能性を調べよ。

(2)

α\alpha を実数とする。R2\mathbb{R}^2 の部分集合

A={(x,y)R2x2+y21, x1, y>0}A=\left\{(x,y)\in\mathbb{R}^2\mid x^2+y^2\ge 1,\ |x|\le 1,\ y>0\right\}

上の広義積分

Adxdyyα\int_A\frac{dx\,dy}{y^\alpha}

が収束する α\alpha の範囲を調べ、その範囲に含まれる全ての整数について広義積分の値を求めよ。

题目描述

  1. 对正整数 m,nm,n,考察

    fm,n(x,y)={xmynx2+y2,(x,y)(0,0),0,(x,y)=(0,0)f_{m,n}(x,y)= \begin{cases} \dfrac{x^m y^n}{x^2+y^2},&(x,y)\ne(0,0),\\ 0,&(x,y)=(0,0) \end{cases}

    在原点的连续性、所有方向的方向可微性以及全微分性。

  2. 对集合

    A={(x,y)R2x2+y21,x1,y>0},A=\{(x,y)\in\mathbb R^2\mid x^2+y^2\ge1, |x|\le1, y>0\},

    求广义积分 Ayαdxdy\displaystyle\int_A y^{-\alpha}\,dx\,dy 收敛的 α\alpha 范围,并计算该范围内所有整数 α\alpha 对应的积分值。

Kai

(1)

r=x2+y2r=\sqrt{x^2+y^2} とおく。(x,y)(0,0)(x,y)\ne(0,0) では

fm,n(x,y)rm+nr2=rm+n2.|f_{m,n}(x,y)| \le \frac{r^{m+n}}{r^2}=r^{m+n-2}.

したがって m+n>2m+n>2 なら原点で連続である。一方、m+n=2m+n=2 の場合は m=n=1m=n=1 であり、x=y=tx=y=t とすると f1,1(t,t)=1/2f_{1,1}(t,t)=1/2 だから連続でない。よって

原点で連続    m+n3.\boxed{\text{原点で連続}\iff m+n\ge3}.

方向 v=(a,b)(0,0)v=(a,b)\ne(0,0) に対して

fm,n(ta,tb)fm,n(0,0)t=tm+n3ambna2+b2.\frac{f_{m,n}(ta,tb)-f_{m,n}(0,0)}{t} =t^{m+n-3}\frac{a^m b^n}{a^2+b^2}.

したがって、m+n=3m+n=3 では極限が ambn/(a2+b2)a^m b^n/(a^2+b^2)m+n4m+n\ge4 では 00 となる。m+n=2m+n=2 では例えば v=(1,1)v=(1,1) に対して極限が存在しない。ゆえに

全ての方向に方向微分可能    m+n3.\boxed{\text{全ての方向に方向微分可能}\iff m+n\ge3}.

また、座標軸上では関数値が常に 00 なので、全微分可能ならその微分は零写像である。m+n4m+n\ge4 のとき

fm,n(x,y)x2+y2rm+n30,\frac{|f_{m,n}(x,y)|}{\sqrt{x^2+y^2}} \le r^{m+n-3}\longrightarrow0,

よって全微分可能である。m+n=3m+n=3 のときは x=y=tx=y=t とすれば

fm,n(t,t)2t2=122\frac{|f_{m,n}(t,t)|}{\sqrt{2t^2}}=\frac1{2\sqrt2}

となり、全微分可能でない。以上より

原点で全微分可能    m+n4.\boxed{\text{原点で全微分可能}\iff m+n\ge4}.

(2)

yy を固定して AA の水平方向の幅を求めると、0<y<10<y<1 では 2(11y2)2(1-\sqrt{1-y^2})y1y\ge1 では 22 である。したがって

Iα=20111y2yαdy+21yαdy.I_\alpha =2\int_0^1\frac{1-\sqrt{1-y^2}}{y^\alpha}\,dy +2\int_1^\infty y^{-\alpha}\,dy.

y0y\to0

11y2=y21+1y2y221-\sqrt{1-y^2} =\frac{y^2}{1+\sqrt{1-y^2}}\sim\frac{y^2}{2}

だから、第 11 項は α<3\alpha<3 のときに限り収束する。第 22 項は α>1\alpha>1 のときに限り収束する。よって

1<α<3.\boxed{1<\alpha<3}.

この範囲の整数は α=2\alpha=2 のみである。y=sinθy=\sin\theta とおけば

I2=20111y2y2dy+2=20π/2cosθ1+cosθdθ+2=2(π21)+2=π.\begin{aligned} I_2 &=2\int_0^1\frac{1-\sqrt{1-y^2}}{y^2}\,dy+2\\ &=2\int_0^{\pi/2}\frac{\cos\theta}{1+\cos\theta}\,d\theta+2\\ &=2\left(\frac\pi2-1\right)+2 =\boxed{\pi}. \end{aligned}