Наближене обчислення визначених інтегралів, що не беруться через елементарні
функції
Зміст
Вступ.
Формули прямокутників і трапеції. p>
Параболічне інтерполювання. p>
дроблення проміжку. p>
Залишковий член формули прямокутників. p>
Залишковий член формули трапеції. p>
Залишковий член формули Сімпсона. p>
Додаток 1. p>
Додаток 2. p>
Висновки. p>
Література. p>
Вступ.
Багато задач науки і техніки приводять до проблеми обчислення інтегралів, але не всі інтеграли піддаються обчисленню. В даній роботі разглядається питання наближеного обчислення визначених інтегралів, що не беруться через елементарні функції. Зокрема, виводяться формули наближеного обчислення прямокутників, формула трапецій а також формула Сімпсона. P>
Формули прямокутників і трапеції. p>
Нехай треба обчислити значення визначеного інтегралу , де є деяка завдання на проміжку Неперервна функція. Існує багато прикладів обчислення подібних інтегралів, або за допомогою первістної, якщо вона виражається в скінченному вигляді, або ж - оминаючи первістну - за допомогою різних прийомів, як правило, штучних. Потрібно відмітити, однак, що всім цим вичерпується вузький клас інтегралів; за його межами зазвичай вдаються до різних методів наближеного обчислення. p>
В даній роботі можна ознайомитися з основними із цих методів, в яких наближені формули для інтегралів складаються по деякому числу значень підінтегральної функції, обчислених для ряду (зазвичай рівновіддаленіх) значень незалежної змінної. p>
Перші формули, які сюди відносяться, простіші всього отримуються із геометричних міркувань. Вітлумачуючі визначений інтеграл як площу деякої фігури, яка обмежена кривою , ми і ставимо перед собою задачу знаходження цієї площі. p>
Перш за все, вдруге використовуючі ту думку, яка привела нас до самого поняття про визначеному інтегралі, можна розбити усю фігуру (мал. 1) на смуги, скажемо однієї і тієї ж ширини , а потім кожну смугу наближена замінити прямокутник, за висоту якого прийнята будь-яка із його ординат. Це приводі нас до формули p>
, p>
де . Тут шукала площа криволінійної фігури замінюється площею деякої ступенчатої фігури, яка складається із прямокутників (або ж, можна сказати, що визначений інтеграл замінюється інтегральною сумою). Ця наближена формула і називається формулою прямокутників. P>
На практиці зазвичай беруть якщо відповідну середню ординаті позначити через , то формула перепише у вигляді p>
. (1) p>
Надалі, кажучи про формулу прямокутників, ми будемо мати на увазі якраз цю формулу. p>
Геометричні міркування природньо приводять і до другої, часто вікорістовуваємій
наближеній формулі. Замінивши дану криву вписаною в неї ламаною, з вершинами
у точках , де
. Тоді наша кріволінійна фігура
замініться іншою, яка складається із ряду трапецій (ріс2.). Якщо, як і раніш
рахувати, що проміжок розбитою
на рівні частини, то площі цих трапецій будуть p>
. p>
Мал. 2 p>
додаючи, прийдемо до нової наближеної формули p>
. (2) p>
Це так звана формула трапецій. p>
Можна показати, що при зростанні до нескінченності похибка формули прямокутників і формули трапецій нескінченно зменьшується. Таким чином, при достатньо великому обидві ці формули відтворюють шукань значення з довільним рівнем точності. p>
Параболічне інтерполювання. p>
Для наближеного обчислення інтеграла можна спробувати замінити функцію «
близьким »
до неї многочленів p>
(3) p>
і покласти p>
p>
Можна сказати, що тут - при обрахуванні площі - дана «
крива »
замінюється на «
параболу - го порядку »
(3), в зв '
язку з чим цем процес отримав назву параболічного інтерполювання. p>
Сам вибір інтерполюючуго многочлена частіше всього виконують наступним чином. У проміжку беруть значень незалежної змінної і підбирають многочлен так, щоб при усіх взятих значеннях його значення співпадало зі значенням функції . Цією умовою, як ми знаємо, многочлен визначається однозначно, і його вираз дається інтерполяціонною формулою Лагранжа: p>
p>
При інтерполюванні виходить лінійний, відносно значень
вираз, коефіцієнти якого вже не залежать від цих значень. Вирахували коефіціенти
раз і назавжди, можна їх використовувати для будь-якої функції
в даному проміжку . p>
У найпростішому випадку, при , функція < img src = "http://localhost/uploads/posts/2009-10/1255890209_Nablizhene_obchislennya_viznachenih_ntegral_v_sho_ne_berut_sya_cherez_elementarn_funkc_Ukr_21.gif" alt = "" width = "41" height = "29" /> просто замінюється сталою , де - будь-яка точка у проміжку , скажемо, середня: . Тоді наближена p>
(4) p>
геометрично - площа криволінійної фігури замінюється тут площадью прямокутника з висотою, яка рівна середній її ордінаті. p>
При функція замінюється лінійною функцією , яка має однакові з нею значення при і . Якщо взяти , , то p>
(5) p>
і, як легко обчислити, p>
p>
Таким чином, тут ми наближена вважаємо p>
p>
На цей раз площа криволінійної фігури замінюється площею трапеції: замість кривої береться хорда, яка зполучає її кінці. p>
Менш трівіальній результат отримаємо взявши . Якщо покласти , , , то інтерполяційній многочлен буде мати вигляд p>
(7) p>
За допомогою легкого обчислення вираховуємо p>
p>
і, аналогічно p>
, p>
. p>
Таким чином, приходимо до наближеної формули p>
. p>
Тут площа фігури під даною кривою замінюється площею фігури, яка обмежена звичайною параболою (з вертикально віссю), що проходить через крайні і середню точки кривої. p>
Збільшуя степінь інтерполяційного многочлена, тобто проводячи параболу (3) через все більше число даної кривої, можна розраховувати отримати більшу точність. Але більш практичним виявляється інший шлях, якій грунтується на поєднанні ідеї параболічного інтерполювання із ідеєю дроблення. p>
дроблення проміжку. p>
При обчисленні інтегралу можна зроботі так. Розіб '
ємо спочатку проміжок на деяке число, , рівних проміжків p>
, p>
в зв '
язку з чим, шуканий інтеграл постане у вигляді суми p>
(9) p>
Тепер же до кожного із цих проміжків застосуємо параболічне інтерполювання, тобто станемо обчислювати інтеграли (9) по одній із наближених формул - (4), (6), (8). p>
Легко збагнути, що виходячи із формул (4) або (6), ми таким шляхом знов отримаємо вже відомі нам формули прямокутників і трапецій, (1) і (2). p>
застосуємо тепер до інтегралів (9) формулу (8), при цьому для стіслості положімо, як і вище, p>
, , . p>
Ми отримаємо p>
, p>
, p>
. . . . . . . . . . . . . . . . . . . . . . . . . . p>
. p>
Зрештою, додаючи почленно ці рівності, прийдемо до формули p>
(10) p>
Вона носить назву формули Сімпсона (Th. Simpson); цією формулою користуються для наближеного обчислення інтегралів частіші, аніж формулами прямокутник і трапецій, бо вона - при тих же затратах - дає зазвичай більш точний результат. p>
Залишковий член формули прямокутників. p>
Почнемо з формули (4). Припустимо, що у проміжку функція має неперервні похідні перших двох порядків. Тогді, розклад (по формулі Тейлора) за ступенями двочлена аж до його квадрату, будемо мати для всіх значень < img src = "http://localhost/uploads/posts/2009-10/1255890211_Nablizhene_obchislennya_viznachenih_ntegral_v_sho_ne_berut_sya_cherez_elementarn_funkc_Ukr_31.gif" alt = "" width = "15" height = "14" /> у p>
, p>
де міститься між
та і залежить від . p>
Якщо проінтегруваті цю рівність у проміжку від до , то другий член зправа зникне, бо p >
(11) p>
Таким чином, отримаємо p>
, p>
так, що залишковий член формули (4), який поновлює її точність має вигляд p>
. p>
позначив через і , відповідно найменьших та найбільше значення неперервної функції у проміжку і коростуючісь тим, що другий множник підінтегрального виразу на змінює знака, за узагальненню теореми про середньо можемо написати p>
, p>
де міститься між точками і . По відомій властивості неперервної функції, знайдеться в така точка < img src = "http://localhost/uploads/posts/2009-10/1255890223_Nablizhene_obchislennya_viznachenih_ntegral_v_sho_ne_berut_sya_cherez_elementarn_funkc_Ukr_83.gif" alt = "" width = "21" height = "30" />, що , і остаточно p>
. (12) p>
Якщо зараз розділити проміжок на рівних частин, то для кожного часткового проміжку будемо мати точну формулу p>
p>
. p>
Додавнші ці рівності (при ) почленно отримаємо при звичайних скорочених позначення p>
, p>
де вираз p>
p>
і є залишковий член формули прямокутників (1). Так як вираз p>
p>
також знаходиться між і ,
то і він представляє одне із значень функції . p>
Тому остаточно маємо p>
(13). p>
При зростанні цей додатковий член спадає приблизно як . p>
Залишковий член формули трапеції. p>
займемося тепер формулою (6) при попередніх здогатках відносно функції . Скориставшись інтерполяційною формулою Лагранжа із залишковим членом можемо написати p>
. p>
Інтегруя цю формули від до , знайдемо p>
, p>
так що залишковий член формули (6) буде p>
. p>
Розмірковуючи, як і вище, і користуючись тим, що другий множник підінтегральної функції і тут не змінює знака, знайдемо p>
. p>
Нарешті, для випадку ділення проміжку на рівних частин p>
(14). p>
Таким є залишковий член формули трапецій (2). При зростанні він також зменьшується приблизно як . Ми бачемо, що застосування формули трапецій приводить до похибки того ж порядку, що і для формули прямокутників. p>
Залишковий член формули Сімпсона. p>
Звернемося, нарешті до формули (8). Можна було б, аналогічно тому, як це було зроблено тількі що, знов скористатись формулою Лагранжа з залишковим членом і покласти p>
(15). p>
Але ми стикаємося тут з таким станом речей, а саме, проінтегрувавші рівність (15), ми не змогли б спростити інтегральний вираз для додаткового члену за допомогою теореми про середньо, бо вираз у підінтегральній функції вже змінює знак на проміжку . Тому ми зробимо інакше. p>
Вираз p>
, p>
яким би не було число , в точках
, ,
приймає одні і тіж значення, що і функція .
Легко підібрати число так, щоб
і похідна цього виразу при співпадала
з похідною . Таким чином, при цьому
значенні ми маємо не що інше, як
інтерполяційній многчлен Ерміта, який відповідаї простим вузла ,
і дворазового вузлу .
Скориставшись формулою Ерміта з залишковим членом - в пропушенні існування для
функції похідних до четвертого
порядку включно - отримаємо: p>
. p>
Тепер проінтегрувавші цю равність від до ; ми знайдемо, що p>
p>
p>
так як p>
. p>
Якщо припустити похідну неперервною, то, як і в попередніх випадках, залишковий член формули (8) p>
, p>
користуючись тим, що другий множник в підінтергальному виразі не змінює знака,
можна підставити в такому вигляді: p>
p>
. p>
Якщо проміжок розділити на рівних частин, то - для формули Сімпсона (10) - отримаємо залишковий член у вигляді p>
(16). p>
При зростанні цей вираз зменьшується приблизно як < img src = "http://localhost/uploads/posts/2009-10/1255890230_Nablizhene_obchislennya_viznachenih_ntegral_v_sho_ne_berut_sya_cherez_elementarn_funkc_Ukr_124.gif" alt = "" width = "26" height = "49" />; таким чином, формула Сімпсона дійсно більш вигідна, ніж попередні дві формули. p>
Додаток 1.
Текст программи для автоматичного обчислення інтегралів на мові програмування QBASIC: p>
'Тут описуються сталі p>
e = 2.718281828459045 # p>
pi = 3.141592653589793 # p>
'Тут задається від під інтегральної функції p>
DEF fny # (x #) = e ^
x # ^
2 p>
DEF fncoef # (i #) = (i # MOD 2) * 2 + 2 p>
DEF fnxi # (i #) = a # + i # * h # p>
DEF fnxis # (i #) = a # + i # * h #/2 p>
DEF fnxic # (i #) = a # + i # * h # + h #/2 p>
DEF fnxir # (i #) = a # + i # * h # + h #/2 p>
CLS p>
'Тут вводяться межі інтегрування та p>
'кількість проміжків p>
INPUT "Введіть нижню межу інтегрування" a # p>
INPUT "Введіть верхню межу інтегрування" b # p>
INPUT "Введіть кількість проміжків" n # p>
'Тут обчислюється крок p>
h # = (b # - a #)/n # p>
'Тут обчислюється наближене значення p>
'інтеграла за методом Сімпсона p>
integ # = 0 p>
FOR i # = 1 TO ((2 * n #) - 1) p>
integ # = integ # + fncoef # (i #) * fny # (fnxis # (i #)) p>
NEXT p>
integ # = integ # + fny # (a #) + fny # (b #) p>
integ # = integ # * (h #/6) p>
PRINT "Simpson ="; integ # p>
'Тут обчислюється наближене значення p>
'інтеграла за методом трапецій p>
integ # = 0 p>
FOR i # = 1 TO (n # - 1) p>
integ # = integ # + fny # (fnxi # (i #)) p>
NEXT p>
integ # = integ # + (fny # (a #) + fny # (b #))/2 p>
integ # = integ # * h # p>
PRINT "
Trapeze = "
; Integ # p>
'Тут обчислюється наближене значення p>
'інтеграла за методом лівих прямокутників p>
integ # = 0 p>
FOR i # = 0 TO (n # - 1) p>
integ # = integ # + fny # (fnxi # (i #)) p>
NEXT p>
integ # = integ # * h # p>
PRINT "L Rectangle ="; integ # p>
'Тут обчислюється наближене значення p>
'інтеграла за методом центральних прямокутників p>
integ # = 0 p>
FOR i # = 0 TO n # p>
integ # = integ # + fny # (fnxic # (i #)) p>
NEXT p>
integ # = integ # * h # p>
PRINT "C Rectangle ="; integ # p>
'Тут обчислюється наближене значення p>
'інтеграла за методом правих прямокутників p>
integ # = 0 p>
FOR i # = 1 TO n # p>
integ # = integ # + fny # (fnxir # (i #)) p>
NEXT p>
integ # = integ # * h # p>
PRINT "R Rectangle ="; integ # p>
Додаток 2.
Далі подані результати роботи програми, яка викладена в додатку 1. p>
p>
1) в межах від 0 до < img src = "http://localhost/uploads/posts/2009-10/1255890231_Nablizhene_obchislennya_viznachenih_ntegral_v_sho_ne_berut_sya_cherez_elementarn_funkc_Ukr_126.gif" alt = "" width = "15" height = "15" /> p>
n = 1000 p>
Метод Сімпсона-8.742278155181581D-08 p>
Метод трапецій-8.742270585611512D-08 p>
Метод лівих прямокутників 3.141505318306509D-03 p>
Метод центральних прямокутників-3.14167628761223D-03 p>
Метод правих прямокутників-6.283265152840917D-03 p>
p>
2) в межах від 0 до < img src = "http://localhost/uploads/posts/2009-10/1255890231_Nablizhene_obchislennya_viznachenih_ntegral_v_sho_ne_berut_sya_cherez_elementarn_funkc_Ukr_128.gif" alt = "" width = "15" height = "15" /> p>
n = 1000 p>
Метод Сімпсона 2.000000000000067 p>
Метод трапецій 1.999998355065565 p>
Метод лівих прямокутників 1.999998355202888 p>
Метод центральних прямокутників 1.999995887392223 p>
Метод правих прямокутників 1.999990952591778 p>
3) в межах від 0 до 1 p>
n = 1
n = 10
n = 100
n = 1000
n = 10000
М-д Сімпсона
, 33333333333
, 3333333333333
, 3333333333333
, 3333333333
, 3333333333333
М-д трапецій
, 5
, 335
, 33335
, 3333334999999
, 3333333349999
М-д лів. прямокутників
0
, 2850000000000001
, 32835
, 3328334999999
, 3332833349999
М-д центр. прямокутників
2,5
, 44275
, 34342525
, 33433425025
, 3334333425002 p>
М-д правих прсмокутніків
2,25
, 4425000000000001
, 3434249999999
, 33433425 p>
, 3334333424999 p>
4) в межах від 0 до 1 p>
n = 1000 p>
Метод Сімпсона .7468241385662959 p>
Метод трапецій.7468240772530558 p>
Метод лівих прямокутніків.7471401375268841 p>
Метод центральних прямокутніків.7471916808878213 p>
Метод правих прямокутніків.7461916811378212 p>
5) в межах від 0 до < img src = "http://localhost/uploads/posts/2009-10/1255890231_Nablizhene_obchislennya_viznachenih_ntegral_v_sho_ne_berut_sya_cherez_elementarn_funkc_Ukr_128.gif" alt = "" width = "15" height = "15" /> p>
n = 1000 p>
Метод Сімпсона .8323745796964475 p>
Метод трапецій.8323723082182791 p>
Метод лівих прямокутніків.8325874590746988 p>
Метод центральних прямокутніків.8319367429487694 p>
Метод правих прямокутніків.8319318081462942 p>
Висновки.
У данній роботі було розглянуто методи наближених обчислень визначених інтегралів, були віведіні формули обчислень, формули додаткових членів. Результати, які наведені в додатку 2 наочно показують, що найбільш вигідним є використання формули Сімпсона. P>
Література.
b> Пискунов Н. С. Диференціальне та інтегральне числення для Втузов. Т. 1 М.: 1968.
Воробьева Г. Н., Данилова А. Н. Практикум з чисельних методам. М.: 1979.
Математичний практикум. М.: 1960.