Вытворная функцыі: Розніца паміж версіямі
[дагледжаная версія] | [дагледжаная версія] |
Змесціва выдалена Змесціва дададзена
др робат выняў: zh-yue:微分 (strongly connected to be:Дыферэнцыяльнае злічэнне) |
Няма тлумачэння праўкі |
||
Радок 1:
[[Выява:Graph of sliding derivative line.gif|right|thumb|400px| У кожным пункце вытворная функцыі <math>\scriptstyle f(x)=1 + x\sin(x^2)</math> роўная тангенсу вугла [[нахіл]]у [[датычная (Геаметрыя)|датычнай]] да графіка функцыі. Прамая на рысунку ёсць датычнай да сіняй крывой; яе нахіл роўны значэнню вытворнай у адпаведным пункце. Там дзе вытворная дадатная, прамая становіцца зялёнаю, а дзе вытворная адмоўная, там прамая чырвоная. Калі ж вытворная раўняецца нулю, прамая чорная.]]
'''Вытво{{націск}}рная''' фу{{націск}}нкцыі — асноўнае паняцце [[дыферэнцыяльнае злічэнне|дыферэнцыяльнага злічэння]], якое характарызуе хуткасць змянення функцыі пры змяненні яе аргумента. Вызначаецца як [[Граніца функцыі|граніца]] [[дзель двух лікаў|дзелі]] прыросту функцыі да прыросту яе [[Функцыя|аргумента]] пры імкненні прыросту аргумента да [[Нуль (лік)|нуля]], калі такая граніца існуе.
Функцыю, якая мае концую вытворную на нейкім мностве, называюць '''дыферэнцава{{націск}}льнай''' на гэтым мностве.
Працэс знаходжання вытворнай называецца '''дыферэнцава{{націск}}ннем'''.
== Азначэнне ==
{{multiple image
| зона = right
| кірунак = vertical
| загаловак = Скорасць змянення як гранічнае значэнне
| зона_загалоўка = center
| подпіс =
| зона_подпісу = center
| выява1 = Tangent-calculus.svg
| подпіс1 = '''Рысунак 1'''. [[Датычная (геаметрыя)|Датычная]] ў пункце {{math|(''x'', ''f''(''x''))}}
| шырыня1 = 250
| выява2 = Secant-calculus.svg
| подпіс2 = '''Рысунак 2'''. [[Сякучая прамая|Сякучая]] да крывой {{math|''y'' {{=}} ''f''(''x'')}}, вызначаная пунктамі {{math|(''x'', ''f''(''x''))}} і {{math|(''x''+''h'', ''f''(''x''+''h''))}}
| шырыня2 = 250
| выява3 = Lim-secant.svg
| подпіс3 = '''Рысунак 3'''. Датычная як граніца сякучых
| шырыня3 = 250
| box_caption = Скорасць змянення як гранічнае значэнне
}}
Няхай у некаторым [[Наваколле (матэматыка)|наваколлі]] <math>U(x_0)\subset \R</math> [[Пункт|пункта]] <math>x_0 \in \R</math> вызначана [[функцыя]] <math>f:U(x_0) \to \R.</math>
'''Вытво{{націск}}рнаю''' функцыі <math>f</math> у пункце <math>x_0</math> называецца [[Граніца функцыі|граніца]]
: <math>f'(x_0) := \lim\limits_{x \to x_0} \frac{f(x) - f(x_0)}{x - x_0},</math>
калі яна існуе і концая.
Вытворную функцыі <math>y=f(x)</math> у пункце <math>x_0</math> звычайна пазначаюць адным з наступных спосабаў
: <math>
Падрабязней пра ўжыванне кожнага са спосабаў гл. раздзел [[#Абазначэнні вытворнай]].
''Заўвага'': Вытворная <math>f'(x_0)</math> функцыі <math>f</math> у пункце <math>x_0</math> па азначэнні ёсць граніцаю, а таму можа існаваць або не, і быць концай або бясконцай.
== Спалучаныя з азначэннем паняцці ==
* Назавём <math>\Delta x = x - x_0</math> '''прыро{{націск}}стам аргуме{{націск}}нта''' функцыі, а <math>\Delta y = f(x_0+\Delta x) - f(x_0)</math> '''прыро{{націск}}стам значэ{{націск}}ння''' функцыі ў пункце <math>x_0.</math> Тады
*: <math>f'(x_0) = \lim\limits_{\Delta x \to 0} \frac{\Delta y}{\Delta x}.</math>
*
*: <math>f':(a,b) \to \R.</math>
* Калі вытворная функцыя сама ёсць непарыўнай, то функцыю <math>f</math> называюць '''непары{{націск}}ўна дыферэнцава{{націск}}льнай''' і пішуць: <math>f \in C^{(1)}\bigl((a,b)\bigr).</math>
== Дыферэнцавальнасць ==
{{main|Дыферэнцавальная функцыя}}
Функцыя адной зменнай {{math|''f''(''x'')}} называецца '''дыферэнцава{{націск}}льнай''' у пункце {{math|''x''<sub>0</sub>}}, калі існуе концы лік {{math|''A''}}, такі што ў некаторым [[наваколле пункта|наваколлі]] {{math|''U''(''x''<sub>0</sub>)}} пункта {{math|''x''<sub>0</sub>}} справядліва роўнасць
: <math>f(x) = f(x_0) + A (x-x_0) + o(x-x_0)</math> пры <math>x \to x_0,</math>
дзе {{math|''o''(''x''-''x''<sub>0</sub>)}} ёсць [[бясконца малая велічыня|бясконца малой велічынею]] пры {{math|''x'' → ''x''<sub>0</sub>}}.
'''Тэарэма'''
:Функцыя адной зменнай <math>f(x)</math> ёсць дыферэнцавальнай у пункце <math>x_0</math>, калі і толькі калі яе вытворная <math>f'(x_0)</math> ў гэтым пункце існуе і концая. Пры гэтым праўдзіцца роўнасць
:<math>A = f'(x_0).</math>
''Заўвага'': для функцыі адной зменнай існаванне концай вытворнай і дыферэнцавальнасць функцыі ў пункце раўназначныя між сабою. Аднак у выпадку функцый некалькіх зменных гэта не так: з дыферэнцавальнасці функцыі ў пункце вынікае існаванне [[частковая вытворная|частковых вытворных]], але не наадварот (гэта значыць, з існавання частковых вытворных у пункце, увогуле кажучы, '''не''' вынікае дыферэнцавальнасць функцыі).
== Вытворныя вышэйшых парадкаў ==
Вытворныя вышэйшых парадкаў вызначаюцца [[Зваротны стасунак|зваротным чынам]] праз вытворныя ніжэйшых парадкаў. А іменна, прымаем па азначэнні, што вытворная нулявога парадку - гэта сама функцыя:
: <math>f^{(0)}(x_0) := f(x_0).</math>
Калі функцыя <math>f</math> дыферэнцавальная ў <math>x_0</math>, то вытворная першага парадку вызначаецца стасункам
: <math>f^{(1)}(x_0) := f'(x_0).</math>
Няхай цяпер вытворная {{math|''n''}}-га парадку <math>f^{(n)}</math> вызначана ў некаторым наваколлі кропкі <math>x_0</math> і дыферэнцавальная. Тады {{math|(''n''+1)}}-ая вытворная вызначаецца як вытворная {{math|''n''}}-ай вытворнай:
: <math>f^{(n+1)}(x_0) := \left(f^{(n)}\right)'(x_0).</math>
Вытворныя вышэйшых парадкаў пазначаюцца адным з наступных спосабаў:
: <math>f^{(n)}(x_0), \quad D^n f(x_0),</math> або <math>\frac{d^nf(x_0)}{dx^n}.</math>
Падрабязней пра абазначэнні гл. раздзел [[#Абазначэнні вытворнай]].
==Абазначэнні вытворнай==
===[[Ляйбніц, Готфрыд Вільгельм|Ляйбніцавы]] абазначэнні===
Абазначэнні, уведзеныя [[Ляйбніц, Готфрыд Вільгельм|Готфрыдам Ляйбніцам]], былі аднымі з першых. Яны і дагэтуль шырока ўжываюцца ў выпадку, калі раўнанне {{math|''y'' {{=}} ''f''(''x'')}} разглядаецца як функцыянальная залежнасць паміж [[залежныя і незалежныя зменныя|залежнай і незалежнай зменнымі]]. Першая вытворная пазначаецца як
: <math>\frac{dy}{dx},\quad\frac{d f}{dx}(x),</math> або <math>\frac{d}{dx}f(x),</math>
Калісь такі запіс разглядалі як [[дзель двух лікаў|дзель]] двух [[бясконца малая велічыня|бясконца малы{{націск}}х]].
Вытворную ''n''-га парадку функцыі {{math|''y'' {{=}} ''f''(''x'')}} (па зменнай {{math|''x''}}) запісваюць як
: <math>\frac{d^ny}{dx^n}, \quad\frac{d^n f}{dx^n}(x),</math> або <math>\frac{d^n}{dx^n}f(x).</math>
Па сутнасці, гэтыя абазначэнні ёсць скарачэннем для кратнага прымянення [[Аператар (матэматыка)|аператара]] вытворнай. Напрыклад,
:<math>\frac{d^2y}{dx^2} = \frac{d}{dx}\left(\frac{dy}{dx}\right).</math>
У Ляйбніцавых абазначэннях вытворную функцыі {{math|''y''}} у пункце {{math|''x'' {{=}} ''a''}} можна запісаць двума шляхамі:
: <math>\left.\frac{dy}{dx}\right|_{x=a} = \frac{dy}{dx}(a).</math>
Абазначэнні Ляйбніца дазваляюць пазначаць зменную дыферэнцавання (у назоўніку "дробу"). Гэта асабліва зручна для [[частковая вытворная|частковых вытворных]]. Таксама такія пазначэнні дапамагаюць запомніць [[вытворная складанай функцыі|правіла цэ{{націск}}па]]<ref>
Пры пабудове матэматычнага аналізу на аснове паняцця [[граніца (матэматыка)|граніцы]], сімвал {{math|''du''}} розныя аўтары разглядаюць па-рознаму. Некаторыя аўтары не налучаюць ніякім сэнсам сімвал {{math|''du''}} сам па сабе, і разглядаюць яго толькі як частку складанага сімвала {{math|''du''/''dx''}}. Іншыя ж вызначаюць {{math|''dx''}} як незалежную зменную, а сімвал {{math|''du''}} - як {{math|''du'' {{=}} ''f''′(''x'')·''dx''}}. У [[нестандартны аналіз|нестандартным аналізе]] {{math|''du''}} вызначаецца як бясконца малая велічыня. Яе таксама вытлумачваюць як [[вонкавая вытворная|вонкавую вытворную]] функцыі {{math|''u''}}. Падрабязней гл. [[дыферэнцыял (бясконца малая)]].
</ref>:
:<math>\frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx}.</math>
===[[Жазэф_Луі_Лагранж|Лагранжавы]] абазначэнні===
Гэтыя абазначэнні былі ўведзены [[Жазэф Луі Лагранж|Жазэ{{націск}}фам-Луі{{націск}} Лагра{{націск}}нжам]], і з'яўляюцца аднымі з самых распаўсюджаных сучасных абазначэнняў дыферэнцавання. У гэтых абазначэннях вытворную функцыі {{math|''f''(''x'')}} запісваюць як {{math|''f''′(''x'')}} ці проста {{math|''f''′}}, выкарыстоўваючы [[Штрых (сімвал)|сімвал штрыха]]. Таму такія абазначэнні часам называюць '''штрыхавымі'''<ref>
{{cite web|title=The Notation of Differentiation|url=http://web.mit.edu/wwmath/calculus/differentiation/notation.html|publisher=MIT|accessdate=24 October 2012|year=1998}}
</ref>. Гэткім жа чынам пазначаюць другую і трэцюю вытворныя, а менавіта:
:<math>(f')'=f''</math> і <math>(f'')'=f'''.</math>
Ужо для чацвёртай вытворнай ставіць штрыхі становіцца нязручным, і ўзніквае патрэба ўдасканалення гэтых абазначэнняў. Некаторыя аўтары запісваюць парадак вытворнай рымскімі лічбамі ў верхнім індэксе, іншыя ж запісваюць парадак арабскімі лічбамі ў дужках:
:<math>f^{\mathrm{iv}}</math> або <math>f^{(4)}.</math>
Апошняе абазначэнне лёгка абагульняецца на адвольны парадак вытворнай: запіс {{math|''f''<sup> (''n'')</sup>}} для ''n''-ай вытворнай функцыі {{math|''f''}} найболей ужываны, калі разглядаюць саму вытворную як функцыю (пакідаюча па-за ўвагай "імя" зменнай), тады як Ляйбніцавы абазнчэнні вельмі грувасткія для гэтых мэт.
===[[Ісаак Ньютан|Ньютанавы]] абазначэнні===
[[Ісаак Ньютан|Ньютан]]авы абазначэнні для дыферэнцавання, таксама называныя ''кропкавымі абазначэннямі'', выкарыстоўваюць кропкі, якія змяшчаюцца над іменем функцыі і сваёю колькасцю пазначаюць парадак вытворнай. Такім чынам, калі {{math|''y'' {{=}} ''f''(''t'')}}, тады запісы
:<math>\dot{y}</math> і <math>\ddot{y}</math>
абазначаюць адпаведна першую і другую вытворныя {{math|''y''}} па зменнай {{math|''t''}}. Гэтыя абазначэнні выкарыстоўваюцца амаль выключна для пазначэння [[вытворная па часе|вытворных па часе]], маючы на ўвазе, што незалежная зменная функцыі ёсць [[час|часам]] (г.зн. адлюстроўвае ход [[час|часу]]). Такія пазначэнні дужа распаўсюджаныя ў [[фізіка|фізіцы]] (асабліва ў [[механіка|механіцы]]) і галінах матэматыкі, звязаных з фізікаю, такіх як [[дыферэнцыяльныя раўнанні]]. І хоць гэтыя абазначэнні непрыдатныя для запісу вытворных высокіх парадкаў, на практыцы ўжываюцца толькі вытворныя малых парадкаў.
===[[Леанард Ойлер|Ойлеравы]] абазначэнні===
[[Леанард Ойлер|Ойлер]]авы абазначэнні выкарыстоўваюць [[дыферэнцыяльны аператар]] {{math|''D''}}, прымяненне якога да функцыі {{math|''f''}} дае першую вытворную {{math|''Df''}}. Другая вытворная пазначаецца як {{math|''D''<sup>2</sup>''f''}}, а ''n''-ая вытворная пазачаецца як {{math|''D''<sup>''n''</sup>''f''}}.
Няхай {{math|''y'' {{=}} ''f''(''x'')}} ёсць функцыяй. Каб падкрэсліць зменную, па якой адбываецца дыферэнцаванне, да сімвала {{math|''D''}} далучаюць ніжні індэкс {{math|''x''}}. Тады Ойлеравы пазначэнні запісваюцца як
:<math>D_x y</math> або <math>D_x f(x)</math>.
Аднак звычайна, калі і так зразумела, якую зменную маюць на ўвазе, ніжні індэкс апускаюць, так, напрыклад, робяць, калі {{math|''x''}} адзіная зменная ў выразе.
Ойлеравы абазначэнні зручныя для запісу і развязання [[лінейнае дыферэнцыяльнае раўнанне|лінейных дыферэнцыяльных раўнанняў]].
== Геаметрычны і фізічны сэнс вытворнай ==
Радок 31 ⟶ 126:
{{main|Датычная прамая}}
Калі функцыя <math>f:U(x_0) \to \R</math> мае
: <math>f_l(x) = f(x_0) + f'(x_0)(x-x_0).</math>
Функцыя <math>f_l</math>
=== Хуткасць
Хай <math>s=s(t)</math> — закон прамалінейнага [[Механічны рух|руху]]. Тады <math>v(t_0)=s'(t_0)</math>
Наогул, вытворная функцыі <math>y=f(x)</math> у
== Прыклады ==
Радок 62 ⟶ 142:
* Хай <math>f(x) = |x|.</math> Тады калі <math>x_0 \neq 0,</math> то
: <math>f'(x_0) = \sgn x_0,</math>
дзе праз <math>\sgn</math>
<math>f'_+(x_0) = 1,\; f'_-(x_0) = -1,</math>
== Правілы
{{Асноўны артыкул|Табліца вытворных}}
{{гл. таксама|Дыферэнцаванне складанай функцыі}}
Часцей за ўсё, вытворную знаходзяць не па азначэнні (г.зн. не як граніцу дзелі прыростаў), а з дапамогай правіл дыферэнцавання і табліцы вытворных найпрасцейшых элементарных функцый. Некалькі такіх правіл прыведзены ніжэй.
* ''Правіла сталай'': калі {{math|''f''(''x'')}} ёсць [[сталая велічыня|ста{{націск}}лай функцыяй]], то
:<math>f' = 0. \,</math>
* ''[[Лінейнасць дыферэнцавання|Правіла сумы]]'':
:<math>(\alpha f + \beta g)' = \alpha f' + \beta g' \,</math> для любых функцый {{math|''f''}} і {{math|''g''}} і любых рэчаісных лікаў <math>\alpha</math> і <math>\beta</math>.
* ''[[Правіла Ляйбніца]]'' або ''правіла здабытку'':
:<math>(fg)' = f 'g + fg' \,</math> для любых функцый {{math|''f''}} і {{math|''g''}}.
* ''[[Правіла дзелі]]'':
:<math>\left(\frac{f}{g} \right)' = \frac{f'g - fg'}{g^2}</math> для любых функцый {{math|''f''}} і {{math|''g''}} ў любых пунктах {{math|''x''}}, дзе {{math|''g''(''x'') ≠ 0}}.
* ''[[Ланцуговае правіла]]'': Няхай <math>h(x) = f(g(x))</math> ёсць [[складаная функцыя|складанай функцыяй]], тады
:<math>h'(x) = f'(g(x)) \cdot g'(x).</math>
* Калі функцыя {{math|''f''}} ёсць [[адваротная функцыя|адваротнаю функцыяй]] да {{math|''g''}} (гэта значыць {{math|1=''g''(''f''(''x'')) {{=}} ''x''}} і {{math|1=''f''(''g''(''y'')) {{=}} ''y''}}), то
:<math>g'(x) = \frac{1}{f'(g(x))}.</math>
== Уласцівасці вытворнай ==
* калі функцыя дасягае ў пункце <math>~x</math> свайго найбольшага (або найменшага) значэння і дыферэнцавальная ў гэтым пункце, то <math>~f'(x)=0</math> (гэта сцвержданне яшчэ называюць [[Лема Ферма|лемай Ферма]]).
== Дыферэнцавальнасць і непарыўнасць ==
* Функцыя, дыферэнцавальная ў пункце, [[Непарыўная функцыя|непарыўная]] ў ім. Аднак з непарыўнасці дыферэнцавальнасць не вынікае.
* калі функцыя дыферэнцавальная на прамежку <math>(a,b)</math>, то яна і непарыўная на гэтым прамежку.
== Гл. таксама ==
Радок 83 ⟶ 178:
* [[Табліца вытворных]]
* [[Вытворная (матэматыка)]]
* [[
* [[Першаісная]]
* [[Вытворная (абагульненне)|Абагульненні вытворных]]
* [[Асноўная тэарэма аналізу]]
* [[Геаметрычны сэнс вытворнай]]
* [[Эканамічны сэнс вытворнай]]
{{Зноскі}}
== Літаратура ==
Радок 98 ⟶ 195:
[http://ru.numberempire.com/derivatives.php Анлайн-калькулятар вытворных]
[[Катэгорыя:Дыферэнцыяльнае
[[Катэгорыя:Матэматычны аналіз]]
|