403
правки
Изменения
Добавлена статья. Её нужно доделать
{{В разработке}}
== Определение ==
{{Определение
|definition =
Производные и дифференциалы высших порядков вводятся индуктивно:
* <tex>f^{(n + 1)} = (f^{(n)})'</tex>
* <tex>f^{(0)} = f</tex>
}}
<tex>d^{n + 1}f = d(d^n f)</tex>. Внешнее дифференцирование осуществляется при фиксированном
значении независимой переменной.
<tex>df = f'(x)dx</tex>
<tex>d^2f = d(f'(x) dx) = f^{(2)}(x) dx^2</tex>
<tex>d^n f(x) = f^{(n)}(x)dx^n</tex>
== Что-то там инвариантное(TODO) ==
<tex>df(x) = f'(x) dx,\ x = \phi(t),\ F(t) = f(\phi(t))</tex>
<tex>dF = [f(\phi(t))]' dt = f'(x) \phi'(t) dt</tex>
<tex>dx = \phi'(t) dt,\ df = dF</tex>
Чтобы найти дифференциал сложной функции, достаточно найти дифференциал внешней
функции, приращение независимой переменной <tex>x</tex> трактовать как приращение зависимой
и раскрыть его.
=== Инвариантность формы записи дифференциалов первого порядка ===
(при чём тут это?)
<tex>f(x) = x^2,\ x = \sin t</tex>
<tex>df = 2x dx,\ dx = \cos t dt</tex>
<tex>dF = 2 \sin t \cos t dt</tex>
=== Второго порядка ===
Однако, уже для второго порядка, это не верно:
<tex>df = f'(x) \phi'(t) dt</tex>
<tex>d^2 F = [f'(x) \phi'(t) dt]' dt = </tex>
<tex>[f''(x)(\phi'(t) dt)^2 + f'(x) \phi''(t)]dt^2 = </tex>
<tex>f''(x) [\phi'(t) dt]^2 + f''(x) \phi''(t) dt^2 = </tex>
<tex>f''(x)dx^2 + f''_x(x) d^2 x \ne d^2f</tex>
Упс! Инвариантности нет.
== Формула Лейбница ==
Определённое значение имеет так называемая формула Лейбница
для вычисления <tex>(fg)^{(n)}</tex>:
<tex>(fg)^{(n)} = \sum\limits_{k = 0}^n C_n^k u^{(k)} v^{(n - k)}</tex>.
Эта формула доказывается по индукции аналогично биномиальным коэффициентам.
