Правило власти - Power rule

Часть цикла статей о
Исчисление
Основная теорема Интегральное правило Лейбница Пределы функций Непрерывность Теорема о среднем значении Теорема Ролля
Дифференциальный Определения Производная  (обобщения ) Дифференциальный бесконечно малый функции Всего Концепции Обозначение дифференциации Вторая производная Неявное дифференцирование Логарифмическое дифференцирование Связанные ставки Теорема Тейлора Правила и личности Сумма Товар Цепь Мощность Частное Правило L'Hôpital Обратный Генерал Лейбниц Формула Фаа ди Бруно
интеграл Списки интегралов Интегральное преобразование Определения Первообразный интеграл  (неподходящий ) Интеграл Римана Интеграция Лебега Контурная интеграция Интеграл от обратных функций Интеграция Запчасти Диски Цилиндрические оболочки Замена  (тригонометрический, Weierstrass, Эйлер ) Формула Эйлера Неполные фракции Изменение порядка Формулы приведения Дифференцируя знаком интеграла
Серии Геометрический  (арифметико-геометрический ) Гармонический Чередование Мощность Биномиальный Тейлор Тесты сходимости Предел слагаемого (тест на срок) Соотношение Корень интеграл Прямое сравнение Сравнение пределов Чередование серий Конденсация Коши Дирихле Авель
Вектор Градиент Расхождение Завиток Лапласиан Производная по направлению Идентичности Теоремы Градиент Зелень Стокса Расхождение обобщенный Стокса
Многовариантный Формализмы Матрица Тензор Внешний вид Геометрический Определения Частная производная Кратный интеграл Линейный интеграл Поверхностный интеграл Объемный интеграл Якобиан Гессен
Специализированный Дробное Маллявин Стохастик Вариации
Глоссарий исчисления Глоссарий исчисления Список тем по математике

В исчисление, то правило власти используется для различения функций вида ${ Displaystyle е (х) = х ^ {г}}$, всякий раз, когда ${ displaystyle r}$ это действительное число. поскольку дифференциация это линейный операция в пространстве дифференцируемых функций, многочлены также можно дифференцировать с помощью этого правила. Правило власти лежит в основе Серия Тейлор поскольку это касается степенной ряд с функцией производные.

Утверждение правила власти

Если ${ displaystyle f: mathbb {R} rightarrow mathbb {R}}$ функция такая, что ${ Displaystyle е (х) = х ^ {г}}$, и ${ displaystyle f}$ дифференцируема в ${ displaystyle x}$, тогда,

${ Displaystyle F '(х) = rx ^ {r-1}}$

Правило власти для интеграции, в котором говорится, что

${ displaystyle int ! x ^ {r} , dx = { frac {x ^ {r + 1}} {r + 1}} + C}$

для любого реального числа ${ displaystyle r neq -1}$, может быть получен путем обращения правила мощности для дифференцирования.

Доказательства

Доказательство для реальных показателей

Для начала следует выбрать рабочее определение значения ${ Displaystyle е (х) = х ^ {г}}$, где ${ displaystyle r}$ - любое действительное число. Хотя возможно определить значение как предел последовательности рациональных способностей, которые приближаются к иррациональной мощности всякий раз, когда мы сталкиваемся с такой силой, или как наименьшую верхнюю границу набора рациональных способностей, меньших, чем данная мощность, этот тип определение не поддается дифференцированию. Поэтому предпочтительно использовать функциональное определение, которое обычно принимается ${ Displaystyle х ^ {г} = ехр (г пер х) = е ^ {г пер х}}$ для всех значений ${ displaystyle x> 0}$, где ${ displaystyle exp}$ это естественная экспоненциальная функция и ${ displaystyle e}$ является Число Эйлера.^[1][2] Во-первых, мы можем показать, что производная от ${ Displaystyle е (х) = е ^ {х}}$ является ${ Displaystyle F '(х) = е ^ {х}}$.

Если ${ Displaystyle е (х) = е ^ {х}}$, тогда ${ Displaystyle пер (е (х)) = х}$, где ${ displaystyle ln}$ это натуральный логарифм функция, обратная функция экспоненциальной функции, как продемонстрировал Эйлер.^[3] Поскольку последние две функции равны для всех значений ${ displaystyle x> 0}$, их производные также равны, если существует какая-либо производная, поэтому мы имеем Правило цепи,

${ Displaystyle { гидроразрыва {1} {е (х)}} cdot f '(х) = 1}$

или ${ Displaystyle е '(х) = е (х) = е ^ {х}}$, как и требовалось. Следовательно, применяя цепное правило к ${ Displaystyle е (х) = е ^ {г пер х}}$, Мы видим, что

${ displaystyle f '(x) = { frac {r} {x}} e ^ {r ln x} = { frac {r} {x}} x ^ {r}}$

что упрощает ${ displaystyle rx ^ {r-1}}$.

Когда ${ displaystyle x <0}$, мы можем использовать то же определение с ${ Displaystyle х ^ {г} = ((- 1) (- х)) ^ {г} = (- 1) ^ {г} (- х) ^ {г}}$, где у нас теперь есть ${ displaystyle -x> 0}$. Это обязательно приводит к такому же результату. Обратите внимание, потому что ${ displaystyle (-1) ^ {r}}$ не имеет общепринятого определения, когда ${ displaystyle r}$ не является рациональным числом, иррациональные степенные функции не определены для отрицательных базисов. Кроме того, поскольку рациональные степени -1 с четными знаменателями (в младших членах) не являются действительными числами, эти выражения имеют действительное значение только для рациональных степеней с нечетными знаменателями (в самых низких членах).

Наконец, если функция дифференцируема в ${ displaystyle x = 0}$, определяющий предел для производной:

${ displaystyle lim _ {h to 0} { frac {h ^ {r} -0 ^ {r}} {h}}}$

что дает 0 только тогда, когда ${ displaystyle r}$ - рациональное число с нечетным знаменателем (в младших членах) и ${ displaystyle r> 1}$и 1 при r = 1. Для всех остальных значений r выражение ${ displaystyle h ^ {r}}$ не вполне определен для ${ displaystyle h <0}$, как было указано выше, или не является действительным числом, поэтому предел не существует как действительная производная. Для двух случаев, которые действительно существуют, значения согласуются со значением существующего правила мощности, равным 0, поэтому никаких исключений делать не нужно.

Исключение выражение ${ displaystyle 0 ^ {0}}$ (случай x = 0) из нашей схемы возведения в степень обусловлен тем, что функция ${ Displaystyle е (х, у) = х ^ {у}}$ не имеет предела в (0,0), так как ${ displaystyle x ^ {0}}$ приближается к 1, когда x приближается к 0, а ${ displaystyle 0 ^ {y}}$ приближается к 0, когда y приближается к 0. Таким образом, было бы проблематично приписать ему какое-либо конкретное значение, поскольку это значение противоречило бы одному из двух случаев, зависящих от приложения. Его традиционно оставляют неопределенным.

Доказательства для ненулевых целочисленных показателей

Доказательство индукция (положительные целые числа)

Позволять п быть положительным целым числом. Требуется доказать, что ${ displaystyle { frac {d} {dx}} x ^ {n} = nx ^ {n-1}.}$

Когда ${ Displaystyle п = 1}$, ${ displaystyle { frac {d} {dx}} x ^ {1} = lim _ {h to 0} { frac {(x + h) -x} {h}} = 1 = 1x ^ { 1-1}.}$Следовательно, базовый случай имеет место.

Предположим, что утверждение верно для некоторого положительного целого числа k, т.е. ${ displaystyle { frac {d} {dx}} x ^ {k} = kx ^ {k-1}.}$

Когда ${ Displaystyle п = к + 1}$, ${ displaystyle { frac {d} {dx}} x ^ {k + 1} = { frac {d} {dx}} (x ^ {k} cdot x) = x ^ {k} cdot { frac {d} {dx}} x + x cdot { frac {d} {dx}} x ^ {k} = x ^ {k} + x cdot kx ^ {k-1} = x ^ { k} + kx ^ {k} = (k + 1) x ^ {k} = (k + 1) x ^ {(k + 1) -1}}$

По принципу математической индукции утверждение верно для всех натуральных чисел п.

Доказательство биномиальная теорема (положительные целые числа)

Позволять ${ Displaystyle у = х ^ {п}}$, где ${ Displaystyle п в mathbb {N}}$

потом ${ displaystyle { frac {dy} {dx}} = lim _ {h to 0} { frac {(x + h) ^ {n} -x ^ {n}} {h}}}$${ displaystyle = lim _ {h to 0} { frac {1} {h}} left [x ^ {n} + { binom {n} {1}} x ^ {n-1} h + { binom {n} {2}} x ^ {n-2} h ^ {2} + ... + { binom {n} {n}} h ^ {n} -x ^ {n} right ]}$

${ displaystyle = lim _ {h to 0} left [{ binom {n} {1}} x ^ {n-1} + { binom {n} {2}} x ^ {n-2 } ч + ... + { binom {n} {n}} h ^ {n-1} right]}$

${ displaystyle = nx ^ {n-1}}$

Обобщение на отрицательные целые показатели

Для отрицательного целого числа п, позволять ${ displaystyle n = -m}$ так что м положительное целое число. взаимное правило, ${ displaystyle { frac {d} {dx}} x ^ {n} = { frac {d} {dx}} left ({ frac {1} {x ^ {m}}} right) = { frac {- { frac {d} {dx}} x ^ {m}} {(x ^ {m}) ^ {2}}} = - { frac {mx ^ {m-1}} { x ^ {2m}}} = - mx ^ {- m-1} = nx ^ {n-1}.}$

В заключение, для любого ненулевого целого числа ${ displaystyle n}$, ${ displaystyle { frac {d} {dx}} x ^ {n} = nx ^ {n-1}.}$

Обобщение на рациональные показатели

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

Индивидуальное обобщение

1. Пусть ${ displaystyle y = x ^ { frac {1} {n}} = x ^ {m}}$, где ${ Displaystyle п в mathbb {N}}$

потом ${ Displaystyle у ^ {п} = х}$

Посредством Правило цепи, мы получаем ${ displaystyle ny ^ {n-1} cdot { frac {dy} {dx}} = 1}$

Таким образом, ${ displaystyle { frac {dy} {dx}} = { frac {1} {ny ^ {n-1}}} = { frac {1} {n left (x ^ { frac {1}) {n}} right) ^ {n-1}}} = { frac {1} {n}} x ^ {{ frac {1} {n}} - 1} = mx ^ {m-1} }$

2. Пусть ${ displaystyle y = x ^ { frac {n} {m}} = x ^ {p}}$, где ${ displaystyle m, n in mathbb {N}}$ , так что ${ displaystyle p in mathbb {Q} ^ {+}}$

Посредством Правило цепи, ${ displaystyle { frac {dy} {dx}} = { frac {d} {dx}} left (x ^ { frac {1} {m}} right) ^ {n} = n left (x ^ { frac {1} {m}} right) ^ {n-1} cdot { frac {1} {m}} x ^ {{ frac {1} {m}} - 1} = { frac {n} {m}} x ^ {{ frac {n} {m}} - 1} = px ^ {p-1}}$

3. Пусть ${ Displaystyle у = х ^ {q}}$, где ${ displaystyle q = -p}$ и ${ displaystyle p in mathbb {Q} ^ {+}}$

Используя Правило цепи и взаимное правило, у нас есть ${ displaystyle { frac {dy} {dx}} = { frac {d} {dx}} left ({ frac {1} {x}} right) ^ {p} = p left ({ frac {1} {x}} right) ^ {p-1} cdot left (- { frac {1} {x ^ {2}}} right) = - px ^ {- p-1 } = qx ^ {q-1}}$

Из приведенных выше результатов можно сделать вывод, что когда р это рациональное число, ${ displaystyle { frac {d} {dx}} x ^ {r} = rx ^ {r-1}.}$

Доказательство неявное дифференцирование

Более прямое обобщение правила мощности на рациональные показатели использует неявное дифференцирование.

Позволять ${ Displaystyle у = х ^ {г} = х ^ {p / q}}$, где ${ displaystyle p, q in mathbb {Z}}$ так что ${ displaystyle r in mathbb {Q}}$.

Потом,

${ Displaystyle у ^ {д} = х ^ {р}}$

${ displaystyle qy ^ {q-1} { frac {dy} {dx}} = px ^ {p-1}}$

Решение для ${ displaystyle dy / dx}$,

${ displaystyle { frac {dy} {dx}} = { frac {px ^ {p-1}} {qy ^ {q-1}}}.}$

поскольку ${ Displaystyle у = х ^ {р / д}}$,

${ displaystyle { frac {d} {dx}} x ^ {p / q} = { frac {px ^ {p-1}} {qx ^ {p-p / q}}}.}$

Применяя законы экспонентов,

${ displaystyle { frac {d} {dx}} x ^ {p / q} = { frac {p} {q}} x ^ {p-1} x ^ {- p + p / q} = { frac {p} {q}} x ^ {p / q-1}.}$

Таким образом, позволяя ${ Displaystyle г = р / д}$, можно сделать вывод, что ${ displaystyle { frac {d} {dx}} x ^ {r} = rx ^ {r-1}}$ когда ${ displaystyle r}$ - рациональное число.

История

Правило степени для интегралов впервые было продемонстрировано в геометрической форме итальянским математиком Бонавентура Кавальери в начале 17 века для всех положительных целых значений ${ displaystyle { displaystyle n}}$, а в середине 17 века математики для всех рациональных сил Пьер де Ферма, Евангелиста Торричелли, Жиль де Роберваль, Джон Уоллис, и Блез Паскаль, каждый работает независимо. В то время это были трактаты по определению площади между графиком рациональной степенной функции и горизонтальной осью. Однако, оглядываясь назад, она считается первой открытой общей теоремой исчисления.^[4] Правило мощности для дифференциации было получено Исаак Ньютон и Готфрид Вильгельм Лейбниц, каждый независимо, для рациональных степенных функций в середине 17-го века, которые затем использовали его, чтобы вывести степенное правило для интегралов как обратную операцию. Это отражает традиционный способ представления связанных теорем в современных учебниках по основам исчисления, где правила дифференцирования обычно предшествуют правилам интегрирования.^[5]

Хотя оба мужчины заявили, что их правила, продемонстрированные только для рациональных величин, работают для всех реальных степеней, ни один из них не искал доказательства такового, поскольку в то время приложения теории не были связаны с такими экзотическими степенными функциями, а вопросы сходимости бесконечные серии по-прежнему были неоднозначными.

Уникальный случай ${ displaystyle r = -1}$ было решено фламандским иезуитом и математиком Грегуар де Сент-Винсент и его ученик Альфонс Антонио де Сараса в середине 17 века, который показал, что связанный с ним определенный интеграл,

${ displaystyle int _ {1} ^ {x} { frac {1} {t}} , dt}$

представляющий область между прямоугольными гиперболами ${ displaystyle xy = 1}$ а ось абсцисс была логарифмической функцией, основание которой в конечном итоге было обнаружено как трансцендентное число е. Современное обозначение значения этого определенного интеграла: ${ Displaystyle ln (х)}$, натуральный логарифм.

Обобщения

Сложные силовые функции

Если рассматривать функции вида ${ Displaystyle е (г) = г ^ {с}}$ где ${ displaystyle c}$ - любое комплексное число и ${ displaystyle z}$ комплексное число в комплексной плоскости щели, исключающее точка разветвления 0 и любое связанное с ним сечение ветвей, и мы используем обычное многозначное определение ${ Displaystyle г ^ {с}: = ехр (с пер г)}$, то несложно показать, что на каждой ветви комплексного логарифма тот же аргумент, который использовался выше, дает аналогичный результат: ${ displaystyle f '(z) = { frac {c} {z}} exp (с ln z)}$.^[6]

Кроме того, если ${ displaystyle c}$ является положительным целым числом, то в разрезе ветви нет необходимости: можно определить ${ displaystyle f (0) = 0}$, или определить положительные целые комплексные степени посредством комплексного умножения и показать, что ${ displaystyle f '(z) = cz ^ {c-1}}$ для всего комплекса ${ displaystyle z}$, из определения производной и биномиальной теоремы.

Однако из-за многозначного характера сложных степенных функций для нецелочисленных показателей необходимо соблюдать осторожность при указании ветви используемого комплексного логарифма. Кроме того, независимо от того, какая ветка используется, если ${ displaystyle c}$ не является положительным целым числом, то функция не дифференцируема в 0.

использованная литература

• Ларсон, Рон; Хостетлер, Роберт П .; и Эдвардс, Брюс Х. (2003). Исчисление одной переменной: ранние трансцендентные функции (3-е издание). Компания Houghton Mifflin. ISBN  0-618-22307-X.