y=xsin1xy = x\sin\dfrac{1}{x}

関数 y=xsin1xy = x\sin\dfrac{1}{x} のグラフ

y=xsin1xy = x\sin\dfrac{1}{x} は、sin1x\sin\dfrac{1}{x}xx を掛けた関数です。掛けた xx が振幅を押さえるので、原点付近の激しい振動が高さごと 00 へ潰されます。はさみうちの原理がそのまま形になった関数であり、連続だからといって微分できるとはかぎらないことを示す標準例でもあります。

定義域と対称性

定義域は x0x \neq 0 です。次のように偶関数になり、yy 軸に関して対称です。

f(x)=(x)sin(1x)=xsin1x=f(x)f(-x) = (-x)\sin\left(-\frac{1}{x}\right) = x\sin\frac{1}{x} = f(x)

奇関数どうしの積が偶関数になるという規則どおりの結果です。

はさみうち

sin1x1\left|\sin\dfrac{1}{x}\right| \leq 1 なので、次が成り立ちます1

xxsin1xx-|x| \leq x\sin\frac{1}{x} \leq |x|

つまりグラフは二直線 y=xy = xy=xy = -x の作るくさびの内側に閉じ込められます。両側から 00 へ押しつぶされるので、x0x \to 0 での極限は 00 です。振動そのものは止まらず回数も減りませんが、振れ幅だけが消えていきます。sin1x=1\left|\sin\dfrac{1}{x}\right| = 1 となる x=2(2n+1)πx = \dfrac{2}{(2n+1)\pi} で、曲線はくさびの辺に触れます。

連続だが微分できない

f(0)=0f(0) = 0 と定めれば、極限が 00 ですからこの関数は原点で連続になります。ところが微分はできません。定義に従って差分商を作ると、次のようになるからです。

f(h)f(0)h=hsin1hh=sin1h\frac{f(h) - f(0)}{h} = \frac{h\sin\dfrac{1}{h}}{h} = \sin\frac{1}{h}

これは h0h \to 0 で極限をもちません。連続性と微分可能性が別物であることを、一行の計算で示せる例になっています。

関数原点での連続性原点での微分可能性
sin1x\sin\dfrac{1}{x}連続にできない論外
xsin1xx\sin\dfrac{1}{x}連続微分できない
x2sin1xx^2\sin\dfrac{1}{x}連続微分できる(導関数は不連続)

掛ける xx の次数を上げるほど原点のふるまいがおとなしくなる、という段階が見てとれます。

遠方での振る舞い

u=1xu = \dfrac{1}{x} とおくと、この関数は sinc 関数の合成にほかなりません。

xsin1x=sinuux\sin\frac{1}{x} = \frac{\sin u}{u}

x±x \to \pm\inftyu0u \to 0 にあたるので y1y \to 1 となり、直線 y=1y = 1 が水平漸近線です。sinc 関数が u>0u > 0 の全域にわたって描く無限個の振動が、そっくりそのまま原点の近くへ押し込められている、という見方ができます。

値域と極値

sinuu\dfrac{\sin u}{u}u0u \neq 0 でつねに 11 未満で、最初の極小は tanu=u\tan u = u の解 u4.4934u \approx 4.4934 において 0.2172\approx -0.2172 です。これを移して考えると、最小値 0.2172\approx -0.2172x=14.49340.2225x = \dfrac{1}{4.4934} \approx 0.2225 のときに実現します。値域は 0.2172y<1-0.2172 \leq y < 1 で、11 に届かないのは sinuu<1\dfrac{\sin u}{u} < 1 がつねに成り立つからです。

零点

sin1x=0\sin\dfrac{1}{x} = 0 となる x=1nπx = \dfrac{1}{n\pi} が零点で、sin1x\sin\dfrac{1}{x} と共通です。xx を掛けても零点は動かず、原点に集積する点列であることも変わりません。

意義

解析の入門では、極限の計算にはさみうちの原理を使う最初の例としてこの関数が挙げられます。同時に、原点で連続でありながら接線をもたない曲線の具体例でもあり、微分可能性が連続性より強い条件であることを目で確かめられます。

  1. Squeeze theorem、Wikipedia