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

книги из ГПНТБ / Сахарников Н.А. Высшая математика учебник

.pdf
Скачиваний:
98
Добавлен:
27.10.2023
Размер:
24.22 Mб
Скачать

Нормой функции ф„ (X) называется число, равное арифмети­ ческому значению корня квадратного из скалярного произве­ дения ф„ (X) на ф„ (X):

ІІФ»(*)І =

ѴГ(Ф«І Ф„).

-

(60)

Функция ф„ (X) называется

нормированной,

если

ее норма

равна единице: || ф„ (х) || = 1.

Функции ф„ (X) и фт (X) называются ортогональными в про­ межутке (а, Ъ) с весом р (х), если равно нулю их скалярное произ­ ведение: (ф„, ф,„) —- 0.

Система функций (58) называется ортогональной в (а, Ъ),

если все эти функции попарно ортогональны, и ортонормирован­ ной, если указанные функции, кроме того, нормированы.

Если система (58)

ортонормирована,

 

то

 

(ф„

фот) =

( 0 при

п ф т ,

(61)

— ) .

 

п = т.

 

 

( 1 при

'

П р и м е р . Система

тригонометрических

функций

 

{1, cos пх, sinraæ)

w = l,2,

. . .

(62)

ортогональна в промежутке (—я, я) с весом р = 1, так как при п=ф т вы­ полнено условие (<рп, фт) = 0 (см. п. 219). Однако функции (62) не норми­ рованы, так как отличны от единицы интегралы (51) и. 219. Для того чтобы нормировать семейство функций (62), надо разделить функции этого мно­ жества на соответствующие постоянные, и мы получим ортонормированную систему функций

1

cos пх

sin пх Ï

У2я

V я }

Теорема 1. Всякую ортогональную систему функций можно нормировать.

Действительно, пусть (58) есть ортогональная система функций. Если каждую функцию этого семейства разделить на ее норму,

то получим систему

I фп (*)

1 которая ортонормирована, потому что

 

 

 

' НфпІІ )’

 

 

 

 

 

/

фя

фт.

\ __

1

/

-,

о

 

Vт а г ’

т а г ) ~ I ФяініФтіі ^

фт' ^

пт-

Теорема

2. Всякую систему линейно независимых в (а, Ь) функ­

ций можно

ортогонализироватъ.

 

 

 

 

Пусть функции системы (58) линейно независимы в том смысле

что любая

их

линейная

комбинация

 

а 1ф1 (х)

+ • • • + а„ф„ (х)

обращается в нуль тождественно в (а, Ь) лишь при условии <хг = = а 2 = • • •= ап = 0.

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

система функций получалась ортогональной. Докажем возмож­ ность такого процесса ортогонализации. Для этого положим

Ф і=ф і,

Фа = М Ф + ф2, Фв =

*-зіФі"г ЬзгФа-гФв,

Фя — ^ліФі “Г ^ягФг

• • ■Т

^/ш-іФя-1 "I фл, • • ■

и выберем коэффициенты Klk так,

чтобы выполнилось условие

ортогональности семейства

функций

{ф„ (ж)}.

Требование

(ф2, фх) = 0

или

А,21 (фх, фД -}- (ф2, Фі) == 0 бу­

дет выполнено,

если положить

Я21 =

—(ф2, фі)/(фі> фД-

В соответствии с методом полной математической индукции

предположим, что функции ф1; ф2, . . ф ,^ попарно ортогональны

и соответствующие

Xik уже

выбраны. Требование (ф„, фД = О

при к = 1, 2, . . . ,

п — 1

или

(ф и ,Фа) = Кі ( Ф і,Фа) -Г • • • н - Kk а, Фа) + • • • +

+ К п - і (Ф л -1, Фа) л, Ф а) = K k а, Фа) 4 - (ф л, Ф а) = О

будет выполнено, если положить — л, Фа) /( Ф а, Фа)-

Здесь существенно, что функции системы (58) линейно независимы, и поэтому никакая их линейная комбинация (в которой не все коэффициенты равны нулю), в частности фА, не равна тождественно

нулю в (а, Ь) и, следовательно, (фд,, фД

0. Теорема 2

доказана.

С и с т е м ы о р т о г о н а л ь н ы х

п о л и н о м о

в . Осу­

ществим процесс ортогонализации, описанный при доказательстве теоремы 2 применительно к множеству степеней {хп} с натураль­ ным показателем п в промежутке (a, b) при весовой функции р (х) Очевидно, любая линейная комбинация функций этого семейства, содержащая конечное число членов, есть полином, и в результате ортогонализации будет получено семейство полиномов, ортого­ нальных в (а, Ь). В зависимости от выбора промежутка (а, Ъ) и весовой функции р (х) таким образом приходим к системам орто­

гональных

полиномов, приведенных в таблице на стр. 382.

В последнем столбце приведено дифференциальное уравнение,

которому

удовлетворяет* соответствующий полином.

221. Обобщенные ряды Фурье. Дана ортогональная в проме­ жутке (а, b) система функций (58). Рассмотрим функцию / (х) из класса Z2, которая может быть представлена** в (a, b) в виде

ряда по системе

функций (58)

 

 

 

СО

 

 

 

/ (*) = 2

сф(*)

(63)

 

71=1

сп.

 

с постоянными

коэффициентами

 

*См. работу В. И. Смирнова «Курс высшей математики», т. III.

**Достаточные условия представимости функции в виде ряда (63) см., например, в книге А. Н. Тихонова и А. А. Самарского «Уравнения математи­ ческой физики». М., «Наука», 1966, с. 621.

а

ь

р (ж)

Название

Обозначение

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

полинома

полинома

уравнение

- 1

. + 1

1

Лежандра *

En (X)

( і - х 2) у " - 2ху' +

 

 

1

 

 

 

+ п (п + 1) ÿ = 0

 

 

 

 

 

 

- 1

+ 1

2

Чебышева

Тп(х)

(1 хЧ) у" —хі/ + пп~у 0

—1

+ 1

(1 х р х

Якоби

Р гС(

(*)

(1 — аг2) у"-p [ß —ос —

 

 

Х(1-Р*)3

 

 

 

— (a + ß+ 2) х\ у’

 

 

е-х

 

 

 

-Pn(re-Pa-Pß-Pl)y = 0

0

-роо

Чебышева

Ln (х)

 

 

 

 

Лягерра

 

 

 

0

-р оо

хаь~х

Обобщенные

L tf (.г)

х у " + (а —х — і)у'-\-пу =

 

 

 

полиномы

 

 

= 0

 

 

 

Лягерра

 

 

 

— оо

-рОО

е~х%

Чебышева —

Нп (х)

у” —2ху' + 2пу = 0

 

 

 

Эрмита

 

 

 

Теорема единственности. Если / (х) допускает представление вида (63), то такое представление единственно.

Докажем, что коэффициенты ряда (63) определяются одно­ значно при дополнительном предположении о возможности почленного интегрирования ряда, который получается из (63) умножением на р (х) срА(х). Действительно, в результате такого умножения, а затем интегрирования ряда получим равенство

 

СО

 

 

(/, Фй) =

2 сп(фя, Фй) = Ck (ф*. фй),

 

 

П=1

 

 

из которого следует,

что

 

 

 

^

(/. tfk)

(64)

 

k

(фй, фй) '

 

 

Коэффициенты ряда (63), определяемые формулами (64), на­

зываются обобщенными

коэффициентами Фурье, а сам ряд (63)

с такими коэффициентами называется обобщенным рядом Фурье функции / (X) по системе функций (58). Если (58) есть система

тригонометрических

функций

(62),

то

имеем частный случай

ряда (63) — ряд Фурье

(см.

п. 219).

 

Пусть данная система функций (58) ортонормирована в (а, Ъ).

Функция а 1,ф1 (х) +

• • • +

а„ф„( х),

где

а 1т . . ., ап — постоян­

ные коэффициенты, называется обобщенным полиномом порядка п.

О п р е д е л е н и е . Пусть функции / (х) и g (х) принадлежат классу L 2, причем а и Ъ суть числа. Средним квадратичным укло-

гіением между функциями f (х) и g (х) в промежутке [ а, b] н а з ы ­

в а е т с я ч и с л о ô , о п р е д е л я е м о е р а в е н с т в о м

h

ô =

_1__

^ P W

lf(x)~ g(x)]2dx.

( 6 5 )

b a

 

 

 

 

П о с т а н о в к а з а д а ч и

о приближении f (х) в среднем в промежутке

{а, Ь] при помощи обобщенного полинома п-го порядка з а к л ю ч а е т с я

в с л е д у ю щ е м : с р е д и о б о б щ е н н ы х п о л и н о м о в n - г о п о р я д к а п у т е м

в ы б о р а к о э ф ф и ц и е н т о в а х, . .

ап н а й т и и м е ю щ и й н а и м е н ь ш е е

с р е д н е е

к в а д р а т и ч н о е у к л о н е н и е

в [ a ,

ô ]

о т д а н н о й

ф у н к ц и и /

(х),

т . е . д о с т и г а ю щ и й с в о е г о а б с о л ю т н о г о м и н и м у м а в е л и ч и н а

 

 

6п =

] /

"

J Р {х) [/ (х)

(х) . . . — апц>п(z)]2 dx.

(66)

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

Д л я

р е ш е н и я

э т о й

з а д а ч и р а с с м о т р и м

п о с т о я н н у ю

\{Ъ

а)

и ,

в о с п о л ь з о в а в ш и с ь

о б о з н а ч е н и е м

( 5 9 ) , п р е о б р а з у е м

е е :

 

(b — a) б* = ( / ■— 2 В Д а, / — 2 « аФа) = ( / , / ) — 2 2 “ а ( / , Фа) +

 

 

 

 

Ч - 2 а Аа / (Ф а, ф / ) = ( / , / ) — 2 21 + 2 а |

 

 

 

к

с л е д у ю щ е м у

в и д у :

 

 

 

 

 

 

 

 

 

 

 

 

 

(Ь— a) Ô*

- ( / , / ) —

2 4

1

2 (с* — а Д 2,

 

 

( 6 7 )

г д е с у м м и р о в а н и е в с ю д у в ы п о л н е н о п о к о т 1 д о п.

 

 

 

 

П р а в а я ч а с т ь р а в е н с т в а ( 6 7 ) и м е е т н а и м е н ь ш е е з н а ч е н и е , р а в н о е

 

 

 

 

 

 

 

 

 

 

П

 

 

 

 

 

 

 

 

ір

 

а) б п m in — (fi / )

2 c t

 

 

 

( 6 8 )

 

 

 

 

 

 

 

 

 

 

k=i

 

 

 

 

п р и

у с л о в и и ,

ч т о

ак =

ck, т . е . к о г д а к о э ф ф и ц и е н т а м и

ак о б о б щ е н ­

н о г о п о л и н о м а

с л у ж а т

о б о б щ е н н ы е

к о э ф ф и ц и е н т ы

Ф у р ь е

ск.

Т а к и м о б р а з о м , м ы п р и ш л и к с л е д у ю щ е м у у т в е р ж д е н и ю .

 

 

Т е о р е м а .

Извсех обобщенных полиномов а хср г (х) +

• • - f

а „ ф „ (х)

наименьшее среднее квадратичное уклонение от f (х) в промежутке [а, Ъ] имеет п-я частичная сумма обобщенного ряда Фурье ( 6 3 ) .

В ч а с т н о с т и , е с л и и с х о д н о й я в л я е т с я с и с т е м а т р и г о н о м е т р и ­

ч е с к и х ф у н к ц и й ( 6 2 ) , т о с р е д и в с е х т р и г о н о м е т р и ч е с к и х п о л и н о м о в

п о р я д к а п

П

а о +

2

(a k c o s

Jcx-f- ß fe s i n

kx)

 

 

h=l

 

 

 

н а и м е н ь ш е е с р е д н е е

к в а д р а т и ч н о е у к л о н е н и е о т / (х) в [ — я , я ]

и м е е т о т р е з о к е е р я д а Ф у р ь е

 

 

 

 

П

 

 

 

- у -

+

2

(апc o s

кх + Ъпs i n

кх).

h=l

В этом состоит так называемое минимальное свойство коэффи­ циентов Фурье.

Из доказанной теоремы вытекают важные следствия. Левая часть равенства (68) неотрицательна, поэтому при любом п имеет

место неравенство

 

£ 4 ^ (/, /),

(69)

правая часть которого не зависит от п. Отсюда следует сходимость

 

о о

положительного ряда

У cl (см. п. 209) и стремление к нулю при

 

1

к -> оо обобщенного

коэффициента Фурье lim ck = 0.

Если в неравенстве (69) перейти к пределу при п -»-оо, то придем к неравенству

с о b

2

с" 85 1 р (х) /2 (ж) dx’

(70)

п =1

а

 

называемому неравенством Бесселя*.

В теории приближения функций в среднем возникает важный вопрос: можно ли путем увеличения п добиться сколь угодно малого среднего квадратичного уклонения ô„min, т. е. стремится ли 6« min к нулю при п ->оо?. Для того чтобы имело место равенство

 

lim ô„min = 0,

(71)

 

п ~ + СО

 

как это следует из

(68), н е о б х о д и м о й

д о с т а т о ч н о ,

чтобы выполнялось

условие

 

 

СО

(72)

 

2 cl = (/,/),

 

П=1

 

называемое уравнением замкнутости, или формулой Парсеваля,

СО

Ряд 2 слФл (х) называется с х о д я щ и м с я в с р е д н е м

1

к функции / (X) в промежутке (а, Ъ) при весовой функции р (х),

если выполнено условие (71). В силу (66) это условие равносильно следующему:

 

ь

 

lim

I р (х) [/ (х) — sn{x))%dx —0,

(73)

и - С О

а

 

где sn (х) есть п-я частичная сумма ряда (63).

Заметим, что выполнение условия (73) не означает «точечной» сходимости ряда (63) к / (х) в (а, Ь) в обычном смысле.

Уравнение замкнутости (72) есть необходимое и достаточное условие сходимости ряда (G3) в среднем к функции f (х) в проме­ жутке (а, Ъ). Действительно, условия (71), (72) и (73) равносильны.

Ортонормированную систему функций (ф„ (ж)} называют зам­ кнутой в классе если уравнение замкнутости (72) выполняется для каждой функции / (х) из класса L 2.

Ортонормированную систему функций {ф„ (а:)} называют пол­ ной в классе если в Ь 2 не существует функции, отличной от нуля, ортогональной ко всем функциям этого семейства.

Можно доказать,- что понятия замкнутости и полноты равно­ сильны, т. е. из замкнутости вытекает полнота, а из полноты — замкнутость.

Действительно, пусть система функций (58) замкнута в классе функций L 2, и пусть со (X) функция из этого класса, ортогональ­ ная ко всем функциям семейства (58), т. е. при всех натуральных значениях п выполняется равенство (со, ф„) = 0. Тогда согласно формуле (64) будут равны нулю все обобщенные коэффициенты Фурье функции о) (х) по системе функций (58). Поэтому из уравне­ ния замкнутости (72) следует, что функция со (х) тождественно равна нулю в промежутке (а, Ъ). Таким образом, доказано, что только функция, равная нулю тождественно в (а, Ъ), может быть ортогональной ко всем функциям системы (58), если эта система замкнута. Поэтому замкнутая в классе Ь 2 система функций (58) полна в этом классе.

Доказательство замкнутости полной системы ортонормированных функций содержится, например, в работе В. И. Смирнова «Курс высшей математики», том II, стр. 468.

2 о З а к а з Ц 4

Глава X III

ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ

§37. ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ ПЕРВОГО ПОРЯДКА

222.Общие сведения о дифференциальных уравнениях. Диф­ ференциальным уравнением относительно некоторой функции

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

П р и м е р . Уравнение Бесселя

х2у" -■ ху‘ ' (ж2 — р2)у = О

есть обыкновенное дифференциальное уравнение второго порядка относительно функции у {х).

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

U X X -f" М ру - р П 2 ; 0 .

В этой главе рассматриваются только обыкновенные дифферен­ циальные уравнения; независимая переменная предполагается вещественной. Уравнение га-го порядка, разрешенное относительно старшей производной, имеет вид

ytn' = f ( x , y , V \ .... У(п- 1%

(1)

Дифференциальное уравнение называется линейным, если иско­ мая функция и ее производные входят в уравнение в первых

степенях и не перемножаются. Важную роль играют линейные уравнения второго порядка

«о (х) У” +

«г (х) У’ +

(х) У = / (х)-

(2)

Решением дифференциального

уравнения (1) называется функ­

ция

 

( a c x c b ) ,

(3)

У =Ц>(х)

определенная и непрерывная

вместе

со своими производными

до порядка п включительно, которая этому уравнению удовлет­ воряет:

ф(п) (х)

/ (х, ср (х), ф' (х), . .., <(п~ѵ (х)).

 

Иногда решение у

= ф (х) находят в неявном виде: ф (х, у) =

0. Это равенство

определяет функцию ф (х),

являющуюся

решением уравнения.

В этом случае функция ф (х, у)

может быть

названа интегралом уравнения.

График решения дифференциального уравнения называется интегральной кривой этого уравнения. Процесс нахождения реше­ ния дифференциального уравнения называется его и н т е г ­

ри р о в а н и е м .

Вотличие от алгебраического уравнения, решением которого является число, дифференциальное уравнение имеет своим реше­ нием функцию. Оказывается, что дифференциальное уравнение имеет,' вообще говоря, семейство решений, зависящее от пара­ метров clt с2, . . ., число которых равно порядку дифференциаль­

ного уравнения:

(4)

г/ = ф(ж, сь с2і ... , сп).

Такое решение уравнения (1), содержащее п произвольных постоянных, есть общее решение этого уравнения. Строгое опре­ деление этого понятия дано в пи. 224 и 226.

Например,

уравнение

у" + 4г/ =

0 имеет общее решение

у с±sin +

с2 cos 2х.

Эта функция

обращает данное уравне­

ние в тождество при любых значениях сх и с2.

Всякое решение, которое можно получить из общего решения путем фиксирования произвольных постоянных, называется ча­ стным решением этого уравнения.

Иногда общее решение уравнения (1) мы получаем в неявном

виде:

(5)

ф(а:, г/, сь . . ., сп) = 0.

223. Задачи, приводящие к дифференциальным уравнениям. Многие задачи.науки и техники приводят к дифференциальным уравнениям. Мы встретили их в пп. 18, 35, 150 и др. Рассмотрим еще три задачи из различных областей науки.

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

пропорциональное первой степени скорости. Согласно второму закону Ньютона, произведение массы тела т на ускорение х" равно сумме всех действующих сил:

тх" - —кх',

((5)

где к — положительная постоянная; x(t) — путь, пройденный телом к моменту времени t. Равенство (6) связывает первую и вто­ рую производные искомой функции х (t); оно представляет пример дифференциального уравнения. Легко проверить, что уравнению

(6) удовлетворяет функция

 

x ( t) — с1--г с2е

__L t

 

 

 

 

(7)

 

т

 

 

 

 

 

 

при любых

значениях постоянных

 

сх и с2.

Функция (7)

есть

общее

 

решение уравнения

(6).

х — х0

 

Если

заданы

значения

 

и

х' =

ѵ0,

соответствующие

 

моменту

времени

 

t = О, то, под­

 

ставив эти данные

в

выражения

 

X (t) и х'

(t), получим х 0 =

сх + с2,

 

ѵ0 =

kcjm .

Поэтому

с1 --

 

--- х 0 ф тѵ0/к, с2

= rnvjk. При

 

таких

значениях

 

постоянных

Рис. 149.

имеем окончательно

 

 

 

x(t) = х0-\-^р- ( і — е

т )*

 

 

 

(8)

Функция (8) есть так называемое решение задачи Коши для урав­ нения (6).

2. Задача. Найти плоскую кривую, отражающую параллель­ ные (оси Ох) лучи в одну точку (начало координат). Требуется найти функцию у у (х), графиком которой является искомая

кривая.

место

следующие

угловые

соотношения

(рис. 149):

Имеют

а х -- ф, а 2 - - а г,

а = ф — а 2. Следовательно, а =

2ф и tg а

=

=

Положив

здесь

[tg а = ^

(согласно

построению)

и tg ф =

у ', получим уравнение г/г/'2 f

2ху' у = 0.

 

Задача свелась к нахождению функции у (х) по ее дифферен­

циальному уравнению. Запишем его в виде г/г/' = —х ± 1 ^х 2 +

г/2.

Отсюда следует, что

± ] /х 2 ф у2 х + с и у2 — 2сх +

с2.

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

3. Задача Волътерра. Рассмотрим совместное существование двух видов, например, рыб. Обозначим количество особей первого

вида X (t), второго — у (t). Предположим, во-первых, что первый вид питается продуктами среды, которые всегда имеются в доста­ точном количестве, и, во-вторых, что если бы первый вид жил один, то число его особей непрерывно увеличивалось бы со ско­ ростью, пропорциональной имеющемуся количеству особей: х' =

к гх. Особи второго вида питаются только особями первого вида. Поэтому, если бы второй вид жил один, то он постепенно бы вы­ мирал: у' к 2у.

Теперь рассмотрим случай, когда оба вида живут совместно. Коэффициент увеличения первого вида будет тем меньше, чем больше у. Сделаем простейшее предположение, а именно, что коэффициент к г уменьшится на величину, пропорциональную у. Аналогичным образом предположим, что коэффициент уменьше­ ния второго вида к 2 в силу наличия первого вида (наличия нищи) изменится на величину, пропорциональную х. При этих пред­ положениях мы имеем следующую систему дифференциальных уравнений:

X 1 =.--•=(Адк3у) X , у' = (к2к±х) у,

где к г, к 2, к3 и кі — положительные числа. Можно доказать, что в этом случае изменение численности обоих видов происходит по периодическому закону.

Заметим, что к системе уравнений этого же вида приводят некоторые задачи кинетики химических процессов.

Рассмотренные задачи иллюстрируют следующую важную мысль о значении дифференциальных уравнений. В естество­ знании при нахождении зависимости, например между х и у, часто бывает легче установить зависимость между скоростью изменения величины у или ее ускорением и другими параметрами явления, нежели непосредственно связать х и у. Таким образом, прежде составляют дифференциальное уравнение, а затем полу­ чают его решение, оно и дает искомую зависимость у (х). В ча­ стности, второй закон Ньютона механики можно выразить диф­ ференциальным уравнением ту" = / (х , у , у’). Значение этого уравнения состоит в том, что оно позволяет свести физическую задачу определения движения тела к математической задаче

нахождения решения дифференциального уравнения.

первого по­

224.

Основные понятия. Пусть дано уравнение

рядка,

разрешенное относительно производной:

 

 

y' = f ( *, y) ,

(9)

где функция / (х, у) определена и непрерывна в области А пере­

менных X и у. Пусть у = ф (х)

есть решение этого уравнения

в промежутке (а, Ь).

уравнения (9) и его решения

Геометрическая интерпретация

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

Соседние файлы в папке книги из ГПНТБ