Приближенное вычисление определенных интегралов (работа 2)

Приближенное вычисление определенных интегралов

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

_>>

1. Формула трапеций.

Пусть требуется вычислить интеграл _> >, где f(x) - непрерывная функция. Для простоты рассуждений ограничимся случаем, когда f(x)³0. Разобьем отрезок [a, b] на n отрезков точками a=x_>0><x_>1><x_>2><...<x_>k-1><x_>k><...<x_>n>=b и с помощью прямых х=х_>k >построим n прямолинейных трапеций (эти трапеции заштрихованы на рис. 1). Сумма площадей трапеций приближенно равна площади криволинейной трапеции, т.е.

Где f(x_>k-1>) и f(x_>k>) - соответственно основания трапеций; x_>k >- x_>k-1> = (b-a)/n - их высоты.

Таким образом, получена приближенная формула

_>>

которая и называется формулой трапеций. Эта формула тем точнее, чем больше n.

Рассмотрим в качестве примера интеграл _> > . Точное значение этого интеграла находится просто:

_>>

Вычислим теперь по формуле трапеций его приближенное значение. Пусть n=5. Тогда имеем: a=x_>0>=0, x_>1>=0,2, x_>2>=0,4, x_>3>=0,6, x_>4>=0,8, x_>5>=1=b и соответственно f(x_>0>)=0, f(x_>1>)=0,04, f(x_>2>)=0,16, f(x_>3>)=0,36, f(x_>4>)=0,64, f(x_>5>)=1. Следовательно,

_>>

Точное значение интеграла равно 0,3333...., поэтому абсолютная ошибка меньше 0,007. Во многих технических задач эта точность достаточна.

Если увеличить число n, то точность будет большей. Так, например, при n=10

_>>

т.е. абсолютная ошибка меньше 0,002.

В более полных курсах высшей математики доказывается, что если функция f(x) имеет на [a, b] непрерывную вторую производную, то абсолютная величина погрешности формулы трапеций не больше, чем

_> >

где k -наибольшее значение _> > на отрезке [a, b].

Следует отметить, что с увеличением n увеличивается не только точность вычисления определенного интеграла, но и объем вычислительной работы. Однако здесь на помощь приходят ЭВМ.

Вычислим по формуле трапеции интеграл _> > при n=10. Разобьем отрезок [0, 1] на 10 равных частей точками х_>0>=0, х_>1>=0,1, ..., х_>9>=0,9, х_>10>=1. Вычислим приближенно значения функции f(x)=_>> в этих точках: f(0)=1,0000, f(0,1)=0.9091, f(0,2)=0,8333, f(0,3)=0.7692, f(0,4)=0,7143, f(0,5)=0,6667, f(0,6)=0,6250, f(0,7)=0,5882, f(0,8)= 0,5556, f(0,9)=0,5263, f(1)=0,5000.

_>>

По формуле трапеций получаем

Оценим погрешность полученного результата. Так как f(x)=1/(1+x), то _> > На отрезке [0, 1] имеем _> >. Поэтому погрешность полученного результата не превосходит величины

_>>

Вычислим точное значение данного интеграла по формуле Ньютона-Лейбница:

_>>

Абсолютная ошибка результата, полученного по формуле трапеций, меньше 0,0007. Это находится в соответствии с данной выше оценкой погрешности.

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

Формула парабол.

Докажем предварительно две леммы.

Лемма 1.1. Через любые три точки М_>1 >(х_>1>; у_>1>), М_>2 >(х_>2>; у_>2>), М_>3 >(х_>3>; у_>3>) с различными абсциссами можно провести единственную кривую вида

у=Ах²+Вх+С (1)

Доказательство. Подставляя в уравнение параболы (1) координаты точек М_>1> , М_>2 >, М_>3 >, получаем систему трех уравнений первой степени с тремя неизвестными А, В, С:

_>>

Так как числа х_>1>, х_>2>, х_>3> различны, то определитель этой системы отличен от нуля:

_>>

Следовательно, данная система имеет единственное решение, т.е. коэффициенты А, В, С определяются однозначно. g

Отметим, что если А¹0, то кривая (1) является параболой, если А=0, то прямой.

Лемма 1.2. Площадь s криволинейной трапеции, ограниченной кривой у=Ах²+Вх+С, проходящей через точки М_>1>_> >(-h; y_>1>), M_>2 >(0, y_>2>), M_>3> (h, y_>3>) (рис. 2) выражается формулой

_>> (2)

Доказательство. Подставляя в уравнение у=Ах²+Вх+С координаты точек М_>1>, М_>2>, М_>3>, получаем у_>1>=Аh²-Вh+С; у_>2>=С; у_>3>=Аh²+Вh+С, откуда следует, что

2Аh²+2С=у_>1>+у_>3>; С=у_>2 >(3)

Учитывая соотношение (3), имеем

_>>

Рассмотрим снова криволинейную трапецию, ограниченную произвольной кривой y=f(x). Разобьем отрезок [a, b] на 2p равных отрезков точками a=x_>0><x_>1><x_>2><...<x_>2k><x_>2k+1><x_>2k+2><...<x_>2n-1><x_>2n>=b, а кривую y=f(x) с помощью прямых x=x_>k>_> >на 2n соответствующих частей точками М_>0> , М_>1 >, М_>2 >, ..., М_>2>_>k> , М_>2k+1> , М_>2k+2>, ..., М_>2n-2> , М_>2n-1> , М_>2n >(рис. 3).

Через каждую тройку точек

М_>0> М_>1 >М_>2 >, ..., М_>2>_>k> М_>2k+1> М_>2k+2>, ..., М_>2n-2> М_>2n-1> М_>2n >

проведем кривую вида у=Ах²+Вх+С (см. лемму 1.1). В результате получим n криволинейных трапеций, ограниченных сверху параболами или прямыми (эти трапеции заштрихованы на рис. 3). Так как площадь частичной криволинейной трапеции, соответствующей отрезку [x_>2k>, x_>2k+2>], приближенно равна площади соответствующей “параболической” трапеции, то по формуле (2) имеем [в данном случае h=(b-a)/(2n)]

_>>

где y_>k>=f(x_>k>), k=0, 1, 2, ...,2n. Складывая почленно эти приближенные равенства, получаем приближенную формулу

_>>

или в развернутом виде

_>>

Эта формула называется формулой парабол или формулой Симпсона.

В формуле параболы значение функции f(x) в нечетных точках разбиения х_>1>, х_>3>, ..., х_>2>_>n>_>-1> имеет коэффициент 4, в четных точках х_>2>, х_>4>, ..., х_>2>_>n>_>-2 >- коэффициент 2 и в двух граничных точках х_>0>=а, х_>1>, х_>2>_>n>_> >=b - коэффициент 1.

Геометрический смысл формулы Симпсона очевиден: площадь криволинейной трапеции под графиком функции f(x) на отрезке [a, b] приближенно заменяется суммой площадей фигур, лежащих под параболами (прямыми).

В полных курсах высшей математики доказывается, что если функция f(x) имеет на [a, b] непрерывную производную четвертого порядка, то абсолютная величина погрешности формулы Симпсона не больше чем

_>>

где М - наибольшее значение _> > на отрезке [a, b]. Выше отмечалось, что погрешность формулы трапеций оценивается числом

_>>

Так как n⁴ растет быстрее, чем n², то погрешность формулы Симпсона с ростом n уменьшается значительно быстрее, чем погрешность формулы трапеций. Этим и объясняется, что формула Симпсона позволяет получить большую точность, чем формула трапеций.

Для сравнения точности приближенных формул вычислим еще раз интеграл

_>>, но теперь по формуле Симпсона при n=4. Разобьем отрезок [0, 1] на четыре равные части точками х_>0>=0, х_>1>=1/4, х_>2>=1/2, х_>3>=3/4, х_>4>=1 и вычислим приближенно значения функции f(x)=1/(1+x) в этих точках у_>0>=1,0000, у_>1>=0,8000, у_>2>=0,6667, у_>3>=0,5714, у_>4>=0,5000.

По формуле Симпсона получаем

_> >

Оценим погрешность полученного результата. Для подынтегральной функции f(x)=1/(1+x) имеем: f⁽⁴⁾(x)=24/(1+x)⁵ , откуда следует, что на отрезке [0, 1] _> >. Следовательно, можно взять М=24, и погрешность результата не превосходит величины 24/(2880× 4⁴),0б0004. Сравнивая приближенное значение с точным, заключаем, что абсолютная ошибка результата, полученного по формуле Симпсона, меньше 0,00011. Это находится в соответствии с данной выше оценкой погрешности и, кроме того, свидетельствует, что формула Симпсона значительно точнее формулы трапеций. Поэтому формулу Симпсона для приближенного вычисления определенных интегралов используют чаще, чем формулу трапеций.

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

Вычислим, например, интеграл _> > по формуле Симпсона с точностью до 0,001.

Чтобы выбрать необходимое для получения заданной точности число 2n, найдем f⁽⁴⁾(x). Последовательно дифференцируя функцию f(x)=_>> , получаем

f⁽⁴⁾(x)=4_>>(4х⁴-12х²+3)

Так как на отрезке [0, 1] _> >£1, ½4х⁴-12х²+3½£5, то _> >. Следовательно, можно взять М=20. Используя формулу оценки погрешности, имеем 20/2880n⁴<1/1000, откуда n⁴ >1000/144. Для того чтобы выполнялось это неравенство, достаточно взять n=2, т.е. 2n=4.

Разобьем теперь отрезок [0, 1] на четыре равные части точками х_>0>=0, х_>1>=1/4, х_>2>=1/2, х_>3>=3/4, х_>4>=1 и вычислим приближенно значения функции f(x)=_>> в этих точках у_>0>=1,0000, у_>1>=0,9394, у_>2>=0,7788, у_>3>=0,5698, у_>4>=0,3679. Применяя формулу Симпсона, получаем

_>>

Таким образом, _> >с точностью до 0,001. Итак, разбив отрезок [0, 1] всего на четыре равные части и заменив рассматриваемый интеграл суммой, стоящей в правой части формулы Симпсона, мы вычислили данный интеграл с необходимой точностью.

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