118. Примеры.
1) Найдём при помощи формулы Лейбница (1) производную
Положим
Тогда
Таким образом, в формуле (1) все слагаемые, кроме трёх первых, равны нулю, и мы получаем:
2) Возвращаясь к примеру 7), 116, теперь мы можем получить общее выражение для
производной функции
непосредственно по формуле Лейбница:
3) Найдём выражение для
производной функции
Имеем, прежде всего,
к что, по формуле Лейбница,
Если теперь к вычислению последовательных производных от
применить формулы, полученные в 116, 2), то придем к результату
4) Требуется найти значения всех последовательных производных функции
при
Так как
то
Возьмем
производную от обеих частей
равенства (пользуясь формулой Лейбница):
ложим здесь
если значения производных при
отмечать значками
то получим:
При
производная
обращается в
. Из найденго соотношения ясно, что всегда
Что же касается производных четного порядка, то имеем для них рекуррентную формулу:
шимая во внимание, что
получаем отсюда:
Тот же результат можно было бы получить и из общей формулы примера 116.
5) То же - для функции
Указание. Формулу Лейбница применить к соотношению;
Ответ:
Этот результат из их выражений в 3) получается не столь просто.
6) Многочлены Лежандра. В заключение остановимся на важных многочленах, носящих имя Лежандра (А. М. Legendre). Они определяются равенствами
где постоянным коэффициентам
придаются те или иные значения в зависимости от соображений удобства.
Прежде всего убедимся в том, что многочлен
(степени
имеет
различных вещественных корней, которые все содержатся между -1 и
Для простоты положим пока
Легко видеть, что многочлен
и его
последовательных производных обращаются в нуль при
±1. Тогда первая ее производная, по теореме Ролля [111], будет иметь корень и между - 1 и
по той же теореме, вторая производная будет иметь два корня между -1 и +1, и т. д. вплоть до
производной, которая, помимо корней -1 и
будет между ними иметь еще
корней. Применив к ней еще раз теорему Ролля, придем к требуемому заключению.
Сохраняя коэффициенты
определим теперь значения многочлена
при
По формуле Лейбница, рассматривая степень
как произведение
на
можно написать:
Так как все слагаемые, начиная со второго, содержат множитель
и, следовательно, обращаются в 0 при
то очевидно:
Аналогично получаем:
Если в формуле, дающей общее определение многочлена Лежандра
положить в частности
то получится многочлен, который чаще всего встречается; его именно мы будем впредь всегда обозначать через
Он характеризуется тем, что в точках
принимает значения
С помощью формулы Лейбница легко установить далее, что многочлены Лежандра
удовлетворяют следующему соотношению:
которое играет важную роль в теории этих многочленов.
В самом деле, полагая
имеем
Возьмем теперь
производные от обеих частей последнего равенства; по формуле Лейбница,
Отсюда
и, по умножении на
получается доказываемое соотношение.