Друга похідна

У диференційному численні друга похідна чи похідна другого порядку функції ${\displaystyle f}$ — похідна від похідної ${\displaystyle f}$.

Друга похідна квадратичної функції є константною.

Тобто, друга похідна показує, як змінюється швидкість зміни величини; наприклад, друга похідна від положення тіла по часу є миттєвим прискоренням тіла, чи швидкістю, з якою швидкість тіла змінюється відносно часу. В нотації Лейбніца:

${\displaystyle \mathbf {a} ={\frac {d\mathbf {v} }{dt}}={\frac {d^{2}{\boldsymbol {x}}}{dt^{2}}},}$

де останній дріб є виразом другої похідної.

На графіку функції друга похідна відповідає кривині чи увігнутості графіку. Графік функції з додатною другою похідною ввігнутий угору, тоді як графік функції з від'ємною другою похідною вигинається протилежним чином.

Друга похідна степеневої функції

Для обчислення другої похідної степеневої функції можна двічі застосувати ^[en]:

${\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\left(n-1\right)x^{n-2}}$

Приклад

Дано функцію ${\displaystyle f(x)=x^{3}}$, похідна ${\displaystyle f}$ є функцією ${\displaystyle f'\left(x\right)=3x^{2}}$.

Друга похідна ${\displaystyle f}$ є похідною ${\displaystyle f'}$, а саме: ${\displaystyle f''(x)=6x}$.

Позначення

Друга похідна функції ${\displaystyle f\left(x\right)}$ зазвичай позначається ${\displaystyle f''\left(x\right)}$. Тобто ${\displaystyle f''=\left(f'\right)'}$.

При використанні нотації Лейбніца, друга похідна залежної змінної ${\displaystyle y}$ по незалежній змінній ${\displaystyle x}$ записується як ${\displaystyle {\frac {d^{2}y}{dx^{2}}}}$.

Це позначення походить із формули ${\displaystyle {\frac {d^{2}y}{dx^{2}}}={\frac {d}{dx}}\left({\frac {dy}{dx}}\right)}$.

Геометричний сенс

Графік ${\displaystyle f(x)=\sin \left(2x\right)}$ від ${\displaystyle -{\frac {\pi }{4}}}$ до ${\displaystyle 5{\frac {\pi }{4}}}$. Дотична синя, де крива опукла, зелена, де крива увігнута, і червона у точках перегину (0, ${\displaystyle {\frac {\pi }{2}}}$ і ${\displaystyle \pi }$)

Увігнутість

Друга похідна функції ${\displaystyle f}$ вимірює увігнутість графіку ${\displaystyle f}$. Функція, друга похідна якої додатна, буде ввігнутою вгору (також називається опуклою), що означає те, що дотична лежатиме нижче графіку функції. Аналогічно, функція, друга похідна якої від'ємна, буде ввігнутою вниз (також називається просто увігнутою), а її дотичні лежатимуть над графіком функції.

Точки перегину

Докладніше: Точка перегину

Якщо друга похідна функції змінює знак, графік функції змінюватиметься з увігнутого до опуклого або навпаки. Точка, де це відбувається, називається точкою перегину. Припускаючи, що друга похідна неперервна, вона повинна набувати значення нуля в будь-якій точці перегину, хоча не кожна точка, де друга похідна дорівнює нулю, обов'язково є точкою перегину.

Перевірка другої похідної

Відношення між другою похідною та графіком може використовуватися для перевірки, чи є стаціонарна точка для функції (тобто точка, де ${\displaystyle f'\left(x\right)=0}$) локальним максимумом або локальним мінімумом. Конкретно,

• Якщо ${\displaystyle f''\left(x\right)<0}$ ${\displaystyle f}$ має локальний максимум у ${\displaystyle x}$.
• Якщо ${\displaystyle f''\left(x\right)>0}$ ${\displaystyle f}$ має локальний мінімум ${\displaystyle x}$.
• Якщо ${\displaystyle f''\left(x\right)=0}$, перевірка другої похідної нічого не каже про точку ${\displaystyle x}$, можлива точка перегину.

Причину того, чому друга похідна дає такі результати, можна побачити шляхом аналогії з реальним світом. Розглянемо транспорт, який спочатку рухається вперед на великій швидкості, але з від'ємним прискоренням. Чітке положення транспорту в точці, де швидкість досягає нуля, буде максимальною відстанню від початкового положення — після цього часу швидкість стане від'ємною, а транспорт розвернеться. Те саме справджується для мінімуму з транспортом, який спочатку має дуже від'ємну швидкість, але додатне прискорення.

Границя

Можливо написати єдину границю для другої похідної:

${\displaystyle f''(x)=\lim _{h\to 0}{\frac {f\left(x+h\right)-2f\left(x\right)+f\left(x-h\right)}{h^{2}}}}$

Границя називається ^[en]. Зауважте, що друга симетрична похідна може існувати навіть тоді, коли (звичайна) друга похідна не існує.

Вираз праворуч можна записати як ^[en] різниць часток:

${\displaystyle {\frac {f\left(x+h\right)-2f\left(x\right)+f\left(x-h\right)}{h^{2}}}={\frac {{\frac {f\left(x+h\right)-f\left(x\right)}{h}}-{\frac {f\left(x\right)-f\left(x-h\right)}{h}}}{h}}}$

Цю границю можна бачити як неперервну версію другої різниці для послідовностей.

Існування вищенаведеної границі не означає того, що функція ${\displaystyle f}$ має другу похідну. Вищенаведена границя просто дає можливість обчислення другої похідної, але не забезпечує визначення. Як контрприклад, подивимося на знакову функцію ${\displaystyle \operatorname {sgn}(x)}$:

${\displaystyle \operatorname {sgn}(x)={\begin{cases}-1&{\text{if }}x<0,\\0&{\text{if }}x=0,\\1&{\text{if }}x>0.\end{cases}}}$

Знакова функція не є неперервною в нулі, а тому друга похідна для ${\displaystyle x=0}$ не існує. Але вищенаведена границя існує для ${\displaystyle x=0}$:

${\displaystyle {\begin{aligned}\lim _{h\to 0}{\frac {\operatorname {sgn} \left(0+h\right)-2\operatorname {sgn} \left(0\right)+\operatorname {sgn} \left(0-h\right)}{h^{2}}}&=\lim _{h\to 0}{\frac {1-2\cdot 0+\left(-1\right)}{h^{2}}}\\&=\lim _{h\to 0}{\frac {0}{h^{2}}}\\&=0\end{aligned}}}$

Квадратичне наближення

Так само, як перша похідна пов'язана з лінійними наближеннями, друга похідна пов'язана з найкращими для функції ${\displaystyle f}$. Це квадратична функція, перша та друга похідні якої ті самі, що й для ${\displaystyle f}$ у даній точці. Формулою найкращого квадратичного наближення до функції ${\displaystyle f}$ коло точки ${\displaystyle x=a}$ є

${\displaystyle f\left(x\right)\approx f\left(a\right)+f'\left(a\right)\left(x-a\right)+{\tfrac {1}{2}}f''\left(a\right)\left(x-a\right)^{2}}$

Це квадратичне наближення є поліномом Тейлора другого порядку для функції в околиці точки a.

Власні значення та вектори другої похідної

Див. також: ^[en]

Для багатьох комбінацій крайових умов можна отримати явні формули ^[en]. Наприклад, нехай ${\displaystyle x\in \left[0,L\right]}$ і гомогенні граничні умови Діріхле, тобто ${\displaystyle v\left(0\right)=v\left(L\right)=0}$, власні значення є ${\displaystyle \lambda _{j}=-{\frac {j^{2}\pi ^{2}}{L^{2}}}}$ та відповідні власні вектори (також звані власними функціями) є ${\displaystyle v_{j}\left(x\right)={\sqrt {\frac {2}{L}}}\sin \left({\frac {j\pi x}{L}}\right)}$. Тут ${\displaystyle v''_{j}\left(x\right)=\lambda _{j}v_{j}\left(x\right),\,j=1,\ldots ,\infty }$.

Узагальнення для функцій із кількома змінними

Гессіан

Докладніше: Матриця Гессе

Друга похідна узагальнюється до вищих вимірів через notion других часткових похідних. Для функції ${\displaystyle f}$: ${\displaystyle R^{3}\to R}$ вони включають три часткові похідні другого порядку: ${\displaystyle {\frac {\partial ^{2}f}{\partial x^{2}}}}$, ${\displaystyle {\frac {\partial ^{2}f}{\partial y^{2}}}}$ і ${\displaystyle {\frac {\partial ^{2}f}{\partial z^{2}}}}$ та змішані часткові похідні: ${\displaystyle {\frac {\partial ^{2}f}{\partial x\,\partial y}}}$, ${\displaystyle {\frac {\partial ^{2}f}{\partial x\,\partial z}}}$ і ${\displaystyle {\frac {\partial ^{2}f}{\partial y\,\partial z}}}$.

Якщо і зображення, й область визначення функції мають потенціал, то вони вкладаються разом у симетричну матрицю, відому як Гессіан. Власні значення цієї матриці можуть використовуватися для реалізації багатозмінного аналога перевірки другої похідної (див. також тест другої часткової похідної).

Лапласіан

Докладніше: Оператор Лапласа

Іншим поширеним узагальненням другої похідної є Лапласіан. Це диференційний оператор ${\displaystyle \nabla ^{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}}}}$

Лапласіан функції дорівнює дивергенції градієнту та сліду матриці Гессіану.

Див. також

• Цвірінькання, друга похідна ^[en]
• Тест другої похідної

Примітки

1. Зигмунд, А. (2002). Trigonometric Series. Cambridge University Press. с. 22—23. ISBN .
2. Томпсон, Браян С. (1994). Symmetric Properties of Real Functions. ^[en]. с. 1. ISBN .

Література

Друкована

• Антон, Говард; Бівенс, Ірл; Девіс, Стівен (2 лютого 2005), Calculus: Early Transcendentals Single and Multivariable (вид. 8-е), Нью-Йорк: Wiley, ISBN 
• Апостол, Том М. (червень 1967), Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra, т. 1 (вид. 2-е), Wiley, ISBN 
• Апостол, Том М. (червень 1969), Calculus, Vol. 2: Multi-Variable Calculus and Linear Algebra with Applications, т. 1 (вид. 2-е), Wiley, ISBN 
• Евес, Говард (2 січня 1990), An Introduction to the History of Mathematics (вид. 6-е), Brooks Cole, ISBN 
• Ларсон, Рон; Гостетлер, Роберт П.; Едвардс, Брюс Г. (28 лютого 2006), Calculus: Early Transcendental Functions (вид. 4-е), Houghton Mifflin Company, ISBN 
• (вересень 1994), Calculus (вид. 3-е), Publish or Perish, ISBN 
• Стюарт, Джеймс (24 грудня 2002), Calculus (вид. 5-е), Brooks Cole, ISBN 
• (8 вересня 1998), [[Calculus Made Easy]]^{[[:en:Calculus Made Easy|[en]]]} (вид. перероблене, оновлене, доповнене), Нью-Йорк: St. Martin's Press, ISBN  {{}}: Назва URL містить вбудоване вікіпосилання ()

Онлайн-книги

• Кровелл, Бенджамін (2003), , архів оригіналу за 4 лютого 2012, процитовано 2 вересня 2018
• Гарретт, Пол (2004), , архів оригіналу за 5 лютого 2012, процитовано 2 вересня 2018
• Гуссейн, Фараз (2006), , архів оригіналу за 26 березня 2019, процитовано 2 вересня 2018
• Кейслер, Г. Джером (2000), , архів оригіналу за 1 травня 2011, процитовано 2 вересня 2018
• Мох, Шон (2004), , архів оригіналу за 15 квітня 2006, процитовано 2 вересня 2018 {{}}: Cite має пусті невідомі параметри: |1=, |2=, |3= та |4= ()
• Слотер, Ден (2000), , архів оригіналу за 14 квітня 2012, процитовано 2 вересня 2018
• Странг, Гілберт (1991), , архів оригіналу за 25 лютого 2010, процитовано 2 вересня 2018
• Строян, Кейт Д. (1997), , архів оригіналу за 11 вересня 2005, процитовано 2 вересня 2018 {{}}: Cite має пусті невідомі параметри: |1=, |2= та |3= ()
• Вікіпідручник, Calculus (англійською) , архів оригіналу за 3 вересня 2018, процитовано 2 вересня 2018

Посилання

• (англійською) . 12 січня 2013. Архів оригіналу за 3 вересня 2018. Процитовано 2 вересня 2018.