ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ
Государственное образовательное учреждение высшего профессионального образования
...
322 downloads
193 Views
705KB Size
Report
This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
Report copyright / DMCA form
ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ
Государственное образовательное учреждение высшего профессионального образования
«Пензенский государственный университет»
Н. Ф. Добрынина
КВАДРАТУРНЫЕ ФОРМУЛЫ Конспект лекций
Пенза Издательство Пензенского государственного университета 2007
УДК 517 Д56
Р е ц е н з е н т ы: Кафедра «Информатика и методика преподавания информатики» Пензенского государственного педагогического университета им. В. Г. Белинского Кандидат физико-математических наук, доцент, заведующий кафедрой «Алгебра» Пензенского государственного педагогического университета им. В. Г. Белинского А. А. Ловков
Д56
Добрынина, Н. Ф. Квадратурные формулы: конспект лекций / Н. Ф. Добрынина. – Пенза: Изд-во Пенз. гос. ун-та, 2007. – 100 с.: ил. – Библиогр.: с. 100. Рассматриваются квадратурные формулы для вычисления определенных интегралов в одномерном и двумерном случаях. Даны построение простейших квадратурных формул, интерполяционные квадратуры, квадратуры с наивысшей алгебраической степенью точности и квадратуры, содержащие наперед заданные узлы. Излагается проблема сходимости квадратурного процесса. В многомерном случае акцент делается на методе статистических испытаний. Конспект лекций подготовлен на кафедре «Высшая и прикладная математика» и предназначен для студентов специальности «Прикладная математика».
УДК 517 © Добрынина Н. Ф., 2007 © Издательство Пензенского университета, 2007
2
государственного
Лекции «Квадратурные формулы» посвящены методам приближенного вычисления определенных интегралов. В 1-й лекции строятся простейшие формулы для приближенного вычисления интегралов по отрезку. Эти формулы называются квадратурными. Изучается вопрос о повышении точности вычисления интегралов за счет разбиения отрезка на части, за счет повышения степени полиномов, для которых квадратуры точны, за счет сведения интегралов от функций с особенностями к интегралам от гладких функций. В лекциях 2–9 решаются вопросы оптимизации вычислений определенных интегралов. В лекциях 10–11 дается обобщение изученных квадратурных формул на определенные интегралы; изучаются формулы для приближенного вычисления, которые называются кубатурными.
3
Лекция1
Простейшие квадратурные формулы 1. Метод неопределенных коэффициентов Простейшие квадратурные формулы получим из следующих соображений. Вычисляется интеграл b
I = ∫ f ( x)dx .
(1)
a
Если f ( x) ≈ const на отрезке [a, b] , то можно положить I ≈ (b − a) f (ζ ) , где ζ – произвольная точка на [a, b] . Если в качестве ζ взять среднюю точку отрезка, то получим формулу прямоугольников ⎛a+b⎞ I ≈ (b − a) f ⎜ ⎟ . ⎝ 2 ⎠ Предположим, что подынтегральная функция на отрезке интегрирования близка к линейной функции; тогда интеграл будет приближенно равняться площади трапеции с высотой (b − a ) и основаниями f (a) и f (b) (рис. 1). В результате получим формулу трапеций I ≈ (b − a )
f ( a ) + f (b ) . 2
Рис. 1
4
Более сложные квадратурные формулы строятся методом неопределенных коэффициентов: 1
∫ f ( x)dx ≈ S ( f ) = c1 f (−1) + c2 f (0) + c3 f (1) .
−1
Погрешность формулы 1
R( f ) = ∫ f ( x) dx − S ( f ) −1
является линейным функционалом, и если подынтегральную функm
цию представить в виде многочлена f = ∑ a j x j , то имеем j =0
m
R( f ) = ∑ a j R( x j ). j =0
Нужно добиться выполнения равенств R(1) = 0,K , R ( x l ) = 0 при возможно большем значении l . Нужно определить три неизвестных постоянных ci (i = 1, 2, 3) , тогда получим систему уравнений
⎧ ⎪ R (1) = 2 − (c1 + c2 + c3 ) = 0, ⎪ ⎨ R ( x) = 0 − (−c1 + c3 ) = 0, ⎪ 2 2 ⎪ R( x ) = − (c1 + c3 ) = 0. 3 ⎩ 1 4 Решая эту систему, получаем c1 = c3 = , c2 = , т. е. получили 3 3 квадратурную формулу (квадратуру), точную для многочленов третьей степени, называемую формулой Симпсона. В вычислениях определенного интеграла мы перешли от отрезка [a, b] к отрезку [−1, 1] . Такой переход удобен тем, что арифметические выкладки при построении квадратурной формулы оказываются короче.
5
Подынтегральная функция часто приближается не многочленами, а обобщенными многочленами, т. е. линейными комбинациями вида m
∑ b j ϕ j ( x) ,
j =0
где ϕ j (x) – линейно независимые функции. Методом неопределенных коэффициентов строится квадратура. Когда подынтегральную функцию можно представить в виде произведения некоторой фиксированной функции p(x) и многочлена, то квадратурная формула находится в виде b
n
a
j =1
∫ F ( x) p( x)dx ≈ ∑ C j F ( x j ).
(2)
Функцию p (x) называют весом, или весовой функцией; квадратурная формула в этом случае точна для всех многочленов степени m .
2. Оценки погрешности квадратурной формулы Нужно вычислить интеграл (2) в разд. 1. Если квадратура точна для многочленов Pm (x) степени m , то R ( Pm ) = I ( Pm ) − S ( Pm ) = 0, поэтому
R( f ) = R( f − Pm ) + R( Pm ) = R( f − Pm ) при любом многочлене степени m . Оценив в R ( f ) каждое слагаемое, получим оценку b
n
a
j =1
R ( f ) ≤ ∫ f ( x) p ( x) dx + ∑ C j f ( x j ) ≤ V sup f ( x) , где b
n
a
j =1
V = ∫ p ( x) dx + ∑ C j .
6
[ a,b]
(1)
Очевидно, что погрешность квадратурной формулы оценивается R ( f ) ≤ R ( f − Pm ) ≤ V f − Pm C при любом Pm (x) , норма определяется по формуле
f − Pm C = sup f ( x) − Pm ( x) . [ a, b]
Возьмем нижнюю грань по всем многочленам степени m , получим оценку R ( f ) ≤ V inf f − Pm C . P
(2)
m
Условие, что квадратура точна для многочлена нулевой степени, имеет вид b
n
a
j =1
I (1) = ∫ p ( x)dx = S (1) = ∑ C j . При p( x) ≥ 0 и C j ≥ 0 имеем n
n
b
j =1
j =1
a
∑ C j = ∑ C j = ∫ p( x)dx,
b
поэтому V = 2 ∫ p( x) dx . По формуле (1) получаем оценку погрешноa
сти
⎛b ⎞ R ( f ) ≤ 2⎜ ∫ p ( x)dx ⎟ f − Pm C . ⎜ ⎟ ⎝a ⎠ Если в качестве Pm (x) взять интерполяционный многочлен по нулям многочлена Чебышева, то получим m +1
⎛b−a⎞ ⎜ ⎟ 2 ⎠ ⎝ f − Pm C ≤ f ( m +1) . m C 2 (m + 1)!
7
В конкретном случае для веса p ( x) ≡ 1 и формул прямоугольников, трапеций и Симпсона имеем V = 2(b − a) и R( f ) ≤
(b − a ) m + 2 2
2m
(m + 1)!
f ( m +1)
C
.
Для формул прямоугольников и трапеций ( m = 1 ) погрешность квадратурной формулы R( f ) ≤
(b − a ) 3 f ′′ C ; 8
для формулы Симпсона ( m = 3 ) (b − a) 5 ( 4) . f C 1536 Можно получить и более точные формулы оценки погрешности. Рассмотрим универсальный способ получения наиболее точных оценок. В качестве многочлена Pm ( x) возьмем сумму первых m + 1 членов разложения функции по формуле Тейлора в точке x0 отрезка [a, b] . Обозначим сумму – Pm (x) , остаточный член – rm (x) , тогда функция примет вид R( f ) ≤
f ( x) = Pm ( x) + rm ( x). Возьмем остаточный член в интегральной форме: ( x − t ) m ( m +1) f (t )dt . m! a x
rm ( x) = ∫
Подставим эту оценку в интеграл b ⎞ ⎛ x ( x − t ) m ( m +1) I (rm ( x)) = ∫ p( x)⎜ ∫ f (t )dt ⎟dx ⎟ ⎜ a ⎠ ⎝ a m!
и сменим порядок интегрирования. Получим
8
b
I (rm ( x)) = ∫ K m (t ) f ( m +1) (t )dt , a
где
b
K (t ) = ∫ p ( x) t
m
(x − t) dx. m!
Таким образом, оценка погрешности примет вид b
R( f ) = ∫ K m (t ) f
( m +1)
a
n
xj
j =1
a
(t )dt − ∑ C j ∫
(x j − t)m
f ( m +1) (t )dt.
m!
Образуем новую функцию ⎧ x j − t , t ∈ [a, x j ]; (x j − t)+ = ⎨ ⎩ 0, t ∉ [a, x j ]. Используя новое обозначение, получим погрешность в виде R( f ) =
b (v +1) (t )dt , ∫ f Q(t ) f
n
( x j − t ) +m
j =1
m!
Q(t ) = K m (t ) − ∑ C j
. (3)
Отсюда следует оценка погрешности ⎛b ⎞ (4) R ( f ) ≤ ⎜ ∫ Q(t )dt ⎟ f ( m +1) . ⎜ ⎟ C ⎝a ⎠ Если Q(t ) не меняет знака на отрезке [a, b] , то по теореме о среднем из формулы (3) получаем ⎛b ⎞ R(t ) = ⎜ ∫ Q(t ) dt ⎟ f ( m +1) (ζ ), a ≤ ζ ≤ b. ⎜ ⎟ ⎝a ⎠ Оценим погрешность формулы трапеций: b
∫ ( x − t )dt = t
Q (t ) =
(b − t ) 2 , 2
(b − t ) 2 (b − a ) − (b − t ) = (a − t )(b − t ) ≤ 0. 2 2
9
(5)
Подставляя Q(t ) в формулу (5), получим b
∫ Q(t )dt = −
a
(b − a) 3 (b − a) 3 , R( f ) = − f ′′(ζ1 ). 12 12
В случае формулы прямоугольников 2 (b − t ) 2 ⎛ a + b ⎞ (t − (a + b) / 2) − (b − a)⎜ − t⎟ = ≥ 0; 2 2 ⎝ 2 ⎠ подставляя Q(t ) в формулу (5), получим
Q(t ) =
R( f ) =
(b − a ) 3 f ′′(ζ 2 ). 24
Контрольные вопросы 1. Понятие квадратурной формулы. 2. Формула трапеций. 3. Погрешность квадратурной формулы. 4. Формула Симпсона. 5. Понятие оценки погрешности. 6. Оценки погрешности для формул прямоугольников, трапеций и Симпсона.
10
Лекция2
Числа и многочлены Бернулли 1. Числа Бернулли Многочлены и числа Бернулли потребуются для построения формул Эйлера – Маклорена и других формул, служащих для увеличения точности приближенных квадратур. Числа Бернулли могут быть определены с помощью производящей функции. Пусть t – комплексная переменная. Рассмотрим функцию g (t ) =
t
(1) . e −1 Точки t = 2kπi , где k – любое целое число, являются нулями знаменателя; все они простые. В круге t < 2π функция g (t ) регулярна и может быть разложена в степенной ряд по степеням t : t
B = ∑ n t n , t < 2π . n! e −1 t
t
(2)
Числа Bn называются числами Бернулли. ∞ tν , то поЕсли в формуле (2) обе части умножить на e t − 1 = ∑ ν −1 ν! лучится следующее равенство:
⎞ ∞ ⎛ t t2 t3 ⎜ + + + K ⎟ ∑ Bn t n = t . ⎟ n = 0 n! ⎜ 1! 2! 3! ⎠ ⎝ Из формулы видно, что B0 = 1 , и для n = 2, 3, … должно выполняться равенство
B0 Bn −1 B1 B2 + + +K + =0 n ! (n − 1)!1! (n − 2)!2! 1!(n − 1)! .
11
Это равенство позволяет последовательно вычислить все числа Бернулли. Ему можно придать более удобную форму, если умножить обе части на n! и прибавить в обеих частях Bn : n
n! Bk = Bn . k = 0 k!( n − k )!
∑
Можно проверить, что все числа Бернулли с нечетными индексами, большими единицы, равны нулю: B2k +1 = 0, k > 0. (3) Значения нескольких первых чисел Бернулли с четными индексами имеют вид 1 1 1 1 B0 = 1, B1 = − , B2 = , B4 = − , B6 = , 2 6 30 42 7 691 5 1 B8 = − , B10 = , B12 = − , B14 = . 6 2730 66 30 При вычислении чисел Бернулли четных номеров используется формула B2 k =
(−1) k −1 (2k )! 2 k −1 2 k
(1 + 2 − 2k + 3− 2k + 4 − 2k + K).
2 π При больших k справедливо приближенное равенство
(4)
B2k ≈ 2(−1) k −1 (2k )!(2π) −2k .
2. Многочлены Бернулли Определим многочлены Бернулли с помощью производящей функции t . g ( x, t ) = e xt (1) t e −1 Функция регулярна в круге t < 2π и может быть разложена в ряд по степеням t : ∞
Bn ( x) n t . n = 0 n!
g ( x, t ) = ∑
12
(2)
Функция Bn (x) является многочленом степени n и называется многочленом Бернулли. Получим формулу для многочлена Бернулли. x νt ν и дробь ν = 0 ν! ∞
Множитель e xt в формуле (1) заменим рядом ∑
t t
e −1
заменим по формуле (1.2). Тогда получим тождество ∞ B ( x) x ν t ν ∞ Bk k t = ∑ n t n , t < 2π. ∑ ν ! k ! n ! k =0 n=0 ν=0 ∞
∑
Сравнение коэффициентов при t n приводит к равенству
Bn ( x ) x n B0 B x n −1 B1 = + +K + n . n! n! ( n − 1)! 1! n! После умножения на n! получается выражение для Bn (x) : n
n! Bn − k x k . k = 0 k!( n − k )!
Bn ( x) = ∑
(3)
Формула (3) показывает, что многочлен Бернулли есть многочлен, старший член которого равен x n . Рассмотрим некоторые свойства многочленов Бернулли. 1. Начальные значения многочленов Бернулли при x = 0 соответствуют числам Бернулли: Bn (0) = Bn . Это видно из формулы (3). 2. Дифференцируемость и интегрируемость Bn (x) . Вычислим производную от производящей функции:
te xt
t t
e −1
∞
Bn′ ( x) n t . n = 0 n!
= ∑
13
(4)
Левая часть отличается от производящей функции только множителем t , поэтому ∞
t
te xt
Bn ( x ) n +1 t . n = 0 n!
= ∑
(5)
Bn′ ( x) = nBn −1 ( x).
(6)
t
e −1
Отсюда Правило интегрирования многочленов Бернулли следует из формул (5) и (6): x
Bn ( x) = Bn + n ∫ Bn −1 (t )dt.
(7)
0
3. Свойство преобразования аргумента многочлена Бернулли, следующее из теоремы об умножении аргумента. Пусть m – любое положительное число
e mxt
t t
∞
Bn (mx) n t . n! n =0
= ∑
e −1 С другой стороны, может быть получено разложение e mxt
t et − 1
m −1 e
1 = ∑ m s =0
(x+
=
1 mxt mt (1 + e t + K + e ( m −1)t ) = e m e mt − 1
s ) mt m mt
s B ( x + )m n 1 m −1 ∞ n m = tn. ∑ ∑ m s =0 n=0 n!
e mt − 1 Из двух последних разложений следует теорема об умножении аргумента: m −1
Bn (mx) = m n −1 ∑ Bn ( x + s =0
s ). m
(8)
4. Свойство неоднозначного представления многочлена Бернулли, вытекающее из теоремы о представлении многочленов Bn (x) .
14
Чтобы изучить поведение Bn (x) , нужно ввести новую переменную z = x(1 − x) . Всякий многочлен Bn (x) четного номера n = 2k может быть разложен по степеням z : k −2
(−1) k [ B2 k ( x) − B2k ] = ∑ Fk , ν z k − ν ,
(9)
ν=0
причем Fk ,0 = 1, и Fk , ν > 0 (ν = 1, 2, K , k − 2). Всякий многочлен Бернулли нечетного номера n = 2k − 1 может быть представлен в форме k −2
(−1) k B2k −1 ( x) = (1 − 2 x) ∑ H k , ν z k −1− ν ,
(10)
ν=0
где все коэффициенты H k , ν (ν = 0, 1, K , k − 2) положительные. 5. Свойство симметрии распределения значений Bn (x) . 1 на оси x . Точки x и 1 − x расположены 2 симметрично на единичном отрезке. Переменная z = x(1 − x) не изменит своего значения при замене x на 1 − x . Из этих рассуждений и формулы (9) следует, что B2k (1 − x) = B2k ( x). (11)
Рассмотрим точку x =
График многочлена B2k ( x) является линией, симметричной отно1 сительно прямой x = . 2 k −2
В формуле (10) множитель ∑ H k , ν z k −1− ν принимает одинакоν =0
вые значения в точках x и 1 − x . Множитель (1 − 2 x) при замене x на 1 − x сохраняет абсолютную величину, но изменяет знак:
B2k −1 (1 − x) = − B2 k −1 ( x).
(12)
График многочлена B2 k −1 ( x) имеет центр симметрии в точке 1 x= . 2 15
При x = 0 из (11) получается B2k (1) = B2k ; из (12) при k ≥ 2 следует B2k −1 (1) = − B2k −1 . Каждый многочлен Бернулли, кроме B1 ( x) , на концах отрезка [0,1] принимает одинаковые значения: Bn (1) = Bn (0) = Bn .
(13)
6. Характерное изменение многочленов Бернулли на отрезке [0, 1] . 1 Нам потребуются значения Bn ( ) , которые можно вычислить с 2 помощью теоремы об умножении аргумента. Если в формуле (8) по1 ложить m = 2 и x = , то получим 2 1 ⎡ ⎤ Bn (1) = 2 n −1 ⎢ Bn ( ) + Bn (1)⎥ . 2 ⎦ ⎣ Но так как Bn (1) = Bn (n > 1) , то при любом n 1 Bn ( ) = −(1 − 2 − n +1 ) Bn . (14) 2 Вместо многочленов Бернулли будем использовать более удобные для записи многочлены y n ( x) = Bn ( x) − Bn . Вычислим сначала многочлен четного номера n = 2k . По формуле (9) имеем k −2
(−1) k y 2k ( x) = ∑ Fk , ν z k − ν .
(15)
ν =0
Точки x = 0 и x = 1 являются нулями функции y k ( x) . Исследование функции (15) показывает, что при изменении x от 0 1 до многочлен (−1) k y 2k ( x) будет возрастать от 0 до 2 1 1 (−1) k y 2k ( ) = B2k ( ) − B2k = (2 − 2 − 2 k +1 ) B2k . Когда x изменяется 2 2 1 от до 1, функция убывает до 0. 2 16
Рассмотрим теперь многочлен y n ( x) нечетного номера n = 2k − 1 . Будем считать k ≥ 2 , тогда y 2k −1 ( x) = B2k −1 ( x) ⎫ ⎪ k −2 (16) (−1) k y 2k −1 ( x) = (1 − 2 x) ∑ H k , ν z k −1− ν .⎬ ⎪ ν =0 ⎭ Точки x = 0 и x = 1 являются нулями функции y 2k −1 ( x) . Из фор1 есть простой нуль y 2k −1 ( x) и других мулы (16) следует, что x = 2 нулей на отрезке [0,1] этот многочлен не имеет. Знак функции y 2k −1 ( x) определяется неравенствами (−1) k y 2k −1 ( x) > 0 при 0 < x <
1 , 2
1 < x < 1. 2 На рис. 1 изображены графики различных многочленов Бернулли.
(−1) y 2k −1 ( x) < 0 при
0,2
B1(x) 0,15
B3(x) 0,1
0,05
B5(x)
B2(x)
0 1
3
5
7
9
11 13 15 17 19 21 23 25 27 29 31 33 35 37 39 41 43 45 47 49 51
B6(x)
-0,05
B4(x) -0,1
-0,15
-0,2
Рис. 1
17
Приведем несколько первых многочленов Бернулли в аналитической форме
B0 ( x) = 1; 1 B1 ( x) = x − ; 2
1 B2 ( x) = x 2 − x + ; 6 3 1 B3 ( x) = x3 − x 2 + x; 2 2 1 ; 30 5 5 1 B5 ( x) = x 5 − x 4 + x 3 − x; 2 3 6 5 1 1 B6 ( x) = x 6 − 3 x 5 + x 4 − x 2 + ; 2 2 42 7 7 7 1 B7 ( x) = x 7 − x 6 + x 5 − x3 + x; 2 2 6 6 14 7 2 1 B8 ( x) = x8 − 4 x 7 + x 6 − x 4 + x 2 − ; 3 3 3 30 9 21 3 B9 ( x) = x9 − x8 + 6 x 7 − x 5 + 2 x3 − x; 2 5 10 15 3 5 B10 ( x) = x10 − 5 x 9 + x8 − 7 x 6 + 5 x 4 − x 2 + . 2 2 66 B4 ( x) = x 4 − 2 x 3 + x 2 −
3. Периодические функции, связанные с многочленами Бернулли Наряду с многочленами Бернулли можно ввести периодические функции Бернулли Bn* ( x) с периодом, равным 1, определенные по формулам
18
Bn* ( x) = Bn ( x) , 0 ≤ x < 1, Bn* ( x + 1) = Bn* ( x) , n = 0, 1, 2, …, тогда B0* ( x)
есть постоянная, равная 1; B1* ( x) − разрывная функ-
ция и имеет скачок величиной (–1) в целых точках; Bn* ( x) при n > 1 – непрерывная функция. Построим тригонометрические ряды Фурье для Bn* ( x) . С этой целью построим ряд Фурье для производящей функции g ( x, t ) = e xt
t t
e −1
при 0 ≤ x < 1 . Воспользуемся записью ряда в показательной форме ∞
g ( x) = ∑ C m e i 2πmx ; m = −∞
1 t 1 xt − i 2πmx t C m = ∫ ge − i 2πmx dx = dx = . ∫e e t t − i 2πm e −1 0 0
C0 = 1. Объединив члены ряда, соответствующие значениям индекса m и − m , получим: ∞ ⎡ t t ⎤ g ( x, t ) = 1 + ∑ ⎢ e i 2πmx + e − i 2πmx ⎥. t + i 2πm ⎦ m =1 ⎣ t − i 2πm
Можно показать, что для любых значений x на отрезке [0,1] ряд, стоящий в правой части равенства, будет сходиться при всяких t , отличных от i2kπ при k = 0,±1,K . При этом, если исключить из ряда несколько первых членов, имеющих полюсы в ограниченной части σ плоскости t , то оставшийся ряд будет сходиться равномерно относительно t в σ . Легко можно оправдать возможность изменения порядка суммирования при построении степенного ряда для функции g (x) .
19
Если считать t < 2π и разложить правую часть по степеням t , n
∞ ⎛ t ⎞ t t 1 =− =−∑ ⎜ ⎟ , t − i 2πm i 2πm 1 − t n =1⎝ i 2πm ⎠ i 2πm
n
∞ t ⎛ t ⎞ = ∑ (−1) n −1 ⎜ ⎟ , t + i 2πm n −1 ⎝ i 2πm ⎠
B ( x) то коэффициентом при t n будет тригонометрический ряд для n . n! ∞ ∞ ⎡ ( −1) n −1 ⎤ 1 g ( x, t ) = 1 + ∑ ∑ ⎢ t n e − i 2πmx − t n e i 2 πmx ⎥ = n (i 2πm) n ⎥⎦ m =1 n =1 ⎢⎣ (i 2πm) ⎡ (−1) n −1 − i 2πmx 1 i 2πmx ⎤ − e e ⎥. n n mn n =1 (i 2π) m =1 ⎣⎢ m ⎦⎥ ∞
= 1+ ∑
tn
∞
∑⎢
Сравнивая коэффициенты при одинаковых степенях t для n > 1 , получим Bn* ( x) =
⎡ (−1) n − i 2πmx 1 i 2 πmx ⎤ − e e ⎥. mn ( 2πi ) n m =1 ⎢⎣ m n ⎥⎦ n!
∞
∑⎢
Для четных и нечетных индексов вычисления дают следующие результаты: * (−1) k −1 (2k )! B2k =
2
2 k −1 2 k
B2*k +1 ( x) =
π
∞
cos 2πmx
m =1
m 2k
∑
(−1) k −1 (2k + 1)! ∞ sin 2πmx 2 2k π 2k +1
∑
m =1
(1)
,
m 2k +1
.
(2)
4. Разложение произвольной функции по многочленам Бернулли При построении квадратурной формулы приближенного вычисления, определенного интеграла необходимо разложение подынтегральной функции по многочленам Бернулли. Рассмотрим теорему. 20
Теорема 1. Если функция f (x) ν -кратно непрерывно дифференцируема на отрезке [0,1] , то при любом x ∈ [0,1] имеет место равенство 1
ν −1 B ( x ) k
f ( x) = ∫ f (t ) dt + ∑
k =1
0
−
k!
[f
( k −1)
[
]
(1) − f ( k −1) (0) −
]
1 1 (ν ) f (t ) Bν* ( x − t ) − Bν* ( x) dt. ∫ ν! 0
(1)
Доказательство. Рассмотрим интеграл ρ ν ( x) =
1 1 (ν) f (t ) Bν* ( x − t ) dt. ∫ ν! 0
Считая ν > 1 , выполним интегрирование по частям:
[
]
B ( x) (ν −1) ρν = ν f (1) − f (ν −1) (0) + ρ ν −1. ν!
Если выполнить это преобразование ν − 1 раз, то получим формулу разложения (1). Разложение по многочленам Бернулли ν -кратно непрерывно дифференцируемой функции f (x) на произвольном конечном интервале [a, b] получается из формулы (1) с помощью линейного преобразования аргумента: ν −1 1b f ( x) = ∫ f (t )dt + ∑ ha k =1
−
⎛ x−a⎞ h k −1Bk ⎜ ⎟ ⎝ h ⎠ f ( k −1) (b) − f ( k −1) (a) − k!
[
h ν −1 b (ν ) ⎡ * ⎛ x − t ⎞ * ⎛ x − a ⎞⎤ f (t ) ⎢ Bν ⎜ ⎟ − Bν ⎜ ⎟⎥ dt , h = b − a. ∫ ν! a ⎝ h ⎠⎦ ⎣ ⎝ h ⎠
21
]
(2)
Контрольные вопросы 1. Производящая функция, необходимая для вычисления чисел Бернулли. Числа Бернулли и их свойства. 2. Производящая функция, необходимая для построения многочленов Бернулли. 3. Чему равны начальные значения многочленов Бернулли? 4. Дифференцирование и интегрирование многочленов Бернулли. 5. Теорема об умножении аргумента в многочлене Бернулли. 6. Симметрия распределения значений многочленов Бернулли. 7. Характер изменения многочленов Бернулли на отрезке [0, 1] . 8. Понятие периодических функций Бернулли. 9. Разложение произвольной функции по многочленам Бернулли.
22
Лекция3
Квадратурные формулы и задачи, связанные с ними 1. Квадратурные суммы Рассматривается задача нахождения численного значения однократного интеграла. Геометрический смысл вычисления определенного интеграла сводится к вычислению площади криволинейной трапеции, или квадратуры. Рассмотрим методы построения квадратур, которые позволяют приближенно вычислить интеграл с помощью конечного числа значений интегрируемой функции и производных от нее. Рассмотрим интеграл вида b
∫ p( x) f ( x)dx;
a
где [a, b] – любой конечный отрезок на числовой оси; f (x) – произвольная функция некоторого класса. Функция p(x) есть некоторая фиксированная функция. Простейшие квадратурные формулы, позволяющие приближенно находить значения интеграла, задаются в форме линейной комбинации нескольких значений функции b
n
a
k =1
∫ p( x) f ( x)dx ≈ ∑ Ak f ( xk ).
(1)
n
Сумма ∑ Ak f ( xk ) называется квадратурной суммой. Равенства k =1
вида (1) называются механическими квадратурами, поскольку им легко можно придать механический смысл, т. е. они содержат 2n + 1 параметров: n узлов xk , n коэффициентов Ak и число узлов n . Все эти параметры нужно подобрать так, чтобы формула (1) давала достаточно малую погрешность для всех функций f (x) из некоторого класса функций F . При построении квадратурной формулы нужно 23
стремиться к тому, чтобы при заданном n постараться выбрать узлы xk и веса Ak так, чтобы точность вычислений была наивысшей. Рассмотрим различные способы задания узлов и весов. 1. Допустим, что нам задан класс F функций f (x) . Рассмотрим систему функций ωm (x) (m = 1,2,K)
(2)
таких, что произведения p ( x)ωm ( x) суммируемы на [a, b] . Образуем линейную комбинацию n
s n ( x) = ∑ ak ωk ( x). k =1
b
При вычислении интеграла ∫ pfdx , за «расстояние» между функa
цией f и линейной комбинацией s n можно принять величину b
ρ( f , s n ) = ∫ p( f − s n ) dx.
(3)
a
Систему (3) будем считать полной в классе F . Это означает, что для каждой функции f ∈ F и любого ε > 0 существует такая линейная комбинация s n , для которой ρ( f , sn ) < ε . Оценим погрешность квадратурной формулы b
b
b
a
a
a
∫ pfdx − ∫ psn dz < ∫ p( f − sn ) dx = ρ( f , sn ). b
Из неравенства видно, что интеграл ∫ pfdx может быть вычислен a
со сколь угодно высокой точностью, если интегрируемую функцию заменить специально подобранной линейной комбинацией. Очевидно, что точность вычислений будет тем выше, чем большее число первых функций ωk будем брать при образовании s n . Таким образом, приходим к выводу, что нужно стремиться выбором xk и Ak 24
добиться того, чтобы формула (1) давала точный результат для возможно большего числа первых функций ωn ( x). В связи с этим вводится новое понятие: равенство (1) имеет степень точности m относительно функций (2), если оно верно для ω1 , ω2 ,K, ωm b
n
a
k =1
∫ pωi dx = ∑ Ak ωi ( xk ) (i = 1, 2, K, m)
и не верно для ωm +1 . Этот путь выбора xk и Ak есть путь повышения степени точности равенства (1). Особый интерес имеют формулы, которые обладают наивысшей возможной степенью точности. Если класс функций F задан, то при построении равенства (1) остается произвол в выборе системы функций ωn (n = 1, 2, K). Требование полноты, которому должна удовлетворять система, не полностью определяет систему и дает широкие возможности выбора ωn (x). Приведем примеры выбора ωn ( x). Пусть [a, b] есть любой конечный отрезок. Известно, что если функция f (x) непрерывна на отрезке [a, b] , то для всякого ε > 0 существует многочлен P (x) , отличающийся от f (x) меньше чем на ε : f ( x) − P( x) < ε. Это свойство называется свойством полноты алгебраических многочленов в пространстве непрерывных функций C . Отсюда следует полнота системы многочленов в смысле метрики (3). Примем систему степеней x : 1, x, x 2 , K за функции ωn (x). Будем считать, что равенство (1) имеет алгебраическую степень точности m , если оно верно для всевозможных многочленов степени m и не верно для многочленов степени m + 1 . Это равносильно тому, что равенство b
n
a
k −1
i i ∫ px dx = ∑ Ak xk
выполняется для i = 0,1,K , m и не будет выполняться для i = m + 1 . 25
Можно ожидать, что квадратурная формула (1) будет иметь тем меньшую погрешность для многих непрерывных на отрезке функций, чем выше будет ее алгебраическая степень точности. 2. Пусть задан класс F функций f . Постараемся построить квадратурную формулу (1) так, чтобы она была «наилучшей». Для каждой функции f погрешность формулы (1) имеет значение b
n
a
k =1
R ( f ) = ∫ pfdx − ∑ Ak f ( xk ) . За величину, характеризующую точность квадратурной формулы для всех функций f , может быть взята верхняя грань R ( f ) :
R = sup R ( f ) . f
Можно выбрать xk и Ak так, чтобы R имело наименьшее возможное значение для всех функций f ∈ F . Такую формулу будем называть формулой с наименьшей оценкой остатка в классе F . 3. Рассмотренные два направления в проблеме выбора узлов и весов не являются единственными. Можно строить квадратурные формулы, подчиняя выбор узлов и весов другим целям. Нужно сделать формулу (1) верной для функции, сохраняющей постоянное значение на [a, b] . Это можно достичь только за счет выбора коэффициентов Ak . Если потребовать, чтобы (1) была верной для f ≡ 1 , то получится следующее условие: n
b
k =1
a
∑ Ak = ∫ p( x)dx .
(4)
Предположим, что значения функции f , входящие в квадратурную сумму, находятся в результате измерений и содержат случайные погрешности. Допустим, что все f ( xk ) получены в результате измерений одинаковой точности. Значение квадратурной суммы также будет содержать случайную погрешность. Поставим следующую задачу: так выбрать коэффици-
26
n
енты Ak , чтобы квадратурная сумма ∑ Ak f ( xk ) при выполнении k =1
условия (4) имела наименьшую квадратичную погрешность. Известz1 ,K , z n линейной функции но, что если аргументы y = a1 z1 + K + an z n есть случайные величины, подчиняющиеся нормальным законам распределения с одной и той же квадратичной погрешностью, и если коэффициенты линейной функции подчинены n
условию ∑ ak = 1 , то средняя квадратичная погрешность суммы буk =1
дет иметь наименьшее значение в том случае, когда все коэффициенты равны между собой. Поэтому квадратурная формула с равными коэффициентами b
∫ p( x) f ( x)dx ≈ C[ f ( x1 ) + K + f ( xn )]
(5)
a
будет иметь наименьшую квадратичную погрешность.
2. Приближенное вычисление периодических функций Рассмотрим конечный отрезок интегрирования [a, b] , который всегда можно путем линейного преобразования привести к отрезку [0,2π] . Исследуем интеграл вида 2π
∫ f ( x)dx ,
(1)
0
где f (x) есть 2π -периодическая функция. Будем исследовать приближенные квадратурные формулы вида 2π
n
0
k =1
∫ f ( x) ≈ ∑ Ak f ( xk ).
(2)
Узлы xk принадлежат отрезку 0 ≤ x < 2π. Для приближения периодических функций используют тригонометрические многочлены: 27
m
Tm ( x) = a0 + ∑ (ak cos kx + bk sin kx),
(3)
k =1
где a0 , ak , bk (k = 1,K, m) – некоторые постоянные. Формула (2) имеет тригонометрическую степень точности m , если она верна для всевозможных тригонометрических многочленов до степени m включительно, и существует многочлен степени m + 1 , для которого она не верна. Составим функцию n
T ( x) = ∏ sin 2 k =1
x − xk . 2
x − xk 1 = [1 − cos( x − xk )] , то T (x) есть многочлен 2 2 степени n . Для него квадратурная формула (2) не может быть точТак как sin 2 2π
n
0
k =1
ной, так как ∫ T ( x)dx > 0 , тогда как ∑ Ak T ( xk ) = 0 . Это объясняется тем, что все узлы xk являются корнями многочлена T (x) . Тригонометрическая степень точности (2) всегда меньше n , и соответствующим выбором xk и Ak мы можем ее сделать самое большее равной n −1. Оказывается, что наивысшая степень точности n − 1 достигается простейшей квадратурной формулой с равными коэффициентами Ak =
2π n
(k = 1,2,K, n)
и равноотстоящими узлами. Рассмотрим на числовой оси любую сетку равноотстоящих точек 2π . Пусть α есть точка сетки, ближайшая к нулю спрас шагом h = n ва или совпадающая с нулем. Точки α + kh (k = 0, 1, K, n − 1) лежат на отрезке 0 ≤ x < 2π . Примем их за узлы xk и построим квадратурную формулу
28
2π
2π n
2π
∫ f ( x)dx ≈ n ∑ f (α + (k − 1) n ). k =1 0
(4)
Покажем, что она является точной для всевозможных тригонометрических многочленов до степени n − 1 включительно. Для этого достаточно показать, что равенство (4) точное для функций e imx (m = 0, 1, K, n − 1) . В случае m = 0 утверждение очевидно. При 1 ≤ m < n −1 2π
1
imx im 2 π − 1) = 0 ∫ e dx = im (e
0
и n
n
eimnh − 1
k =1
k =1
eimh − 1
∑ eim[α + (k −1)h] = eimα ∑ ei(k −1)mh = eimα
= eimα
eim2π − 1 eimh − 1
= 0,
что и доказывает утверждение.
3. Остаток квадратурной формулы и его представления Значение остатка квадратурной формулы b
n
a
k =1
R ( f ) = ∫ p( x) f ( x)dx − ∑ Ak f ( xk )
(1)
зависит от ее вида и от свойств интегрируемой функции. С помощью формулы (1) трудно проследить, какое влияние на остаток оказывают структурные свойства функции. Под структурными свойствами функции понимаются такие свойства, как ограниченность изменения, абсолютная непрерывность, выполнение условия Липшица, принадлежность к классу дифференцируемости. Чтобы упростить задачу исследования остатка R ( f ) , нужно построить другие представления остатка. Пусть рассматривается класс F функций, обладающий какимлибо структурным свойством. Можно построить квадратурную формулу, которая способна представить всякую функцию из класса F . Такую квадратурную формулу называют структурной формулой. 29
Рассмотрим структурную формулу и представление остатка в случае, если функция f (x) принадлежит классу C r [a, b] . Характерное представление функций этого класса дает формула Тейлора: x ( x − t ) r −1 f (i ) (α ) ( x − α) i + ∫ f ( r ) (t ) dt , (r − 1)! i! i =0 α где α – любая точка отрезка [a, b] . r −1
f ( x) = ∑
(2)
Интеграл с переменной границей удобно заменить на определенный интеграл по отрезку [a, b] . Для этого нужно ввести «гасящую» функцию, позволяющую уничтожить в определенном интеграле лишние участки интегрирования. Определим «гасящую» функцию равенствами ⎧ 1 , x > 0; ⎪ 1 E ( x) = ⎨ , x = 0; ⎪ 2 ⎩ 0, x < 0. Равенство (2) может быть записано в виде b f (i ) (α ) ( x − t ) r −1 ( x − α) i + ∫ f ( r ) (t ){E ( x − t ) − E (α − t )} dt. (3) i! (r − 1)! i =0 a r −1
f ( x) = ∑
Если за параметр α принять один из концов интервала интегрирования, например α = a , то формула (3) упростится: b f (i ) ( a ) ( x − t ) r −1 ( x − a) i + ∫ f ( r ) (t ) E ( x − t ) dt , r ≥ 1. (4) (r − 1)! i! i =0 a r −1
f ( x) = ∑
Получим представление остатка R( f ) , характерное для класса C r [a, b] . Для этого подставим формулу (3) в равенство (1): ⎡b f (i ) (α ) ( x − t ) r −1 ⎤ (5) R[( x − α ) i ] + R ⎢ ∫ f ( r ) (t ){E ( x − t ) − E (α − t )} dt ⎥. i! (r − 1)! ⎢⎣ a ⎥⎦ i =0 r −1
R( f ) = ∑
Будем считать, что в двукратном интеграле b
b
a
a
∫ p ( x) ∫ f
(r )
(t ){E ( x − t ) − E (α − t )}
30
( x − t ) r −1 dtdx, (r − 1)!
входящем в последний член правой части равенства (5), допустима перемена порядка интегрирования. Тогда остаток квадратуры примет форму b f (i ) (α ) R[( x − α) i ] + ∫ f ( r ) (t ) K (t ) dt , i! i =0 a где ядро остатка K (t ) имеет вид r −1
R( f ) = ∑
b
K (t ) = ∫ p ( x){E ( x − t ) − E (α − t )} a
(6)
( x − t ) r −1 dx − (r − 1)
n ( x − t ) r −1 . (7) – ∑ Ak {E ( xr − t ) − E (α − t )} k (r − 1)! k =1 Если считать t ≠ α и t ≠ xk (k = 1,K, n) , то для K (t ) можно получить следующие равенства: t ⎫ ( x − t ) r −1 ( x − t ) r −1 t < α, K (t ) = − ∫ p ( x) dx + ∑ Ak k ; ⎪ (r − 1)! (r − 1)! ⎪ xk α, K (t ) = ∫ p( x) dx − ∑ Ak . ⎪ ⎪ − r − ( r 1 )! ( 1 )! xk >t t ⎭ Аналогично может быть построено представление остатка для других классов функций.
Контрольные вопросы 1. Понятие квадратурной суммы. 2. Понятие степени точности квадратурной формулы. 3. Алгебраическая степень точности квадратурной формулы. 4. Наилучшая квадратурная формула. 5. Квадратурная формула с наименьшей оценкой остатка. 6. Особенности приближенного вычисления периодических функций. 7. Понятие тригонометрической степени точности. 8. Понятие остатка квадратуры. 9. Понятие структурной квадратурной формулы. 10. Представление остатка, характерное для класса C r [a, b] .
31
Лекция4
Интерполяционные квадратурные формулы 1. Общий вид интерполяционных квадратурных формул Для построения квадратурных сумм часто пользуются интерполированием подынтегральной функции. Во многих случаях построенные таким путем квадратурные формулы обладают хорошей точностью и удобны для применения. Выберем на отрезке интегрирования [a, b] n произвольных точек x1 , x2 ,K, xn и интерполируем функцию f по ее значениям в этих точках: f ( x) = P( x) + r ( x), (1) n
ω( x) f ( xk ), ω( x) = ( x − x1 )K ( x − xn ). k =1 ( x − xk )ω′( xk )
P( x) = ∑
(2)
Здесь r (x) – остаток интерполирования. Точное значение интеграла будет b
b
b
a
a
a
∫ p( x) f ( x)dx = ∫ p( x) P( x)dx + ∫ p( x)r ( x)dx.
Если интерполирование (1) было достаточно точным и остаток r (x) имел малые значения всюду на отрезке [a, b] , то вторым слагаемым можно пренебречь. После этого получится приближенное равенство b
n
a
k =1
∫ p( x) f ( x)dx ≈ ∑ Ar f ( xk ),
где
32
(3)
b
Ak = ∫ p( x) a
ω( x) dx. ( x − xk )ω′( xk )
(4)
Квадратурные формулы (3), коэффициенты которых определяются по формулам (4), называются интерполяционными. Для них справедлива теорема. Теорема 1. Для того, чтобы квадратурная формула (1) была интерполяционной, необходимо и достаточно, чтобы она была точной для всевозможных многочленов степени не выше n − 1 . Доказательство. Всякий многочлен P(x) степени ≤ n − 1 может быть представлен в форме n
ω( x) f ( xk ), ω( x) = ( x − x1 )K ( x − xn ). ( x − x k )ω′( xk ) k =1
P( x) = ∑
Если коэффициенты Ak имеют значения (4), то равенство (3) будет точным для P(x) . Требование, чтобы равенство (3) было точным для всех многочленов степени ≤ n − 1 , равносильно тому, что при всяких P ( xk ) должно выполняться равенство b
n
n
ω( x)
∫ p( x) ∑ ( x − x )ω′( x ) P( xk )dx = ∑ Ak P( xk ). k k k =1 k =1 a
Но тогда все коэффициенты Ak должны иметь значения, определяемые по формуле (4), и формула (3) будет интерполяционной. Из теоремы видно, что коэффициенты Ak квадратурной формулы определяются условием, чтобы формула давала точный результат всякий раз, когда f есть многочлен степени ≤ n − 1 . Узлы квадратурной формулы xk остаются произвольными и можно воспользоваться возможностью их выбора для достижения тех или иных целей. Для остатка интерполяционной квадратуры можно получить более глубокие результаты, чем приведенные в лекции 2. Остаток квадратурной формулы (3) равен интегралу от остатка разложения функции r (x)
33
b
b
a
a
R ( f ) = ∫ p ( x)r ( x)dx = ∫ p( x)ω( x) f ( x, x1 ,K, xn )dx .
(5)
В более развернутом виде выражение остатка квадратуры имеет вид t n−1 1 t1 b n ⎛ ⎞ R( f ) = ∫ p( x)ω( x) ∫ dt1 ∫ dt2 K ∫ dtn f (n) ⎜⎜ x + ∑ tν ( xν − xν −1 ) ⎟⎟dx, x0 = x. (6) ⎝ ν =1 ⎠ 0 0 0 a Если воспользоваться остатком интерполирования в форме Лаω( x) ( n) f (ξ), a < ξ < b , то остаток квадратуры можно гранжа r ( x) = n! представить в виде
R( f ) =
1b p ( x)ω( x) f ( n) (ξ) dx. ∫ n! a
(7)
Если функция и ее производные ограничены на отрезке [a, b] , т. е. если выполняются неравенства f ( n) ( x) ≤ M n ,
x ∈ [a, b],
(8)
R( f ) ≤ M n ∫ p (x )ω( x ) dx .
(9)
то оценка квадратуры принимает вид b
a
Если p ( x)ω( x) сохраняет знак на [a, b] , то оценка (9) является точной и улучшена быть не может. Более точная оценка остатка интерполяционной квадратуры для ограниченных функций имеет вид b
R( f ) ≤ M n ∫ K (t ) dt .
(10)
a
2. Формулы Ньютона – Котеса Среди интерполяционных формул наиболее широко известны формулы Ньютона – Котеса. Они относятся к случаю постоянного веса и конечного отрезка интегрирования. Рассмотрим интеграл
34
b
∫ f ( x)dx.
(1)
a
b−a . Построим n интерполяционную квадратурную формулу с узлами a, a + h, a + 2h,K, a + nh = b . Чтобы коэффициенты квадратуры не зависели от промежутка [a, b] , запишем формулу в виде Отрезок [a, b] разделим на n равных частей h =
b
n
a
k =0
n ∫ f ( x)dx = (b − a) ∑ Bk f (a + kh).
(2)
Величины Bkn = (b − a) −1 Ak будут иметь значения b
ω( x) dx, ′ − − ω + x a kh a kh ( ) ( ) a
Bkn = (b − a ) −1 ∫
где ω( x) = ( x − a)( x − a − h)K ( x − a − nh). Если ввести новую переменную t , положив x = a + th , то ω( x) = h n +1t (t − 1)(t − 2)K (t − n),
ω′(a + kh) = (−1)
x − a − kh = h(t − k ),
n−k n
h k!(n − k )!,
и таким образом, Bkn =
(−1) n − k n ∫ t (t − 1)K (t − k + 1)(t − k − 1)K (t − n)dt . nk!( n − k )! 0
(3)
Котесом были вычислены коэффициенты для n от 1 до 10. Анализ поведения коэффициентов Bkn при изменении номера k , начиная с n = 6 , показывает, что они «ведут себя неправильно», часть коэффициентов отрицательная. Поэтому нужно асимптотическое представление коэффициентов: при 1 ≤ k ≤ n − 1 Bkn =
( −1) k −1 n!
⎡ 1 (−1) n ⎤ ⎡ ⎛ 1 ⎞⎤ ⎢ + ⎥ ⎢1 + O⎜⎜ 2 ⎟⎟⎥, 2 k!(n − k )!n ln n ⎣⎢ k n − k ⎦⎥ ⎣ ⎝ ln n ⎠⎦
при k = 0, k = n
35
(4)
B0n = Bnn =
⎛ 1 ⎞⎤ 1 ⎡ ⎢1 + O⎜⎜ 2 ⎟⎟⎥. n ln n ⎣ ⎝ ln n ⎠⎦
(5)
Из полученных коэффициентов видно, что при больших значениях n в формуле Ньютона – Котеса будут встречаться как положительные, так и отрицательные коэффициенты, с большими значениями по абсолютной величине. Отсюда следует, что малые ошибки в вычислении значений функции f (a + kh) могут дать большую погрешность в квадратурной сумме. Поэтому формулы Ньютона – Котеса непригодны для вычислений при большом числе узлов. Найдем более простое и удобное для приложений выражение остатка для формул Ньютона – Котеса. По формуле (5) в лекции 1 имеем b
R ( f ) = ∫ ω( x) f ( x, a, h,K, a + nh)dx.
(6)
a
Рассмотрим случай, когда n – четное число и в квадратурной формуле берется нечетное число узлов. Многочлен ω( x) = ( x − a )( x − a − h)K ( x − a − nh) будет обладать свойством ω(a + z ) = −ω(a + nh − z ) , и график его будет симметричным относиx
тельно середины отрезка [a, b] . Введем функцию Ω( x) = ∫ ω(t )dt. Для a
нее справедливо Ω(a ) = 0, Ω(a + nh) = Ω(b) = 0. Покажем, что Ω(x) не обращается в нуль нигде внутри [a, b] . Для этого рассмотрим интегралы I ν =
a + (ν +1) h
∫ ω( x)dx . Утверждение будет доказано, если устано-
a + νh
вить, что последовательность чисел I 0 , I1 ,K , I n 2
лютной величине.
36
−1
убывает по абсо-
Если в интеграле I ν =
a + (ν +1) h
∫ ( x − a)( x − a − h)K( x − a − nh)dx заме-
a + νh
нить переменную x , положив x = y + h , то он преобразуется к виду Iν =
a + νh
∫ ( y − a + h)K ( y − a)K ( y − a − (n − 1)h)dy =
a + (ν −1) h a + νh
=
y−a+h ω( y )dy = a + (ν −1) h y − a − nh
=
η−a +h I ν −1 , a + (ν − 1)h < η < a + νh. η − a − nh
∫
Чтобы последовательность интегралов была убывающая, должно n −1 h. выполняться неравенство η − a + h < nh − η + a , или η − a < 2 Последнее неравенство выполняется, поскольку ⎛n ⎞ η < a + nh, η − a < νh ≤ ⎜ − 1⎟h. ⎝2 ⎠ Проинтегрируем формулу (6) по частям и применим теорему о среднем значении: b
b R ( f ) = Ω( x) f ( x, a,K, a + nh) a − ∫ f x′ ( x, a,K, a + nh)Ω( x)dx = a
b
= − f x′ (η, a,K, a + nh) ∫ Ω( x)dx, a < η < b. a
Так как 1
tn
n +1
0
0
ν=2
f ( x, a,K, a + nh) = ∫ dt1 K ∫ dt n +1 f ( n +1) ( x + t1 (a − x) + h ∑ t ν ), то 1
tn
n +1
0
0
ν=2
f x′ ( x, a,K , a + nh) = ∫ dt1 K ∫ dt n +1 (1 − t1 ) f ( n + 2) ( x + t1 (a − x) + h ∑ t ν ). Применим теорему о среднем к последнему интегралу: 37
f ( n + 2) (ξ) , a < ξ < b. (n + 2)!
f x′ (η, a,K , a + nh) = Получаем b
b
a
a
b
b
a
a
∫ Ω( x)dx = xΩ( x) − ∫ xΩ′( x)dx = − ∫ xω( x)dx.
Доказано, что для остатка интерполяционной квадратуры Ньютона – Котеса верно равенство R( f ) =
f ( n + 2) (ξ) b ∫ xω( x)dx. (n + 2)! a
(7)
x
Найдем знак остатка. Функция Ω( x) = ∫ ω(t ) dt сохраняет знак на a
отрезке [a, b] , поэтому достаточно выяснить ее знак в одной точке, например x = a + h a+h
Ω(a + h) = ∫ ω(t )dt. a
При a < t < a + h в произведении ω(t ) = (t − a)(t − a − h)K(t − a − nh) первый множитель положительный, все остальные отрицательные и
signΩ(t ) = (−1) n , t ∈ (a, b).
Так
как
b
b
a
a
∫ xω( x)dx = − ∫ Ω( x)dx ,
то
b
sign ∫ xω( x)dx = (−1) n +1 = −1 ввиду четности n . Таким образом, докаa
зана теорема 2. Теорема 2. Если число узлов n + 1 в формуле (2) Ньютона – Котеса нечетное и функция f имеет на отрезке [a, b] непрерывную производную порядка n + 2 , то внутри [a, b] существует точка ξ такая, что для остатка R ( f ) квадратурной формулы верно равенство (7). Коэффициент при f ( n + 2) (ξ) – отрицателен.
38
Отметим два следствия из этой теоремы. 1. Если число узлов n + 1 в формуле (2) нечетное, то алгебраическая степень точности формулы равна n + 1 . Это видно из представления остатка в равенстве (7). Формула (2) будет точной всякий раз, когда f есть многочлен степени ≤ n + 1 . Если f есть многочлен степени n + 2 , то f ( n + 2) будет величиной, отличной от нуля и R ( f ) ≠ 0. 2. Будем считать, что производная f ( n + 2) существует и есть непрерывная на [a, b] функция; составим представление остатка. Положим r = n + 2 , для остатка получится выражение b
R ( f ) = ∫ f ( n + 2) (t ) K (t ) dt.
(8)
a
При p ( x) ≡ 1 ядру остатка можно придать форму K (t ) =
n (b − t ) n + 2 (a + kh − t ) n +1 . − ∑ Ak E (a + kh − t ) (n + 2)! k =1 (n + 1)!
Видно, что ядро остатка K (t ) есть неположительная функция с постоянным знаком на [a, b] . Действительно, из формулы (7) видно, что коэффициент при f ( n + 2) (ξ) – отрицательный и должно выполняться условие K (t ) ≤ 0. Докажем теорему 3, аналогичную теореме 2, но для четного числа узлов. Теорема 3. Если число узлов n + 1 в формуле Ньютона – Котеса (2) четное и f имеет непрерывную на [a, b] производную порядка n + 1 , то внутри [a, b] существует точка ξ такая, что для остатка R( f ) квадратуры (2) верно равенство (9). Коэффициент при
f ( n +1) (ξ) есть число отрицательное. Доказательство. Пусть n – нечетное число, а число узлов в формуле (2) – четное. В этом случае многочлен ω(x) в точках, равноотстоящих от концов отрезка, принимает одинаковые значения: 39
ω(a + z ) = ω(a + nh − z ) . График многочлена будет линией, симметa+b . ричной относительно прямой x = 2 Чтобы упростить выражение остатка в формуле (6), разделим отрезок [a, b] на две части: [a, a + ( n − 1)h] и [a + ( n − 1)h, b] . На втором отрезке многочлен ω(x) сохраняет знак, и к интегралу на этом отрезке можно применить теорему о среднем значении. Тогда погрешность квадратурной формулы имеет вид R( f ) =
a + ( n −1) h
∫
a
ω( x) f ( x, a,K, a + nh)dx +
b f ( n +1) (ξ1 ) ∫ ω( x)dx = I1 + I 2 . (n + 1)! a + ( n −1) h
Рассмотрим первый из интегралов в правой части. Отделим в и положим многочлене ω(x) множитель x − a − nh ω( x) = ( x − a − nh)ω1 ( x). Следовательно, I=
a + ( n −1) h
∫
a
ω1 ( x) f ( x, a,K, a + (n − 1)h)dx − f (a,K , a + nh)
a + ( n −1) h
∫ ω1 ( x)dx.
a
a + ( n −1) h
Так как интеграл
∫ ω1 ( x)dx = 0 , то второй член в выражении
a
для I1 исчезает. Первый член есть интеграл вида (6) и его можно привести к виду I1 =
f ( n +1) (ξ 2 ) a + ( n −1) h ∫ xω1 ( x)dx. (n + 1)! a
Коэффициент при f ( n +1) (ξ 2 ) есть число отрицательное. Для остатка R ( f ) получим b f ( n +1) (ξ 2 ) a + ( n −1) h f ( n +1) (ξ1 ) R( f ) = ω( x)dx + ∫ ∫ ω( x)dx. (n + 1)! (n + 1)! a + ( n −1) h a
40
Ввиду того, что коэффициенты при f ( n +1) (ξ 2 ) и f ( n +1) (ξ1 ) отличны от нуля и одного знака, а f ( n +1) ( x) есть непрерывная функция, то между ξ1 и ξ 2 существует такая точка ξ , что R( f ) =
f ( n +1) (ξ) b ∫ ω( x)dx. (n + 1)! a
(9)
Теорема доказана. Из теоремы следуют два утверждения. 1. Если число узлов n + 1 в формуле (2) – четное, то алгебраическая степень точности (2) равна n + 1 . 2. Если число узлов n + 1 в (2) – четное и функция f имеет непрерывную производную порядка n + 1 на [a, b] , то остаток формулы (2) можно представить в форме b
R ( f ) = ∫ f ( n +1) (t ) K (t )dt ,
(10)
a
где ядро остатка K (t ) есть знакопостоянная неположительная функция на [a, b] : K (t ) =
n (b − t ) n +1 ( a + kh − t ) n . − ∑ Ak E (a + kh − t ) n! (n + 1)! k =1
(11)
3. Простейшие формулы Ньютона – Котеса Формулы Ньютона – Котеса с большим числом узлов редко применяются в вычислительной практике. Предпочитают пользоваться формулами с малым числом узлов. Для уменьшения погрешности результата предварительно разбивают отрезок [a, b] на достаточно большое число малых интервалов и к каждому из них применяют квадратурную формулу с малым числом узлов.
41
Пусть n = 1 . В этом случае интерполирование функции f выполняется по двум ее значениям на концах отрезка интегрирования. Равенство (2) приводится к известной формуле трапеций: b
⎡ ⎤ ∫ f ( x)dx ≈ (b − a ) ⎢ 2 f (a) + 2 f (b)⎥. 1
1
⎣
a
⎦
(1)
Так как ω( x) = ( x − a )( x − b) , то формула остатка имеет вид R=
(b − a ) 3 f ′′(ξ), a < ξ < b. 12
(2)
b−a , расn смотрим частичный отрезок [a + kh, a + (k + 1)h] и к нему применим формулу (1) Разобьем отрезок [a, b] на n равных частей длины h =
a + ( k +1) h
∫
f ( x)dx =
a + kh
+
h2 2!
h [ f (a + kh) + f (a + (k + 1)h)] + 2
a + ( k +1) h
∫
a + kh
⎛ a + kh − t ⎞ f ′′(t ) y 2* ⎜ ⎟ dt. h ⎝ ⎠
После суммирования по всем частичным отрезкам получим формулу трапеций с остатком в виде определенного интеграла 1 ⎤ h2 b ⎡1 ⎛ a −t ⎞ = + + + + K f x dx h f f f fn ⎥ + f ′′(t ) y 2* ⎜ ( ) ⎟dt , (3) ∫ ∫ n −1 ⎢2 0 1 2 ⎦ 2! a ⎣ ⎝ h ⎠ a
b
b−a , f = f (a + kh). n Поскольку ядро остатка знакопостоянное, к интегралу может быть применена теорема о среднем значении и остаток принимает вид h=
R( f ) = −
1 (b − a ) 3 f ′′(ξ). 12 n 2
42
Разберем другой случай и положим n = 2 . Интерполирование a+b ,b. функции f выполняется по значениям в трех точках: a, 2 Квадратурная формула (2) из лекции 2 будет иметь вид b
⎡1 ⎤ 4 ⎛a+b⎞ ∫ f ( x)dx ≈ (b − a ) ⎢ 6 f (a ) + 6 f ⎜ 2 ⎟ + f (b)⎥. ⎝ ⎠ ⎣ ⎦ a
(4)
Остаток, найденный с помощью формулы (7) из лекции 2, имеет вид R( f ) =
5
f ( 4) (ξ) b a+b⎞ 1 ⎛ b − a ⎞ ( 4) ⎛ x ( x − a )⎜ x − ⎟( x − b) dx = − ⎜ ⎟ f (ξ). (5) ∫ 90 ⎝ 2 ⎠ 4! a 2 ⎠ ⎝
Считая n четным числом, разделим [a, b] на n равных частей b−a длины h = . Возьмем удвоенный частичный отрезок n [a + (k − 1)h, a + ( k + 1) h] и применим к нему формулу (4): a + ( k +1) h
4 1 ⎡1 ⎤ f ( x)dx = 2h ⎢ f k −1 + f k + f k +1 ⎥ + 6 6 ⎣6 ⎦ a + ( k −1) h
∫
a + ( k +1) h
⎧ ⎛ a + (k − 1)h − t ⎞ 2 1⎫ * ⎛ a + kh − t ⎞ + h 4 ∫ f ( 4) (t )⎨ y4* ⎜ ⎟ + 2 y4 ⎜ ⎟ − ⎬dt. 9 a + ( k −1) h 2h 2h ⎠ ⎝ ⎠ 8⎭ ⎩ ⎝ Применяя это равенство к отрезкам [a, a + 2h], [a + 2h, a + 4h],K,[ a + (n − 2)h, a + nh] и суммируя результаты, получим формулу парабол, или правило Симпсона: b
h ∫ f ( x)dx = 3 [ f 0 + f n + 2( f 2 + f 4 + K + f n − 2 ) + 4( f1 + f 3 + K + f n −1 )] + R( f ), (6)
a
R( f ) = −
(b − a ) 5
f ( 4) (ξ).
(7) 180n При n = 3 получим формулу, которая называется правилом трех восьмых:
43
4
b
⎡1 ⎤ 3 ⎛ 1 ⎞ 3 ⎛ 2 ⎞ 1 ∫ f ( x)dx ≈ H ⎢ 8 f (a) + 8 f ⎜ a + 3 H ⎟ + 8 f ⎜ a + 3 H ⎟ + 8 f (a + H )⎥, (8) ⎠ ⎠ ⎝ ⎝ ⎣ ⎦ a
⎫ 1 ⎞⎛ 2 ⎞ ⎛ ω( x) = ( x − a)⎜ x − a − H ⎟⎜ x − a − H ⎟( x − a − H ), ⎪ 3 ⎠⎝ 3 ⎠ ⎝ ⎪ ⎬ (9) $ 5 b f (ξ) (b − a) ( 4) R( f ) = ∫ ω( x)dx = − 6480 f (ξ), H = b − a.⎪⎪ 4! a ⎭ Пусть число n кратно 3. Разделим [a, b] на n равных частей с шаb−a . Возьмем строенный отрезок [a + kh, a + ( k + 3)h] и гом h = n применим к нему правило трех восьмых. Записав такие равенства для отрезков [a, a + 3h],[a + 3h, a + 6h],K,[a + (n − 3)h, a + nh] и сложив результаты, получим окончательную формулу правила трех восьмых: b
3h
∫ f (x)dx = 8 {( f0 + fn ) + 2( f3 + f6 +K+ fn−3) + 3( f1 + f2 + f4 + f5 +K+ fn−2 + f n−1)} + a + R ( f ),
(10) R( f ) = −
(b − a) 5
f ( 4) (ξ), a < ξ < b.
(11) 80n Когда число частичных отрезков n кратно 2 и 3, для вычисления интеграла могут быть применены и правило парабол, и правило трех восьмых. Обе эти формулы имеют одинаковую алгебраическую степень точности и одинаково просты в применении. Однако сравнение остаточных членов в формулах (7) и (11) показывает, что применение правила трех восьмых дает погрешность примерно в два раза больше. Поэтому чаще применяется формула Симпсона. 4
Контрольные вопросы 1. Понятие интерполяционных квадратурных формул. 2. Необходимое и достаточное условия для того, чтобы квадратурная формула была интерполяционной. 44
3. Представление остатка интерполяционной квадратуры. 4. Формулы Ньютона – Котеса. 5. Почему формулы Ньютона – Котеса непригодны для вычислений при большом числе узлов? 6. Форма остатка формулы Ньютона – Котеса. 7. Простейшие формулы Ньютона – Котеса, остатки этих квадратур. 8. Формула Симпсона и правило трех восьмых имеют одинаковую степень точности. Погрешность какой из двух формул выше и во сколько раз?
Лекция5
Квадратурные формулы наивысшей алгебраической степени точности 1. Общие теоремы Квадратурная формула b
n
a
k =1
∫ p( x) f ( x)dx ≈ ∑ Ak f ( xk )
(1)
при фиксированном числе узлов содержит 2n параметров Ak и xk ( k = 1, 2, K, n) . Параметры нужно выбрать так, чтобы формула (1) была точной для многочленов возможно более высокой степени. В лекции 4 мы выяснили, что при произвольном выборе узлов и при определенном выборе коэффициентов Ak формула (1) будет точной для всех многочленов степени ≤ n − 1 . При этом требовании формула (1) должна быть интерполяционной. Для увеличения точности квадратурной формулы (1) можно воспользоваться n узлами xk . Степень точности при определенных условиях можно увеличить на n единиц и сделать формулу, верной для всех многочленов степени ≤ 2n − 1 . Выясним условия, которым должны удовлетворять Ak и xk , чтобы формула имела степень точности ≤ 2n − 1 .
45
Построим многочлен ω( x) = ( x − x1 )( x − x2 )K ( x − xn ) по узлам xk . Этот многочлен можно разложить по степеням x : ω( x) = x n + a1 x n −1 + K . Корни этого многочлена совпадают с узлами xk . К корням многочлена ω(x) предъявляются требования: они должны быть действительными, различными и не выходить за границы отрезка интегрирования. Теорема 1. Для того, чтобы формула (1) была точной для всех многочленов степени ≤ 2n − 1 необходимо и достаточно, чтобы она была интерполяционной и многочлен ω(x) был ортогонален по весу p (x) ко всем многочленам Q(x) степени < n : b
∫ p( x)ω( x)Q( x)dx = 0 .
(2)
a
Доказательство. Проверим необходимость условия. Если формула (1) верна для многочленов степени ≤ 2n − 1 , то она верна и для многочленов степени ≤ n − 1 и поэтому должна быть интерполяционной. Пусть Q(x) – любой многочлен степени ≤ n − 1 . Произведение f ( x) = ω( x)Q( x) есть многочлен степени ≤ 2n − 1 и для него равенство (1) должно быть точным. Но f ( xk ) = 0 ( k = 1,2,K, n) и поэтому b
∫ p( x)ω( x)Q( x)dx = 0 ,
a
что доказывает необходимость ортогональности. Убедимся в достаточности условий. Пусть f – произвольный многочлен степени ≤ 2n − 1 . Разделив f на ω , можно представить f в форме f = Qω + ρ , где Q(x) и ρ(x) – многочлены степеней ≤ n − 1 . Так как ω( xk ) = 0 то f ( xk ) = ρ( xk ) (k = 1,2,K, n),
46
b
b
b
a
a
a
∫ p( x) f ( x)dx = ∫ p( x)ω( x)Q( x)dx + ∫ p( x)ρ( x)dx.
Первый из интегралов правой части равен нулю по условию ортогональности. Так как степень ρ(x) не больше n − 1 , а формула (1) интерполяционная, то должно быть точным равенство b
n
a
k =1
∫ p( x)ρ( x)dx = ∑ Ak ρ( xk ).
Ввиду того, что f ( xk ) = ρ( xk ) ( k = 1,2,K, n), должно быть верным равенство b
n
a
k =1
∫ p( x) f ( x)dx = ∑ Ak f ( xk ),
и формула (1) действительно будет точной для произвольных многочленов степени ≤ 2n − 1 . Теорема доказана. Вопрос о возможности построения квадратурной формулы связан с существованием многочлена ω(x) степени n , обладающего свойством ортогональности (2). Если весовая функция p (x) изменяет знак на [a, b], то многочлен ω(x) может не существовать. Корни многочлена могут не удовлетворять указанным выше условиям. Поэтому потребуем, чтобы вес p (x) был неотрицательной функцией на [a, b] . Из теории ортогональных многочленов известно, что многочлен ω(x) степени n , ортогональный по весу p (x) ко всем многочленам меньших степеней, будет существовать при всяких n . Корни многочлена будут действительными, различными и лежать внутри отрезка интегрирования. Поэтому справедливо утверждение: если вес p( x) ≥ 0 , то квадратурная формула (1), точная для всяких многочленов степени ≤ 2n − 1 , существует при всех n = 1,2, K . Осталось выяснить, будет ли 2n − 1 наивысшей алгебраической степенью точности формулы (1). Для знакопостоянного веса справедлива теорема 2.
47
Теорема 2. Если p( x) ≥ 0 , то ни при каком выборе xk и Ak равенство (1) не может быть верным для всех многочленов степени 2n .
Доказательство. Для многочлена f ( x) = ω2 ( x) , имеющего стеb
пень 2n , интеграл ∫ p( x) f ( x)dx > 0 , так как вес p (x) неотрицательa
ный. Квадратурная сумма ∑ Ak f ( xk ) = 0 так как f ( xk ) = 0 . Поэтому для f ( x) = ω2 ( x) равенство (1) не может быть верным. Построим квадратурную формулу, имеющую наивысшую степень точности. Для этого рассмотрим систему ортогональных на [a, b] многочленов Pn ( x) (n = 1, 2, K) по весу p (x) . Будем считать многочлены нормированными. Возьмем из этой системы многочлен степени n . Корни Pn (x) будут узлами xk разыскиваемой квадратурной формулы. Коэффициенты Ak определяются равенством, равносильным равенству (4) в лекции 4: b
Ak = ∫ p( x) a
Pn ( x) dx. ( x − xk ) Pn′ ( xk )
(3)
Для вычисления интеграла (3) воспользуемся тождеством Кристоффеля–Дарбу, положив в нем t = xk . Тогда оно примет вид n −1
∑ Ps ( x) Ps ( xk ) = −
s =0
an Pn ( x) Pn +1 ( xk ) , an +1 x − xk
где an означает старший коэффициент в многочлене Pn (x) . Умножим обе части равенства на p (x) и проинтегрируем по отрезку [a, b] . Поскольку многочлены ортонормированные, то после интегрирования получим равенство 1= −
b P ( x) an dx. Pn +1 ( xk ) ∫ p ( x) n − x x an +1 k a
48
Отсюда Ak будет иметь вид a 1 Ak = − n +1 . ′ a n Pn ( xk ) Pn +1 ( xk )
(4)
Полученное выражение можно упростить, если использовать рекуррентное соотношение между ортонормированными многочленами: an a Pn +1 ( xk ) + n −1 Pn −1 ( xk ) = 0. a n +1 an Коэффициенты Ak примут вид Ak =
an 1 . ′ a n −1 Pn ( xk ) Pn −1 ( xk )
(5)
Отметим, что все коэффициенты квадратурной формулы, имеющей наивысшую степень точности 2n − 1 , положительны. Это следует из теоремы 3. Теорема 3. Если квадратурная формула (1) верна для всевозможных многочленов степени 2n − 2 , то все ее коэффициенты Ak положительны. 2
⎡ ω( x) ⎤ Доказательство. Рассмотрим функцию f ( x) = ⎢ ⎥ . Это мно⎣ x − xi ⎦ гочлен степени 2n − 2 и для него равенство (1) должно быть верным. Но k ≠ i; ⎧ 0, f ( xk ) = ⎨ 2 ⎩ω′ ( xi ), k = i. Поэтому 2
b
⎡ ω( x) ⎤ 2 ∫ p( x) ⎢ x − x ⎥ dx = Ai ω′ ( xi ), i⎦ ⎣ a 2
b
⎤ ⎡ ω( x) Ai = ∫ p ( x) ⎢ ⎥ dx > 0. ⎣ ( x − xi )ω′( xi ) ⎦ a
49
Теорема доказана. Перейдем к изучению остатка квадратуры. Теорема 4. Если f имеет производную порядка 2n на [a, b] , то существует такая точка η ∈ [ a, b] ,что для остатка квадратуры наивысшей степени точности верно равенство R( f ) =
f ( 2n) (η) b 2 ∫ p( x)ω ( x)dx, a ≤ η ≤ b. ( 2n)! a
(6)
Доказательство. Построим интерполяционный многочлен H (x) степени ≤ 2n − 1 , удовлетворяющий условиям H ( xk ) = f ( xk ), H ′( xk ) = f ′( xk ). Остаток интерполирования r ( x) = f ( x) − H ( x) имеет следующее представление: r (x ) =
f (2n ) (ξ ) 2 ω (x ) , (2n ) !
где ξ – некоторая точка, лежащая между x и узлами xk . Таким образом, b
b
a
a
∫ p( x) f ( x)dx = ∫ p( x) H ( x)dx +
1 b ( 2n) (ξ)ω2 ( x)dx. ∫ p( x) f (2n)! a
Поскольку квадратурная формула верна для всех многочленов степени ≤ 2n − 1 , а степень многочлена H (x) также ≤ 2n − 1 , то b
n
n
a
k =1
k =1
∫ p( x) H ( x)dx = ∑ Ak H ( xk ) = ∑ Ak f ( xk )
и для остатка квадратуры имеет место равенство R( f ) =
1 b ( 2n) f (ξ) p ( x)ω2 ( x)dx. ∫ (2n)! a
Теорема доказана.
50
Далее докажем теорему о сходимости квадратурного процесса. Пусть p (x) – неотрицательная весовая функция на [a, b] и ωn ( x) (n = 0, 1, K) – принадлежащая ей система ортогональных многочленов. Пусть xk( n ) и Ak( n)
(k = 1, 2, K, n) – корни многочлена ωn (x)
(k = 1, 2, K , n) – соответствующие им коэффициенты квад-
ратурной формулы наивысшей степени точности. Теорема 5. Если отрезок [a, b] – конечный и функция f непрерывна на нем, то n
b
k =1
a
lim ∑ Ak( n) f ( xk( n) ) = ∫ p ( x) f ( x)dx. n →∞
(7)
Доказательство. Поскольку f непрерывна на [a, b] , при любом ε > 0 найдется такой многочлен P(x) , что для всяких x ∈ [a, b] будет f ( x) − P( x) < ε.
(8)
Очевидно, b
n
b
b
a
k =1
a
a
(n) ( n) ∫ pfdx − ∑ Ak f ( xk ) ≤ ∫ pfdx − ∫ pPdx +
b
n
n
n
a
k =1
k =1
k =1
+ ∫ pPdx − ∑ A( n ) P( x ( n) ) + ∑ A( n) P( x ( n ) ) − ∑ A( n) f ( x ( n) ) . k k k k k k С учетом формулы (8) b
b
b
a
a
a
∫ pfdx − ∫ pPdx < ε ∫ pdx
и n
n
n
b
k =1
k =1
k =1
a
(n) ( n) ( n) ( n) ( n) ∑ Ak P( xk ) − ∑ Ak f ( xk ) ≤ ε ∑ Ak = ε ∫ pdx.
Кроме того, если m – степень многочлена P(x) , то при 2n −1 ≥ m , будет выполняться
51
b
n
a
k =1
( n) ( n) ∫ pPdx = ∑ Ak P( xk )
и для таких n выполняется неравенство b
n
b
a
k =1
a
(n) (n) ∫ pfdx − ∑ Ak f ( xk ) < 2ε ∫ pdx,
что доказывает формулу (7) и теорему.
2. Постоянная весовая функция Исторически сложилось так, что первой найденной формулой наивысшей степени точности является формула Гаусса. Она служит для вычисления интегралов вида b
∫ f ( x)dx,
(1)
a
взятых по конечному отрезку [a, b] с постоянным весом. Линейным преобразованием всякий конечный отрезок [a, b] может быть преобразован в стандартный отрезок. Чтобы сделать более простым использование свойств симметрии узлов xk и коэффициентов Ak , за такой стандартный отрезок мы примем [–1, 1] и будем считать, что интеграл (1) приведен к виду 1
∫ f ( x)dx.
(2)
−1
Ортогональную систему многочленов с постоянным весом на отрезке [–1, 1] образуют многочлены Лежандра: Pn ( x) =
1 d n ( x 2 − 1) n 2 n n!
dx n
.
Построим квадратурную формулу с n узлами:
52
1
n
−1
k =1
( n) (n) ∫ f ( x)dx ≈ ∑ Ak f ( xk ),
(3)
имеющую наивысшую степень точности 2n − 1 . Узлы ее нужно взять в корнях многочлена Лежандра степени n : Pn ( xk( n) ) = 0. Простые вычисления с помощью формул (4) и (5) разд. 1 этой лекции дадут коэффициенты в виде Ak(n ) =
2 (4) ⎡ ( n ) 2 ⎤ ' (n ) 2 ⎢1 − xk ⎥ Pn x k ⎣ ⎦ Выражение остаточного члена формулы Гаусса вычисляется по формуле
( ) [ ( )] 2
⎡ ( n!) 2 ⎤ ( 2n) 2 2 n +1 R( f ) = (η), η ∈ [−1, 1]. ⎢ ⎥ f (2n + 1)(2n)! ⎣⎢ (2n)! ⎦⎥
(5)
Контрольные вопросы 1. Необходимые и достаточные условия для того, чтобы квадратурная формула была точной для многочленов степени ≤ 2n − 1 . 2. Квадратурная формула, имеющая наивысшую степень точности. 3. При каких условиях коэффициенты точной квадратурной формулы положительные? 4. Остаток квадратуры наивысшей степени точности. 5. Понятие сходимости квадратурного процесса на примере конечного интервала и непрерывной функции. 6. Узлы, коэффициенты и остаток формулы Гаусса.
53
Лекция6
Квадратурные формулы с наименьшей оценкой остатка 1. Задача минимизации остатка квадратурной формулы В теории квадратур возникла потребность построения формул, которые были бы приспособлены для вычисления интегралов от функций, принадлежащих заданному классу. Пусть дан класс функций { f } = F . Для каждой функции f ∈ F остаток квадратуры R ( f ) имеет определенное численное значение b
n
a
k =1
R ( f ) = ∫ p ( x) f ( x)dx − ∑ Ak f ( xk ).
(1)
За величину, характеризующую точность квадратурной формулы для всех без исключения функций класса F, может быть принято число b
n
R = sup R( f ) = sup ∫ pfdx − ∑ Ak f ( xk ) . f
f a
(2)
k =1
Остаток квадратуры зависит от xk и Ak . Нужно воспользоваться возможностями выбора узлов и коэффициентов для того, чтобы придать R наименьшее значение. На выбор xk и Ak налагаются ограничительные условия. Виды условий связаны с выбором класса F функций f и способа задания самих функций. Об этом говорят следующие примеры. 54
1. Если функции f заданы таблично, то мы будем сильно стеснены в выборе узлов и должны считать, что xk берутся только из числа табличных значений аргументов. 2. Пусть мы хотим построить квадратурную формулу, имеющую наименьшую оценку остатка для всех функций с непрерывной производной порядка r , удовлетворяющей условию f ( r ) ≤ M r . Чтобы можно было выполнить оценку остатка для таких функций, мы должны считать, что квадратурная формула верна для всевозможных многочленов степени ≤ r − 1 . Это равносильно выполнению следующего равенства: n
b
k =1
a
∑ Ak xki = ∫ px i dx (i = 0,1,K, r − 1).
(3)
Линейным преобразованием отрезок [a, b] всегда можно свести к отрезку [0, 1] , будем считать, что это преобразование выполнено.
2. Минимизация остатка в классах функций
) L(r q
) Функция f принадлежит классу L(r (q ≥ 1) , если f имеет на q
[0, 1] абсолютно непрерывную производную порядка r − 1 и производная порядка r суммируема со степенью q на [0, 1] . ) Всякая функция f ∈ L(r q может быть представлена в форме
f ( i ) ( 0) i 1 ( r ) ( x − t ) r −1 x + ∫ f (t ) E ( x − t ) dt , i! ( r − 1)! i =0 0 r −1
f ( x) = ∑
(1)
где f (i ) (0) есть числа и f ( r ) (t ) – некоторая измеримая и суммируемая на отрезке [0, 1] со степенью q функция. 1
) Рассмотрим интеграл ∫ ρ( x) f ( x)dx , где f ∈ L(r q , весовая функция 0
ρ(x) измерима и суммируема на отрезке [0,1] .
55
Пусть для приближенного вычисления интеграла взята некоторая квадратурная сумма 1
n
0
k =1
∫ ρfdx ≈ ∑ Ak f ( xk ).
(2)
Мы хотим получить формулу, которую будем считать «наилуч) шей» для всех функций f ∈ L(r q ( q ≥ 1) , если равенство (2) является точным для всевозможных многочленов степени < r . Если восполь) зоваться представлением (1) функций класса L(r q , то остаток квадра-
туры R ( f ) можно привести к виду 1
1
n R ( f ) = ∫ ρfdx − ∑ Ak f ( xk ) = ∫ f ( r ) (t ) K (t )dt , k =1
0
1
K (t ) = ∫ ρ( x) 0
(3)
0
n ( x − t ) r −1 ( x − t ) r −1 dx − ∑ Ak E ( x k − t ) k . (r − 1)! (r − 1)! k =1
(4)
Рассмотрим множество { f } = F функций f , удовлетворяющих условию 1
⎧ 1 (r ) q ⎫q dt ⎬ ≤ M r . ⎨∫ f ⎩0 ⎭ Согласно неравенству Гельдера, для R ( f ) в классе F имеет место оценка 1
1
q ⎤ q ⎡1 ⎡1 ⎡1 p ⎤ p ⎤p R ( f ) ≤ ⎢ ∫ f (r ) dt ⎥ ⋅ ⎢ ∫ K dt ⎥ ≤ M r ⎢ ∫ K dt ⎥ , ⎢⎣0 ⎥⎦ ⎢⎣0 ⎥⎦ ⎢⎣0 ⎥⎦ Поэтому точная верхняя граница равна
⎛1 1 ⎞ ⎜⎜ + = 1⎟⎟. ⎝p q ⎠
1
⎧⎪1 ⎪p p ⎫ R = sup R( f ) = M r ⎨ ∫ K (t ) dt ⎬ . ⎪⎩0 ⎪⎭ F
56
(5)
1
От выбора xk и Ak зависит только интеграл ∫ K (t ) dt . Нужно p
0
подобрать веса и узлы таким образом, чтобы интеграл имел наименьшее значение. Если такие xk и Ak существуют, то соответствующая им квадратурная формула считается «наилучшей» во всем ) классе L(r q . 1
Задача минимизации ∫ K (t ) dt может быть истолкована как заp
0
дача 1
наилучшего
приближения
в
метрике
Lp
функции
( x − t ) r −1
∫ ρ( x) (r − 1)! dx с помощью функций вида 0 n
∑ Ak E ( xk − t )
k =1
( x − t ) r −1 . (r − 1)!
При произвольных ρ( x), r и n такая задача в конечном виде не решается. Рассмотрим несколько частных случаев, когда решение может быть найдено. Будем считать вес постоянным: p ( x) ≡ 1 и рассмотрим квадратурную формулу 1
n
0
k =1
∫ f ( x)dx = ∑ Ak f ( xk ) + R( f ).
(6)
Предположим f абсолютно непрерывной и производную f ′ суммируемой со степенью q . Это соответствует случаю r = 1 . Формулу (6) будем считать точной, если f = 1 . Тогда коэффициенты должны подчиняться условию n
∑ Ak = 1 .
k =1
Остаток R ( f ) в классе L(q1) имеет точную оценку
57
1
1 ⎧1 ⎫p p q q R = sup R( f ) = M 1 ⎨ ∫ K (t ) dt ⎬ , M 1 = ∫ f ′ dx; f 0 ⎩0 ⎭
n
K (t ) = 1 − t − ∑ Ak E ( xk − t ) . k =1
Ядро остатка K (t ) есть кусочно-линейная функция со старшим коэффициентом, равным –1, для которой узлы xk являются точками разрыва. Скачок функции K (t ) в узле xk равен коэффициенту Ak . Если xk лежат внутри отрезка [0,1] , то на концах при t = 0 и t = 1 ядро обращается в нуль. 1
n
Задача минимизации интеграла ∫ K (t ) dt при условии ∑ Ak = 1 p
k =1
0
дает ответ: узлы xk должны быть расположены в точках 2k − 1 xk = (k = 1, 2, K , n) . Коэффициенты Ak все должны быть 2n 1 (k = 1, 2,K , n) . одинаковыми, и так как сумма их равна 1, то Ak = n Соответствующая квадратурная формула имеет вид 1
1 n ⎛ 2k − 1 ⎞ ∫ f ( x)dx = n ∑ f ⎜ 2n ⎟ + R( f ) ⎠ k =1 ⎝ 0
(7)
и является хорошо известной формулой прямоугольников с ординатами в средних точках. Остаток ее в классе L(q1) имеет оценку 1
⎧⎪1 q ⎫⎪ q 1 R( f ) ≤ M1 M , = ⎨ ∫ f ′ dt ⎬ , 1 ⎪⎩0 ⎪⎭ 2n p p + 1
⎞ ⎛1 1 ⎜⎜ + = 1⎟⎟ . ⎠ ⎝p q
3. Минимизация остатка в классах функций
58
Cr
Функция f принадлежит классу C r , если она имеет непрерывную производную порядка r на отрезке [0, 1] . Характерное представление функций f ∈ Cr дается равенством f ( i ) ( 0) i 1 ( r ) ( x − t ) r −1 x + ∫ f (t )E ( x − t ) dt , i! (r − 1)! i =0 0 r −1
f ( x) = ∑
(1)
где f (i ) (0) – любые числа и f ( r ) (t ) – произвольная функция, непрерывная на отрезке [0, 1] . Для построения квадратурной формулы 1
n
0
k −1
∫ f ( x)dx ≈ ∑ Ak f ( xk ) ,
(2)
имеющей наименьшую оценку остатка в C r , мы должны считать, что равенство (2) является точным для любого многочлена степени < r . Тогда остаток (2) может быть представлен в виде 1
R ( f ) = ∫ f ( r ) (t ) K (t )dt ,
(3)
0
где K (t ) =
n ( x − t ) r −1 (1 − t ) r . − ∑ Ak E ( xk − t ) k (r − 1)! r! k =1
Рассмотрим множество F функций f ∈ Cr , удовлетворяющих условию f ( r ) ≤ M r . На F верна оценка 1
R ( f ) ≤ M r ∫ K (t ) dt . 0
Верхняя грань оценки погрешности 1
R = sup R(t ) ≤ M r ∫ K (t ) dt . F
0
59
(4)
1
Мы должны так подобрать xk и Ak , чтобы ∫ K (t ) dt имел наи0
меньшее значение при выполнении условий n
1 (i = 0,1,K, r − 1) . i +1
∑ Ak xki =
k =1
(5)
Положим r = 1 и рассмотрим класс функций, непрерывно дифференцируемых на отрезке [0, 1] . В этом случае мы должны требовать, чтобы квадратурная формула давала точный результат для постоянной величины, что равносильно выполнению условия связи n
∑ Ak = 1 .
k =1
Ядро K (t ) имеет значение n
K (t ) = 1 − t − ∑ Ak E ( xk − t ) . k =1
Решение задачи минимизации остатка в классе функций C1 имеет оценку R( f ) ≤ M 1
1 , f ′(x ) ≤ M 1 . 4n
Рассмотрим класс дважды дифференцируемых функций и положим r = 2. Считая, что минимум ядра существует, применим к нахождению минимума ядра правила нахождения условного экстремума функции. Составим вспомогательную функцию ⎛ n ⎞ ⎛ n 1⎞ F = U + λ1 ⎜⎜ ∑ Ak − 1⎟⎟ + λ 2 ⎜⎜ ∑ Ak xk − ⎟⎟ 2⎠ ⎝ k =1 ⎠ ⎝ k =1 и приравняем нулю ее частные производные по узлам xk и коэффициентам Ak :
60
1 ∂F = − Ai ∫ S (t ) E ( xi − 1)dt + λ 2 Ai = 0, ∂xi 0
(6)
S (t ) = signK (t ) ,
1 ∂F = − ∫ S (t ) E ( xi − t )( xi − t )dt + λ1 + λ 2 xi = 0 ∂Ai 0
(7)
(i = 1, 2, K, n). Отсюда видно, что для каждого отрезка [ xi , xi +1 ] должно быть xi +1
xi +1
xi
xi
∫ S (t )dt = 0,
∫ tS (t )dt = 0 (i = 1,2,K, n − 1).
Следовательно, на каждом отрезке [ xi , xi +1 ] ядро K (t ) есть мно1 гочлен второй степени со старшим членом t 2 , наименее уклоняю2 щийся от нуля в метрике L на [ xi , xi +1 ] . Известно, что среди многочленов степени n наименее отклоняться от нуля в метрике L на отрезке [−1, 1] будет многочлен Pn (x ) =
1 2
n
U n (x ) =
sin (n + 1) arccos x 2n 1 − x 2
1 . 4 t = α i + hi x,
В частности, при n = 2 это будет многочлен P2 ( x) = x 2 − С
помощью линейного преобразования x + xi +1 x −x , hi = i +1 i перейдем от отрезка [−1, 1] к отрезку αi = i 2 2 [ xi , xi +1 ] . Ядро остатка K (t ) примет вид h 2 ⎛ t − xi K (t ) = i P2 ⎜⎜ 2 ⎝ hi
61
⎞ ⎟⎟, ⎠
xi ≤ t ≤ xi +1.
Исходя из вида ядра K (t ) , повторяя рассуждения, проделанные ранее, приходим к выводу, что справедливы следующие утверждения: 1. Узлы и коэффициенты должны иметь значения xi =
3 + 4(i − 1) h, h = 2
[ 3 + 2(n − 1)]−1,
2+ 3 h. 2 2. Указанные узлы и коэффициенты доставляют наименьшее знаAi = 2h (i = 2,K, n − 1),
A1 = An =
1
чение интегралу ∫ K (t ) dt и такие значения являются единственными. 0
3. Остаток R ( f ) квадратурной формулы для указанных узлов и коэффициентов имеет в классе C 2 оценку R( f ) ≤ M 2
h2 , 8
f ′′ ≤ M 2 .
n
4. Квадратурная сумма ∑ Ak f ( xk ) есть сумма Римана и для всяk =1
кой интегрируемой на отрезке [0, 1] в смысле Римана функции выполняется равенство 1
n
lim ∑ Ak f ( xk ) = ∫ fdx.
n → ∞ k =1
0
4. Задача минимизации оценки остатка квадратурной формулы с закрепленными узлами Построим квадратурную формулу с заданными узлами и с наименьшей оценкой остатка. В приложениях чаще всего встречается случай равноотстоящих узлов и постоянной весовой функции. Разде-
62
лим отрезок интегрирования [0, 1] на n равных частей с шагом 1 h = . В квадратурной формуле n 1
n
⎛ ⎞ ∫ f ( x)dx ≈ ∑ Ak f ⎜ n ⎟ ⎝ ⎠ k =0 0 k
(1)
можно произвольно выбрать n + 1 коэффициент Ak . Если потребовать, чтобы равенство (1) было точным для всевозможных многочленов степени n , то коэффициенты Ak вполне определяются и формула (1) совпадает с интерполяционной формулой Ньютона – Котеса. Будем считать, что формула (1) дает точный результат для многочленов степени r − 1 < n . Это накладывает следующие ограничения на выбор Ak : ⎫ ⎪ ⎪ k =0 (2) ⎬ i n n i ⎪ , i = 1,2,K, r − 1. ∑ Ak k = ⎪⎭ i +1 k =1 Если производная порядка r − 1 от f есть непрерывная функция, то остаток квадратуры представим в форме n
∑ Ak = 1,
⎫ ⎪ ⎪ 0 r −1 ⎪ ⎬ ⎛k ⎞ ⎜ − t⎟ ⎪ r n (1 − t ) ⎛k ⎞ n ⎠ − ∑ Ak E ⎜ − t ⎟ ⎝ K (t ) = .⎪ r! ⎝ n ⎠ (r − 1)! ⎪⎭ k =1 1
R( f ) = ∫ f ( r ) K (t )dt ,
(3)
Среди n + 1 чисел Ak остаются произвольными n + 1 − r и выбором их нужно воспользоваться для уменьшения оценки погрешности квадратуры. На различных классах функций минимизация проводится по-разному. Рассмотрим класс функций L(q1) , для которых
63
1
⎧⎪1 q ⎫⎪ q ⎨ ∫ f ′ dx ⎬ ≤ M 1 . ⎪⎭ ⎪⎩0 Если считать, что квадратурная формула будет точной в случае f = const и, следовательно, ее коэффициенты удовлетворяют первому из условий (2), то для таких функций будет верна следующая оценка остатка 1
1
1
⎧⎪1 p ⎫⎪ p ⎧⎪1 q ⎫⎪ q ⎧⎪1 p ⎫⎪ p R ( f ) ≤ ⎨ ∫ f ′ dx ⎬ ⎨ ∫ K dx ⎬ ≤ M 1 ⎨ ∫ K dx ⎬ = sup R ( f ) . ⎪⎭ ⎪⎩0 ⎪⎭ ⎪⎭ ⎪⎩0 ⎪⎩0 f
От чисел Ak в оценке погрешности зависит лишь интеграл 1
p ∫ K (t ) dt , и коэффициенты Ak нужно выбрать так, чтобы придать
0
интегралу наименьшее значение. Ядро остатка K (t ) имеет в данном случае значение n ⎛k ⎞ K (t ) = 1 − t − ∑ Ak E ⎜ − t ⎟ ⎝n ⎠ k =1
и является линейной функцией на каждом из отрезков разбиения n
K (t ) = 1 − t − ∑ Ak . k =1
i (i = 1, 2, L, n) ядро K (t ) имеет разрыв n первого рода со скачком Ai и предельные значения его на концах отрезка [0, 1] равны A0 и − An . В точках разбиения t =
Решая задачу на условный экстремум относительно функции n
K (t ) при условии ∑ Ai = 1, получим i =0
64
1 1 , A1 = A2 = K = An −1 = . n 2n Квадратурная формула, которую мы нашли, является хорошо известной формулой трапеций A0 = An =
1
⎤ 1 ⎡1 ⎛1⎞ ⎛ n − 1 ⎞ 1` ∫ f ( x)dx = n ⎢ 2 f (0) + f ⎜ n ⎟ + K + f ⎜ n ⎟ + 2 f (1)⎥ + R( f ) ⎝ ⎠ ⎝ ⎠ ⎣ ⎦ 0
и остаток ее R ( f ) будет иметь оценку 1
⎧1 q ⎫ q M1 ⎪ ⎪ R( f ) ≤ , M 1 = ⎨ ∫ f ′ dt ⎬ . 1 ⎪⎭ ⎪⎩0 2n( p + 1) p
Контрольные вопросы 1. Точность квадратурной формулы для функций данного класса. 2. Задача минимизации остатка квадратуры. 3. Минимизация остатка в классах L(qr ) . 4. «Наилучшая» квадратурная формула во всем классе функций. 5. Минимизация остатка в классах C r . 6. Задача минимизации оценки остатка квадратуры. 7. Задача минимизации оценки остатка квадратуры с закрепленными концами.
65
Лекция7
Квадратурные формулы, содержащие наперед заданные узлы 1. Общие теоремы Иногда возникает необходимость построения таких квадратурных формул, часть узлов которых задается заранее, другая часть узлов может быть взята произвольно, выбором таких узлов можно распоряжаться для достижения тех или иных целей. Рассмотрим квадратурную формулу b
n
m
a
k =1
l =1
∫ p( x) f ( x)dx ≈ ∑ Ak f ( xk ) + ∑ Bl f (al ),
(1)
в которой m узлов a1 ,K , am фиксированы. Она содержит 2n + m параметров Ak , xk (k = 1,K, n) и Bl (l = 1,K, m) . Попытаемся выбрать параметры так, чтобы равенство (1) стало точным для многочленов возможно более высокой степени. Введем два многочлена, связанных с узлами al и xk :
66
Ω( x) = ( x − a1 )K ( x − am ), ω( x) = ( x − x1 )K ( x − xn ). За счет выбора коэффициентов Ak и Bl формулу (1) можно сделать верной для многочленов степени n + m − 1 . Чтобы равенство (1) было верным для многочленов более высокой степени, нужно специально подобрать узлы xk . Теорема 1. Для того, чтобы формула (1) была точной для многочленов степени 2n + m − 1 , необходимо и достаточно, чтобы: 1) она была интерполяционной и 2) многочлен ω(x) был ортогонален на отрезке [a, b] по весу p ( x )Ω( x) ко всякому многочлену Q(x) степени < n . Доказательство. Необходимость первого условия очевидна, так как, если формула (1) верна для всех многочленов степени n + m − 1 , то она должна быть интерполяционной. Необходимость второго условия проверяется, если положить f = ΩωQ . Функция f есть многочлен, степень которого ≤ 2n + m − 1 . Так как f в точках al и xk исчезает, то квадратурная сумма для такой функции обращается в нуль и будет выполняться условие b
∫ p( x)Ω( x)ω( x)Q( x)dx = 0
(2)
a
и тогда равенство (1) будет точным. Достаточность условий теоремы следует из таких предположений. Пусть f есть произвольный многочлен степени 2n + m − 1 . Его можно представить в форме f = Ω( x)ω( x)Q ( x) + r ( x) , где Q (x) и r (x) – степени ≤ n − 1 и ≤ n + m − 1 соответственно. При этом очевидно, f (al ) = r (al ) (l = 1,K, m) и f ( xk ) = r ( xk ) (k = 1,K, n) . Если выполнено условие ортогональности (2) и формула (1) – интерполяционная, то будет верной следующая цепочка равенств: b
b
b
b
n
m
a
a
a
a
k =1
l =1
∫ pfdx = ∫ pΩωQdx + ∫ prdx = ∫ prdx = ∑ Ak r ( xk ) + ∑ Bl r (al ) =
67
n
m
k =1
l =1
= ∑ Ak f ( xk ) + ∑ Bl f (al ) . Достаточность условий теоремы доказана. Таким образом, построение квадратурной формулы (1), верной для алгебраических многочленов степени 2n + m − 1 , приводит к нахождению многочлена ω(x) степени n , ортогонального на [a, b] по весу pΩ ко всякому многочлену меньшей степени. Корни многочлена ω(x) должны быть действительными, различными и принадлежать отрезку [a, b] . Кроме того, они должны быть отличны от фиксированных узлов al (l = 1, K , m) . Допустим, что многочлен ω(x) , обладающий указанными свойствами, существует. Тогда формула (1) может быть построена и она верна для многочленов степени 2n + m − 1 . Для изучения алгебраической степени точности данной квадратурной формулы получим представление остатка. Выполним интерполирование f на [a, b] с помощью многочлена H (x) степени ≤ 2n + m − 1 по следующим условиям: H (al ) = f (al ) (l = 1,K, m), H ( xk ) = f ( xk ), H ′( xk ) = f ′( xk ) ( k = 1,K, n). Если f имеет производную порядка 2n + m во всех точках отрезка [a, b] , то остаток интерполирования r ( x) = f ( x) − H ( x) представим в форме r ( x ) = Ω( x )ω 2 ( x )
f ( 2 n + m ) ( ξ) , a < ξ < b. (2n + m)!
Для остатка квадратуры R( f ) справедливо равенство R ( f ) = R ( H ) + R (r ) . Поскольку формула (1) верна для всех многочленов степени 2n + m − 1 , то R ( H ) = 0 . Кроме того, во всех узлах al и xk остаток интерполирования r (x) обращается в нуль и поэтому квадратурная сумма для r (x) исчезает
68
n
m
k =1
l =1
∑ Ak r ( xk ) + ∑ Bl r (al ) = 0.
Следовательно, b
b
a
a
R( f ) = R( r ) = ∫ prdx = ∫ p( x)Ω( x)ω2 ( x)
f ( 2 n + m ) ( ξ) dx . (2n + m)!
(3)
Отсюда видно, что если b
I = ∫ pΩω2 dx ≠ 0 , a
то степень точности формулы (1) равна 2n + m − 1 . Формула (1) является интерполяционной, поэтому ее коэффициенты должны иметь следующие значения: b
Ak = ∫ p ( x) a
b
ω( x)Ω( x) dx , ( x − xk )ω′( xk )Ω( xk )
(4)
ω( x)Ω( x) dx . ( x − al )ω(al )Ω′(al )
(5)
Bl = ∫ p( x) a
Для коэффициентов Ak можно дать другое представление, более удобное для вычислений. Допустим, что существует единственная система многочленов Π s ( x) ( s = 1, 2, K) , где Π s – ортонормированная система по весу ρ( x) = p( x)Ω( x) на отрезке [a, b] . Многочлен Π s может отличаться от ω(x) только постоянным множителем Ak =
b Π ( x) 1 dx . ρ( x ) n ∫ x − xk Π ′n ( xk )Ω( xk ) a b
В лекции 5 для интеграла ∫ ρ( x) a
Π n ( x) dx были получены слеx − xk
дующие два выражения: b
Π ( x)
α
α
n n +1 n ∫ ρ( x) x − x dx = − α Π ( x ) = α Π ( x ) . k n n +1 k n −1 n −1 k a
69
Под α n здесь подразумевается старший коэффициент многочлена Π n ( x) . Таким образом, коэффициенты квадратурной формулы могут быть вычислены по одной из двух формул: α n +1 αn = . (6) Ak = − α n Π ′n ( xk )Π n +1 ( xk )Ω( xk ) α n −1Π ′n ( xk )Π n −1 ( x k )Ω( x k )
2. Формулы частного вида При построении квадратурных формул, рассмотренных в лекции 5, все узлы и коэффициенты выбирались так, чтобы каждая из них была точной для многочленов возможно более высокой степени. Стремясь обобщить эту идею, А. А. Марков рассматривал такие формулы, в которых для повышения точности используется произвольный выбор коэффициентов Ak и лишь части узлов xk . Другая же часть узлов может быть фиксирована любым способом. Будем считать функцию p (x) , входящую в интеграл (1) разд. 1, неотрицательной: p( x) ≥ 0 . Чтобы другая весовая функция, участвующая в исследованиях, ρ( x) = p( x)Ω( x) сохраняла знак, мы должны предположить, что Ω(x) также сохраняет свой знак на [a, b] и, следовательно, ни один из фиксированных узлов al не лежит внутри [a, b] . Если не допускать квадратурных формул с узлами, лежащими вне [a, b] , то мы должны ограничиться рассмотрением следующих случаев А. А. Маркова: 1) m = 1 и берется один фиксированный узел a1 = a ; 2) m = 1 и фиксирован узел a1 = b . Второй случай приводится к первому с помощью линейного преобразования x = a + b − t и отдельно рассматриваться не будет. 3) m = 2 и берутся два фиксированных узла a1 − a, a2 = b . Ввиду знакопостоянства ρ( x) = p( x)Ω( x) на [a, b] , многочлен ω(x) , ортогональный по весу ρ на [a, b] ко всякому многочлену степени < n , существует при всяком n . Корни xk – действительные, 70
простые и все лежат внутри отрезка [a, b] . Поэтому квадратурные формулы (1) разд. 1 точные для всевозможных многочленов степени 2n + m − 1 и в случаях Маркова могут быть построены при любых n . Алгебраическая точность таких формул будет равна 2n + m − 1 . Построение начнем с первого случая m = 1 , a1 = a : b
n
a
k =1
∫ pfdx = Af (a) + ∑ Ak f ( xk ) + R( f ) .
(1)
Наивысшая степень точности формулы равна 2n . Здесь Ω( x) = x − a ; xk – корни многочлена Π s степени n , ортогонального на [a, b] по весу ρ( x) = ( x − a) p( x) ко всякому многочлену степени < n . Используя формулу (6) разд. 1, получаем удобное средство для вычисления коэффициентов Ak : α n +1 αn = . (2) Ak = − α n Π ′n ( xk )Π n +1 ( xk )Ω( xk ) α n −1Π ′n ( xk )Π n −1 ( x k )Ω( x k ) Пользуясь формулой (5) разд. 1, найдем b
A = Π n−1 (a ) ∫ p( x)Π n ( x)dx .
(3)
a
Легко показать, что все коэффициенты положительные. Если f имеет непрерывную производную порядка 2n + 1 , то остаток R ( f ) может быть представлен в виде R( f ) =
f ( 2 n +1) (η) b p ( x)( x − a )ω2 ( x)dx, a < η < b. ∫ (2n + 1)! a
(4)
Рассмотрим третий случай, когда два заранее заданных узла лежат на границах интервала интегрирования a1 = a, an = b : b
n
a
k =1
∫ p( x) f ( x)dx = Af (a) + Bf (b) + ∑ Ak f ( xk ) + R( f ) .
(5)
Наивысшая степень точности такой формулы равна 2n + 1 ; Ω( x) = ( x − a)( x − b) ; xk – корни многочлена Π s степени n , ортогонального на отрезке [a, b] по весу ρ( x) = ( x − a)( x − b) p ( x) ко всякому многочлену меньшей степени. 71
Коэффициенты Ak , A и B вычисляются с помощью формул (4) и (5) разд. 1: Ak =
αn , α n −1Π ′n ( x k )Π n −1 ( x k )( x k − a )( x k − b )
b ⎫ A = [ ω ( a )( a − b )] −1 ∫ p ( x )( x − b ) ω( x ) dx , ⎪ ⎪ a b ⎪⎪ B = [ ω (b )( b − a )] −1 ∫ p ( x )( x − a ) ω( x ) dx , ⎬ ⎪ a ⎪ ω ( x ) = ( x − x1 ) K ( x − x n ). ⎪ ⎪⎭
(6)
(7)
Остаточный член R ( f ) представим в форме R( f ) =
f ( 2n + 2) (η) b 2 ∫ p( x)( x − a)( x − b)ω ( x)dx . ( 2n + 2)! a
(8)
Контрольные вопросы 1. Какие условия необходимы и достаточны, чтобы квадратурная формула с фиксированными узлами была точной? 2. Представление остатка квадратуры для дифференцируемой 2n + m раз функции на отрезке [a, b] с фиксированными узлами. 3. Построение квадратурных формул с использованием идеи А. А. Маркова. 4. Квадратурные формулы с одним и двумя закрепленными узлами.
72
Лекция8
Квадратурные формулы с равными коэффициентами 1. Нахождение узлов Квадратурные формулы с равными коэффициентами b
n
a
k =1
∫ p( x) f ( x)dx ≈ c ∑ f ( xk )
(1)
очень удобны при численных расчетах. Это привлекло внимание многих ученых и побудило их заняться разработкой теории этих формул. Впервые в общем случае задачу о построении таких формул сделал П. Л. Чебышев, поэтому квадратурные формулы с равными коэффициентами называют формулами Чебышева. Формула (1) содержит n + 1 параметров c, x1 ,K , xn и выбором их можно сделать равенство точным для всевозможных многочленов степени ≤ n . Требованию точного выполнения формулы (1) для f ≡ 1 удовлетворяет следующее уравнение:
73
b
∫ p( x)dx = cn ,
a
откуда можно найти коэффициент cn =
1b ∫ p( x)dx . na
(2)
Для нахождения узлов xk нужно потребовать, чтобы формула (1) точно выполнялась для функций f = x, x 2 ,K, x n . В результате получим систему уравнений b ⎫ x1 + x2 + K + xn = c −1 ∫ p ( x) xdx, ⎪ ⎪ a b ⎪ x12 + x22 + K + xn2 = c −1 ∫ p( x) x 2 dx,⎪ ⎬ a . . . . . . . . . . . . ⎪ ⎪ b ⎪ n n n n −1 x1 + x2 + K + xn = c ∫ p ( x) x dx.⎪ a ⎭
(3)
Построим многочлен ω(x) степени n , для которого узлы квадратурной формулы x1 ,K , xn будут корнями
ω( x) = ( x − x1 )( x − x2 )K ( x − xn ) .
(4)
От этого многочлена можно перейти к многочлену по степеням x : ω( x) = x n + A1 x n −1 + A2 x n − 2 + K + An .
(5)
Коэффициенты A1 ,K, An будут известными элементарными симметрическими функциями корней. С другой стороны, левые части уравнений системы (3) есть суммы степеней корней xk : s k = x1k + x2k + K + x nk (k = 1, 2, K , n) . В правых частях уравнений стоят значения этих функций для многочлена (4).
74
В алгебре многочленов хорошо известны соотношения между элементарными симметрическими функциями Ai (i = 1, 2, K, n) и функциями s k ( k = 1, 2, K , n) . Они даются следующими равенствами, которые часто называют соотношениями Ньютона: s1 + A1 = 0, s 2 + A1s1 + 2 A2 = 0, . . . . . . . . s n + A1s n −1 + A2 s n − 2 + K + nAn = 0.
(6)
Система уравнений позволяет последовательно найти все коэффициенты Ai (i = 1, 2, K , n) по известным значениям sk из системы (3). По Ai может быть построен многочлен ω(x) . Узлы квадратурной формулы найдем, если приравняем нулю многочлен ω(x) ; корни многочлена и будут узлами xk . По смыслу изучаемой задачи узлы xk должны быть различными, действительными и принадлежать отрезку интегрирования. Таким образом, возможно построение формулы (1), верной для многочленов ω(x), коэффициенты Ai которого найдены указанным способом.
2. Интегралы с постоянной весовой функцией Рассмотрим случай, когда весовая функция постоянна. Отрезок интегрирования приведем к отрезку [−1, 1] и рассмотрим квадратурную формулу 1
n
−1
k =1
∫ f ( x)dx ≈ c ∑ f ( xk ) .
(1)
Коэффициент c и узлы xk выберем так, чтобы формула (1) давала точный результат для многочленов степени n . Коэффициент c определится из требования, чтобы формула (1) была точной для f = 1 и будет иметь значение
75
2 c= . n Поскольку 1
k ∫ x dx =
−1
1 − (−1) k +1 , k +1
система уравнений вида (3) разд. 1 для определения узлов x1 ,K , xn будет такой: s1 = x1 + x 2 + ... + x n = 0,
⎫ ⎪ n ⎪ s 2 = x12 + x 22 + ... + x n2 = , ⎪ 3 ⎪ 3 3 3 s 3 = x1 + x 2 + ... + x n = 0, ⎪ ⎪ ⎬ 4 4 4 n s 4 = x1 + x 2 + ... + x n = , ⎪ 5 ⎪ ........................................ ⎪ n +1 ⎪ n 1 − (− 1) .⎪⎪ s n = x1n + x 2n + ... + x nn = ⋅ 2 n +1 ⎭
(2)
Коэффициенты многочлена ω(x) должны быть найдены из системы (6) разд. 1, которая в рассматриваемом случае имеет форму A1 = 0, ⎫ ⎪ n + 2 A2 = 0, ⎪ 3 ⎪ A3 = 0, ⎪ n n ⎪ + A2 + 4 A4 = 0, ⎪ 5 3 ⎬ A5 = 0, ⎪ ⎪ n n n + A2 + A4 + 6 A6 = 0,⎪ 7 5 3 ⎪ A7 = 0, ⎪ . . . . . . . . . . ⎪⎭
76
(3)
Все коэффициенты Ak нечетных номеров равны нулю и в многочлен ω(x) будут входить либо только четные, либо только нечетные степени x : ω( x) = x n + A2 x n − 2 + A4 x n − 4 + K . Корни ω(x) , являющиеся узлами формулы (1), располагаются на отрезке [−1, 1] симметрично относительно точки x = 0 . В частности, если n есть число нечетное, то один из корней обязательно равен нулю. Отметим еще один факт, касающийся точности квадратурных формул рассматриваемого вида. Пусть n – число четное: n = 2m . Соответствующие значения xk должны удовлетворять системе
x1 + x2 + K + xn = 0, . . . . . . . . n n . x1 + x2n + K + xnn = n +1 Ввиду того, что n + 1 = 2m + 1 есть число нечетное, а узлы xk расположены симметрично относительно x = 0 , то будет выполняться равенство x1n +1 + x2n +1 + K + xnn +1 = 0 , откуда следует, что формула (1) будет точной не только для многочленов степени n , но также для многочленов степени n + 1 . Можно построить квадратурные формулы для нескольких первых значений n . Далее приведена формула Чебышева (1) 1
2
∫ f ( x) dx ≈ n [ f ( x1) + f ( x2 ) + K + f ( xn )]
−1
с действительными узлами для n = 1 (1) 7, 9 : n=1
x1 = 0;
n = 2 x2 = − x1 = 0,577350; n = 3 x3 = − x1 = 0, 701107, x2 = 0; 77
n = 4 x4 = − x1 = 0, 794654, x3 = − x2 = 0,187592; n = 5 x5 = − x1 = 0,832498, x4 = − x2 = 0,374541, x3 = 0; n = 6 x6 = –x1 = 0,866247, x5 = –x2 = 0,422519, x4 = –x3 = 0,266635; n = 7 x7 = –x1 = 0,883862, x6 = –x2 = 0,529657, x5 = –x3 = 0,323912; x4 = 0; n = 9 x9 = –x1 = 0,911589, x8 = –x2 = 0,601019, x7 = –x3 = 0,528762; x6 = –x4 = 0,167906, x5 = 0. Для n = 8 среди корней многочлена ω(x) будут комплексные числа и поэтому формула Чебышева (1) с действительными узлами не может быть построена. Вычисление узлов было продолжено для нескольких значений n , больших 9, но каждый раз оказывалось, что некоторые из корней ω(x) были комплексными и формула Чебышева (1) не могла быть построена. В работах С. Н. Бернштейна показано, что построить формулу Чебышева для n > 9 , верную для многочленов степени n , невозможно.
Контрольные вопросы 1. Нахождение узлов квадратурной формулы с равными коэффициентами. 2. Нахождение узлов квадратурной формулы с равными коэффициентами и с постоянной весовой функцией. 3. Увеличивается ли точность квадратурной формулы при четном числе узлов? 4. При каких значениях n возможно построить точную квадратурную формулу Чебышева?
78
Лекция9 Сходимость квадратурного процесса 1. Проблема сходимости квадратурного процесса Рассмотрим последовательность квадратурных формул, число узлов n в которых может принимать все целые значения n = 1, 2, K . Такая последовательность определяется двумя треугольными матрицами: матрицей узлов ⎤ ⎡ x (1) ⎥ ⎢ (12) ⎥ ⎢ x1 , x2( 2) ⎥ X =⎢. . . . . . . .⎥ ⎢ ⎢ x ( n) , x ( n) , K x n( n) ⎥ 2 ⎥ ⎢ 1 . . . . . . ⎥⎦ ⎢⎣ . .
(1)
и матрицей коэффициентов ⎡ A(1) ⎢ (12) ⎢ A1 , A=⎢ . . ⎢ ⎢ A( n) , ⎢ 1 ⎢⎣ . .
⎤ ⎥ ⎥ A2( 2) ⎥ . . . . . .⎥. A2( n) , K An( n) ⎥ ⎥ . . . . . . ⎥⎦
(2)
Возьмем квадратурную формулу, соответствующую строкам номера n этих матриц:
79
b
n
a
k =1
( n) (n) ∫ p( x) f ( x)dx = ∑ Ak f ( xk ) + Rn ( f ) = Qn ( f ) + Rn ( f ) .
(3)
Квадратурный процесс, определяемый матрицами X и A , сходится для функции f , если n
b
k =1
a
lim Qn ( f ) = lim ∑ Ak( n) f ( xk( n ) ) = ∫ p ( x) f ( x)dx . n →∞ n→∞
(4)
Сходимость процесса зависит как от свойств интегрируемой функции f , так и от выбора квадратурных формул, и задача исследования сходимости в общем виде состоит в выяснении таких связей между свойствами f и свойствами матриц X и A . Две основные проблемы теории сходимости могут быть сформулированы следующим образом. 1. Заданы матрицы X и A , нужно определить, для какого класса F функций f можно гарантировать выполнение (4). 2. Задан класс F функций f и нужно определить, каким условиям должны удовлетворять матрицы X и A , чтобы можно было гарантировать сходимость квадратурного процесса для всех функций f ∈F . Ограничимся изучением сходимости для случая конечного отрезка интегрирования.
2. Сходимость квадратурного процесса Изучим квадратурный процесс (3) разд. 1, определяемый матрицей узлов (1) разд. 1 и матрицей коэффициентов (2) разд. 1. Вес p (x) может быть любой суммируемой функцией. Пусть задан некоторый класс F функций f . Нужно выяснить, каким условиям нужно подчинить X и A для того, чтобы квадратурный процесс сходился для всех функций заданного класса. Теорема 1. Для того, чтобы квадратурный процесс (3) разд. 1 сходился для всякой функции f , непрерывной на отрезке [a, b] , необходимо и достаточно выполнение двух условий:
80
1) процесс сходится для всякого многочлена; 2) существует число K такое, что при n = 1, 2, K выполняется неравенство n
( n) ∑ Ak ≤ K .
(1)
k =1
Доказательство. Если на множестве функций, непрерывных на [a, b] , определить норму следующим способом: f = max f ( x) , то [ a,b ]
такое множество можно рассматривать как линейное нормированное типа Банаха. Квадратурная сумма пространство C n
b
k =1
a
Qn ( f ) = ∑ Ak( n) f ( xk( n) ) и интеграл I ( f ) = ∫ p ( x ) f ( x)dx есть два линейных функционала, определенных на C . Значения Qn ( f ) и I ( f ) принадлежат числовому пространству, которое также принадлежит пространству типа Банаха. К задаче выяснения условий сходимости квадратурного процесса Qn ( f ) → I ( f ), n → ∞ , может быть применена теорема Банаха о сходимости последовательности линейных операторов. Необходимым и достаточным условием сходимости является выполнение двух требований: 1) сходимость на множестве элементов, всюду плотном в пространстве, где определены операторы, и 2) ограниченность в совокупности норм операторов. За множество, всюду плотное в C , по теореме Вейерштрасса о возможности сколь угодно точного равномерного приближения всякой непрерывной функции многочленами может быть принято множество алгебраических многочленов, и первым требованием в рассматриваемой задаче будет требование сходимости квадратурного процесса для всякого многочлена. Норма функционала Qn ( f ) имеет значение n
n
Qn = sup ∑ Ak( n ) f ( xk( n ) ) = ∑ Ak( n) . f ≤1 k =1
k =1
81
Выполнение неравенства (1) есть требование ограниченности в совокупности норм функционалов Qn ( f ) . Теорема доказана. Две следующие теоремы являются следствиями теоремы 1. Теорема 2. Если все коэффициенты Ak(n) неотрицательны, то для
сходимости квадратурного процесса для данной непрерывной функции необходимо и достаточно, чтобы он сходился для всякого многочлена. Доказательство. Необходимость условия теоремы очевидна. Достаточность условия видна из того, что для многочлена нулевой степени f = 1 должна выполняться сходимость b
Qn (1) → ∫ pdx, n → ∞ . a
Поэтому значения Qn (1), n = 1, 2, K ограничены: Qn (1) ≤ K . Но n
n
k =1
k =1
( n) ( n) ∑ Ak = ∑ Ak = Qn (1) ≤ K ,
и выполняется не только первое, но и второе условие теоремы 1, и процесс сходится для всякой непрерывной функции. Частный вид теоремы 1 можно сформулировать в виде теоремы 3, в которой коэффициенты квадратурной формулы ограничены и конечны. Теорема 3. Для сходимости интерполяционного квадратурного процесса для любой непрерывной функции необходимо и достаточно выполнение неравенства n
( n) ∑ Ak ≤ K < ∞ .
k =1
Доказательство. Второе условие теоремы 1 является также условием теоремы 3, первое условие теоремы 1 выполнено, так как если
82
f есть многочлен, то, когда n станет больше степени многочлена, b
будет выполняться равенство Qn ( f ) = ∫ p f dx . a
Выясним условия сходимости квадратурного процесса в классах дифференцируемых функций. Введем кусочно-постоянную функцию n
Fn0 ( x) = ∑ Ak( n ) E ( x − xk( n) ) . Наряду с ней будем рассматривать перk =1
вообразные функции любого порядка r , удовлетворяющие началь( j) ным условиям Fnr (a) = 0 ( j = 0, 1, K , r − 1) : x
Fnr ( x) = ∫ Fn0 (t ) a
n ( x − xk( n) ) r ( x − t ) r −1 . dt = ∑ Ak( n) E ( x − xk( n ) ) (r − 1)! r! k =1
(2)
Теорема 4. Для того, чтобы квадратурный процесс (1) при n → ∞ сходился для всякой функции f ∈ Cr [a, b] , необходимо и достаточно выполнение условий: 1) процесс сходится для многочлена;
2) полные вариации первообразных функций порядка r Fnr (x), n = 1, 2, K , ограничены в совокупности: b
Var Fnr (t ) ≤ M . a
Доказательство. Если f ∈ C r [a, b] при r ≥ 1 , разлагая f по формуле Тейлора около точки b , можно представить функцию в форме x f ( i ) (b ) ( x − t ) r −1 dt = ( x − b ) i + ∫ f ( r ) (t ) i! r − ( 1 )! i =0 b r −1
f ( x) = ∑
b f ( i ) (b ) (t − x) r −1 dt . ( x − b) i + (−1) r ∫ f ( r ) (t ) E (t − x) i! (r − 1)! i =0 a r −1
= ∑
83
Наоборот, каковы бы ни были числа f (i ) (b) , непрерывная на отрезке [a, b] функция f ( r ) (t ) , f (x) , определенная такой формулой, принадлежит классу C r [a, b] . Остаток квадратуры Rn ( f ) вычисляется по следующей формуле, характерной для класса C r [a, b] : f ( i ) (b ) Rn [( x − b}i + i! i =0 r −1
Rn ( f ) = ∑
⎡b b n (t − xk( n) ) r −1 ⎤ (t − x) r −1 ⎥dt = dx − ∑ Ak( n) E (t − xk(n) ) + (−1) r ∫ f (r ) (t )⎢ ∫ p( x) E (t − x) (r − 1)! (r − 1)! ⎥ ⎢a 1 k = a ⎦ ⎣ b ⎡t ⎤ f (i ) (b) (t − x) r −1 Rn [( x − b) i ] + (−1) r ∫ f ( r ) (t ) ⎢ ∫ p( x) dx − Fn, r −1 (t )⎥dt. (3) i! (r − 1)! ⎢⎣a ⎥⎦ i =0 a r −1
= ∑
Сходимость квадратурного процесса, ввиду независимости параметров формулы f (i ) (b) (i = 0, 1, K , r − 1) и f ( r ) (t ) , равносильна тому, что при n → ∞
Rn [( x − b) i ] → 0, i = 0, 1, K, r − 1
(4)
и b ⎡t ⎤ ( x − t ) r −1 Rn* ( f ( r ) ) = ∫ f ( r ) (t ) ⎢ ∫ p ( x) dx − Fn, r −1 (t )⎥dt → 0 . (5) ( r − 1)! ⎢⎣ a ⎥⎦ a
Формулы (4) и (5) означают, что квадратурный процесс должен сходиться для всякого многочлена степени ≤ r − 1 . Условие (5) должно выполняться при любой непрерывной функции
f (r ) . Если на множестве функций
f (r )
ввести норму
f ( r ) = max f ( r ) (t ) , то мы можем его рассматривать как пространt
ство C . По теореме Банаха, стремление Rn* ( f ( r ) ) к нулю при n → ∞ равносильно выполнению двух требований: 84
1. Функционал Rn* ( f ( r ) ) должен стремиться к нулю на множестве элементов, всюду плотном в C . Но требование Rn* ( f ( r ) ) → 0, n → ∞ , когда f (r ) есть полином любой степени, совместно с формулой (4) эквивалентно тому, что квадратурный процесс должен сходиться для всякого многочлена. 2. Нормы функционалов Rn* ( f ( r ) ) , n = 1, 2, K , должны быть ограничены в совокупности: b t
Rn* = ∫ ∫ p( x) a a
bt
Заметив, что ∫ ∫ p aa
(t − x) r −1 dx − Fn ,r −1 (t ) dt ≤ L, n = 1, 2, K . (r − 1)!
(t − x )r −1 dx dt (r − 1)!
что ограниченность норм Rn*
не зависит от n , можно сказать,
равносильна ограниченности сово-
купности интегралов от Fn, r −1 (t ) : b
∫ Fn, r −1 (t ) dt ≤ M , n = 1, 2, K .
a
Так как
d Fn, r (t ) = Fn, r −1 (t ) , последние неравенства означают dt b
Var Fnr (t ) ≤ M , n = 1, 2, K . a
Можно убедиться в том, что все изложенное остается верным и в случае r = 0 . Теорема 4 доказана.
Контрольные вопросы 1. Понятие сходимости квадратурного процесса. 2. Сформулировать две основные проблемы сходимости. 3. Какие два условия должны выполняться для того, чтобы квадратурный процесс сходился для всякой непрерывной на конечном отрезке функции?
85
4. Условие сходимости квадратурного процесса при неотрицательных коэффициентах Ak(n) для непрерывной функции. 5. Какие условия необходимы, чтобы квадратурный процесс сходился для всякой функции f ∈ C r [a, b] ?
Л е к ц и я 10
Простейшие способы вычисления кратных интегралов 1. Метод ячеек Рассмотрим двойной интеграл по прямоугольнику G (a ≤ x ≤ b, α ≤ y ≤ β) . По аналогии с формулой средних значений можно приближенно заменить функцию ее значением в центральной точке прямоугольника. Тогда интеграл легко вычисляется: βb
∫ ∫ f ( x, y ) dx dy ≈ S f ( x , y ),
αa
S = (b − a )(β − α ), (1) a+b α+β x= ,y= . 2 2 Для повышения точности можно разбить область интегрирования G на прямоугольные ячейки (рис. 1)
Рис. 1
86
Приближенно вычисляя интеграл в каждой ячейке по формуле средних и обозначая через S i , xi , yi соответственно площадь ячейки и координаты ее центра, получим
I = ∫∫ f ( x, y )dxdy ≈ ∑ S i f ( xi , yi ) .
(2)
i
G
Справа стоит интегральная сумма; следовательно, для любой непрерывной f ( x, y ) она сходится к значению интеграла, когда диаметры всех ячеек стремятся к нулю. Оценим погрешность интегрирования. Формула (1) по самому ее выводу точна для f ( x, y ) = const . Но непосредственной подстановкой легко убедиться, что формула точна и для любой линейной функции. Действительно, разложим функцию по формуле Тейлора:
f ( x, y ) = f ( x , y ) + ξ f x′ + η f y′ +
1 2 1 ξ f xx′′ + ξ η f xy′′ + η2 f yy′′ + K , (3) 2 2
где ξ = x − x , η = y − y , а все производные берутся в центре ячейки. Подставляя это разложение в правую и левую части квадратурной формулы (1) и сравнивая их, получим выражение погрешности этой формулы: β b
R = ∫ ∫ f ( x, y )dxdy − S f ( x , y ) ≈ α a
[
]
1 S (b − a) 2 f xx′′ + (β − α) 2 f yy′′ . (4) 24
Пусть в обобщенной кубатурной формуле (2) стороны прямоугольника разбиты соответственно на N и M равных частей. Тогда погрешность интегрирования (4) для единичной ячейки равна 2 2 ⎤ 1 ⎡⎛ b − a ⎞ ⎛β−α⎞ ′′ + ⎜ ′′ ⎥ . S i ⎢⎜ ⎟ f xx ⎟ f yy 24 ⎢⎝ N ⎠ ⎝ M ⎠ ⎥⎦ ⎣ i Суммируя это выражение по всем ячейкам, получим погрешность обобщенной формулы
Ri ≈
R≈
1 ⎡⎛ b − a ⎞ ⎟ ⎢⎜ 24 ⎢⎣⎝ N ⎠
2
∫∫ G
⎛β − α⎞ f xx′′ dxdy + ⎜ ⎟ ⎝ M ⎠
87
2
⎤
∫∫ f ′′ dxdy⎥⎥ = O( N yy
G
⎦
−2
+ M −2 ) , (5)
т. е. формула имеет второй порядок точности. Обобщим формулу ячеек на более сложные области. Легко видеть, что для линейной функции f ( x, y ) формула вида (1) будет точна в области произвольной формы, если под S подразумевать площадь области, а под x , y – координаты центра тяжести, вычисляемые по обычным формулам:
S = ∫∫ dxdy, G
x=
1 S
∫∫ xdxdy, G
y=
1 S
∫∫ ydxdy.
(6)
G
Практическую ценность такая кубатурная формула имеет только для областей простой формы, где площадь и центр тяжести легко определяются, например, для треугольника, правильного многоугольника, трапеции. Это значит, что обобщенную формулу (2) можно применять к областям, ограниченным ломаной линией, поскольку такую область всегда можно разбить на прямоугольники и треугольники. Для области с криволинейной границей формулу (2) применяют иным способом. Наложим на область G прямоугольную сетку. Те ячейки сетки, все точки которых принадлежат области, назовем внутренними; если часть точек ячейки принадлежит области, а часть – нет, то назовем ячейку граничной. Площадь внутренней ячейки равна произведению ее сторон. Площадью граничной ячейки будем считать площадь той ее части, которая попадет внутрь G ; эту площадь вычислим приближенно, заменяя в пределах данной ячейки истинную границу области на хорду. Эти площади подставим в формулу (2) и вычислим интеграл. Оценим погрешность формулы (2). В каждой внутренней ячейке ошибка составляет O( N −2 ) по отношению к значению интеграла по данной ячейке. В каждой граничной ячейке относительная ошибка есть O( N −1 ) , так как центр прямоугольной ячейки не совпадает с центром тяжести ячейки, входящей в интеграл ее части. Но граничных ячеек примерно в N раз меньше, чем внутренних. Поэтому при суммировании по ячейкам общая погрешность будет O( N −2 ) , если функция дважды дифференцируема, а граница области есть кусочногладкая кривая; это означает второй порядок точности. 88
Вычисление площади граничной ячейки довольно трудоемко, так как требует определения положения границы внутри ячейки. Можно вычислять интегралы по граничным ячейкам более грубо или не включать их в сумму (2). Погрешность при этом будет O( N −1 ) , и для хорошей точности потребуется более подробная сетка. Метод ячеек переносится на большее число измерений.
2. Последовательное интегрирование Рассмотрим интеграл по прямоугольнику, разбитому сеткой на ячейки. Его можно вычислить последовательным интегрированием: βb
β
I = ∫ ∫ f ( x, y )dxdy = ∫ F ( y )dy, αa
b
α
F ( y ) = ∫ f ( x, y )dx. a
Каждый однократный интеграл легко вычисляется на данной сетке по квадратурным формулам. Последовательное интегрирование по обоим направлениям приводит к кубатурным формулам, которые являются прямым произведением одномерных квадратурных формул F ( y j ) ≈ ∑ ci f ( xi , y j ), I = ∑ c j F ( y j ), i
j
или I ≈ ∑ cij f ( xi , y j ), cij = ci c j .
(1)
i, j
Например, если по каждому направлению выбрана обобщенная формула трапеций, а сетка равномерная, то веса кубатурной формуcij 1 1 = 1, , соответственно для внутренних, граничных лы равны hx h y 2 4 и угловых узлов сетки. Легко показать, что для дважды непрерывно дифференцируемых функций эта формула имеет второй порядок точности. Вообще говоря, для разных направлений можно использовать квадратурные формулы разных порядков точности p и q . Тогда 89
главный член погрешности имеет вид R = O(hxp + h yq ) . Многократно сгущать сетку при этом условии нелегко, если p ≠ q ; поэтому желательно для всех направлений использовать квадратурные формулы одинакового порядка точности. Можно подобрать веса и положение линий сетки так, чтобы каждая одномерная квадратурная формула была точна для многочлена максимальной степени, т. е. была формулой Гаусса; тогда 1 1 1 cij = (b − a )(β − α) γ i γ j , xi = (a + b) + (b − a)ξ i , 4 2 2 (2) 1 1 y j = (α + β) + (β − α)ξ j , 1 ≤ i, j ≤ n, 2 2 где ξ, γ – нули многочленов Лежандра и соответствующие веса. Эти формулы рассчитаны на функции высокой гладкости и дают для них большую экономию в числе узлов по сравнению с более простыми формулами. Метод последовательного интегрирования можно применять к области произвольной формы с криволинейной границей. Для этого проведем через область хорды параллельные оси Ox, и на них введем узлы, расположенные на каждой хорде так, как нам требуется. Представим интеграл в виде β
I = ∫∫ f ( x, y )dxdy = ∫ F ( y ) dy, G
F ( y) =
ϕ2 ( y)
α
∫ f ( x, y )dx.
ϕ1 ( y )
Сначала вычислим интеграл по x вдоль каждой хорды по какойнибудь одномерной квадратурной формуле, используя введенные узлы. Затем вычислим интеграл по y ; здесь узлами будут служить проекции хорд на ось ординат.
Контрольные вопросы 1. Кубатурная формула метода ячеек. 2. Погрешность кубатурной формулы ячеек.
90
3. Особенности вычисления кратного интеграла по области с криволинейной границей. 4. Последовательное интегрирование кратного интеграла. 5. Последовательное интегрирование по произвольной области.
Л е к ц и я 11
Метод статистических испытаний 1. Случайные величины Пусть нужно измерить значение некоторой величины ξ , на которую влияет большое число различных факторов. Мы не можем учесть их действие, поэтому заранее не известно, какое значение примет эта величина. Величину ξ называют случайной с плотностью распределения ρ(x) , если вероятность того, что величина примет значения между x2
x1 и x2 , равна ∫ ρ( x)dx. По смыслу вероятности ρ(x) неотрицательx1
на и нормирована: ρ( x) ≥ 0,
+∞
∫ ρ( x)dx = 1 .
(1)
−∞
Очевидно, если значения ξ заключены между a, b , то ρ( x) = 0 вне указанных пределов и интеграл (1) надо брать только по отрезку [a, b] . Величина ξ может быть дискретной, т. е. принимать только определенные значения xi с вероятностями ρi . Дискретную величину можно формально объединить с непрерывной, если положить ρ( x) = ∑ ρi δ( x − xi ), ρi > 0, ∑ ρi = 1, i
i
где δ( x − xi ) есть δ -функция. Рассмотрим равномерно распределенную случайную величину. Для этого введем следующую случайную функцию:
91
ξ
γ (ξ) = ∫ ρ( x)dx .
(2)
−∞
Она принимает значения 0 ≤ γ ≤ 1 и монотонно зависит от ξ . Вероятность того, что γ лежит между γ1 = γ (ξ1 ) и γ 2 = γ (ξ 2 ) , равна вероятности того, что ξ лежит между ξ1 и ξ 2 . А последняя вероятξ2
ность есть ∫ ρ( x)dx = γ 2 − γ1 , т. е. она равна длине интервала по γ и ξ1
не зависит от положения этого интервала. Это значит, что γ (ξ) с равной вероятностью принимает любое значение на отрезке [0, 1] . Поэтому ее называют случайной величиной, равномерно распределенной на отрезке [0, 1] . Плотность распределения γ равна ρ ( γ ) = 1 при 0 ≤ γ ≤ 1 и ρ ( γ ) = 0 вне этого отрезка.
2. Разыгрывание случайной величины Из всех случайных величин проще всего разыгрывать (моделировать) равномерно распределенную величину γ . Рассмотрим, как это делается. Возьмем какое-то устройство, на выходе которого с вероятностью 1 могут появляться цифры 0 или 1; появление той или иной цифры 2 должно быть случайным. Таким устройством может быть бросаемая монета, игральная кость (четно – 0, нечетно – 1) или специальный генератор, основанный на подсчете числа радиоактивных распадов. Запишем γ как двоичную дробь γ11 = 0, α1α 2 α 3 K и на место последовательных разрядов будем ставить цифры, выдаваемые генератором: например, γ11 = 0,010110K . Поскольку в первом разряде с равной вероятностью могут стоять 0 или 1, это число с равной вероятностью лежит в левой или правой половине отрезка 0 ≤ γ ≤ 1 . Поскольку во втором разряде тоже 0 и 1 равновероятны, число с равной вероятностью лежит в каждой половине этих половин и так далее. Значит, двоичная дробь со случайными цифрами действительно с равной вероятностью принимает любое значение на отрезке 0 ≤ γ < 1 .
92
Строго говоря, разыграть можно только конечное число разрядов k . Поэтому распределение будет не вполне требуемым; математическое ожидание Mγ окажется меньше 1 2 на величину ≈ 2 − k −1 (ибо значение γ = 0 возможно, а значение γ = 1 невозможно). Чтобы этот фактор не сказывался, следует брать многоразрядные числа. Так как реальные случайные числа имеют погрешности, то вводятся псевдослучайные числа. Реальные генераторы случайных чисел не свободны от систематических ошибок: несимметричность монеты, дрейф нуля и так далее. Поэтому качество выдаваемых ими чисел проверяют специальными тестами. Простейший тест – вычисление для каждого разряда частоты появления нуля. Более сложные тесты – это вычисление коэффициентов корреляции последовательных чисел κ = ∑ ( γ i − 1 2 )( γ i +1 − 1 2 ) i
или групп разрядов внутри числа; эти коэффициенты должны быть близкими к нулю. Если какая-то последовательность чисел удовлетворяет этим тестам, то ее можно использовать в расчетах по методу статистических испытаний, не интересуясь ее происхождением. Разработаны алгоритмы построения таких последовательностей; символически их записывают рекуррентными формулами γ i = f ( γ i −1 ) или γ i = f ( γ i −1 , γ i − 2 ,K , γ i − k ). (1) Такие числа называют псевдослучайными и вычисляют на ЭВМ. Наиболее употребителен несложный алгоритм, связанный с выделением дробной части произведения γ i = {A γ i −1}, (2) где A – очень большая константа, фигурные скобки обозначают дробную часть числа. Строго говоря, закономерность псевдослучайных чисел должна быть незаметна по отношению к требуемому частному применению. Перейдем к произвольному распределению случайной величины. Для разыгрывания случайной величины с неравномерным распреде-
93
лением ρ(x) можно воспользоваться формулой (2) разд. 1. Разыграем γ и определим ξ из равенства ξi
γ i = ∫ ρ( x)dx . −∞
Если интеграл берется в конечном виде и формула несложная, то это наиболее удобный случай. Для некоторых важных распределений – Гаусса, Пуассона – соответствующие интегралы не берутся и разработаны специальные способы разыгрывания.
3. Вычисление интеграла Значение случайной функции f (ξ) заключено между f (x) и f ( x + dx) , если ξ заключено между x и x + dx ; вероятность этого события равна ρ( x)dx . Математическое ожидание случайной функции и ее дисперсия соответственно равны +∞
Mf (ξ) = ∫ f ( x)ρ( x)dx ,
(1)
−∞
+∞
D f (ξ) = ∫ [ f ( x) − M f (ξ)]2 ρ( x)dx = M f 2 (ξ) − [M f (ξ)]2 . (2) −∞
Таким образом, одномерный интеграл можно рассматривать как математическое ожидание случайной функции f (ξ) , аргумент которой есть случайная величина с плотностью распределения ρ(x) . Существует два способа вычисления статистического вычисления интегралов. Первый способ статистического вычисления интегралов. Математическое ожидание можно приближенно вычислить на основании центральной предельной теоремы теории вероятностей: если η есть случайная величина, то среднее арифметическое многих испытаний 1 N ζ N = ∑ ηi тоже есть случайная величина с тем же математиN i =1 ческим ожиданием Mζ N = Mη , причем при N → ∞ распределение 94
ζ N стремится к гауссову (нормальному) распределению с дисперси1 ей Dζ N = Dη . N При большом числе испытаний дисперсия ζ N мала, т. е. значение среднеарифметического с хорошей вероятностью будет близко к математическому ожиданию. Поэтому можно положить +∞
1 N
∫ f ( x)ρ( x)dx ≈ N ∑ f (ξi ) , i =1 −∞
(3)
где ξ – случайная величина с плотностью распределения ρ(x) . Оценим дисперсию отдельного испытания по формуле (2), заменяя в ней математические ожидания на суммы типа (3); тогда дисперсия среднеарифметического значения приближенно равна 2 ⎧ ⎡1 N ⎤ ⎫⎪ 1 1 ⎪1 N 2 Δ N ≈ Df (ξ) ≈ ⎨ ∑ f (ξ i ) − ⎢ ∑ f (ξ i )⎥ ⎬. N N − 1 ⎪ N i =1 ⎣ N i =1 ⎦ ⎪⎭ ⎩
(4)
Появление делителя N − 1 вместо N перед фигурной скобкой обосновывается в теории вероятностей; правда, это существенно при очень малых числах испытаний. Ответ в методе статистических испытаний носит вероятностный характер и в принципе может сколь угодно сильно отличаться от значения интеграла. Однако, согласно свойствам нормального распределения, с вероятностью 99,7 % ошибка не превосходит 3 Δ N . Вероятной называют ошибку 0,675 Δ N , соответствующую 50%-й вероятности; реальная ошибка обычно близка к этой величине – примерно вдвое больше или меньше. Таким образом , выполняя расчеты по формулам (3)–(4), мы одновременно с интегралом получаем неплохую оценку ошибки. При увеличении числа испытаний N погрешность ответа будет 1 . Поэтому на точность выше 0,1 % в меубывать примерно как N тоде статистических испытаний трудно рассчитывать. В сложных
95
задачах погрешность возрастает до 1…10 %. Поскольку погрешность 1 имеет вероятностный характер, то зависимость относится не к N самой погрешности, а лишь к ширине доверительного интервала. Поэтому нельзя приписывать методу статистических испытаний строгий порядок точности. Второй способ статистического вычисления применяется к интегралам
вида
1
∫ f ( x)dx , причем на отрезке интегрирования
0
0 ≤ f ( x) ≤ 1 . Произвольный интеграл можно привести к такому виду линейной заменой масштабов. Возьмем случайные числа γ i , равномерно распределенные на единичном отрезке. Будем рассматривать последовательные пары чисел ( γ 2i , γ 2i +1 ) как координаты ( xi , yi ) точек в единичном квадрате на плоскости x, y (рис. 1).
Рис. 1
Эти точки будут случайными и равномерно распределенными в этом квадрате. Поэтому вероятность попадания точки под кривую y = f (x) равна величине площади, заключенной под кривой, т. е. искомому интегралу. Условие попадания точки под кривую есть γ 2i +1 < f ( γ 2i ) ; та доля общего числа испытаний, которая удовлетворяет этому условию, дает приближенное значение интеграла.
4. Кратные интегралы 96
Второй способ легко обобщается на многомерные интегралы I = ∫ f ( x, y, z )dxdydz по единичному кубу G (для определенности G
мы выбираем трехмерное пространство), если 0 ≤ f ( x, y, z ) ≤ 1 внутри этого куба. Рассмотрим куб в четырехмерном пространстве x, y, z , u и случайные равномерно распределенные в нем точки; координатами этих точек будут последовательные четверки случайных чисел γ 4i + k , k = 0, 1, 2, 3 . Доля случайных точек, удовлетворяющая неравенству γ 4i + 3 < f ( γ 4i , γ 4i +1 , γ 4i + 2 ) , даст приближенное значение искомого интеграла. Чем больше число измерений, тем более жесткими тестами нужно проверять качество псевдослучайных чисел, используемых в расчете. Для гладких функций можно получить более хорошие результаты при несложном построении сетки, если выбрать число узлов N = k m , где m – число измерений. Разобьем единичный куб на N кубиков со 1 стороной , в каждом кубике выберем одну случайную точку и выk числим по этим точкам интеграл. Дисперсия этого метода есть −
1 1 − 2 m),
−
1 2),
Δ N = O( N т. е. она меньше оценки O( N получающейся при обычном применении метода Монте-Карло. Поскольку дисперсия второго способа велика, первый способ статистического вычисления интегралов точнее. Пусть ρ( x, y, z ) ≥ 0 есть многомерная плотность распределения некоторой случайной величины. Тогда аналогично одномерному случаю,
∫ f ( x, y, z )ρ( x, y, z )dxdydz = Mf (ξ, η, ζ) ≈
G
1 N ∑ f (ξi , ηi , ζ i ). N i =1
(1)
Как найти случайную трехмерную точку с заданным распределением плотности по тройке равномерно распределенных случайных чисел γ 3i , γ 3i +1 , γ 3i + 2 ? Для этого надо свести разыгрывание многомерной плотности к последовательным разыгрываниям одномерных случайных величин с плотностями R ( x), R( y ), R( z ) .
97
Для разыгрывания координаты x построим одномерную плотность распределения по этой координате при произвольных остальных координатах +∞ +∞
R ( x) = ∫ ∫ ρ( x, y, z )dydz . −∞ −∞
Очевидно, функция R (x) неотрицательна и нормирована на единицу, т. е. удовлетворяет предъявленным к плотности требованиям. Поэтому формула разыгрывания имеет вид ξi
γ 3i = ∫ R( x)dx . −∞
Теперь одна координата разыграна. Надо найти плотность распределения по второй координате при фиксированной первой координате и произвольной третьей. Если первую координату зафиксировать, а по третьей проинтегрировать, то полученное выражение не удовлетворит условию нормировки (интеграл по y не равен 1). Нормируя его, получим искомую плотность +∞
R ( y, ξ i ) = R −1 (ξ i ) ∫ ρ(ξ i , y, z )dz . −∞
Вторая координата разыгрывается по формуле ηi
γ 3i +1 = ∫ R ( y, ξ i )dy . −∞
Плотность распределения по третьей координате при фиксированных первых двух координатах пропорциональна ρ(ξ i , ηi , z ) . Для нормировки надо положить
R( z, ξ i , ηi ) = R −1 (ξ i ) R −1 (ηi , ξ i )ρ(ξ i , ηi , z ) , тогда интеграл по ячейке равен единице. Соответственно формула разыгрывания имеет вид ζi
γ 3i + 2 = ∫ R( z , ξ i , ηi )dz . −∞
98
Подставляя полученные координаты в формулу (1), вычислим искомый интеграл. Нелегко подобрать такой вид плотности ρ( x, y, z ) , чтобы она содержала основные особенности подынтегральной функции. Обычно пытаются выделить плотность вида ρ( x, y, z ) = ρ1 ( x)ρ 2 ( y )ρ3 ( z ) , ибо тогда каждая координата разыгрывается независимо от остальных и легче подобрать интегрируемые выражения для одномерных плотностей. Какими методами удобнее вычислять интегралы – сеточными или статистическими? Точность метода статистических испытаний невелика, и для однократных интегралов он явно невыгоден.Для многих измерений положение резко меняется. Пусть функция m переменных интегрируется по сеточным формулам p -го порядка точности, причем сетка имеет n шагов по каждой переменной. Тогда полное число узлов есть N = n m , а погрешность расчета ε ≈ n − p . Поэтому число узлов, требуемое для достиm
⎛1⎞ p жения данной точности ε , есть N ≈ ⎜ ⎟ ; оно экспоненциально ⎝ε⎠ растет при увеличении числа измерений. При интегрировании методом статистических испытаний погреш−
1 2
2
⎛1⎞ . Поэтому полное число узлов есть N ≈ ⎜ ⎟ незави⎝ε⎠ симо от числа измерений. Очевидно, если число измерений m < 2 p , то сеточные методы требуют меньшего числа узлов и более выгодны. Если m > 2 p , то статистические методы выгодней. Чем больше число измерений, тем больший выигрыш дают статистические методы.
ность ε ≈ N
Контрольные вопросы 1. 2. 3. 4. 5.
Понятие случайной величины. Равномерное распределение случайной величины. Разыгрывание случайной величины. Псевдослучайные числа. Вычисление интеграла методом Монте-Карло.
99
6. Вычисление кратных интегралов сеточным методом. 7. Вычисление кратных интегралов статистическим методом.
Список литературы 1. Бахвалов, Н. С. Численные методы / Н. С. Бахвалов, Н. П. Жуков, Г. П. Кобельков. – М.: Наука, 1987. – 599 с. 2. Крылов, В. И. Приближенное вычисление интегралов / В. И. Крылов. – М.: ГИФМЛ, 1959. – 327 с. 3. Крылов, В. И. Справочная книга по численному интегрированию / В. И. Крылов, Л. Т. Шульгина. – М.: Наука, 1966. – 370 с. 4. Крылов, В. И. Вычислительные методы / В. И. Крылов, В. В. Бобков, Т. И. Монастырский. – Т. 1. – М.: Наука, 1976. – 303 с. 5. Никольский, С. М. Квадратурные формулы / С. М. Никольский. – М.: Наука, 1988. – 255 с.
100
СОДЕРЖАНИЕ Л е к ц и я 1. Простейшие квадратурные формулы ................................................... 4 Л е к ц и я 2. Числа и многочлены Бернулли ............................................................. 11 Л е к ц и я 3. Квадратурные формулы и задачи, связанныес с ними........................ 23 Л е к ц и я 4. Интерполяционные квадратурные формулы ...................................... 32 Л е к ц и я 5. Квадратурные формулы наивысшей алгебраической степени точности ....................................................................................................................... 45 Л е к ц и я 6. Квадратурные формулы с наименьшей оценкой остатка .................. 54 Л е к ц и я 7. Квадратурные формулы, содержащие наперед заданные узлы ......... 66 Л е к ц и я 8. Квадратурные формулы с равными коэффициентами ....................... 73 Л е к ц и я 9. Сходимость квадратурного процесса .................................................. 79 Л е к ц и я 10. Простейшие способы вычисления кратных интегралов .................. 86 Л е к ц и я 11. Метод статистических испытаний ..................................................... 91 Список литературы ...................................................................................................... 100
101