Линейность дифференциации

В исчислении производная ; любой линейной комбинации равна функций такой же линейной комбинации производных функций [1] это свойство известно как линейность дифференцирования , правило линейности , [2] или правило суперпозиции для дифференцирования. [3] Это фундаментальное свойство производной, которое объединяет в одном правиле два более простых правила дифференцирования: правило сумм (производная суммы двух функций является суммой производных) и правило постоянного фактора (производная постоянной кратное функции есть то же самое постоянное кратное производной). [4] [5] Таким образом, можно сказать, что дифференцирование линейно или что дифференциальный оператор является линейным оператором. [6]

Заявление и вывод [ править ]

Пусть f и g — функции с константами α и β . Теперь рассмотрим

По правилу сумм при дифференцировании это

и по правилу постоянного фактора при дифференцировании это сводится к

Поэтому,

Без скобок это часто записывается так:

Подробные доказательства/выводы из определения [ править ]

Мы можем доказать весь принцип линейности сразу или мы можем доказать отдельные шаги (постоянный множитель и сложение) по отдельности. Здесь будут показаны оба.

Непосредственное доказательство линейности также доказывает правило постоянного фактора, правило сумм и правило разности как частные случаи. Правило сумм получается путем установки обоих постоянных коэффициентов равными . Правило разности получается путем установки первого постоянного коэффициента равным и второй постоянный коэффициент для . Правило постоянного коэффициента получается путем установки либо второго постоянного коэффициента, либо второй функции равным . (С технической точки зрения необходимо также учитывать область определения второй функции — один из способов избежать проблем — установить вторую функцию равной первой функции, а второй постоянный коэффициент — равным . Можно также определить и второй постоянный коэффициент, и вторую функцию равными 0, где область определения второй функции, помимо других возможностей, является надмножеством первой функции.)

Напротив, если мы сначала докажем правило постоянного фактора и правило сумм, мы сможем доказать линейность и правило разности. Доказательство линейности осуществляется путем определения первой и второй функций как двух других функций, умноженных на постоянные коэффициенты. Затем, как показано в выводе из предыдущего раздела, мы можем сначала использовать закон сумм при дифференцировании, а затем использовать правило постоянного фактора, что позволит прийти к нашему выводу о линейности. Чтобы доказать правило разности, вторую функцию можно переопределить как другую функцию, умноженную на постоянный коэффициент при . В упрощенном виде это дало бы нам правило различия для дифференциации.

В доказательствах/выводах ниже, [7] [8] коэффициенты используются; им соответствуют коэффициенты выше.

Линейность (напрямую) [ править ]

Позволять . Позволять быть функциями. Позволять быть функцией, где определяется только там, где и оба определены. (Другими словами, область является пересечением областей и .) Позволять находиться в сфере . Позволять .

Мы хотим доказать это .

По определению мы видим, что


Чтобы использовать закон пределов для суммы пределов, нам нужно знать, что и оба существуют индивидуально. Для этих меньших пределов нам нужно знать, что и оба индивидуально существуют, чтобы использовать закон коэффициентов для пределов. По определению, и . Итак, если мы знаем, что и оба существуют, мы будем знать это и оба существуют индивидуально. Это позволяет нам использовать закон коэффициентов для пределов, чтобы записать

и

При этом мы можем вернуться к применению закона пределов для суммы пределов, поскольку мы знаем, что и оба существуют индивидуально. Отсюда мы можем напрямую вернуться к производной, над которой работали.

Наконец, мы показали то, что утверждали вначале: .

Сумма [ править ]

Позволять быть функциями. Позволять быть функцией, где определяется только там, где и оба определены.(Другими словами, область является пересечением областей и .) Позволять находиться в сфере . Позволять .

Мы хотим доказать это .

По определению мы видим, что

Чтобы использовать здесь закон суммы пределов, нам нужно показать, что индивидуальные пределы, и оба существуют. По определению, и , поэтому пределы существуют всякий раз, когда производные и существовать. Итак, предполагая, что производные существуют, мы можем продолжить приведенный выше вывод.


Таким образом, мы показали то, что хотели показать: .

Разница [ править ]

Позволять быть функциями. Позволять быть функцией, где определяется только там, где и оба определены. (Другими словами, область является пересечением областей и .) Позволять находиться в сфере . Позволять .

Мы хотим доказать это .

По определению мы видим, что:

Чтобы использовать здесь закон различия пределов, нам нужно показать, что отдельные пределы, и оба существуют. По определению, и это , поэтому эти пределы существуют всякий раз, когда производные и существовать. Итак, предполагая, что производные существуют, мы можем продолжить приведенный выше вывод.

Таким образом, мы показали то, что хотели показать: .

Постоянный коэффициент [ править ]

Позволять быть функцией. Позволять ; будет постоянным коэффициентом. Позволять быть функцией, где j определяется только там, где определяется. (Другими словами, область равна области определения .) Позволять находиться в сфере . Позволять .

Мы хотим доказать это .

По определению мы видим, что:

Теперь, чтобы использовать предельный закон для постоянных коэффициентов и показать, что

нам нужно это показать существует.Однако, , по определению производной. Итак, если существует, то существует.

Таким образом, если мы предположим, что существует, мы можем воспользоваться предельным законом и продолжить доказательство.

Таким образом, мы доказали, что когда , у нас есть .

См. также [ править ]

Ссылки [ править ]

  1. ^ Бланк, Брайан Э.; Кранц, Стивен Джордж (2006), Исчисление: одна переменная, Том 1 , Springer, стр. 177, ISBN  9781931914598 .
  2. ^ Стрэнг, Гилберт (1991), Исчисление, Том 1 , SIAM, стр. 71–72, ISBN  9780961408824 .
  3. ^ Строян, К.Д. (2014), Исчисление с использованием Mathematica , Academic Press, с. 89, ISBN  9781483267975 .
  4. ^ Эстеп, Дональд (2002), «20.1 Линейные комбинации функций», Практический анализ с одной переменной , Тексты для студентов по математике , Springer, стр. 259–260, ISBN  9780387954844 .
  5. ^ Зорн, Пол (2010), Понимание реального анализа , CRC Press, стр. 184, ISBN  9781439894323 .
  6. ^ Гокенбах, Марк С. (2011), Конечномерная линейная алгебра , дискретная математика и ее приложения, CRC Press, стр. 103, ISBN  9781439815649 .
  7. ^ «Правила дифференциации» . Открытые курсы CEMC . Проверено 3 мая 2022 г.
  8. ^ Докинз, Пол. «Доказательство различных производных свойств» . Интернет-заметки Пола . Проверено 3 мая 2022 г.