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

Лекции по ЧМ и ТВ

.pdf
Скачиваний:
12
Добавлен:
05.06.2015
Размер:
1.34 Mб
Скачать
z(j), зависимые в одной
имеет в точке x1 нулевые данные Коши.

8. ЛИНЕЙНЫЕ СИСТЕМЫ УРАВНЕНИЙ

31

несколько простых свойств решений таких систем и уравнений. Нормальная форма линейной системы имеет вид:

y0 A(x) y = f(x)

(I.25)

Здесь y = (yj) = (y1; : : : ; yn) è f = (fj) = (f1; : : : ; fn) n-векторы,

A = (aij) n n-матрица. Если потребуется нумеровать векторы

или матрицы, будем их номера, чтобы не путать с номерами координат, брать в скобки в индексе. Например, y2(6) обозначает вторую

координату шестого вектора решений y(6).

Если правая часть f = 0, то система называется однородной. Ñî-

гласно предложению 1 общее решение можно искать в виде: y = y0 + z;

ãäå y0 какое-нибудь частное решение и z общее решение однородной системы. Решения однородной системы остаются решениями, если их складывать между собой и умножать на числа, иными словами, они образуют линейное пространство.

Предложение 6. Пусть A непрерывна на интервале (a; b), концы

которого могут уходить в бесконечность, тогда

1. Векторное пространство решений системы z0 = A z n-мерно.

2. Любое решение, как однородной, так и неоднородной системы, определенное в окрестности некоторой точки x0; продолжается на весь интервал.

3. Решения z(1); : : : ; z(k), линейно независимые в некоторой точ- ке, линейно независимы всюду.

Докажем сначала 2. По теореме Коши 5.1 в окрестности любой точ- ки x0 существует частное решение неоднородной системы y0 и базис

из решений однородной системы z(1); : : : ; z(n), который порождается базисом данных Коши, например, таким:

z(1)(x0) = (1; 0; : : : ; 0); : : : ; z(n)(x0) = (0; : : : ; 0; 1)

Любое решение y(1), близко подходящее к точке x0 можно разложить по этим решениямP в окрестности точки их совместного существова-

íèÿ: y(1) = y0+ aj z(j). Это разложение определит продолжение ре- шения y(1) в двустороннюю окрестность точки x0. Следовательно, ни

одна точка интервала не ограничивает области существования реше- íèÿ y(1) и, значит, оно продолжается на весь интервал. В частности на всем интервале определены решения однородного уравнения.

Докажем 3. Если эти решения линейно зависимы в точке x1: b1z(1)(x1) + + bnz(n)(x1) = 0, то решение однородного уравнения

z0 = b1z(1)(x)+ +bnz(n)(x)

Следовательно, z0(x) 0. Поэтому решения точке, линейно зависимы всюду.

32

Глава I. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ

Докажем 1. По доказанному в 2. и 3. между решениями однородной системы на интервале и значениями их в любой точке интервала имеется линейное взаимно-однозначное соответствие (изоморфизм).

Так как пространство значений в точке n-мерно, то и пространство

решений n-мерно.

.

Любой базис z(1); : : : ; z(n) решений однородной системы

z0 = Az

называется фундаментальной системой решений, а матрица-функ- ция составленная из этих векторов-столбцов Z = (zi(j)) фунда-

ментальным решением. Разложение общего решения по базису:

n

 

 

 

z(x) = P1

Cjz(j)(x) можно записать в матричном виде:

 

z = ZC; C = (C ; : : : ; C

n

)T

 

1

 

Матрица Z; очевидно, удовлетворяет матричному уравнению

Z0 = AZ

И любое фундаментальное решение имеет вид U = ZD, где D невырожденная постоянная матрица.

8.1Метод вариации постоянных

Çíàÿ z, найдем y0 â âèäå: y0 = Z u; u = (u1; : : : ; un)T После подстановки y0 в (I.25) получим:

Z

Z0u + Zu0 AZu = Zu0 = f è u = Z 1f dx.

Если этот интеграл как-нибудь определить, общее решение уравнения (I.25) запишется в виде y = Z u + ZC.

8.2Определитель Вронского.

Теорема Абеля Лиувилля Якоби Остроградского

Определителем Вронского системы называется

W = det Z

Согласно теореме об умножении определителей он определен с точ- ностью до постоянного множителя. Теорема звучит так:

Предложение 7.

W 0 = trA W;

(I.26)

ãäå trA = a11 + + ann след матрицы A:

Так как отношение W 0W 1 не зависит от выбора фундаментального решения Z, то можно считать, что в произвольно выбранной точке x1 Z(x1) = 1M . Следовательно,

Z = 1M + A(x1)(x x1) + o(x x1),

9. ЛИНЕЙНЫЕ УРАВНЕНИЯ

 

 

 

33

W = 1 + trA(x x1) + o(x x1),

 

 

 

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

порядка по

x

x1 â îïðå-

 

 

делителе приходится брать с диагонали матрицы

n

 

единицу и

 

 

1

оставшийся на ней элемент ajj(x x1). Отсюда и получается урав-

нение (I.26).

 

Интегрированием его получается

 

Следствие 8.

x

W (x) = W (x0) exp Z

trA(t) dt

x0

 

Из этого следствия вытекает, что если определитель Вронского не обращается в нуль в какой-нибудь точке, то он нигде не обращается в нуль. Это еще раз доказывает утверждение 3 предложения 6 и, одновременно, следует из него.

9Линейные уравнения

Нормальная форма

уравнения с переменными коэффициентами

имеет вид:

 

 

y(n) + an 1y(n 1) + + a0y = f

(I.27)

Сказанное про системы в абзаце перед предложением 6 справедливо и для уравнений, а из самого предложения следует

Предложение 9. Пусть коэффициенты уравнения (I.27) и правая часть непрерывны на интервале a; b, концы которого могут

уходить в бесконечность, тогда

1.Векторное пространство решений соответствующего однородного уравнения n-мерно.

2.Любое решение (I.27), определенное в окрестности некоторой точки x0; продолжается на весь интервал.

3.Если решения z1; : : : ; zk однородного уравнения таковы, что n-

векторы (zi; : : : ; zi(n 1)) линейно независимы в некоторой точке, то эти векторы линейно независимы всюду, а сами функции zi линей-

но независимы на (a; b).

В самом деле, путем введения переменных

y1 = y; : : : ; yn = y(n 1)

34

Глава I. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ

уравнение сводится к системе:

y10 = y2

. . . . . . . . . . . . . . . . . . .

yn0 1 = yn

yn0 = an 1yn a0y1 + f

Матрица этой системы имеет вид:

A =

0 0:

 

0:

 

1:

 

:: :::::

 

0:

1

 

 

0

 

1

 

0

 

 

 

 

0

 

 

B

0a

0

0a

1

0a

2

::

:: ::

 

a1

C

 

B

 

 

 

 

 

 

n 1

C

 

@

 

 

 

 

 

 

A

След этой матрицы, очевидно, равен an 1; решения z1; : : : ; zk îäíî-

родного уравнения преобразуются в векторы-решения (zi; : : : ; zi(n 1)), i = 1; : : : ; k; однородной системы. Ясно, что эти векторы и породив-

шие их решения однородного уравнения линейно независимы или зависимы одновременно.

Определитель Вронского системы, выраженный через координаты zi; имеет вид

 

 

z1

 

 

: : :

zn

 

 

 

 

W =

z10

 

 

: : :

zn0

 

 

 

 

.

 

1)

 

.

.

1)

 

 

 

 

 

(n

 

 

 

(n

 

 

 

 

 

z1

 

: : : zn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Он называется определителем

Вронского (1812)

или Вронскианом

уравнения, а также и произвольного

набора функций

z1; : : : ; zn; ðà-

зумеется, имеющих производные. Теорема Абеля Лиувилля (1838)Якоби Остроградского (1839) и следствие из нее принимают вид:

Теорема 10.

an 1 W;

W 0 =

Следствие 11.

 

x

W (x) = W (x0) exp Z

an 1(t) dt

 

x0

 

9.1 Свойства Вронскиана Теорема 12.

сразу написать разрешимое относительно старшей произ-

9. ЛИНЕЙНЫЕ УРАВНЕНИЯ

35

1) Если функции f1; : : : ; fn линейно зависимы в области, то там

W (f1; : : : ; fn) 0

2) Обратно, если Wn = W (f1; : : : ; fn) 6= 0 ни в одной точке ин-

тервала и Wn+1 = W (f1; : : : ; fn+1) 0; òî f1; : : : ; fn+1 линейно за- висимы, точнее fn+1 = c1f1 + + cnfn; с постоянными ci:

Разложение определителя Вронского по последнему столбцу дает для fn+1 уравнение порядка n:

Wn+1 = Wnfn(n+1) + = 0:

Оно уже имеет n линейно независимых решений f1; : : : ; fn; поэтому

fn+1 разлагается по ним. Это доказывает 2), а 1) непосредственно следует из свойств определителей.

9.1.1Составление уравнений

Свойства вронскиана позволяют для заданного набора функций f1; : : : ; fn

водной уравнение, которому они удовлетворяют:

 

f1

: : : fn

y

 

 

f.10

: : : f.n0

y. 0

= 0

 

f

(n)

(n)

y(n)

 

 

 

1

: : : fn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

На любом интервале, где Wn 6= 0; эти функции составляют базис решений уравнения.

Аналогичным образом для заданной матрицы F = (fij) строится

ее система уравнений:

 

 

 

 

 

 

 

 

 

 

f.11 : : : f1.n y.1

= 0 i = 1; : : : ; n;

 

 

 

 

fn1 : : : fnn yn

 

 

 

 

 

 

 

f

: : :

f

y

i0

 

 

 

 

 

 

 

i01

 

in0

 

 

 

 

то есть, система, решением которой

будет любой столбец матрицы

(fij)

:

yj = fjk

 

 

 

. Åñëè

матрица фундаментальна, то ее

 

k = 1; : : : ; n

 

 

 

 

 

 

 

 

8

 

 

 

 

 

 

 

 

систему можно также записать в виде:

 

 

 

 

 

 

y0

= F 0F 1y

9.2Вариация постоянных для уравнения

Из предложения 9 вытекает, что метод вариации постоянных (I.19), (I.20) без изменений переносится на случай уравнений с переменными коэффициентами. Но теперь эту процедуру можно получить прямо из алгоритма вариации постоянных для систем (пункт 8.1):

y0(i 1) = Pukzk(i 1); i = 1; : : : ; n

k

родным условиям. Тогда после замены

36

Глава I. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ

kW k u0 = (0; : : : ; f)T ;

ãäå kW k матрица определителя Вронского. Отсюда ui находятся обращением матрицы и интегрированием.

10 Краевые задачи

Материал этого раздела дает пример применения развитой ранее теории и сам служит средством исследования задач на собственные значения.

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

Под это определение подходит и задача Коши, однако ее называют не краевой, а задачей с начальными данными.

Вот пример линейной краевой задачи весьма общего вида:

P [y] = y00 + q y = f; x 2 (x1; x2)

 

Q1 [y] = 1 y0

+ 1 y jx=x1

= 1

(I.28)

Q2 [y] = 2 y0

+ 2 y jx=x2

= 2

 

Граничные условия, уравнение или задача в целом называются однородными èëè неоднородными в зависимости от равенства или не равенства нулю правых частей.

Подходы к решению

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

Методом суперпозиции называют алгоритм, в котором решение складывается из частей, каждая из которых решает модифицированную задачу. Например, можно найти частное решение уравнения y0 и заменой y = y0 + z свести исходную задачу к задаче для однородного уравнения.

Значительно проще сделать однородными условия на границе. Нужно найти какую-нибудь функцию y1, удовлетворяющую неодно-

y = y1 + u функция u будет подчиняться однородным краевым условиям. Первому из граничных

условий (I.28) удовлетворяет функция y2 = a + bx при подходящих

a è b, а обоим условиям y1 = y2 + c(x x1)k ïðè k = 2 èëè 3 и подходящем c.

Далее граничные условия будут считаться однородными.

10. КРАЕВЫЕ ЗАДАЧИ

37

10.1Представление решения с помощью функции Грина

Предполагается что нам известны независимые решения однородно- го уравнения z1;2. Основание для такого предположения предло-

жение 9. Если решить уравнение из задачи (I.28) методом вариации постоянных, то получится представление частного решения в ви-

де интегрального оператора от правой части с ядром k(x; t). Äëÿ

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

y = y0 + z; z = C1 z1 + C2 z2

x

x2

x2

 

y0 = Z

k(x; t) f(t) dt Z

k(x; t) f(t) dt = Z

k sgn(x t)f dt

x1

x

x1

 

Выразим ядро k через решения однородного уравнения, подставив

y0 в уравнение. Находим производные:

x2

Z

y00 = 2k(x; x) f(x) + kx0 (x; t) sgn(x t) f(t) dt

x1

x2

Z

y000 =(2k(x; x)f(x))0+2kx0 (x; x)f(x)+ kxx00 (x; t) sgn(x t)f(t) dt

x1

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

k(x; x) = 0

2kx0 (x; x) = 1

kxx00 (x; t) + q(x)k(x; t) = 0;

откуда следует, что k можно записать в виде:

k(x; t) = 2 W 1(t)

z1(t) z22(t)

 

1

 

z1(x) z (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

Так как по теореме Абеля Лиувилля Якоби Остроградского W = const, положим W = 1=2, заменив для этого одну из функ-

öèé z1;2 на пропорциональную. В результате получим:

y0 =

x2

K0(x; t) f(t) dt; K0(x; t) =

z1(t) z2(t)

sgn(x t)

Z

 

 

 

 

z1(x) z2(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

Теперь нужно выбрать константы C1;2, чтобы учесть граничные условия; подставим в эти условия y:

z1, добавив к нему слагаемое вида
отнормировать, а

38

Глава I. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ

x2

Qj[y]=Z Qj[z1]Qj[z2] sgn(x t)f(t) dt+c1Qj[z1]+c2Qj[z2]=0

z1(t) z2(t)

x1

Теперь приходится рассмотреть два случая.

A) Ни одно из решений однородного уравнения не подчиняется обоим граничным условиям одновременно. Тогда z1;2 можно выбрать

такими, чтобы Q1[z1] 6= 0, Q1[z2] = 0, Q2[z2] 6= 0, Q2[z1] = 0. Из условий Q1;2[y] = 0 получаем:

 

x2

 

 

x2

 

C1 =

Z

z2(t) f(t) dt

C2 =

Z

z1(t) f(t) dt

 

x1

 

 

x1

 

x2

Z

y = K(x; t)f(t) dt; K(x; t)=K0(x; t)+z1(x)z2(t)+z2(x)z1(t)

x1

Б) Одно из решений однородного уравнения, скажем z1 удовлетворя- ет граничным условиям Q1;2[z1] = 0. Тогда, из-за линейной независи- мости этих решений, z2 не удовлетворяет ни одному из них. Теперь из условий Q1;2[y] = 0 получаем:

x2

 

x2

 

Z

z1(t) f(t) dt + C2 = 0;

Z

z1(t) f(t) dt + C2 = 0

x1

 

x1

 

Следовательно, и интеграл и C2 равны нулю. Таким образом, краевая задача имеет решение

 

x2

 

x2

 

y =

Z

K0(x; t) f(t) dt + Cz1; åñëè

Z

z1(t) f(t) dt = 0 (I.29)

 

x1

 

x1

 

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

y0 сделать тоже ортогональным

10. КРАЕВЫЕ ЗАДАЧИ

39

C0z1. В итоге получим:

x2

 

y = y0 + Cz1 = Z

K(x; t) f(t) dt + Cz1

(I.30)

x1

 

 

x2

z1(x)K0(s; t) + z1(t)K0(s; x) z1(s) ds

K(x; t) = K0(x; t) Z

x1

 

 

Подытожим:

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

Иначе говоря, если правая часть f ортогональна z1, то существует единственное, непрерывно зависящее от f, решение y0, ортогональ-

íîå z1. ßäðî K называется функцией Грина или фундаментальным решением краевой задачи.

Замечания.

1. Из этих рассуждений следует альтернатива Фредгольма:

Предложение 14 Либо краевая задача однозначно и непрерывно разрешима, либо отвечающая ей однородная краевая задача имеет ненулевое решение.

2.Интегральный оператор часто обозначают той же буквой что и функцию K(x; t), называемую его ядром.

3.Решение задачи Коши может быть представлено в таком же виде y = K1[f];

матрица системы для определения констант будет в этом случае матрицей Вронского, так что проблемы с определителем не возникает, как мы видели на примере простейшего уравнения (I.2), (I.3).

10.1.1Свойства ядра K

1) Ïðè t 6= x ядро, как функция от x, удовлетворяет уравнению

P [K(x; t)] = 0: На диагонали x = t первая производная ядра имеет

скачок: Kx0 (t + 0; t) Kx0 (t 0; t) = 1, поэтому ядро второй производной по x не имеет. Это не мешает интегралу K[f] быть гладкой

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

x x1

ZZ

интегралов: + : : : :

x1 x

2) Ядро, как функция от x, удовлетворяет граничным условиям

Qi[K(x; t)] = 0;

40 Глава I. ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ

так как при произвольной f решение уравнения им подчиняется:

 

x2

 

Qi[y] = Qi[K[f]] =

Z

Qi[K(x; t)] f(t) dt = 0

x1

3)Ядро симметрично: K(t; x) = K(x; t): Это ясно из формул.

4)На непрерывных функциях оператор K обращает P справа:

P [K[f]] = f. Если краевая задача разрешима однозначно, то на

функциях, дважды дифференцируемых и подчиненных граничным условиям, оператор K обращает P еще и слева: K[P [y]] = y: Åñëè

íåò, òî KP = 1 в ортогональном дополнении к решению однородной задачи. Действительно, применив к P [y] = f оператор K, получим искомое. Пример уже был: (I.4).

10.2Задача Штурма Лиувилля

Не будет большим преувеличением сказать, что все где-либо использующиеся в математике ортогональные системы функций состоят из решений каких-то задач Штурма Лиувилля. Нередко собственные функции задачи Штурма-Лиувилля образуют полную ортогональную систему функций, пригодную для разложения по ней решений уравнений математической физики. Ядра интегралов Фурье и Лапласа это тоже решения этих задач.

Рассмотрим методы их исследования на примере довольно общей краевой задачи на собственные значения для оператора второго порядка:

P [y] = y00 + q y = y; x 2 (x1; x2)

 

Qi [y] = i y0 + i y jx=xi = 0; i = 1; 2

(I.31)

Найти требуется, естественно, только ненулевые собственные функции y(x; ) вместе с их собственными числами .

Воспользовавшись терминологией и результатами раздела 4 главы VII, установим ряд простых, но существенных и при первом знакомстве удивительных свойств задачи Штурма Лиувилля.

Предложение 15.

(1)Оператор P самосопряжен на функциях, подчиненных граничным условиям;

(2)он ограничен слева на этих функциях;

(3)собственные числа P вещественны;

(4)ограничены слева;

(5)не имеют предельных точек;

(6)и однократны.