11 Неопределенный интеграл и первообразная.
Ошибка.
Попробуйте повторить позже
Найти какую-нибудь одну первообразную для функции
на
При наша функция равна
и все первообразные в области
будут иметь вид
Далее, в области наша функция равна
и поэтому все первообразные в области
будут иметь вид
Однако первообразная должна быть дифференцируема на всём в частности, непрерывна на всём
Поэтому в нуле предел слева функции
то есть
должен быть равен пределу
справа функции
то есть
То есть, мы получаем условие:
Можно взять, например, и тогда первообразная будет иметь вид
Осталось определить значение функции в нуле. Ну понятно, что чтобы функция была непрерывной, то значение в нуле должно быть равно левому и правому пределам в нуле, оба этих предела у нас получились равны 4, поэтому итого получаем, что функция
Будет одной из первообразных для функции на всем
Ошибка.
Попробуйте повторить позже
Найти
Пусть теперь . Тогда
. Тогда
. Тогда:
Ошибка.
Попробуйте повторить позже
Найти неопределенный интеграл на каком-нибудь интервале при помощи интегрирования по частям
Будем пользоваться формулой интегрирования по частям: Считаем, что ,
,
.
Последний же интеграл - табличный (после разбиения на сумму двух интегралов). Окончательно имеем:
Ошибка.
Попробуйте повторить позже
Вычислить
Это интеграл типа где
Здесь
В таком случае
рекомендуется делать замену
а затем воспользоваться основным тригонометрическим
тождеством для того, чтобы избавиться от синусов. Проделаем это.
Пусть Тогда
А также
Таким образом,
имеем:
Ошибка.
Попробуйте повторить позже
Вычислить
Это интеграл типа где
Здесь
В таком случае, поскольку
- нечётно, то рекомендуется делать замену
Тогда
Тогда
Таким образом,
Ошибка.
Попробуйте повторить позже
Вычислить
В таком случае рекомендуется делать замену Тогда
Тогда
имеем:
Далее,
где
Далее:
Сделаем замену Тогда
Имеем:
где И после подстановки и тригонометрических упрощений должно получиться:
Ошибка.
Попробуйте повторить позже
Вычислить
Если мы преобразуем подынтегральное выражение как то станет ясно, что
мы имеем дело не с чем иным, как с дифференциальным биномом при
И,
поскольку
- целое, то применяют замену
Тогда
И, таким образом, мы имеем
Далее, так как
то
Ошибка.
Попробуйте повторить позже
Вычислить
Поделим почленно числитель на знаменатель и воспользуемся табличным интегралом
:
|
Ошибка.
Попробуйте повторить позже
Вычислить
Сделаем замену . Тогда
. Тогда
Ошибка.
Попробуйте повторить позже
Вычислить
После замены ,
, имеем:
|
Делая обратную замену, получаем ответ
Ошибка.
Попробуйте повторить позже
Вычислить
После замены ,
, интеграл принимает вид
|
Делая обратную замену, получаем ответ
Ошибка.
Попробуйте повторить позже
Найти неопределённый интеграл
Если мы преобразуем подынтегральное выражение как то станет ясно, что мы имеем
дело не с чем иным, как с дифференциальным биномом
при
И
поскольку
- целое, то применяют замену
где
знаменатель после
сокращения дроби
.
Тогда после взятия дифференциала от обеих частей
Для замены подынтегральную функцию можно преобразовать так:
В итоге получаем, что интеграл из условия равен
После обратной замены
Ошибка.
Попробуйте повторить позже
Вычислить ():
Для начала преобразуем подынтегральное выражение:
Теперь сделаем замену ,
. Подынтегральная функция имеет
смысл при
, поэтому можно считать, что
, при этом
и
.
|
Поскольку , переходя к обратной замене окончательно
имеем:
Ошибка.
Попробуйте повторить позже
Вычислить при помощи разложения подынтегральной функции на простейшие дроби:
Поскольку степень многочлена в числителе больше, чем в знаменателе, то прежде чем раскладывать на
простейшие, разделим с остатком многочлен на
. Это делается стандартным
алгоритмом - делением
уголком
.
В результате получим:
И, таким образом,
Поэтому нам нужно найти первообразную для правильной дроби . Для этого нам сначала
нужно эту дробь разложить в сумму простейших дробей.
Как и положено по алгоритму, чтобы получить разложение на простейшие, нужно сначала
разложить знаменатель на множители так, чтобы дальнейшее разложение было
невозможно (либо на линейные множители, либо на квадратичные, не имеющие в
корней).
Это разложение имеет вид:
Где, как мы видим, квадратичный множитель уже дальше не раскладывается, поскольку в
корней не имеет.
Таким образом, будем искать разложение для нашей исходной дроби в виде:
Приведём к общему знаменателю справа:
Следовательно, раз равны знаменатели, то можем приравнять и числители, и получить следующую
систему линейных уравнений на и
:
Но прежде чем решать систему, заметим, что если в равенство
подставить , то получится, что
. Тогда
,
. Следовательно,
имеем:
А значит
Ошибка.
Попробуйте повторить позже
Вычислить при помощи разложения подынтегральной функции на простейшие дроби:
Дробь - правильная, т.е. степень многочлена в числителе меньше степени в знаменателе,
поэтому можно её разложить в сумму простейших дробей. Прежде чем раскладывать её на простейшие,
необходимо максимально разложить её знаменатель. Итак,
И дальнейшее разложение невозможно, поскольку мы уже разложили в произведение множителей
первой степени в каких-то степенях.
Согласно алгоритму разложения на простейшие, искать это разложение нужно в виде
Далее, приводим дробь справа к общему знаменателю, и имеем:
Тогда, раз у нас равны знаменатели, можем приравнять и числители:
Прежде чем выписывать систему уравнений на , давайте попробуем в последнее
равенство поподставлять какие-то иксы:
Например, при имеем:
, следовательно,
.
При имеем
, следовательно,
.
При имеем
, следовательно,
.
Число найдём, приравнивая коэффициенты при
(в левой части равенства он, очевидно, равен
0):
, следовательно,
.
Таким образом, имеем разложение:
И, таким образом,
Ошибка.
Попробуйте повторить позже
Вычислить при помощи метода Остроградского:
Как мы видим, у знаменателя куча кратных корней - корень 1 кратности 2 и корень кратности
3. Это более чем явный повод для того, чтобы воспользоваться методом Остроградского.
Итак, если знаменатель , то мы должны разложить его на
,
где
имеет в точности те же корни, что
, но кратности 1.
Таким образом, ,
.
Тогда, по методу Остроградского:
Где у многочленов и
степень строго меньше, чем у знаменателей тех дробей, в которых
они стоят.
Таким образом, с неопределенными коэффициентами последнее равенство записывается
как:
Продифференцируем это равенство с неопределенными коэффициентами, и получим:
Приводим справа к общему знаменателю:
Заметим, что на справа можно сократить:
Ну а теперь, раз равны знаменатели, то можно приравнять и числители:
Откуда, приравнивая коэффициенты перед одинаковыми степенями икса, получаем такую систему
уравнений на :
Слегка упростим систему:
Откуда получаем:
Таким образом, имеем:
Ошибка.
Попробуйте повторить позже
Вычислить, применяя нужную замену для интеграла, содержащего радикал:
Сделаем замену , то есть
. Тогда
и мы имеем:
И мы свели интеграл от рациональной функции от корня от к интегралу от рациональной
функции от
. Поделим числитель на знаменатель:
Ошибка.
Попробуйте повторить позже
Вычислить, применяя нужную замену для интеграла, содержащего радикал:
Давайте преобразуем подынтегральную функцию к более удобному виду:
Тогда ясно, что нужно сделать замену . Откуда
,
,
.
Таким образом, будем иметь:
Ошибка.
Попробуйте повторить позже
Привести пример функции, не имеющей первообразной на интервале .
Например, это функция, заданная формулой
Действительно, она не имеет первообразной на . Давайте докажем это от противного.
Пусть существует такая (потенциальная первообразная), что для любого
выполнено
Таким образом, ясно, что при функция
равна
для какой-то константы
. А
при
функция
равна
для какой-то константы
. То есть мы получаем,
что
Но, поскольку мы хотим, чтобы для любого выполнено
То это означает, что должна быть дифференцируема в каждой точке интервала
. А,
значит, и непрерывна в каждой точке точке интервала
, поскольку из дифференцируемости в
точке вытекает непрерывность в точке.
Но тогда, в частности, это означает, что должна быть непрерывна в точке
.
То есть, во-первых, должен существовать
А, во-вторых, он должен быть равен .
Итак, раз должен существовать
То это означает, что должны существовать оба односторонних предела
И они должны быть равны между собой. Однако
Следовательно,
Откуда мы получаем, что , а, значит,
. Допустим,
(это никак не ограничивает общность) и тогда получается, что
Таким образом, получаем:
Но что же получается? А получается, что задается формулой
Но такая , разумеется, не будет дифференцируемой в точке
.
(Это доказывается аналогично тому, что функция - недифференцируема в точке
).
Получили противоречие с тем, что должна быть всюду дифференцируема на интервале
.
Отметим, что наш произвол в выборе констант и
ни на что существенно не
повлиял, поскольку при другом выборе этих констант функция
просто
сдвинулась бы вдоль оси
, но принципиально в рассуждениях ничего бы не
изменилось.
Ошибка.
Попробуйте повторить позже
Сделаем сразу замену: .
Тогда , поэтому
Но
а потому:
Пусть теперь . Тогда
,
и поэтому:
Этот последний интеграл уже табличный:
Осталось лишь вернуться к исходной переменной :