Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Дополнительные главы математики.-2

.pdf
Скачиваний:
2
Добавлен:
05.02.2023
Размер:
2 Мб
Скачать

 

 

u

 

1

 

 

u

 

1

 

 

u

 

 

 

 

 

 

 

 

 

 

.

y

x

 

2 y

z

 

2 y

w

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

по

к

f

y

по

, то

было бы

fy

fz

zy

fw

wy

, только вместо

f

здесь

u

,

u

z

w

 

.

Также вспомним про коэффициент 2, бывший в условии.

 

 

 

u

 

2

u

 

2

u

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

y

x

 

 

2 y

z

 

 

2 y

w

 

 

2

u z

 

 

2

u

w

 

 

 

 

2

u

z

 

 

2

u

w

2

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

z z y

 

z w y

 

 

 

 

w z y

 

w w y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

Кроме того, из равенств

 

z

x

 

 

y

 

и

w

x

 

y

 

 

2

 

2

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

заодно

z

 

 

1

 

,

 

w

 

 

 

1

, тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

2

 

y

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

u

 

1

 

 

 

 

2

u

 

1

 

 

 

 

 

 

2

u

 

1

 

 

 

2

u

1

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

z z

 

2

z w

 

 

2

 

 

 

w z

 

2

 

w w

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

u

 

 

 

2

u

 

 

 

 

2

u

 

 

 

2

u

 

 

 

 

2

u

 

 

 

2

u

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

.

 

 

 

 

 

z z

z w

 

w z

w w

z

2

w

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

получаем

Дифференциальное уравнение

 

 

2

u

 

2

 

0

x y

 

 

свелось к виду

2u 2u 0 . После замены переменных смешанных производных

z 2 w2

71

нет. Кстати, заметим, что собственные числа 1 и

коэффициентами нового уравнения.

1

оказались

Если знаки всех коэффициентов

aii

в части

n

 

2

u

aij

 

x

2

i 1

i

 

 

одинаковы, то

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

уравнение теплопроводности (диффузии) параболическое.

72

ЛЕКЦИЯ 8. 21.05.2019

ГЛАВА 5. О некоторых численных методах.

В следующих семестрах будет отдельный курс вычислительной математики, сейчас же краткий обзор некоторых задач и методов,

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

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

1.Метод наименьших квадратов и его обобщение.

2.Интерполяционный многочлен Лагранжа.

Кроме того, мы рассмотрим:

3. Метод Ричардсона для вычисления интегралов и решения дифференциальных уравнений.

В самом начале темы «ряд Фурье» мы уже сталкивались с наименьшим среднеквадратичным отклонением. Вспомним, что в одной из задач мы искали прямую, обладающую наименьшим среднеквадратичным отклонением от некоторой функции. Однако эта идея применима не только к функциям, но и к дискретным массивам

данных. Допустим, что проведена серия из

n

экспериментов,

в

результате

чего получены n

пар числовых

величин:

x1

, y1 , ...

,

xn , yn .

Требуется найти

прямую y kx b ,

для

которой

 

 

n

 

 

 

 

 

среднеквадратичное отклонение (kxi b) yi 2

по отношению к

n 1

73

данному массиву будет наименьшим. Чтобы найти

найти частные производные этой величины по

k

экстремум, приравнивая их к 0.

 

,

такие k , b , b и затем

нужно

найти

n

 

i

 

 

 

 

i

 

 

 

 

 

 

 

2

 

(kx

b) y

 

n 1

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

k 2 xi

2 2kxi b

n 1

 

 

 

 

 

 

 

 

 

n

k

 

 

 

 

 

 

 

 

2

 

i

2

 

i

 

 

x

 

2kx

k

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

k

 

 

 

 

 

 

 

 

2

 

i

2

 

i

 

 

x

 

2kx

b

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Попутно можно

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

(kxi b)

2

2(kxi

b) yi yi

2

=

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b2 2kx y

i

2by

i

y 2 .

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

b b

2

2kxi yi

2byi

 

2

= 2kxi

2

2

 

yi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

n

2kx 2b

b b

2

2kx y

 

2by

 

y

2

 

 

i

i

i

 

 

 

 

 

i

 

 

 

 

 

 

 

 

i

 

 

n 1

сократить все равенства на 2. Итак,

x

b 2x

y

 

i

i

i

 

2 yi .

требуется:

n

kx

 

 

i

2

 

 

n 1

 

 

x

b

i

 

x

y

 

i

i

 

0

,

n

kx

 

i

n 1

 

b

y

 

i

 

0

. Напомним,

что здесь

неизвестные это

k , b . Мы

уравнений относительно них:

можем построить систему линейных

 

n

 

n

n

 

 

n

n

n

k xi

2

b xi xi yi

 

k xi 2

b xi xi yi

 

n 1

 

n 1

n 1

 

 

n 1

n 1

n 1

 

n

 

n

n

 

n

 

n

 

k xi b yi

 

 

k xi nb yi

 

 

 

 

n 1

n 1

n 1

 

 

n 1

 

n 1

Все суммы состоят из заранее заданных величин.

Решая эту систему вида a11k a12b a10 , мы и найдём

a21k a22b a20

k , b

.

74

А теперь для примера,

точках. Пусть (0,1), (1,2)

попробуем,

две точки. x1

как этот

0

,

x2

 

метод

1,

y1

работает на 2

1,

y2

2 .

k b 2

b 1

k 1

. Ответ: прямая

y x 1 .

 

k 2b 3

 

 

 

 

Кстати, это как раз и есть прямая, содержащая две данные точки.

Обобщение метода на произвольную степень. Прямая может оказаться весьма грубым приближением. Естественно, возникает мысль аналогичным образом найти многочлен произвольной степени,

обладающий тем же свойством (наименьшее среднеквадратичное отклонение). Пусть рассматривается многочлен произвольной

степени, равной n , и дано m точек.

f (x) a0 a1x a2 x

2

... an x

n

.

 

 

 

m

 

2

При этом

f (xi ) yi

 

i 1

минимально.

 

Найдём производные по всем ai .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

2

 

m

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

a x

i

... a

n

x

i

 

y

a

 

 

1

 

 

 

 

 

i

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

a

 

 

a x

 

 

... a

 

 

x n

y

2

 

 

0

i

n

a

 

 

1

 

i

 

i

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

=

 

 

i 1

m = 2 a0

i 1

=2 a0

i 1

a

 

 

 

 

 

 

 

n

 

2

 

a x

 

... a

 

x

 

y

 

0

i

n

i

 

 

1

 

 

 

i

 

a1 xi ... an xi n yi

a1 xi ... an xi n yi xi 2

75

 

 

 

n

2

 

 

m

 

 

yi

m

a

a0

a1 xi ... an xi

 

=

i 1

 

 

 

i 1

2

 

 

 

...

 

 

 

 

 

 

 

 

n

2

 

 

m

 

 

yi

m

a

a0

a1 xi ... an xi

 

=

i 1

 

 

 

i 1

n

 

 

 

Приравниваем все эти авражения к последнее слагаемое переноим вправо.

2 a

 

a x

 

... a

 

x

 

n

y

x

 

 

0

i

n

i

 

i

 

 

1

 

 

 

i

 

 

2 a

 

a x

 

... a

 

x

 

n

y

x

 

n

0

i

n

i

 

i

 

 

1

 

 

 

i

 

 

0, попутно сократив на 2, а

Получим:

m

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a x

 

... a

 

x

 

n

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

0

i

n

i

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

x

 

a x

2

... a

 

x

 

 

x

y

 

 

 

 

 

 

0

i

i

 

n

i

 

 

 

i

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

m

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 2

 

 

m

 

 

 

 

 

 

 

 

 

 

 

x

 

2

a x

 

3

... a

 

x

 

 

x

 

2

y

 

 

0

i

 

i

 

n

i

 

 

 

i

 

 

i

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

a

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

x

 

n

a x

 

...

a

 

 

x

 

2n

 

 

x

 

n

y

 

0

i

 

i

 

 

n

i

 

 

i

 

 

i

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

Это можно рассматривать как систему линейных уравнений порядка n 1 с неизвестными a0 , a1, a2 ,..., an .

Решая её, можно найти многочлен, осуществляющий наилучшее среднеквадратичное приближение массива данных.

76

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

m

 

n

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

na

 

 

 

 

x

a

...

 

 

x

a

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

i

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

1

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

m

 

 

 

2

 

 

 

 

 

 

 

 

m

 

 

n 1

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

x

a

 

 

 

 

 

x

a

 

...

 

 

x

a

 

 

 

 

 

x y

 

 

 

 

 

i

 

 

 

 

 

i

 

 

 

 

 

 

 

i

 

 

 

 

 

 

i

 

 

 

 

 

 

 

0

 

 

 

1

 

 

 

 

 

 

n

 

 

 

 

i

 

 

 

 

i 1

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

m

x

 

 

 

 

 

 

m

 

x

 

 

 

 

 

...

m

 

 

 

 

 

 

 

 

 

 

m

x

2 y

 

 

 

 

2 a

0

 

 

3 a

 

 

 

 

x n 2 a

n

 

i

 

 

i

 

 

 

 

 

 

 

i

 

 

1

 

 

 

 

 

 

i

 

 

 

 

 

 

i

 

 

 

 

i 1

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

n

 

 

 

 

 

 

m

 

 

 

n 1

 

 

 

 

 

 

 

 

m

 

2n

 

 

 

 

 

 

 

m

 

 

 

n

 

 

 

 

 

 

x

a

 

 

 

 

 

x

a

...

 

 

x

a

 

 

 

 

 

 

x

 

y

 

i

 

 

 

 

 

i

 

 

 

 

 

 

 

i

 

 

 

 

 

 

i

 

 

 

 

 

0

 

 

 

 

 

1

 

 

 

 

 

 

 

n

 

 

 

 

 

 

i

i 1

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

При

 

количестве

точек,

 

равном

 

 

m n 1,

получится точное

решение: многочлен

 

степени

n

. Так, для 2 точек прямая (это мы уже

видели выше), а 3 точек квадратичная парабола будет точным решением.

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

фактически, формулой Тейлора этой функции. К примеру, если точки

расположены на графике

y e

x

, программа вычисляет указанным

 

выше методом следующие коэффициенты многочлена:

77

И действительно, коэффициенты разложения

y e

x

 

в ряд Тейлора:

1,1,

1

,

1

,

1

,...

2!

3!

4!

 

 

 

 

близки к этим значениям.

Сейчас мы рассмотрим ещё один способ получения функциональной зависимости по массиву данных.

Интерполяционный многочлен Лагранжа

 

n

 

k

x x

 

 

 

 

 

 

 

 

 

P(x)

 

y

 

 

 

 

i

 

 

 

x

 

x

 

 

k 1

i k

k

i

 

 

 

 

Это многочлен степени

любого номера i .

  

n

1

, который обращается в

yi

в точке

xi

для

Подробнее: Для 2 точек:

f (x) y

 

1

В точке

x

x x1

x2

x2

x1

:

y

 

x x

 

 

 

 

 

1

 

 

 

 

 

 

 

 

2

x

 

x

 

 

 

2

 

 

 

 

 

 

1

y

x

x

 

 

 

1

 

 

 

2

 

 

 

 

 

 

1

x

x

 

 

 

2

 

 

 

1

 

 

 

 

многочлен 1-й степени.

 

x

x

 

 

 

y2

 

1

1

= 1y1

0y2

y1

x

 

x

 

2

 

 

 

 

 

1

 

 

 

В точке x x

 

:

y

x2

x2

y

 

x2

x1

= 0y 1y

 

y

 

.

 

 

 

 

2 x

 

x

 

 

 

2

 

1 x x

2

 

2

1

2

 

2

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

78

 

 

 

 

 

Для 3 точек:

 

(x x

2

)(x x

)

 

 

 

(x x )(x x

3

)

 

 

 

(x x )(x x

2

)

 

f (x) y

 

 

 

3

 

 

y

 

 

 

1

 

 

 

 

y

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

1

(x

x

 

)(x

x

 

)

 

(x

 

x )(x

 

x

)

 

(x

x

 

)(x

x

 

)

 

2

3

 

 

2

2

 

 

2

2

 

1

 

1

 

 

 

 

 

1

 

 

3

 

 

 

3

 

3

 

 

 

 

многочлен 2-й степени.

В точке x x1 :

Аналогично, f

 

f (x

 

 

1

(x

2

)

 

 

) y

1 2 ,

y

0 y

2

1

 

f (x

3

)

 

 

y3

0 y3

.

y1

.

Численные методы вычисления интегралов. Метод прямоугольников,

метод трапеций.

Пусть отрезок элементарных

[a, b] разбит на

отрезков

[xi 1 ,

несколько частей, затем на каждом из

xi ]

взято значение в точке

xi

и

составлена сумма

n

Sf (xi )(xi

i 1

x

i 1

)

 

 

, при n значение этой

79

суммы стремится к

b

a

f

(x)dx

. Можно рассматривать равномерное

разбиение с шагом

h xi

xi 1

b a n

. Тогда

S

n

i 1

f

(x

)h

i

 

. Однако

погрешность достаточно велика (на чертеже закрашено серым цветом). Гораздо более точный результат (при том же самом шаге h )

получится, если вместо прямогульников рассматривать трапеции. На чертеже отклонение графика от трапеции показано жёлтым цветом.

Приближённое значение, вычисленное таким образом, выражается

суммой

n

f (x

 

)

S

i 1

 

 

 

 

 

i 1

 

 

2

 

 

 

f

(x

)

 

i

 

h

 

 

. При этом каждая точка

xi

(кроме

крайних) учитывается 2 раза: сначала она является правой границей предыдущего отрезка, затем левой границей следующего.

 

f (x

0

) f (x

)

 

f (x

) f (x

2

)

 

 

 

f (x

n 1

) f (x

n

)

 

S

 

 

1

 

h

1

 

 

h ...

 

 

 

 

h =

 

 

 

2

 

 

2

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x0 )

h

f (x1 )h

... f (xn 1 )h

f (xn )

h

.

 

 

 

 

 

 

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В идеале,

мы стремимся сделать шаг

h 0 . Понятно, что это

недостижимо, так как потребовало бы бесконечного количества

вычислений. Однако есть способ приблизиться к h 0 .

 

Допустим, что мы сначала сделали вычисление с шагом

h ,

получим результат

a0

,

затем с шагом

h 2

, при этом мы получим

насколько-то более точный результат a1 . Затем ещё раз разделим

80