二 に 次 じ 函数 かんすう の二 に 階 かい 導 しるべ 函数 かんすう は定数 ていすう となる。
微分 びぶん 積分 せきぶん 学 がく において、函数 かんすう f の二 に 階 かい 導 しるべ 函数 かんすう (にかいどうかんすう、英語 えいご : second derivative )とは、f の導 しるべ 函数 かんすう の導 しるべ 函数 かんすう のことを指 さ す。大雑把 おおざっぱ に言 い えば、ある量 りょう の変化 へんか 率 りつ そのものがどのように変化 へんか しているかを測定 そくてい するのが二 に 階 かい 導 しるべ 函数 かんすう である。たとえば、物体 ぶったい の位置 いち を時間 じかん に対 たい して二 に 階 かい 微分 びぶん すると、物体 ぶったい の瞬間 しゅんかん 加速度 かそくど 、つまり物体 ぶったい の速度 そくど が時間 じかん に対 たい してどのように変化 へんか しているかがわかる。ライプニッツの記法 きほう では、a を加速度 かそくど 、v を速度 そくど 、t を時間 じかん 、x を位置 いち 、d を瞬時 しゅんじ の「デルタ」または変化 へんか 量 りょう として
a
=
d
v
d
t
=
d
2
x
d
t
2
{\displaystyle \mathbf {a} ={\frac {d\mathbf {v} }{dt}}={\frac {d^{2}{\boldsymbol {x}}}{dt^{2}}}}
と表 あらわ される。最後 さいご の式 しき
d
2
x
d
t
2
{\displaystyle {\tfrac {d^{2}{\boldsymbol {x}}}{dt^{2}}}}
は、位置 いち (x)の時間 じかん に対 たい する二 に 階 かい 導 しるべ 函数 かんすう である。
グラフ において、二 に 階 かい 導 しるべ 函数 かんすう はグラフの曲 きょく 率 りつ や凹凸 おうとつ に対応 たいおう する。二 に 階 かい 導 しるべ 函数 かんすう が正 せい となる函数 かんすう のグラフは下 した に凸 とつ となり、二 に 階 かい 導 しるべ 函数 かんすう が負 まけ となる函数 かんすう のグラフは反対 はんたい 側 がわ に湾曲 わんきょく する。
二 に 階 かい 導 しるべ 函数 かんすう の冪 べき 乗 じょう 公式 こうしき [ 編集 へんしゅう ]
一 いち 階 かい 導 しるべ 函数 かんすう の冪 べき 乗 じょう 公式 こうしき (Power rule )を2回 かい 適用 てきよう すると、二 に 階 かい 導 しるべ 函数 かんすう の冪 べき 乗 じょう 公式 こうしき は次 つぎ のようになる。
d
2
d
x
2
[
x
n
]
=
d
d
x
d
d
x
[
x
n
]
=
d
d
x
[
n
x
n
−
1
]
=
n
d
d
x
[
x
n
−
1
]
=
n
(
n
−
1
)
x
n
−
2
{\displaystyle {\frac {d^{2}}{dx^{2}}}\left[x^{n}\right]={\frac {d}{dx}}{\frac {d}{dx}}\left[x^{n}\right]={\frac {d}{dx}}\left[nx^{n-1}\right]=n{\frac {d}{dx}}\left[x^{n-1}\right]=n(n-1)x^{n-2}}
函数 かんすう
f
(
x
)
{\displaystyle f(x)}
の二 に 階 かい 導 しるべ 函数 かんすう は一般 いっぱん 的 てき に
f
″
(
x
)
{\displaystyle f''(x)}
と表記 ひょうき される[ 1] [ 2] 。すなわち
f
″
=
(
f
′
)
′
{\displaystyle f''=\left(f'\right)'}
ライプニッツの記法 きほう を用 もち いる際 さい 、独立 どくりつ 変数 へんすう x に対 たい する従属 じゅうぞく 変数 へんすう y の二 に 階 かい 導 しるべ 函数 かんすう は
d
2
y
d
x
2
{\displaystyle {\frac {d^{2}y}{dx^{2}}}}
と表記 ひょうき される。これは、以下 いか の式 しき から導 みちび かれる。
d
2
y
d
x
2
=
d
d
x
(
d
y
d
x
)
{\displaystyle {\frac {d^{2}y}{dx^{2}}}\,=\,{\frac {d}{dx}}\left({\frac {dy}{dx}}\right)}
前述 ぜんじゅつ のように、ライプニッツの記法 きほう では一般 いっぱん 的 てき に二 に 階 かい 導 しるべ 函数 かんすう を
d
2
y
d
x
2
{\textstyle {\frac {d^{2}y}{dx^{2}}}}
と表 あらわ す。しかしながら、この表記 ひょうき では代数 だいすう 的 てき な操作 そうさ ができない。すなわち、微分 びぶん の分数 ぶんすう のような形 かたち をしているが、分数 ぶんすう をバラバラに分割 ぶんかつ したり、項 こう を打 う ち消 け したりすることはできないのである。しかし、この制限 せいげん は二 に 階 かい 導 しるべ 函数 かんすう の別 べつ の式 しき を使 つか うことで解決 かいけつ できる。この式 しき は、一 いち 階 かい 導 しるべ 函数 かんすう に商 しょう の微分 びぶん 法則 ほうそく を適用 てきよう したものである[ 3] 。これによって、以下 いか の式 しき が得 え られる。
y
″
(
x
)
=
d
d
x
(
d
y
d
x
)
=
d
(
d
y
d
x
)
d
x
=
d
2
y
d
x
2
−
d
y
d
x
d
2
x
d
x
2
{\displaystyle y''(x)={\frac {d}{dx}}\left({\frac {dy}{dx}}\right)={\frac {d\left({\frac {dy}{dx}}\right)}{dx}}={\frac {d^{2}y}{dx^{2}}}-{\frac {dy}{dx}}{\frac {d^{2}x}{dx^{2}}}}
この式 しき において、
d
u
{\displaystyle du}
は
u
{\displaystyle u}
に適用 てきよう する微分 びぶん 作用素 さようそ 、すなわち
d
(
u
)
{\displaystyle d(u)}
を、
d
2
u
{\displaystyle d^{2}u}
は微分 びぶん 作用素 さようそ を2回 かい 適用 てきよう すること、すなわち
d
(
d
(
u
)
)
{\displaystyle d(d(u))}
を、
d
u
2
{\displaystyle du^{2}}
は
u
{\displaystyle u}
に適用 てきよう する微分 びぶん 作用素 さようそ の2乗 じょう 、すなわち
(
d
(
u
)
)
2
{\displaystyle (d(u))^{2}}
を表 あらわ している。
(上記 じょうき の記法 きほう の意味 いみ を考慮 こうりょ して)このように表記 ひょうき すると、二 に 階 かい 導 しるべ 函数 かんすう の項 こう は他 た の代数 だいすう 的 てき な項 こう と同 おな じように自由 じゆう に操作 そうさ することができる。例 たと えば、二 に 階 かい 導 しるべ 函数 かんすう の逆 ぎゃく 函数 かんすう の公式 こうしき は、二 に 階 かい 導 しるべ 函数 かんすう の連鎖 れんさ 律 りつ と同様 どうよう に上 うえ の式 しき の代数 だいすう 的 てき 操作 そうさ から導 みちび くことができる。なお、このような記法 きほう の変更 へんこう が十分 じゅうぶん に有用 ゆうよう であるかどうかについては、未 いま だに議論 ぎろん の余地 よち がある[ 4] 。
函数 かんすう
f
(
x
)
=
x
3
{\displaystyle f(x)=x^{3}}
に対 たい し、函数 かんすう f の導 しるべ 函数 かんすう は
f
′
(
x
)
=
3
x
2
{\displaystyle f^{\prime }(x)=3x^{2}}
であり、二 に 階 かい 導 しるべ 函数 かんすう (
f
′
{\displaystyle f^{\prime }}
の導 しるべ 函数 かんすう )は
f
′
′
(
x
)
=
6
x
.
{\displaystyle f^{\prime \prime }(x)=6x.}
である。
f
(
x
)
=
sin
(
2
x
)
{\displaystyle f(x)=\sin(2x)}
の
−
π ぱい
/
4
{\displaystyle -\pi /4}
から
5
π ぱい
/
4
{\displaystyle 5\pi /4}
までのグラフ。接線 せっせん は、曲線 きょくせん が下 した に凸 とつ となるところは青 あお 、上 うえ に凸 とつ となるところは緑 みどり 、変 へん 曲 きょく 点 てん (0,
π ぱい
{\displaystyle \pi }
/2,
π ぱい
{\displaystyle \pi }
)では赤 あか となる。
函数 かんすう f の二 に 階 かい 導 しるべ 函数 かんすう を使 つか うことで f の凹凸 おうとつ を調 しら べることができる[ 2] 。二 に 階 かい 導 しるべ 函数 かんすう が正 せい の函数 かんすう は、下 した に凸 とつ (凸 とつ ともいう)であり、接線 せっせん は函数 かんすう のグラフの下 した に位置 いち することになる。同様 どうよう に、二 に 階 かい 導 しるべ 函数 かんすう が負 まけ の函数 かんすう は上 うえ に凸 とつ (凹 ともいう)であり、その接線 せっせん は函数 かんすう のグラフより上 うえ に位置 いち することになる。
函数 かんすう の二 に 階 かい 導 しるべ 函数 かんすう の符号 ふごう が変 か わると、函数 かんすう のグラフは凸 とつ から凹、またはその逆 ぎゃく に切 き り替 か わる。これが起 お こる点 てん を変 へん 曲 きょく 点 てん と呼 よ ぶ。二 に 階 かい 導 しるべ 函数 かんすう が連続 れんぞく であると仮定 かてい すれば、どの変 へん 曲 きょく 点 てん でも 0 をとる必要 ひつよう がある一方 いっぽう 、二 に 階 かい 導 しるべ 函数 かんすう が 0 になる点 てん がすべて変 へん 曲 きょく 点 てん であるとは限 かぎ らない。
二 に 階 かい 導 しるべ 函数 かんすう とグラフの関係 かんけい を利用 りよう することで、函数 かんすう の停留 ていりゅう 点 てん (
f
′
(
x
)
=
0
{\displaystyle f'(x)=0}
となる点 てん )が極大 きょくだい ・極小 きょくしょう かを判定 はんてい することができる。特 とく に
f
′
′
(
x
)
<
0
{\displaystyle f^{\prime \prime }(x)<0}
ならば、
f
{\displaystyle f}
は
x
{\displaystyle x}
で極大 きょくだい となる。
f
′
′
(
x
)
>
0
{\displaystyle f^{\prime \prime }(x)>0}
ならば、
f
{\displaystyle f}
は
x
{\displaystyle x}
で極小 きょくしょう となる。
f
′
′
(
x
)
=
0
{\displaystyle f^{\prime \prime }(x)=0}
ならば、変 へん 曲 きょく 点 てん 候補 こうほ の
x
{\displaystyle x}
について何 なに もわからない。
二 に 階 かい 導 しるべ 函数 かんすう がこのような結果 けっか をもたらす理由 りゆう は、現実 げんじつ 世界 せかい の例 れい で説明 せつめい できる。ある車両 しゃりょう が、最初 さいしょ は大 おお きな速度 そくど で、しかし負 まけ の加速度 かそくど を伴 ともな って前進 ぜんしん しているとする。速度 そくど がゼロになった地点 ちてん での車両 しゃりょう の位置 いち は、明 あき らかに出発 しゅっぱつ 地点 ちてん からの距離 きょり が極大 きょくだい となる。この時点 じてん を過 す ぎると、速度 そくど は負 まけ となり、車両 しゃりょう は逆 ぎゃく 走 はし する。極小 きょくしょう の場合 ばあい も同様 どうよう で、最初 さいしょ は負 まけ の速度 そくど だが正 せい の加速度 かそくど を持 も つ車両 しゃりょう がある。
以下 いか のように、極限 きょくげん を用 もち いて二 に 階 かい 導 しるべ 函数 かんすう を表記 ひょうき できる。
f
″
(
x
)
=
lim
h
→
0
f
(
x
+
h
)
−
2
f
(
x
)
+
f
(
x
−
h
)
h
2
{\displaystyle f''(x)=\lim _{h\to 0}{\frac {f(x+h)-2f(x)+f(x-h)}{h^{2}}}}
この極限 きょくげん は二 に 階 かい 対称 たいしょう 導 しるべ 函数 かんすう と呼 よ ばれる[ 5] [ 6] 。たとえ(通常 つうじょう の)二 に 階 かい 導 しるべ 函数 かんすう が存在 そんざい しないときでも二 に 階 かい 対称 たいしょう 導 しるべ 函数 かんすう が存在 そんざい しうることに注意 ちゅうい 。
式 しき の右辺 うへん は差分 さぶん 商 しょう の差分 さぶん 商 しょう として次 つぎ のように表記 ひょうき 可能 かのう である。
f
(
x
+
h
)
−
2
f
(
x
)
+
f
(
x
−
h
)
h
2
=
f
(
x
+
h
)
−
f
(
x
)
h
−
f
(
x
)
−
f
(
x
−
h
)
h
h
{\displaystyle {\frac {f(x+h)-2f(x)+f(x-h)}{h^{2}}}={\frac {{\frac {f(x+h)-f(x)}{h}}-{\frac {f(x)-f(x-h)}{h}}}{h}}}
この極限 きょくげん は、数列 すうれつ の二 に 階 かい 差分 さぶん の連続 れんぞく 版 ばん と見 み なすことができる。
しかしながら、上記 じょうき の極限 きょくげん が存在 そんざい しても、函数 かんすう
f
{\displaystyle f}
が二 に 階 かい 導 しるべ 函数 かんすう を持 も つとは限 かぎ らない。上 うえ の極限 きょくげん は二 に 階 かい 微分 びぶん の計算 けいさん の可能 かのう 性 せい を与 あた えるだけで、定義 ていぎ はしていない。反例 はんれい として
sgn
(
x
)
=
{
−
1
if
x
<
0
,
0
if
x
=
0
,
1
if
x
>
0.
{\displaystyle \operatorname {sgn}(x)={\begin{cases}-1&{\text{if }}x<0,\\0&{\text{if }}x=0,\\1&{\text{if }}x>0.\end{cases}}}
と定義 ていぎ される符号 ふごう 函数 かんすう
sgn
(
x
)
{\displaystyle \operatorname {sgn}(x)}
が挙 あ げられる。
符号 ふごう 函数 かんすう は原点 げんてん で連続 れんぞく ではないため、
x
=
0
{\displaystyle x=0}
での二 に 階 かい 導 しるべ 函数 かんすう も存在 そんざい しない。だが、上記 じょうき の極限 きょくげん は
x
=
0
{\displaystyle x=0}
において以下 いか に示 しめ すように存在 そんざい する。
lim
h
→
0
sgn
(
0
+
h
)
−
2
sgn
(
0
)
+
sgn
(
0
−
h
)
h
2
=
lim
h
→
0
sgn
(
h
)
−
2
⋅
0
+
sgn
(
−
h
)
h
2
=
lim
h
→
0
sgn
(
h
)
+
(
−
sgn
(
h
)
)
h
2
=
lim
h
→
0
0
h
2
=
0
{\displaystyle {\begin{aligned}\lim _{h\to 0}{\frac {\operatorname {sgn}(0+h)-2\operatorname {sgn}(0)+\operatorname {sgn}(0-h)}{h^{2}}}&=\lim _{h\to 0}{\frac {\operatorname {sgn}(h)-2\cdot 0+\operatorname {sgn}(-h)}{h^{2}}}\\&=\lim _{h\to 0}{\frac {\operatorname {sgn}(h)+(-\operatorname {sgn}(h))}{h^{2}}}=\lim _{h\to 0}{\frac {0}{h^{2}}}=0\end{aligned}}}
一 いち 階 かい 導 しるべ 函数 かんすう が線型 せんけい 近似 きんじ と関連 かんれん しているように、二 に 階 かい 導 しるべ 函数 かんすう は函数 かんすう f に対 たい する最良 さいりょう の二 に 次 じ 近似 きんじ と関連 かんれん している。これは、ある点 てん での一 いち 階 かい 導 しるべ 函数 かんすう と二 に 階 かい 導 しるべ 函数 かんすう が f のそれと一致 いっち する二 に 次 じ 函数 かんすう である。点 てん x = a 付近 ふきん の函数 かんすう f の最良 さいりょう の二 に 次 じ 近似 きんじ の公式 こうしき は次 つぎ の通 とお りである。
f
(
x
)
≈
f
(
a
)
+
f
′
(
a
)
(
x
−
a
)
+
1
2
f
″
(
a
)
(
x
−
a
)
2
{\displaystyle f(x)\approx f(a)+f'(a)(x-a)+{\tfrac {1}{2}}f''(a)(x-a)^{2}}
この二 に 次 じ 近似 きんじ は x = a における函数 かんすう の二 に 次 じ までのテイラー級数 きゅうすう である。
二 に 次 じ 導 しるべ 函数 かんすう の固有値 こゆうち と固有 こゆう ベクトル[ 編集 へんしゅう ]
多 おお くの境界 きょうかい 条件 じょうけん の組 く み合 あ わせにおいて、二 に 次 じ 導 しるべ 函数 かんすう の固有値 こゆうち と固有 こゆう ベクトル の明示 めいじ 的 てき な公式 こうしき が得 え られる。例 たと えば、
x
∈
[
0
,
L
]
{\displaystyle x\in [0,L]}
および同 どう 次元 じげん のディリクレ境界 きょうかい 条件 じょうけん (すなわち、
v
(
0
)
=
v
(
L
)
=
0
{\displaystyle v(0)=v(L)=0}
)を仮定 かてい すると、固有値 こゆうち は
λ らむだ
j
=
−
j
2
π ぱい
2
L
2
{\displaystyle \lambda _{j}=-{\tfrac {j^{2}\pi ^{2}}{L^{2}}}}
となり、対応 たいおう する固有 こゆう ベクトル (固有 こゆう 函数 かんすう とも呼 よ ばれる)は
v
j
(
x
)
=
2
L
sin
(
j
π ぱい
x
L
)
{\displaystyle v_{j}(x)={\sqrt {\tfrac {2}{L}}}\sin \left({\tfrac {j\pi x}{L}}\right)}
となる。このとき、
v
j
″
(
x
)
=
λ らむだ
j
v
j
(
x
)
,
j
=
1
,
…
,
∞
{\displaystyle v''_{j}(x)=\lambda _{j}v_{j}(x),\,j=1,\ldots ,\infty }
である。
その他 た の著名 ちょめい な例 れい については、Eigenvalues and eigenvectors of the second derivative を参照 さんしょう せよ。
二 に 次 じ 導 しるべ 函数 かんすう は、二 に 次 じ 偏 へん 導 しるべ 函数 かんすう の概念 がいねん として高 こう 次元 じげん へ一般 いっぱん 化 か される。函数 かんすう f : R 3 → R に対 たい して、これらは3つの二 に 次 じ 偏 へん 導 しるべ 函数 かんすう
∂
2
f
∂
x
2
,
∂
2
f
∂
y
2
,
∂
2
f
∂
z
2
{\displaystyle {\frac {\partial ^{2}f}{\partial x^{2}}},\;{\frac {\partial ^{2}f}{\partial y^{2}}},{\frac {\partial ^{2}f}{\partial z^{2}}}}
および混合 こんごう 導 しるべ 函数 かんすう
∂
2
f
∂
x
∂
y
,
∂
2
f
∂
x
∂
z
,
∂
2
f
∂
y
∂
z
{\displaystyle {\frac {\partial ^{2}f}{\partial x\,\partial y}},\;{\frac {\partial ^{2}f}{\partial x\,\partial z}},{\frac {\partial ^{2}f}{\partial y\,\partial z}}}
を含 ふく む。
函数 かんすう の像 ぞう と定義 ていぎ 域 いき の両方 りょうほう がポテンシャルを持 も つ場合 ばあい 、これらはヘッセ行列 ぎょうれつ と呼 よ ばれる対称 たいしょう 行列 ぎょうれつ に当 あ てはまる。この行列 ぎょうれつ の固有値 こゆうち は、二 に 次 じ 導 しるべ 函数 かんすう 判定 はんてい の多 た 変量 へんりょう アナログを実装 じっそう するために使用 しよう できる。(Second partial derivative test を参照 さんしょう せよ。)
もう1つの高 こう 次元 じげん への一般 いっぱん 化 か として、ラプラシアン がある。これは
∇
2
f
=
∂
2
f
∂
x
2
+
∂
2
f
∂
y
2
+
∂
2
f
∂
z
2
{\displaystyle \nabla ^{2}f={\frac {\partial ^{2}f}{\partial x^{2}}}+{\frac {\partial ^{2}f}{\partial y^{2}}}+{\frac {\partial ^{2}f}{\partial z^{2}}}}
として定義 ていぎ される微分 びぶん 作用素 さようそ
∇
2
{\displaystyle \nabla ^{2}}
(あるいは
Δ でるた
{\displaystyle \Delta }
)である。
函数 かんすう のラプラシアンは、勾配 こうばい の発散 はっさん とヘッセ行列 ぎょうれつ の跡 あと に等 ひと しい。
Anton, Howard; Bivens, Irl; Davis, Stephen (February 2, 2005), Calculus: Early Transcendentals Single and Multivariable (8th ed.), New York: Wiley, ISBN 978-0-471-47244-5
Apostol, Tom M. (June 1967), Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra , 1 (2nd ed.), Wiley, ISBN 978-0-471-00005-1 , https://archive.org/details/calculus01apos
Apostol, Tom M. (June 1969), Calculus, Vol. 2: Multi-Variable Calculus and Linear Algebra with Applications , 1 (2nd ed.), Wiley, ISBN 978-0-471-00007-5 , https://archive.org/details/calculus01apos
Eves, Howard (January 2, 1990), An Introduction to the History of Mathematics (6th ed.), Brooks Cole, ISBN 978-0-03-029558-4
Larson, Ron; Hostetler, Robert P.; Edwards, Bruce H. (February 28, 2006), Calculus: Early Transcendental Functions (4th ed.), Houghton Mifflin Company, ISBN 978-0-618-60624-5
Spivak, Michael (September 1994), Calculus (3rd ed.), Publish or Perish, ISBN 978-0-914098-89-8
Stewart, James (December 24, 2002), Calculus (5th ed.), Brooks Cole, ISBN 978-0-534-39339-7 , https://archive.org/details/calculus0000stew
Thompson, Silvanus P. (September 8, 1998), Calculus Made Easy (Revised, Updated, Expanded ed.), New York: St. Martin's Press, ISBN 978-0-312-18548-0
Crowell, Benjamin (2003), Calculus , http://www.lightandmatter.com/calc/
Garrett, Paul (2004), Notes on First-Year Calculus , http://www.math.umn.edu/~garrett/calculus/
Hussain, Faraz (2006), Understanding Calculus , http://www.understandingcalculus.com/
Keisler, H. Jerome (2000), Elementary Calculus: An Approach Using Infinitesimals , http://www.math.wisc.edu/~keisler/calc.html
Mauch, Sean (2004), Unabridged Version of Sean's Applied Math Book , オリジナル の2006-04-15時点 じてん におけるアーカイブ。, https://web.archive.org/web/20060415161115/http://www.its.caltech.edu/~sean/book/unabridged.html
Sloughter, Dan (2000), Difference Equations to Differential Equations , http://synechism.org/drupal/de2de/
Strang, Gilbert (1991), Calculus , http://ocw.mit.edu/ans7870/resources/Strang/strangtext.htm
Stroyan, Keith D. (1997), A Brief Introduction to Infinitesimal Calculus , オリジナル の2005-09-11時点 じてん におけるアーカイブ。, https://web.archive.org/web/20050911104158/http://www.math.uiowa.edu/~stroyan/InfsmlCalculus/InfsmlCalc.htm
Wikibooks, Calculus , http://en.wikibooks.org/wiki/Calculus