Академический Документы
Профессиональный Документы
Культура Документы
Я. С. БУГРОВ
С.М. НИКОЛЬСКИЙ
ДИФФЕРЕНЦИАЛЬНЫЕ
УРАВНЕНИЯ
КРАТНЫЕ ИНТЕГРАЛЫ
РЯДЫ
ФУНКЦИИ
КОМПЛЕКСНОГО
ПЕРЕМЕННОГО
ВЫСШАЯ МАТЕМАТИКА
Я. С. БУГРОВ
С.М. НИКОЛЬСКИЙ
ДИФФЕРЕНЦИАЛЬНЫЕ
УРАВНЕНИЯ
КРАТНЫЕ ИНТЕГРАЛЫ
РЯДЫ
ФУНКЦИИ
КОМПЛЕКСНОГО
ПЕРЕМЕННОГО
МОСКВА «НАУКА»
ГЛАВНАЯ РЕДАКЦИЯ
ФИЗИКО-МАТЕМАТИЧЕСКОЙ ЛИТЕРАТУРЫ
19 8 0
ББК 22.161.6
Б190
УДК 517.9(075.8)
УЧЕБНОЕ ИЗДАНИЕ
ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ
УРАВНЕНИЯ
«^(х, у(х))—Са
(Ct = T(x0, t/(x0))),
т. е. функция у(х) удовлетворяет на (а, Ь) уравнению
¥(х, л)-С,.
Замечание к примеру 2. Общий интеграл диф
ференциального уравнения
y'^ky (— оо < у < оо) (6')
в разрешенной относительно С форме (см. (7)) имеет вид
уе~кк = С (— оо < х, у < оо). (18)
Так как левая часть этого уравнения имеет непрерыв
ные частные производные на всей плоскости (х, у), то на
18 ГЛ. I. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
н/
\
\
/
\
Рис. 5.
dx N (х, у)
т. е.
Тогда
хТх + г = ї&
или
dz dx
f(z)—z x‘
Следовательно,
(С=^0)
или
х-Сир(Уп5Ь)'
где С =£ 0 — произвольная постоянная.
Отметим более общее уравнение, чем (8):
(9)
тогда
ax3-'24-x“-g = x“-7(z), xa-^ = xa~’[f (г)—аг],
dz dx
f (z) — az ' Т’
, I x I P dz
П| c |“ J /(*)“ (С^О),
0.1
dz
x = Cexp J H2)-«z’ (10)
Пример 4.
у'^Ах^Ву\ (И)
y'^xv А^В-^ =Х^ГЛ-Р
d!/ _ Xі+ у2
d.x ху
г/ = Сехр(—^p(x)dx). (15)
Для него
М== max \f(x, у}\= max I — у2\= шах у2 =
= '1 +Ь)^,
N= шах 1-^1 = шах | — 2у | = 2 (1 Д.
(д, і'ш I 1-ь< 1 +ь
Следовательно,
6 < win -2^ • (6)
= yW)dt
Хо Хо
ИЛИ
х
уЩ—Уо = $ НЛ У(0) dt,
*о
т, е. у (х) является решением (4).
В дальнейшем мы будем исследовать уравнение (4).
Обозначим через Ш1 множество непрерывных функций y=t/(x),
заданных на отрезке о = [х0— 6, х0 + 6] и удовлетворяющих на нем
неравенству | у (х)—у0 |< Ь.
В 2)1 введем расстояние
р(у, г) = тах |t/(x) —г(х)| (</, г£2П).
iso
J [У1«)~уЛ1)]Ги(1, МО) dt
77 =
Будем предполагать, что функция f(x,y) в окрестно
сти точки (х0, t/0) удовлетворяет условиям теоремы суще
ствования. По теореме существования имеются отрезок
[х'о — 6, х0 -}- S] и определенное на нем единственное ре
шение у = у(х) уравнения (1), удовлетворяющее условию
У М = у0.
Для числа 6 теорема дает оценку сверху
б < {а, 1/А/, Ь/М).
Метод Эйлера 1) дает возможность приближенно выра
зить указанную функцию теоретически с любой наперед
заданной точностью.
Пусть требуется вычислить Приближенно y(d), где для
определенности х„ < d < х0 + б, Разделим |х0, d] на п рав
ных частей точками х0, xlt ..., xn—d. Длину отрезка
|х(, h = xt-+l — х(, буде" называть шагом вычисления.
Приближенные значения решения в точках хг обозначим
через У;.
') Л. Эйлер (1707—1783)—великий математик, академик Рос
си некой академии наук.
46 гл. 1. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
ИЛИ
х = ф(р)4-С.
Теперь, исключая из системы
x==ip(p)4-C, р = ф(р) (8)
параметр р, мы и получим общий интеграл Ф(х, у, 0 = 0
дифференциального уравнения (7).
Систему (8) можно также рассматривать как парамет
рическое задание решения уравнения (7).
(7 "Параметр
. . .р
к
можно вводить и произвольным обра у\
зом у'=(о(р), но так, чтобы урав г
нение (7) проще решалось относи
тельно у, у — <р(.р), и чтобы проще
находился соответствующий интег
рал для определения функции
Пример.
С ф' (Р) dp
J
Решить
w(p)
+с.
кы 2 .
-
к
уравнение
A-К 1+/и2/.
Если ввести параметр р — у', то
получаются довольно сложные интег
ралы. Здесь лучше положить у' = fg р
(— л/2 < р < л/2). Тогда
О for я
х= ■ - - = 2 sin р, dx =
К l + tg2p
dy — b&pdx = 2 sin р dp, у-
Из системы
х = 2 sin р, у — —2 cos р + С
получаем
х2 + (г/-02 = 4, 0)
т. е. любое решение нашего дифференциального уравнения
есть решение уравнения (4) при некоторой постоянной С.
Это семейство окружностей радиуса 2 с центром в точ
ках (0, 0 (рис. 12). Можно доказать, что равенство (4)
есть общий интеграл для решений вида у (х) и вида х (у).
gO ГЛ. 1. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
(1)
(а<а<Ь), (2)
У=£(а), /
касающаяся при любом значении параметра а, соответствующей
кривой Го
Кривые Га будем называть огибаемыми (рис. 14).
Найдем уравнение огибающей. Зададим значение а. Ему соот
ветствует на Га точка х = х(а), у = у(о.), принадлежащая одновре
менно Г® и Е, в которой Е и Га имеют общую касательную.
Очевидно, имеет место тождество
Ф (х («). У (а), «)s 0 ' (а < а < 6).
52 ГЛ. 1. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
Продифференцируем его по а:
Фхх' (а)+Фуі/ (а)фФ^О (а < а < Ь).
Вектор (х' (а), у (а)) направлен по касательной к Е, которая совпа
дает с касательной к Га в точке (х (а), у (а)). Но тогда (см. нашу
книгу «Высшая математика. Диффе
ренциальное и интегральное исчисле
ние», § 8.16)
Ф>' (а)4-Фр/ (а) = 0,
Следоаательио,
Ф«(х(а), г/(«). а) = 0,
т. е.
Фа (х, у, а) = 0 (3)
в точке (х, у) касания Е с Га. Для
этой точки выполняется также равен
ство
Ф (х, у, а) = 0. (4)
Таким образом, уравнение огибающей семейства (1) определяется
двумя уравнениями
Ф(х, у, а)=0, А
<ЗФ (х, у, «) !■ (5)
да • )
Равенства (5) дают необходимое условие существования огибаю
щей, т. е. если семейство (1) имеет огибающую, то ее уравнение
задается системой (5).
Если же мы составим систему (5) и решим ее, то решение системы
не обязательно дает огибающую семейства (1).
Пусть теперь дано дифференциальное уравнение Г (х, у, у') = О
и Ф (х, у, С) = 0 — его общий интеграл.
Если семейство интегральных кривых Ф (х, у, С) = 0 имеет оги
бающую, то ясно, что она токже является интегральной кривой и,
следовательно, особым решением.
Если же формально исключить С из системы
Ф(х, у, С) = 0, \
<ЗФ(х, у, С) 1 (6)
дС ’ I
то в некоторых случаях получим особое решение.
Если общий интеграл дифференциального уравнения имеет вид
^(Х, у)=С,
где У (х, у) — непрерывно дифференцируемая функция, то определяе
мое им семейство (всех решений дифференциального уравнения) на
соответствующей области не имеет огибающей (см. теорему 1 § 1.2).
Если же функция V (х, у) не является непрерывно дифференци
руемой в некоторых точках (х, у), то совокупность этих точек МО.КС!
дать огибающую семейства,
§1.11. УРАВНЕНИЕ ВТОРОГО ПОРЯДКА 53
(2>
(6)
58 ГЛ. I. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
обладающих свойством
(х0, Cit .... С„)£Й,
будет соответствовать решение нашего дифференциального
уравнения, которое (при фиксированном х0!) можно запи
сать в виде
(4)
В результате получаем семейство решений нашего диф
ференциального уравнения, зависящих от п параметров
С,, Сп. Каждой определенной системе (Сп С„)
параметров ((х0, Q, .. ., Ся) £Q) соответствует свое реше
ние дифференциального уравнения (со своим интервалом
определения).
Можно в уравнении (2) ввести новые функции
Уі(х) = У, У2(*) = у', ..., у„ (х) = у'"-"
Все они во всяком случае имеют непрерывную первую
производную. Тогда уравнение (2) окажется эквивалент
ным следующей системе из «дифференциальных уравнений
первого порядка:
(5)
л L! п с/ \
дх ~ f C'C Уі» Уїі • • ■, Ум)-
Система (5) есть частный случай системы
= (*. Уі. • ••, Уя).
(6)
СО ГЛ. 1. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
Справедлива
Теорема 2 (существования). Пусть функции
(х, ух, ..., у„) (j = 1, ...,») непрерывны, имеют не
прерывные частные производные первого порядка по всем
переменным, начиная со второй, в некоторой области Q
точек (х, у у, ..., уп), и пусть задана определенная точка
(х0,у10.......... уп0) этой области.
Тогда существует интервал (а, Ь) и определенные на
нем непрерывно дифференцируемые (единственные) функ
ции z/j (х), .. уп (х), удовлетворяющие системе (6) и на
чальным условиям
Уі(Хо) = у1а, уп (х0) — уп0. (8)
Если функции <р, (х, у у, ..., уп) на О непрерывно диф
ференцируемы р раз, то соответственно и решения си
стемы уj (к) (j = 1, .... п) обладают лучшими свойствами—
они имеют непрерывную производную порядка р 4-1.
Если зафиксировать х0, то каждой системе чисел
Су — Ут, Сп — уп0 ((х0, .......... Сл)^й),
£У*.,= и -_2и
_ ’ / "_І_9 Ч f (12)
Уз— 2 Уі~і^УІ)- J
Подставляя эти значения у2 и у3 в (10), получим искомое
уравнение третьего порядка относительно функции у3 (/):
У'і —ЗУі *Ь 2t/i + 2і/х =0.
Решая это уравнение, найдем функцию z/£, затем мы на
ходим функции у3 и у3 по формулам (12).
т. е.
l-f-г2 ==е2 —2ге*+0‘ -{-г2,
z--^(e*+0<—e-<*+e‘))==sh(x4-Ci).
y{n}>=a(zt z'y
Подставляя эти значения в (4), получим дифференциаль
ное уравнение (п—1)-го порядка относительно г. Пусть
г — г (у), а < у < р, есть решение этого дифференциаль
ного уравнения, отличное от нуля на (а, Р). Так как
2(У)^,ТО
тогда
-|-T-’ = r+Cf, ee|(r+Ct)-i5
,-с,
y=*%Ckyk(x), (5)
fe=i
порядка, то определитель
У1 (х) • Ут (X)
У1 (х) Ут(х)
(ух€(а, Ь)). (7)
г/Г1’ (х).. . г/Й1"1’
В самом деле,
W ек"х] =
ек'х .. ектХ 1 ... 1
k1ek‘x .. kmek”x — g(k, + . • 4-^т) x :.km
.. km~1ekmX k?-'
п
= S аіУі (*) будет решением уравнения Ln[y] = 0 с ну-
i=i
левыми начальными условиями (по (8))
У(хо) = О, у'(хе) = Ъ, (хо)=О.
Но таким же условиям удовлетворяет и тривиальное
решение 1/^0. В силу теоремы существования и единст
венности решение, удовлетворяющее этим п начальным
условиям, может быть только одно, следовательно,
п
S агу;- (х) = 0 на (а, Ь), т. е. функции ylt уп линейно
i=i
зависимы на (а, Ь), что не предполагалось. Теорема до
казана.
Если pj (л) — разрывные функции в интервале, где мы ищем
решение, то уравнение Z.„[z/] = O может иметь не одно решеьие,
удовлетворяющее начальным условиям у (х0) = у' (х0) == • • • =
= у(/1~1> (хс) = 0, и тогда возможно, что W (х) = 0 на (а, Ь).
Пример 5. Легко проверить, что функции
|(х—1)“, 0 < х <; 1, 0, 0 < xsg 1,
Уі (*) =
І0, 1 < х < 2, (а > 2)
(х — 1)“, 1 < х < 2
линейно независимы на (0, 2), и для них IV (х)^0 на (0, 2).
Это связано с тем, что функция y = Clyi-JrCiy2 является общим
решением уравнения
. а (а—1)
где рс{х) =---- _п2 разрывна в точке х=1. Для этого уравне-
(X 1)
ния теорема существования и единственности не имеет места (в ок
рестности точки х=1). Не только функция BsO, но и функция
1/1 (х) является решением дифференциального уравнения, удовле
творяющим условиям у = 0 и у' = 0 при х=1.
;.................................. ""
S С, !£-"Ю = 4"-".
fe=l J
Определитель системы (11) И? (х0) не равен нулю, так
как функции ylt ..., уп — линейно независимые на (а, Ь)
решения уравнения ^„[у] — 0- Поэтому существует един
ственная система чисел С5, ..., С°п, удовлетворяющих
сравнениям (И). Подставляя их в (9), получим решение
нашего уравнения в виде
{/= S <Лук(х),
к=1
Зададим п векторов
a<i) = (l, 0, .... 0),
а(2) = (0, 1, 0, ..., 0),
_dkJ
и лемма доказана.
Замечание. Из изложенного выше вытекает, что
если kj—корень характеристического уравнения кратности
/у^/ = 1, ..., т\ S //S=n^, то фундаментальная система
S С;(х)уДх) = 0, ]
7 f (5)
S
г=1
С'і (х) у і (х) = 0.
>
Тогда будет
+ Ро X
1=1
= /(х),
или
G (у'," + РгУ", 4* РіУ’, 4* РоУі) + С2(у”' +р2у. + р^: 4* роу2) 4-
З
4*С8 (Уз 4“ р2у14~РіУ..4* р9уя) 4- SС іУі = / (-П-
Z=1
Но выражения в скобках в левой части этого равенства
равны нулю, поэтому
(5), (6):
С’1(х)ех + С'2 (х)е2х = е3’*, } = е*Х 0)‘
С[ (х)ех + Ся(х)2е2х
Решая систему, имеем С((х) =—е2х, С2(х) = ех. Отсюда
Cj(x) = —е2Х/2, С2{х) — ех и частное решение
у = —~ е2хех 4- ехе2х — у e3Jf.
Таким образом, общее решение исходного уравнения имеет
вид
у — С1ех + С2е2Х-\--^е2х.
Я. С. Бугров, С. М. Никольский
82 ГЛ. 1. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
Итак, функция
— кй J аек>х — (ае^ах)—кааекох = 0,
Поэтому
(10)
то
(ах'~1еМ)= ^-k0) (а (1-1)1 А*) = 0.
М2]=°- (23)
У= + +
Замечание. Если функция yt является решением
уравнения
[г/] =(х) (1 = 1, ...,-у),
= х, у, г, х, у, г),
г — w, X, у, г, и, v, w).
. '...................................................................... f 0)
^f = anI(0 Уі + y„, )
dA (0
Л'(0 = =*A(t) =
di
~ [А (0 В (01 = А (0 В (0 + А (0 В (0.
(3)
Из этих свойств по индукции следует, что если
у (()=» colon [#я(/).......... ^1(0].
(4)
>"(/)« colon.......... //„„(О]
— решения системы (1') и Cit ..., Сп — произвольные
числа, то
J’(0 = C1^(0 + .--4-Cnr(/) (5)
есть решение (Г).
Важно отметить, что если система (4) решений линейно
независима, то формула (5) выражает общее решение
системы (Г), иначе говоря, в формуле (5) при различных
постоянных ..., Сп содержатся всевозможные реше
ния системы (Г).
Доказательство этого утверждения можно провести
как в случае линейного уравнения н-го порядка.
Система (4) вектор-функций называется линейно не
зависимой на (а, Ь), если из равенства
С./(/) + ...+СлГ(0 = 0 (6)
следует, ЧТО (?!=... =Сп = О,
Так как векторное уравнение (6) эквивалентно п ска
лярным равенствам
СіТ/п (0 +••• + Cnz/t„ (/) =0,
(6')
СіУпі (0 + • • • +СПУПп (0 я^> .
то из того, что определитель
W(t) = \ykl (01 (7)
не равен нулю хотя бы для некоторого значения t, уже
следует, очевидно, линейная независимость системы (4)
вектор-функций.
Определитель W (0 называется определителем Врон
ского системы (4) вектор-функций.
Если система векторов (4) линейно независима на
(а, Ь) и эти векторы являются решениями системы (1') с
непрерывными коэффициентами, то можно доказать, что
W (t) ^=Q для всех t£(a,b).
Таким образом, условие W (1)^=0 для всех t£(a,b),
является необходимым и достаточным условием линейной
независимости на (а,Ь) решений (4) системы (1) с непре
рывными коэффициентами.
Итак, для того чтобы получить общее решение одно
родной системы (1), надо найти п линейно независимых
решений (4) системы (1). Сумма (5), где . ., Сп—про
извольные постоянные, есть общее решение системы (1).
4 Я. С. Бугров, С. М. Никольский
98 ГЛ. 1. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
У(/) =
.Ут{6---Упп
В G3M0M деле,
>*(0 = ^(0 ек,
где ek = colon [0, . ..,0, 1,0......... 0]. Умножая справа на ек
уравнение (8), получаем
т. е.
= (А=1,...,П).
н?
II
■
= аиУі + • • • + аіпуп,
(1)
Луп _
ап1У1 + • • + аппУп
dt
(—оо < t < оо), 2
dt
(И
где Л=||аА/||—заданная числовая матрица, в следующем
видеї
t/i = а1Єм, t/2 == a2ev, ..., уп = аяе*' (2)
или
у^{агеи, .... аяе*'}. (2')
Числа ап ..., ая, 2. подлежат определению.
Конечно, числа
«1 = 0, а2 = 0, ..., а„ = 0
дают тривиальное решение системы (1):
й(/)эО, .... уп(і) = 0.
Но нас интересуют нетривиальные решения, соответст
вующие не равным нулю векторам
« = («!-, .... а„).
Имеем
— (1=1, ...,п).
— единичная матрица.
Для того чтобы система (3) имела нетривиальное ре
шение, необходимо и достаточно, чтобы ее определитель
был равен пулю:
Яц — % 012 013 ••• а1п
а21 й22—X °23 ••• fl2n Q (5)
(11)
1= 1
Н См. нашу книгу' «Высшая математика. Элементы линейной
алгебры и аналитической геометрии», § 14, тесрема I,
$ 1.21. ОБЩЕЕ РЕШЕНИЕ ЛИНЕЙНОЙ ОДНОРОДНОЙ СИСТЕМЫ ЮЗ
Уп (0 = S ехР (М>
/= і '
где Ai( .,,,ХЯ—корни характеристического уравнения
(различные!), а — числа, которые надо найти. Из из
ложенной теории следует, что такие числа существуют.
Чтобы найти числа а$, подставляем функции Уу(О в
систему (1) и сравниваем коэффициенты при одинаковых
ехр (Ау/). Числа й*;) получаются при этом неоднозначно,
они зависят от п произвольных постоянных.
Пример 1. Решить систему
g = x + 2S,
Характеристическое уравнение
(X—1Г—4=0,
получаем
ЗС^3*—C2e_1 = С^е3* 4- C1e~t + 4- 2a2e_t,
откуда 2С\—2а1 = 0, —2С2—2а2 = 0, т. е.
д1 = С1, о2= С2.
Таким образом, общее решение имеет вид
x(f) = C1e3'+C2e-t,
//(/)=С1Є31-С2е-‘.
Пусть теперь характеристическое "’уравнение (5) сис
темы (1) имеет корень kj кратности г. Сведем систему
(1) к одному уравнению м-го порядка относительно функ
ции z/i (/). Это уравнение и система (1) имеют одно и то
же характеристическое уравнение (доказательство ниже).
Но тогда, как мы знаем, корню кратности г соответ
ствует решение уравнения п-го порядка вида
Уі (0 = Фо + brt 4-... 4- Ьг_гГ~ *) е%1',
где Ьо, 1\......... br_t — произвольные постоянные. Таким
образом,
{/і (0 = /’,-1.1Ф)еЧ
где Рг_ї, ї(0 есть многочлен степени г—1.
Рассуждая аналогично, мы и другие функции у}- (/)
можем выразить в форме
= (/=1..........«). (12)
где. ] (/) многочлены степени г—1.
Каждая из функций y^t} удовлетворяет указанному
дифференциальному уравнению n-го порядка, каковы бы
ни были коэффициенты многочлена Рг_1,у(О-
Остается среди многочленов Рг_ї,ї, .... Pr_i,n ото
брать такие, чтобы соответствующие им функции
Уі (/),..., уп (0 совместно удовлетворяли системе (1). Для
Уі Ун
«= I
Применим теперь к первому уравнению (]') (точнее к левой и
правой его частям) оператор Mxj (т. е- произведем ряд диф
ференцирований, умножений на число и сложений), ко второму —
оператор и так далее и сложим их. Тогда на основании (3)
получим
s= I s= 1
т, e.
п(^)^/=ф/(0 0'=l............ П),
где
Фу(0 = £ MSJ(4)
s =1
Замечание. Если все fs (t) ъг 0 (s= 1, ..., n), то Фу (f) = 0
и дифференциальное уравнение будет одно и то же для всех функ
ций yj (t):
*
Здесь 6ц = 1—-г,, 612 = 1, й2і =0, 622= 1—-т,', Л4ц = 1—І-
at at dt
Л4і2 = 0, Л42і =—1, Л122 = 1—— . Применяя к первому уравнению (5)
оператор Aljj, ко второму — оператор A42J и складывая, получаем
§ 1.23. НЕОДНОРОДНАЯ СИСТЕМА ЛИНЕЙНЫХ УРАВНЕНИЙ Ю9
Т. Є.
^1 = 0- «/і-Зуі+ {/1 = 0.
Совершенно аналогично применяя к первому уравнению (5)
оператор Л112 = 0, ко второму— оператор 'Vl22 = 1 — и складывая,
получаем
.......................................................................У 0)
Ф)-Т- (3)
ПО гл. 1. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
L =ИГ]=/.
k=i
А с другой стороны, если у есть решение системы (1),
то
L [J -J°] = L [ УІ [Г] =/-/ = 0.
но тогда для некоторых постоянных Ск
y-y^i Chy\
k=l
Если известно общее решение однородной системы (3),
то частное решение неоднородной системы (1) можно
находить методом вариации произвольных постоянных
(метод Лагранжа1)).
Пусть
•V (0 = S Ску* (0
fe=i
— общее решение системы (3), т, е, >*(/)—линейно независимые
частные решения (3):
L[y*]=O (А = 1............ п).
Будем считать Ск — Ск(1) функциями от t и подберем их так, чтобы
функция
«/(0= S (4)
/г=1
была частным решением неоднородной системы (1). Дифференцируя,
имеем
[с.<0^+«(/)].
й= 1 L J
ИЛИ
k= I ft=I
Так как L[yk]=O, то для определения C'k (t) мы получаем систему
S СП/)>*(0=/(0 (5)
/(=1
с непрерывными на (о, Ь) вектор-функциями / (/) и у* (і).
Система (5) является линейной относительно Сь (/) с определите
лем, равным определителю Вронского системы векторов у1, уп.
Так как этот определитель не равен нулю, то система (5) имеет
единственное решение: Сй(/) = <р^(/) (й=1, п). Функции <pfc (і)
непрерывны, потому что непрерывны вектор-функции /(/) и ук (Ї).
Интегрируя, находим
ck (0=J Tfe (0 dt (fe = l, n).
Интегрируя, получаем
<?!</) =-4е_2/- C2(O=4eSt’
g = 2x + // + ^.
полагаем
х = Ьхе14- (Ь2 + b3t) e3t,
у= + (а2 + аяГ) e3t.
Подставляя эти функции в нашу систему, находим
Ь,=0, Ь2 = 0, Ь3 = 1/2;
а1 = —1/2, а2 = 1/4, с8«1/2.
Общее решение неоднородной системы запишется:
x=C1e3t+C’2e-,4-ye3t,
+ (|+у) e3t-
§ 1.24. Интегрирование дифференциальных уравнений
при помощи степенных рядов
В этом параграфе рассматривается два примера реше
ния линейных дифференциальных уравнений второго
порядка с помощью степенных рядов. Коэффициентами их
являются некоторые многочлены.
Второй пример посвящен важному в математике и ее
приложениях дифференциальному уравнению Бесселя.
Решения уравнения Бесселя, составляющие его фунда
ментальную систему функций, не являются элементарными
функциями. Но они, как мы увидим, разлагаются в сте
пенные ряды, коэффициенты которых вычисляются до
вольно просто.
Пример 1. у"—ху = 0, р(0) = 0, у’ (0)=1.
В данном случае р0(х) =— х, т. е. является много
членом первой степени относительно х. Будем искать
решение в виде ряда
У(х)=2а/. (1)
fe=0
Итак,
у W4-3.4.6.74- • •. + 3.4.6.7...ЗЙ (3*4-1)
У = хр 2 акхк. (5)
fe = 0
получим
ax[(p + p)2—v2]4-aF_a = 0,
(—l)Pa„
*'2/> 22ЛрІ (v+1) (v + 2) • • »(v + p) ’
Jv —„ у (~1)р (W^+v
(9)
0 0 о
М= max )/(/, у) |.
а. уїєо
Доказательство. При доказательстве теоремы
существования (§ 1.6) мы получили, что
или
\У(І) — У (01^1 Уа —Уа I l^—TN).
120 ГЛ. I. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
l*/(O-F(OI<e.
Сделаем некоторые пояснения. Имеет место неравенство
справедливы неравенства
ІУ,(0—Ф/(0 I <е (ї = 1. •••. «. v^€[^o, оо)). (5)
Таким образом, решение <р (і) устойчиво по Ляпунову,
du dyi
її dt -E -fah^ Уі> •• •. ?«)<° при t^ta.
dy-i
dt = Уі—УІ
Кроме того,
(*/? + //!> 6 >0)
5<-₽<°
вне окрестности начала координат
т. е.
<з>
Из условия А=^0 следует, что Х = 0не является кор
нем характеристического уравнения (3).
1. Пусть корни характеристического уравнения Aj и
действительны и различны. Далее, пусть a = {«i, а2),
х) См. нашу книгу «Высшая математика. Элементы линейной ал
гебры и аналитической геометрии», § 22. Дж. Д. Сильвестр (1814—
1897) — английский математик.
126 ГЛ. I. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
|р(П|^2.|4’24 = е.
§ 2.1. Введение
Пусть в трехмерном пространстве, в котором опреде
лена прямоугольная система координат (х, у, г), задана
непрерывная поверхность
(Q) = fCr( У) (Q~(x,
где Р есть ограниченное (двумерное) множество, для ко
торого возможно определить понятие его площади (дву
мерной меры, см. ниже § 2.2). В качестве Р может быть
взят круг, прямоугольник, эллипс и т. д. Будем считать,
что функция / (х, у) положительная, и поставим задачу:
требуется определить объем тела, ограниченного сверху
нашей поверхностью, снизу ПЛОСКОСТЬЮ 2 = 0 и с боков
цилиндрической поверхностью, проходящей через гра
ницу у плоского множества Q, g образующей, параллель
ной ОСИ 2.
Искомый объем естественно определить следующим
образом. Разделим Р на конечное число частей
Pf, ..., Рдг, (1)
перекрывающихся между собой разве что по своим гра
ницам. Однако эти части должны быть такими, чтобы
можно было определить их площади (двумерные меры),
которые мы обозначим соответственно через тР,, ..., mPkV.
Введем понятие диаметра множества А— это есть точ
ная верхняя грань d(A) = sup \Р'— Р"\.
В каждой части Р/ выберем по произвольной точке
Q/ ==(£/> і]/) ()e 1, •••> N) и составим сумму
e=J/(Q)t/Q«=$/dO.
(■ о
Пусть теперь в трехмерном пространстве, где опреде
лена прямоугольная система координат х, у, г, задано
тело О (множество) с неравномерно распределенной в нем
массой с плотностью распределения ц (х, у, z) = p,(Q)
|<? = (х, у, г)£О.) Требуется определить общую массу
тела О. Чтобы решить эту задачу, естественно произве
сти разбиение О на части Оп ..., Од,, объемы (трехмерные
меры) которых (в предположении, что они существуют)
пусть будут mQt, . .., тОл, выбрать произвольным обра
зом в каждой части по точке (Q; = (x/t yJt Zj) С Оу) и
считать, что искомая масса равна
N
A4 = lim У p(Q )mOy. (4)
max d (12 -* 0 / = 1
= p (x, у, г) dx dy dz.
Гл' = Йл>\Й/У
Очевидно, площадь (двумерная мера) Г,у равна
|Г//| =|Q/v| — | Qw|.
Из (1) следует?
(2)
Д' X N -> »
Обратно, из равенства
(3)
(У)
§2.2. МЕРА ЖОРДАНА 145
Г = Х г/>
(=1
й, Z)й2ей3... ей,
откхда следует:
| й] | ^ | Й21 | Йз | ,
(QJ > | Й2|Йд |Э5 ...
и
ІЯдгІ < |Яаіі.
каковы бы ни были натуральные N и М Отсюда вытекает сущест
вование пределов
11т Пт |йдг|.
N -*■ оо N <х>
Первый предел в этом неравенстве называют внутренней (трехмер
ной' мерой Й:
/П(й= lim |Й#|»
N -* во
а второй—внешней мерой Й:
теЙ= Игл | Й1У [.
N -* ао
Таким образом,
щ;Й < rnfQ.
Если
mjQ = meQ= mQ,
то множество й называют измеримым в трехмерном смысле по Жор
дану и число тй называют его трехмерной мерой.
Рассуждениями, подобными тем, которые велись в связи с равен
ствами (1), (2), (3), доказывается, что множество измеримо в трех
мерном смысле тогда и только тогда когда его граница имеет трех
мерную меру нуль,
$2.3 СВОЙСТВА кратных интегралов 147
(6)
и теорема доказана.
162 ГЛ. 2. КРАТНЫЕ ИНТЕГРАЛЫ
fc=o xkdS
= 2 dx S \ f(x, y)dy =
'=°
*k+1
Мы применили сначала к интегралу по х от функции
xk
"z + і в1 + ї
J f (x, у) dy теорему о среднем, а затем к интегралу J f (J^, у) dy
Bt 111
ту же теорему.
Мы доказали, что повторный интеграл в левой части (5) можно
рассматривать как интегральную сумму кратного интеграла J /dxdy,
д
соответствующую разбиению Д на части Д6г при некоторых точках
(?*> ‘ni)£&kt-
Перейдем теперь к пределу в равенстве (5) при N—► «>. Левая
часть (5) при этом есть определенное (не зависящее от N) число,
а правая часть стремится при N —>■ оо
к кратному интегралу от f по Д (если
кратный интеграл существует, то любая
интегральная [сумма стремится к этому
интегралу). Поэтому
ь d
J f (х, y)dy=^ fdxdg,
ас Д
и мы доказали первое равенство (4),
Равенство второго повторного интеграла
с кратным интегралом доказывается ана
логично.
Рассмотрим в плоскости х, у область Q, ограниченную
гладкими кривыми (рис. 35)
у = ф(х), г/ = ф(х) (а<х<6),
где
<р(х)^ф(х) (а^.х^Ь').
Пусть на замыкании Q области Q задана произвольная
непрерывная функция f (х, у). Чтобы вычислить кратный
интеграл от f (х, у) по области Q (или, что все равно,
по Q) применяют следующий метод: сначала интегрируют
функцию f (х, у) по переменной у ОТ у = Гр (х) до у = ф (х),
считая х постоянным, а затем результат интегрируют по х
на отрезке [а, Ь]:
Ь ф (х)
y)dxdy=\dx J f(x,y)dy. (6)
Q а ф (х)
х2 у~
точек (х, у, г), удовлетворяющих уравнению -^2+^2 +
,2
+ -?=1-
Решен и е. Область Q, о которой идет речь, огранп-
чена снизу кривой
аw = — —
а а2—х2
и сверху кривой
у^1Уа2—х2
а
а —
а Vn>-x‘
= dxdy = § dx §
о —а
a
2
§2.4. СВЕДЕНИЕ КРАТНОГО ИНТЕГРАЛА К ПОВТОРНЫМ 155
й2 VV о2
mQ = ^dxdy—2^dy dx = 2 ydy = ^ а3.
Q ООО
V==mQ=^jJ ї-dxdydz.
“2cjdx J У X—^—^-dy.
-а
V=a-Tpx У Y^^—x^—y^dy^
О о
—x2sln/J =»
а
~%$dx S ^(a2 — x2)cos2idi =
о о
“■^•7 J(a2—
О
ffr72
У cos2 і di <= j.
о
Далее
,, 2itfrc Г , xs І Iа 4 ,
V“— la X“~J |os3™fc-
а Va‘~x‘
dx § (а2—х*—y2)dy~
~Va‘-x>
Поэтому
2(х‘+р’)
mQ = § § § dxdgdz — dxdy J dz (x2 +y2)dxdy —
0 <0 К2+у“ <0
і V7 1
= j dx § (x2 + y2) dy = J Гх2 (Kx—x2) + у (*3/2 —■**)] dx =
О x‘ 0
x«\ , 2 1,2 1 _ 6
3 )aX~ 7 5 ‘15 21 ~ Зо-
0
то функция
d
y)dy
F' (х) = $ f'x (х, у) dy ф- ф' (х) f (X, Ф (X))—ф'(х) f (X, ф (х)).
ф(ЛГ)
(12)
Доказательство. Введем вспомогательную функ-
цию
О
/ (х, и, v) = $ f (X, у) dy,
11
/дх = У'Лх,У)йу.
и
4= I
Лї
Спг=(п1*. • • > nz„) €£*;)•
1=1
Очевидно,
N м N м
SP=^f (V) 2 mQu= S S f
4=1 l =1 4=1i=1
M N N M
Sp'=^f (if) 2 mQM = S S f
1=1 4=1 4=11=1
Я- С. Бугров, С. M. Никольский
162 ГЛ. 2. КРАТНЫЕ ИНТЕГРАЛЫ
Поэтому
N М
is0-sp-i<2 Si/d*)—W) imQ«.
1=1
где сумма 2' распространена на не пустые множества £2л,—ведь
мера пустого множества все равно равна нулю.
Так как_функция f (х) непрерывна на замкнутом ограниченном
множестве £2, то она равномерно непрерывна на нем, поэтому для
любого е > 0 можно указать такое 6 > 0, что
О
Рис. 40.
x[D(x)ldXfdXidX3, (3)
i) К. Г. Я. Якоби (1804—1851)—крупный немецкий математик
и механик.
166 ГЛ. 2. КРАТНЫЕ ИНТЕГРАЛЫ
где
“ <р fa, х8).'
Х3 = ф , Х2) Х3), ((%£, х2, х8) (iQ)j (4)
ха. х») ,
— непрерывно дифференцируемые функции на замыка
нии £2 области Q с кусочно-гладкой границей и
d<p dip dip
3X1 дх2 дх3
dip dip dip
О(х) = dxj dx2 дх3
(X,,X2^h)
J
,Лг+А 1
Хг
0 Xt
Рис. 43.
л -* о
Итак, формула /2) доказана.
Рис. 45.
где
F (Р. 0) = f (р cos 0, р sin 0).
место равенство
ф (6. <р)
y,z)dxdy dz=^dOdcp J F (р, 0, <p)p2 cos 0 dp,
О <d 0
(3)
где F (p, 0, q>) — f (pcos0cos<p, pcos 0sing), psin0). Мы
воспользовались общей формулой (3) § 2.7, учитывая
равенства (1) и (2). В данном случае — л/2^0^л/2,
поэтому р2 cos 0 0.
V — т£1 = J $ $ dx dy dz.
Q
ф-£]
V=j})Jpdpd9d2 = ^ рdpd9 J dz =
£2' 0 0 0
c= 2лсС p ( 1 — dp = ~na2c.
$2.11. ПЛОЩАДЬ ПОВЕРХНОСТИ 175
G = S Gy.
=8
adx dy
Vа2 ~х2—уг
= 8а
о о
и
А л/2
р dp dO
уО^Г2 =
D (и, v) ' на
получим
г = /[ф(и, v), ф(ц, ti)] = x(«, v).
Тогда
dtp . д/ дф
ди дх ди ' ду ди ’
до дх ди ' ду ди
|S| СС і/(D<x’ і *)
J J V \D (и, v) J ' \D (и, v)
(12)
і _L і D *1 І Ь D Iх’ У)
* D (и, v) D (и, v)~t~KD (и, v) ’ (13)
= dv =
(0
=5Si,:»xrJdMdt'+ni/;n></:Jdudu=iaii+io2i-
СО] (1)2
І
Эпгпоказывает, что определение (14) обладает естест
венный свойством—площадь куска ст поверхности S равна
сумме площадей кусков ст, и ст2, на которые он разрезан.
Подчеркнем также, что если определение (14) пло
щади |о| применить к куску ст, проектируемому одно
значно на ту или иную координатную плоскость, то оно
эквивалентно исходному определению площади такого
куска ((3), (3') или (3")). Это было доказано выше
(см. (6)).
Пример 2. Найти площадь поверхности, заданной
параметрически:
х. = г cos ср, y = rsin<p, г = Ь(р 0^ф^2л).
якобианы:
О У) _ f D (х, z) I cos ф
D(r, <р)-л> D (г, ф) = I О
D (у, г) _ I sin ф Г COS ф I
О(г,Ф) I О Ь I = isin<₽.
Далее,
О(Х, у)У , ГД (ft. г)1а , Гр<*. г)
D(r, ф)] *1_[О(г,ф)] ■’'[О(г.ф)
4=$4P(P)dG/$p(P)d6 (i = l, 2, 3).
О G
Итак, для любого т] > 0 найдется е0, так что для всех
положительных е, е', удовлетворяющих неравенствам
О < є < є' < е0, имеет место
.) <П.
fl
2л я/2 I
s= lim К J r’cos0-r-“'drd0d<f> =
e-*° 0 -л/2 в
1 п/з
₽=lim2nC r2~a dr C cos 6d0 = lim^-ra-a
£->0 J
e —л/2
£->0d 06
eHm 4«_(1_е,-а)в/4л/(3-а), «О,
e->-od “ ( oo, a > 3.
Мы доказали, что интеграл (3) сходится при а < 3.
Если а > 3, то интеграл (3) расходится. При а = 3 ин
теграл (3) также расходится (при вычислении интеграла
по г первообразная равна In г).
Замечание 1. В л-мерном пространстве, т. е. когда
п
[х|2= X*?. интеграл (3) сходится при а<п и расхо-
/=і
дится при а п.
Если область G неограничена и функция f (х) непре
рывна на области GR = G-U (О, R) при любом R (рис. 62),
то несобственным интегралом по неограниченной области
G называется число, равное пределу
lim f (х) dx — [ f (х) dx. (4)
я-»® gr o
При а = 3
R
G«£«\t/(O, 1),
с
По определению имеем
/ в= lim J ехр (— Xі,—х|) dxx dx$;
R-*a Gr
имеем
R я/2
( exp (— х[—xl)dXidx2*= $ $ exp (— г2) г dr dq
gr о в
Таким образом,
Но
4ах (2ах2-(-1)
в
— е~а*2 N___ 1_ — Г—2а [е~ахах&- =
4ах (2ах2+1) в 4а X |в J X'
s -
-axs pip
2 —
— 2ax 2 J\ е~
24-l |e -k—
-------- dx'
e лх ax
190 ГЛ. 2. КРАТНЫЕ ИНТЕГРАЛЫ
§ 2Л 4. Несобственный интеграл
с особенностями вдоль линии
Пусть функция F (х, у) непрерывна на открытом круто
Ga = {*2 +V2 < а2} (а > 0),
однако неограничена на нем. При этом мы предполагаем, что при
приближении к любым точкам окружности х2 + уг = аа функция F
стремится к бесконечности.
Тогда для любого положительного Ь < а интеграл
F (xt y) dx dy = J J F (xt y) dxdy
^dxdy‘
Ga
-55
§2.15. ИНТЕГРАЛ, ЗАВИСЯЩИЙ ОТ ПАРАМЕТРА 191
Мы рассмотрели пример несобственного интеграла, когда подын
тегральная функция неограничена вдоль линии. В предыдущем па
раграфе были приведены примеры несобственных интегралов, когда
подынтегральная функция неограничена в окрестности точки.
(x£G),
u G
Q
равномерно сходится на G, то имеет место равенство
y}dy^~f(x, y)dy, (7)
я я
m. e. законно дифференцировать под знаком интеграла.
В самом деле,
■“Й D* J €\ J
(8> 0),
и интеграл
е
Г (а) = | xa~le~* dx =
/1
ч
1
!/ 1
\1
гч_ ___
1 1\
I ГІ
1
. 1 0
X/ !
л/
Рис, 67,
тогда
т
5р[ф(Т-т), и-(Г—г),
о
X Vф' (Т~т)2 + ф' (7—т)24-у' (7-х)2 dx =
О
«- $ Р [ф (Л. 4 (Л, х (Л]/ф' (0’4-Ф' (Л2 4-х' (О2 л-
т
т
«=$^[ф(Л, 4-ю, х(Л]/ф' (0г + Ф' (Л24-х'(0*^.
и
= (b2cos2/4-a2sin2/)d/ = ft(a2-j-&2).
о
§3.3. ИНТЕГРАЛ ОТ ВЕКТОРА ВДОЛЬ КРИВОЙ 205
соответственно равны
о о о
Эти примеры показывают, что интеграл второго рода,
вообще говоря, зависит от кривой, по которой он вы
числяется, или, как еще говорят, он зависит от пути
интегрирования.
Во втором примере мы получили одно и то же зна
чение по разным путям интегрирования. Оказывается,
это не случайно. Причину последнего свойства мы выяс
ним в дальнейшем.
Ы-о.
г- г"
$3.4. ПОЛЕ ПОТЕНЦИАЛА 213
поэтому
Г' г*
откуда
S-S+S-S-S=o.
Г Г' Г" Г' г”
и мы доказали 1).
Пусть теперь известно, что поле вектора а имеет в
области Q потенциальную функцию U (х, у, г).
Зададим на Q точку Лое=(хо, у0, г0) и переменную
точку А*=(х, у, г). Соединим Ло с А ориентированной
от Аа до А непрерывной кусочно-гладкой кривой Г =
определенной уравнениями
х«=Ф(т), у«ф(т), г«х(т)
Таким образом, значениям ta, t параметра т соответствуют
точки Ло, А.
Если подставить в U вместо х, у, г соответственно
функции <р, ф, х, то U будет непрерывной кусочно-глад
214 ГЛ. 3. ВЕКТОРНЫЙ АНАЛИЗ
и тогда
V(x, у, z)« $ (ads)= $ (ads) + $ (ads) =
глфД
А л гл л гл я
+ у, z)dt, (3)
Xi
где § (ads)—постоянная, не изменяющаяся при
ГА0А,
движении точки А по отрезку AtA2, а Д1«(х1, у, г).
Надо учесть, что уравнения отрезка А2 Аа можно записать
в параметрическом виде (через параметр t) x**t, у** у,
г — z, откуда следует, что
$ Q d# =• J Q (f, z)-0d/«0,
rAtA х‘
=_____ J_____ ». _ 1
КЗа + 4а УГ14-22Ч-23 15
Поэтому
8R 9Q - d2(J &U
ду дг дуд г бг ду
ГдР [3R d2U d2U
дг дх дг дх дхдг
дР diU d2U
дх ду дхду дудх
P{Xt У) ха + у2 * Q (х, у) =
v v
потому что
J Qdy = Q, J Pdx — Q.
ЄАьВ ЄВА
ду дх
(6)
' '
т. е.
аи дя
на £2,
ду дх
е=£п'~5тг+х^+1—х«^+'+х^+1—хУа+' в
І2 Я а (р (х)
b
= J[P[x, ф (х)]—Р[х, <p(x)]]d№
а
а й
= — JР[х, ф(х)]гіх— у Р[х, <p(x)]dx =
Ь и
Р (х, у) dx. (3
г
Пояснения требует третье равенство.
Здесь важно отметить, что, если два контура у1 и 7
(і Ф j) имеют общий кусок у', то он как часть ух- и каь
Рис. 86.
V со со
(5)
3.8. ИНТЕГРАЛ ПО ПОВЕРХНОСТИ ПЕРВОГО РОДА 222
rLv-SFHyJIS/l,
г=1
и, следовательно,
^F(x, у, z)dS=^F (х, у, f(x, y^VV-^-p^ + q^dxdy. (4)
S G
Докажем формулу (3). Пусть Ду = (ху, yj, Zj) и
Я (Л) = Ч- ■ (1)
“ |гвхг0|
и dS = | ги X | du dv. Отсюда
rU'Xrv.
г I Р (и1, г>')|
I D (и. о) I
D(u', у’)1)
|'VXr0-|
•sign
D («, у)
Таким образом, формула (1) со знаком «-}-»! для еди
ничной нормали п (А) (а вместе с ней и формула (2) ин
вариантна только по отношению к преобразованиям
параметров, имеющих положительный якобиан.
Относительно произвольной ориентированной в про
странстве х, у, г поверхности не имеет смысла говорить,
что она ориентирована положительно или отрицательно.
Другое дело, если поверхность плоская, принадлежащая
к одной из координатных плоскостей.
Ориентированная область G, принадлежащая к пло
скости хОу, называется положительной (отрицательной)
и обозначается символом G+ (G_), если соответствующая
области G единичная нормаль n(A) = k(n(A) =—k), где
k—орт оси г. Это определение согласуется с определени
ем, данным в § 3.6. Нужно только считать там, что мы
смотрим на плоскость хОу со стороны положительных 2.
Если заменить в этом определении х, у соответственно
на у, г или г, х, а также k—соответственно на орт і
оси х или орт J оси у, то получим определение G+ для
областей, принадлежащих плоскостям уОг, гОх.
Для областей G_, принадлежащих хОу или уОг или
гОх, надо соответственно ft, Z, / заменить на —k, — і, —J.
G &
где G' обозначает соответствующую G ориентированную область.
В этой формуле замены переменных якобиан не пишется под знаком
абсолютной величины.
Поясним сказанное относительно связи ориентации Г со зна
ком D. В прямоугольной системе координат х, у зададим два некол
линеарных вектора а' — (а[, а2) и a” = (a'i, а2). Если определитель
положителен !), то это указывает на тот факт, что система а', а" ори
ентирована так же, как оси х, у (рис. 96). Если же А < 0, то си
стема а', а” ориентирована противоположно (рис. 97).
Преобразование (1) отображает прямоугольную сетку плоскости
х, у в криволинейную (рис. 98—100). При этом могут иметь место
два характерных отличных случая отображений, изображенных на
рис. 99 и 100. ■
г) См. нашу книгу «Высшая математика. Элементы линейной
алгебры и аналитической геометрии», § 12.
§ 3.t f. ОРИЕНТИРОВАННАЯ ПЛОСКАЯ ОБЛАСТЬ 239
Квадрат ABCD переходит в криволинейный параллелограмм
A’B’C'D’, вектор АВ переходит с точностью до бесконечно малых
высшего порядка в касательную к дуге А’В' в точке А', определяе-
/ дх' ду' \
мую вектором I j , а вектор AD — в касательную к дуге
О z
Рис. 95.
Рис. 100.
Л Аг М (х, у)
= П {R(x. У, y))—R (х, у, Xj (х, y))}dxdy=>
у' z)dydz,
G S‘
т. e. формула Гаусса—Остроградского для вектора (Р, 0,0),
а для Яу-области G—формула
j® <х’ У’ z)dzdx.
в s*-
Остроградского
J 5 (adS) = J J J div a dxdyd2.
se Ve
Левая часть этого равенства выражает количество жид
кости, вытекающее из Ve (вовне Se) за единицу времени.
Применяя к правой его части теорему о среднем, получим
$$ (adS) = |Ve | div «і, (6)
se
где I Ve I есть объем Vs, a — скорость жидкости в неко
торой точке из Vg. Разделив обе части полученного ра
венства на |Vg| и перейдя к пределу при є—>-0, получим
*,я“.и.т.то'П(“‘од (7)
в силу непрерывности div а, что существует предел, рав
ный дивергенции а:
или
jj (an) dS =s (an) dS.
s'
Мы видим, что поток вектора а через S7 равен потоку
его через Slt t. e. если, например, a (x, у, z) есть ско-
рость текущей -в ГЧ
й _жидкости,
___ _ то количество жидкости,
втекающее в единицу времени в трубку, равно коли
честву вытекающей из трубки жидкости.
где і', J', k'— единичные орты в системе х', у', г'.
Если ориентированный контур Г замкнут, то взятый
вдоль него криволинейный интеграл от а будем называть
S3. IS. ФОРМУЛА СТОКСА 255
(а (Р dxQ dy + R dz).
(пояснения ниже)
~И{^С03("’ z)-~|7cos(”-’f/)}dS =
= -П(¥+^¥)соз(л’ z)dS =
s
= ~^hP^x' y’ ^х' УІЇ^У**
s;
= j p (x, y, ft(x, y)) dx = P (x, y, z)dx. (3)
гг г
Так как grad(/\(x, у)—г) ортогонален поверхности
z = ft(x, у), то направляющие косинусы нормали в точке
(х, У, fi(x> У)) пропорциональны координатам градиента:
1) = cos(«. ^):cos(n, «/):cos(ra, г).
Отсюда
cos (и, у) = — f^cos(«, г),
(2)
где
А* = 1/^1 +bl,
а определяется однозначно из соотношений
0<coft<2n, a^al + b^coso)^ b^KaT+^—sint^.
Примером гармонического колебания может служить колебание
пружинного маятника (рис. 108). Пусть пружина, подвешенная
в точке В, имеет на нижнем ее конце груз мас
сы т, координата центра тяжести которого в мо
мент t=0 равна г=0. Грузу в момент 1 = 0 при
дается импульс г' = р по направлению оси г. В
результате груз будет колебаться. Отклонение его
от точки равновесия обозначим через z = z(Z).
Так как сила, действующая на груз в первом
приближении, равна по закону Ньютона
mz" =—кг, то
Z + v22==0
(«ЧУ
Общее решение этого дифференциального уравне
ния имеет вид
z = Cf cos v/ + C2 sin vt.
z = — sin vt = A cos
v
ak cos + bk sin —■ t
и график функции
Г л/4, 0 < х < л,
0, х = 0, х = л,
1 —л/4, — л < х < 0.
. .. — —. .- . - ■ . .. *.
-2tl ~n 0 n 2П 3n 'x
1 ' ■
Рис.413.
+ (2)
ь=і
мажорирующий, как говорят, ряд (1). Его члены превы
шают соответственно абсолютные величины членов ряда (1):
|aftcos-yx|<|aA|, sin ^-х| <
I (2)
b^l J*sinJT dt (6 = 1,2,...).
-i
Числа ак и Ьк, вычисляемые по этим формулам, назы
вают коэффициентами Фурье функции /(/), а тригономет
рический ряд (1), в который вместо ак и Ьк подставлены
соответствующие коэффициенты Фурье, называют рядом
Фурье функции f (/).
ак cos -у t + bk sin — t.
J f(x)dx=0.
—а
Функция cos —j—/ четная, a sin-у-і нечетная. Кроме
того, произведение двух четных и двух нечетных функций
есть функция четная, а произведение четной функции на
нечетную есть нечетная функция. Поэтому для четной
периода 21 функции f{t)
(6 = 0,1,2,
(6 = 1,2, ...),
а для нечетной —
aft = 0 (6 = 0, 1,2, ...),
I
Ьк = ^ї У f (х) sin -у х dx (6 = 1,2, ...).
о
Пример. Разложить в ряд Фурье функцию (пе
риода 2л) /(х) = х'4 (—л^х^я) (см. рис. 116).
271
о
л л
2 Р , , , 2 „ sin kx |л 4 Р . , ,
afe = — \ х2cos kxах = — х2—т— —?— i xsin kxax=>
* лJ л k |о ял J
о о
= ^coskxdx = (-^± (Л>0).
о
Таким образом,
х2 = ^. + 4£(-1)*^ (-л<х<л). (4)
h=l
Равенство (4) следует из достаточных признаков сходи
мости ряда Фурье, изложенных в § 4.4.
Л (2)
' '
Таким образом,
п —4
д0 — л; Й2Л-І л (26—1)2
(Ы, 2, ...),
Но тогда, согласно указанному признаку,
40
cos (2k — 1) х (— oo < x < oo);
(2k— I)2
для нее
aft = 0 (£ = 0,1,2,...);
Л
bk = -^ У (л—х) sin kxdx =
"о
_ 2 . . cos kx Iя 2 f cos kx , __ Ъ___ 2 slnfex Iя___ 2
л ' X' k |o nJ k X k nk k |o k
a (£=1,2,...).
Итак, <p(x) = 2^ (—oo<x<oo).
k=i
Задача. Разложить в ряд Фурье функцию перио-
да 2л, определенную на [—л, л] равенством (рис. 119)
— Л < X < л,
Х = ± л.
CD
Ответ. /(х) = 2£(—
ft=i
§ 4.5. Ортогональные свойства тригонометрических
функций
Рассмотрим Последовательность тригонометрические
функций
1, cosx, sinx, cos2x, sin2x, ... (1)
Для них справедливы важные (легко проверяемые) фор
мулы:
( cos kx cos lx dx = j (£, 1 = 0,1, 2, ...),
_л V Л, U—I
$ sin £x sinlxdx = | 0’ (k, 1—1,2, ...),
(2)
§ cos £x sin Zx dx = 0 (£, Z= 1,2, 3, ...),
-Л
Л Л Л
jj 1 dx = 2n, J cos£xdx = 0, sin£xdx = 0
—Л -Л
(£=1,2, ...).
Из (2), в частности, следует, что интеграл по отрезку
[—л, л] от произведения любых двух различных функ
ций последовательности (1) равен нулю.
18*
276 ГЛ. 4. РЯДЫ ФУРЬЕ. ИНТЕГРАЛ ФУРЬЕ
Поэтому
-Л
Интегрируя по частям правую часть (3) последова
тельно, учитывая, что производные f', ..непре
рывны и принимают одинаковые значения в точках t = —л
и t = л, а также оценку (1), получим первую оценку в (2).
Вторая оценка в (2) получается подобным образом.
Теорема 2. Для коэффициентов Фурье функции f(x)
имеет место неравенство
Л
“Л
Доказательство. Имеем
Л
а1г = J f(t) cos kt dt. (5)
-Л
Аналогичным образом проводим доказательство для Ьк.
Следствие. Если функция f(x) непрерывна, то ее
коэффициенты Фурье стремятся к нулю: ak —> 0, bk—+ О,
k —> оо.
§ 4.8. СКАЛЯРНОЕ ПРОИЗВЕДЕНИЕ ФУНКЦИЙ 279
Величина
b \1/1
G \f4x)dxj
Нт ||/„—/|Ь
=(А)1/2_>0 (/г->оо),
b
J [Л (x) + fl(x)]dx
У’ (Ав !. 2. •••)
(2)
f~ 2
*=i
(A <Pfe) (Pk- (3)
при этом
If — 2 (А <Рл)ф
*| = (А /)— 2 (А Фй)а. (5)
II 4=1 II 4=1
Доказательство. Имеем
N II2 / AZ N \
If~ 2 Я6Ф4
4=1 ||
=( f~ 2 «4Ф4. f~ 2 “/Ф/ ) =>
\ 4=1 I=1 /
2
4=1
(А Ф4)2 < (А П,
верное при любом N. Но тогда, если система (I) состоит
из бесконечного числа функций <pft, то ряд, составленный
из квадратов коэффициентов Фурье функции /, сходится
и справедливо неравенство
5 (А Ф4)2<(А7), (6)
k— 1
называемое неравенством Бесселя.
Очень важен тот случай, когда ортонормированная
система (1) такова, что неравенство (6) обращается в ра
венство (равенство Парсеваля—Стеклова1))
І (А Ф4)2 = (А П (7)
4=1
для всех функций /££-2-
*) М. А. Парсеваль (1755—1836)—французский 'математик.
В. А. Стеклов (1864—1926) — русский советский математик и физик.
<4.9. ОРТОГОНАЛЬНАЯ СИСТЕМА ФУНКЦИЙ 285
S (/. ф*)фй.
1
сходится, то в Lf существует функция f (х) такая, что числа
являются ее коэффициентами Фурье и выполняется соотношение (9).
А в Lt такой функции может и не быть. В этом проявляется
несовершенство пространства Li, В пространстве Li недостаточно
количество функций, для того чтобы это обратное утверждение
имело место.
(aftco3foc4’&ftsinkx), (1)
fe=i
(*-0, 1, 2, ~),
л л
= J P(x)dx-2a
-±§ f(x)dx-
-л -л
п л л
J / (X) COS kxdx + bfc § f (х) sin kxdx
-2S л+
fe=l —л -Л
п Л п
+ С р (х) dx—ф—л^2 П + ЭД-
fc=l “я *«=1
Для функции это выражение при п—юо стре
мится к нулю. Но тогда имеет место равенство
1 J /2(x)dx = ^“ + E (al4-ад (f€L>), (3)
-л fc=1
называемое равенством Парсеваля для тригонометрических
функций (равенством Ляпунова).
Замечание. При сравнении формулы (3) g фор
мулой (7) § 4.9 надо учесть, что последняя была выве
дена для ортонормированной системы, а рассматриваемая
здесь формула (3) получена для ортогональной, но не
нормированной системы, какой является система
1, cosx, sinx, cos 2х, sin2x............
Функции
1, cos х, cos 2х, cos Зх, Г77 (4)
образуют ортогональную систему на отрезке [0, л]. Имеет
место
288 ГЛ. 4. РЯДЫ ФУРЬЕ. ИНТЕГРАЛ ФУРЬЕ
откуда
. л ■ 2л 8
1 —2й —1 Л(2й-1р’
Таким образом,
ф
Ф (х) =а у &fesin£x.
4= 1
lim Um S„(x).
Л-* « - Л Л“* «
§4.12. ПОВТОРНЫЙ ИНТЕГРАЛ ФУРЬЕ 291
lim 2 ckelbt>
п-* л —т
т-* ®
когда тип неограниченно возрастают независимо друг
от друга.
Комплексные функции
И*} (fe«0, ±1, ±2, .”.) (6)
образуют ортогональную систему на отрезке [0, 2л], так
как при k I
где
л
= 4 j / (О cos kt dt (А = 0, 1, 2, ...), (3)
“Л
Л
“Л (5)
. __ak—‘bk
ck — 2 *
(fe = 0, 1, 2, Ьо = 0).
— со
конечен.
Термин кусочно-гладкая функция понимается в сле
дующем смысле. Функция f непрерывна и имеет непре
рывную производную для всех точек х действительной
оси за исключением конечного числа точек, где функция
§4.12. ПОВТОРНЫЙ ИНТЕГРАЛ ФУРЬЕ 2ЭЗ
<x>
b (s) = -^ У f (/) sin st dt (--- ОО < S < оо), (-1'1
— ®
00
— OB
00
— ао
= 1 J 7(0^jcos(Z-x)sds = l j (13)
— oo 0 — oo
= ~ j 1/(0|Л< 00.
— 00
N 00
Функцию
<S,v(x) = l ]f(t)s^^-dt^^ p(« + x)s-^d« (14)
— 00 — co
=4
-Л
It N
4+£(cos^ cos fex + sln kt sin kx) dt =
k= 1
Л N
Л Л
1 f f msln (Л/ + 1/2)(/-х) _ 1 p(« + x) sin (jV+ 1/2) и ,
■ o . ‘ ’ du.
л 2 sin ((/—x)/2) 2 sin (n/2)
-л -Л
(16)
В предпоследнем равенстве мы воспользовались формулой (см. нашу
книгу «Высшая математика. Дифференциальное и интегральное ис
числение», § 9.8, (15))
_ sin (М-р1/2) a
cos ka
2 sin (a/2)
k= I
00 со
(18)
1
(’•9)
/2л
2S8 ГЛ. 4. РЯДЫ ФУРЬЕ. ИНТЕГРАЛ ФУРЬЕ
Введем обозначения
N
f (х) = Игл —f f (/) e~ixtdt
= КЗл с (х),
N ®
f(x)=lim-X= С f (t) e‘xtdt = -Д= [f(t)eixtdl =
v 1 К 2n J, ' К 2n J ' v '
= j/ 2nc(—x).
1)
2) Z(—х)=/(х);
4» нїо-ттгКт)
5) eitxlf = e~i,xlf = f (х + р) (р—действительное);
6) f=f.
Например,
§4.13. КОСИНУС- И СИНУС-ПРЕОБРАЗОВАНИЯ ФУРЬЕ 299
О
cos xs ds
іо f (0 cos ts dt = f (x). (2
Интегралы
— ®
§ 4.14. Примеры
Справедливы равенства (пояснения ниже)
2a P cos xs , , r. ~
6) = (fl>0, 0<s<oo).
'J
00
7) e~as = ~ j jqzpsinxsdx (a > 0, 0<s<oo).
0
§4.14. ПРИМЕРЫ ЗОЇ
ао
= COS sx [(s_^+a3 + (s+pj^J ds (a > 0).
0
11) f(x)=e“a*x lsinflx =
X
4a6 f <; sin sxrts , Пч
~ J [(s-P)2 + ^]J(s + p)^ + aH (0C ■> ’ ’
о
(—s) e'”]ds.
304 ГЛ. 4. РЯДЫ ФУРЬЕ. ИНТЕГРАЛ ФУРЬЕ
Пусть
—л I —л
л
1 О
\f(t + *) Г -i1 + £D
n fc(0 df.
л (« +1) о
-Л
Здесь
k
Dk (о=4-+Scos
4+L it— sin +4) ^(2sin4)
— ядро Дирихле.
Чтобы упростить выражение в квадратных скобках под
знаком интеграла, предварительно подсчитаем сумму:
^sin^-j-^ х = ф(х). [(2)
fe=0
ИЛИ
So'-
s,n (*4"2 ') x sin3 —g— x
Таким образом,
n
(4)
-Л
где
1
^.(0 2 (л 4-1) .(5)
(* = 0, 1, .... п).
—л 0
(Ю)
—л
= 5 ^(ОІН-ї-гО—f (x)\dt +
P l<6
-л «<|/|<л fi
S
k= 1
(х) (2)
Но по теореме 1 § 4.9
........... I,
|f—Jjtf. Фб)Фб| г, <lf-S«6<₽6
<е.
1к2(Ф 6) || л=і Ь-2(а, Ь)
/— S (/. Фб)Фб
б=і Ьа(а.Ь) 6=1
п п
(/, /)— S (7, Фб)2=|/— 2(7. <Рб) Фб|| ,
6=1 6=1 (a, Ь)
Поэтому
L2(a, b)
min f— S <wJI,
ak *=i I
где ck—коэффициенты Фурье функции f£L2(a, b) по
ортонормированной системе Отметим, что это равен
ство имеет место и для произвольной ортогональной, не
обязательно нормальной системы. В этом случае коэффи-
циенты Фурье
„ (Л <fk) (fe=l, 2, ..., и).
к ll<Pfell
Тригонометрическая система
1, cosх, sinx, cos2x, sin2x, ...
ортогональна на отрезке [—л, л].
Теорема Вейерштрасса выражает тот факт, что ^та
система полна в С*, но тогда, как мы знаем, она пол
на в Lj*.
А это и означает, что ряд Фурье по тригонометриче
ской системе любой функции f £ L'2 * сходится к ней
в смысле среднего квадратического.
7=1
ТО
$7 (x)dx= Ц$ fjtxJdxj, (1)
Д ) = 1Ду
где Ау = [ау, £>,].
314 ГЛ. 4. РЯДЫ ФУРЬЕ. ИНТЕГРАЛ ФУРЬЕ
(2)
-Л
Введем обозначения
(fy = 0, і 1, •. • ї / ~ 1, • • •, л)
от п переменных будут ортонормальны на кубе Д,:
* pikx ' pilX Av —
(2я)п’> (2я)п*
А.
____ !_ тт С e^r^rdx =! °’ 1'
_(2")пУіЛ 7 U. k=i.
/(/)= S
*!=-«
...
*П=-«
S ckeik‘ (5)
316 ГЛ. 4. РЯДЫ ФУРЬЕ. ИНТЕГРАЛ ФУРЬЕ
; = 1, .... п i= l п
^f^dt, (8)
л*1
где
1 Sin (jV/4-у) и
(«) = 2 +£ cos ku=----- h------ 7-"-
й= 1 2sin_2
§4.18. СВЕДЕНИЯ ИЗ ТЕОРИИ КРАТНЫХ РЯДОВ ФУРЬЕ 317
sin4 /
Отсюда
(/; х) — f (х)К^г j<DH*)lf (x-M)—f(x)\dt=>
д.
j<W)|Hx-H)-/(x)|d*4’
А)
j <W)IHx-HW(x)|«.
A.XAj
где 6 > 0—пока произвольное число (0 < 6 < л).
Таї: как функция f(x) по условию теоремы непре
рывна на Д», то она ограничена и равномерно нейре-
рывна на Д,:
|/(х)|^М (Ухед.); (12)
для всякого є > 0 вуществует 6 > 0 такое, что
|f(x-H)—f (х)| <е/2 (13)
при [//[ <6 (і»1......... п) и любых х, (х-Н)€Д..
Теперь, взяв 6 такое, как указано в (13), на осно
вании свойств ядра Фл/(ґ) получаем
|Флг(0^4-^ j Флг(*)^
Ад А, \Ад
f ®»(t)dt.
ИЛИ
Цо-лг (/; х) — /(х)Цс« <8
Справедлива
Теорема 2. Ряд Фурье (7) функции ЇЄ.Ц» схо
дится к f(x) в смысле среднего квадратического
где мы ПОЛОЖИЛИ
л л
ай; = — у f (и, v) cos ku cos lvdu dv
— Л —Л
л л
/1— 1
г -‘2'7/ с
1
п
(2л)1
J Є 1=1 dlt.^dt^i^ e-lk^t(t)dt„-,
-П
§4.18. СВЕДЕНИЯ ИЗ ТЕОРИИ КРАТНЫХ РЯДОВ ФУРЬЕ 321
д(л-1) -Л
= /»1,2............п-Ц).
СИ/)------(/<*>), (17)
где
+ I*i 2 2
I < N, ] fes I > NJ
2 І с*і, о 1+ I *1 2
= I*1|>W, 2 I Ck I +
I > W1 I *2| > 1
2 lco,*2l+ 1<I*1I<A1I*
+ |ft,l>W, 2 2 |c*|.
2I>W1
\kt\>N, I *11
+ Е S 7Т і
l*il>JVil*2|>l 1*
I Л1
|*d>JV, |йг|
1
її, |*i I |*i ck
1< I fe, |< К, I fee I > N, I *1 I 1 I
§4.18. СВЕДЕНИЯ ИЗ ТЕОРИИ КРАТНЫХ РЯДОВ ФУРЬЕ 323
дх^ д^‘
< сМ [(Nt 4-1) ’/а+ (Л/2 +1) V* -
Таким образом,
|рлг(/=; х)КсМ[(^ + 1)1^. + (У24- 1)1/2-х.], (20)
где постоянная с не зависит от М и Nt, N2.
В n-мерном случае оценку остатка можно провести
подобным образом.
11 *
324 ГЛ. 4. РЯДЫ ФУРЬЕ. ИНТЕГРАЛ ФУРЬЕ
(21)
равномерно на любой области QcA„.
Здесь множество Кту (крест) есть объединение множеств
п
&/,„«= II«/I < п} (/ = 1. «). т. е. Кл = и Q„„. Сим
вол ДО—► оо означает, что /Vj—► оо, .... Nn—> оо.
Теорема имеет место и в случае, если функция / просто
интегрируема (по Риману или Лебегу). Мы не будем дока
зывать данную теорему, отметим лишь, что при ее дока
зательстве придется использовать свойства кратных инте
326 ГЛ. 4. РЯДЫ ФУРЬЕ. ИНТЕГРАЛ ФУРЬЕ
где
<h\
hi І -лУ cosMl^
sin kQ J
M, 1, 2, ...)
I-^I+E
11 ь=1
оо
і
сходится, то по теореме Вейерштрасса ряд (2)"равномерно
сходится на сг. Но тогда и (р, 0) есть непрерывная на о
функция, как сумма равномерно сходящегося ряда непре
рывных функций. Кроме того,
00
«(1, 0) = 4- + J2 (aftcosfe0 + 6fcsinfe6)=/(9),
k=i
т. е. выполняется свойство (1).
Каждый член ряда (2) удовлетворяет уравнению Лап
ласа в полярных координатах
. д2и . 1 д2и . 1 ди „
■‘"рг "ёе7 ~~
as
“<*.Й=7Г О')
— ft)
Замечание 1. Пусть функция <р(х) имеет непре
рывные производные до четвертого порядка включительно
и удовлетворяет условиям
= J 1ф<й,М|^<~
(й = 0, 1, 2, “з, 4).
334 ГЛ. 5. УРАВНЕНИЯ МАТЕМАТИЧЕСКОЙ ФИЗИКИ
откуда
и
Из (8) и (9) следует первое неравенство (7). Второе не
равенство (7) доказывается аналогично.
Оценки (7) обеспечивают существование, непрерыв
ность и ограниченность функций и, в верхней
полуплоскости R*.
Замечание 2. Можно доказать, что если функция
<р (х) непрерывна и ограничена на (—оо, оо), то полу
ченное при помощи формулы (3') решение задачи Дирихле
для верхней полуплоскости единственно в классе ограни
ченных функций.
Итак,
ик (х, /) — Ьк ехр (—a*A2/)sinAx (bk = Akdk) (10)
— суть частные решения уравнения (1), удовлетворяющие
краевым условиям (3).
Легко видеть, что конечная сумма
bk = ^ J/(Osin kt dt,
о
х — т ~ 1х’
Т'=цТ, (3)
Х" = цХ. (4)
Решение уравнения (3) имеет вид
Т (t)=Cexp (рО*
S5.6. ТЕПЛОПРОВОДНОСТЬ ДЛЯ БЕСКОНЕЧНОГО СТЕРЖНЯ 341
Функция
и(х, Z) = -LJ
(j L
L—— оо
00
у <p(|)cosl(g—x)d£ exp (—№t)dk —
- со Lo J
CD
=1 J <P(X-H) & dz
COS d^
— CD
K7 /7
=4 S
— CD
+ /у exp(—g)^=.
CD
(10)
— аз
а2 Т X
суть решения уравнения (1), удовлетворяющие граничным § 5.8. Колебание бесконечной струны.
условиям (5). Вместе с этими суммами обладают этим Формула Да лам бера
свойством и суммы бесконечных рядов Если струна очень длинная, то на колебания, возни
кающие где-то в ее середине, концы струны будут ока
и(х, t) — 2 cos akt 4- Вк sin akt) sin kx, (8) зывать малое влияние.
k= 1 Поэтому, рассматривая свободные колебания неограни
ченной струны, мы должны решить уравнение
если числа Ак и Вк достаточно быстро стремятся к нулю, д2и _ 2'dau
чтобы эти ряды можно было два раза почленно диффе dt2 ~а дх2 (1)
ренцировать.
Теперь в нашем распоряжении имеется большой запаа только при начальных условиях
функций и (х, t), удовлетворяющих уравнению (1) и гра и(х, O) = f(x), (2)
ничным условиям (3),— они определяются формулой (8),
где числа Ак, Вк—произвольные, лишь бы выполнялись uz' (х, 0) = F (х). (3)
указанные условия сходимости. Такая задача называется задачей Коши или задачей с на
Чтобы найти решение поставленной задачи, удовлет чальными условиями.
воряющее начальным условиям (2), дифференцируем (8) Эту задачу удобно решить следующим образом. Введем
по t\ новые переменные
00 1-х—at, i\ = x + at, (4)
-^-(х, і!) = У, (—Aftsina£/ A- Bkcosakt) sin fee (9)
А=1 тогда уравнение (1) перейдет в уравнение
д2и
0. (5)
и приравниваем (8) и (9) при t — О заданным функциям д£дг]
f(x) и F (х):
Решением уравнения (5), очевидно, является функция
о = Ф ©4*Ф(п).
f(x) = S Ак sin kx, F (x) = S akBk sin kx. (10)
k=l k=l где <р и ф—произвольные функции, которые мы будем
Отсюда считать дважды дифференцируемыми.
Возвращаясь к старым переменным, получаем решение
n
уравнения (1) в форме
Bk = -^ F(t) sin kt dt. (11)
и (х, /) = <р (x—at)A-ty(x + at). (6)
Непосредственным дифференцированием (6) легко убе
Если функции f(x) и F (x) непрерывные на [0, л], то диться, что это действительно так. Имеем
этого достаточно, чтобы можно было вычислить числа Ак,
«х = ф' (х—а/) + ф' (х+а/),
Вк по формулам (11) и ряды (10) будут сходиться к этим
функциям во всяком случае в смысле среднего квадрати u't = — шр' (х—at) 4- оф' (х 4- at),
ческого (см. § 4.10). Конечно, если функции f (х) и F (х) u^ — rp" (x—at) + ty"(x + at),
не только непрерывны, но и имеют непрерывные произ u'tt = о2ф" (*—at) + a2^" (x + at),
водные (достаточно третьего порядка), то сумма ряда (8)
T. e.
уже заведомо будет иметь вторые непрерывные произ
водные. a?uxx = Uf(,
348 ГЛ. Б. УРАВНЕНИЯ МАТЕМАТИЧЕСКОЙ ФИЗИКИ
at>~Ta $ f
О
+ + +й j ТИ О
ИЛИ
х-а/
и времени t\
и —и (г, <р, /).
Так же как и в § 5.7, можно получить уравнение ко
лебаний мембраны
д2и д2и . 1 ди 1 д2и\
"ді2 — а*Аи = а2 ~дг2"^~г~дг г2 ду2)' (1)
Для уравнения (1) мы будем решать задачу е краевым
условием
«1,=1 = 0 (2)
и начальными условиями
к равенству
’ ь
^PW <Pm (X)/(X)dx = CmSp(X)[<Pm(X)]2^ И=1,2, ...),
с а
откуда и получаем формулы (17).
Докажем (12). Функция Ja (fiftx) удовлетворяет уравнению
^Мнн) + ^^МРН) + И*7офн)=0 (6=1,2, ...).
где
qk = / (йй)2—лг2,
а-к — ~ J f to sin kxdx, bk = -~^ JF (х) sin /sxdx-^~.
о о
Задача 2. Решить уравнение
ди _ а дги
~t~a
при условиях
д'~£~0=:0’ ы(л’ Z) = "o- uto °) = фМ-
Ответ.
где
п
^ = ^2^’ ck = ~ Ч (х) dx •
о
H[(£)‘+(€)’W
Q
(6>
который называют интегралом Дирихле функции и(х, у).
Если при помощи внешних сил мембране придать
другую форму
i«v(x, у) ((х, у)€й),
оставляя ее закрепленной в Г', то ее энергия будет равна
S.s.11. ИНТЕГРАЛ ЭНЕРГИИ 357
потому что
w|r = (v—и) |г = ц|г—«|г = х (s)—x(s)=O.
4J[fe+^)M£+x>)’W=
+4 ш+ Q
= D[u]-f-2W[u, и1] 4- VD [щ], (10)
»м=Вт+1>)“*
где мы ввели обозначение
Q
Так как u-{-kw^W, то имеет место неравенство
D [и 4- Хда] D [и] для любых к, которое обращается
в равенство при Х = 0. Поэтому
функция D [и 4-Ы] от X обра-
щается в минимум при Х = 0. У ~
Но тогда (см. (10); см. так
же (8))
^D[«4-X&y]|x=o = {2D[u, ш]4-
4- 2W[ay]} |х=о = 2D [и,к?]=0,
Рис. 128.
получаем, что
w Ли dx dy > 0,
" U (6)
что противоречите 12).
§5.12. ПРИМЕНЕНИЕ ПРЕОБРАЗОВАНИЙ ФУРЬЕ 361
Тогда
ао со
06 00
со
оо
«р/(0)—Р2 $ / W sinpxdx,
О
и мы доказали равенство
00 ®
5 /" (х) sinpx dx~p[ (0) —р2 J f (xj sinpx dx. (1)
u о
362 ГЛ. Б. УРАВНЕНИЯ МАТЕМАТИЧЕСКОЙ ФИЗИКИ
Аналогично
• л со
J /" (х) cos рх dx =■ f' (х) cos рх + р $ Г (х) sin рх dx =
О 0 0
со
со
us = 0 при 1 = 0. (8)
Таким образом, мы свели задачу к решению обыкно
венного линейного дифференциального уравнения первого
порядка. Ограниченное решение уравнения (7), удовлет
воряющее условию (8), имеет вид
Jsinpx-y = i. z (10)
о
Поэтому
СО
1 — $ ехр (— p2kt) sin рх (11)
о
U J u(x, t)eixpdx
—X
— комплексное преобразование Фурье (обратное) функции
и(х, /).
Интегрируя по частям (в предположении, что и и
™ обращаются в нуль при х = ±оо), получаем
7^ —f00 <|5>
Умножая уравнение (13) на е‘рх и используя началь
ные условия (14), интегрируя по х в пределах от —оо
до ф-оо, используя (15), получим вспомогательное урав
нение
~= — а2р2й (/>0). (16)
— 3D
— со — со
со со
_J_ J [е-,> <X-at> + e-lp (x+a/)J . (z) Є'-P’dzdp =
— 00 — да
обозначают так:
= / (г).
Множество D называют областью определения функ
ции f (г). Если каждая точка множества G является зна
чением функции, то говорят, что G—область значений
этой функции или образ множества D при помощи функ
ции f(G — f(D)). В этом случае говорят еще, что функ
ция / отображает D на G.
Функцию f (г) можно записать в виде
f (z)*=u (х, y) + iv(x, у) ((х, y)£D),'
где
и(х, y) = Ref (z),
i(x, y)€D),
v(x, у) = Im f(z)
— действительные функции от переменных х, у.
Если каждому г £D соответствует несколько разных
значений w, то функция w=f(z) называется многозначной.
Понятия предела и непрерывности функции комплекс
ного переменного вводятся аналогично, как это делается
для функции действительного переменного, необходимо
лишь всюду вместо абсолютной величины писать модуль
комплексного числа.
Говорят, что функция
a = f(z) = u(x, y)-{-iv(x, у)
имеет предел в точке г0, равный числу A = a-'~ib, если
lim | / (z)—Д | = О, (1)
I г-Zo I -»0
(4)
Ее производная равна
cos 1
cos2 г (cos г =/=0),
f (г)« lim
Д2->0 Д2 ’ О)
Дш = [и(хф-Дх, у + &у) — и(х, £/)]ф-
-Н'[о(хф-Дх, y + &y) — v(x, у)].
f (г)= lim =
az о Дэ
_ lim р (хфА*. У)~и (х, у) . гфхфДх, у)—и(х, У)
Дх-і-uL д* Дх
11ІП
и(х + &х, у) —и х, у) lim ^Х'+&Х,у)-у{Х,у)==
Да' U
&х дх о Дг
ои .ди
+ і fa"
378 ГЛ. 6. ТЕОРИЯ ФУНКЦИИ КОМПЛЕКСНОГО ПЕРЕМЕННОГО
Во втором случае
Ди/
/' (г) =■ lim
Дг О Дг
саны в виде
а= и (х 4-Дх, Z/4-Ду)—и(х, у) =
= ^А*+^Аг/4'оі(р) (Р-*0)»
Аа==д(х-ЬДх, у + &у)—v(x, у) —
= ^Ах+~Д// + о2(р) <Р—*°>.
Таким образом,
ди_ dv ди dv
дх ду ’ ду дх
(Ух, у),
Отсюда
откуда
р = /-!/«= у г,
где г есть арифметическое значение корня п-й степени
из г, т. е. неотрицательное число, n-я степень которого
равна г. Из сказанного следует, что функция w = гп на
множестве имеет обратную функцию
. q>+ 2kn
2 — (г)ь ~ Ре‘в = Г’/Пе 1 "
. (й = 0, 1, ..., п — 1; (5)
Вообще же функция w = zn имеет обратную н-значную
функцию
Z= W,
§6.5. ОБРАТНАЯ ФУНКЦИЯ 387
обозначаемая через
г = 1пи»
бесконечнозначна. Ниже мы определяем эту функцию.
Для этого разрежем R на полосы прямыми (рис. 136)
у = ^ = 2лй (6 = 0, ±1, ±2, ...).
Открытую полосу ук< у < yk+t обозначим через Dk и
полузамкнутую полосу ук у < ук+х—через D“k.
Замена переменной у на
т] при помощи равенства
У = Уь +1
преобразовывает полосу Dk
точек г = % + іуна полосу D*t
точек х + it] взаимно одно
значно.
Рассмотрим функцию
w = e* на множестве Ьк. По
лагая z — x-^iy, w = rei<e,
0 <р < 2л, будем иметь
W = г№ = = Л' <2Ал+г>’ = eTgiti (0 < Т] < 2л),
откуда
r = e*, <Р = Т].
Таким образом,
х = In г = 1п | w
J= + t/ft + (p = 2^n4-argay (£ = 0, ±1, ±2, ...).
Следовательно, функция = имеет на полосе Dk об
ратную однозначную функцию
г — х 4- iy <= (г)к = In | w | -|- і (arg w 4- 2&л) (6)
(А==0, ± 1, ..., w£R'o).
Вообще же функция w — e2 имеет обратную бесконечно
значную функцию
г = In w ( £R' ), w q
И
w »(ре1'9)2 в га,
где г01 понимается в обычном смысле как произведение a
множителей г.
Если аяа±р/<7, где р>0, q > 0, — целые, то числа
справа в (8') существенно различны лишь при & = 0,
1, • • •, <7— 1:
390 гл. 6. ТЕОРИЯ ФУНКЦИЙ КОМПЛЕКСНОГО ПЕРЕМЕННОГО
Таким образом,
u>=Arcsinz=—i[ln|tz±K 1—z2|4~i[arg(iz±K 1—г2)4-26л]]
где I—длина L.
В самом деле, на основании свойства обыкновенного
интеграла имеем
₽ ₽
$ f (г) dz
а а
0 ₽
< $ МI г' (/) I dt = М J /х' (О2 4- у' (О2 dt ~ ML
а а
Пример 1.
(5)
L
L 0 О
<»
ф(г)^ — (2)
(1)
14 Я. О. Бугров, С. М. Никольский
402 гл. 6. ТЕОРИЯ ФУНКЦИЙ КОМПЛЕКСНОГО ПЕРЕМЕННОГО
ся геометрической прогрессии
--------- 1+^£о + /'£=£«у+...
(б)
t z—Zq t—Zo U—ztJ
t—«о
Из (4) и (6) получаем
1 I , z—z0 (г—го)3
(7)
t-z
причем ряд (7) равномерно сходится при любых ££/,н постоянном?,
потому'что, как это видно из (5), выражение |—— не зависит от
т і ІС—го1
fcgL и меньше I.
Умножая (7) на (не нарушая его равномерной сходимости)
и интегрируя вдоль L, имеем
» 1 f/(O^.z-zof ,
2л/JL С—z 2л/JL Zo *** 2л/ JL (£—z0)2’r
В силу (3)
f(z)=Co + Cl (z—Zo) + ca (z—to)3+.. (8)
где мы обозначили
1 c _/(nl(zo)
2л/ J (?—Zo)”*1 n! (n = 0, 1, 2, ...). (9)
L
Итак, мы доказали, что аналитическая функция f (г) в круге
fz — z0 | < R изображается степенным рядом (8) с коэффициентами
(9), т. е. своим рядом Тейлора.
Пример 1. При разложении функций в ряд Тейлора
можно использовать известные разложения элементарных
функций. Например,
СО5г = Х(-1)п^,
п«0 v 7
поэтому
st„.z=b-ai==i2 (_1)0^.
П=1
2
г2я+1
~£‘0(2п+1)1'
У г'п
гЬ,_д*+г~* ~(2л)Г
2
где
С» = 5Г» j (« = °> ±!> ±2, ...), (3)
v
или
£~г_° I = —
Z—2ol
__ < 1
I Z — г0| ’
(6)
(7)
Так как функция f (&)/(&—z0)n+l ПРИ любом п анали
тична в кольце, то в силу теоремы Коши интеграл (3)
равен подобному интегралу по любой другой окружности,
с частности по с и С. Поэтому из (7) следует (2), где
числа с„ вычисляются по формулам (3).
оо
Первый ряд 2 сп (г—гв)п в правой части (2), сходится
п=0
в круге |г—z0|<R к некоторой аналитической в этом
круге функции /\ (г). Он называется правильной частью
ряда Лорана.
Второй ряд в правой части (2)
<эо
S C_n(z—za)~n,
п= 1
(г — 2) (г —3) г —3 г—2
406 гл. в. ТЕОРИЯ ФУНКЦИЙ КОМПЛЕКСНОГО ПЕРЕМЕННОГО
(8)
k= 0
7=2 = — Н1 + 1+Н) + =
2
(13)
k= 1
1 _ уч 2й~г
Й= 1
Поэтому
і/x V 3й-1— 2*~1
f(z)- 2-І 2ft
t=l
4б8 ГЛ. 6. ТЕОРИЯ ФУНКЦИЙ КОМПЛЕКСНОГО ПЕРЕМЕННОГО
-гігО-ЄНта)’----)- Об)
Ит У с-к _
(z—z0)ft
= (г —г0)+ ...
... +с_!(г—Z0)m~l] = oo, (6)
56.11. ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ 411
ТО
lirn f (z) в оо. (7)
г г»
В самом деле,
потому что
C-^-=2ni, f—— = 0 (fe = 2.......... т)
J г-г0 j) (г-г0)А '
1 v (г — г0)« v г г°
(г—2)2 (г-3)
относительно точки г = 2.
$6.Т2. ОСОБЫЕ ТОЧКИ НА БЕСКОНЕЧНОСТИ 415
^)=Sv*. (3)
k=0 2 fe = l
Множество (1) называют внешностью круга [ г | г.
Удобно считать, что это множество есть окрестность бес
конечно удаленной точки (точки оо).
Таким образом, мы формально добавляем к множеству
комплексных точек (чисел) еще абстрактную бесконечно
удаленную точку (г = оо).
Функция / (г) аналитична в окрестности точки г = со,
исключая саму точку оо, которую естественно в данном
случае называть изолированной особой точкой функции f.
В зависимости от поведения функции f (г) в окрест
ности точки z = oo естественно ввести следующую клас
сификацию:
а) Особенность в точке г = оо устранимая, если
Cfc = 0 (й=1,2, ...),
т. е. если
f (г)=/71(г) (|г| > г).
416 гл. в. ТЕОРИЯ ФУНКЦИЙ КОМПЛЕКСНОГО ПЕРЕМЕННОГО
В этом случае
litn f (г) = lim F1(z) = c0.
Очевидно также
^^(г)дг = -С.Ь
L_
где L_—произвольный контур, ориентированный по ча
совой стрелке, содержащий внутри себя окружность
J,, |г| = г (рис. 147). При из-
вестном воображении можно
считать, что точка со нахо
дится внутри контура
если двигаться по контуру
L_ по часовой стрелке, то
точка оо остается слева.
б) Точка z = oo есть по
люс порядка т, если
т
f(z) = Fi (z)+ S ckzk
fe=l
Рис. 147,
В этом случае, очевидно, Пт/(г) = оо. Далее
Z -* Л
Л 00 Л т л
\ Цг)с1г = Х С-ъ J S + S J zkdz =
£_ fe=O L_* fe=l t_
= —с-і^7=—2я(с_ї,
потому что
5 2ftdz = —Jzftdz=O (fe=£—1).
L— L
в) Tочка z = oo есть существенно особая точка, если
8 ®
= (-1)" z"2n = S (-l)^-1-2" (|г|>1)
п=0 п=0
418 ГЛ. 6. ТЕОРИЯ ФУНКЦИЙ КОМПЛЕКСНОГО ПЕРЕМЕННОГО
-L7p(2)dz4-...+i 5 $ f&dz=^
V,V г_
т. Є.
Выч f (г) 4-... 4- Выч f (2) 4- Выч / (2) = 0.
2=Z, Z=®
§6.14. ВЫЧИСЛЕНИЕ ИНТЕГРАЛОВ 419
(т—1^1).
где ф (z) = 1 4-z4. Имеем ф' (z) = 4z3, ф' (aj = 4езл'/4 —
=—4е~;я/*5&0, ф'(а2) = 4евпі/‘= 4е(я/1 5^0. Отсюда
Выч / (г) = — в1п/*, Выч / (г) = 4- е~1л/*.
1яЛ1 * isas ’
часовой стрелки)
(j <5>
-Я £ ' L V
т. е.
р\ —sin—X ах
,
= п.
а»
Имеем
со
, р 1—cos 2х _ 1 Р dx
2(1+х2) ax~2jT+^“
о о
1 х I® 1 Л
«-arctgxl-y^ » =
Итак,
а»
р sin2 х dx л z1
J 1+х2 Є ’’
О
424 ' ГЛ. 6. ТЕОРИЯ ФУНКЦИЙ КОМПЛЕКСНОГО ПЕРЕМЕННОГО
Пример 5.
«
cos’ х dx
Уо
1+ха У 1 —1-Нsin22 х
dx —
cosx’dx, J sinx’dx.
— 00 «00
Л/4
л/4 Я/4
І
J 7?{У<І>Є^’ЄО4 2фв-л’»ta 2<fd<p J T?e-R**ln 24>d<p
о о
00
d<p<-^je-‘d/-*O,
7? —► oo.
0 0
W = Г2, (2)
W = еЮ2, (3)
где с—постоянное комплексное число, г>0, 6—произ
вольное действительное число.
Все три функции (1), (2), (3) отображают плоскость
<«+«*<>).
т. е. отображение с помощью функции (8) конформно.
Из равенства (9) видно, что данное отображение со
стоит из рассмотренных выше отображений:
г'= cz-{-d, г" = ~т, w=Az" + B.
Л4г4-
WW
—
w
ч-4-4-/ = о
W
или в уравнение
А 4- Bw 4- Bw 4- Iww = 0,
которое описывает некоторую окружность в плоскости w.
J «.18. ДРОБНО-ЛИНЕЙНАЯ ФУНКЦИЯ 429
<Лв1’2’3>-
Легко подсчитать, что
(ad—be) (г—гц) (ad—be) (2h—2j)
icz + df&k+d) >
Отсюда
W—ttfr —Wj
W—W2' Wg— w2 2 —£3—-Za
(II)
Рис, 157,
до со
т. e. F(p) = pF(p).
В одних вопросах удобным является преобразование
Лапласа, в других—преобразование Хевисайда. Мы будем
рассматривать преобразование Лапласа.
Обоснование операционного исчисления было дано в
двадцатых годах нашего века в работах ряда математиков.
Теорема 1 (единственности). Евли две непре
рывные функции f (t) и g (t) имеют одно и то же L-изо-
бражение F (р), то они тождественно равны.
Мы не доказываем эту теорему.
На основании теоремы 1 мы можем сказать, что для
непрерывной функции f (t), тождественно не равной нулю,
изображение не может быть периодической функцией.
В самом деле, если Vp F(p)=*F (p-J-co), где ю 0, то
вэ во
$ exp (— pt) f (t) dt = $ exp (— (p 4- co) t) t (t) dt.
о 0
По теореме 1
f(O = exp(— G>t)f(t),
t. e. exp(—at) es 1 (w=/=0), чего быть не может.
1) О. Хевисайд (1850—1925) — английский инженер-электрик.
§ 7.2 ИЗОБРАЖЕНИЕ ПРОСТЕЙШИХ ФУНКЦИЯ 433
о
Таким образом,
1/р. (1)
Аналогично для функции /(/) = cosi интегрированием
по частям находим
сю
L (cos/; р) = $ехр(—p/)cos/d/ =
о
00
= ехр (— pt) sin t |q 4- p $ exp (— pt) sin t dt —
0
co
В самом деле,
І Імссм
1/Р==МС. 4/(р34- 42) = sin 4/.
Следователшо, оригинал (по теореме 1 §7.1)
f (I) = 2<т0 (/) 4- у sin 4t.
§7.2. ИЗОБРАЖЕНИЕ ПРОСТЕЙШИХ ФУНКЦИЙ 435
Отсюда
(-l)"L[/(/)/";p] = -gr L[f(t)-, р].
т-е-
Продолжая дифференцирование, получим
/»==л!///»+1 (/i=l,2,...). (9)
Если п не целое, то
/л^Г(н-Ц)
* • pn+1 »
или
(p4«^/cosat (10)
Теорема 5 (о дифференцировании ориги
нала). Справедлива формула
ь[/'(0; />]=₽Ш); р]—f(0) (Rep>s0) (її)
в предположении, что функция f(t) непрерывна1), имеет
кусочно-непрерывную производную f (t) на [0, оо) с разры
вами первого рода и показатели роста f (t) и f'(і) равны s0.
/(04-0).
t> о
§ 7.2 ИЗОБРАЖЕНИЕ ПРОСТЕЙШИХ ФУНКЦИЙ 43“
Г /V -]
Об
= 7 j e~pzf (Т) dx = 1L [f (т); p] =
О
По определению полагаем (р = а + ф)
• оо се /V
5г(9)^ = 5р(^ + Ф)^= lim
р a w -* ® а
Теорема 7 (интегрирование изображения).
Пусть заданная на (0, оо) кусочно-непрерывная функция f(t)
удовлетворяет условию (2) § 7.1, f(i)== F (р), p = a+ifi,
1 CD
а > s0 и J dt сходится. Тогда, если § F (7) dq сходится, то
fJl^F(q)dq.
о _
< (1 + 2) 8.
Отсюда, для интеграла /д/, мы получаем следующую оценку:
/Af<(l + K2)e+Tj^Se)-
о о
t
Пример 9. Найги изображение функции $зіп2тгіт.
о
t
Имеем sin 2т== 2/(р? 4-4). По теореме 6 Jsin2Tdx=i
_і 2 о
' Р(Ра4-4)‘
440 ГЛ. 7. ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ
Г sin t .. Р dq . I® it
J—‘" = І7ТТ=агс18«»=Т-
С о
L[a0(/—/і); р] = е--Рл\
У. 1 У
/ ----- ----------- 2------------ fit}
1 1 І і
1
1 I 1
1 1 I
i ..... I
D h
1 з-
і 'zd Л ht t
Рис. 159, Рис. 160.
0 fe=° ha
» (24+1)0 СЕ
У $ e~p‘Adl = £ — [е~р^“—е-л<гл+!><«]«
4=0 2ka 4=0
Выражение
t
$Л(т)/2 (/ —Т)Л
о
= И e"ptfi W А (* — г) dtdx =
О х
СО / СО У
00 / GO ч
e-₽<2+x>A {z)dz]dx =
0 \o /
ea GO
k=\ '
Тогда оригинал этого изображения дается формулой
(«• t<0,
но- ус _tnI п+1 п\ » t>0. (17)
/1 = 0
В самом деле,
со сю аз оо
сп + ї
пП + 1 _
О п =О О п = 0Р k=[P‘
fe=l В \Рк)
а»)
Теорема 13 (формула Меллина1)). Если F (р)—
аналитическая функция в Re р > s0, F (р) —► 0 равномерно
X+IOQ
относительно argp, при |р|—► оо, $ |F (р) |dy < М, то
Х-Іоо
l) Р. X, Меллип (1354—1933) — финский математик,
§7.2. ИЗОБРАЖЕНИЕ ПРОСТЕЙШИХ ФУНКЦИЙ 445
Номер
по Оригинал Изображение
порядку
1
1 1
7
a
2 sin at
a2
3 cos at P
p2 a.1
4 cos a (t—tQ)
p2 + a2
I
5 е~а‘
p+a
4
6 sh at
p2 - a2
446 ГЛ. 7. ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ
П родолжение
Номер
пол Оригинал Изображение
порядка
7 P
ch at
p2 —a2
8 P
e~al sin Р/
l/' + ^P+P2
9 p +a
e_a/cos р/
(p + a)2+P2
10 tn Г («+ 1)
p«+i
11 ( n^"f(p)
*п/ (/) 1 1 dp’1
12 (г'3-1 1
(p + “)2
13 2pa
t sin at
(p2 + a2)2
14 p2 — a2
t cos at
(p2 + a2)2
15 pnF (p)
...=/<'>-l>(0) = 0
16 J f (T) dT
0
17 /(0 J F (l) dg
t
p
18 Є~Р1оР (p)
19 o0 (t—h) е-лл A
p
20 fi* ft L[fi, P\-L[fe, p]
21 f (0 Я (0) +
Р = pkL[x\ р] — рк М0) —
... — пх(*-2)(0)—
Поэтому, используя свойство линейности изображения,
получаем
«.Л [£■>/’] + •••+ a»L [*; р]=L [/; рк
Отсюда
х (0 = у а0 (0—у cos 2/ = у—у cos 2t-
Мы получили решение (1—cos2^)/2 только для /^0.
Легко проверить, что оно удовлетворяет нашему уравне
нию и при t < 0. Впрочем, этот факт следует из общих
соображений, на которых мы не останавливаемся. Это
замечание относится и к примерам 2—4.
§7.3. ПРИЛОЖЕНИЯ 449
у(р) (р2 + 2р + 5) = + 1.
Отсюда
. 1 ,1 р2 + 2
(л2+1)(/У2 + 2р+5)-Г02 + 2д + 5 О2+1)(р2 + 2/; + 5) •
х(0 = Д0 + Е^(«(0).
Отсюда
х, (0 = ch t — 1.
Замечание. Так как правая часть уравнения
x'j— xi=l имеет специальный вид, то решение этого урав
нения можно проводить и обычным образом (см. § І.18).
§7.3. ПРИЛОЖЕНИЯ 451
По формуле (7)
t t
^(0 = JT^rsh(/-T)dT = p•t12-х (1+eI)
g—t + X
ат ==
о 0
Д= 2р4-1 р I
= 5р24~7р4"2>
р Зр-|-2|
откуда
y(/) = _|e-«>7<sh(0,3)/.
Далее
. З 1 5р+7
Х {Р) ~ 5 [(Р+О,7)2- (0,3)2| + р 5ра+7р+2 “
_ о_______ ___________ , _1_________ р+0,7________
- (р+0,7)2-(0,3)2 f р (р+0,7)2-(0,3)2
_________ 0,7
(р+0,7)2-(0,3)2 ’
Т- е.
X(t)~
« ‘2е~0’,{ sh (0,3/) +1 — e-°'7t ch (0,3/) —у е~0”г sh (0,3/) =
ОБОБЩЕННЫЕ ФУНКЦИИ
— 00 — <30
Поэтому для любого е > 0 найдется N > 0 такое, что при n>AZ
max (1 + х2)г +11 <р„ (х)—<р (х) | < е. (6)
X
Но тогда, в силу (4) и (6),
40
и т. д.
§ 8 3. ПРЕОБРАЗОВАНИЕ ФУРЬЕ ОБОБЩЕННЫХ ФУНКЦИЯ 459
или, коротко,
откуда = Д (х+р).
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ