C1級関数,Cn級関数などの意味と具体例

関数が「それなりに扱いやすい」ときに成り立つ定理はたくさんあります。そこで，いろいろなレベルの扱いやすさ（滑らかさ）について考えてみます。

上に行くほどゆるい条件，下に行くほど強い条件（より扱いやすい関数）です。

• 連続
• 微分可能
• $C^1$ 級（連続的微分可能）
• $C^n$ 級（$n > 1$）
• $C^{\infty}$ 級

連続性，微分可能性については関数の連続性と微分可能性の意味と関係をどうぞ。$C^{\infty}$ 級については後述します。

「微分可能＋導関数が連続→ $C^1$ 級」でしたが，普段お目にかかる関数はだいたい微分可能なら導関数も連続です。

ただし，微分可能だからと言って導関数が連続とは限らない，という珍しい例もあるので注意が必要です。

なお，$x^3 \sin \dfrac{1}{x}$ で同様の計算をすると $C^1$ 級ですが $x=0$ で2回微分はできないことが分かります。

〜高階微分へ〜

• $n$ 回微分可能で，$n$ 次導関数が連続であるような関数を $C^n$ 級，$n$ 回連続的微分可能などと言います。
• 何回でも微分可能な関数を $C^{\infty}$ 級，無限回微分可能などと言います。
• さらに，$C^{\omega}$ 級というクラスもあります。べき級数展開可能（テイラー展開できる）という意味です。$C^{\omega}$ 級なら $C^{\infty}$ 級ですが，逆は成立しません。無限回微分可能でもテイラー展開できない（剰余項 $\to 0$ とならない）場合があるからです。→テイラーの定理とテイラー展開～例と証明
  例えば，$$f(x) = \begin{cases} e^{-\frac{1}{x}} &(x> 0)\\ 0 &(x\leqq 0) \end{cases}$$は $C^{\infty}$ 級だが $C^{\omega}$ 級でない例として有名です。$x=0$ で無限回微分可能ですが剰余項はずっと $e^{-\frac{1}{x}}$ です。

〜多変数へ〜

• 多変数関数に関しても，「$n$ 階の全ての種類の」偏導関数が存在してそれらが連続なとき $C^n$ 級と言います。例えば，$f(x,y)$ が $C^2$ 級とは，偏導関数 $f_{xx},f_{xy},f_{yx},f_{yy}$ が存在してそれらが全て連続であることを表します。