Файл: Филатов, А. Н. Асимптотические методы в теории дифференциальных и интегро-дифференциальных уравнений.pdf

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

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

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

Добавлен: 21.10.2024

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

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

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

Сложение и вычитание

матриц,

умножение матрицы на число и

матрицы на матрицу выполняются по следующим правилам:

а п

±

Ьи

 

а ы ±

Ьы \

 

А + В —

 

 

 

 

 

 

 

( a ij — b ij)'

 

 

 

 

а

ч~

b

 

 

 

 

 

ппJ

 

а п\ ±

Ь т

 

 

пп

 

 

 

 

Хаи

 

•Ха

= (Ч)’

Х-Л =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ха

п\

 

•Ха.

 

 

 

 

 

 

 

пп,

 

а

a i A i

 

2

 

\

2

 

 

 

 

 

й =1

 

 

 

й = 1

 

 

А -В =

 

 

 

 

 

 

 

 

Л

 

 

 

 

,

\ 2

 

 

..............................2 a n k bkn

/

\ft=l

 

 

 

*=1

 

 

/

Матрица Л умножается на вектор л: так:

 

/ « и ................а ’л

'

х -

 

 

 

 

Лх --

 

 

 

 

 

2

 

X k ’ " * ’ ^ a n k X k Г

 

 

 

 

 

 

Й =1

й = 1

Матрица

£ = ( 8у), 8у = 1, oif = 0,

г 4= j ,

называется

единич­

ной. Определитель матрицы Л

будем

обозначать через

det Л.

Очевидно,

 

 

 

 

 

 

 

 

det (ХЛ) = Xя det Л, det (АВ)

= det {ВА) = det Л •det В.

 

 

Если det А=£ 0, то матрица Л называется неособенной.

 

 

Матрица

А~1 называется обратной данной матрице

Л,

если

 

 

Л-1 Л = ЛЛ-1 = Е.

 

 

 

 

Ясно,

что

 

 

 

 

 

 

 

 

det А~' = (det Л)- 1 ,

(А В )-'

=

В~' А~' .

 

 

Если

матрица

Л такова, что а а ^=0, а.;. =

0,

i =f=jy то она

назы­

вается диагональной и обозначается так:

 

 

 

 

 

 

Л = diag { а и ,

а 22, ... ,

а йя] .

 

 

Уравнение (относительно параметра X) вида

 

 

 

 

 

det (Л — УЕ) — 0

 

 

 

 

7


называется характеристическим (вековым) уравнением матрицы А. Корни X. , i = 1, я, этого уравнения называются характеристи­

ческими (собственными) числами матрицы А. Ненулевые векторрешения линейной однородной системы

ХЕ) х = О,

соответствующие собственным значениям матрицы А, называются собственными векторами матрицы А.

Введем

теперь

норму матрицы

А. Под

нормой

матрицы

А = ( а [.)

понимается

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

число

||Л||, удовлетворяю­

щее следующим требованиям:

 

 

 

 

 

 

а) |( А |= 0 тогда и только

тогда,

когда

А = 0;

 

б) ||ХЛ|| = |Х|||Л||;

 

 

 

 

 

 

 

В) Н

+ В||<||Л|| +

||В||;

 

 

 

 

 

 

г) ||ЛВ||<|И||||В||.

 

 

 

 

 

 

 

Как правило, в качестве нормы матрицы А используется

какая-

либо одна из следующих трех

норм:

 

 

 

 

 

 

 

 

 

п

 

 

 

 

 

II А !|,

1

 

I, j2=

1К 1

 

 

 

 

 

п

 

 

 

 

 

 

 

 

IIА ||,, = max ^

| а,/1

 

 

 

 

 

 

 

/=1

 

 

 

 

 

 

 

Для вектора столбца х эти нормы

переходят

в нормы | ]|j ,

||jc||n и ||лг||ш соответственно.

 

В дальнейшем

значки

у норм

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

берется, например, норма [|

, то и для

нормы матрицы

должна быть взята норма |А ||г .

 

 

11.

Если

(р (х) — скалярная функция

векторного аргумента x

то

 

 

 

 

 

 

 

д<р ( х )

/ ду

д<?

grad ср(х).

 

дх

I

дх^

дх 2

 

дхп

 

Если / ( х )

вектор-функция от

векторного аргумента х, то

df/dx — матрица

.

/ Л ..........

дЛ

 

 

 

 

 

df(x)

/

д х г

 

д х п

•Vi_

 

_

 

 

 

 

дх

V fn

 

dfn

dxi

 

 

 

 

 

 

 

' д х г

 

д х п

 

8


Пусть х (t) — вектор-функция скалярного аргумента t. Тогда

dx(t)

( d x x(t)

dxi(t)

^х п( ON

dt

dt

dt

dt

j x ( / ) d / =

^ J x l (/) dt,

j x 2 (t)d t,

... , | х л(/) d t y

 

t

 

t

 

 

 

\ х (т) dx < 1 1|х (х) |d i

 

J

 

 

 

 

 

и

 

 

 

аргумента x e D c z R n -

Пусть / (x ) — вектор-функция

векторного

Если выполняется

неравенство

 

 

 

 

x 'e D ,

x"eD, X

const,

то говорят, что функция f

(x)

удовлетворяет условию Липшица

в области D, что

можно кратко записать

так:

 

f { x ) бЫрх (Х,

D).

 

Если задана функция /(/, х), зависящая еще и от скалярного аргумента t , то может быть функцией от t. Тогда условие Липшица запишется так:

/(/, x )eL ip x (X(/),

D ) .

Запись вида

 

f ( t , ^ )eC *;'(Q ), Q =

/ X D

означает, ч то /(/, x) имеет в области Q непрерывные частные производные по I до k -то порядка, по х до /-го порядка вклю­ чительно {tel, x e D ), т. е. непрерывны производные

^a0+ “l + ' •■+“/* f

-, 0 < a -)— •+ a < /, о < a С k. d f * дх ~'-..дх ; п 1 я 0

Наконец, разложение вектор-функции / (х) от векторного аргу­ мента х в ряд Тейлора в точке х = х 0 будет записываться так-

f ( x ) = f ( x о )+

 

 

 

 

дЧ

(х — х 0)2+

 

 

 

 

/ X-Xq

\ / XXо

 

 

 

\

 

где

 

 

 

 

 

 

д х 2

-

A

(AL X

X,

 

 

дх

I дх

 

 

 

 

 

_д_

дЧ

9

X

 

дх * ~

 

дх

дх 2

X 2

 

и т. д.

9



§2 . Асимптотические разложения

1.Символы порядка. Символами порядка называют симво

лы

О и о.

Напомним их определение.

Пусть заданы две функции

J (s)

и ср(е), определенные на множестве 5 (se5),

и пусть а —пре­

дельная точка множества S (а может

и не принадлежать мно­

жеству 5).

 

 

 

Определение 1. Запись вида

 

 

 

 

/(е) = 0(ф (е)), eeS

(1.2.1)

означает,

что найдется постоянная Л4 > 0 такая,

что будет вы­

полняться

неравенство

 

 

 

 

|/(s)|<yW|cp(e)| ,

sgS.

(1.2 2 )

Заметим, что если на множестве S функция ср(е) не принимает значений, равных нулю, то запись (1.2 .2 .) означает, очевидно, что отношение /(в)/ср(г) ограничено на 5. Ясно, что всегда

/ ( 0 = 0 (/(e)), eeS.

Определение 2. Запись

вида

 

 

 

 

 

/(О =

0(<р(е)), е - а , e6S

 

(1.2.3)

означает, что существуют

постоянная

М > 0 и

окрестность U

точки а такие, что будет выполняться неравенство

 

|/(в)|<Ж|ср(е)|, seUf]S.

 

(1.2.4)

Если функция ср(в) не принимает нулевых значений на

S, то

запись (1.2.4) означает, очевидно, что

отношение /(е)/<р (е)

огра­

ничено при в -> а.

 

 

 

 

 

 

Определение 3. Запись

вида

 

 

 

 

 

/(О = о (ср (в)), в -> а, ве5

(1.2.5)

означает, что для любого

8 > 0 можно указать

такую окрест­

ность U~ точки а , что будет выполняться

неравенство

 

|/(£) |<

51<Р(s) |,

П$.

 

(1.2.6)

Если ср(в) не принимает нулевых

значений

на 5,

то (1.2.6)

озна­

чает, по существу, что

 

 

 

 

 

 

2 < lL

о,

6 -* а.

 

 

 

(1.2.7)

Определение 4. Соотношения /(в) = 0 ( у ( в)) и /(в) = о(ср(е))

называют соотношениями порядка.

О пределение 5. Запись вида

/(в)~ ср (е), в a, egS

(1.2 .8)

10