Дифференциальные уравнения. Учебное пособие-1
.pdfДадим классификацию уравнений вида (2.10) в точке. Зафиксируем определенную точку x10 ,..., xn0 в области D и составим квадратичную форму
n |
tit j . |
|
aij x10 ,..., xn0 |
(2.11) |
i, j 1
Уравнение (2.10) принадлежит эллиптическому типу в точке x10 ,..., xn0 ,
если в этой точке квадратичная форма (2.11) положительно определенная или отрицательно определенная.
Уравнение (2.10) принадлежит гиперболическому типу в точкеx10 ,..., xn0 , если в этой точке квадратичная форма (2.11) при приведении
ее к сумме квадратов имеет все коэффициенты, кроме одного, определенного знака, а оставшийся один коэффициент противоположного знака.
Уравнение (2.10) принадлежит ультрагиперболическому типу в точкеx10 ,..., xn0 , если в этой точке квадратичная форма (2.11) при приведении
еек сумме квадратов имеет больше одного положительного коэффициента и больше одного отрицательного, причем все коэффициенты отличны от нуля.
Уравнение (2.10) принадлежит параболическому типу в точкеx10 ,..., xn0 , если в этой точке квадратичная форма (2.11) при приведении
ее к сумме квадратов имеет только один коэффициент, равный нулю, все же другие коэффициенты имеют одинаковые знаки.
Определение. Уравнение (2.10) принадлежит эллиптическому типу, соответственно гиперболическому типу и т. д. в области D , если во всех точках этой области оно принадлежит эллиптическому типу, соответственно гиперболическому типу и т. д.
Если коэффициенты aij постоянные, то принадлежность уравнения к
тому или иному типу не зависит от значений независимых переменных. Простейшим уравнением эллиптического типа является уравнение
Лапласа, уравнением гиперболического типа является волновое уравнение, уравнением параболического типа – уравнение теплопроводности.
2.2.Приведение к каноническому виду уравнения второго порядка с постоянными коэффициентами
Пусть дано уравнение с постоянными коэффициентами
n |
2u |
|
n |
u |
cu f x1,..., xn . |
|
aij |
|
|
bi |
|
(2.12) |
|
x x |
j |
x |
||||
i, j 1 |
i |
i 1 |
i |
|
|
61
Введем вместо x1,..., xn новые независимые переменные |
1,..., n при |
|
помощи линейного преобразования |
|
|
n |
k 1,2,..., n . |
|
k cki xi |
(2.13) |
|
i 1
Предполагается, что преобразование (2.13) неособенное, т. е. определитель cki не равен нулю. Производные по старым переменным выразятся через
производные по новым переменным следующими формулами:
u |
n |
u |
|
2u |
|
|
n |
2u |
|
|
|
||||
|
cki |
|
|
, |
|
|
|
|
ckiclj |
|
|
|
|
. |
(2.14) |
x |
|
k |
x |
x |
j |
|
k |
|
|
||||||
i |
k 1 |
|
|
i |
|
|
k,l 1 |
|
|
l |
|
||||
Подставив (2.14) в уравнение (2.12), получим
n akl k2u l k,l 1
где
akl
|
n |
|
|
u |
cu |
f |
,..., |
|
, |
(2.15) |
||
b |
n |
|||||||||||
|
|
|
|
|||||||||
|
i |
|
i |
|
1 |
1 |
|
|
||||
|
i 1 |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|||||
|
n |
|
|
|
|
|
|
|
|
|||
aijckiclj . |
|
|
|
|
(2.16) |
|||||||
i, j 1
Нетрудно проверить, что формулы преобразования (2.16) коэффициентов при вторых производных от функции u при замене независимых переменных по формулам (2.13) совпадают с формулами преобразования коэффициентов квадратичной формы
n |
|
|
aijtit j , |
(2.17) |
|
i, j 1 |
|
|
если в ней произвести линейное преобразование |
|
|
n |
|
|
ti cki k , |
(i 1,2,..., n), |
(2.18) |
k 1 |
|
|
приводящее ее к виду |
|
|
n |
|
|
akl k l . |
(2.19) |
|
k,l 1
Всегда можно подобрать коэффициенты cki так, чтобы квадратичная форма (2.17) привелась к сумме квадратов, т. е.
|
|
|
|
|
|
n |
|
|
|
|
|
||
|
|
|
|
|
|
k k2 , |
(2.19') |
||||||
|
|
|
|
|
|
k 1 |
|
|
|
|
|
||
или, иначе говоря, akl 0 |
при k l |
и akk k . Коэффициенты k |
равны |
||||||||||
1 |
или нулю соответственно. Знаки коэффициентов k и определяют тип |
||||||||||||
уравнения (2.12). Преобразованное уравнение (2.15) принимает вид |
|
||||||||||||
|
n |
|
|
2 |
u |
n |
|
u |
cu f1 1,..., n . |
|
|||
|
k |
|
|
|
|
|
|
(2.20) |
|||||
|
|
|
bi |
||||||||||
|
|
2 |
|
||||||||||
|
|
|
|
|
|
i |
|
||||||
|
|
|
|
k |
|
|
|
||||||
|
k 1 |
|
|
|
i 1 |
|
|
|
|
|
|||
Этот вид уравнения (2.12) называется его каноническим видом.
62
Положим, что все k отличны от нуля, т. е. что уравнение (2.12) не
параболического типа, и покажем, что в этом случае при помощи преобразования функции u можно освободиться от производных первого порядка. С этой целью вместо u введем новую искомую функцию v по формуле
|
|
|
|
|
1 |
n |
|
|
|
|
|
|
|
|
|
|
|
b |
k |
|
|
|
|||
|
|
|
|
|
|
|
|
k |
|
|
||
|
|
|
|
|
|
|
|
|||||
|
u v e |
2 k 1 k . |
|
|
||||||||
Подставив это в уравнение (2.20), получим уравнение вида |
|
|
||||||||||
n |
|
2 |
v |
c1v f2 1,..., n . |
|
|
||||||
k |
|
|
|
|||||||||
|
|
|
|
|
||||||||
k 1 |
k2 |
|
типа все k 1 или |
k 1, |
и, |
|||||||
Для уравнения эллиптического |
||||||||||||
умножая, если надо, обе части уравнения на 1 , мы можем считать, |
что |
|||||||||||
все k 1. Таким образом, сохраняя прежние обозначения, мы можем
утверждать, что всякое линейное уравнение эллиптического типа с постоянными коэффициентами может быть приведено к виду
n |
|
2 |
u2 c1u f x1,.., xn . |
|
|
|
(2.21) |
||
k 1 |
xk |
|
||
В случае гиперболического типа будем считать, что имеется n 1 |
||||
независимых переменных, |
|
и положим n 1 t . Тогда всякое |
линейное |
|
уравнение гиперболического типа с постоянными коэффициентами приводится к виду
|
|
|
2 |
2u |
n |
|
2 |
u2 c2u f3 x1,.., xn ,t . |
|
|
|
|
|
|
(2.22) |
||||
|
|
t |
|
k 1 |
xk |
|
|||
В случае уравнения (2.12) с переменными коэффициентами для |
|||||||||
каждой точки |
x0 |
,..., x0 |
|
в области D можно указать |
такое неособое |
||||
|
1 |
n |
|
|
|
|
|
|
|
преобразование независимых переменных, которое приводит уравнение (2.12) к каноническому виду в этой точке. Для каждой точки x10 ,..., xn0
имеется, вообще говоря, свое преобразование независимых переменных, приводящее уравнение к каноническому виду; в других точках это преобразование может не приводить уравнение к каноническому виду.
2.3.Приведение к каноническому виду уравнения второго порядка с двумя независимыми переменными
Линейное уравнение с частными производными 2-го порядка для функции двух переменных u(x, y) имеет вид
a11uxx 2a12uxy a22uyy F(x, y, u, ux , uy ) 0 , |
(2.23) |
63
где коэффициенты a11,a12 ,a22 – функции переменных x и y , имеющие непрерывные производные до второго порядка включительно, u(x, y) – неизвестная функция. Будем предполагать, что a11,a12 ,a22 не обращаются одновременно в нуль.
С помощью преобразования |
переменных (x, y), (x, y) |
с |
отличным от нуля якобианом |
преобразования x y y x |
мы |
получаем новое уравнение, эквивалентное исходному. Естественно поставить вопрос: как выбрать и , чтобы уравнение имело наиболее
простую форму? Преобразуя производные к новым переменным, получаем:
ux u x u x uy u y u y , |
|
|
|
|
|
|
|
||||||||||
u |
|
u |
2 |
2u |
u |
2 |
u |
|
u |
|
|
, |
|
||||
xx |
|
x |
|
x |
x |
|
x |
|
xx |
|
xx |
|
|
(2.24) |
|||
u |
|
u |
2 |
2u |
|
|
u |
2 |
u |
|
u |
|
|
|
, |
||
yy |
y |
yy |
|
||||||||||||||
|
|
yx |
|
y |
|
|
y |
|
yy |
|
|
|
|
||||
uxy u x y u x y y x u x y u xy u xy .
Подставляя значения производных (2.24) в уравнение (2.23), будем иметь:
|
|
a11u |
2a12 u |
a22 u |
F 0, |
(2.25) |
|||||||||||||||||||||||
где |
|
|
2 2a |
|
|
|
|
|
|
|
|
|
|
a 2 , |
|
||||||||||||||
|
|
a |
a |
|
|
x |
|
y |
|
(2.26) |
|||||||||||||||||||
11 |
|
11 |
x |
|
|
|
12 |
|
|
|
|
|
|
|
22 |
y |
|
||||||||||||
|
|
a12 a11 x x |
a12 x y |
y x |
|
a22 y y , |
(2.27) |
||||||||||||||||||||||
|
|
a |
a |
|
2 |
2a |
|
|
|
x |
|
y |
a |
2 , |
(2.28) |
||||||||||||||
22 |
|
11 |
x |
|
|
|
12 |
|
|
|
|
|
|
22 |
|
y |
|
||||||||||||
а функция |
|
не зависит от вторых производных: |
|
|
|
|
( , , u, u , u ) . |
||||||||||||||||||||||
F |
F |
F |
|||||||||||||||||||||||||||
Теорема 2.1. Если z (x, y) |
является частным решением уравнения |
||||||||||||||||||||||||||||
|
|
a |
z2 |
2a |
z |
x |
z |
y |
|
a |
|
|
|
z2 |
0, |
(2.29) |
|||||||||||||
11 |
x |
|
|
12 |
|
|
|
|
|
|
|
|
22 |
|
y |
|
|
|
|
|
|
|
|||||||
то соотношение (x, y) C |
является общим интегралом обыкновенного |
||||||||||||||||||||||||||||
дифференциального уравнения |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
a dy2 |
2a |
dydx a |
22 |
dx2 |
0 . |
(2.30) |
|||||||||||||||||||||
11 |
|
|
|
12 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Обратно, если (x, y) C |
есть |
общий |
|
интеграл уравнения |
(2.30), то |
||||||||||||||||||||||||
функция z (x, y) удовлетворяет уравнению (2.29).
Определение. Уравнение (2.30) называется характеристическим для уравнения (2.23), а кривые, определяемые соотношением (x, y) C , –
характеристиками.
64
Полагая (x, y) , где (x, y) C есть общий интеграл уравнения
(2.30), мы обращаем в нуль коэффициент при u |
в (2.25). Уравнение |
|||
(2.30) распадается на два уравнения: |
a122 a11a22 . |
|
||
dydx |
1 |
a12 |
(2.31) |
|
a |
||||
11 |
|
|
|
|
Знак подкоренного выражения определяет тип уравнения (2.23). Уравнение (2.23) мы будем называть в точке M уравнением:
гиперболического типа, если в точке M
a122 a11a22 0;
эллиптического типа, если в точке M
a122 a11a22 0;
параболического типа, если в точке M
a122 a11a22 0 .
Можно доказать, что при преобразовании переменных тип уравнения не меняется. Заметим также, что в разных точках плоскости уравнение может принадлежать различным типам.
Рассмотрим область плоскости, во всех точках которой уравнение имеет один и тот же тип. Через каждую точку этой области в случае гиперболического типа уравнения проходят две характеристики – действительные и различные, для уравнения эллиптического типа – две комплексные и различные характеристики, для уравнения параболического типа – одна действительная характеристика.
1. Для уравнения гиперболического типа a122 a11a22 0.
Пусть |
(x, y) C1 и |
(x, y) C 2 |
– общие интегралы уравнения (2.30). |
||||||||
Полагая (x, y), (x, y) , будем |
иметь |
a11 a22 0 |
и приведем |
||||||||
уравнение (2.23) к виду |
u ( , , u, u , u ) . Часто пользуются другой |
||||||||||
формой уравнения. Положим: |
1 ( ), |
1 ( ) , где и |
– |
||||||||
|
|
|
|
|
2 |
|
|
2 |
|
|
|
новые |
переменные. |
В |
результате |
уравнение |
(2.23) |
примет |
вид: |
||||
u u 1 ( , , u, u , u ) . |
|
|
|
|
|
|
|
||||
2. Для уравнения параболического типа a2 |
a |
a 0 . |
|
|
|||||||
|
|
|
|
|
|
|
12 |
11 |
22 |
|
|
Пусть |
(x, y) C есть общий интеграл характеристического уравнения. |
||||||||||
Положим |
(x, y), (x, y) , |
где |
(x, y) – |
любая |
функция, |
не |
|||||
зависящая |
от x y y x 0 . |
При |
таком |
выборе |
переменных |
||||||
65
коэффициенты |
a11 |
и a12 |
|
обращаются |
в 0. |
Уравнение |
принимает |
вид |
|||||||||||||
u ( , , u, u , u ) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
3. Для уравнения эллиптического типа a2 |
a |
a 0. |
|
|
|
||||||||||||||
|
|
|
(x, y) C – |
|
|
|
|
|
|
|
|
|
12 |
11 |
22 |
|
|
|
|
||
Пусть |
комплексный интеграл уравнения (2.30). Полагаем |
||||||||||||||||||||
Re (x, y), Im (x, y) |
(т. е. |
действительная часть , а – мнимая |
|||||||||||||||||||
часть |
). |
Тогда |
|
|
уравнение |
(2.23) |
принимает |
|
вид |
||||||||||||
u u ( , , u, u , u ) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
Таким образом, имеют место следующие формы уравнения (2.23), |
|||||||||||||||||||
называемые |
каноническими: |
|
u |
xx |
u |
yy |
, |
u |
|
( a2 |
a |
a |
0, |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xy |
|
12 |
11 |
22 |
|
||
гиперболический тип), u |
x x |
u |
yy |
( a2 |
a |
a 0, эллиптический тип), |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
12 |
11 |
22 |
|
|
|
|
|
||
u |
xx |
( a2 |
a |
a |
0 , параболический тип). |
|
|
|
|
|
|||||||||||
|
|
12 |
11 22 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Функция в общем случае зависит от ux , uy , u, x, y и не зависит от
вторых производных.
Проведенная классификация справедлива и для так называемых квазилинейных уравнений, имеющих вид a11uxx 2a12 uxy a22 uyy F 0 ,
где aij и F зависят от x, y, u, ux , uy . В этом случае форма характеристик
зависит от вида решения и определяется лишь после нахождения этого решения.
Примерами уравнений второго порядка с частными производными (для функций двух переменных), записанных в канонической форме,
являются простейшие уравнения математической физики: utt a2 uxx – волновое уравнение, описывает поперечные колебания струны или продольные колебания стержня (гиперболического типа); ut a2 uxx –
уравнение теплопроводности, описывает процесс распространения тепла в стержне (параболического типа); uxx uyy 0 – уравнение Лапласа,
описывает поля: гидродинамическое, стационарное тепловое, электромагнитное и др. (эллиптического типа); uxx uyy f (x, y) –
уравнение Пуассона, описывает стационарное тепловое поле с учетом
внутренних источников |
тепла, |
деформацию мембраны и др. |
(эллиптического типа); |
uxx uyy |
k 2u 0 – уравнение Гельмгольца, |
описывает гармонические колебания мембраны, акустические колебания газа и др. (эллиптического типа).
Замечания. а) Знание типа уравнения необходимо для правильной (корректной) постановки задач с точки зрения обеспечения существования и единственности решения и непрерывной зависимости его от начальных и граничных данных. Так, например, для уравнений эллиптического типа
66
граничные условия должны задаваться на замкнутой границе, для уравнений гиперболического типа часть границы должна быть свободной от условий.
Необходимо также отметить, что от типа уравнений зависят и методы его решения.
б) В некоторых случаях приведение к канонической форме позволяет найти общее решение заданного уравнения.
Пример 2.1. Найти область гиперболичности, эллиптичности и
параболичности |
уравнения uxx yuyy |
|
1 uy 0 и привести его к |
|||||
каноническому виду. |
|
|
2 |
|
|
|||
|
|
|
|
|
||||
|
Решение. Характеристическое уравнение имеет вид |
|
||||||
|
|
|
|
|
|
|
dy2 ydx 2 |
0 (2.32) |
(a |
1, a |
0, a |
y) . Имеем: a2 |
a |
a |
|
y . Значит, в полуплоскости |
|
11 |
12 |
22 |
12 |
11 |
22 |
|
|
|
y 0 уравнение имеет гиперболический тип, при y 0 – эллиптический, и при y 0 – параболический.
Пусть y 0. Уравнение (2.32) равносильно паре уравнений: |
dy |
|
|
y . |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
dy |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx |
|
|
|
|||
Решая их, получаем: |
|
|
dx, |
2 y x C , 2 |
y x C , |
где |
C |
|
– |
||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
произвольные |
|
постоянные. Вводим |
новые переменные по |
формулам: |
|||||||||||||||||||||||||||
2 y x, |
2 |
|
y x , |
|
и |
|
находим |
частные |
производные |
|
, |
по |
|||||||||||||||||||
переменным |
|
x, y : |
|
|
xx 1, |
|
xx |
0, |
y |
1 |
y , |
yy |
|
|
|
1 |
|
, |
|||||||||||||
|
|
|
|
2 y y |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
x 1, xx 0, |
y |
|
1 |
|
|
, yy |
|
1 |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
y |
2y |
y |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Переходим к новым переменным в исходном уравнении, используя |
|||||||||||||||||||||||||||||||
формулы (2.24). Имеем: |
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
u |
y |
|
|
|
u |
|
u , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
u |
yy |
|
1 u |
|
2 |
u |
1 u |
|
|
1 |
(u u ), |
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
2y y |
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
y |
|
|
y |
|
y |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
uxx u 2u u . |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
Исходное уравнение принимает вид 4u |
0 |
или u 0 (каноническая |
|||||||||||||||||||||||||||||
форма). При |
|
y 0 |
характеристическое |
уравнение |
запишем |
|
|
в |
виде |
||||||||||||||||||||||
67
(dy)2 ( y)i2 (dx)2 0 . Тогда dy i ydx, |
|
dy |
|
|
|
idx, |
2 |
y ix C , |
|||||||||||||
|
y |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
где |
C |
– |
произвольные |
постоянные. |
Введем |
новые |
переменные |
||||||||||||||
2 y, |
x . Пересчитывая |
производные |
и |
переходя |
в исходном |
||||||||||||||||
уравнении |
к |
переменным |
|
, , |
приведем |
|
его |
|
|
|
к |
каноническому |
виду |
||||||||
u |
u 0 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример 2.2. Привести к канонической форме уравнение |
|
|
||||||||||||||||||
|
|
|
|
|
|
uxx 2uxy 10uyy 0. |
|
|
|
|
|
|
|||||||||
|
Решение. Имеем: a |
1, a |
1, a |
10, a2 |
|
|
a |
|
a |
9 0, значит, |
|||||||||||
|
|
|
|
11 |
|
12 |
|
22 |
|
12 |
|
|
|
11 |
12 |
|
|
|
|||
уравнение |
имеет |
эллиптический |
тип. Характеристическое уравнение: |
||||||||||||||||||
dy2 2dydx 2 |
10dx 2 0 . |
|
Оно |
|
распадается |
|
|
|
на |
|
два |
уравнения: |
|||||||||
dy dx 1 3i , |
общие |
решения |
которых |
|
y ( 1 3i)x C |
или |
|||||||||||||||
y x 3ix C , |
где C |
– |
произвольные |
постоянные. |
Значит, следует |
||||||||||||||||
перейти к новым переменным по формулам: y x, 3x . Пересчитаем
производные: |
ux u 3u , uy u , uyy u ,uy u , uxx u 6u 9u , |
uxy u 3u . |
Исходное уравнение принимает вид u u 0; его |
решениями являются гармонические функции. Общее решение исходного
уравнения есть u(x, y) (y x,3x) , где |
( , ) – произвольная |
гармоническая функция. |
|
3.Некоторые сведения из теории рядов и дифференциальных уравнений
3.1. Тригонометрический ряд Фурье
Пусть функция |
y f (x) |
определена на всей действительной оси и |
||||||||||||||||
имеет период T 2 . |
|
Тригонометрическим |
|
рядом |
Фурье |
для f (x) на |
||||||||||||
отрезке [ ; ] называется функциональный ряд вида |
|
|
|
|||||||||||||||
|
|
|
|
a |
|
|
|
|
|
nx |
|
|
|
nx |
|
|
||
|
|
|
|
0 |
|
a |
|
cos |
|
|
b |
sin |
|
, |
|
|
||
|
|
|
2 |
|
|
|
|
|
|
|||||||||
|
|
|
n 1 |
n |
|
|
|
|
n |
|
|
|
|
|||||
где an (n 01,,2,...) |
и bn (n 1,2,...) вычисляются по формулам: |
|||||||||||||||||
|
1 |
|
|
|
|
nx |
|
|
|
|
1 |
|
|
|
nx |
|
||
an |
|
|
f (x)cos |
|
|
|
dx, |
bn |
|
f (x)sin |
|
dx . |
||||||
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
68
Теорема 2.2. (Дирихле). Если на отрезке [ ; ] функция f (x) имеет
конечное число точек разрыва, причем все они первого рода, и конечное число точек экстремума, то ее ряд Фурье сходится, т. е. имеет сумму S(x)
во всех точках этого интервала. При этом: 1) в точках непрерывности
функции f (x) |
ряд сходится к самой функции, т. е. |
S (x) f (x) ; 2) в точке |
|||||||||||
разрыва x0 функции f (x) |
ряд сходится к S (x0 ) |
1 |
f (x0 |
0) f (x0 |
0) ; |
||||||||
3) в точках x и x ряд сходится к числу: |
|
2 |
|
|
|
|
|||||||
|
|
|
|
|
|
||||||||
|
|
S( ) S( ) 12 f ( 0) f ( 0) . |
|
||||||||||
Ряд Фурье функции f (x), |
x [0; ], по синусам имеет вид |
|
|||||||||||
|
|
|
nx |
, |
bn |
2 |
|
nx |
dx, |
n 12,,... . |
|
||
f (x) bn sin |
|
|
f (x) sin |
|
|
|
|
||||||
|
|
n 1 |
|
|
0 |
|
|
|
|
|
|||
Ряд Фурье по косинусам на отрезке [0; ] имеет вид |
|
|
|||||||||||
|
a |
|
nx |
|
|
2 |
|
|
nx |
|
|
|
|
f (x) |
0 |
an cos |
|
, |
an |
|
f (x) cos |
|
|
dx, |
n 01,,... . |
|
|
|
|
|
|
|
|||||||||
2 |
n 1 |
|
|
0 |
|
|
|
|
|||||
3.2. Задача Штурма-Лиувилля. Ряды по собственным функциям
Рассмотрим линейное однородное дифференциальное уравнение
y (x) q(x ) y (x) y(x) 0 |
(2.33) |
|
и краевые условия: |
1 y(b) 2 y (b) 0. |
(2.34) |
1 y(a) 2 y (a) 0, |
||
Здесь q(x) – непрерывная на [a, b] функция, причем q(x) 0; |
|
|
12 22 0, |
12 22 0. |
|
Задача Штурма-Лиувилля: Требуется найти отличные от нуля (нетривиальные) решения уравнения (2.33), удовлетворяющие краевым условиям (2.34), и соответствующие им значения .
Те значения , при которых существуют нетривиальные решения задачи (2.33)-(2.34), называются собственными значениями этой краевой задачи, а соответствующие им нетривиальные решения – собственными функциями. Имеют место утверждения:
1) Собственные значения образуют бесконечную возрастающую последовательность:
1 2 |
3 n , |
n . Каждому |
числу n соответствует |
единственная (с точностью до постоянного множителя) собственная функция yn(x).
69
2) Для всех n m
b
yn (x)ym (x)dx 0 .
a
3) Пусть выполняются |
условия: 1 2 0, |
1 2 0. |
Тогда |
все |
собственные числа краевой |
задачи неотрицательны: n 0 |
при |
всех |
|
n 1,2,... . |
|
|
|
|
Теорема 2.3. Всякая функция f (x), удовлетворяющая краевым
условиям (2.34) и имеющая непрерывную первую производную и кусочнонепрерывную вторую производную на [a, b], разлагается в абсолютно и
равномерно сходящийся ряд по собственным функциям:
f (x) Cn yn (x),
n 1
b |
|
b |
|
|
|
|
|
|
2 |
|
. (2.35) |
Cn f (x) yn (x)dx |
|
yn |
(x)dx |
||
a |
|
a |
|
|
|
Пример 2.3. Найти все решения краевой задачи:
y y 0, |
1 x 3, |
y (1) y (3) 0 . |
|
Решение. Здесь q(x) 0, |
1 1 0 . Согласно свойству 3 |
0. |
|
Рассматриваем два случая.
а) 0 . Уравнение y 0 имеет общее решение y C1x C2 , C1,C 2 – произвольные постоянные. Краевые условия дают C1 0 , так что y C 2 const .
б) 0. Общее решение уравнения есть y A cos
x B sin
x;
y A
sin
x B
cos
x, где A, B – произвольные постоянные. Краевые условия дают
A sin
B cos
0, A sin 3
B cos3
0 . (2.36)
Получили линейную однородную систему уравнений относительно постоянных A и B . Так как система (2.36) должна иметь ненулевые решения, то ее определитель должен быть равен нулю. Имеем
sin
cos 3
sin 3
cos
0
|
sin(3 |
|
) 0 sin 2 |
0. |
|
|
|
|
|||||
Отсюда |
2 n2 |
, n 1,2,..., |
y Acos |
nx |
B sin |
nx |
. |
Далее, |
первое |
||||
4 |
2 |
2 |
|||||||||||
|
|
|
|
|
|
|
n |
|
|
||||
уравнение |
(2.36) |
дает |
B Atg Atg |
, |
поэтому |
||||||||
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
70
