二階導関数のソースを表示

{{Calculus}}
[[File:4 fonctions du second degré.svg|right|thumb|200px|[[二次函数]]の二階導函数は[[定数函数|定数]]となる。]]

[[微分積分学]]において、[[函数]] {{math|''f''}} の'''二階導函数'''（にかいどうかんすう、{{lang-en|second derivative}}）とは、{{math|''f''}} の[[導函数]]の導函数のことを指す。大雑把に言えば、ある量の変化率そのものがどのように変化しているかを測定するのが二階導函数である。たとえば、物体の位置を時間に対して二階微分すると、物体の瞬間[[加速度]]、つまり物体の[[速度]]が時間に対してどのように変化しているかがわかる。[[ライプニッツの記法]]では、''a'' を加速度、''v'' を速度、''t'' を時間、''x'' を位置、''d'' を瞬時の「デルタ」または変化量として

:<math>\mathbf{a} =  \frac{d\mathbf{v}}{dt} = \frac{d^2\boldsymbol{x}}{dt^2}</math>

と表される。最後の式 <math>\tfrac{d^2\boldsymbol{x}}{dt^2}</math> は、位置（x）の時間に対する二階導函数である。

[[グラフ (関数)|グラフ]]において、二階導函数はグラフの[[曲率]]や凹凸に対応する。二階導函数が正となる函数のグラフは下に凸となり、二階導函数が負となる函数のグラフは反対側に湾曲する。

== 二階導函数の冪乗公式 ==
一階導函数の[[冪乗公式]]（[[:en:Power rule|Power rule]]）を2回適用すると、二階導函数の冪乗公式は次のようになる。

: <math>\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}</math>

== 記法 ==
{{Details|微分の記法}}
函数 <math>f(x)</math> の二階導函数は一般的に <math>f''(x)</math> と表記される<ref>{{Cite web|title=Content - The second derivative|url=https://amsi.org.au/ESA_Senior_Years/SeniorTopic3/3b/3b_2content_10.html|access-date=2020-09-16|website=amsi.org.au}}</ref><ref name=":1">{{Cite web|title=Second Derivatives|url=http://192.168.1.121/math2/second-derivatives/|access-date=2020-09-16|website=Math24|language=en-US}}</ref>。すなわち
:<math>f'' = \left(f'\right)'</math>
[[ライプニッツの記法]]を用いる際、独立変数 {{math|''x''}} に対する従属変数 {{math|''y''}} の二階導函数は
:<math>\frac{d^2y}{dx^2}</math>
と表記される。これは、以下の式から導かれる。
:<math>\frac{d^2y}{dx^2} \,=\, \frac{d}{dx}\left(\frac{dy}{dx}\right)</math>

== 他の記法 ==
前述のように、ライプニッツの記法では一般的に二階導函数を <math display="inline">\frac{d^2y}{dx^2}</math> と表す。しかしながら、この表記では代数的な操作ができない。すなわち、微分の分数のような形をしているが、分数をバラバラに分割したり、項を打ち消したりすることはできないのである。しかし、この制限は二階導函数の別の式を使うことで解決できる。この式は、一階導函数に[[商の微分法則]]を適用したものである<ref>{{cite journal |last1=Bartlett |first1=Jonathan |last2=Khurshudyan |first2=Asatur Zh |date=2019 |title=Extending the Algebraic Manipulability of Differentials |arxiv=1801.09553 |journal=Dynamics of Continuous, Discrete and Impulsive Systems, Series A: Mathematical Analysis |volume=26 |issue=3 |pages=217–230}}</ref>。これによって、以下の式が得られる。

:<math>y''(x) = \frac{d}{dx}\left(\frac{dy}{dx}\right) = \frac{d\left(\frac{dy}{dx}\right)}{dx} = \frac{d^2y}{dx^2} - \frac{dy}{dx}\frac{d^2x}{dx^2}</math>

この式において、<math>du</math> は <math>u</math> に適用する[[微分作用素]]、すなわち <math>d(u)</math> を、<math>d^2u</math> は微分作用素を2回適用すること、すなわち <math>d(d(u))</math> を、<math>du^2</math> は <math>u</math> に適用する微分作用素の2乗、すなわち  <math>(d(u))^2</math> を表している。

（上記の記法の意味を考慮して）このように表記すると、二階導函数の項は他の代数的な項と同じように自由に操作することができる。例えば、二階導函数の逆函数の公式は、二階導函数の[[連鎖律]]と同様に上の式の代数的操作から導くことができる。なお、このような記法の変更が十分に有用であるかどうかについては、未だに議論の余地がある<ref>{{cite journal |date=December 20, 2019 |title=Reviews |url=https://maa.tandfonline.com/doi/full/10.1080/0025570X.2019.1673628 |journal=Mathematics Magazine |volume=92 |issue=5 |pages=396–397 |doi=10.1080/0025570X.2019.1673628|s2cid=218542586 }}</ref>。

== 例 ==
函数 <math>f(x) = x^3</math> に対し、函数 {{math|''f''}} の導函数は
:<math>f^{\prime}(x) = 3x^2</math>
であり、二階導函数（<math>f^{\prime}</math> の導函数）は
:<math>f^{\prime\prime}(x) = 6x.</math>
である。

== グラフとの関連性 ==
[[File:Animated illustration of inflection point.gif|500px|thumb|
<math>f(x) = \sin(2x)</math> の <math>-\pi/4</math> から <math>5\pi/4</math>までのグラフ。接線は、曲線が下に凸となるところは青、上に凸となるところは緑、変曲点 (0, <math>\pi</math>/2, <math>\pi</math>)では赤となる。]]

=== 凹凸 ===
函数 {{math|''f''}} の二階導函数を使うことで {{math|''f''}} の'''凹凸'''を調べることができる<ref name=":1" />。二階導函数が正の函数は、下に凸（[[凸函数|凸]]ともいう）であり、接線は函数のグラフの下に位置することになる。同様に、二階導函数が負の函数は上に凸（[[凹函数|凹]]ともいう）であり、その[[接線]]は函数のグラフより上に位置することになる。

=== 変曲点 ===
{{details|変曲点}}
函数の二階導函数の符号が変わると、函数のグラフは凸から凹、またはその逆に切り替わる。これが起こる点を'''[[変曲点]]'''と呼ぶ。二階導函数が[[連続写像|連続]]であると仮定すれば、どの変曲点でも 0 をとる必要がある一方、二階導函数が 0 になる点がすべて変曲点であるとは限らない。

=== 二階導函数判定法 ===
{{main|en:Second derivative test}}
二階導函数とグラフの関係を利用することで、函数の[[停留点]]（<math>f'(x)=0</math> となる点）が[[極値|極大・極小]]かを判定することができる。特に
* <math>f^{\prime\prime}(x) < 0</math> ならば、<math>f</math> は <math>x</math> で極大となる。
* <math>f^{\prime\prime}(x) > 0</math> ならば、<math>f</math> は <math>x</math> で極小となる。
* <math>f^{\prime\prime}(x) = 0</math> ならば、変曲点候補の <math>x</math> について何もわからない。
二階導函数がこのような結果をもたらす理由は、現実世界の例で説明できる。ある車両が、最初は大きな速度で、しかし負の加速度を伴って前進しているとする。速度がゼロになった地点での車両の位置は、明らかに出発地点からの距離が極大となる。この時点を過ぎると、速度は負となり、車両は逆走する。極小の場合も同様で、最初は負の速度だが正の加速度を持つ車両がある。

== 極限 ==
以下のように、[[極限]]を用いて二階導函数を表記できる。
:<math>f''(x) = \lim_{h \to 0} \frac{f(x+h) - 2f(x) + f(x-h)}{h^2}</math>

この極限は[[対称微分|二階対称導函数]]と呼ばれる<ref name="Zygmund2002">{{cite book|author=A. Zygmund|title=Trigonometric Series|title-link= Trigonometric Series |year=2002|publisher=Cambridge University Press|isbn=978-0-521-89053-3|pages=22–23}}</ref><ref>{{cite book
 | first= Brian S. 
 | last= Thomson 
 | year= 1994 
 | title= Symmetric Properties of Real Functions
 | publisher= Marcel Dekker
 | isbn= 0-8247-9230-0
 | page = 1
}}</ref>。たとえ（通常の）二階導函数が存在しないときでも二階対称導函数が存在しうることに注意。

式の右辺は[[差分商]]の差分商として次のように表記可能である。
:<math>\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}</math>

この極限は、[[数列]]の二階差分の連続版と見なすことができる。

しかしながら、上記の極限が存在しても、函数 <math>f</math> が二階導函数を持つとは限らない。上の極限は二階微分の計算の可能性を与えるだけで、定義はしていない。[[反例]]として
:<math>\sgn(x) = \begin{cases}
-1 & \text{if } x < 0, \\
0 & \text{if } x = 0, \\
1 & \text{if } x > 0. \end{cases}</math>
と定義される[[符号函数]] <math>\sgn(x)</math> が挙げられる。

符号函数は原点で連続ではないため、<math>x=0</math> での二階導函数も存在しない。だが、上記の極限は <math>x=0</math> において以下に示すように存在する。

:<math>\begin{align}
\lim_{h \to 0} \frac{\sgn(0+h) - 2\sgn(0) + \sgn(0-h)}{h^2} &= \lim_{h \to 0} \frac{\sgn(h) - 2\cdot 0 + \sgn(-h)}{h^2} \\
&= \lim_{h \to 0} \frac{\sgn(h) + (-\sgn(h))}{h^2} = \lim_{h \to 0} \frac{0}{h^2} = 0
\end{align}</math>

== 二次近似 ==
一階導函数が[[線型近似]]と関連しているように、二階導函数は函数 {{math|''f''}} に対する最良の[[テイラーの定理|二次近似]]と関連している。これは、ある点での一階導函数と二階導函数が {{math|''f''}} のそれと一致する[[二次函数]]である。点 {{math|''x''&nbsp;{{=}}&nbsp;''a''}} 付近の函数 {{math|''f''}} の最良の二次近似の公式は次の通りである。

:<math>f(x) \approx f(a) + f'(a)(x-a) + \tfrac12 f''(a)(x-a)^2</math>

この二次近似は {{math|''x''&nbsp;{{=}}&nbsp;''a''}} における函数の二次までの[[テイラー級数]]である。

== 二次導函数の固有値と固有ベクトル ==
多くの[[境界条件]]の組み合わせにおいて、二次導函数の[[固有値]]と[[固有ベクトル]]の明示的な公式が得られる。例えば、<math>x \in [0,L]</math> および同次元の[[ディリクレ境界条件]]（すなわち、<math> v(0)=v(L)=0</math> ）を仮定すると、[[固有値]]は <math> \lambda_j = -\tfrac{j^2 \pi^2}{L^2}</math> となり、対応する[[固有ベクトル]]（[[固有函数]]とも呼ばれる）は <math> v_j(x) = \sqrt{\tfrac{2}{L}} \sin\left(\tfrac{j \pi x}{L}\right) </math> となる。このとき、<math> v''_j(x) = \lambda_j v_j(x), \, j=1,\ldots,\infty</math> である。

その他の著名な例については、[[:en:Eigenvalues and eigenvectors of the second derivative|Eigenvalues and eigenvectors of the second derivative]] を参照せよ。

== 高次元への一般化 ==
=== ヘッセ行列 ===
{{details|ヘッセ行列}}
二次導函数は、二次[[偏導函数]]の概念として高次元へ一般化される。函数 ''f'': '''R'''<sup>3</sup>&nbsp;&rarr;&nbsp;'''R''' に対して、これらは3つの二次偏導函数

:<math>\frac{\partial^2 f}{\partial x^2}, \; \frac{\partial^2 f}{\partial y^2}, \frac{\partial^2 f}{\partial z^2}</math>

および混合導函数

:<math>\frac{\partial^2 f}{\partial x \, \partial y}, \; \frac{\partial^2 f}{\partial x \, \partial z}, \frac{\partial^2 f}{\partial y \, \partial z}</math>

を含む。

函数の[[像 (数学)|像]]と[[定義域]]の両方がポテンシャルを持つ場合、これらは'''ヘッセ行列'''と呼ばれる[[対称行列]]に当てはまる。この行列の[[固有値]]は、二次導函数判定の多変量アナログを実装するために使用できる。（[[:en:Second partial derivative test|Second partial derivative test]] を参照せよ。）

=== ラプラシアン ===
{{details|ラプラス作用素}}
もう1つの高次元への一般化として、'''ラプラシアン'''がある。これは
:<math>\nabla^2 f = \frac{\partial^2 f}{\partial x^2}+\frac{\partial^2 f}{\partial y^2}+\frac{\partial^2 f}{\partial z^2}</math>
として定義される微分作用素 <math>\nabla^2</math>（あるいは <math>\Delta</math>）である。

函数のラプラシアンは、[[勾配 (ベクトル解析)|勾配]]の[[発散 (ベクトル解析)|発散]]とヘッセ行列の[[跡 (線型代数学)|跡]]に等しい。

== 関連項目 ==
* [[チャープ信号#チャープ率|チャープ率]] - 二階導函数が利用されている。
* [[有限差分]] - 二階導函数の近似に利用される。
* [[:en:Second partial derivative test|二階導函数の判定法]]
* [[ヤングの定理]] - '''二階導函数の対称性'''と呼ばれる。

== 出典 ==
{{Reflist}}

== 参考文献 ==
=== 書籍 ===
*{{Citation
 | last1 = Anton
 | first1 = Howard
 | last2 = Bivens
 | first2 = Irl
 | last3 = Davis
 | first3 = Stephen
 | date = February 2, 2005
 | title = Calculus: Early Transcendentals Single and Multivariable
 | place = New York
 | publisher = Wiley
 | edition = 8th
 | isbn = 978-0-471-47244-5
}}
*{{Citation
 | last = Apostol
 | first = Tom M.
 | date = June 1967
 | title = Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra
 | publisher = Wiley
 | edition = 2nd
 | volume = 1
 | isbn = 978-0-471-00005-1
 | url = https://archive.org/details/calculus01apos
 }}
*{{Citation
 | last = Apostol
 | first = Tom M.
 | date = June 1969
 | title = Calculus, Vol. 2: Multi-Variable Calculus and Linear Algebra with Applications
 | publisher = Wiley
 | edition = 2nd
 | volume = 1
 | isbn = 978-0-471-00007-5
 | url-access = registration
 | url = https://archive.org/details/calculus01apos
 }}
*{{Citation
 | last = Eves
 | first = Howard
 | date = January 2, 1990
 | title = An Introduction to the History of Mathematics
 | edition = 6th
 | publisher = Brooks Cole
 | isbn = 978-0-03-029558-4
}}
*{{Citation
 | last1 = Larson
 | first1 = Ron
 | last2 = Hostetler
 | first2 = Robert P.
 | last3 = Edwards
 | first3 = Bruce H.
 | date = February 28, 2006
 | title = Calculus: Early Transcendental Functions
 | edition = 4th
 | publisher = Houghton Mifflin Company
 | isbn = 978-0-618-60624-5
}}
*{{Citation
 | last = Spivak
 | first = Michael
 | author-link = Michael Spivak
 | date = September 1994
 | title = Calculus
 | publisher = Publish or Perish
 | edition = 3rd
 | isbn = 978-0-914098-89-8
}}
*{{Citation
 | last = Stewart
 | first = James
 | date = December 24, 2002
 | title = Calculus
 | publisher = Brooks Cole
 | edition = 5th
 | isbn = 978-0-534-39339-7
 | url-access = registration
 | url = https://archive.org/details/calculus0000stew
 }}
*{{Citation
 | last = Thompson
 | first = Silvanus P.
 | author-link = Silvanus P. Thompson
 | date = September 8, 1998
 | title = [[Calculus Made Easy]]
 | edition = Revised, Updated, Expanded
 | place = New York
 | publisher = St. Martin's Press
 | isbn = 978-0-312-18548-0
}}

=== ウェブサイト ===

*{{Citation
 | last = Crowell
 | first = Benjamin
 | title = Calculus
 | year = 2003
 | url = http://www.lightandmatter.com/calc/
}}
*{{Citation
 | last = Garrett
 | first = Paul
 | year = 2004
 | title = Notes on First-Year Calculus
 | url = http://www.math.umn.edu/~garrett/calculus/
}}
*{{Citation
 | last = Hussain
 | first = Faraz
 | year = 2006
 | title = Understanding Calculus
 | url = http://www.understandingcalculus.com/
}}
*{{Citation
 | last = Keisler
 | first = H. Jerome
 | year = 2000
 | title = Elementary Calculus: An Approach Using Infinitesimals
 | url = http://www.math.wisc.edu/~keisler/calc.html
}}
*{{Citation
 |last        = Mauch
 |first       = Sean
 |year        = 2004
 |title       = Unabridged Version of Sean's Applied Math Book
 |url         = http://www.its.caltech.edu/~sean/book/unabridged.html
 |url-status     = dead
 |archive-url  = https://web.archive.org/web/20060415161115/http://www.its.caltech.edu/~sean/book/unabridged.html
 |archive-date = 2006-04-15
}}
*{{Citation
 | last = Sloughter
 | first = Dan
 | year = 2000
 | title = Difference Equations to Differential Equations
 | url = http://synechism.org/drupal/de2de/
}}
*{{Citation
 | last = Strang
 | first = Gilbert
 | year = 1991
 | title = Calculus
 | url = http://ocw.mit.edu/ans7870/resources/Strang/strangtext.htm
}}
*{{Citation
 |last        = Stroyan
 |first       = Keith D.
 |year        = 1997
 |title       = A Brief Introduction to Infinitesimal Calculus
 |url         = http://www.math.uiowa.edu/~stroyan/InfsmlCalculus/InfsmlCalc.htm
 |url-status     = dead
 |archive-url  = https://web.archive.org/web/20050911104158/http://www.math.uiowa.edu/~stroyan/InfsmlCalculus/InfsmlCalc.htm
 |archive-date = 2005-09-11
}}
*{{Citation
 | last = Wikibooks
 | title = Calculus
 | url = http://en.wikibooks.org/wiki/Calculus
}}

== 外部リンク ==
*[http://mathformeremortals.wordpress.com/2013/01/12/a-numerical-second-derivative-from-three-points/ Discrete Second Derivative from Unevenly Spaced Points]

{{デフォルトソート:にかいとうかんすう}}
[[Category:解析学]]
[[Category:微分学]]
[[Category:関数]]
[[Category:線型作用素]]
[[Category:数学に関する記事]]