Файл: Воробьев, Н. Н. Теория рядов учеб. пособие.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 29.10.2024

Просмотров: 89

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

§ 13. ПРИБЛИЖЕННОЕ ИНТЕГРИРОВАНИЕ

143

полученного двукратным почленным дифференцированием ряда (7.34), равна s" (х). С другой стороны, каждый член ряда (7.35) равен соответствующему члену ряда (7.34), умноженному на х. Следовательно, сумма ряда (7.35) равна xs (х).

Таким образом, мы видим, что сумма s (л;) ряда (7.34) удов­ летворяет дифференциальному уравнению

s (x) —xs (x),

т. е. дифференциальному уравнению (7.30). Кроме того, очевидно,

s(0) = l и s'(0)=0.

(7.36)

Однако существует лишь одна функция, удовлетворяющая уравнению (7.30) и начальным условиям (7.36). Поэтому у = s {х).

Г Л А В А 8

ОРТОГОНАЛЬНЫЕ И ОРТОНОРМАЛЬНЫЕ СИСТЕМЫ ФУНКЦИЙ

§ 1. Проекции и разложения векторов

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

Далее длина любого вектора а

будет обозначаться

через

\а\. Иногда длина вектора

называется

его

нор­

мой.

Подчеркнем,

что длина любого вектора

является

неотрицательным

числом. Пусть вектор а расположен

на оси U. Припишем

в этом случае его длине знак

+ ,

если

направление

а

совпадает с

направлением

II,

и

знак —, если эти направления противоположны. Длину вектора на оси, рассматриваемую вместе с приписанным ей знаком, будем называть алгебраической длиной век­ тора на оси.

Проекцией вектора а на ось (на направление) U на­ зывается вектор, расположенный на оси U, алгебраи­ ческая длина которого равна

\а\ cos (àTu).

(8.1)

Далее мы будем рассматривать координатные про­ странства и векторы, проведенные из начала координат в каждую точку пространства.

Рассмотрим сначала обычное трехмерное векторное пространство с ортами i , j и к, соответствующими на­ правлениям координатных осей X, Y и Z. Любая линей­ ная комбинация этих ортов, т. е. любая сумма вида

xi + yi + zk,

(8.2)


§ 1. ПРОЕКЦИИ И РАЗЛОЖЕНИЯ

ВЕКТОРОВ

145

где к, у и z — вещественные числа,

является

вектором

рассматриваемого пространства. Коэффициенты

х, у и z

называются компонентами вектора (8.2). Сложение век­ торов осуществляется сложением их соответствующих компонент, а умножение вектора на число — умножением каждой из компонент на это число.

Наоборот, какой бы мы вектор а в пространстве ни взяли, можно найти такие числа х, у и z, что а при­ обретает вид (8.2). Таким образом, можно говорить, что каждый вектор а трехмерного пространства может быть разложен «по векторам» i , j и к.

Геометрический смысл компонент в разложении (8.2) данного вектора а достаточно прост, но вместе с тем чрезвычайно важен, и его обобщение послужит нам удоб­ ной иллюстрацией при наглядном истолковании разло­ жения функций в ряды.

Эти компоненты х, у и z суть алгебраические длины проекций вектора а соответственно на координатные оси

X, Y и Z.

Если U есть координатная ось X, то (8.1) приобре­ тает вид

|a|cos(a, X).

Перепишем это выражение в координатной форме. Прежде всего, из теоремы Пифагора следует, что

если вектор а имеет вид (8.2), то длина его равна

Yx2+y*+z*. (8.3)

Кроме того, мы видели, что алгебраическая длина проекции вектора (8.2) на ось X есть*. Учитывая (8.3), это можно записать как

V * 2 + #2 + z2cos (а, Х)=х,

откуда

cos (а, Х) =

Но, очевидно,

X

(8.4)

 

cos (а, X)=cos(X,

а),


Н6 ГЛ. 8. ОРТОГОНАЛЬНЫЕ СИСТЕМЫ ФУНКЦИИ

и (8.4) переписывается

как

 

 

 

 

cos (а^Х) = cos (хТя)

=

X

 

(8.5)

у* +

га'

 

 

Ух* +

 

Аналогично получается,

что

 

 

 

 

cos (аГѴ) = cos (YГа)

=

У

 

(8.6)

cos (ÛCZ) = cos (Z,^a)

- Ух2+у2

z

 

(8.7)

+

г2-

Возьмем теперь вектор

 

 

 

 

b^x'i

+ y'i +

z'k.

 

 

 

Алгебраическая длина проекции Ь на направление век­ тора а есть сумма алгебраических длин проекций трех векторов х"\, у'] и z'k на это направление. Но согласно (8.1) эти алгебраические длины будут равны соответ­ ственно

 

x'cos(X,

a),

у'

cos

(Y,

a),

z ' c o s ( Z r à )

(для

тех компонент

х',

у',

z',

которые неотрицательны,

эти

выражения

просто

совпадают

с (8.1); для отрица­

тельных же компонент направления соответствующих

векторов х"\, у'\ или z'k противоположны

направлениям

своих осей, и косинусы изменят знаки,

компенсируя

отрицательность компонент).

 

 

 

Таким

образом, алгебраическая длина проекции b

на а будет

равна

 

 

 

 

x'cos(X,

а) + у'cos

(Y,

a) -f- z' cos (Z,

a),

или, учитывая

(8.5), (8.6)

и (8.7), .

 

 

 

 

х'х+у'у

+

г'г

 

(8.8)

 

 

 

 

 

 

Вместе с тем на основании формулы

(8.1)

эта про­

екция есть

 

 

 

 

 

 

 

 

I & I cos

(a, b),

 

(8.9)


§ 1. ПРОЕКЦИИ И РАЗЛОЖЕНИЯ ВЕКТОРОВ

147

\Ь\

= Ух'*

+ у'* + г'К

(8.10)

Из (8.8), (8.9) и

(8.10)

следует, что

 

Стоящее здесь в числителе выражение

х'х + У'У + г'г=хх' + УУ' + гг'

называется скалярным произведением векторов а и & и обычно обозначается через ab.

В частности, при а = Ь

ab = аа=хг + у2 + г2 = | af.

Непосредственно из определения скалярного произ­ ведения видно, что эта операция обладает свойствами коммутативности:

ab = ba

и дистрибутивности относительно действий сложения вектора и умножения вектора на число:

а(Ь + с) = ab + ас, %(ab) = (ka)b.

Однако закону ассоциативности скалярное умноже­ ние, вообще говоря, не подчиняется: (ab) с есть вектор с тем же направлением, что и вектор с, а вектор а (be) — с тем же направлением, что и а. Поэтому в скалярных произведениях более чем двух векторов порядок выпол­ нения умножений обязательно следует отмечать скоб­ ками. ч

В терминах скалярных произведений и норм формулу (8.11) можно переписать, как

/ab

Всвязи с этим алгебраическая длина проекции b на направление вектора а равна

\Ь\ cos ( а Г о ) = щ .

148 ГЛ. 8. ОРТОГОНАЛЬНЫЕ СИСТЕМЫ ФУНКЦИЙ

Выраженная в длинах вектора а, она приобретает вид

[ Т р

< 8 Л 2 >

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

Если векторы а и Ь ортогональны, то косинус угла между ними обращается в нуль и (8.11) дает нам

 

ab=хх'

+ уу' + гг' — 0.

 

ная

Пусть теперь ах, о2 ,

а3 — произвольная

ортогональ­

система векторов, а вектор х является

их линей­

ной

комбинацией:

 

 

 

х=ххаі

+ х2а2-)-х3а3.

(8.13)

Коэффициенты хх, х2 и х3 можно выразить через ска­ лярные произведения. Умножим для этого каждую часть (8.13) скалярно на аг:

хах = foai) ах + (х2а2) аг + 3а3) ах =

=хі

1а1) + х2 2ах)

+ х3 3ах).

(8.14)

Но

 

 

 

 

a i ö i = | « i | 2 ,

 

 

а ввиду взаимной

ортогональности

векторов ах,

а2 и а3

a2ar=auax=Q-


§ 1. ПРОЕКЦИИ

И РАЗЛОЖЕНИЯ ВЕКТОРОВ

 

149

Следовательно,

(8.14)

приобретает вид

 

 

 

 

 

хаххх12,

 

 

 

 

откуда

 

 

 

 

 

 

 

 

Сравнение

с формулой

(8.12)

показывает, что хх есть

алгебраическая

длина

 

проекции л: на направление

ах,

выраженная в длинах

вектора

ах.

 

 

 

Аналогично

скалярное умножение

(8.13)

на а 2

и

на а3 дает соответственно

 

 

 

 

Таким

образом,

формулу

(8.13)

можно

записать

как

 

 

 

 

 

 

 

 

 

* = г й а

і

+ г а о 2 +

^ з > з

-

( 8 Л 7 )

 

Правую часть этой формулы называют разложением

вектора х по ортогональной

системе ах, а2,

й3.

В

действительности любой вектор

л: трехмерного

пространства

может

быть представлен

в виде (8.13) и

тем

самым

в виде

(8.17).

Мы, однако,

намеренно

оставляем в стороне этот вопрос, ограничиваясь сле­ дующим утверждением: если вектор х имеет вид (8.13), то соответствующие коэффициенты вычисляются по формулам (8.15) и (8.16). Условие: «если х имеет вид...»— не'является тривиальным. Проиллюстрируем его содержательность на следующем примере. Пусть

нам даны два ортогональных вектора, ах и а2>

и век­

тор X, представленный в виде

 

X == ххаг -f- х2а2.

(8.18)

Тогда, действуя, как и выше, мы получаем

 

* = f ^ + i f H ° -

( 8 Л 9 )

Очевидно, не всякий вектор трехмерного пространства представим в виде (8.18) (например, если ах = і, а аг==\, то в виде их линейных комбинаций можно-представлять