Ильин_ Позняк - Основы математичемкого анализа. Часть 1 (1111798), страница 50
Текст из файла (страница 50)
Г! р и м е р. Найти разложение дроби (7.52) (и — 1)х(х — 2) 8 8 ПРОВЛЕМЛ ИН"1'ЕГРИ!'ОВЛНИ)1 РЛЦИОНЛЛЬНОЙ ДРОБИ 225 Согласно сеореме .5 пиппзы х-|-1 А| 42 Аз = — + — + — ' йх — 1)я:(х — 2) х — 1 х х — 2 Для отыскания А! вычеркиваем в выражении (7.52) скобку (х— — 1) и в остави|смея выражении берем х = 1. Получим А| = — 2. Аналогично находим Ао = 1))2., Аз = 3))2.
Окончательно пол» чим т+1 — 2 1 3 17.53) (х — 1).сбс — 2):с — 1 2х 21х — 2) й 8. Проблема интегрирования рациональной дроби ибо х' — х' + 1 .л, з х | + т|! + 2хз — 2х' — 2х + 1 З . 2 — 2тз — 2хз — 4т, :г. — 2х , 2 остаток 1 + 4х Инте1.1п|роват! а|но|о |лен мы Ьъп)ез| (навозив|а|, что неопределенный интеграл от многочлена представляет собой некоторый многочлен сгепени. на единицу более высокой). Остается научиты:я интегрировать с)риис|льнув) рациональную дробь. В силу теоремы 7.5 проблема интегрирования правильной рш|иональной дроби сводится к инте| рированию простейших дрооей след)1)ои)псх четпырех ггппши: — П.
~ „, П1.,8~ )+ й, 11т. х — Ь ' 1х — Ь )" ' (ст -~- рз! Ч- н) ' (хз -|- рс + Ч)» (7.54) 8 В.Л. Иньнн, Ь).11 Позняк. часть 1 Теперь мы подготовлены к тому, чтобы в общем виде решить проблему инт||грирования рациональной дроби с вещественными кочффициентами. Прежде всего, отметим, что нта проблема сводится к проблеме интегрирования |вольно правильной рациональной дроби, ибо всякую неправильную рациональную дробь можно (посредством деления числителя на знаменатель сстолбиком))) пред! тавить в виде суммы алгебраического ыногочлена неправильной рационаи|ьной дроби. П р и м е р.
з' — х + ( 2 2 ) .стих+2 х)Ч-;сЧ-2 226 интег!'1и'Овлние В элеые1ГГАРных Финкш1ях Гл. 7 Здесь (1 — -- 2,3,...: Л = 2,3,...; В, М, й(., 5, р и 11 некоторые вещественные числа, причем трехчлен хе+ рх+ д не имеет Р Вещественных ко(пгей, т. е. (( — — ) О. 4 Докажем, что каждая из 1етырех указанных дробей иптегрируема в элеьн1нтарпых функииях. Дроби вида 1 и П элементарно интегрируются при помощи подстановки 2 = .г, — Ь.
Мы получим в ~ ~ ~ ~~ ~ ~ ~ ~~ ~ ~ ~ ~~ ~ с ~ ~ ~ ~ | ~ ~ | 7 ~ ~ ~ ~ и ~ ~1 | г 1 11х =  — = В 1п ф + С = В 1п ~х — 5! + С. (7.55) (Т | (х-Ь)В ",1 1в (3-1)1 (6-1) (':-Ь) (7. 56) Для вычис:и;ния интеграла от дробя вида П1 представим квад- 42 ратный трех 1лен в виде (х +рх+ д) = (х 4- -| + 111 — — 1 и, '2 1, 4 / учитывая„что д — — ) О, введем в рассм1отрение вещесгвенну1о Р' 4 постоянну2о и, = + и — —. Одела~ подстановк1 1 —;г+ —, пулем 4 ' " 2' иметь ЛХР | г ~ т ~ ~ ~ ~ ~ | ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ г ~~ ~ (х~ -1- Рх -1- д) / Р -Ь а~ ,~Х | 21 с(1 / ЛХРЛ | 44 = 2 /1+аг (~ 2 )/ Р+» О = — 1п(1 + а ) -1- ' агс(и — + С = 11 2 2 21у — Мр 2 2а ~п Р Т+— = — 1п(х2+Рх+д)+ ' Р агс(у, +С.
( .5 ) 2 Остается вылив тить интеграл от дроби вида 1Ъ'. Используя вве- Р Р деннью выпи: обозначения 1 = х + —, а. = )| 11 — —, получим )/ Г дх = (х' жри+ 2)4 1 (гг -1-а'")4 2 / ф 1.а..)» (,' 2 / / (1'-'.ьа~)л' ! 8 е!е'Овина!А 1И!!'НРРНЕ'Овяния РАЦНОняльеЕОЙ ДЕгови 227 Интересуюший ннс интеграл будет вычислен, если будут вычис- лен! ! нпгс!!рады /' д! / (!2 Ь и!)г ' с)(! -!- о ) Х ~ ~~ г г (г~ + аг)~ Интеграл Х берется элементарно: (А Ц (!а + ое)г — ! (Л 1) (ге + рг+ с1)г — ! Интеграл Хсл вычислен нами в примере 6 в конце 3 2 гл. 6. Там мы получили для этого интеграла рекуррентную формулу (6.12), позволяюпгую последовательно вычислить Х! ! для любо- го Л = 2, 3,..., опираясь на то, что Х!'! — — /, ', = — асс!а — + С.
д! / '+.' Итак, нами вычислены интегралы от всех четырех простейших дробей (7.54) и доказагю, что каждьш пз этих интегралов представляет собой элемесгенирную функци!о ). Тем самым мы приходим к следу!ошей теореме, ис п.рпывающей проблему интстрированпя рациональной дроби. Теорема 7.6. Вслкил риционильнил дробь ингнсграруепюл о эламенгггаргсмл функцгглг. В заключение этого параграфа мы остановимся на примерах вычисления неопределенных интегралов от рациональных дробей.
Вычислим неопределенные интегралы от грех дробей, рассмотренных в предыдугпем параграфе (7.49)., (7л50) и (7.53). Пользуясь указанными тремя формулами, а также формулами (7.55), (7,56) и (7.57), будем иметь: 2 ! +4г +я+2 с сг. = (г — 1)а(га +:г+ 1) дг+,, дл+ 2 /' 3 /" снг г — 1 " / (.г — 1)в ' / .г'-Ья+ 1 3 2 2ят1 = 21п(.т — Ц вЂ” — + — агс:!и ' + С. :,— 1 3 ьгй Точнее, выражается через логарифм, арктангенс н рациональную функцию.
228 и!лтег!'!!РОВА!л!ле В из!ехле!и!Игных ФУ!лкшлу!х Гл. 7 3:г -1- 2х т Зх — 1 ах = (х — 2)(.га Л-1)а — Йх+ а + = 3 !лл)х — 2! + 2 агс!я т, + — ! 1 ! д(:се+1) 2 / (а -1- 1)а 1 = 3 1л! /х — 2! + 2 гпсйй х —, + С. 2(ха Л- Ц = — 2 1п /х — Ц + — 1п /х ! + — 1л! /х — 2! + С. 8 9. Метод Остроградского М.В. Остроградюлим !) предлолсен остроумный метод вл!деления рацио!лилънол1 чисти интеграла от правильной рац!лональной дроби Р(т)/СД(х).
Анализируя вид интегралов от гетырех простейпгих дробей (7.51), можно сделать <н!еду!ощие выводы: 1) Интегралы от дробей вида 1 и П1, знаменатели которых содержат двучлен ллли соответственно трехчлен в первой степени, явллиопюя ююрстцтлонилю!ыми функцнямл! (они равны логарифму или арктингенсу).
2) Интеграл от дроби вида 11, знаменатель которой содержит дву !лен в степен!л !3 ) 1, является, л!)овальной рациональной дробгло со знаменателем, ривныл! гг!ему з!се двучлену в спсепеин )л — 1. 3) Интеграл вида 1Ъ', подыитегральная функция которого содержит в знаменателе трехчлен в степени Л, в коне гном итоге 2) равен, сумме правильной рационилъной дробь со знимеллии!елем, рлвным тому глсе тирсхчлену в огне!!ени Л вЂ” 1, и г!р!!водящегося с!а; к врктиингенсу ни!негро,ли сопи! / (х' Л- р.г+ о) Выводы 1), 2).
3) позволяют заключить. чему равна рациональная ласть всего интеграла от правильной дроби Р(т))ь2(х))., которую мы, кроме того, будем считать несокрагиимойй Пусть знаменатель (,!(х) имеет вид я(х) = (з; — у! )в'... (т — бп,)1й" (гй+р!,с+у!)л' ... (хг+рнх+Чл)А", (7.58) ') й(илтиьа Васильевич Остроградский русский математик (1801. 1861). а) С учетом рекуррентной формулы (6.12), полученной в конце 6 2 гл. 6. 229 мктод оотщогглдокого 1в Тогда рациональная часть интеграла от правильной рациональной дроби Р(т)/С~(х) равна суззмез правильных рациональных дробей, знаменатели которых соответственно равны (х — бз)' ' ..... (:»: — (ззл)З' . (х +рзх+ 90) ' ( 2+, + )л„з 1'ациональная часть интеграла от д1зобззз Р(х)(Я(:з:) представляет собой, о зевидно, праззильнузо рацзлональную дробь Рз (х)Яз(х), знаменатель которой Сзз(х) имеет вид Яз(х) = (х — бз)з' з...
(т, — 1з„,)зз"' з(ха+ рзт+е1з)з' ... (х + р„х+ е1„)~" . (7.59) Поде зитасм теперь сумму тек простсйпщк дробей, интегралы от которых представляют собой нерациональные функции. И,'з выводов 1) и 3) ззытекает, что эта сумма равна правильной рациональной дроби Ря(х~)/Яв(т)), знаменатель Я (х) которой 1завен Яя(х) = (х — 5~ )... (х — Ь„,,)(х +р|х+дз)... (хя+р„х+д„), (7.60) Таким образом, мы приходим к следующей формуле, впервые гюлу генной М.В. Остроградским: у т х (') „т Л(') + Г з(х),т (7.61) Гй(х) Гзз(х) .У Г2з(х) В форнзуле Остроградского многочлены С~з (т) н СзЗ2(х) определяются формулаь!и (7.59) и (7.60) в могут быть вьгпзслсны беа разломи енил многонлезза С2(х) на ззроизеедение ззегзриеодззмьзх мнооюззпзелез1. В самоъз деле, в силу результатов з 4 (см.
формулу (7.25)), многочлен Яз(х) представляет собой назлболыпий общий делитель двух многочленов СЗ(х) и СзЗ'(х) и может быть вычислезз при помощи алгоритма евклида (см. 8 4). Много тлен СЗ2(х), в силу формул (7.58), (7.59) зз (7.60), представляет собой частное ®х)ззСзЗз(х) и может быть вычиелеп посредством деления Я(х) на СЗ~ (т) «столбикомь. Остается вычищпггь мнозо тлены Р~(х) и Ря(х). Поскольку ДРоби Рз(зг)Яз(аз) и Ря(х)Яз(х) ЯвлЯютсЯ пРаззпльными, много з;пззз Рз (:г) осте.огненно задать как азззого злен с ззззоп1зезделезззными кОэффш1ззентанззз степензз на единизЗу ниже, жм С2з(х), а Рв(х) .— как многочлен с неопределенными коэффициентами степени на единицу ниже.
чем Яя(х). 11ля вьгппления указаннык неопрсдс:и;нных коэффициентов следует продифференпировать формулу Остроградского (7.61), привести резу:п тат дифференцирования к общему знаменателю и сопоставить коэффищзенты п1ззз огзззнакОВьзх степнзях х В пзшзителях. 230 иллтвглли овлнив в элвмвнтлл'иых функциях гл. 7 Таким образом., метод Остроградского представляет собой остроумный прием интегрирования ралиональной дроби без ~нредварительного разложения этой дроби на сумму простейших.