Интегральные и дифференциальные операторы и обобщенные функции: Учебно-методическое пособие

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ЯДЕРНЫЙ УНИВЕРСИТЕТ «МИФИ»

ИНТЕГРАЛЬНЫЕ И ДИФФЕРЕНЦИАЛЬНЫЕ ОПЕРАТОРЫ И ОБОБЩЕННЫЕ ФУНКЦИИ Рекомендовано УМО «Ядерные физика и технологии» в качестве учебно-методического пособия для студентов высших учебных заведений

Москва 2010

УДК 514.742.4(07) ББК 22.151.5я7 И73 Интегральные и дифференциальные операторы и обобщенные функции: Учебно-методическое пособие / Н.В. Мирошин, А.С. Логинов, Ю.Н. Гордеев, В.М. Простокишин. – М.: НИЯУ МИФИ, 2010. – 168 с. Дан материал по базовым разделам теории дифференциальных и интегральных операторов, теории интеграла Лебега, обобщенным функциям, фундаментальным решениям линейных дифференциальных и интегральных уравнений. Значительное место в пособии уделяется вопросам использования преобразования Фурье в решении различных задач математической физики. В качестве приложения изучаемого аппарата, в частности, рассматривается обобщенная задача Дирихле для уравнений эллиптического типа, а также задача Коши для уравнения теплопроводности. Предназначено для студентов 4-6 семестров НИЯУ МИФИ факультетов «Т» и «Ф» и Высшего физического колледжа. Подготовлено в рамках Программы создания и развития НИЯУ МИФИ. Рецензент проф. О.С. Сороковикова ISBN 978-5-7262-1317-0

© Национальный исследовательский ядерный университет «МИФИ», 2010

I. ВВЕДЕНИЕ. ЭЛЕМЕНТЫ ТЕОРИИ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ § 1. Метод последовательных приближений В этом параграфе докажем теорему существования и единственности (ТСЕ) решения задачи Коши для системы (1.1) y ′ = f (t , y ) , y (t 0 ) = y 0 , y = {y1 (t ) ,..., y n (t )}, f (t , y ) = { f 1 (t , y ) ,..., f n (t , y )} методом последовательных приближений. Для системы (1.1) на правую часть f ( t , y ) помимо непрерывности приходится налагать дополнительные условия. 1/2

⎛ n 2⎞ Положим: y ( x ) = ⎜ y k ( t ) ⎟ , и обозначим U δ ( N 0 ) ⎜ ⎟ ⎝ k =1 ⎠ мыкание шара U δ ( N 0 ) = U δ (t 0 , y 0 ). .

∑

– за-

Теорема 1.1 (ТСЕ). Пусть вектор-функция f ( t , y ) определена в области G ⊆ E xn,+y1 , N 0 ( t 0 , y 0 ) ∈ G (внутренняя точка). Пусть, кроме того, ∃δ > 0 : в U δ (t 0 , y 0 ) выполнены условия: 1) f ( t , y ) непрерывна по (t , y ) ; 2) f ( t , y ) удовлетворяет в U δ (t 0 , y 0 ) по y условию Липшица:

(

)

∃K > 0 : ∀ (t , y1 ) , (t , y 2 ) ∈ U δ (t 0 , y 0 ) ⇒ ⇒ f ( x , y 2 ) − f ( x , y1 ) ≤ K y 2 − y1 .

Тогда ∃h > 0, такое, что на отрезке [t 0 − h, t 0 + h] существует и притом единственное решение задачи (1.1). Доказательство. Докажем сначала существование решения задачи (1.1). Если такое решение существует на [ x 0 − h, x 0 + h] , h > 0 , то, интегрируя (1.1), получим, что это решение удовлетворяет интегральному уравнению 3

t

y (t ) = y 0 +

∫ f ( t, y (s)) ds .

(1.2)

t0

Обратно, если y (t ) – непрерывное на [t 0 − h, t 0 + h] решение интегрального уравнения (1.2), то (в силу теоремы о дифференцировании интеграла по верхнему пределу) оно удовлетворяет задаче (1.1). Таким образом, нахождение решения задачи (1.1) эквивалентно нахождению непрерывного решения уравнения (1.2). Теперь рассмотрим уравнение (1.2). Пусть

(

)

M = sup f (t , y ) , (t , y ) ∈U δ (t 0 , y 0 ) . Тогда

{(t , y) :

y − y 0 ≤ M t − t 0 } – конус с вершиной в точке

N 0 (t 0 , y 0 ) . Обозначим абсциссы точек пересечения поверхности

конуса с поверхностью шара U δ ( N 0 ) : (t 0 ± h ) , h > 0 . На отрезке [t 0 − h, t 0 + h] ищем решение уравнения (1.2) методом последовательных приближений, полагая y 0 (t ) = y 0 , y1 (t ) = y 0 +

t

∫ f (s, y 0 (s)) ds,

t0

⋅ ⋅ ⋅, y n (t ) = y 0 +

t

∫ f (s, y n−1 (s)) ds,

t0

⋅ ⋅ ⋅,

Так как f (t , y ) ≤ M в U δ (t 0 , y 0 ) , то y n (t ) − y 0 (t ) ≤

s

∫

f ( s, y n −1 ( s)) ds ≤ M t − t 0 ,

s0

все приближения определены и непрерывны на [t 0 − h, t 0 + h] , а их графики на [t 0 − h, t 0 + h] лежат внутри конуса y − y 0 ≤ M t − t 0 . Далее имеем следующие оценки: y1 (t ) − y 0 (t ) ≤ n ⋅ M t − t 0 , 4

y 2 (t ) − y1 (t ) ≤

t

∫

t0

⎡ f ( s, y1 ( s)) − f ( s, y 0 ( s)) ds⎤ ≤ ⎣ ⎦

t

∫ f (s, y1 (s)) − f (s, y 0 (s)) ds ≤ (условие Липшица)

≤n

t0 t

≤ nK

∫

y1 ( s) − y 0 ( s) ds ≤ KM n 2

t0

t

∫

s − t 0 ds ≤ KM n 2

t0

y 3 (t ) − y 2 (t ) ≤

t

∫

t0

2

t − t0 ; 2!

⎡ f ( s, y 2 ( s)) − f ( s, y1 ( s))⎤ ds ≤ ⎣ ⎦

t

≤n

∫ f (s, y 2 (s)) − f (s, y1 (s)) ds ≤ (условие Липшица)

t0 t

≤ nK

∫

y 2 ( s) − y1 ( s) ds ≤ MK n 2

3

t0

t

∫

t0

2

s − t0 t − t0 ds ≤ MK 2 n 3 2! 3!

3

и т.д. По индукции получаем:

(nK ) m m +1 . t − t0 (m + 1)! Теперь рассмотрим на [t 0 − h, t 0 + h] ряд y m +1 (t ) − y m (t ) ≤ Mn

y (t ) = y 0 (t) +

(1.3)

∞

∑ ( y m (t) − y m−1 (t)) .

m =1

Все члены этого ряда – непрерывные на [t 0 − h, t 0 + h] функции, а в силу оценок (1.3) сам ряд сходится на [t 0 − h, t 0 + h] равномерно. Следовательно: а) его сумма y (t ) – непрерывная на [t 0 − h, t 0 + h] функция; y (t ) = lim y n (t ) ; n →∞

5

б) в равенстве y n (t ) = y 0 (t ) +

t

∫ f (s, y n−1 (s)) ds

можно перейти к

t0

пределу под знаком интеграла. Отсюда получаем, что y (t ) – непрерывное решение уравнения (1.2), а, таким образом, и задачи (1.1). Установим единственность полученного решения. Для этого вначале докажем одно утверждение, которое будет нам полезно и в дальнейшем. Лемма 1.1 (Гронуолла–Беллмана). Пусть A ≥ 0 – константа, а функции Z ( x) и B ( x) – непрерывные, неотрицательные на

[ x 0 − h,

x 0 + h] , удовлетворяющие неравенству

Z ( x) ≤ A +

x

∫ B (t )Z (t ) dt .

x0

⎛ x ⎞ Тогда ∀x ∈ [ x 0 − h, x 0 + h] ⇒ Z ( x) ≤ A exp ⎜ B (t )dt ⎟ . ⎜ ⎟ ⎝ x0 ⎠ Доказательство. Пусть для определенности x ≥ x 0 . Тогда

∫

Z ( x) ≤ A +

x

∫ B (t )Z (t ) dt .

x0

При A = const > 0 получаем для x 0 ≤ s ≤ x : x

s x ⎛ ⎞ ≤ B ( s) ⇒ ln ⎜ A + B (t ) Z (t ) dt ⎟ ≤ B (t )dt ⇒ ⎜ ⎟ x0 ⎝ ⎠ x0 x0 B (t ) Z (t ) dt

Z ( s ) ⋅ B ( s) s

A+

∫

∫

∫

x0 x ⎛x ⎞ ⎜ ⎟ B (t ) Z (t ) dt + A ≤ ln A + B (t )dt ⇒ ⇒ ln ⎜ ⎟ x0 ⎝ x0 ⎠

∫

⇒ A+

∫

x

x

x0

x0

∫ B (t) Z (t) dt ≤ A exp ∫ B (t)dt . 6

⎛x ⎞ Но тогда Z ( x) ≤ A + B (t ) Z (t ) dt ≤ A exp ⎜ B (t ) dt ⎟ . ⎜ ⎟ x0 ⎝ x0 ⎠ Так как здесь A – любое положительное, то, переходя в последнем неравенстве к пределу при A → 0+, убеждаемся, что лемма остается справедливой, если постоянная A = 0. Наконец, если x < x 0 , x

∫

то Z ( x) ≤ A +

∫

x0

∫ B (t) Z (t) dt , и повторяем те же выкладки. x

Используя лемму Гронуолла−Беллмана, докажем единственность решения задачи (1.1). Действительно, если y1 (t ) и y 2 (t) – два решения задачи (1.1), то их разность y (t ) = y 2 (t ) − y1 (t ) удовлетворяет уравнению: y (t ) = y 2 (t ) − y1 (t ) =

t

∫ ⎡⎣ f (s) y 2 (s) − f (s, y1 (s))⎤⎦ ds .

t0

Отсюда, используя условие Липшица, получаем: y (t ) ≤ n

t

∫

f (s, y 2 ( s)) − f (s, y1 ( s)) ds ≤

t0

≤ nK

t

t

t0

t0

∫ y 2 (s) − y1 (s)ds = nK ∫

y ( s) ds .

Теперь, применив лемму Гронуолла−Беллмана в случае A = 0 , B (t ) = nK = const , Z (t ) = y (t ) , получаем, что y (t ) ≡ 0 . Теорема доказана.

7

§ 2. Непрерывная зависимость решений задач Коши для обыкновенных дифференциальных уравнений и для системы обыкновенных дифференциальных уравнений от правой части, начальных данных и параметров

В этом параграфе ограничимся рассмотрением задачи Коши для обыкновенного дифференциального уравнения (ОДУ): (2.1) y ′ = f (t , y ) , y (t 0 ) = y 0 . Теорема 2.1. Пусть функция f (t , y ) определена и непрерывна в

области G ⊆ E t2, y и удовлетворяет в G условию Липшица по y. Пусть далее N 0 (t 0 , y 0 ) ∈ G и y = y (t ) − определенное на некотором отрезке [t 0 − h, t 0 + h] решение задачи (2.1). Следовательно, ⎛ ⎞ ⎜ ∀N 0 (t 0 , y 0 ) : ρ ( N 0 , N 0 ) < δ; ⎟ ⎜ ⎟ ∀ε > 0 ⇒ ∃δ (ε) > 0 : ⎜ ∀f ∈ C (G ) , удовлетворяет в G условию ⎟ ⎜ ⎟ ⎜ Липшица и такая, что: sup f (t , y ) − f (t , y) < δ ⎟ t , y∈G ⎝ ⎠

и, тогда: 1) на [t 0 − h / 2, t 0 + h / 2] существует и притом единственное решение задачи: (2.2) y ′ = f (t , y ) , y (t 0 ) = y 0 , обозначаемое далее y (t ) ; 2)

sup

x∈[t 0 −h /2, t 0 + h /2]

y (t) − y (t ) < ε .

Доказательство. Без ограничения общности можно считать, что f и f ограничены в G (иначе рассматриваем G1 : G1 ⊆ G ) . Пусть: M = sup f (t , y) ,

M = sup f (t , y) ;

(t , y )∈G

(t , y )∈G

Π = {(t , y ) ∈ G : t − t 0 ≤ h, y − y 0 ≤ Mh} ,

Π = {(t , y ) ∈ G : t − x 0 ≤ h , y − y 0 ≤ Mh} , 8

т.е. h , h > 0, такие, что прямоугольники Π и Π целиком лежат в G. Тогда на [t 0 − h, t 0 + h] определено решение задачи (2.1), а на ⎡⎣t 0 − h, t 0 + h⎤⎦ – единственное решение y (t ) задачи (2.2). Очевидно, что ∃δ 0 > 0 : ∀0 < δ < δ 0 ⇒ [t 0 − h / 2, t 0 + h / 2] ⊂ ⎡⎣t 0 − h, t 0 + h⎤⎦ ,

если только: 2 ⎧ 2 1/2 < δ; ⎪ρ ( N 0 , N 0 ) = (t 0 − t 0 ) + ( y 0 − y 0 ) ⎨ ⎪ sup f (t , y ) − f (t , y ) < δ, ⎩( x , y )∈G так как при этом расстояние между центрами прямоугольников Π и Π меньше δ, а также

(

)

M − M = sup f (t , y) − sup f (t , y ) ≤ sup f (t , y ) − f (t , y ) < δ. ( t , y )∈G

( t , y )∈G

( t , y )∈G

Но тогда на отрезке [t 0 − h / 2, t 0 + h / 2] определены и единственны

решение y (t) задачи (2.1) и решение y (t) задачи (2.2). Оценим их разность на этом отрезке. Имеем: y (t) = y 0 +

t

∫

f ( s, y ( s)) ds ;

t

y (t) = y 0 +

t0

∫ f (s, y (s)) ds ,

t0

откуда: y (t) − y (t) ≤ y 0 − y 0 +

t

∫

f (t, y ( s)) ds −

t0 t

≤ δ+

∫

t0

t

∫ f (s, y (s)) ds ≤

t0

t

∫ (

)

f ( s, y ( s))ds + ⎡⎣ f s, y (s) − f ( s, y( s))⎤⎦ dsds + t0

t

h + ⎡⎣ f ( s, y ( s)) − f ( s, y ( s))⎤⎦ ds ≤ δ + δ⋅ M + δ⋅ + K 2

∫

t0

t

∫ y (s) − y (s) ds ,

t0

где K – константа в неравенстве Липшица для функции f . Получили промежуточную оценку разности: 9

t

1 y (t ) − y (t ) ≤ δ ⎛⎜1 + h + M ⎞⎟ + K y ( s) − y (s) ds , ⎝ 2 ⎠ t

∫

0

Откуда по лемме Гронуолла−Беллмана получаем: 1 Kh 1 1 y (t ) − y (t) ≤ δ ⎛⎜1 + h + M ⎞⎟ e K t −t0 ≤ δ ⎛⎜1 + h + M ⎞⎟ e 2 . ⎝ 2 ⎠ ⎝ 2 ⎠ Из этой оценки, очевидно, следует второе утверждение теоремы. Пусть теперь правая часть уравнения зависит от параметра μ = (μ 1 ,..., μ n ) . Рассматриваем следующую задачу: (2.3) y ′ = f (t , y ; μ ) y (t 0 ) = y 0 . Теорема 2.2. Пусть G = G × M, где G ⊂ E ty2 − некоторая огра-

ниченная область, а M = {μ : a k ≤ μ k ≤ bk , k = 1,2,..., n} ; G – замыкание G. Пусть далее f (t , y; μ) определена и непрерывна по сово-

купности переменных на G , а по y удовлетворяет условию Липшица: ∃L > 0 : ∀((t , y1, μ) , (t , y 2 , μ) ∈ G) ⇒ f (t , y 2 , μ) − f (t , y1, μ) ≤ L y 2 − y1 . Тогда: 1) ∀ (t 0 , y 0 ) ∈ G ⇒ ∃ h > 0 : ∀μ ∈ M ⇒ на [t 0 − h, t 0 + h] сущест-

вует и притом единственное решение y = y (t , μ) задачи (2.3); 2) это решение непрерывно зависит от μ ;

3) если, кроме того, f (t , y; μ) имеет в G непрерывные частные производные по переменным ( y; μ) до порядка p ≥ 1 , то и реше-

( )

ние y t; μ

имеет на

(t 0 − h, t 0 + h) × M непрерывные частные

производные до порядка p ≥ 1 по μ . Доказательство. 1. Так как M = sup (t , y ,μ )∈G

f (t , y, μ) < +∞ , а кон-

станта Липшица L не зависит от μ , то, строя решение задачи (2.3) методом последовательных приближений, получаем, что ∃h > 0 : {(t , y ) : t − t 0 ≤ h, y − y 0 ≤ Mh} ⊂ G и решение y (t ; μ) задачи (2.3) определено на этом отрезке [t 0 − h, t 0 + h] при любом μ . 10

2. Так как f (t , y; μ) равномерно непрерывна на G , то ∀δ > 0 ⇒ ∃γ (δ) > 0 : ∀ ((t , y , μ) , (t , y , μ) ∈ G : μ − μ < γ ) ⇒

⇒ sup f (t , y , μ) − f (t , y , μ) < δ . (t , y )∈G

Тогда второе утверждение этой теоремы следует из теоремы 2.1, если f (t , y ) = f (t , y; μ) . 3. Пусть выполнено дополнительное условие. Фиксируем μ и μ + Δμ ∈ M. Обозначим решение задачи (2.3) при фиксированном

(

)

μ y (t , μ) , а решение задачи: y ′ = f t , y; μ + Δμ , y (t 0 ) = y 0 через

(

)

y t , μ + Δμ . Сначала рассмотрим Δμ = {Δμ 1 , 0,...,0} , обозначив μ = {μ 1 , μ′} . Тогда:

Δ μ1 y (t , μ) = y (t , μ1 + Δμ1 , μ′) − y (t , μ) ;

(Δ μ y (t, μ)) t ′ = f (t , y (t; μ1 + Δμ1, μ′) ; 1

1

=

∫ 0

⎛ ⎞ f ξ′ ⎜ t , y (t , μ) + ξΔ μ1 y (t , μ) ; μ + ξΔμ ⎟ d ξ = ⎜ ⎟ ⎝ ⎠

1

=

μ1 + Δμ1 , μ′) − f (t , y (t , μ) , μ) =

∫ f y′ (t; y (t; μ)(t, μ) + ξΔ μ

1

)

y (t , μ) ; μ + ξΔμ d ξ ⋅ Δ μ1 y (t , μ) +

0

F

1

∫

(

)

+ f μ′ 1 t; y (t ; μ) + ξΔ μ1 y (t , μ) ; μ + ξΔμ d ξ ⋅ Δμ1 = 0

Φ

= F (t , μ; Δμ 1 ) Δ μ1 y (t , μ) + Φ (t , μ, Δμ 1 ) ⋅ Δμ 1 ,

где Φ и F – непрерывные по (t , Δμ 1 ) функции (μ фиксировано). Получаем задачу:

11

⎧⎛ Δ y (t , μ) ⎞ ′ Δ μ 1 y ( t , μ) ⎪⎜ μ1 + Φ (t , μ, Δμ 1 ) ; ⎟ = F (t , μ, Δμ 1 ) Δμ 1 ⎪⎪⎝ Δμ 1 ⎠ t (2.4) ⎨ ⎪Δ μ1 y (t , μ) = 0. ⎪ Δμ 1 t =t 0 ⎩⎪ Параметр Δμ 1 меняется в окрестности точки Δμ 1 = 0 . По доказанному в п. 2 решение задачи (2.4) непрерывно зависит от Δμ 1 . Переходя тогда в (2.4) к пределу при Δμ 1 → 0 , получаем следующую задачу (уравнение в вариациях) ⎧⎛ ∂y ⎞ ′ ∂f ∂y ∂f ⎪⎜ + (t , y, μ) ; ⎟ = (t , y , μ) ∂μ 1 ∂μ1 ⎪⎝ ∂μ1 ⎠ t ∂y (2.5) ⎨ ⎪ ∂y = 0. ⎪∂μ ⎪⎩ 1 t =t 0 Аналогично устанавливаем существование производных y ′μ k (t , μ) , k = 2,..., n . Если p > 1, то далее применяем доказанное

утверждение к задаче (2.5). Следствия. 1. Уравнения (2.5) получаются из (2.3) формальным дифференцированием по μ 1 . Аналогично в более общем случае: ⎧⎛ ∂y ⎞ ′ ∂y ⎪⎜ = f y′ (t , y, μ) + f μ′ k (t , y, μ) ; ⎟ ′ ⎧ y = f (t , y, μ) ∂μ k ⎪⎝ ∂μ k ⎠ t ⇒⎨ ⎨ ⎩ y (t 0 ) = y 0 (μ) ⎪⎛ ∂y ⎞ ∂y 0 (μ) . ⎪⎜ ⎟ (t 0 ) = ∂μ k ⎩⎝ ∂μ k ⎠

2. Рассмотрим задачу (2.1): y ′ = f (t , y ) , y (t 0 ) = y 0 . Положим: x = t − t 0 , Z ( x) = y (t 0 + x) − y 0 . Тогда Z ( x) решение задачи: Z ′ ( x ) = f ( x + t 0 , Z + y 0 ) , Z (0) = 0. Следовательно: ⎛ ∂Z ⎞ ′ ⎛ ∂Z ⎞ ∂Z (0) = 0. ⎜ ⎟ = f y′ ( x + t 0 ; Z + y 0 ) ⎜1 + ⎟, ∂y 0 ⎝ ∂y 0 ⎠ t ⎝ ∂y 0 ⎠ Возвращаясь к старым переменным, получаем формулы дифференцирования решения по начальным данным: 12

⎛ ∂y ⎞ ′ ∂y ∂y (2.6) ; (t 0 ) = 1, ⎜ ⎟ = f y′ (t , y ) ∂y 0 ∂y 0 ⎝ ∂y 0 ⎠ t которые также получаются из (2.1) формальным дифференцированием по y 0 .

(

)

Пример 2.1. Дана задача Коши y ′ = y + μ x + y 2 , y (0) = 1. Тре-

буется найти (∂y / ∂μ) μ=0 . Решение. Уравнение в вариациях: ∂y ⎛ ∂y ⎞ ′ 2 ⎜ ∂μ ⎟ = (1 + 2μy ) ∂μ + x + y ; ⎝ ⎠ x

⎛ ∂y ⎞ ⎜ ∂μ ⎟ (0) = 0. ⎝ ⎠

При μ = 0 ⇒ y ′ = y , y (0) = 1 ⇒ y ( x,0) = e x . Теперь полагаем

∂y ( x, μ) μ=0 = ϕ ( x) . Тогда ϕ ( x) удовлетворяет задаче: ∂μ ∂ϕ = ϕ + x + y 2 ( x,0) = ϕ ( x) + x + e 2 x ; ϕ (0) = 0. ∂x Отсюда ϕ ( x) =e 2 x − 1 − 1 . Ответ:

∂y ∂μ

= e2x − x −1 . μ=0

§ 3. Элементы теории устойчивости решений ОДУ и системы ОДУ 3.1. Основные определения

Рассмотрим систему ОДУ ⎧⎪ y ' = f (t , y) ; ⎨ ⎪⎩ y (t 0 ) = y 0 ,

где y = {y1 (t ) ,..., y n (t )}, f (t , y ) = { f 1 (t , y ) ,..., f n (t , y )}.

13

(3.1)

(

)

Определение 3.1. Пусть f (t , y ) и t 0 , y 0* таковы, что на [t 0 , +∞)

определено и единственно решение y (t ) задачи *

y (t 0 ) = y 0*.

y ' = f (t , y ) ,

Это решение y * (t ) t → +∞ , если:

называется устойчивым по Ляпунову при

(

)

1) ∃δ 0 > 0 : ∀ (t 0 , y 0 ) : y 0 − y 0* < δ 0 ⇒ на [t 0 , +∞) существует и притом единственное решение задачи (3.1); 2) ∀ε > 0 ⇒ (∃δ( ε) : 0 < δ (ε) ≤ δ 0 ) : ∀ ( y (t ) – решение задачи (3.1)

)

с y 0 : y 0 − y 0* < δ ⇒ sup y (t ) − y * (t ) < ε . t ≥t 0

Определение 3.2. Это решение y * (t ) называется асимптотически устойчивым при t → +∞ , если: 1) оно устойчиво по Ляпунову; 2) любое решение y (t ) , удовлетворяющее условиям п. 2 опре-

деления 3.1, удовлетворяет также условию ∃ lim y (t ) − y * (t ) = 0 . t →+∞

Замечание 3.1. Задача Коши для ОДУ (n −1) ⎧ (n) ; ⎪ y = f t , y , y′,..., y (3.1′) ⎨ ⎪⎩ y (t 0 ) = y 00 , y′ (t 0 ) = y 10 ,..., y (n−1) (t 0 ) = y 0n −1 может быть сведена к системе ОДУ вида (3.1), однако удобнее дать непосредственно определение устойчивости решения для (3.1′). Определение 3.1′. Пусть f (t ; z1 ,..., z n ) и y 00, y 10 ,..., y 0n −1 тако-

(

)

{

}

вы, что на [t 0 , +∞) существует и притом единственное решение y (t ) задачи

(

)

⎧ y (n) = f t , y , y ′,..., y (n −1) ; ⎪ ⎨ 0 1 (n −1) (t 0 ) = y 0n−1 . ⎩⎪ y (t 0 ) = y 0 , y′ (t 0 ) = y 0 , ..., y Это решение y (t ) называется устойчивым по Ляпунову при t → +∞ , если: 14

(

)

{(

)

(

2 1) ∃δ 0 > 0 : ∀ ⎛⎜ y 00 , y 10 , ..., y 0n −1 : y 00 − y 00 + ... + y 0n −1 − ⎝ 1 ⎞ 2 2 − y 0n −1 < δ 0 ⎟ ⇒ на [t 0 , +∞) определено и притом единственное ⎟ ⎠ решение задачи (3.1′); 2) ∀ε > 0 ⇒ ∃δ (ε) : (0 < δ (ε) ≤ δ 0 ) : ∀ y (t ) – решение (3.1′) с y 0 :

)}

{(

y 00

−

)

2 y 00

+ ... +

(

y 0n −1

−

1 n −1 2 2 y0

)}

< δ ) ⇒ sup y (t ) − y (t ) < ε . t ≥t 0

Определение 3.2′. Это решение y * (t ) называется асимптотически устойчивым при t → +∞ , если: 1) оно устойчиво по Ляпунову; 2) любое решение y (t ) удовлетворяет условиям п. 2 определе-

ния 3.1′ и также условию ∃ lim y (t ) − y (t ) = 0 . t →+∞

Далее для определенности будем формулировать и доказывать теоремы для системы ОДУ. Замечание 3.2. Заменой функции x (t ) = y (t ) − y * (t ) сводим исследование устойчивости решения y * (t ) системы (3.1) к исследованию устойчивости нулевого решения системы: ⎧⎪x ' (t ) = f t , x + y * − f t , y * = ϕ (t , x ) ; ⎨ ⎪⎩x (t 0 ) = 0. Далее считаем, что такая замена сделана и исследуем на устойчивость нулевое решение (≡ точку покоя) полученной системы. Упражнение. Записать отрицание определения устойчивости по Ляпунову и асимптотической устойчивости.

(

) ( )

15

3.2. Устойчивость решений линейной системы ОДУ с постоянными коэффициентами Теорема 3.1. Рассмотрим систему ОДУ с постоянными коэффициентами: i

X (t ) = AX (t ) ,

A = {a ij }

n

i , j =1

(3.2)

– постоянная матрица; X (t ) = { x1 (t ), ..., x n (t )} − век-

тор-столбец неизвестных функций. Пусть λ 1 ,..., λ n – корни характеристического уравнения det ( A − λ E ) = 0 . В этом случае: 1) нулевое решение системы устойчиво по Ляпунову тогда и только тогда, когда выполняются: а) ∀ m = 1, 2, ..., n ⇒ Re λ m ≤ 0 ; б) ∀λ m : Re λ m = 0 ⇒ число линейно независимых собственных векторов, отвечающих λ m , равно кратности λ m ; 2) нулевое решение асимптотически устойчиво тогда и только тогда, когда ∀ m = 1, 2, ..., n ⇒ Re λ m < 0 . Доказательство. 1. Пусть {ϕ k (t )} k =1 – фундаментальная система решений (ФСР) системы (3.2), построенная по собственным значениям матрицы A. Тогда очевидно, что при выполнении условий п. 1 получаем ⎪⎧ ⎪⎫ ∃M > 0 : max ⎨ sup ϕ k (t ) ⎬ ≤ M < +∞ . 1≤k ≤n ⎪t∈[t ;+∞) ⎪⎭ ⎩ 0 n

Далее рассмотрим ФСР {ψ k (t )}k =1 , такую, что Ψ k (t ) удовлетвоn

ряют условиям Коши: Ψ k (t ) = {0, ..., 0, 1, 0, ..., 0} . Получаем: ∀i = 1, 2, ..., n ⇒ ψ i (t ) =

⇒ ψ i (t ) ≤

n

∑ cik k =1

n

∑

cik ϕ k (t ) ⇒ ψ i (t) ≤

k =1

n

∑ cik ϕ k (t) ⇒ k =1

⎧⎪ ⎫⎪ ϕ k (t ) ⇒ ∃N > 0 : max ⎨sup ψ k (t ) ⎬ ≤ N . 1≤ k ≤ n ⎩ ⎪t ≥t 0 ⎭⎪ 16

Пусть теперь x (t ) – решение системы (3.2), такое, что x (t 0 ) = = {x10 , ..., x n 0} = x 0 . Тогда x (t ) =

∑x k =1

Если теперь x 0 < δ , то x (t ) − 0 ≤

n

n

n

k =1

k =1 i

k0

ψ k (t ) . 1

∑ x k 0 Ψ k (t) ≤ N ∑ x k 0

n ⎫2 ⎪⎧ 2⎪ ≤ N ⎨ x k 0 ⎬ n = N n δ. ⎪⎩k =1 ⎪⎭

∑

Очевидно, что для системы X (t) = AX (t) решение определено на всей оси при любых начальных данных в любой точке t 0 . Из полученной оценки следует, что нулевое решение устойчиво по Ляпунову δ ( ε ) = ε N − 1n − 1/2 . Действительно, если условие п.1 не вы-

(

)

полнено, то в ФСР {ϕ k (t )}k =1 хотя бы одна из величин ϕ k ( t ) не n

ограничена при t → +∞ . Пусть это, например,

ϕ1 ( t ) . Тогда

∀ C > 0 ⇒ C ϕ1 ( t ) также не ограничен при t → +∞ . С другой сто-

роны, при t = t 0 величину c ϕ1 ( t 0 ) можно сделать сколь угодно

малой. Таким образом, нулевое решение не устойчиво при t → +∞ . 2. В случае выполнения условий п.2 справедливы все выкладки п.1, т.е. решение x (t ) ≡ 0 устойчиво по Ляпунову. Кроме того, ∀(k = 1, 2, ..., n) ⇒ ϕ k ( t ) → 0 при t → +∞ ⇒ ψi ( t ) =

n

∑ cikϕ k ( t ) → 0 k =1 n

⇒ x (t ) =

при t → +∞ ⇒

∑ x0 k ψ k ( t ) → 0

при t → +∞ ,

k =1

т.е. нулевое решение устойчиво асимптотически. Замечание 3.3. Для системы с постоянными коэффициентами (3.2) из устойчивости нулевого решения следует устойчивость любого решения в том же смысле, а из неустойчивости – неустойчивость. Поэтому всякую такую линейную систему называют либо устойчивой, либо неустойчивой. 17

⎧ x = a11x + a12 y; Упражнение. Для системы: ⎨ провести полное ⎩ y = a21x + a22 y исследование устойчивости нулевого решения. Замечание 3.4. Имеются критерии неположительности действительных частей характеристических уравнений (критерий РаусаГурвица, критерий Михайлова и т.п.).

3.3. Устойчивость решений линейных систем ОДУ

Теперь рассмотрим систему i

X (t ) = A(t ) X (t ) + F (t ) ,

{

(3.3)

}i, j =1 и правая часть век-

где функциональная матрица A ( t ) = aij ( t )

n

тора-столбца F ( t ) = { f1 ( t ) ,..., f n ( t )} непрерывны на ⎡⎣t 0 , +∞ ) . Тогда при любом X 0 = {x10,..., x n0 } задача Коши: ⎧i ⎪ X (t ) = A(t ) X (t ) + F (t ) ; ⎨ ⎪⎩ X ( t0 ) = X 0 имеет определенное на ⎣⎡t 0 , +∞ ) единственное решение. Лемма 3.1. Любое решение системы (3.3) устойчиво по Ляпунову (асимптотически устойчиво) в том и только том случае, если устойчиво по Ляпунову (асимптотически устойчиво) нулевое решение однородной системы: i

X (t ) = A(t ) X (t ) . (3.4) Доказательство. Доказательство очевидно следует из линейности системы, так как если Y ( t ) и Y * ( t ) – два решения (3.3), то X ( t ) = Y ( t ) − Y *(t) – решение системы (3.4). Следовательно, Y * ( t ) устойчиво (или неустойчиво) в том же смысле, что нулевое решение системы (3.4). Упражнение. Доказать, что система (3.4) устойчива по Ляпунову (асимптотически устойчива) тогда и только тогда, когда каждое 18

ее решение ограничено на полуоси

⎡⎣t 0 , +∞) (соответственно,

y ( t ) → 0 при t → +∞ ). Для линейных систем имеется много теорем, позволяющих исследовать устойчивость. Приведем одну из них. Теорема 3.2. Пусть матрицу A ( t ) в (3.4) можно представить в виде: A ( t ) = A + B ( t ) , где: i

а) A – постоянная матрица, причем система X (t) = AX (t) устойчива при t → +∞ ; б) B ( t ) – непрерывная на ⎡⎣t 0 , +∞) матрица, удовлетворяющая +∞

условию:

∫

B (t) dt < +∞ .

t0

Тогда система (3.4) устойчива по Ляпунову при t → +∞ . Доказательство. Пусть X ( t ) – фундаментальная матрица сисi

темы X (t ) = A X (t ) , удовлетворяющая условию X ( t 0 ) = E . Тогда ↓

↓

общее решение этой системы X ( t ) = X ( t ) X ( t0 ) . ↓

Будем искать общее y ( t ) = X ( t ) u ( t ) . Тогда:

↓

решение

системы

(3.4)

↓

↓

i

i

i

y (t ) = X (t ) u (t ) + X (t ) u (t ) = ( A + B (t )) X (t ) u (t ) ; ↓

↓

↓

↓

0 i ⎛ i ⎞ ⎜ X ( t ) − A X ( t ) ⎟ u↓ ( t ) + X ( t ) u↓ ( t ) = B ( t ) X ( t ) u↓ ( t ) ; ⎝ ⎠

i

u (t ) = X (t ) B (t ) X (t ) u (t ) , ↓

↓

откуда:

t

u ( t ) = u ( t 0 ) + X − 1 ( s ) B ( s )X ( s ) u ( s ) ds , ↓

↓

∫

↓

t0

19

в

виде

и, используя y ( t ) = X ( t ) u ( t ) , y ( t0 ) = u ( t0 ) , получаем ↓

↓

↓

↓

t

y ( t ) = X ( t ) y ( t0 ) + X ( t ) X − 1 ( s )B ( s ) y ( s ) ds .

↓

∫

↓

↓

t0

Учитывая X ( t ) = e At E , имеем: X ( t ) X − 1 ( t1 ) = e A( t − s ) E = X ( t − s ) . X ( t ) − фундаментальная матрица устойчивой линейной системы, поэтому ∃ K > 0 : X ( t ) ≤ K при всех t ∈ [t0, +∞ ) . Но тогда: y ( t ) ≤ K y ( t 0 ) + Kn

↓

↓

t

∫

B (s)

t0

y ( s ) ds ,

↓

отсюда по лемме Гронуолла–Беллмана получаем: y ( t ) ≤ K y ( t0 ) exp{Kn

↓

↓

t

∫

B ( s ) ds} ≤

t0

≤ K y ( t0 ) exp{ Kn ↓

+∞

∫

B ( s ) ds}.

t0

Из этой оценки и следует устойчивость по Ляпунову нулевого решения, а в силу линейности и системы (3.4). 3.4. Второй метод Ляпунова (метод функций Ляпунова)

Вновь возвращаемся к исследованию устойчивости нулевого решения общей системы ОДУ (определенного на ⎡⎣t0 , +∞ ) ) y′ = f ( t, y ) . (3.5) Теорема 3.3. Пусть в некоторой окрестности точки O (0,..., 0) ∈ R ny определена дифференцируемая функция v ( y ) , удов-

летворяющая условиям: 1) v ( y ) ≥ 0 , причем v ( y ) = 0 ⇔ y = 0 (т.е. v ( y ) имеет в точке O (0,..., 0) строгий минимум);

20

def n ∂ v dv ( y ) = f i ( t, y ) ≤ 0 при всех t ≥ t 0 . dt в силу системы i =1 ∂ yi Тогда нулевое решение системы (3.1) устойчиво по Ляпунову. Доказательство. В пространстве R yn,+z1 рассмотрим график

∑

2)

функции z = v ( y ) . Так как v ( y ) – непрерывная функция, v ( y ) > 0 при y ≠ 0 , то, задав достаточно малое ε > 0 , получим, что ∃ C ( ε ) > 0 , такая, что: а) проекция поверхности уровня v ( y ) = C на гиперплоскость ( y1,..., yn ) целиком лежит в U ε ( 0) = { y : y < ε} ; б) ∃δ ( C ) = δ ( ε ) > 0 : U δ ( 0 ) лежит внутри этой проекции.

Возьмем точку M 0 ( y 0 ) ∈ U δ ( 0 ) . Пусть y ( t ) – фазовая траекто-

рия системы (3.1), проходящая при t = t0 через M 0 , т.е. y ( t 0 ) = y 0 .

Тогда v ( y 0 ) = C1 < C и по условию dv ( y ( t ) ) dt

= в силу системы

n

∂v

∑ ∂y i =1

i

f i ( t, y ( t ) ) ≤ 0 ,

т.е. v ( y ) не возрастает вдоль фазовой траектории y ( t ) . В этом случае ∀ t ≥ t 0 ⇒ v ( y ( t ) ) ≤ v ( y ( t 0 ) ) = v ( y 0 ) = C1 < C ⇒ y ( t ) < ε . И

тогда ∀ε > 0 ⇒ ∃δ ( ε ) > 0 : ∀ ( y 0 : y 0 − 0 < δ ) ⇒ sup y ( t ) − 0 < ε . t ≥t 0

Что и доказывает устойчивость по Ляпунову нулевого решения системы (3.1). Замечание 3.5. Функция v ( y ) , удовлетворяющая указанным в условии теоремы свойствам, называется функцией Ляпунова. Общего способа ее построения нет. Замечание 3.6. Если в п. 2 теоремы потребовать выполнения более сильного условия: dv ( y ) ∀ t ≥ t0 ⇒ ≤ −w ( y ) , dt в силу системы

21

где

w( y) ≥ 0

и непрерывна в некоторой U δ ( 0 ) , причем 0

w ( y ) = 0 ⇔ y = 0 , то нулевое решение будет асимптотически устойчивым. Упражнение. Провести доказательство. Пример 3.1. Исследуем на устойчивость нулевое решение системы: ⎧i 4 ⎪ x = − xy ; ⎨i ⎪⎩ y = yx 4.

Решение. Рассмотрим функцию v ( x, y ) = x 4 + y 4. Она удовлетворяет условию п. 1 теоремы, и, кроме того: dv ( x, y ) = −4x 4 y 4 + 4 y 4 x 4 = 0 , dt в силу системы что означает выполнение п. 2 (но не удовлетворяет условию замечания 3.6). Следовательно, нулевое решение этой системы устойчиво по Ляпунову. Теорема 3.4 (Четаева). Пусть область D ⊂ R ny и функция v ( y ) таковы, что: 1) O (0,..., 0) ∈ ∂ D , т.е. начало координат лежит на границе D; 2) v ( y ) определена в D , непрерывно дифференцируема и v ( y ) > 0 в D, v ( y ) = 0 на ∂ D ∩ U ε ( 0 ) , ε 0 > 0; 0

3) при любом t ≥ t0 выполняется неравенство dv ( y ) dt

= в силу системы

n

∂v

∑ ∂y i =1

i

f i ( t, y ) ≥ w ( y ) > 0 ,

где w ( y ) непрерывная в D функция. Тогда нулевое решение системы (3.5) неустойчиво. Доказательство. Зафиксируем ε 0 > 0 , удовлетворяющее условиям теоремы. Пусть задано любое δ > 0 , возьмем y 0 ∈ D : y 0 < δ .

И, следовательно, v ( y 0 ) = α > 0 . Пусть y ( t ) – фазовая траектория 22

(3.5), проходящая при t = t0 через точку y 0 , т.е. y ( t 0 ) = y 0 . Тогда, так как

dv ( y ( t ) ) dt

= w ( y (t )) > 0 , в силу системы

то v ( y ( t ) ) ≥ α > 0 для всех t ≥ t0 , т.е. траектория при всех t ≥ t0 лежит в D и не пересекает линию уровня v ( y ) = α . Поэтому ∃δ1 > 0 : y ( t ) > δ1 при всех t ≥ t0 , а тогда и w ( y ( t ) ) ≥ β > 0 при всех t ≥ t0 . Следовательно,

v ( y ( t ) ) ≥ v ( y ( t0 ) ) + β ( t − t0 ) → +∞,

t → +∞ .

Но это означает, что решение y ( t ) выйдет при некотором t на границу шара y = ε 0 . Отсюда следует, что ∃ε 0 > 0 : ∀δ > 0 ⇒ ∃ ( y 0 : y0 < δ ) : y ( t ) ≥ ε 0

при некотором t > t0 . Поэтому нулевое решение неустойчиво, что и требовалось доказать. Пример 3.2. Исследовать на устойчивость нулевое решение системы ⎧i 5 3 ⎪x = x + y ; ⎨i ⎪ y = x 3 + y 5. ⎩ Решение. v ( x, y ) = x 4 − y 4 , D = {( x, y ) : x > y } . Тогда: а) O (0, 0) ∈ ∂D ; б) v ( x, y ) > 0 при x > y ; v ( x, y ) = 0 при x = y , т.е. на ∂ D ; dv = 4x 3 x 5 + y 3 − 4 y 3 x 3 + y 5 = 4 x8 − y 8 = в) dt в силу системы = w ( x, y ) > 0 при x > y . Следовательно, по теореме Четаева нулевое решение данной системы неустойчиво.

(

)

23

(

) (

)

3.5. Устойчивость по первому приближению Определение 3.3. Пусть при ∀t ≥ t 0 система (3.1) представима в

виде y′ = A ( t ) y + R ( t, y ) ,

{

(3.6)

}i, j =1 – функциональная матрица с непрерывными

где A ( t ) = aij ( t )

n

на ⎡⎣t 0 , +∞ ) коэффициентами, а вектор-функция R ( t, y ) удовлетворяет условию: ∀ ( y : y ≤ C0 ) ⇒ sup R ( t, y ) ≤ C1 y 1+α , t ≥t 0

где C0, C1 и α – некоторые положительные постоянные. В этом случае линейная система y′ = A ( t ) y называется системой первого приближения для исходной системы (3.6). Теорема 3.5. Пусть при ∀(t ≥ t0 ) R ( t, y ) – непрерывно дифференцируемая функция для всех y ≤ C0 (где C0 > 0 – некоторое

число), а A ( t ) ≡ A , т.е. система первого приближения – система с постоянными коэффициентами. Тогда: 1) если ∀λ i : det ( A − λ i E ) = 0 ⇒ Re λ i < 0 , то нулевое решение системы (3.6) асимптотически устойчиво; 2) если ∃λ i : Re λ i > 0 , то нулевое решение неустойчиво. Примеры. 3.3. Исследовать на устойчивость нулевое решение системы: ⎧i ⎪ x = 2 x + 8sin y; ⎨i ⎪ y = 2 − e x − 3 y − cos y. ⎩ Решение. ⎧ ⎛ ⎞ y3 = 2 + 8 − + o y3 ⎟ ; x x y ⎜ ⎪ 6 ⎪ ⎝ ⎠ ⎨ ⎛ ⎛ ⎞ x2 y2 ⎪ 2 ⎞ = − + + + − − − + o y2 ⎟. y 2 1 x o x 3 y 1 ⎜ ⎟ ⎜ ⎪ 2 2 ⎩ ⎝ ⎠ ⎝ ⎠

( )

( )

24

( )

Таким образом: 3 ⎧i ⎛ ⎞ 2 2 2 ⎟; ⎪ x = 2x + 8 y + o ⎜ x + y ⎜ ⎟ ⎪⎪ ⎝ ⎠ ⎨ 3 ⎛ ⎞ ⎪i 2 2 2 ⎟. ⎪ y = − x − 3y + o ⎜ x + y ⎜ ⎟ ⎪⎩ ⎝ ⎠ Система первого приближения: ⎧i 2−λ 8 ⎪ x = 2x + 8 y ⇒ det ( A − λ E ) = = λ 2 + λ + 2 = 0; ⎨i 1 3 − − − λ ⎪ y = − x − 3y ⎩

(

)

(

)

1 7 λ1,2 = − ± i ⇒ Re λ i < 0. 2 2 Следовательно, по теореме об устойчивости по первому приближению получаем, что нулевое решение устойчиво. 3.4. Исследовать на устойчивость нулевое решение системы: ⎧i 3 ⎪ x = −4 y − x ; ⎨i ⎪⎩ y = 3x − y 3. Решение. Система первого приближения: ⎧i −λ − 4 ⎪ x = −4 y ⇒ det ( A − λ E ) = = λ 2 + 12 = 0 ⇒ Re λ i = 0 − ⎨i 3 −λ ⎪ y = 3x ⎩ теорема об устойчивости по первому приближению не дает ответа. Подбираем функцию Ляпунова: v( x, y) = 3x 2 + 4 y 2 , имеем dv = 6 x − 4 y − x 3 + 8 y 3x − y 3 = − 6 x 4 + 8 y 4 < 0 , dt в силу системы

(

)

(

)

(

)

причем w ( x, y ) = 6 x 4 + 8 y 4 > 0 при x 2 + y 2 ≠ 0 . Следовательно, нулевое решение асимптотически устойчиво (по замечанию 3.6 к теореме Ляпунова).

25

§ 4. Фазовое пространство 4.1. Показательная функция линейного оператора Пусть E n – n-мерное евклидово пространство со скалярным произведением ( ⋅ , ⋅ ) и нормой ⋅ . Введем норму, используя скалярное произведение: ∀ x ∈ E n ⇒ x = ( x, x ) . Пусть далее оператор Aˆ : E n → E n – линейный в E n. Определение 4.1. Нормой оператора Aˆ называется число ˆ . Aˆ = sup Ax x =1

Упражнение. Докажите, что: ˆ = θ) ; 1) Aˆ ≥ 0 , причем Aˆ = 0 ⇔ Aˆ = θ (т.е. ∀ x ∈ E n ⇒ Ax 2) λ Aˆ = λ Aˆ ; ∀λ ∈ R ; 3) Aˆ + Bˆ ≤ Aˆ + Bˆ ; 4) Aˆ ⋅ Bˆ ≤ Aˆ ⋅ Bˆ . Свойства (1 − 3 ) из упражнения означают, что множество линейных операторов в E n само является линейным нормированным пространством: L E n , E n .

(

)

Определение 4.2. Пусть

{ Aˆ k }k =1 ∞

– последовательность линейопр.

ных операторов в E n. Тогда Aˆ = lim Aˆ k ⇔ Aˆ − Aˆ k → 0 , k → ∞ . k →∞

(

Упражнение. Докажите, что L E n , E n

)

– полное нормирован-

ное пространство. Определение 4.3. Рассмотрим ряд, составленный из операторов ∞

∑ Aˆ k . k =1

26

(4.1)

Этот ряд называется сходящимся к Sˆ , если к оператору Sˆ сходится последовательность его частичных сумм Sˆn =

n

∑ Aˆ k . k =1

Признак Вейерштрасса. Пусть ряд (4.1) таков, что: 1) ∀k ⇒ ∃ Ck > 0 : Aˆ k ≤ C k ; ∞

2)

∑ Ck < +∞ . k =1

Тогда ряд (4.1) сходится. Зафиксируем в E n какой-либо базис (необязательно ортонормированный). Пусть Aˆ → A – матрица оператора Aˆ в этом базисе. Определение 4.4. Экспонентой от оператора Aˆ называется ряд: ∞ ˆk def A , где Eˆ – единичный оператор. exp( Aˆ ) = Eˆ + k ! k =1

∑

k Если Aˆ – норма оператора Aˆ , то Aˆ k ≤ Aˆ , ряд экспоненты

мажорируется сходящимся числовым рядом 1 +

∞

∑

k =1

Aˆ

k

k!

и тогда

по признаку Вейерштрасса он сходится. Если A – матрица оператора Aˆ в каком-либо базисе, то в силу ˆ

изоморфизма имеем: e A ↔ e A в том же базисе (матрица e A определяется аналогично). Таким образом, достаточно научиться считать величину e A, где A – квадратная матрица ( n × n ) . Свойства матричной экспоненты. 1. Если AB = BA , т.е. матрицы A и B коммутируют, то e A + B = e Ae B . Доказательство. В силу выполнения признака Вейерштрасса ряды матриц ведут себя как абсолютно сходящиеся числовые ряды. Поэтому

27

e A ⋅eB =

∞

∑

k =0

=

∞

Ak k!

∞

∞ ∞ Bm Ak B m = = m ! k =0 m =0 k ! m ! m =0

∑

∑∑

∞ 1 n n! ( A + B )n Ak B n −k = = e A+ B. n ! k =0 k ! ( n − k ) ! n ! n =0

∑ ∑

n =0

∑

2. Если B = S − 1 AS , то e B = S − 1e A S . Доказательство. Так как B k = S − 1 Ak S , то отсюда и следует утверждение.

(

3. Если B = diag ( A1,..., Am ) , то e B = diag e 1,..., e Доказательство.

( diag ( A1,..., Am ) )

k

Доказательство

= = diag

(

A1k ,..., Amk

A

следует

).

Am

из

).

того,

что

4. Рассмотрим J p = λ p Er + I r(1) , где Er – единичная матрица размера ( r × r ) , а I r(1) – первый косой ряд единиц. Так как λ p E r и I r(1) коммутируют, то по свойству 1 получаем: e

Легко увидеть, что e

λ p Er

Jp

=e

=e

λp

λ p Er

⋅e

I r(1)

.

⋅ Er . Далее

0 1 ... 0 ⎞ 2 ⎛ 0 ⎛ 0 1 0 ... 0 ⎞ ⎜ ⎟ ⎜ 0 0 1 ... 0 ⎟ ⎜ 0 0 0 ... 0 ⎟ ⎟ ⎜ … … … ... … ⎟ 2 ⎜ ( 2) I r(1) = ⎜ … … … ... … ⎟ = ⎜ ⎟ = Ir – 0 0 0 ... 1 ⎜ ⎟ ⎜ ⎟ ⎜ 0 0 0 ... 1 ⎟ ⎜ 0 0 0 ... 0 ⎟ ⎜ 0 0 0 ... 0 ⎟ ⎜ ⎟ ⎝ ⎠ ⎝ 0 0 0 ... 0 ⎠ второй косой ряд единиц. Таким образом:

( )

( I r(1) )

k

= I r( k ),

1 ≤ k ≤ r − 1,

( I r(1) )

r

= 0,

где ( r × r ) – размерность этой матрицы. 5. Пусть жорданова форма матрицы A связана с самой матрицей A через матрицу перехода S по закону: tJ λ tJ λ J = S − 1 AS ⇒ A = SJS − 1. Тогда etA = S − 1diag e 1( 1 ),..., e m ( m ) S ,

(

28

)

где e

( ) = e λ pt E

tJ p λ p

e

tI r(1)

r ⋅e

tI r(1)

, и

⎛ t2 ⎜1 t 2! ⎜ ⎜ ⎜0 1 t =⎜ ⎜ ⎜… … … ⎜0 0 0 ⎜ ⎝0 0 0

t r −1 ⎞ ⎟ ( r − 1) ! ⎟ t r −3 t r −2 ⎟⎟ ... ( r − 3)! ( r − 2 )! ⎟ . ⎟ … … … ⎟ ⎟ ... 1 t ⎟ ... 0 1 ⎠ ...

t r −2 ( r − 2)!

⎛ 2 1 0⎞ Пример 4.1. Вычислить e , где A = ⎜⎜ 0 2 1 ⎟⎟ . ⎜ 0 0 2⎟ ⎝ ⎠ Решение. Так как A – жорданова клетка, то ⎛ t2 ⎞ t 1 ⎜ ⎟ 2⎟ ⎜ etA = e 2t ⎜ 0 1 t ⎟ . ⎜ ⎟ ⎜0 0 1 ⎟ ⎜ ⎟ ⎝ ⎠ Упражнения. 1. Докажите признак Вейерштрасса. 2. Докажите, что отображение Aˆ → A является изоморфизмом tA

(

)

пространства L E n , E n на пространство матриц ( n × n ) .

29

{ }

4.2. Однопараметрическая группа преобразований e tA

Определение 4.5. Множество элементов G = { g} называется группой, если для любых элементов g1, g 2 ∈ G определена групповая операция « ∗ », удовлетворяющая следующим условиям: 1) ( g1 ∗ g 2 ) ∗ g 3 = g1 ∗ ( g 2 ∗ g 3 ) – ассоциативность;

2) ∃e ∈G : e ∗ g = g ∗ e для ∀g ∈G ; e – единица группы; 3) ∀g ∈ G ⇒ ∃g −1 ∈ G : g −1 ∗ g = g ∗ g − 1 = e ; g −1 – обратный элемент для g . Примеры. 4.2. Группа матриц n × n относительно операции умножения (эта группа некоммутативная). 4.3. R – группа вещественных чисел относительно операции сложения (коммуникативная ≡ абелева группа). 4.4. SO ( n ) – группа ортогональных матриц ( n × n ) с определителем равным 1 (специальная ортогональная группа).

{ }t∈R , A – фиксированная матрица – абелева группа, так

4.5. etA

как:

tA t A t +t A а) e 1 ⋅ e 2 = e( 1 2 ) ; б) ассоциативность очевидна;

в) ∃e 0 A = E – единица группы; г) e −tA – обратный элемент этой группы. Эту группу будем называть однопараметрической группой преобразований пространства E n. Имеем: ∞ ∞ d tA d ⎛ t k Ak ⎞ t k Ak A e = ⎜E + = = A etA. ⎟ dt dt ⎝ k =1 k ! ⎠ k =0 k !

∑

∑

⋅

Теорема 4.1. Рассмотрим систему X ( t ) = AX ( t ) . Тогда решение X ( 0) = X 0 с начальным условием задается формулой

X ( t ) = etA X 0 . 30

Доказательство. Дифференцируя X ( t ) , имеем: d X ( t ) = AetA X 0 = AX ( t ) , X ( 0 ) = X 0 . dt 4.3. Фазовое пространство, фазовый поток, фазовые кривые Определение 4.6. Рассмотрим систему i

X = AX , X = ( x1,..., xn ) . T

(4.2)

Тогда пространство E n называется фазовым пространством этой системы, точки E n – фазовые. Определение 4.7. Пара

( E , {e } ) n

tA

t∈R

называется фазовым по-

током. Определение 4.8. Кривая в E n X ( t ) = etA X 0 называется фазо-

вой, проходящей через точку X 0 ∈ E n. Фазовая кривая – это фазо-

{ }

вая траектория точки X 0 под действием группы e tA . Определение 4.9. Точка X 0 ∈ E n называется положением равi

новесия системы X = AX (неподвижной точкой фазового потока), i

если ∀t ∈ R ⇒ X ( t ) = etA X 0 ≡ X 0 . Замечание. Для рассматриваемого случая X 0 = 0 – неподвижная точка. Определение 4.10. Пространство E n+1 = E 1 × E n = {( t, X )} , где

E n – фазовое пространство системы (4,2), называется расширенным фазовым пространством системы (4.2). График X ( t ) = etA X 0 в расширенном фазовом пространстве на-

( { }) (системы 4.2).

зывается интегральной кривой потока E n , etA 31

4.4. Фазовые траектории на плоскости

Рассмотрим систему двух линейных уравнений с постоянными коэффициентами с двумя искомыми функциями: ⎧i ⎪ x = ax + by ⎛a b ⎞ ⎛ x⎞ A=⎜ , X = ⎜ ⎟. (4.3) ⎨i ⎟ ⎝c d⎠ ⎝ y⎠ ⎪ y = cx + dy, ⎩ Фазовое пространство в этом случае двумерно – фазовая плос-

кость, соответствующая группа фазового потока

{etA} ,

где

⎛a b⎞ A=⎜ ⎟ . Исследуем в этом случае все фазовые траектории. ⎝c d⎠ ⎛ 0⎞ Сразу отметим, что при любой матрице A точка X 0 = ⎜ ⎟ является ⎝ 0⎠ положением равновесия системы. Поведение кривых будет определяться корнями характеристического уравнения: a−λ b det ( A − λ E ) ≡ =0. c d −λ Пусть λ1 и λ 2 – корни этого уравнения. Возможны следующие случаи. I. Δ = det A ≠ 0 ⇒ λ1 ≠ 0 , λ 2 ≠ 0 . а) λ1 ≠ λ 2 – вещественные. Общее решение

⎛ α1 ⎞ λ1t ⎛ α 2 ⎞ λ 2t ⎛ x⎞ e C C = + ⎜ ⎟ ⎜ y⎟ 1 β 2 ⎜ β ⎟e , ⎝ ⎠ ⎝ 1⎠ ⎝ 2⎠ α α ⎛ ⎞ ⎛ ⎞ где h1 = ⎜ 1 ⎟ , h2 = ⎜ 2 ⎟ – два линейно независимых собственных β ⎝ 1⎠ ⎝ β2 ⎠ вектора матрицы A (рис. 4.1). 1. λ1 < λ 2 < 0 . Рассмотрим на фазовой плоскости 0xy прямые, проходящие через начало координат в направлении собственных векторов h1 = ( α1, β1 ) и h2 = ( α2, β 2 ) матрицы A. Эти прямые сами являются фазовыми траекториями: 32

y β1 y β1 = , C1 = 0, C2 ≠ 0 ⇒ = . x α1 x α1 Строим эти траектории. Далее, если t → +∞ , то: λt λ t λt λ t x ( t ) = C1α1e 1 + C2α 2e 2 → 0 , y ( t ) = C1β1e 1 + C2β2e 2 → 0 , т.е. при t → +∞ по любой траектории точка движется в начало координат. Считаем производную y′x : λt λ t λ −λ t y′t C1β1λ1e 1 + C2β2λ 2e 2 C1β1λ1e( 1 2 ) + C2β 2λ 2 = y′x = = . x′t C α λ e λ1t + C α λ eλ 2t C α λ e( λ1−λ 2 )t + C α λ 1 1 1 2 2 2 1 1 1 2 2 2 При t → +∞ ⇒ y′x → β 2 / α2 , это означает, что при t → +∞ все траектории входят в начало координат, касаясь прямой с направляющим вектором h2 (отвечающим меньшему по модулю собственному значению матрицы A). Если же t → −∞ , то y′x → β1 / α1 . Это означает, что на « −∞ » фазовые траектории имеют асимптоты, параллельные прямой с направляющим вектором h1 = {α1, β1} (отвечающим большему по абсолютной величине собственному значению A). Кроме того, точка O (0, 0) – сама является фазовой траекторией. Это положение равновесия, которое называется устойчивым узлом (см. рис 4.1, а). 2. 0 < λ 2 < λ1 . В этом случае замена t → −t сводит рассматриваемые траектории к траекториям пункта 1. Начертание фазовых траекторий не изменится (см. рис 4.1, б), но направление движения точки по траектории с возрастанием t сменится на противоположное. O (0, 0) – точка покоя, в этом случае положение равновесия − неустойчивый узел. при t → +∞ , 3. λ1 < 0 < λ 2 . В этом случае: y′x → β 2 / α2 y′x → β1 / α1 при t → −∞ . O (0, 0) – точки покоя. Она называется седлом (см. рис 4.1, в). б) λ1 ≠ λ 2 – комплексные. Тогда λ 2 = λ1 = α + iβ . Общее решение имеет вид: ⎧⎪ x ( t ) = ( C1 cos β t + C2 sin β t ) eα t ; ⎨ αt ⎪⎩ y ( t ) = ( C1 cos β t + C2 sin β t ) e , C1 ≠ 0, C2 = 0 ⇒

33

где C1 и C2 – произвольные постоянные, а C1 и C2 – их линейные комбинации. Возможны следующие случаи (рис. 4.2).

а

б

в Рис. 4.1. Фазовые траектории вблизи точки равновесия в случае действительных, отличных от нуля собственных значений λ1 ≠ λ 2 : а – устойчивый узел; б – неустойчивый узел; в – «седло»

34

1. α = 0 . Тогда ⎪⎧C1x − C1 y = ( C1C2 − C2C1 ) sin β t; ⎨ ⎪⎩C2 x − C2 y = ( C2C1 − C1C2 ) cos β t, т.е. получаем семейство кривых

( C1x − C1y )

2

( C1C2 − C2C1 )

2

+

( C2 x − C2 y )

2

( C1C2 − C2C1 )

2

= 1.

В этом случае точка покоя O (0, 0) называется центром (см. рис. 4.2, а). Центр – траектория, устойчивая по Ляпунову, но не асимптотически устойчивая. Все траектории центра замкнутые. Для того чтобы найти направления движения по этим траекториям, нужно взять точку M 0 ( x0 , y0 ) , подсчитать вектор скорости V ( x, y ) в этой точке M 0 ( x0 , y0 ) из системы (4.3).

i ⎧i ⎫ = {ax + by, cx + dy} . Имеем: V = ⎨ x ( t ) , y ( t ) ⎬ M0 ⎩ ⎭M 0

Замечательное свойство поля скоростей V ( t ) : так как точка покоя только одна (точка O (0, 0)) и V ( t ) непрерывно зависит от M ( x, y ) , то вдоль любой траектории направление движения не меняется, на всех траекториях направление движения одинаково! 2. α ≠ 0 . Аналогичные выкладки дают:

( C1x − C1y )

2

( C1C2 − C2C1 )

2

+

( C2 x − C2 y )

2

( C1C2 − C2C1 )

2

= e 2αt .

В этом случае точка покоя O (0, 0) называется фокусом. Если α < 0 , то при t → +∞ точка по любой траектории неограниченно приближается к точке O (0, 0), т.е. при α < 0 фокус асимптотически устойчив (см. рис. 4.2, б). Если же α > 0 , то при t → +∞ точка по любой траектории уходит на бесконечность, т.е. при α > 0 точка O (0, 0) неустойчива – неустойчивый фокус (см. рис. 4.2, б). в) λ1 = λ 2 ≠ 0 (так как Δ ≠ 0) . В этом случае λ1 и λ 2 – обязательно вещественные числа. Возможны следующие случаи. 35

а

б

в Рис. 4.2. Фазовые траектории вблизи точки равновесия в случае комплексных собственных значений λ1 ≠ λ 2 : а – центр; б – устойчивый фокус; в – неустойчивый фокус 36

1. λ1 = λ 2 = λ ≠ 0 , Rang ( A − λ E ) = 0 , т.е. A − λ E = O – нулевая матрица. Но тогда исходная система (4.3) имеет вид: ⎧ x = λ x; ⇒ x ( t ) = C1e λt , y ( t ) = C2e λt , C1, C2 ∈ R . ⎨ y y , = λ ⎩ Фазовые траектории – всевозможные полупрямые, исходящие из начала координат. Точка покоя O (0, 0) в этом случае называется дикритическим узлом (рис. 4.3).

а

б

Рис. 4.3. Фазовые траектории вблизи точки равновесия в случае действительных собственных значений λ1 = λ 2 (дикритический узел): а – устойчивый; б – неустойчивый

Если λ < 0 , то дикритический узел асимптотически устойчив (см. рис.4.3, а), если λ > 0 – то неустойчив (см. рис.4.3, б). 2. λ1 = λ 2 = λ ≠ 0 , Rang ( A − λ E ) = 1 . Общее решение имеет вид

где

⎛ α 2 + α 3t ⎞ ⎤ λ t ⎛ x ( t ) ⎞ ⎡ ⎛ α1 ⎞ ⎜ y ( t ) ⎟ = ⎢C1 ⎜ β ⎟ + C2 ⎜ β + β t ⎟ ⎥ e , ⎝ ⎠ ⎣ ⎝ 1⎠ ⎝ 2 3 ⎠⎦ h1 = {α1, β1} – собственный вектор, а

h2 = {α 2, β2} ,

h3 = {α 3, β3} – некоторые векторы. Уточним структуру решения, имеем:

37

⎛⎡ ⎡ ⎛ ⎞ ⎤ λ t ⎞′ ⎛ ⎞⎤ λt + + C h C h h t ⎜ ⎢ 1 1 2 ⎜ 2 3 ⎟ ⎥ e ⎟ = A ⎢C1 h1 + C2 ⎜ h2 + h3 t ⎟ ⎥ e , ⎝ ↓ ↓ ⎠⎦ ⎠ ⎝ ↓ ↓ ⎠⎦ ⎣ ↓ ⎝⎣ ↓ приравнивая коэффициенты при t e λt , получаем: λ h3 = A h3 , т.е. ↓

↓

h3 – собственный вектор A. Тогда h3 ∼ h1 . Следовательно, меняя ↓

↓

↓

константы, можно считать, что h3 = h1 (!). ↓

↓

Получили общее решение ⎛ ⎞⎤ λt ⎛ x (t ) ⎞ ⎡ ⎜ y ( t ) ⎟ = ⎢C1 h1+ C2 ⎜ h2 + h1 t ⎟⎥ e . ⎝ ⎠ ⎣ ↓ ⎝ ↓ ↓ ⎠⎦ Точка покоя O (0, 0) в этом случае называется вырожденным узлом (рис. 4.4). Если λ < 0 , то вырожденный узел асимптотически устойчив (см. рис. 4.4, а), а если λ > 0 – то неустойчив (см. рис. 4.4, б). Среди фазовых траекторий имеется одна прямолинейная y β – = 1 , т.е. траектория в направлении собственного вектора h1 . x α1 Далее имеем: C β + λ ( C1β1 + C2 ( β2 + β1t ) ) β → 1 при t → ∞ . y′x = 2 1 C2α1 + λ ( C1α1 + C2 ( ε 2 + α1t ) ) α1 Следовательно, при λ < 0 все траектории входят в точку O (0, 0), при t → +∞ касаясь прямой y = (β1 / α1) x , и уходят из "− ∞ " под

этим же углом (аналогично при λ > 0) . Для уточнения хода траекторий строятся несколько векторов поля скоростей. a b = 0 . В этом случае хотя бы II. Рассмотрим случай Δ = c d один из корней характеристического уравнения равен нулю (а следовательно, оба корня действительны). а) λ1 = 0, λ 2 ≠ 0. Общее решение:

⎛ α1 ⎞ ⎛ α 2 ⎞ tλ 2 ⎛ x⎞ ⎜ y ⎟ = C1 ⎜ β ⎟ + C2 ⎜ β ⎟ e , ⎝ ⎠ ⎝ 1⎠ ⎝ 2⎠ 38

где h1 = {α1, β 2} и h2 = {α 2, β 2} – собственные векторы матрицы A. Если

C2 = 0 ,

C1 ≠ 0 ,

то

получаем

фазовую

траекторию

y = (β1 / α1) x . На этой траектории каждая точка – точка покоя!

Все остальные траектории ( C2 ≠ 0 ) – также прямолинейные

y − C1β1 x − C1α1

=

β2 α2

.

Все они параллельны вектору h2 . При λ < 0 точки по этим траекториям “движутся” к прямой y = (β1 / α1) x . При λ < 0 все точки покоя устойчивы по Ляпунову (но не асимптотически), при λ > 0 – неустойчивы.

а

б

Рис. 4.4. Фазовые траектории вблизи точки равновесия в случае действительных собственных значений λ1 = λ 2 = λ ≠ 0 (вырожденный узел): а – устойчивый; б– неустойчивый

б) λ1 = λ 2 = 0 . В этом случае возможны следующие ситуации.

1. Rang ( A − 0E ) = 0 . Тогда A = O – нулевая матрица. Общее решение x ( t ) = C1 , y ( t ) = C2 . Каждая точка плоскости – точка покоя, устойчивая по Ляпунову, но не асимптотически. 39

2. Rang ( A − 0E ) = 1 . Общее решение ⎛ α 2 + α3t ⎞ ⎛ α1 ⎞ ⎛ x (t ) ⎞ ⎜ y ( t ) ⎟ = C1 ⎜ β ⎟ + C2 ⎜ β + β t ⎟ , ⎝ ⎠ ⎝ 1⎠ ⎝ 2 3 ⎠ где h1 = {α1, β 2} – собственный вектор. Вновь показываем, что

h3 = {α 3, β3} = h1 . Среди траекторий имеется

( C2 = 0,

C1 ≠ 0 )

траектория y = (β1 / α1) x , целиком состоящая из точек покоя. Ос-

тальные траектории – прямые, параллельные прямой y = (β1 / α1) x :

y − C1β1 − C2β2 x − C1α1 − C2α 2

=

β1 α1

.

i ⎧i ⎫ Поле скоростей V ( t ) = ⎨ x ( t ) , y ( t ) ⎬ = C2h1 меняет направление ⎩ ⎭ при изменении знака C2 . Точка O (0,0) и другие положения равновесия неустойчивы. Были рассмотрены всевозможные виды фазовых траекторий в этом простейшем случае.

§ 5. Первые интегралы системы ОДУ

Вновь рассматриваем систему ОДУ y ' = f ( t, y ) , где y = ( y1,..., yn ) ,

(5.1)

f = ( f1 ( t, y ) ,..., f n ( t, y ) ) – непрерывно диффе-

ренцируемая в некоторой области G ⊆ Etn, y+1 вектор-функция. Определение 5.1. Функция ψ ( t, y ) , удовлетворяющая в некоторой подобласти G ' ≤ G условиям: 1) ψ ( t, y ) непрерывно дифференцируема в G ' и не равна в G ' тождественно постоянной; 2) ψ ( t, y ) ≡ const вдоль любого решения y = y ( t ) системы (5.1), проходящего в G ' , называется первым интегралом системы (5.1) в G'. 40

Теорема 5.1 (критерий первого интеграла). Пусть 1 n+1 f ( t, y ) ∈ C ( G ) , G ⊆ Et, y . Тогда не равная тождественно постоян-

ной, непрерывно дифференцируемая в G ' ⊆ G функция ψ ( t, y ) будет в G ' первым интегралом системы (5.1) в том и только в том случае, если ∂ψ n ∂ψ + f ( t, y ) ≡ 0 в G ' . ∂ t i =1 ∂ yi i

∑

Доказательство. Необходимость. Если ψ ( t, y ) – первый интеграл системы (5.1) в G ' , то для любого решения y ( t ) системы (5.1) в G ' получаем ψ ( t, y ( t ) ) ≡ const (при этом вдоль разных решений константы, вообще говоря, разные). Дифференцируя это тождество, получаем ∂ψ n ∂ψ dyi ∂ψ n ∂ψ 0≡ + = + f ( t, y ) ∂ t i =1 ∂ yi dt ∂ t i =1 ∂ yi i всюду в области G ' , так как через каждую точку G ' в силу теоремы существования и единственности (ТСЕ) проходит решение системы (5.1). Достаточность. Если функция ψ ( t, y ) удовлетворяет в G ' условиям теоремы, а y ( t ) – какое-либо решение (5.1) в G ' , то

∑

∑

∂ψ n ∂ψ ∂ψ n ∂ψ dyi d + + = ψ ( t, y ( t ) ) , f i ( t, y ) = ∂ t i =1 ∂ yi ∂ t i =1 ∂ yi dt dt где справа записана производная вдоль решения. Но тогда ψ ( t, y ( t ) ) ≡ const вдоль этого решения. Таким образом ψ ( t, y ) – первый интеграл системы (5.1). Замечание. Иногда первым интегралом системы (5.1) называют равенство ψ ( t, y ) ≡ const , где ψ ( t, y ) – функция из определения 5.1. Напомним следующие определения. 0≡

∑

∑

Определение 5.2. Система функций {ψ k ( t, y )}k =1 называется заm

висимой в G , если хотя бы одна из этих функций, например ψ1 ( t, y ) , представима на G в виде ψ1 ( t, y ) = Φ ( ψ 2 ( t, y ) ,..., ψ m ( t, y ) ) , 41

(5.2)

где Φ ( z1,..., z m−1 ) – некоторая функция, которую далее считаем непрерывно дифференцируемой в соответствующей области переменной z = ( z1,..., z m−1 ) . Если же представление (5.2) не имеет мес-

та в G ни для одной из ψi ( t, y ) , то система {ψ k } k =1 называется m

независимой в G. Теорема 5.2 (о существовании первых интегралов). Если f ( t, y ) ∈ C1 ( G ) , G ⊆ Etn, +y1, то ∀ ( t0, y0 ) ∈ G ⇒ ⇒ ∃ U δ ( t0, y0 ) , в

которой система (5.1) имеет n независимых первых интервалов. Теорема 5.3. Пусть {ψ k ( t, y )}k =1 – n первых интегралов систеm

мы (5.1) в некоторой окрестности точки M 0 ( t0, y0 ) ∈ G . Допустим, что

J=

D ( ψ k ( t, y ) ,..., ψ n ( t, y ) ) D ( y1,..., yn )

≠ 0. M0

Тогда в некоторой окрестности точки M 0 система уравнений

⎧ψ1 ( t, y ) = C1; ⎪ (3) ⎨. . . ; ⎪ψ ( t , y ) = C ⎩ n n определяет (при подходящем выборе констант C1,..., Cn ) любое решение системы (5.1), – общее решение (5.1) в окрестности точки M0 . Доказательство. В силу непрерывной дифференцируемости функций ψ k ( t, y ) ⇒ J ≠ 0 в некоторой окрестности точки M 0 . По теореме о системе неявных функций получаем, что существует и притом единственное решение системы (5.3) y1 = ϕ1 ( t, C1,..., Cn ) ,..., y n = ϕn ( t, C1,..., Cn ) , определенное и непрерывно дифференцируемое в некоторой окрестности точки t0 . Положим Ci = ψ i ( t0, y0 ) . Тогда в силу единст-

венности решения системы (5.3) получим: y ( t0 ) = ϕ ( t0, ψ ( t0, y0 ) ) = 42

= y0 , т.е. кривая y = ϕ ( t, ψ ( t0, y0 ) ) = y ( t; y0, t0 ) проходит через

точку ( t0, y0 ) . Далее из (5.3), дифференцируя эти равенства, получаем: ∂ψ k

n

∑

∂ψ k

y ' ( t ) = 0 , k = 1, 2,...n , ∂t ∂ yi i i =1 и в силу критерия первого интеграла ⎧∂ψ k n ∂ψ k + f ( t, y ) = 0; ⎪ ∂yi i ⎨ ∂t i =1 ⎪ ⎩k = 1, 2,..., n . +

(5.4)

∑

Из систем (5.4) и (5.5), в силу того, что

D ( ψ1,..., ψ n ) D ( y1,..., yn )

(5.5)

≠ 0 в окрест-

ности точки M 0 , получаем, что y ' ( t ) ≡ f ( t, y ) , т.е. y ( t; t0, y0 ) есть

решение системы (5.1) с данными Коши y ( t0 ) = y0 . Таким обра-

зом, (5.3) определяет общее решение системы (1) в форме Коши. Замечание. Для вычисления первых интегралов системы (5.1) часто бывает удобно переписать эту систему в симметричной форdyn dy1 dy2 = = ... = = dt , ме, положив сначала f1 ( t, y ) f 2 ( t, y ) f n ( t, y ) а затем переобозначив yi → xi , t → xn+1 , f i ( t, yi ) = f i ( x ) , n + 1 → n . Тогда (5.1) запишется в виде:

dxn dx1 = ... = . f1 ( x ) fn ( x )

Примеры. dx dy dz = = 5.1. . y+z x+z x+ y

Решение.

d ( x + y + z) d ( x − y) = ⇒ ( x + y + z )( x − y ) 2 = C1 , 2( x + y + z) y−x d ( x + y + z) d ( y − z) = ⇒ ( x + y + z )( y − z ) 2 = C2 . 2( x + y + z) z−y 43

Ответ.

⎧⎪( x + y + z )( x − y ) 2 = C1, ⎨ 2 ⎪⎩( x + y + z )( y − z ) = C2. dx

dy dz = . y z x+ y + z dy dz y = ⇒ = C1 ; Решение. y z z 5.2.

2

2

=

dx − 2 ydy − 2zdz

=

dz x − y2 − z2 ⇒ = C2 . z z

x − y2 − z2 ⎧⎪ y = C1z, Ответ. ⎨ 2 2 ⎪⎩ x − y − z = C2 z. 5.3. Дана система ⎧ x2 − t x = , ⎪ y ⎨ ⎪ y = − x. ⎩

Являются ли функции ψ1 = t 2 + 2xy , ψ 2 = x 2 − ty первыми интегралами системы? Решение. d ψ1 x2 − t = 2t + 2 y + 2x ( −x ) ≡ 0 , dt вдоль решения y т.е. ψ1 = t 2 + 2xy – первый интеграл системы;

d ψ2 dt

= − y + 2x вдоль решения

2

x2 − t − t ( −x ) ≡/ 0 , y

т.е. ψ 2 = x − ty не является первым интегралом системы. 5.4. Проверить, являются ли независимыми первые интегралы x+ y z−y dx dy dz = = . = C2 системы = C1 , x y z x+ y z+x 44

Решение. Сначала проверим, что это первые интегралы данной системы: d ( x + y) d ( x + z) x+ y = ⇒ = C1 ; x+ y x+z x+z d ( z − y) d ( x + y) z−y = ⇒ = C2 , z−y x+ y x+ y т.е. это первые интегралы. Однако 1 C2 − = − 1 , C1 следовательно, 1 − C1 C2 = , C1 т.е. эти интегралы зависимы. § 6. Линейные однородные уравнения с частными производными первого порядка Определение 6.1. Уравнение вида ∂z ∂z ∂z α1 ( x ) + α2 ( x ) + ... + α n ( x ) = 0, ∂x1 ∂x 2 ∂ xn

(6.1)

где α ( x ) – заданная в некоторой области G ⊆ E xn вектор-функция,

а z = z ( x ) – искомая функция, называется (однородным) линейным дифференциальным уравнением первого порядка с частными производными. Определение 6.2. Непрерывно дифференцируемая в G функция z = z ( x ) называется решением (6.1) в G, если после подстановки ее в уравнение (6.1), оно обращается в тождество в G. Замечания. 1. Таким образом, ищем потенциальное поле A ( x ) = grad z ( x ) , ортогональное в G заданному полю α ( x ) .

45

2. Если в точке x0 ∈ G ⇒ α ( x0 ) = 0 , то точка x0 называется

особой точкой уравнения (6.1) (и, соответственно, поля α ( x )) . 3. Далее рассмотрим непрерывно дифференцируемое в G поле α ( x ) без особых точек. Теорема 6.1. Рассмотрим уравнение (6.1) и систему ОДУ dxn dx1 dx2 = = ... = . (6.2) α1 ( x ) α 2 ( x ) αn ( x )

Тогда непрерывно дифференцируемая в G функция z ( x ) ≡/ const в G является решением уравнения (6.1) ⇔ z ( x ) – первый интеграл (6.2). Кроме того, z ( x ) ≡ const также очевидно решение (6.1). Доказательство. Уравнение (6.1) означает, что производная вдоль решения системы (6.2) равна нулю. Пользуясь критерием первого интеграла (теорема 5.1), получаем нужное утверждение. Теорема 6.2 (общий вид решения уравнения (6.1)). Пусть

{ψ k ( x )}nk −=11

– ( n − 1) независимый первый интеграл системы (6.2)

на G; x0 ∈ G и

D ( ψ1,..., ψ n−1 ) D ( x1,..., xn−1 )

≠0

в x0 . Тогда: 1) если z = z ( x ) – решение (6.1) на G, то, по крайней мере, в некоторой окрестности точки x0 имеет место представление z ( x ) = = Φ ( ψ1 ( x ) ,..., ψ n −1 ( x ) ) , где Φ – некоторая непрерывно дифферен-

цируемая функция; 2) обратно, любая функция z ( x ) = Φ ( ψ1 ( x ) ,..., ψ n−1 ( x ) ) являет-

ся решением (6.1), если только Φ ( y1,..., yn−1 ) – непрерывно дифференцируемая в соответствующей области функция. Доказательство. 1. Рассмотрим систему уравнений:

46

∂ψ1 ∂ψ ∂ψ ⎧ + α 2 ( x ) 1 + ... + α n ( x ) 1 = 0; ⎪ α1 ( x ) ∂x1 ∂ x2 ∂xn ⎪ ⎪ . . .; ⎪ ∂ψ n−1 ∂ψ ∂ψ ⎪ + α 2 ( x ) n−1 + ... + α n ( x ) n−1 = 0; ⎨α1 ( x ) ∂x1 ∂ x2 ∂ xn ⎪ ⎪ . . .; ⎪ ∂z ∂z ∂z ⎪ α1 ( x ) + α2 ( x ) + ... + α n ( x ) =0 ⎪ ∂x1 ∂ x2 ∂ xn ⎩

относительно α ( x ) . Так как α ( x ) ≠ 0 ни в одной точке (и в частности в точке x0 ), то

D ( ψ1,..., ψ n−1, z ) D ( x1,..., xn )

≡ 0 в G.

Кроме того, по крайней мере, один минор порядка ( n − 1) , стоящий в ( n − 1) первой строке, не равен нулю в точке x0 , а следовательно, и в некоторой окрестности точки x0 . Без ограничений общности можно считать, что D ( ψ1,..., ψn−1 ) ≠ 0 в U δ ( x0 ) . D ( x1,..., xn−1 ) Тогда по теореме о достаточных условиях зависимости функций получим, что существует непрерывно дифференцируемая функция Φ ( y1,..., yn−1 ) , такая, что z ( x ) = Φ ( ψ1 ( x ) ,..., ψ n−1 ( x ) ) . 2. Обратно. Дифференцируя функцию z( x ) по xi и складывая, получим ∂z n −1 ∂Φ ∂ψ k =∑ ∂xi k =1 ∂y k ∂xi

⇒

n

∂z

n −1

∂Φ ⎛

i

k =1

k

n

∂ψ ⎞

∑ αi ( x ) ∂x = ∑ ∂y ⎜ ∑ αi ( x ) ∂x k ⎟ = 0, i =1

⎝ i =1

т.е. z = z ( x ) – решение уравнения (6.1). Пример 6.1. Найти общее решение уравнения: ∂n ∂n ∂n ( x − z ) + ( y − z ) + 2z = 0 . ∂x ∂y ∂z 47

i

⎠

Решение. Соответствующая система ОДУ dx dy dz = = . x − z y − z 2z Отсюда

d ( x − y ) dz ( x − y ) 2 = ⇒ = C1 ; x− y 2z z d ( x + y + 2z ) dz ( x + y + 2z ) 2 = ⇒ = C2 . x + y + 2z 2z z Ответ:

⎛ ( x − y ) 2 ( x + y + 2z ) 2 ⎞ u = Φ ⎜⎜ ; ⎟⎟ . z z ⎝ ⎠ § 7. Квазилинейные уравнения с частными производными первого порядка 7.1. Характеристики и общее решение

Здесь рассмотрим более общее (чем (6.1)) уравнение: ∂z ∂z a1 ( x, z ) + ... + an ( x, z ) = b ( x, z ) , ∂ xn ∂ xn

(7.1)

где ai ( x, z ) , b ( x, z ) ∈ C1 ( G ) , G ⊆ E xn,+z1 – некоторая область, причем a12 ( x, z ) + ... + an2 ( x, z ) > 0 в G. Уравнение (7.1) называется квазилинейным уравнением с частными производными первого порядка. Определение 7.1. Система ОДУ dxn dx1 dz = ... = = (2) a1 ( x, z ) a n ( x, z ) b ( x, z ) называется системой характеристик уравнения (7.1), а каждая интегральная кривая системы (7.2) – характеристикой уравнения (7.1). Определение 7.2. Поверхность S ⊂ G : z = f ( x ) , x ∈Ω , называется состоящей из характеристик уравнения (7.1), если через каж48

дую точку S проходит характеристика, целиком лежащая на S в области G. Теорема 7.1. Функция z = f ( x ) ∈ C1 ( Ω) является решением уравнения (7.1) в Ω тогда и только тогда, когда поверхность S : z = f ( x ) , x ∈Ω , целиком состоит из характеристик уравнения (7.1). Доказательство. Необходимость. Пусть z = f ( x ) – решение (7.1), x ∈Ω . Рассмотрим повторяемость S : f ( x ) − z = 0 . Тогда век⎧ ∂f ⎫ ∂f тор N = ⎨ ;...; ; − 1⎬ – нормаль к S. Рассмотрим линию, про∂ xn ⎩ ∂ x1 ⎭ ходящую через точку M ( x, f ( x ) ) , целиком лежащую на S и удовлетворяющую системе уравнений dxn dx1 = ... = = dt , a1 ( x, f ( x ) ) a n ( x, f ( x ) ) т.е. рассмотрим линию: (7.3) x = x (t ) , z = f ( x (t )) . Покажем, что это характеристика уравнения (7.1). Так как z = f ( x ) – решение (7.1), то

⎛ ∂f ⎞ ∂f dz = ⎜ x1 + ... + xn ⎟ dt = ∂xn ⎠ ⎝ ∂x1 ⎡ ∂f ⎤ ∂f =⎢ a1 ( x, f ( x ) ) + ... + an ( x, f ( x ) ) ⎥ dt = b ( x, f ( x ) ) dt, ∂xn ⎣ ∂x1 ⎦ т.е. dz = b ( x, f ( x ) ) dt , таким образом функция z = f ( x ) удовле-

творяет вместе с ( x1,..., xn ) системе характеристик (7.2). Следова-

тельно, кривая (7.3) является характеристикой уравнения (7.1). Обратно, если S : z = f ( x ) , x ∈Ω , целиком состоит из харак-

{

}

теристик, то N = f x' ,..., f x' ; −1 и e = {a1,..., an; b} – соответственно 1

n

нормаль к S и касательный вектор к характеристике ⇒ N ⊥ e ⇒ выполнено уравнение (7.1). 49

Теорема 7.2 (общий вид решения). Рассмотрим уравнение (7.1)

и систему (7.2). Пусть {ψ k ( x, z )}k =1 − n независимых первых интеn

гралов системы (7.2) в G, а функция Φ( y1,..., yn ) такова, что в не-

которой точке ( x0, z0 ) ∈ G ⇒

1) Φ ( ψ1 ( x0, z0 ) ,..., ψ n ( x0, z0 ) ) = 0 ;

∂Φ ( ψ ( x , z ) ,..., ψn ( x0, z0 ) ) ≠ 0 . ∂z 1 0 0 Тогда в некоторой окрестности точки ( x0, z0 ) уравнение 2)

Φ ( ψ1 ( x, z ) ,..., ψ n ( x, z ) ) = 0

определяет общее решение z = f ( x ) уравнения (7.1). ∂z ∂z = cos 2 z . Пример 7.1. Решить уравнение sin 2 x + tg z ∂x ∂y dx dy dz = = ⇒ Решение. 2 sin x tg z cos 2 z ⎧− ctg z = tg z + C1; ⎪ – два независимых первых интеграла. ⎨ 1 2 ⎪⎩ y = tg z + C2 2 1 ⎛ ⎞ Ответ: Φ = ⎜ ctg x + tg z, y − tg 2 z ⎟ = 0 . 2 ⎝ ⎠ 7.2. Задача Коши

Здесь рассмотрим случай n = 2, т.е. уравнение ∂z ∂z a1 ( x, z ) + a2 ( x, z ) = b ( x, z ) , ∂x1 ∂x2

(7.4)

где ai ( x, z ) , b ( x, z ) ∈ C1 ( G ) , G ⊆ E x3, z , и a12 ( x, z ) + a22 ( x, z ) > 0 в G. Пусть в G задана гладкая кривая L: x1 = ψ1 ( t ) , x2 = ψ 2 ( t ) ,

z = ψ3 ( t ) , α ≤ t ≤ β .

50

Поставим следующую задачу: найти поверхность z = f ( x1, x2 ) , удовлетворяющую уравнению (7.4) и проходящую через заданную линию L. Эту задачу называют задачей Коши для уравнения (7.4). Замечание. Если z = f ( x1, x2 ) – решение (7.4), проходящее че-

рез L, то по теореме 7.1 поверхность S : z = f ( x1, x2 ) целиком состоит из характеристик уравнения (7.4). Поэтому требуется через каждую точку M ∈ L провести характеристику уравнения (7.4) и рассмотреть поверхность, образованную этими характеристиками. Отметим, что если L является характеристикой, то такое построение возможно не всегда, а может оказаться не единственным. Теорема 7.3. Рассмотрим уравнение (7.4) и указанную кривую L. Пусть M 0 ( x10, x20, z 0 ) ∈ L , где x10 = ψ1 ( t0 ) , x20 = ψ 2 ( t 0 ) , z 0 = ψ 3 ( t0 ) , t0 ∈ ( α, β ) , и пусть

ψ′1 ( t0 ) a1 ( ψ1 ( t0 ) , ψ 2 ( t0 ) , ψ 3 ( t0 ) )

ψ′2 ( t0 ) a2 ( ψ1 ( t0 ) , ψ 2 ( t0 ) , ψ 3 ( t0 ) )

≠ 0.

(7.5)

Тогда в некоторой окрестности точки M 0 существует единственное решение уравнения (7.4), проходящее через заданную кривую L. Доказательство. Запишем уравнение характеристик dx1 dx2 dz = = = ds . (7.6) a1 ( x, z ) a2 ( x, z ) b ( x, z ) Пусть M = M ( t ) = M ( ψ1 ( t ) , ψ 2 ( t ) , ψ 3 ( t ) ) ∈ L – точка линии L,

отвечающая значению параметра t. Проведем через M решение системы (7.6), т.е. системы dx1 dx2 dz = b ( x, z ) = a1 ( x, z ) , = a 2 ( x, z ) , ds ds ds с начальными условиями: x1 ( 0, t ) = ψ1 ( t ) , x2 ( 0, t ) = ψ 2 ( t ) , z ( 0, t ) = ψ3 ( t ) . Такое решение при каждом t ∈ ( α, β ) существует, единственно и выходит на границу области G: x1 = x1 ( s, t ) , x2 = x2 ( s, t ) , z = z ( s, t ) . 51

Рассмотрим поверхность: S = {( x1, x2, z ) ∈ G : x1 = x1 ( s, t ) , x2 = x2 ( s, t ) , z = z ( s, t )}. Тогда: а) L ∈ S и, соответственно, s = 0 ; б) функции x1 = ( s, t ) , x2 = ( s, t ) , z ( s, t ) непрерывно дифференцируемы по s (в силу системы (7.6)) и по t (в силу непрерывной дифференцируемости по начальным данным). В силу условия (7.5) в некоторой окрестности точки t0 на L

0≠

a1 ( ψ1 ( t ) , ψ 2 ( t ) , ψ3 ( t ) )

a2 ( ψ1 ( t ) , ψ 2 ( t ) , ψ3 ( t ) )

ψ′1 ( t ) ψ′2 ( t )

=

∂x1

∂x1

∂s ∂x2

∂t . ∂ x2

∂s ∂t L Тогда по теореме о неявной функции система алгебраических уравнений ⎧ x1 = x1 ( s, t ) ; ⎨ ⎩ x2 = x2 ( s, t )

в некоторой окрестности точки M 0 ( ψ1 ( t0 ) , ϕ 2 ( t0 ) , ψ 3 ( t0 ) ) имеет

единственное решение s = s ( x1, x2 ) , t = t ( x1, x2 ) . Это решение непрерывно дифференцируемо. Но тогда в некоторой окрестности точки M 0 уравнение поверхности S имеет вид S: z = z ( S ( x1, x2 ) , t ( x1, x2 ) ) = f ( x1, x2 ) .

По построению S состоит из характеристик. Следовательно, z = f ( x1, x2 ) – решение поставленной задачи Коши. Пример 7.2. Решить задачу Коши ∂z ∂z x +y = z − x 2 − y 2, ∂x ∂y z = x − x 2. ⎧⎪ y / x = C1; dx dy dz = = ⇒ Решение. ⎨ x y z − x 2 − y 2 ⎪⎩(z + x 2 + y 2) / x = C2. L : y = −2;

52

2 C1 = − ; t 2 2 2 2 t −t +t +4 z+x +y = = C2 ⇒ C2 = 1 − 2C1 . Таким образом, x t y = 1 − 2 ⇒ z = x − 2 y − x 2 − y 2. x Ответ: z = x − 2 y − x 2 − y 2.

Имеем

на

L:

x=t ,

y = −2 ,

z = t − t 2.

Тогда

§ 8. Краевые задачи для ОДУ и функция Грина 8.1. Постановка задачи и функция Грина Постановка задачи. На функциях y ∈ C 2 [a; b] рассматриваем дифференциальное выражение:

d ⎛ dy ⎞ ⎜ p( x) ⎟ + q ( x) y , где p ( x ) > 0 на [ a; b ] , dx ⎝ dx ⎠ 1 p ( x) ∈ C [a; b]; q ( x ) ≥ 0 на [ a; b ] , q ( x) ∈ C[a; b]. Для дифференциального выражения l ( y ) рассматриваем краевую l ( y) ≡ −

задачу: требуется найти y ∈ C 2 (a; b) ∩ C1[a; b] , удовлетворяющую обыкновенному дифференциальному уравнению: (8.1) l ( y ) = λ y ( x ) + f ( x ) , x ∈ ( a; b ) и краевым условиям: α1 y (a) + β1 y '(a ) = 0, α 2 y (b) + β2 y '(b) = 0, (8.2) где f ( x ) ∈ C [ a; b ] заданная функция, λ ∈ (или λ ∈ ) − параметр, а αi , βi : α i 2 + βi 2 > 0, i = 1, 2 – заданные числа. Замечание. 1. Если β1 = β2 = 0 ⇒ α1 и α 2 ≠ 0 , то получаем первую краевую задачу; если α1 = α 2 = 0 , то получаем вторую краевую задачу. 2. Наряду с задачей (8.1)–(8.2) рассматриваем также однородную задачу (8.1´)−(8.2), т.е. (8.1´) l ( y) = 0 , где (8.1´) определяется условиями λ = 0, f ≡ 0 . 53

Определение 8.1. Функцией Грина G ( x, ξ) задачи (8.1)−(8.2) называется заданная на Q = [ a; b] × [ a; b] функция, удовлетворяющая условиям: 1) G ( x, ξ) ∈ C (Q ) – непрерывная на Q функция; 2) ∀ξ ∈ ( a; b ) ⇒ на [ a , ξ) и на (ξ; b ] функция G ( x, ξ) имеет непрерывные производные первого порядка по переменной x и при этом выполняется условие «скачка» первой производной: Gx' ( x , x − 0) − G x' ( x, x + 0) = −1 / p ( x ) ; 3) на [ a, ξ) и (ξ; b] G ( x, ξ) удовлетворяет по х уравнению (8.1´); 4) по x функция G ( x, ξ) удовлетворяет краевым условиям (8.2). Теорема 8.1 (о существовании функции Грина). Если задача (8.1´)–(8.2) имеет только нулевое решение, то существует функция Грина G ( x, ξ) задачи (8.1)–(8.2).

Доказательство. Пусть { yi ( x)}i2=1 – фундаментальная система решений (ФСР) уравнения (8.1´). ⎧a1 (ξ) y1 ( x) + a2 (ξ) y2 ( x), a ≤ x ≤ ξ; Тогда G ( x, ξ) = ⎨ ⎩b1 (ξ) y1 ( x) + b2 (ξ) y2 ( x), ξ < x ≤ b. Из условия непрерывности G ( x, ξ) при x = ξ получаем:

[a1 ( x) y1 ( x) + a2 ( x) y2 ( x)] − [b1 ( x) y1 ( x) + b2 ( x) y2 ( x)] = 0, а из условия «скачка»:

−[b1 ( x) y '1 ( x) + b2 ( x) y '2 ( x)] + [a1 ( x) y '1 ( x) + a2 ( x) y '2 ( x)] = 1/ p( x), т.е. получаем систему уравнений:

⎧(a1 − b1 ) y1 ( x) + (a2 − b2 ) y2 ( x) = 0; (8.3) ⎨ ⎩(a1 − b1 ) y '1 ( x) + (a2 − b2 ) y '2 ( x) = 1/ p( x). Главный определитель Δ этой системы является определителем Вронского: Δ = W [ y1 ( x ), y2 ( x )] ≠ 0 ∀x ∈ [a; b] , поэтому разности (ai − bi ), i = 1, 2 , однозначно вычисляется по формулам Крамера: − y2 ( x) y1 ( x) a1 ( x) − b1 ( x) = , a2 ( x) − b2 ( x) = . p ( x)W ( x) p ( x)W ( x) 54

Теперь воспользуемся краевыми условиями: ⎧α1 (a1 (ξ) y1 (a) + a2 (ξ) y2 (a)) + β1 (a1 (ξ) y '1 (a) + a2 (ξ) y '2 (a) = 0; . ⎨ ⎩α 2 (b1 (ξ) y1 (b) + b2 (ξ) y2 (b)) + β2 (b1 (ξ) y '1 (b) + b2 (ξ) y '2 (b)) = 0. Перепишем эту систему в виде: ⎧ a1 (ξ)(α1 y1 ( a ) + β1 y '1 ( a )) + a2 (ξ)(α1 y2 ( a ) + β1 y '2 ( a )) = 0; ⎪ a (ξ)(α y (b) + β y ' (b)) + a (ξ)(α y (b) + β y ' (b)) = ⎪ 1 2 1 2 1 2 2 2 2 2 (8.4) ⎨ a b y b y b ( ( ) ( ))( ( ) ( )) = ξ − ξ α + β + 1 1 2 1 2 1 ⎪ ⎪⎩ + ( a2 (ξ) − b2 (ξ))(α 2 y '2 (b) + β2 y '2 (b)) и рассмотрим главный определитель этой системы: ⎛ α y (a) + β1 y '1 (a) α1 y2 (a) + β1 y '2 (a) ⎞ Δ = det ⎜ 1 1 ⎟. ⎝ α2 y1 (b) + β2 y '1 (b) α 2 y2 (b) + β2 y '2 (b) ⎠ Если Δ = 0 , то столбцы определителя пропорциональны, и, следовательно, существуют постоянные C1 , C2 ( C12 + C22 ≠ 0 ), такие, что: ⎧α1 (C1 y1 (a) + C2 y2 (a)) + β1 (C1 y '1 (a) + C2 y '2 (a)) = 0; . ⎨ ⎩α 2 (C1 y1 (b) + C2 y2 (b)) + β2 (C1 y '1 (b) + C2 y '2 (b)) = 0. Рассмотрим y ( x) = C1 y1 ( x) + C2 y2 ( x) . Тогда y ( x ) − решение однородной задачи (8.1´)–(8.2). По условию получаем y ( x ) ≡ 0 ; это противоречит тому, что { yi ( x)}i2=1 – ФСР для уравнения (8.1´). Противоречие показывает, что столбцы не пропорциональны и Δ ≠ 0 . Но тогда из (8.4) однозначно находим ai (ξ) , i = 1, 2 , и по известным разностям (ai − bi ), i = 1, 2 , находим все компоненты ai (ξ), bi (ξ) , i = 1, 2 , а с ними находим однозначно функцию Грина. Тем самым теорема доказана. Замечание. Указанное определение и построение функции G ( x, ξ) сохраняются и для более общих операторов и краевых условий. Теорема 8.2 (Гильберта). Если задача (8.1´)–(8.2) имеет только нулевое решение, то задача (8.1)–(8.2) при λ = 0 однозначно разрешима для ∀f ( x ) ∈ C[a; b] и это решение задается формулой 55

b

y ( x) = ∫ G ( x, ξ) f (ξ)d ξ ,

(8.5)

a

Если же λ ≠ 0 , то задача (8.1)–(8.2) эквивалентна интегральному уравнению: b

y ( x) = λ ∫ G ( x, ξ) f (ξ)d ξ + F ( x) ,

(8.6)

a

b

где F ( x) = ∫ G ( x, ξ) f (ξ)d ξ . a

Доказательство. 1. Пусть λ = 0 . Рассмотрим y ( x ) , определяемую равенством (8.5), и покажем, что это – решение задачи (8.1)– (8.2). Отметим сразу, что так как G ( x, ξ) ∈ C (Q ) , а Gx′ ( x, ξ) непрерывна на [ a , ξ) и на (ξ; b ] , то, следовательно, по теореме о непрерывности интеграла по параметру получаем, что y ( x ) удовлетворяет краевым условиям (8.2). Далее ∀x ∈ ( a; b) справедливы равенства x

b

y ( x) = ∫ G ( x, ξ) f (ξ)d ξ + ∫ G ( x, ξ) f (ξ)d ξ; a

x

x

b

a

x

y '( x) = ∫ Gx′ ( x, ξ) f (ξ)d ξ + ∫ Gx′ ( x, ξ) f (ξ)d ξ +

+ (G ( x , x − 0) − G ( x, x + 0)) f ( x ) = x

b

= ∫ Gx′ ( x, ξ) f (ξ)d ξ + ∫ Gx′ ( x, ξ) f (ξ)d ξ ; a

x

x

b

a

x

y ''( x) = ∫ Gxx′′ ( x, ξ) f (ξ)d ξ + ∫ Gxx′′ ( x, ξ) f (ξ)d ξ + +(Gx′ ( x, x − 0) − Gx′ ( x, x + 0)) f ( x). Умножая y ''( x ) на ( − p ( x )) , y '( x ) на ( − p '( x )) , y ( x ) на q( x ) и пользуясь условием скачка, получаем: b

l ( y ) = ∫ lx (G ( x, ξ)) f (ξ)d ξ + f ( x) , а так как lx (G( x, ξ)) = 0, ( x ≠ ξ) , a

то l ( y ) = f ( x ) на [ a + ε; b − ε] ⇒ ( a; b ). 56

2. Теперь, переобозначив λy ( x ) + f ( x ) ↔ f ( x ) и применив доказанное в п. 1, получаем уравнение (8.6). Обратно проделывая выкладки с равенством (8.6), получаем, что (8.6) эквивалентно задаче (8.1)–(8.2). Упражнение. Построив функцию Грина, записать решение задачи:

⎧ y ''( x) = f ( x); ⎨ ⎩ y (0) = 0, y (0) + y '(1) = 0. 8.2. Задача Штурма–Лиувилля

Рассмотрим задачу (8.1)−(8.2) с f ( x ) ≡ 0 на [a ; b] , т.е. задачу: (8.1'') ⎧l ( y ) = −( p( x) y '( x))'+ q( x) y( x) = λy ( x); ⎨ (8.2) ⎩α1 y (a) + β1 y '(a) = 0, α 2 y (b) + β2 y '(b) = 0. Определение 8.2. Задача: найти все такие λ ∈ C , при которых задача (8.1")−(8.2) имеет нетривиальные решения, называется задачей Штурма–Лиувилля. Теорема 8.3 (об эквивалентности). Если задача (8.1´)–(8.2) имеет только нулевое решение, то задача Штурма–Лиувилля (8.1´´)–(8.2) эквивалентна интегральному уравнению с непрерывным ядром G ( x, ξ) : b

y ( x) = ∫ G ( x, ξ) y (ξ)d ξ ,

(8.5)

a

где G ( x, ξ) - функция Грина задачи (8.1)–(8.2).

Доказательство. Доказательство буквально уже получено в теореме Гильберта. Теорема 8.4 (о симметричности функции Грина). Для задачи (8.1)−(8.2) G ( x, ξ) = G (ξ, x) . Доказательство. G ( x, ξ) − ядро обратного оператора к оператору задачи (8.1)−(8.2). Поэтому достаточно проверить, что оператор задачи (8.1)−(8.2) является симметричным. Для любых функций y ( x ) и z ( x ) , таких, что y ( x ), z ( x ) ∈ C 2 (a; b) ∩ C 1[a; b] и удовлетворяющим условиям (8.2), выполняется: 57

b

∫[−( p( x) y '( x))'+ q( x) y( x)]z( x)dx = a

b −ε ⎡ b−ε ⎤ = lim ⎢ ∫ [ −( p ( x) y '( x))' z ( x ) dx + ∫ q( x) y ( x )z ( x) dx ⎥ = ε→0 + a +ε ⎣ a+ε ⎦ b = − p ( x )[ y '( x ) z ( x ) − z '( x ) y ( x )] a +

⎡ b −ε ⎤ + lim ⎢ ∫ y ( x )[ −( p ( x ) z '( x ))'+ q ( x ) z ( x ) dx ⎥ . ε→0 + ⎣ a +ε ⎦ Проверим, что y '(b ) z (b ) − z '(b ) y (b ) = 0 (и, аналогично, при x = a ). Это следует из краевых условий: ⎧α 2 y (b) + β2 y '(b) = 0; ⎨ ⎩α 2 z (b) + β2 z '(b) = 0 2 2 при α 2 + β2 ≠ 0 , следовательно, определитель системы равен нулю:

⎛ y (b) det ⎜ ⎝ z (b)

y '(b) ⎞ ⎟ =0, z '(b) ⎠

что и требуется. Таким образом, оператор задачи (8.1)–(8.2) симметричен, а так как ( L−1 )* = ( L* )−1 , то и обратный оператор симметричен, а тогда и его ядро также симметричная функция. Теорема 8.5 (о собственных значения и собственных функциях задачи Штурма–Лиувилля). 1. Множество собственных значений задачи (8.1)–(8.2) не пусто, не более, чем счетно, не имеет конечных предельных точек. Собственные числа вещественны. Собственные числа – простые. 2. Собственные функции задачи (8.1)– (8.2) ортогональны. Доказательство. Все свойства, кроме простоты, собственных чисел следуют из общих свойств интегрального оператора с непрерывным симметричным ядром. Докажем простоту собственных чисел. Если λ − собственное число и y1 ( x), y2 ( x) − две, отвечающие этому λ , собственные функции, то ⎧⎪α1 y1 (a) + β1 y1' ( a) = 0; при α12 + β12 ≠ 0. ⎨ ' ⎪⎩α1 y2 (a) + β1 y2 ( a ) = 0

58

Отсюда определитель Вронского W [ y1 (a ), y2 (a )] = 0 , следовательно, y1 ( x), y2 ( x) − зависимые функции на [ a; b] , т.е. λ − простое собственное число. Теорема 8.6 (Стеклова). Пусть F ( x) ∈ C 2 (a; b) ∩ C 1[a; b] и удовлетворяет условиям (8.2). Тогда F ( x) раскладывается в равномерно и абсолютно сходящийся на [ a; b] ряд по собственным функциям задачи (8.1)–(8.2). ∞ Доказательство. Пусть { yk ( x)}k =1 – максимальная ортонормированная система (ОНС) собственных функций задачи (8.1)–(8.2), ∞ отвечающих собственным значениям {λ k }k =1 , и F ( x) удовлетворяет условиям теоремы. Тогда F ( x) является решением задачи (8.1)– (8.2) с f ( x) = l ( F ), l ( x ) ∈ C[ a; b] . Из теоремы Гильберта следует: b

F ( x) = ∫ G ( x, ξ) f (ξ)d ξ , a

т.е. F ( x) – истокообразно представима через непрерывное, симметричное ядро G ( x, ξ) . Но тогда по теореме Гильберта ряд ∞

F ( x ) = ∑ ( F , yk ) yk ( x ) k =1

сходится равномерно и абсолютно на [ a; b] . Теорема 8.7. Рассмотрим условие (8.2) вида: ⎧α1 y ( a ) − β1 y '( a ) = 0; (8.2*) α i , βi ≥ 0, α i2 + βi2 > 0 . ⎨ y ( b ) y '( b ) 0, α + β = 1 ⎩ 1 Тогда задача (8.1´)–(8.2*) имеет только тривиальное решение, за исключением случая q ( x) ≡ 0; α1 = α 2 = 0. Доказательство. Если y ( x) ∈ C 2 ( a; b) ∩ C 1[a; b] − решение задачи (8.1´)–(8.2*), то ⎡ b−ε ⎤ 0 = lim ⎢ ∫ [ −( p ( x ) y '( x ))'+ q ( x ) y ( x)] y ( x )dx ⎥ = ε→0 + ⎣ a +ε ⎦ b

= ∫ [( p( x)( y '( x) 2 ) + q( x) y 2 ( x)]dx − p( x) y '( x) y ( x) a . b

a

Из (8.2*) следует, что p ( a ) y ( a ) y '( a ) − p (b ) y (b) y '(b ) ≥ 0 . Следовательно, y ( x ) ≡ 0 ∀x ∈ [ a; b ] . Теорема доказана. 59

II. ИНТЕГРАЛЬНЫЕ ОПЕРАТОРЫ В ЛИНЕЙНЫХ НОРМИРОВАННЫХ ПРОСТРАНСТВАХ § 9. Линейные нормированные пространства 9.1. Основные определения Определение 9.1. Пусть X – некоторое линейное пространство над полем K (здесь, как правило, K = R ; иногда K = C ) и пусть ∀f ∈ X поставлено в соответствие действительное число f , удовлетворяющее свойствам: 1) ∀f ∈ X ⇒ f ≥ 0 , причем f = 0 ⇔ f = θ в X; 2) ∀α ∈ K ⇒ α f = α f ; 3) ∀ f , g ∈ X ⇒ f + g ≤ f + g (неравенство треугольника). Тогда это число f называется нормой элемента f в X, а пространство X с этой нормой – нормированным пространством; обозначение ( X , ⋅ ) . Примеры. 9.1. X = {множество функций, непрерывных на [a, b]}, ∀f ∈ X ⇒ f = max f ( x ) . Тогда ( X , ⋅ ) = C[a; b] – нормироx∈[a, b]

ванное пространство. 9.2. C k [ a, b] =

{

f : ∀0 ≤ n ≤ k ⇒ ∃ f ( n ) ( x ) ∈ C [ a, b] ;

f

C k [ a,b]

= max f ( k ) 1≤n≤k

C k [ a,b]

}.

9.3. C n ( G ) , где G – некоторое подмножество (открытое) в R m , – это пространство функций, имеющих на G непрерывные

производные D α f с α ≤ n и

f

C n [G ]

= max sup D α f ( x ) . 0< α ≤ n x∈G ∞ f n n=1 ⊂

{ }

( X , ⋅ ) называется: 1) фундаментальной в X, если ∀ε > 0 ⇒ ∃ N ( ε ) : ∀n, m > N ( ε ) ⇒ f n − f m < ε ; Определение 9.2. Последовательность

60

2) сходящейся к f ∈ X, если ∀ε > 0 ⇒ ∃ N ( ε ) : X

∀n > N ( ε ) ⇒ f n − f < ε . Обозначение f = lim f n . n→∞

Очевидно, что: 1) если

fn → f

в X, то

{ f n}∞n=1

ограничена в X, т.е.

∃M : ∀n ⇒ f n < M ; X

2) если ∃ lim f n = f , то он – единственный. n→∞

Определение 9.3. Нормированное пространство ( X ,

вается полным, если любая фундаментальная в X

⋅ ) назы-

{ f n}∞n=1

имеет

предел f ∈ X . Определение 9.4. Полное нормированное пространство называется банаховым. Утверждение 9.1. Пространства C [ a, b] , C k [ a, b ] – банаховы пространства. Упражнение. Провести доказательство утверждения 9.1. 9.2. Евклидовы пространства Определение 9.5. Линейное пространство X называется евклидовым (над полем K = C ), если каждой паре f , g ∈ X поставлено в соответствие число ( f , g ) ∈ C , удовлетворяющее условиям: 1) ∀f ∈ X ⇒ ( f , f ) ≥ 0 , причем ( f , f ) = 0 ⇔ f = θ в X;

(

)

2) ( f , g ) = g, f ; 3) ∀α, β∈ C ⇒ ( α f1 + β f 2 , g ) = α ( f1, g ) + β ( f 2, g ) . Утверждение 9.2. Всякое евклидово пространство является нормированным с нормой f = ( f , f )1/ 2 . Доказательство. 1. Очевидно, что f ет первым двум аксиомам нормы. 61

def.

= ( f , f )1/2 удовлетворя-

2. Докажем неравенство Коши–Буняковского–Шварца

( f , g ) ≤ ( f , f )1/ 2 ( g , g )1/ 2 = f ⋅ g . Выберем угол ϕ так, чтобы ( f , g ) = ( f , g ) e iϕ , и рассмотрим λ = t eiϕ, где t ∈ R. Тогда: 0 ≤ ( f + λ g, f + λ g ) = f = f

2

2

2

+ λ ( g , f ) + λ ( f , g ) + λλ g

+ 2t ( f , g ) + t 2 g

2

=

.

Но тогда D / 4 = ( f , g ) 2 − f 2 ⋅ g 2 ≤ 0 , т.е. получили нужное неравенство: ( f , g ) ≤ f ⋅ g . 3. Теперь установим выполнение неравенства треугольника. Имеем: f +g

2

= ( f + g, f + g ) = f

= f

2

+ g

≤ f

2 2

2

+ 2 Re ( f , g ) ≤ f

+ g

2

(

)

+( f , g) + f , g + g 2

+ g

2

2

=

+ 2 ( f , g) ≤ 2

+2 f ⋅ g =( f + g ) .

Отсюда f + g ≤ f + g и таким образом выполнено и третья аксиома нормы. Утверждение 9.3. 1. Скалярное произведение – непрерывная в X × X функция. 2. Скалярное произведение – счетно-аддитивная функция. Доказательство. 1. Если f n → f , g m → g в X, то

( f n, g m ) − ( f , g ) = ( f n − f , g m ) + ( f , g m − g ) ≤ ≤ ( fn − f ; gm ) + ( f , gm − g ) ≤ fn − f ⋅ gm + + f

3. Если g =

∞

∑ k =1

g m − g → 0 при m, n → +∞.

g k , т.е. g −

n

∑ gk

→ 0 при n → ∞ , то

k =1

∞

n

⎛

n

⎞

k =1

k =1

⎝

k =1

⎠

⎜ f , ∑ gk ⎟ , ∑ ( f , g k ) = nlim ∑ ( f , g k ) = nlim →∞ →∞ 62

откуда ∞

⎛

n

⎞

⎝

k =1

⎠

( f , g ) − ∑ ( f , g k ) = lim ⎜ f , g − ∑ g k ⎟ ≤ n →∞ k =1

≤ f ⋅ lim g − n →∞

n

∑ gk

= 0.

k =1

Таким образом, ∞ ⎛ ⎞ ∞ f , g ( f , gk ) . ⎜ k⎟= ⎝ k =1 ⎠ k =1

∑

∑

Определение 9.6. Полное евклидово пространство называется гильбертовым пространством. Обозначаем далее буквой Ε . Примеры. 1/2 ⎧ ⎛b ⎞ ⎫⎪ ⎪ 2 9.4. CL2 [ a, b ] = ⎨ f ∈ C [ a, b ] , с нормой f CL = ⎜ ∫ f ( x ) dx ⎟ ⎬ . ⎜ ⎟ 2 ⎝a ⎠ ⎭⎪ ⎩⎪

Норма в CL2 [ a, b ] порождается скалярным произведением

( f ,g) =

b

∫ f ( x )g ( x ) dx . a

1/2 ⎧⎪ ⎫⎪ ⎛ ∞ 2⎞ 9.5. l = ⎨ x : x = ( x1, x2 ,..., xn ,...) : x l 2 = ⎜ xk ⎟ ⎬ . ⎝ k =1 ⎠ ⎭⎪ ⎩⎪ Скалярное произведение в l 2 определяется равенством:

∑

2

( x, y ) =

∞

∑ xk y k . k =1

Утверждение 9.4. Пространство CL2 [ a, b ] не является полным.

Пространство l 2 – полное евклидово (гильбертово). Упражнение. Провести доказательство утверждения 9.4.

63

§ 10. Ряды Фурье по ортогональным системам в евклидовых пространствах 10.1. Основные определения

{ f α}α∈

Определение 10.1. Система элементов линейно независимой в X, если С1 f α + ...

⊂ X называется

∀ f α , f α ,..., f α 1

2

m

равенство

+ С m f α = θ возможно тогда и только тогда, когда

1

m

C1 = C 2 = ... = C m = 0 .

Определение 10.2. Система элементов { f α }α∈ называется:

1) всюду плотной в X, если ∀(ε > 0, f ∈ X ) ⇒ ∃ f α ∈ { f α }α∈ : f α − f < ε ;

(

2) линейно плотной в X, если ∀ ( f ∈ X , ε > 0 ) ⇒ ∃ f α ,..., f α ;

C1,..., Cm ) :

f −

m

∑ Ck d α k =1

k

1

m

< ε (т.е. в X всюду плотная оболочка,

натянутая на { f α }α∈ ). ∞

Определение 10.3. Ряд

∑ Ck f k

называется сходящимся в X к f,

k =1

если f −

n

∑ Ck f k

→ 0 при n → ∞. В этом случае f – сумма ряда.

k =1

∞

Определение 10.4. Система (не более чем счетная) {ek } k =1 на-

зывается базисом в X, если ∀f ∈ X ⇒ f =

∞

∑ C k ek

и это представ-

k =1

ление единственно. Определение 10.5. Система (ОС)

в

евклидовом

{ f α}α∈

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

64

называется ортогональной

E,

если

∀α1, α 2 ∈

⇒

(

⇒ fα , fα

(f

1

α1, f α 2

2

)=0

)=δ

при α1 ≠ α 2 и ортонормированной (ОНС), если

α1α 2 . ∞

Определение 10.6. Базис {ek } k =1 в E называется ортонормиро∞

ванным базисом (ОНБ), если {ek } k =1 – базис и ОНС. ∞

Определение 10.7. Пусть {ek } k =1 – ОНС в E. Для ∀ f ∈ E поло-

жим α k = ( f , ek ) и поставим в соответствие элементу f ~

∞

∞

k =1

k =1

f ∈E

∑ α k ek =∑ ( f , ek ) ek . ∞

Тогда – это ряд Фурье функции f по ОНС {ek } k =1 ,

( f , ek )

– коэф-

фициенты Фурье. Утверждение 10.1 (единственность ряда по ОНС). Если

{ek }∞k =1 – ОНС и

E ∞

f=

∑ ck ek , то ck = ( f , ek ) , т.е. этот ряд – ряд Фуk =1

∞

рье функции f по ОНС {ek } k =1 . Доказательство. Используя единственность скалярного произведения, получаем

⎛ ∞ ⎞ ∞ ∀f ⇒ ( f , ek ) = ⎜ ∑ ( ci ei ),ek ⎟ = ∑ ci (ei ,em ) = ck . ⎝ i =1 ⎠ i =1 10.2. Минимальное свойство коэффициентов Фурье. Неравенство Бесселя Теорема 10.1 (минимальное свойство коэффициентов Фурье). ∞

Если {ek } k =1 – ОНС в E, f ∈ E, то min f − β

n

∑

k =1

β k ek = f − 65

n

∑ α k ek k =1

,

где α k = ( f , ek ) , а минимум слева берется по всевозможным наборам β = ( β1,..., β n ) . Доказательство. Распишем квадрат нормы: 2

n

∑ β k ek

f −

k =1

2

= f

+

n

∑

βk

k =1

= f

2

+

n n ⎛ ⎞ =⎜ f − β k ek , f − β k ek ⎟ = ⎝ ⎠ k =1 k =1

∑

2

∑ 2

+

n

βk n

∑

k =1

так как β k − α k

2

n

∑ β k ( f , ek ) − ∑ β k ( f , ek ) = k =1

n

k =1

= f

−

∑

2

k =1

−

n

∑ ( α k βk + α kβk ) = k =1

βk − α k

2

−

= ( βk − α k ) ( β k − α k ) =

n

∑ αk

k =1 2 βk

2

, 2

+ αk

− βk α k − β k α k .

Отсюда inf f − β

n

∑

k =1

2

β k ek

= f

2

−

n

∑ αk

2

(10.1)

k =1

и инфимум достигается при β k = α k = ( f , ek ) . ∞

Следствие (неравенство Бесселя). Если {ek } k =1 – ОНС в E, то ∀f ∈ E ⇒ ∃

∞

∑ ( f , ek )

2

2

≤ f

.

k =1

Замечание. Если

⇒

∞

∑ ( f , ek )

2

= f

2

{ek }∞k =1

– такая ОНС, что

∀f ∈ E ⇒

, то это называют равенством Парсеваля.

k =1

10.3. Критерий базисности ОНС в E ∞

Теорема 10 2. Если {ek } k =1 – ОНС в E, то следующие условия

равносильны. 66

∞

1. {ek } k =1 – ОНБ в E. 2. ∀f ∈ E ⇒

f

2

∞

∑ ( f , ek )

=

2

т.е. справедливо равенство

,

k =1

Парсеваля. ∞

3. {ek } k =1 – линейно плотная в E система. 4. ∀ ( f ∈ E :

( f , ek ) = 0 для всех k = 1, 2,...) ⇒

f = θ.

Доказательство. Проведем по схеме: 1 → 2 → 3 → 4 → 1. ∞

∞

{ek }k =1 – ОНБ в E, то ∀f ∈ E ⇒ f = ∑ ( f , ek ) ek ,

1 → 2. Если

k =1

а тогда 2

f =

∞

k =1

⎛ ∞ = ⎜ ( f , ek ) ek , ⎝ k =1

∑

∞

⎞

∑ ( f , em ) em ⎟ =

⎛

⎞

∞

⎝

m =1

⎠

k =1

∑ ( f , ek ) ⎜ ek , ∑ ( f , em ) em ⎟ = ∑ ( f , ek )

2 → 3. Пусть c k = ( f , ek ) . Тогда n

∑ c k ek

f −

так как ряд система

⎠

m =1

∞

∞

2

= f

2

−

k =1

∑

k =1 ∞ ek k =1 .

ck

2

n

∑

k =1

ck

2

∞

∑

=

k = n +1

ck

2

2

.

→0,

сходится. Таким образом, в E линейно плотна

{ }

3 → 4. По условию: ∀ ( ε > 0, f ∈ E ) ⇒

(

⇒ ∃ ck ,..., ck ; ek ,..., ek 1

n

1

n

):

f −

2

n

∑ ck p =1

e

p kp

0 : ∀x ∈ K1 ⇒ Ax ˆ Ax

Y

Y

≤ C , т.е. ∀ x ∈ X ,

⇒ Aˆ ограничен.

≤C x

2. Пусть X = Y , Aˆ = Iˆ – тождественный оператор. Тогда Iˆ очевидно ограничен, но не компактен. 11.2. Основные примеры

( )

Пусть G ⊆ R n – некоторое множество и D Kˆ

– множество

всех функций f, определенных на G, для которых при ∀ t ∈ G существует (хотя бы как несобственный) интеграл:

( Kˆ f ) ( t ) = ∫ K ( t, τ ) f ( τ ) d τ .

(11.1)

G

( )

Тогда на D Kˆ задан оператор Фредгольма с ядром Kˆ ( t, τ ) . Аналогично,

если

( )

∀f ∈ D Kˆ

для

и

любого

t ∈ [ a, b ] ,

−∞ ≤ a < b ≤ +∞ , определен оператор

( )

t

∫

kˆ f ( t ) = k ( t, τ ) f ( τ ) d τ ,

( )

(11.2)

a

то на множестве D kˆ задан оператор Вольтерра kˆ с ядром k ( t, τ ) . 71

Утверждение 11.3. Пусть G – ограниченное, измеримое мноотрезок), ядро K ( t, τ ) ∈ C ( G × G ) жество ([ a, b ] – ( k ( t, τ) ∈C ( [ a, b] × [ a, b] ) ) , то операторы Kˆ и kˆ являются линейны-

ми, ограниченными операторами в пространствах C ( G ) и C [ a, b ] соответственно. Доказательство. Линейность операторов очевидна. То, что ∀ f ∈ C ( G ) ( ∀f ∈ C [ a, b ] ) ⇒ Kˆ f ∈ C ( G ) kˆ f ∈ C [ a, b ] , следует из

(

)

теоремы о непрерывности собственного интеграла по параметру. Наконец, ограниченность операторов (11.1) и (11.2) в этом случае следует из оценок: Kˆ f = sup K ( t, τ ) f ( τ ) d τ ≤ C(G )

∫

t∈G G

≤ sup K ( t , τ ) ⋅ sup f ( τ ) μ ( G ) = C f t , τ∈G

kˆ f

C [ a,b ]

τ∈G

C(G )

,

≤ sup k ( t, τ ) sup f ( τ ) ( b − a ) = C f t ,τ∈[ a,b ]

τ∈[ a,b ]

C[ a,b ] .

Напомним следующую теорему. Теорема Арцела. Множество M относительно компактно в C ( G ) тогда и только тогда, когда: 1) множество M равномерно ограничено в C ( G ) , т.е. ∃ C > 0 : ∀f ∈ M ⇒ f C (G ) ≤ C ;

2) множество M равностепенно непрерывно в C ( G ) , т.е. ∀ε > 0 ⇒ ∃δ ( ε ) > 0 : ∀ ( t1, t2 ∈ G : ρ ( t1, t2 ) < δ ) ⇒ sup f ( t1 ) − f ( t 2 ) < ε . f ∈M

Упражнение. Провести доказательство достаточности в теореме Арцелла. Утверждение 11.4. Операторы Kˆ , kˆ являются вполне непрерывными операторами в C ( G ) и C [ a, b ] соответственно, при выполнении требований утверждения 3. Доказательство. Проведем доказательство для оператора Kˆ . Пусть X ⊂ C ( G ) – любое ограниченное множество, т.е. ∃ C0 > 0 : ∀ f ∈ X ⇒ f C ( G ) ≤ C 0 . 72

ˆ Обозначим M = KX и докажем, что M – относительно компактное в C ( G ) множество. Воспользуемся теоремой Арцела. Имеем: а) ∀ g = Kˆ f ∈ M ⇒ ˆ g C ( G ) = Kf ≤ sup K ( t, τ ) f C ( G ) ⋅ μ ( G ) ≤ C(G )

t ,τ∈G

≤ C0μ ( G ) sup K ( t, τ ) = C, t , τ∈G

т.е. M – равномерно ограничено; ˆ б) sup g ( t1 ) − g ( t 2 ) = sup Kf g∈M

≤ sup

f ∈X

( ) ( t1 ) − ( Kfˆ ) ( t2 ) ≤

∫ K ( t1, τ ) − K ( t2, τ )

f ∈X G

f ( τ) d τ .

Так как K ( t, τ ) равномерно непрерывная на G × G функция, то ∀ε > 0 ⇒ ∃δ ( ε > 0 ) : ∀ ( ( t1, τ ) , ( t 2 , τ ) : ρ ( t1; t 2 ) < δ ) ⇒ ⇒ K ( t1, τ ) − K ( t 2 , τ ) < ε / c0μ ( G ) .

Фиксируем

ε > 0 , выбираем

δ ( ε ) > 0 . Тогда

∀ ( t1, t 2 ∈ G :

ρ ( t1, t 2 ) < δ ) ⇒ sup g ( t1 ) − g ( t 2 ) < ε , т.е. множество M равностеg∈M

пенно непрерывно. По теореме Арцела получаем, что M относительно компактно, а тогда Kˆ вполне непрерывен в C ( G ) . Упражнение. Провести доказательство утверждения 2 для оператора kˆ . 11.3. Интегральный оператор с полярным ядром Определение 11.8. Ядро K α ( t, τ ) =

K ( t, τ ) t −τ α

, где K ( t, τ ) = C ( G ) ×

×C ( G ) , а 0 < α < n, называется полярным ядром. Здесь, как и ранее,

G ⊆ R n , а t − τ = ρ ( t, τ ) . 73

Далее рассмотрим оператор ( Kˆ α f ) ( t ) = K α ( t, τ) f ( τ ) d τ .

∫

(11.3)

G

Утверждение 11.5. Если G – измеримое, ограниченное множество, то Kˆ α – линейный, вполне непрерывный оператор в C ( G ) .

Доказательство. 1. Пусть X – любое ограниченное в C ( G ) множество, т.е. ∃ C0 > 0 : ∀ f ∈ X ⇒ f C ( G ) ≤ C0 . Тогда: sup sup ( Kˆ α f ) ( t ) ≤ sup f f ∈X t∈G

f ∈X

∫

≤ C1 sup

t∈G K R (t )

dτ t−τα

C (G ) ⋅

dτ

∫ t−τα ≤ t∈G

sup K ( t, τ ) ⋅ sup

( t, τ )∈G

G

= {в сферических координатах τ = t + ηρ , где

0

η = ( cos α1,..., cos α n ) – единичная нормаль к сфере S R (t) }= 0

= C1μ ( S1 )

R0

∫ 0

ρ n −1 ρα

d ρ = C2 < +∞ .

Здесь K R ( t ) – шар радиусом R0 с центром в точке t, а R0 выбра0

но так, чтобы G ⊂ K R ( t ) при любом t ∈ G; μ ( S1 ) – площадь еди0

ничной сферы в R . Таким образом, множество Kˆ α X равномерно n

ограничено в C ( G ) .

2. Докажем равностепенную непрерывность Kˆ α X (и тем самым

непрерывность любой функции ( Kˆ α f ) ( t ) в любой точке t ∈ G). Имеем: ∀ ( t1, t2 ∈ G : t1 − t 2 < δ ) ⇒ sup ( Kˆ α f ) ( t1 ) − ( Kˆ α f ) ( t2 ) ≤ f ∈X

≤ C0

∫

G

K ( t1, τ ) t1 − τ

α

−

K ( t2, τ ) t2 − τ

α

⎡ ⎤ ⎥ = C ( J + J ). d τ = C0 ⎢ + 0 1 2 ⎢ ⎥ ⎣ K 2δ ( t1 ) G \ K 2δ ( t1 ) ⎦

∫

74

∫

Для J1 получаем, положив C1 = sup K ( t, τ ) : t ,τ∈G

⎡ dτ d τ ⎤⎥ ⎢ C0 J1 ≤ C0C1 + ≤ α α⎥ ⎢ t t − τ − τ K t K t ( ) ( ) 1 2 ⎣ 2δ 1 ⎦ 2δ 1

∫

≤ 2C0C1

∫

dτ

K 4δ ( t1 )

Теперь

α

= 2C0C1μ ( S1 )

и

( 4δ1 ) n−α < ε .

n−α K ( t, τ ) t −τ α

4δ

∫

ρ n−1d ρ ρα

0

ε>0

задаем

2C0C1μ ( S1 ) функция

t1 − τ

∫

2

подбираем

= 2C0C1μ ( S1 )

δ1 ( ε ) > 0

( 4δ ) n −α

так,

n−α

.

чтобы

Фиксируем далее такое δ1 ( ε ) > 0 . Тогда

равномерно непрерывна на множестве {( t, τ ) :

t ∈ G, t − τ ≥ δ1} . Поэтому для выбранного ε > 0 ⇒ ∃δ 2 ( ε ) > 0 :

K ( t1, τ )

∀ ( t1, t 2 ∈ G : t1 − t 2 < δ 2 ) ⇒

t1 − τ

α

−

K ( t2, τ ) t2 − τ

α


0 ⇒ ∃δ ( ε ) > 0 : ∀ ( t1, t 2 ∈ G : t1 − t 2 < δ ) ⇒

(

⇒ sup Kˆ α f f ∈X

) ( t1 ) − ( Kˆ α f ) ( t2 ) < ε ,

т.е. множество Kˆ α X равностепенно непрерывно. Поэтому оператор Kˆ α : C ( G ) → C ( G ) – вполне непрерывный оператор. Его линейность теперь очевидна. Замечание. Нам в дальнейшем понадобятся также интегральные K ( t, τ ) f ( τ ) dS τ , где S – граница огоператоры вида Kˆ α f ( t ) = α t − τ S

(

)

∫

раниченной области G, K ( t, τ ) ∈ C ( S × S ) , 0 < α < n − 1 . Параметри75

зацией поверхности S сводим рассмотрение такого оператора к оператору утверждения 11.5. § 12. Интегральный оператор Фредгольма с вырожденным ядром в пространстве C ( G )

Здесь рассматриваем оператор ˆ ) ( t ) = K ( t, τ ) y ( τ ) d τ ( Ky

∫

(12.1)

G

с

ядром

K ( t, τ ) =

m

∑ α j ( t ) β j ( τ) ,

где

j =1

α j (t ) , β j (t ) ∈ C (G ) ,

j = 1, 2,..., m . Такие ядра называются вырожденными. Область G

{ } j=1 и {β j } j=1 мож-

считаем ограниченной. Cистемы функций α j

m

m

но считать линейно независимыми без ограничения общности Рассмотрим следующую задачу: для заданного числа μ ∈ C и функции f ∈ C ( G ) найти функцию y ∈ C ( G ) , удовлетворяющую уравнению

∫

y ( t ) = μ K ( t, τ ) y ( τ ) d τ + f ( t ) .

(12.2)

G

Уравнение (12.2) называется интегральным уравнением Фредгольма 2-го рода с вырожденным ядром. Наряду с уравнением (12.2) рассмотрим отвечающее ему однородное

∫

y ( t ) = μ K ( t, τ ) y ( τ ) d τ

(12.3)

G

и пару союзных (или сопряженных) уравнений:

∫

z ( t ) = μ K ∗ ( t, τ ) z ( τ ) d τ + g ( t ) ,

(12.4)

G

∫

z ( t ) = μ K ∗ ( t, τ ) z ( τ ) d τ , G

76

(12.5)

где K ∗ ( t, τ ) = K ( τ, t ) =

m

∑ α j ( τ) β j ( τ) , а j =1

g ∈ C ( G ) – также задан-

ная функция. Подставляя в (12.2) ядро (12.1), получим m

∑ y j α j (t ) ,

y (t ) = f (t ) + μ

j =1

∫

где y j = y ( τ ) β j ( τ ) d τ . G

Далее, подставляя y ( t ) в (12.2), получаем при μ ≠ 0 : m

∑

f (t ) + μ

j =1

⎛ y jα j ( t ) f ( t ) + μ ⎜ ⎜ G ⎝

⎞

m

α j (t ) β j ( τ) ⎟ × ∫ ∑ ⎟ j =1 ⎠

⎛ ⎞ × ⎜ f ( τ ) + μ y j α j ( τ ) ⎟ d τ; ⎜ ⎟ j =1 ⎝ ⎠ m ⎡ y jα j ( t ) = α j (t ) ⎢ β j ( τ) f ( τ) d τ + ⎢⎣G j =1 m ⎛ ⎞ ⎤ +μ ⎜ β j ( τ ) α i ( τ ) d τ ⎟ yi ⎥ . ⎜ ⎟ ⎥ i =1 ⎝ G ⎠ ⎦ m

∑

m

∑ j =1

∑

∫

∑ ∫

{ } j=1

Функции α j

m

линейно независимы, поэтому решение уравне-

ния (12.2) равносильно решению системы линейных алгебраических уравнений (СЛАУ): m

∑ Cij yi + f j ,

yj =μ

∫

j = 1, 2,..., m ,

(12.2′)

i =1

∫

∫

y j = β j ( τ ) y ( τ ) d τ ; f j = β j ( τ ) f ( τ ) d τ ; Cij = α j ( τ ) β j ( τ ) d τ . G

G

G

В самом деле, если y ∈ C ( G ) – решение (12.2), то из приведенных выкладок следует, что y = { y1,..., ym } , yi = β j ( τ ) y ( τ ) d τ удовле-

∫

G

творяет системе (12.2′). Обратно, если y = ( y1,..., ym ) – какое-либо 77

m

∑ y jα j ( t ) , как следует

решение (12.2′), то функция y ( t ) = f ( t ) + μ

j =1

из тех же выкладок, удовлетворяет уравнению (12.2). Отметим, что уравнения (12.3)–(12.5) тем же образом переходят в эквивалентные им системы линейных алгебраических уравнений: m

∑ Cij yi ,

(12.3′)

∑ C ji zi + g j ,

(12.4′)

yj =μ zj =μ

i =1

m

i =1

m

∑ C ji zi ,

zj =μ где

zj =

i =1

∫ α j ( τ) z ( τ) d τ ,

gj =

G

и функция z ( t ) = g ( t ) + μ

(12.5′)

∫ α j ( τ) g ( τ) d τ ,

G

m

∑ β j (t ) z j . j =1

Для систем линейных алгебраических уравнений (СЛАУ) (12.3′)–(12.5′) справедлива следующая теорема (теорема Фредгольма). Теорема 12.1′. 1. Либо уравнение (12.2′) имеет единственное решение при любом f = { f1,..., f m } , либо уравнение (12.3′) имеет ненулевое решение (альтернатива Фредгольма); 2. Уравнение (12.3′) и (12.5′) имеют одно и то же число линейно независимых решений (т.е. размерности пространств решений уравнений (12.3′) и (12.5′) равны); 3. Уравнение (12.2′) разрешимо для тех и только тех f , которые ортогональны всем решениям z уравнения (12.5′): m

∑ fj zj =0. j =1

78

{ }i, j =1 , запишем уравнения

Доказательство. Обозначив C = cij

m

(12.2′)–(12.5′) в матричной форме (стрелка вниз обозначает представление вектора в виде вектора-столбца): (12.2′′) ( E − μC ) y = f , ↓

↓

↓

↓

( E − μ C ) y =0 ,

(12.3′′)

( E − μC * ) ↓z = g↓ , ( E − μC * )↓z = 0↓ ,

(12.4′′) (12.5′′)

где C * – сопряженная с C матрица. Тогда: 1) (12.2′′) однозначно разрешимо ∀ f ⇔ det ( E − μ C ) ≠ 0 ⇔ (12.3′′) имеет только нулевое решение; 2) E − μC* = ( E − μC )* ⇒ r = Rang( E − μC ) = Rang( E − μC*) ⇒ размерность пространств решений (12.3′′) и (12.5′′) равны ( m − r ) , т.е. они равны между собой; ⎛ ⎞ 3) если f = ( E −μC) y , а E −μC* z = 0 , то ( f , z) = ⎜(E −μC) y, z ⎟ = ↓ ↓ ⎝ ⎠ ↓ ↓ ⎛ ⎞ = ⎜ y, E − μC * z ⎟ = ( y,0) = 0 , т.е. если (12.2′′) имеет при заданном ⎝ ⎠ f решение, то f ортогональна любому решению (12.5′′). Обрат-

(

(

)

)

но, пусть f такова, что она ортогональна всем решениям (12.5′′). Тогда, в силу того, что R m = Ker( E − μC ) * ⊕ Im( E − μC ) ⇒ f ∈ Im( E − μC ) ⇒ ↓

⇒ ∃ y ∈ R : ( E − μC ) y = f . m

↓

↓

Здесь Ker( E − μC ) * и Im( E − μC ) – ядро и образ операторов, отвечающих указанным здесь матрицам. В качестве следствия получаем соответствующую теорему для уравнений (12.2)–(12.5). 79

Теорема 12.1. 1. Либо уравнение (12.2) имеет единственное решение при любой f ∈ C ( G ) , либо уравнение (12.3) имеет ненуле-

вое решение в C ( G ) .

2. Размерности пространств решений уравнений (12.3) и (12.5) конечны и равны между собой. 3. Уравнение (12.2) разрешимо для тех и только тех f ∈ C ( G ) , которые для любого решения z уравнения (12.5) удовлетворяют условию

∫ f ( τ) z ( τ) d τ = 0 .

G

Доказательство. Пункты 1 и 2 следуют из взаимной однозначности между решениями уравнений (12.2)–(12.5) и СЛАУ (12.2′–12.5′). Для доказательства пункта 3 осталось убедиться, что если f ( τ ) ↔ f и z ( τ ) ↔ z , то

∫ f ( τ) z ( τ) d τ = 0

⇔

( f,z) =0.

В

G

силу выписанных ранее соотношений:

∫

f ( τ) z ( τ) d τ =

G

∫

m

∑ β j ( τ) z j d τ =

f ( τ) μ

j =1

g

m ⎛ ⎞ ⎜ f ( τ) β j ( τ) d τ ⋅ z j ⎟ = μ f j z j = μ ( f , z ). ⎜ ⎟ j =1 ⎝ g j =1 ⎠ Замечание. Данная теорема остается справедливой для любого вполне непрерывного в C ( G ) оператора. В частности, она справедm

∑ ∫

=μ

∑

лива для операторов Фредгольма с непрерывным в C ( G × G ) ядром K ( t, τ ) и с полярным

K ( t, τ )

, 0 < α < n , ядром. t −τ α Здесь эту теорему доказывать не будем, но полностью ее докажем в случае евклидовых пространств.

80

§ 13. Метод последовательных приближений решения интегральных уравнений Вольтерра и Фредгольма второго рода

Для заданного параметра μ ∈ C и функции f ∈ C ( G ) рассмотрим интегральные уравнения

( ) ˆ ) (t ) + f (t ) , y ( t ) = μ ( Ky y ( t ) = μ ( Kˆ α y ) ( t ) + f ( t ) , ˆ (t ) + f (t ) , y ( t ) = μ ky

(13.1) (13.2) (13.3)

где операторы kˆ , Kˆ и Kˆ α были введены ранее. Уравнение (13.1), (13.2), (13.3) называются, соответственно, интегральными уравнениями Вольтерра, Фредгольма и уравнением Фредгольма с полярным ядром второго рода. 13.1. Теорема существования и единственности (ТСЕ) решения интегрального уравнения Вольтера Теорема 13.1. ∀ f ∈ C [ a, b ] , ∀μ ∈ C ⇒ уравнение (13.1) имеет и притом единственное решение y ∈ C [ a, b ] . Доказательство. 1. Применим метод последовательных приближений. Пусть: M = f C[ a,b] = sup f ( t ) , L = k C ([ a,b]×[ a,b]) . t∈[ a,b ]

Положим:

y0 ( t ) = f ( t ) , t

∫

y1 ( t ) = f ( t ) + μ k ( t, τ ) y0 ( τ ) d τ , a

. . . , t

∫

yn ( t ) = f ( t ) + μ k ( t, τ ) y n−1 ( τ ) d τ . a

81

Тогда по индукции, используя теорему о непрерывности интеграла по параметру, получаем: ∀n ⇒ yn ∈ C [ a, b ] . Далее: t

∫ k ( t, τ ) f ( τ ) d τ ≤ LM μ ( t − a ) ;

y1 ( t ) − y0 ( t ) = μ

a

y 2 ( t ) − y1 ( t ) = μ

t

∫ k ( t, τ) ( y1 ( τ) − y0 ( τ) ) d τ ≤ a

t

∫

≤ ML2 μ 2 ( τ − a ) d τ = ML2 μ 2 a

(t − a )2 2!

;

и т.д. Для n-й разности получаем: y n ( t ) − yn −1 ( t ) = μ

t

∫ k ( t, τ ) ( yn−1 ( τ ) − yn−2 ( τ ) ) d τ ≤ a

≤ MLn μ n

t

1 ( t − a )n . ( τ − a ) n −1 d τ = MLn μ n n! ( n − 1) ! a

∫

Теперь рассмотрим ряд: y ( t ) = y0 ( t ) +

∞

∑ ( yk ( t ) − yk −1 ( t ) ) . k =1

Это ряд из непрерывных функций, который, в силу полученных оценок, по теории Вейерштрасса сходится равномерно на [ a, b ] при ∀μ ∈ C . Но тогда его сумма y ( t ) ∈ C [ a, b ] . Покажем, что y ( t ) удовлетворяет уравнению (13.1). Так как y n ( t ) = y0 ( t ) +

n

⎯⎯→ → y (t ) , ∑ ( yk ( t ) − yk −1 ( t ) ) ⎯⎯ [ a, b ] k =1

то, по теореме о переходе к пределу под знаком собственного интеграла, получаем: t ⎛ ⎞ y ( t ) = lim y n ( t ) = lim ⎜ f ( t ) + μ k ( t, τ ) y n −1 ( τ ) d τ ⎟ = ⎟ n →∞ n→∞ ⎜ ⎝ ⎠ a

∫

82

t

∫

= f ( t ) + μ k ( t, τ ) y ( τ ) d τ , a

т.е. найденная функция есть решение уравнения (13.1). 2. Докажем единственность этого решения. Если y1(t ) и

y2 (t ) ∈ C [ a, b ] два решения (13.1), то z ( t ) = y1 ( t ) − y2 ( t ) ∈ C [ a, b ] и удовлетворяют уравнению: t

∫

z ( t ) = μ k ( t, τ ) z ( τ ) d τ . a

t

τ1 a

t

a τ1

a

a

Но тогда ∀n ⇒ z (t) = μ k (t, τ1) d τ1 k (τ1, τ 2) z (τ 2) d τ1 = ... =

∫

=μ

n

∫

τ n −1

∫ k (t, τ1) d τ1 ∫ k (τ1, τ2) d τ2... ∫ k (τn−1, τn) z (τn) d τn. a

Отсюда получаем оценку для модуля функции: t

∫

τ1

τ n −1

a

a

∫

z ( t ) ≤ μ n Ln z C[ a,b] d τ1 d τ 2... a

= μ n Ln z

(t − a ) C

n

≤ μ n Ln

(b − a )n

n! Следовательно, справедливо неравенство: ∀n :

z

C

∫

n!

d τn = z

= sup z ( t ) ≤ μ n Ln ( b − a ) n z t∈[ a,b]

= 0 , так как

C.

C

1 . n!

( μ L (b − a ))n

→ 0 при n! n → +∞ . Следовательно, z ( t ) ≡ 0 на [ a, b ] . Теорема доказана.

Это возможно лишь при z

C

83

13.2. ТСЕ решения интегрального уравнения Фредгольма Теорема 13.2. Пусть L = K

C ( G×G ) ,

μ ( G ) < +∞ – мера области

⎛ 1 ⎞ G. Тогда ∀ ⎜ μ : μ < ⎟ ⇒ уравнение (13.2) имеет и притом Lμ ( G ) ⎠ ⎝ единственное решение. Доказательство. Доказательство проводим методом последовательных приближений. Полагаем: y0 ( t ) = f ( t ) ,

∫

y1 ( t ) = f ( t ) + μ K ( t, τ ) y0 ( τ ) d τ , G

. . . ,

∫

yn ( t ) = f ( t ) + μ K ( t, τ ) y n−1 ( τ ) d τ . G

Имеем ∀ n ⇒ yn ∈ C ( G ) и, положив M = f

C

, получаем:

y1 ( t ) − y0 ( t ) ≤ μ MLμ ( G ) ; y 2 ( t ) − y1 ( t ) ≤ M ( μ Lμ ( G ) ) 2 , . . . ,

y n ( t ) − y n−1 ( t ) ≤ M ( μ Lμ ( G ) ) n ,

n = 1, 2,... .

Тогда в силу условий теоремы, используя теорему Вейерштрасса, получаем, что ряд y ( t ) = y0 ( t ) + сходится на

G

∞

∑ ( yn ( t ) − yn−1 ( t ) ) n =1

равномерно. Следовательно,

y (t ) ∈ C (G )

и

y ( t ) = lim y n ( t ) . Используя теорему о переходе к пределу под знаn→∞

ком интеграла, получаем, что y ( t ) есть решение уравнения (13.2). Наконец, если y1 ( t ) и y2 ( t ) – два решения, то z ( t ) = y1 ( t ) − y2 ( t ) удовлетворяет уравнению

∫

z ( t ) = μ K ( t, τ ) z ( τ ) d τ , G

84

откуда z ем: z

C

C

≤ μ Lμ ( G ) z

C.

В силу того, что μ Lμ ( G ) < 1 получа-

= 0 т.е. решение уравнения (13.2) единственно.

13.3. ТСЕ решения интегрального уравнения Фредгольма второго рода с полярным ядром

Рассмотрим теперь уравнение (13.3) с полярным ядром K α ( t, τ ) : K α ( t, τ ) =

K ( t, τ ) t −τ α

,

K ( t, τ ) ∈ C ( G × G ) ,

0 N :

ˆ Ax n

k

≥ ε0 .

Оператор A – вполне непрерывный в E. Следовательно, так как ∞

последовательность { xn } n=1 ограничена, то существует последова∞

⎧ˆ ⎫ тельность ⎨ Ax фундаментальная в E. Тогда имеем оценку: nk ⎬ p ⎭ p=1 ⎩ ˆ ε 20 ≤ Ax n

2

⎛ˆ ⎞ ⎛ˆ ⎞ ˆ ˆ ˆ = ⎜ Ax nk , Ax nk − Ax nk ⎟ + ⎜ Ax nk , Ax nk ⎟ ≤ p p z ⎠ ⎝ p r ⎠ ⎝ ⎛ˆ ⎞ ˆ ˆ ˆ ≤ Aˆ Ax nk − Ax nk + ⎜ Ax nk , Ax nk ⎟ . p r p r ⎠ ⎝

kp

96

ˆ Получаем ∃ N : ∀ nk , nk > N ⇒ Ax n p

r

kp

ˆ − Ax n

kr


M , что невозможно. Следователь( Ax 0 0

(

) (

)

ˆ , x = Ax ˆ ,x = но, x0 = 1 . Получили: ∃ x0 ∈ E : x0 = 1 и sup Ax 0 0 x =1

= M = Aˆ (см. теорему 15.3).

98

Докажем, что x0 – собственный вектор оператора Aˆ , отвечающий собственному значению λ = Aˆ . Имеем:

( ) ˆ ) − λ ( Ax ˆ , x ) + λ2 ( x , x ) = −λ ( x0 , Ax 0 0 0 0 0 ˆ − λx Ax 0 0

2

ˆ − λx Но тогда Ax 0 0

2

ˆ − λ x , Ax ˆ − λ x = Ax ˆ = Ax 0 0 0 0 0

2

ˆ Ax 0

2

−

− λ 2 ≤ 0.

ˆ = λ x , где λ = Aˆ . = 0 ⇒ Ax 0 0

Далее, если λ1 – любое собственное значение оператора Aˆ , x1 – отвечающий λ1 собственный вектор с x1 = 1 , то: ˆ , x ≤ sup Ax ˆ , x = Aˆ . λ1 = (λ1x1, x1) = Ax 1 1

(

)

x =1

(

)

Теорема доказана. Отметим еще следующие свойства собственных значений и собственных векторов самосопряженного вполне непрерывного оператора Aˆ . Теорема 15.5. 1. Любому ненулевому собственному значению λ самосопряженного, вполне непрерывного оператора Aˆ может отвечать лишь конечное число линейно независимых собственных векторов. 2. Если вполне непрерывный, самосопряженный оператор Aˆ имеет бесконечно много собственных значений, то единственной их предельной точкой является точка λ = 0. Доказательство. 1. Пусть x1,..., xn ,... – бесконечное множество собственных векторов Aˆ , отвечающих собственному значению λ ≠ 0. Допустим, что они линейно независимы. Проводя ортогонализацию по Шмидту системы функций

{ xn }∞n=1 ,

получим ОНС

{ek }∞k =1 :

ˆ = λ e . Тогда согласно неравенству Бесселя имеем: Ae k k

∀y ∈ E ⇒

2 ∑ ( y, ek ) ≤

∞

y 2 . Отсюда:

k =1

w − lim ek = θ . k →∞

99

( y, ek ) → 0

при k → ∞ , т.е.

(

) (

)

ˆ , e → Aˆ θ, θ = 0 , т.е. λ= 0, что По лемме 15.2 имеем: λ ≡ Ae k k противоречит условию. ∞ 2. Пусть {λ n } n=1 – отличные от нуля собственные значения Aˆ , ∞

записанные с учетом их кратностей (конечных по п. 1), { xn } n=1 – соответствующие ОНС собственных векторов. Тогда вновь ∀y ∈ E ⇒

∞

2 ∑ ( y, x k ) ≤ k =1

y 2 . И тогда

(

0 = ( y, θ ) , ( y, xk ) k→ →∞

) k →∞ (

)

т.е.

ˆ , x → Aˆ θ, θ = 0 , т.е. λ → 0 . θ = w − lim xk . Тогда: λ k = Ax k k k k →∞

k→∞

15.5. Теорема Гильберта−Шмидта Теорема 15.6. Пусть Aˆ – линейный, самосопряженный вполне

непрерывный оператор в E. Тогда в E существует ОНС

{ek }nk0=1 ,

n0 ≤ +∞ , состоящая из собственных векторов оператора Aˆ , отве-

чающих ненулевым собственным значениям {λ k } k0=1 , расположенn

ным в порядке убывания модулей и с учетом их кратностей, такая, что: 1) ∀ x ∈ E ⇒ x =

n0

∑ ck ek + x′ , где ck = ( x; ek ) и x′ ∈ Ker A ;

K =1

ˆ = 2) Ax

n0

∑ c k λ k ek .

K =1

В случае n0 = +∞ сходимость рядов понимается по норме пространства E. Доказательство. По теореме 15.4 ⇒ ∃ λ1 : λ1 = Aˆ

(

ˆ = λ e , e = 1) . Рассмотрим множество: Ae 1 1 1 1 M 1⊥ = { x ∈ E : 100

( x, e1 ) = 0}

и e1 :

и покажем, что M 1⊥ – линейное подпространство в E, инвариантное для оператора Aˆ . Линейность множества M 1⊥ очевидна, а если x ∈ M 1⊥ , то ˆ , e = x, Ae ˆ = λ ( x, e ) = 0 , Ax 1 1 1 1

(

) (

)

ˆ ∈ M ⊥ . Следовательно, M ⊥ – инвариантное подпространт.е. и Ax 1 1 ˆ ство оператора A в E. Рассмотрим сужение Aˆ на M 1⊥ . Тогда на M 1⊥ оператор Aˆ также линейный, самосопряженный, вполне непрерывный. Имеем: ˆ ,x ≤λ . Aˆ ⊥ = sup Ax 1 M1

x∈M1⊥ x =1

(

)

теореме 15.4 ⇒ ∃ ( e2 ≠ θ ) ∈ M 1⊥ : λ 2 = Aˆ ⊥ ≤ λ1 , а e2 = 1 .

ˆ =λ e , Ae 2 2 2

По

где

M1

Далее рассмотрим подпространство в E: M 2⊥ = { x ∈ E :

( x, ei ) = 0,

i = 1, 2} .

Очевидно M 2⊥ – инвариантное в M 1⊥ ⊂ E для оператора Aˆ линейное подпространство. Сужение оператора Aˆ на M 2⊥ также является линейным, самосопряженным, вполне непрерывным оператором на M 2⊥ . Положим: ˆ ,x ≤ λ ≤ λ . Aˆ = sup Ax M 2⊥

x∈M 2⊥ x =1

(

Тогда по теореме 15.4 существует λ 3 = Aˆ

M 2⊥

)

2

1

( e3 ≠ θ ) ∈ M 2⊥ :

ˆ = λ e , где Ae 3 3 3

, а e3 = 1 .

Продолжая этот процесс, на n-м шаге строим ОНС

{ei }in=1 :

ˆ = λ e , где λ ≥ λ ≥ ... ≥ λ > 0 . Возможны два случая. Ae 1 2 n i i i 101

(

) (

1. ∃ n0 < +∞ : ∀ x ∈ M n⊥ : В этом случае Aˆ

M n⊥

0

ˆ , x) = 0 , ( Ax

= sup

0

т.е. на M n⊥

)

ˆ ,x =0. x = 1 ⇒ Ax

0

x∈M n⊥ 0 x =1

Aˆ = θ – нулевой оператор, а тогда M n⊥0 = Ker A . Таким

образом, в этом случае существует конечная ОНС

{eK }nK0=1 ,

со-

стоящая из собственных векторов Aˆ , отвечающих ненулевым собственным значениям

{λ k }nk0=1 :

λ1 ≥ λ 2 ≥ ... ≥ λ n > 0 . При этом 0

∀x ∈ E ⇒ n0

ˆ = x = ∑ ( x, ek ) + x′, где x′ ∈ Ker A ; Ax k =1 ∞ ek k =1 :

2. ∃{

}

( ek , e j ) = δkj ,

n0

∑ λ k ( x, ek ) ek . k =1

ˆ =λ e Ae k k k

и

λ1 ≥ λ 2 ≥ ... ≥

≥ λ n ≥ ... > 0 – ненулевые собственные числа оператора A, занумерованные с учетом кратностей. Так как каждое (ненулевое) собственное значение имеет по теореме 15.5 конечную кратность, то различных собственных чисел бесконечно много. Тогда по теореме 15.5 ⇒ λ k → 0 при k → ∞ . Рассмотрим линейное подпространство в E: M⊥ =

∞

∩ M k⊥ . k =1

Тогда ∀n ⇒ M ⊥ ⊂ M n⊥; ∀ x ∈ M ⊥ ⇒

ˆ , e ) = ( x, Ae ˆ ) = λ ( x, e ) = 0 ; ( Ax n n n n

т.е. M ⊥ – инвариантное для оператора Aˆ линейное подпространство в E. ˆ , x ≤ sup Ax ˆ ,x = λ Имеем: Aˆ ⊥ = sup Ax n +1 → 0 . M

x∈M ⊥ x =1

Таким образом, Aˆ

(

M⊥

)

x∈M n⊥ x =1

(

)

n→∞

ˆ на M ⊥ , а M ⊥ = Ker A . = 0 , т.е. Aˆ = Θ 102

Тогда ∀ x ∈ E ⇒ x = x′ +

∞

∑ ( x, ek ) ek ,

x′ ∈ Ker A ;

k =1

ˆ = Ax

∞

∑ λ k ( x, ek ) ek , k =1

где λ k → 0 . k →∞

Теорема доказана. Замечания. 1. Построенная ОНС

{ek }nk0=1

называется макси-

мальной системой собственных векторов, отвечающих ненулевым собственным значениям оператора Aˆ .

2. Если в пространстве M ⊥ = Ker A существует ОНБ {ek } k =01 , то, m

дополняя ОНС

{ek }nk0=1

системой

{ek }mk =01 ,

получим ОНБ во всем

пространстве E. 15.6. Решение линейных уравнений с самосопряженным, вполне непрерывным оператором

В евклидовом пространстве E рассмотрим уравнение Фредгольма второго рода с вполне непрерывным, самосопряженным оператором Aˆ : ˆ +f , (15.1) x = μ Ax где μ ∈ C , а f ∈ E – заданный элемент. Пусть {ek } k 0=1 – максимальная ОНС собственных векторов опеn

n ратора Aˆ , отвечающая собственным значениям {λ k } k0=1 , записан-

ным с учетом кратностей в порядке убывания их модулей. По теоx′ ∈ Ker A ∀x ∈ E , реме Гильберта–Шмидта получаем: x′ ∈ Ker A ⇒ x = x′ +

n0

∑

k =1

( x, e k ) e k

;

ˆ = Ax

n0

∑ λ k ( x, ek ) ek . k =1

103

n0

Теперь уравнение (15.1) запишется в виде: x = f + μ∑ λ k ( x, ek ) ek . k =1

Умножая скалярно обе части этого равенства на en и обозначая

( x, en ) = xn ,

получим, что для того, чтобы элемент x ∈ E был бы

решением (15.1), необходимо и достаточно выполнения равенств: (15.2) (1 − μλ n ) ( x, en ) = ( f , en ), n = 1, 2,..., n0 . Возможны два случая. 1. ∀ n ⇒ 1 − μλ n ≠ 0 . Тогда уравнение (15.1) имеет и притом удовлетворяющее соотношениям единственное решение, ( x, en ) = ( f , en ) / (1 − μλ n ) , n = 1, 2,..., n0 . Тогда решение задается формулой: x =μ

n0

∑

λ k ( f , ek )

(15.3) ek + f . − μλ 1 k k =1 Отметим, что в этом случае однородное уравнение: ˆ (15.1′) x = μ Ax имеет лишь нулевое решение. 2. ∃ i : 1 − μλ i = 0 , т.е. μ = λ i − 1 . Пусть выбран наименьший из таких номеров. Тогда если λ i – собственное значение A кратности s , т.е. λ i = λ i +1 = ... = λ i + s −1 , а ei , ei +1,..., ei + s −1 – соответст-

вующие собственные векторы, то из (15.2) следует, что при n = i , i + 1 , i + 2 ,…, i + s − 1 эти уравнения разрешимы тогда и только тогда, когда выполнены равенства: ( f , en ) = 0 для n = i , i + 1 ,…, i + s − 1 . Это означает, что правая часть ортогональна всем реше-

ниям (15.1′) с μ = λ i − 1 . При выполнении этого условия получаем,

что xi = C1, xi +1 = C 2 ,..., xi + s −1 = C s –

произвольные числа, а решение (15.1) имеет вид: n0 λ ( f ,e ) x= f + ∑ λk − λ k ek + C1ei + ... + CΔei + s −1 k =1 i k k ≠ i,...,i + s −1

104

(15.4)

Замечание. Полученные формулы (15.3) и (15.4) называются формулами Шмидта. Попутно мы доказали теоремы Фредгольма в рассматриваемом случае. § 16. Интегральные операторы в CL2 ( G )

В этом параграфе в евклидовом пространстве: 1 ⎧ ⎫ 2⎪ ⎛ ⎞ ⎪ 2 CL2 ( G ) = ⎨ x ( t ) : x ∈ C ( G ) , x L = ⎜ x ( t ) dt ⎟ ⎬ , ⎜ ⎟ 2 ⎪ ⎝G ⎠ ⎪ ⎩ ⎭

∫

где G ⊂ R n – ограниченная область, рассматриваются операторы Kˆ и Kˆ α : ˆ ) ( t ) = K ( t, τ ) x ( τ ) d τ , ( Kx ∫ G

( Kˆ α x ) ( t ) = ∫

G

K ( t, τ ) t −τ α

(16.1)

x ( τ) d τ ,

(16.2)

где, как и раньше, K ( t, τ ) ∈ C ( G × G ) , 0 < α < n . Ранее было доказано, что

Kˆ ( Kˆ α ) : C ( G ) → C ( G ) , а тем более и

Kˆ ( Kˆ α ) :

CL2 ( G ) → CL2 ( G ) . Отметим, что CL2 ( G ) – неполное евклидово пространство.

16.1. Самосопряженность интегральных операторов

( )

Утверждение 16.1. Оператор Kˆ * Kˆ α*

интегральным

оператором

с

⎛ * K ( τ, t ) ⎞ ⎜ K α ( t, τ ) = ⎟. t−τα ⎠ ⎝ 105

существует и является

ядром

K * ( t, τ ) = K ( τ, t )

Доказательство. Для любых x, y из пространства CL2 (G ) выполняется: ⎛ ⎞ ˆ , y ) = ( Kx ˆ ) ( t ) y ( t ) dt = ⎜ K ( t, τ ) x ( τ ) d τ ⎟ × ( Kx ∫ ∫ ⎜∫ ⎟ ⎠ G G ⎝G ⎛ ⎞ × y ( t ) dt = ∫ x ( τ ) ⎜ ∫ K ( t , τ ) y ( τ ) d τ ⎟ d τ = x, Kˆ * y , ⎜ ⎟ ⎝G ⎠ G * * ˆ где K x ( t ) = K ( t, τ ) y ( τ ) d τ = K ( t, τ ) y ( τ ) d τ .

(

(

)

∫

)

∫

G

G

Таким образом, K * ( t, τ ) = K ( τ, t ) . Аналогично доказывается и для оператора Kˆ . α

Следствие. Оператор Kˆ ( Kˆ α ) самосопряжен в том и только в

том случае, если K ( t, τ ) = K ( τ, t ) , т.е. ядро K ( t, τ ) эрмитово симметрично. 16.2. Полная непрерывность интегральных операторов Теорема 16.1. Операторы Kˆ и Kˆ α являются вполне непрерыв-

ными операторами в CL2 ( G ) . Доказательство. Так как ∀ { xn }n =1 ⊂ C ( G ) ⇒ ∞

1

⎧⎪ ⎫⎪ 2 2 ⇒ xn − xm L = ⎨ xn ( t ) − xm ( t ) dt ⎬ ≤ xn − xm C μ ( G ) , 2 ⎪⎩G ⎪⎭ то всякое множество, относительно компактное в C ( G ) , тем более

∫

относительно компактно в CL2 ( G ) . Таким образом, достаточно показать, что Kˆ переводит всякое ограниченное в CL ( G ) множе2

ство в множество относительно компактное в C ( G ) .

106

Пусть B ⊂ CL2 ( G ) , такое, что ∃ M > 0 : ∀ x ∈ B ⇒

x

L2

≤M .

Обозначим L = sup K ( t, τ ) . Тогда ∀x ∈ B справедливы оценка: t , τ∈G

ˆ ) (t ) ≤ ( Kx ∫

K ( t, τ ) x ( τ ) d τ ≤ L

G

≤ L μ (G ) x

ˆ а тогда и Kx

C

∫

x ( τ ) ⋅ 1d τ ≤

G L2

≤ ML μ ( G ) ,

ˆ – равномерно огра≤ ML μ ( G ) ∀ x ∈ B , т.е. KB

ниченное в C ( G ) множество.

Далее:

ˆ ) ( t ) − ( Kx ˆ ) (t ) ≤ ( Kx 1 2 ∫

K ( t1, τ ) − K ( t 2, τ ) x ( τ ) d τ ≤

G 1

⎧⎪ ⎫⎪ 2 2 ≤ ⎨ K ( t1, τ ) − K ( t 2 , τ ) d τ ⎬ x ( τ ) ⎪⎩ G ⎪⎭

∫

L2

.

В силу равномерной непрерывности K ( t, τ ) на G × G получаем:

∀ε > 0 ⇒ ∃δ ( ε ) > 0 : ∀ ( ( t1, τ ) , ( t 2, τ ) ∈ G × G : t1 − t 2 < δ ) ⇒ ⇒ K ( t1, τ ) − K ( t 2 , τ )
0 ( ∀ x ∈ E ⇒ ( Ax, x ) ≥ 0 ). Определение 16.3. Ядро K ( t, τ )

( K α ( t, τ ) )

интегрального опе-

ратора Kˆ ( Kˆ α ) называется положительно определенным, если Kˆ ( Kˆ α ) – положительно определенный оператор в CL2 ( G ) .

Теорема 16.4. Пусть E – евклидово пространства над полем комплексных чисел. Тогда оператор Aˆ самосопряжен в E ⇔ ˆ ,x ∈R . ∀x ∈ E ⇒ Ax

(

)

110

Доказательство. 1. Если Aˆ самосопряжен в E, то ∀x ∈ E ⇒ ˆ , x = x, Ax ˆ = Ax ˆ , x ⇒ Ax ˆ ,x ∈R . ⇒ Ax

(

) (

)

(

)

( ) ˆ , z ) ∈ R , то 2. Обратно, если ∀ z ∈ E ⇒ ( Az ˆ , x) − ( Ax ˆ , y)⎤ = Re 1 ⎡( Aˆ ( x + iy) , x + iy) − ( Ax ˆ , x) − ( Ax ˆ , y)⎤ = 0 ; Re ⎡⎣( Ay ⎦ ⎦ i⎣ ˆ , x ) = Re ( Ax ˆ , y) . т.е. Re ( Ay ˆ , x) + ( Ax ˆ , y)⎤ = Im ⎡( Aˆ ( x + y) , x + y) − ( Ax ˆ , x) − ( Ay ˆ , y)⎤ = 0 , Im ⎡⎣( Ay ⎦ ⎣ ⎦ ˆ ˆ т.е. Im ( Ay, x ) = − Im ( Ax, y ) . ˆ , x ) = Re ( Ay ˆ , x ) + i Im ( Ay ˆ , x) = Отсюда ∀ x, y ∈ E ⇒ ( Ay ˆ , y ) − i Im ( Ax ˆ , y ) = ( y, Ax ˆ ) , т.е. Aˆ = Aˆ *. = Re ( Ax Теорема 16.5. Если непрерывное ядро K ( t, τ )

( K α ( t, τ ) )

поло-

жительно определено, то: 1) zдро эрмитово симметрично, т.е. K ( t, τ ) = K ( τ, t ) ; 2) K ( t, t ) ≥ 0 для ∀ t ∈ G . Доказательство. 1. Следует из теоремы 16.4, так как Aˆ в этом случае Kˆ ( Kˆ α ) − самосопряженный оператор.

2. Так как K ( t, t ) = K ( t, t ) , то K ( t, t ) ∈ R для ∀ t ∈ G .

Допустим, что ∃ t0 ∈ G : K ( t0, t 0 ) < 0 . Тогда в силу непрерывности K ( t, τ ) можно считать, что t0 ∈ G , т.е. t0 – внутренняя точка, и что

∃ U δ ( t0 ) = {t : t − t0 < δ} : ∀ ( t, τ ) ∈U δ ( t0 ) ⇒ Re K ( t, τ ) < 0 .

Тогда берем f ∈ C ( G ) : f ( t ) > 0 в U δ ( t0 ) и f ( t ) ≡ 0 вне U δ ( t0 ) . Тогда ( Kfˆ , f ) = K ( t, τ ) f ( t ) f ( τ ) dt d τ = Re K ( t, τ ) f ( t ) f ( τ ) dt d τ =

∫∫

∫∫

G G

G G

=

∫∫

Re K ( t, τ ) f ( t ) f ( τ ) dt d τ < 0,

G G

111

что противоречит положительной определенности ядра K ( t, τ ) . Следовательно, K ( t, t ) ≥ 0 для всех t ∈ G . 16.5. Билинейное разложение эрмитово симметричного ядра Лемма 16.1 (Дини). Пусть G ⊂ ∞ f n n =1

{ }

n

− ограниченная область, а

таковы, что:

1) ∀ n ⇒ f n ∈ C(G) ; 2) ∀ x ∈ G ⇒

{ f n ( x)}∞n =1

монотонны по n ;

3) ∀ x ∈ G ⇒ ∃ lim f n ( x) = f ( x) ∈ C(G). n →∞

Тогда f n ( x) сходится равномерно к f ( x) на G . Доказательство. Пусть

{

G1 = x ∈ G :

{ f n ( x)}∞n=1 ↑,

}

т.е. f n ( x) ≤ f n +1( x), n = 1, 2,... .

Тогда в силу непрерывности f n ( x) на G ⇒ G1 = G1 – замкнутое множество. Докажем, что f n ( x) сходится равномерно к f ( x) на G1 .

Обозначим

ϕ n ( x) = f ( x ) − f n ( x ) ≥ 0 ,

очевидно

ϕ n ( x) ↓ 0 ,

ϕ n ∈ C (G1). Положим α n = sup ϕ n ( x), очевидно также, что α n ↓ 0 . x∈G1

Требуется

доказать,

lim α n = 0 .

что

Допустим,

n →∞

что

lim α n = α > 0 . Тогда, так как

n →∞

а) ∀ n ⇒ ∃ xn ∈ G1 : α n = sup ϕ n ( x) = ϕ n ( xn ) ↓ ; x∈G1

б) G1 ограничена и замкнута, то ∞ ϕ n ( xn ) = α n ∃{x n }∞ k =1 ⊆ {x n}n =1 : ⇒ x n → x 0 ∈ G1 , k

k

k

k

k

α>0 .

С другой стороны, так как xn → x0 при k → ∞ , то из следующей k

двойной последовательности видим: α n ... 2

112

≥ αn

k

... ;

ϕ n ( x n ) , ϕ n ( x n ) ... ϕ n ( x n ) ... → ϕ n ( x0 ) ≥ α ; 1

1

1

2

1

k

1

ϕ n ( xn ) , ϕ n ( x n ) ... ϕ n ( x n ) ... → ϕ n ( x0 ) ≥ α ; 2

1

2

2

2

k

2

…; ϕ n ( xn ) , ϕ n ( xn ) ... ϕ n ( xn ) ... → ϕ n ( x0) ≥ α , k

1

k

2

k

k

k

↓ 0 т.е. по строкам ϕ n ( x n ) → ϕ n ( x0 ) ≥ α > 0 для любого nk , а с друk

j

k

гой стороны, ϕ n ( x 0 ) → 0 . Полученное противоречие показывает, k

⎧ ⎫ что lim ⎨sup ϕn ( x) ⎬ = 0 , т.е. f n ( x) сходится равномерно к f ( x) на n→∞ x∈G ⎩ 1 ⎭ G1 . Аналогично доказывается, что f n ( x) сходится равномерно к f ( x) на G \ G1 . Теорема 16.6. Эрмитово симметричное, непрерывное ядро K ( t, τ ) разлагается в билинейный ряд по своим собственным функциям: ∞ ϕ k (t )ϕ k (τ) K ( t, τ ) = , (16.2) μk k =1

∑

сходящийся в CL2(G) равномерно по τ в G , что означает limsup K ( ⋅, τ ) − n→∞ τ∈G

∞

∑

ϕ k (⋅)ϕ k (τ)

k =1

μk

= 0.

(16.3)

L2 (G )

Доказательство. ∀τ ∈ G ⇒ ⇒ ( K (⋅, τ), ϕ k ) L

2 (G )

=

∫ K (t, τ)ϕk (t)dt

G

=

∫ K (τ, t)ϕk (t)dt =

G

ϕ k (τ) μk

−

коэффициенты Фурье. В силу минимального свойства коэффициентов Фурье, получаем:

113

n

ϕ k (⋅)ϕ k (τ) K ( ⋅, τ ) − μk k =1

∑

2

∫

= L2 (G)

K ( t, τ ) 2dt −

n

∑ λ 2k ϕk (τ)

2

k =1

G

, λk =

1 . μk

∞

Дополняя ортонормированную систему функций {ϕ k ( x)}k =1 до ортонормированного базиса в CL2(G) элементами из ядра оператора

∫ K ( t, τ )

Kˆ , получим, что ∀τ ∈ G ⇒

2

dt =

∞

∑ λ k2 ϕk (τ)

2

, где при

k =1

G

всех добавленных элементах собственные числа λ = 0. n ⎛ 2⎞ Это означает, ∀τ ∈ G ⇒ ⎜ K ( t, τ ) 2dt − λ 2k ϕ k (τ) ⎟ → 0 , и ⎜ ⎟ n→∞ k =1 ⎝G ⎠ тогда выполняется следующее:

∑

∫

1) ∀τ ∈ G ⇒

n

∑

ϕ k (τ)

k =1

2

μ k2

= f n (τ) ↑ по n ;

2) f n (τ) ∈ C(G) для ∀ n ; 3) ∀τ ∈ G ⇒ ∃lim f n (τ) = n→∞

∫ K ( t, τ )

2

dt ∈ C(G).

G

n

Используя лемму Дини, получаем, что сумма

∑

k =1

равномерно на G к интегралу limsup K ( ⋅, τ ) − n→∞ τ∈G

∫ K ( t, τ )

G ∞

∑ k =1

μ k2

2

сходится

2

dt , и тогда справедливо

ϕ k (⋅)ϕ k (τ) μk

ϕ k ( τ)

= 0. L2 (G )

Теорема 16.7 (Мерсера). Если ядро K ( t, τ ) непрерывно на G × G , эрмитово симметрично и положительно определено, то его билинейный ряд (16.2) сходится абсолютно и равномерно к K ( t, τ )

на G × G .

114

Доказательство. По теореме 16.6 имеем K ( t, τ ) =

∞

∑

ϕ k (t )ϕ k (τ) μk

k =1

и этот ряд сходится в CL2 (G ) равномерно по τ в G . Теперь у нас 0< μ1 ≤ μ 2 ≤ ... ≤ ... . Далее, имеем: ∀τ ∈ G ⇒

⇒ 0 ≤ K ( τ, τ ) ≤ M = const,

K n ( t, τ ) = K ( t, τ ) −

∞

∑

K (τ, τ) ∈ C (G ) . Тогда все ядра вида

ϕ k (t)ϕ k (τ)

также непрерывны, эрмитово μ k k =1 симметричны и положительно определены. Согласно теореме 16.5 K n ( τ, τ ) = K ( τ, τ ) −

n

∑

ϕ k (τ)

2

≥0 ,

μk

k =1

∞

∑

n

∑ k =1

ϕ k (τ)

ϕ k (τ)

2

μk

≤ K ( τ, τ ) ≤ M ,

2

сходится при ∀τ ∈ G . Теперь, μk используя неравенство Коши–Буняковского, получаем:

и, следовательно, ряд

k =1

∞

∑

ϕ k (t)ϕ k (τ)

k =n +1

∞

limsup n→∞ τ∈G

∑

k =n +1

μk

ϕ k (t)ϕ k (τ) μk

1/2

⎧⎪ ∞ ϕ (t) 2 ⎫⎪ k ≤⎨ ⎬ ⎪⎩ k =n +1 μ k ⎪⎭

∑

1/2

⎧⎪ ∞ ϕ (τ) 2 ⎫⎪ k ⎨ ⎬ ⎪⎩ k =n +1 μ k ⎪⎭

∑

,

1/2

⎧⎪ ∞ ϕ (τ) 2 ⎫⎪ k ≤ M lim ⎨ ⎬ n→∞ ⎩⎪ k =n +1 μ k ⎭⎪

∑

→ 0 для ∀τ ∈ G.

n→∞

Получили, что ряд (16.2) при ∀τ ∈ G сходится равномерно по t на G . Но тогда в (16.2) можно положить t = τ и получаем справедливость утверждения теоремы.

115

III. ИНТЕГРАЛ ЛЕБЕГА § 17. Основные определения, свойства интеграла Лебега Определение 17.1. Множество A ⊂ R n имеет меру нуль, если для любого ε > 0 множество может быть покрыто шарами с суммой объемов, не превышающей ε . Упражнение. 1. Доказать, что в этом случае число шаров не более, чем счетно. 2. Ограниченная, кусочно-гладкая поверхность S имеет меру нуль. Определение 17.2. Говорят, что некоторое свойство выполнено почти всюду (п.в.) в области G , если мера множества точек, в которых это свойство не имеет места, равна нулю. Определение 17.3. Функция называется кусочно-непрерывной в n R , если существует конечное или счетное число областей n {Gk }k0=1 , n0 ≤ +∞ , в которых функция f ∈ C G k и выполняется

( )

следующее: 1) G k ∩ G m ≠ ∅ , k ≠ m ; 2) любой шар K R ( M ) покрывается конечным числом замкнутых областей Gk . Функция называется кусочно-непрерывной в Gk ⊂ R n , если доопределенная нулем в R n \ G она остается кусочно-непрерывной в Rn . Определение 17.4. Кусочно-непрерывную функцию будем называть финитной, если она равна тождественно нулю вне некоторого шара. Очевидно, что если рассматривается финитная, кусочнонепрерывная функция, то число областей Gk в определении 17.3 можно взять конечным. Введем обозначения:

{

}

supp f ( x ) = x ∈ R n : f ( x) ≠ 0 − носитель функции f;

116

⎧1, x ∈ A; − характеристическая функция множества A; χ A ( x) = ⎨ ⎩0, x ∉ A

( ) Q (R )

Q G − множество всех кусочно-непрерывных в G функций; n

0

− множество всех кусочно-непрерывных в R n функ-

ций, имеющих компактный носитель, т.е. финитных. Определение 17.5. Заданная во всем R n функция называется n измеримой, если существует последовательность { f k }∞ k =1 ⊂ Q( R ) , п.в .

такая, что f = lim f k . k →∞

называется измеримым, если функция Множество A ⊂ R n χ A ( x ) измерима. Заданная на множестве A функция f(x) называется измеримой, если множество A измеримо, а доопределенная нулем на R n \ A функция f также остается измеримой. Упражнение. 1. Если f, g и измеримые в Rn функции, то cf, f+g, fg, |f|, f max(f, g), ( g ( x ) ≠ 0) – также измеримые в Rn функции. g 2. Если A, B – измеримые множества, то n A ∪ B , A ∩ B , A \ B , R \ A = CA – также измеримые множества. 3. Если { f k }∞ k =1 – последовательность измеримых на A функций и f k → f п.в. на A, то f измерима на A. Определение 17.6. Пусть f(x) – определенная на всем R n неотрицательная, измеримая и п.в. конечная функция и неубывающая n последовательность { f k }∞ k =1 ⊂ Q0 ( R ) таковы, что: а) f k → f , п.в.;

б) ∃ lim

∫

k →∞ n R

f k ( x)dx < ∞ .

117

Тогда функция называется интегрируемой по Лебегу (суммируемой), а число

def

∫ f ( x)dx = lim ∫ f k →∞

Rn

k

( x)dx ее интегралом Лебега.

Rn

Определение 17.7. Для любой определенной в R n , измеримой и почти всюду конечной функции f(x), положим

f + ( x) = max( f ( x),0), f − ( x) = max(− f ( x),0). Тогда f ( x) = f + ( x) − f − ( x),| f ( x) |= f + ( x) − f − ( x).

Функцию f(x) назовем интегрируемой по Лебегу, если f+, f- – интегрируемые функции и по определению + − ∫ f ( x)dx = ∫ f ( x)dx − ∫ f ( x)dx. Rn

Rn

Rn

Определение 17.8. Функция f(x) интегрируема по Лебегу на измеримом множестве A, если функция f(x)χA(x) интегрируема по Лебегу, а число ∫ f ( x)χ A ( x)dx = ∫ f ( x)dx Rn

A

называется интегралом Лебега от f(x) по множеству A. Из определения 17.6 следуют свойства. 1. Функции f(x) и |f(x)| одновременно интегрируемы по Лебегу и при этом

∫

Rn

f ( x ) dx ≤ ∫ | f ( x ) | dx. A

2. Интеграл Лебега линеен. Более сложно устанавливаются следующие свойства. 3. Определение интеграла корректно, т.е. не зависит от выбора в пункте 1 определения 17.6 последовательности { f k }∞ k =1 ⊂ Q(G ) , удовлетворяющей перечисленным свойствам. 4. Всякая ограниченная, измеримая функция, определенная во всем Rn, интегрируема по любому ограниченному, измеримому множеству A. В частности, для любого ограниченного, измеримого множества A определен интеграл 118

∫ dx = ∫ χ A ( x)dx = μA, A

Rn

называемый мерой Лебега (измеримого) множества A. 5. Если функции f(x) и |f(x)| интегрируемы по Риману на A (возможно в несобственном смысле), то f(x) интегрируема по Лебегу и оба интеграла совпадают. Пример. 17.1. Функция Дирихле ⎧1, x − рациональное из [0,1]; D( x) = ⎨ ⎩0, x − иррациональное из [0,1] не интегрируема по Риману, но интегрируема по Лебегу и ее интеграл Лебега равен нулю. В самом деле, неубывающая последовательность п.в.

f k ( x) ≡ 0 на R1 сходится к D(x)χ[0,1](x), равной тождественно нулю вне [0, 1], так как мера множества всех рациональных точек отрезка равна нулю. По определению, если A = [0, 1], то 1

∫ D( x)dx = ∫ D( x)χ A ( x)dx = klim ∫ →∞ R1

0

R1

f k ( x)dx = 0.

6. Аддитивное свойство интеграла. Если A = ∪ An , Ai ∩ A j = ∅ при i ≠ j , то n

∫ f ( x)dx = ∑ ∫ f ( x)dx, n An

A

причем из существования интеграла в левой части вытекает существование интегралов и абсолютная сходимость ряда в правой части. 7. Если A = ∪ An , Ai ∩ A j = ∅ при i ≠ j и ряд ∑ ∫ | f ( x) | dx схоn An

n

дится, то функция f интегрируема на множестве A и ∫ f ( x)dx = ∑ ∫ f ( x)dx. A

n An

8. Абсолютная непрерывность интеграла Лебега. Если f суммируема на A, то 119

∀ε > 0∃δ(ε)∀e ∈ A, μ(e) < δ :

∫ f ( x)dx

< ε.

e

Наконец, приведем три теоремы, играющие важную роль в теоретических вопросах. В дальнейшем A – измеримое множество. 9. Теорема 17.2 (Лебега). Если f k → f п.в. на A и при всех n выполнено неравенство | f n ( x) |≤ ϕ( x) , где ϕ( x) – интегрируемая на A функция, то предельная функция f(x) также интегрируема на множестве A и ∫ f k ( x)dx → ∫ f ( x)dx, k → ∞. A

A

10. Теорема 17.3 (Беппо Леви). Пусть п.в. на A выполнены неравенства f1 ( x) ≤ f 2 ( x) ≤ ... ≤ f k ( x) ≤ ..., причем функции f k ( x) интегрируемы и их интегралы ограничены в совокупности. Тогда почти всюду на А существует конечный предел f ( x) = lim f k ( x), причем функция f интегрируема на А и k →∞

∫f A

k

( x)dx → ∫ f ( x)dx, k → ∞. A

11. Теорема 17.4 (Фату). Пусть { f k ( x)}∞k =1 − последовательность измеримых, неотрицательных на множестве А функций – такова, что: а) f k → f п.в. на А; б) ∃M > 0∀k : ∫ f k ( x)dx ≤ M . A

Тогда f также интегрируема на А и

∫ f ( x)dx ≤ M . A

Определение 17.9. f k → f по мере, если ∀σ > 0 : lim μ{x :| f k ( x) − f ( x) |≥ σ} = 0. k →∞

Между сходимостью по мере и п.в. имеется следующая связь. Теорема 17.5. 1. Если f k → f п.в. на А, то f k → f по мере. 120

2. Если f k → f по мере, то существует подпоследовательность { f nk } ⊆ { f n } , сходящаяся п.в. на А к f ( x). Имеется связь между сходимостью п.в. и равномерной сходимостью. Теорема 17.6 (Егорова). Пусть А – множества конечной меры и последовательность измеримых функций f k → f п.в. на А. Тогда ∀δ > 0∃Aδ ⊆ A измеримое и такое, что: 1) μ( Aδ ) > μ( A) − δ ; 2) f k ( x) → f ( x) равномерно на Аδ. 17.1. Интеграл Лебега по множеству бесконечной меры Определение 17.10. Последовательность { Ak } назовем исчерпывающей множество А, если все Аk – измеримые, μAk < ∞ и выполняется следующее: 1) A1 ⊆ A2 ⊆ ... ⊆ Ak ⊆ ... ; 2) A = ∪ Ak . k

Определение 17.11. Пусть f определена на A. Функцию f назовем суммируемой на A, если она суммируема на каждом измеримом подмножестве множества А конечной меры и если для любой последовательности {Ak}, исчерпывающей A, существует def

lim ∫ f ( x)dx = ∫ f ( x)dx ,

k →∞

Ak

A

конечный и не зависящий от выбора исчерпывающей последовательности. Этот предел называется интегралом Лебега от по А. Отметим, что | f | в этом случае также суммируема на A. ∞ sin x Пример 17.2. Интеграл ∫ dx существует (равен π/2) как неx 0 собственный интеграл Римана, но не существует (даже как несобственный) как интеграл Лебега.

121

§ 18. Пространство Лебега Определение 18.1. Пусть G ⊆ R n – измеримое множество. Тогда L p (G ) = { f – измеримая в G функция: || f ||Lp (G ) < +∞} , где 1

⎧ ⎫p | f ||Lp ( G ) =|| f || p == ⎨ ∫ | f ( x) | p dx ⎬ . ⎩G ⎭

Теорема 18.1. Для любого p ∈ [1, +∞), L p (G ) – нормированное

пространство с нормой ||.||p . Доказательство. Проверим, что || ⋅ || p удовлетворяет всем свойствам нормы. 1. || f || p ≥ 0,|| f || p = 0 ⇔ f = θ в L p (G ). Равенство || f || p = 0 и является определением нуля в пространстве L p (G ) . 2. || cf || p =| c ||| f || p . 3. Докажем, что справедливо неравенство треугольника: || f + g || p ≤|| f || p + || g || p , которое в данном случае называется неравенством Минковского. Лемма 18.1 (неравенство Гельдера). Пусть 1 < p < ∞,

1 1 + = 1. p q

Тогда, если f ( x) g ( x) – суммируемая функция, то

∫ | f ( x) g ( x) | dx ≤|| f

|| p || g ||q .

G

Доказательство. Рассмотрим функцию ϕ(t ) =

t p t −q + , опредеp q

ленную на (0, +∞). Так как ⎧< 0, t ∈ (0,1); ϕ′(t ) = t p−1 − t − q −1 ⎨ ⎩> 0, t ∈ (1, + ∞), то t=1 – точка минимума функции ϕ(t ) . Положим t = a1/ q b1/ p , где a > 0, bb > 0 , из неравенства ϕ(t ) ≥ 1 получаем

122

1 p / q −1 1 q / p −1 1 1 a b + b a , ab ≤ a p / q +1 + b q / p +1 = a p / q + b q / p . p q p q 1 1 Таким образом, для любого p ∈ (1, +∞), + = 1 будет выполнено p q 1≤

ab ≤ a=

a p bq + p q

для

a, b ∈ R+ .

любых

Теперь,

полагая

| f ( x) g ( x) | 1 | f ( x) | p 1 | g ( x) |q | f ( x) | | g ( x) | . ≤ + ,b = , имеем: || f || p || g ||q p || f || pp q || g ||qq || f || p || g ||q

Интегрируя это неравенство по области G , получим нужное нам неравенство Гельдера ∫ | f ( x) g ( x) | dx ≤|| f || p || g ||q . G

Замечание 18.1. Если p = 2 , то получаем неравенство Коши– Буняковского–Шварца. Следствие. Если G = R n , K i – не пересекающиеся единичные кубы, i = 1, 2,..., N , а функции f, g таковы, что ⎧ai , x ∈ K i ; ⎧bi , x ∈ K i ; ⎪ ⎪ N N f ( x) = ⎨ g ( x) = ⎨ x K x Ki , 0, , 0, ∉ ∉ ∪ ∪ i ⎪ ⎪ i =1 i =1 ⎩ ⎩ то неравенство Гельдера превращается в следующее неравенство Гельдера для сумм: 1/ p

1/ q

⎛N ⎞ ⎛N ⎞ ∑ | ai bi | ≤ ⎜ ∑ | ai | p ⎟ ⎜ ∑ | bi |q ⎟ . i =1 ⎝ i =1 ⎠ ⎝ i =1 ⎠ Доказательство (неравенства Минковского). Если p = 1 , то неравенство очевидно. Пусть p > 1 . Тогда из неравенства Гельдера для сумм (при N = 2, a1 = f , a2 = g , b1 = b2 = 1 ) получаем: N

| f ( x) + g ( x ) |≤ 21/ q (| f ( x ) | p + | g ( x) | p )1/ p . p −1 1 Так как = , q( p − 1) = p , то отсюда p q

( | f ( x) + g ( x ) | )

p −1 q

≤ 2 p −1 (| f ( x) | p + | g ( x) | p ) ,

получили 123

| f ( x) + g ( x ) | p −1∈ Lq (G ) .

Но тогда, так как | f ( x) + g ( x) | p =| f ( x) || f ( x) + g ( x) | p −1 + | g ( x) || f ( x) + g ( x) | p −1 , то, интегрируя по G и применяя неравенство Гельдера, имеем: p ∫ | f ( x) + g ( x) | dx ≤ G

≤ ∫ | f ( x) || f ( x) + g ( x) | p −1 dx + ∫ || g ( x) | f ( x) + g ( x) | p −1 dx ≤ G

G

p −1 ⎛ ⎞ 1/ p 1/ p q q ⎛⎛ ⎞ ⎛ ⎞ ⎜ ⎟ ⎞ ⎛ ⎞ p p p −1 ≤ ⎜⎜ ⎜ ∫ | f ( x) | dx ⎟ + ⎜ ∫ | g ( x) | dx ⎟ ⎟⎟ ⎜ ⎜⎜ ∫ | f ( x) + g ( x) | dx ⎟⎟ ⎟ = ⎠ ⎝G ⎠ ⎠⎜⎝ G ⎠ ⎟ ⎝⎝G ⎝ ⎠ p −1 ⎞ 1/ p 1/ p ⎛ ⎛⎛ ⎞ ⎛ ⎞ ⎞⎜⎛ ⎞ p ⎟ p p p ⎜ + | f ( x ) | dx | g ( x ) | dx ⎟ ⎜∫ ⎟ ⎟⎟ ⎜ ⎜ ∫ | f ( x ) + g ( x ) | dx ⎟ ⎟ , = ⎜⎜ ∫ ⎠ ⎝G ⎠ ⎠⎜⎝ G ⎠ ⎟ ⎝⎝G ⎝ ⎠

откуда и получаем нужное неравенство: 1

1

1

⎛ ⎞p ⎛ ⎞p ⎛ ⎞p p p p ⎜ ∫ | f ( x ) + g ( x ) | dx ⎟ ≤ ⎜ ∫ | f ( x) | dx ⎟ + ⎜ ∫ | g ( x) | dx ⎟ . ⎝G ⎠ ⎝G ⎠ ⎝G ⎠ Отсюда также следует линейность L p (G ), p ≥ 1 .

Определение 18.2. Нормированное пространство ( X ,|| ⋅ ||) называется полным, если всякая фундаментальная по норме || ⋅ || последовательность { f k }∞k =1 сходится в X к некоторому элементу f ∈ X . Теорема 18.2 (Рисса–Фишера). Пространство L p (G ) – полное. Здесь 1 ≤ p < ∞, G ⊆ R n – измеримое множество.

Доказательство. Пусть { f k }∞k =1 – фундаментальная в L p (G ) последовательность, т.е. ∀ε > 0∃N > 0∀n, m > N :|| f n − f m || p < ε . Выбираем

номера

m1 < m2 < ... < mk < ...

∀n > mk :|| f n − f mk || p < 2

−k

таким

образом,

чтобы

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

−k

|| f mk +1 − f mk || p < 2 . Если G1 ⊆ G – любое измеримое множество 124

конечной меры, то из неравенства Гельдера получаем, что 1

1

p −k ∫ | f mk +1 ( x) + f mk ( x) | dx ≤|| f mk +1 + f mk || p ( μ(G1 ) p < 2 ( μ(G1 ) q .

G1

Тогда ряд

∞

∑ ∫ | f mk +1 ( x) − f mk ( x) | dx

сходится. Отсюда по тео-

k =1 G1

реме

Беппо-Леви

и n

теореме

Фату

(

следует,

что

функции

)

f mn +1 ( x) − f m1 ( x) = ∑ f mk +1 ( x) − f mk ( x) будут сходиться п.в. на G1 к k =1

некоторой интегрируемой на G1 функции. Так как G1 ⊆ G – произвольное измеримое множество конечной меры, то получаем, что f mk ( x) п.в. на G стремится к некоторой функции f ( x) (интегрируемой на G локально). 1 Далее, так как || f mk || p ≤|| f m1 || p + || f mk − f m1 || p ≤ + || f m1 || p , то 2 p получаем, что ∃M > 0∀k : ∫ | f mk ( x) | dx < M . Отсюда по теореме G

Фату:

∫ | f ( x) |

p

dx < M ,

f ∈ Lp (G) .

т.е.

Наконец,

так

как

G

∀m > mr , ∀k > r :|| f mk − f m || p ≤|| f mk − f mr || p + || f mr − f m || p < 2 − r +1 , то,

переходя

к

пределу

lim || f mk − f m || p =|| f − f m || p < 2

при − r +1

k →∞

mk → +∞ ,

получим:

для любого m > mr . Это означа-

ет, что f k → f в L p (G ) . Таким образом, L p (G ) – полное нормированное (т.е. банахово) пространство. Замечание 18.2. Для нас особенно важным из лебеговых пространств L p (G ) будут пространства L1 (G ) всех суммируемых на G функций и гильбертово (т.е. полное евклидово) пространство L2 (G ) . Скалярное произведение в L2 (G ) определяется как ( f , g ) = ∫ f ( x) g ( x)dx . G

Замечание 18.3. Символом L1,loc (G) обозначаем множество всех

функций f ∈ L1 (G ) , суммируемых на каждом компактном измери125

мом подмножестве G1 ⊂ G . Этот класс будем называть классом локально суммируемых в G функций. Отметим без доказательства следующее свойство пространств L p (G ) . Теорема 18.3. Множество C0∞ (G ) – множество бесконечно диф-

ференцируемых в R n функций с носителем, лежащим в G , всюду плотно в L p (G ),1 ≤ p < ∞ , т.е. ∀f ∈ L p (G )∀ε∃ϕ∈ C0∞ (G ) :|| f − ϕ || p < ε .

Упражнение 18.1. Вычислить интеграл: π /2

а)

∫

⎧sin x, x рационально; ⎩cos x, x иррационально;

f ( x)dx , где f ( x) = ⎨

0

π /2

б)

∫

⎧sin x, если cos x рационально;

f ( x)dx , где f ( x) = ⎨

2 ⎩sin x, sin x иррационально.

0

Упражнение 18.2. Пусть f ∈ L1 (G ) , а

⎧⎪ f ( x), если f ( x) . область, то вложение W2l (G ) 2 Замечание 20.5. Возможно построение оснащения с помощью более общих, чем банаховы простанства (что будет сделано ниже). Введем следующее определение. Определение 20.5. Линейный функционал F в L2 (G ) , опреде-

ленный по крайней мере на множестве C0∞ (G ) , называется обобщенной

производной

функции

f ∈ L2 (G )

k = ( k1 , k2 ,..., kn ) , если для любой функции |k |

F (ϕ) = (−1)

(k )

∫ f ( x )ϕ

f (k ) ,

вида

ϕ∈ C0∞ (G )

где

выполнено

( x)dx.

G

Теорема 20.2. ∀f ∈ L2 (G )∀k = (k1 , k2 ,..., kn )∃f ( k ) ∈W2−|k | (G ), где | k |= k1 + k2 + ... + kn .

Доказательство. На множестве C0∞ (G ) определим функционал F (ϕ) равенством F (ϕ) = (−1)|k | ∫ f ( x)ϕ( k ) ( x)dx. Тогда G

| F (ϕ) |≤|| ϕ

(k )

||L2 (G ) || f ||L2 (G ) ≤|| ϕ( k ) ||

|| |k | W2 ( G )

f ||L2 .

Далее, если {ϕm }∞m =1 ⊂ C0∞ (G ) – фундаментальная в W2|k | (G ) последовательность, то: 1) существует u ∈W2|k | (G ) , такая, что u = lim ϕm ( x) в W2|k | (G ) ; m→∞

138

2)

| F (ϕm ) − F (ϕl ) |=| F (ϕm − ϕl ) |≤|| f ||L2 || ϕm − ϕl ||

, |k | W2 (G )

т.е.

{F (ϕm )}∞m =1 – фундаментальная числовая последовательность. Но

тогда существует lim F (ϕm ) . Положим F (u ) = lim F (ϕm ) . m →∞

m→∞

Таким образом, функционал F определен на всем W2|k | (G ) , и для любой u ∈W2|k | (G ) будет выполнено | F (u ) |≤|| f ||L2 || u ||

, |k | W2 ( G )

т.е. это ограниченный на F

∈W2−|k | (G )

W2|k | (G )

функционал. Но тогда

и по построению F совпадает с f ( k ) ( x) .

20.3. Теорема Лакса–Мильграма Теорема 20.3. Пусть H + H 0 H − – оснащенное гильбертово пространство, а B( f , g ) – билинейный функционал на гильбертовом пространстве H + , удовлетворяющий условиям:

1) ∃κ > 0∀f ∈ H + : B ( f , f ) ≥ κ || f ||2+ ; 2) ∃C > 0∀f , g ∈ H + : B( f , g ) ≤ C || f ||+ || g ||+ . Тогда существует линейный оператор A : H + → H − , осуществляющий изоморфизм этих пространств и такой, что B( f , g ) = Af , g , где символ < Af , g > означает действие функционала Af ∈ H − на элемент g ∈ H + . Доказательство. 1. Фиксируем f ∈ H + . Тогда, полагая F ( g ) = B( f , g ) , получаем, что F – линейный, ограниченный функционал (использовалось второе условие теоремы). Положим теперь Af = F . 2. Очевидно, что A – линейный оператор с D( A) = H + и E ( A) = H − . Если Af = θ∈ H − – нуль в H − , то это означает, что ∀g ∈ H + : Af , g = B( f , g ) = 0. 139

Взяв f = g , получим 0 = B( f , f ) ≥ κ || f ||2+ , т.е. || f ||2+ = 0 в H + . Таким образом, Ker A = {θ} . 3. Пусть F ∈ H − – произвольный элемент. Тогда < F , g > – линейный, ограниченный функционал на H + . В силу условий теоремы форма B( f , g ) является на H + скалярным произведением, порождающим эквивалентную норме || ⋅ ||+ норму || ⋅ ||+ , B . Но тогда F , g – линейный, ограниченный по этой норме функционал. По

теореме Рисса ∀f ∈ H + : F , g = B ( f , g ) = Af , g

для всех g ∈ H + .

Таким образом, E ( A) = H − . Тем самым доказано, что A : H + → H − – изоморфизм этих пространств. Пример 20.7. Пусть A = −Δ + I , т.е. для любой ϕ∈ C0∞ (G ) : Aϕ = −Δϕ + ϕ, где Δ – оператор Лапласа. Тогда рассмотрим форму ⎛ n ∂ϕ ∂ψ ⎞ B(ϕ, ψ) = ( Aϕ, ψ) = ∫ (−Δϕ + ϕ)ψ( x)dx = ∫ ⎜ ∑ + ϕψ( x) ⎟ dx . (20.3) G G ⎝ i =1 ∂xi ∂xi ⎠

Очевидно, получаем для любых ϕ, ψ ∈ C0∞ (G ) : 1) B(ϕ, ϕ) =|| ϕ ||2 1

W2 (G )

;

2) | B(ϕ, ψ ) |≤|| ϕ || 1 || ψ || W2

W21

.

По непрерывности, приведенные выше оценки остаются справедливыми для любых ϕ, ψ ∈W21 (G ). При этом оператор A понимается в (20.3) уже в обобщенном смысле. Взяв H + = W21 (G ), H 0 = L2 (G ), H − = W2−1 (G ) и применив теорему Лакса– Мильграма, получаем, что оператор A = −Δ + I есть изоморфизм W21 (G ) и W2−1 (G ) .

140

20.4. Неравенство Фридрихса. 1

Введем обозначение

u W l (G ) 2

2 ⎛ 2⎞ = ⎜ ∑ u ( k ) ( x ) ⎟ , l = 0, 1, 2, ... . ⎜ k =l ⎟ ⎝ ⎠

Теорема 20.4. Для любой u ∈W2l (G ) выполняется || u ||L2 ≤ C || u || l , W2 ( G )

где C – некоторая постоянная, не зависящая от u . Доказательство. Очевидно достаточно доказать неравенство для функций класса C0∞ (G ) . Рассмотрим куб Q = {x ∈ R n : a ≤ xi ≤ b, i = 1, 2,..., n} , содержащий область G . Тогда для любой ϕ∈ C0∞ (G ) будут выполнены соотношения: x1 ∂ϕ(ξ, x) ϕ( x1 , x) = ∫ d ξ; ∂ξ a 2

2

b ⎛ x1 ∂ϕ(ξ, x ) ⎞ ∂ϕ(ξ, x ) ϕ( x1 , x ) ≤ ⎜ ∫ d ξ ⎟ ≤ (b − a ) ∫ d ξ; ⎜a ⎟ ∂ξ ∂ξ a ⎝ ⎠ 2

|| ϕ ||2L2 ( G ) ≤

2

∂ϕ(ξ, x ) ∂ϕ (b − a ) ∫ dx ∫ d ξ = (b − a ) 2 ∂ξ ∂x1 Q a b

2 2

≤ (b − a) 2 ϕ W 1 ( G ) . L2 ( G )

2

Далее, рассуждая по индукции, получаем, что для любой ϕ∈ C0∞ (G ) будет выполнено ϕ L ( G ) ≤ C ϕ W l (G ) , l = 1, 2, ... . 2

2

В силу плотности C0∞ (G ) в W2l (G ) получаем справедливость этой оценки для всех u ∈W2l (G).

141

IV. ОБОБЩЕННЫЕ ФУНКЦИИ И ФУНДАМЕНТАЛЬНЫЕ РЕШЕНИЯ ДИФФЕРЕНЦИАЛЬНЫХ ОПЕРАТОРОВ § 21. Пространства D и D ' 21.1. Определения и основные свойства

Всюду далее G = R n или G ⊂ R n − некоторая область. Определение 21.1. На классе C0∞ (G ) введем понятие сходимости следующим образом: последовательность {ϕm }∞m =1 ⊂ C0∞ (a, b) D

называется сходящейся к функции ϕ∈ C0∞ (G ) ( ϕm → ϕ ), если выполняются условия. 1. Существует компакт K ⊂ G , такой, что для любого m будет supp ϕm ⊆ K . 2. Для любого мультииндекса α = (α1 , α 2 , ..., α n ) имеет место равномерная сходимость D α ϕm D α ϕ на G ; множество C0∞ (G ) с такой сходимостью обозначается символом D и называется пространством основных функций. Перечислим основные свойства пространства D. 1. Пространство D является полным относительно введенной сходимости, т.е. если {ϕm }∞m =1 ⊂ C0∞ (a, b) , удовлетворяет первому условию определения 21.1 и фундаментальна в смысле второго условия, то существует ϕ∈ D , такая, что ϕm → ϕ в D . 2. Оператор дифференцирования Dβ : D → D непрерывен, т.е. если ϕm → ϕ в D , то Dβ ϕm → Dβ ϕ в D . 3. Для любого l = 0, 1, 2, ... в случае сходимости ϕm → ϕ в D будет иметь место и сходимость ϕm → ϕ в W2l (G ) . В этом смысле справедливо вложение D W2l (G ) L2 (G ) W2− l (G ). Определение 21.2. Символом D ' обозначим множество всех функционалов на D, обладающих следующими свойствами: 1) линейностью: ∀ϕ, ψ∀α, β : f (αϕ + βψ) = αf (ϕ) + βf (ψ ); 142

2) непрерывностюью в D: если последовательность {ϕm }∞m =1 сходится ϕm → ϕ в D, то будет сходится и последовательность f (ϕm ) → f (ϕ); Определение 21.3. Последовательность { f m }∞m =1 ⊂ D ' называется слабосходящейся к f ∈ D ' , если для любой ϕ∈ D выполняется f m (ϕ) → f (ϕ). Пространство D ' называется пространством обобщенных функций. Свойства пространства обобщенных функций. 1. D ' – полное относительно слабой сходимости пространство. Доказательство см. [3], 5.4. 2. Если { f m }∞m =1 ⊂ W2−l (G ) и f m → f в W2−l (G ) , т.е. || f m − f ||− l = sup | ( f m − f )(ϕ) |→ 0, ⎧ ⎪ϕ∈W l ( G ) ⎨ 2 ⎪ ⎩ ||ϕ||l ≤1

то очевидно и подавно для любой функции ϕ∈ D будет ( f m − f )(ϕ) → 0 , т.е. f m → f в D ' . Таким образом, можем записать, что W2−l (G )

D ' , а тогда для любого l = 0, 1, 2, ... будут

справедливы вложения D ∞

W2l (G )

L2 (G )

W2−l (G )

D '.

f ∈ D ', то по определению 3. Если a ∈ C ( R ), а (af )(ϕ) = af (ϕ) = f (aϕ), т.е. определено произведение функции n

a ∈ C ∞ ( R n ) и обобщенной функции f ∈ D '. Иногда можно ослабить условие, например, требовать, чтобы (aδξ )ϕ = aϕ(ξ) было бы

определено для любой a ∈ C ( R n ). Определение 21.4. Ранее была определена дельта-функция: для любой функции ϕ∈ D и ξ ∈ R n положим δξ , ϕ ≡ δξ (ϕ) = ϕ(ξ) – дельта-функция, сосредоточенная в точке ξ ∈ R n . Определение 21.5. δ S , ϕ ≡ δS (ϕ) = ∫ ϕ( x)dS – дельта-функция, S

сосредоточенная на множестве S. 143

Определение 21.6.

μδ S , ϕ = ∫ μ( x)ϕ( x)dS , μ ∈ C ( S ) − простой S

потенциал с плотностью μ . 1 Пример 21.1. Найти функционал P . x 1 как главное значение (V.P.) Определим на D функционал P x ∞ ϕ( x) по Коши интеграла ∫ dx . Именно, для любой функции ϕ∈ D −∞ x положим ∞ ∞ def ⎛ −ε ϕ( x) ϕ( x) def ϕ( x) ⎞ 1 P , ϕ = V .P. ∫ dx = lim ⎜ ∫ dx + ∫ dx ⎟ . ε→0 + 0 x x −∞ x ε ⎝ −∞ x ⎠ 1 Покажем, что P ∈ D ' . Если в {ϕm }∞m =1 ⊂ D, ϕm → 0 в D , то сущеx ствует R > 0 , такое, что supp ϕm ⊆ [− R, R ] для всех m, а тогда ∞

ϕm ( x ) dx . x −∞

1 P , ϕm x

= V .P. ∫ ∞

R ϕm ( x ) ϕ (0) + ϕm '(ξ) dx = V .P. ∫ m dx = x x −∞ −R

По формуле Лагранжа V .P. ∫

R ϕm (0) dx + ∫ ϕm '(ξ)dx ≤ 2 R sup | ϕm '( x) − 0 |→ 0, m → ∞, x x∈[ − R , R ] −R −R R

= V .P. ∫

так как ξ ∈ (0, x) . Следовательно, P

1 − непрерывный в D функx

1 ционал, т.е. P ∈ D ' . Кроме того, имеем x ∞ R R 1 ϕ( x) ϕ( x) − ϕ(0) ϕ( x) − ϕ(0) P , ϕ = V .P. ∫ dx = V .P. ∫ dx = ∫ dx = x x x −∞ x −R −R =

∞

ϕ( x) − ϕ(0) dx, x −∞

∫

144

так как существует R , такое, что носитель функции будет R ϕ(0) supp ϕ ⊆ [− R, R ], а V .P. ∫ dx = 0. −R x

1 и формулы x ± i0 def ⎛ +∞ ϕ( x) ⎞ 1 dx ⎟ . , ϕ = lim ⎜ ∫ ε→0 + 0 x ± i0 ⎝ −∞ x ± i0 ⎠

Пример 21.2. Найти обобщенные функции

Соходского.

По

определению

Имеем, если supp ϕ ⊆ [− R, R ], то ⎛ + R x − iε ⎞ 1 , ϕ = lim ⎜ ∫ 2 2 [ ϕ(0) + (ϕ( x) − ϕ(0))] dx ⎟ = ε→0 + 0 x ± i0 ⎝ −R x + ε ⎠ ⎛ +R x ⎞ ⎛ +R ε ⎞ = ϕ(0) lim ⎜ ∫ 2 − ϕ dx i dx ⎟ + (0) lim ⎟ ⎜ ∫ 2 2 2 ε→0 + 0 ε→0 + 0 ⎝ −R x + ε ⎠ ⎝ −R x + ε ⎠ +R ⎛ ⎞ x − iε x + lim ⎜ ∫ 2 (ϕ( x) − ϕ(0))dx ⎟ = 2iϕ(0) lim arctg + 2 0 0 ε→0 + 0 ε→ + ε ⎝ −R x + ε ⎠ +R ϕ( x) − ϕ(0) 1 +∫ dx = −iπϕ(0) + P , ϕ . x x −R Получаем формулы Соходского: 1 1 = −iπδ( x) + P , x + i0 x 1 1 = iπδ( x) + P . x − i0 x 1

−

x2 4ε

e → δ( x ) при ε → 0 + 0 в D . 2 πε Доказательство. Для любой функции ϕ∈ D выполнено

Пример 21.3. Доказать, что x2

x2

∞ − 1 ∞ − 4ε 1 ( ) (0) e ϕ x dx = ϕ e 4 ε dx + ∫ ∫ 2 πε −∞ 2 πε −∞

+

1 2 πε

∞

ϕ(0) ∫ e

−

x2 4ε

( ϕ( x) − ϕ(0) ) dx = ϕ(0) +

−∞

145

1

∞

∫e

π −∞

−t 2

( ϕ(2

)

εt ) − ϕ(0) dt.

При ε ∈ (0, 1] рассмотрим функцию 1 ∞ −t 2 ∫ e ϕ(2 εt ) − ϕ(0) dt. π −∞ В силу непрерывности по ε и t подынтегральной функции и равномерной сходимости интеграла на множестве (0, ε] функция Φ (ε) будет непрерывна на [0, 1] , откуда lim Φ (ε) = Φ (0) = 0.

(

Φ ( ε) =

)

ε→0 + 0

Таким образом, для любой ϕ∈ D будет выполнено равенство x2

1 ∞ − 4ε lim ∫ e ϕ( x)dx = ϕ(0) , и, следовательно, ε→0 + 0 2 πε −∞ 1 2 πε

e

−

x2 4ε

→ δ( x ) в D .

21.2. Дифференцирование обобщенных функций Определение 21.7. Для любой f ∈ D ' и любого мультииндекса α = (α1 , α 2 ,..., α n )

положим

g , ϕ = (−1)|α| f , ϕ( α )

для любой

ϕ∈ D. Тогда функционал g ∈ D ' обозначается f ( α ) ≡ D α f и назы-

вается обобщенной производной функции f образом, для любой ϕ∈ D будет выполнено

вида D α f . Таким

Dα , ϕ = (−1)|α| f , Dα ϕ . Отметим свойства обобщенной производной. 1. Линейность. Для любых f1 , f 2 , C1 , C2 ∈ С, α = (α1 , α 2 ,..., α n ) существует D α (C1 f1 + C2 f 2 ) и D α (C1 f1 + C2 f 2 ) = C1 D α ( f12 ) + C2 D α ( f 2 ). 2. D α ( Dβ f ) = Dβ ( D α f ) = D α+β ( f ). 3. Непрерывность. Для любого α = (α1 , α 2 ,..., α n ) α

оператор

D : D ' → D ' является непрерывным оператором. Доказательство. Для любой последовательности { f m }∞m =1 ⊂ D ' , сходящейся к f в D ' , имеем 146

Dα f m , ϕ = (−1)|α| f m , Dα ϕ → (−1)|α| f , Dα ϕ = Dα f , ϕ для всех ϕ∈ D . Таким образом, по определению, D α f m → D α f , m m → ∞ в D'.

Замечание 21.1. Оператор D α : W2l (G ) → W2l −|α| (G ) – непрерыв-

ный оператор, l ∈ Z . 21.3. Обобщенные функции как производные Теорема 21.1. Пусть f ∈ D ', K ⊂ G , − компакт в G . Тогда су-

ществуют g ∈ C (G ) и мультииндекс α = (α1 , α 2 ,..., α n ) , такие, что

f , ϕ = (−1)|α| ∫ g ( x) Dα ϕ( x)dx = g ( α ) , ϕ

для любой ϕ∈ D с носи-

G

телем supp ϕ ⊆ K . Эта теорема означает, что любая обобщенная функция локально совпадает с производной некоторого порядка от непрерывной функции. Пример 21.4. Пусть функция f такова, что f ∈ C1 ( x ≤ x0 ) ∪ C1 ( x ≥ x0 ); lim f ( x) − lim f ( x) = f ( x0 + 0) − f ( x0 − 0) = [ f ]( x0 ) ≠ 0.

x → x0 + 0

x → x0 − 0

Тогда для любой ϕ∈ C0∞ ( R1 ) будет выполняться def

∞

x0

∞

−∞

−∞

x0

f ', ϕ = − f , ϕ ' = − ∫ f ( x)ϕ '( x)dx = − ∫ f ( x)ϕ '( x)dx − x

x0

+∞

∞

∫

f ( x)ϕ '( x)dx =

= − f ( x)ϕ( x) −∞0 + ∫ f '( x)ϕ( x)dx − f ( x)ϕ( x) x + ∫ f '( x)ϕ( x)dx = 0 −∞

x0

= [ f ( x0 )]ϕ( x0 ) +

где

∞

def x0

−∞

−∞

∫ { f '}( x)ϕ( x)dx =

∫

∞

∫ { f '}( x)ϕ( x)dx,

−∞

f '( x)ϕ( x)dx +

+∞

∫

x0

147

f '( x)ϕ( x)dx .

Получили: f ' = [ f ]( x0 )δ( x − x0 ) + { f '}. Пример 21.5. Пусть n = 2, x =

x12 + x22 , тогда для любой

функции φ с носителем supp ϕ ⊂ U R (0) и ϕ∈ C0∞ ( R 2 ) будет выполнено Δ ln | x |, ϕ = ∫∫ ln | x | Δϕ( x)dx = lim ∫∫ ln | x | Δϕ( x)dx = ε→0 + 0

U R (0)

(по формуле Грина

ε≤| x|≤ R

⎛ ∂v

∂u ⎞

∫∫ (uΔv − vΔu )dx = ∫ ⎜⎝ u ∂n − v ∂n ⎟⎠ dS ) G

S

⎡ ⎛ ⎞⎛ ∂ϕ ∂ ln | x | ⎞ ⎤ −ϕ = lim ⎢ ∫∫ Δ ln | x | ϕ( x ) dx + ⎜ ∫ + ∫ ⎟ ⎜ ln | x | ⎟ dS ⎥ , ⎜S ⎟⎝ ε→ 0 + 0 ∂ ∂ n n ⎠ ⎥⎦ ⎢⎣ ε≤| x|≤ R S 0 R ⎠ ⎝ ε где интеграл по S R равен нулю, так как носитель supp ϕ ⊆ K R (0). Тогда получаем: ⎛ ∂ ∂ϕ ∂ ln | x | ⎞ ∂ ⎞ ⎛ Δ ln | x |, ϕ = lim ∫∫ ⎜ ln | x | − ϕ( x) ⎟ dS = ⎜ = − ⎟ = ε→0 + 0 ⎝ n n n ∂ ∂ ∂ ∂ρ ⎠ ⎝ ⎠ Sε 2π ⎛

1| ⎞

⎛ ∂ϕ ⎞

2π

∂ϕ

∫ ⎜ ln ε ⎜ − ∂ρ ⎟ + ϕ(ε cos θ, ε sin θ) ε ⎟εd θ = − ε→lim ∫ ε ln ε ∂ρ d θ + 0+0 ε→0 + 0

= lim

0

⎝

⎝

⎠

⎠ +ϕ(0,0)2π = 2πϕ(0) (см. рисунок).

0

x = ε cos θ y = ε sin θ dS = εd θ

⎛ 1 1 ⎞ Таким образом, Δ ln | x |= 2πδ( x); Δ ⎜ ln ⎟ = −δ( x). ⎝ 2π | x | ⎠ ⎛ 1 1 ⎞ Упражнение 21.1. Проверить, что Δ ⎜ ln ⎟ = −δ( x). ⎝ 2π | x | ⎠ Упражнение 21.2. Решить уравнение xu '( x) = 1. u ( x) = C1 + C2θ( x) + ln | x | .) 148

(Ответ:

21.4. Преобразование Фурье Преобразование Фурье быстроубывающих функций Определение 21.8. Символом S ( R n ) обозначим совокупность

функций ϕ∈ C ∞ ( R n ) , которые для всех мультииндексов α, β удовлетворяют условиям: sup xβ Dα ϕ( x) < +∞ , здесь xβ = x1β1 x2β2 ...xnβn . x∈R n

n

Множество S ( R ) называется множеством быстроубывающих функций. Множество S ( R n ) – линейное. Введем на S ( R n ) сходимость следующим образом: будем говорить, что последовательность {ϕm }∞m =1 сходится к ϕ в S ( R n ) при m → ∞ , если для любых α, β выполнено sup xβ Dα ( ϕm ( x) − ϕ( x) ) → 0. m→∞

x∈R n n

Множество S ( R ) с введенной на нем сходимостью называется пространством быстроубывающих функций. Справедливы следующие свойства. 1. D S ( R n ) , причем это вложение строгое. Например, 2

2

e−| x| ∈ S ( R n ) , но e−| x| ∉ D. 2. Для любого α оператор D α : S ( R n ) → S ( R n ) – непрерывный оператор. 3. Если функция a( x) ∈ C ∞ ( R n ) такова, что для любого α существуют mα , Cα , такие, что выполнено неравенство

(

Dα a ( x) ≤ Cα 1+ | x |2

)

mα

, то a ( x)ϕ∈ S ( R n ) для любой ϕ∈ S ( R n ) .

4. Множество C0∞ ( R n ) плотно в S ( R n ) . Доказательство здесь не приводится. Определение 21.9. Для любой ϕ∈ S ( R n ) положим ( F ϕ)(ξ) = ϕˆ (ξ) = (2 π)

−

n 2

∫ ϕ(t )e

Rn

149

− i ( ξ ,t )

dt.

Функция

ϕˆ (ξ)

называется преобразованием Фурье функции

n

ϕ∈ S ( R ) . Отметим следующие свойства. 1. Оператор F : ϕ → ϕˆ является линейным, непрерывным опера-

тором в S ( R n ) . Доказательство. Для любого α имеем α

D ϕˆ (ξ) = (2π)

−

n 2

|α |

∫ ( −i )

x α ϕ( x )e − i ( ξ , x ) dx.

Rn

Если ϕ∈ S ( R ) фиксирована, то интеграл справа для любого α n

сходится равномерно по ξ∈ R n . Следовательно, дифференцирование законно. Далее: i|β|ξα ψˆ (ξ) = (2 π)

−

n 2

∫e

− i (ξ, x )

D α ψ ( x ) dx.

Rn

Откуда следует, что −

n

ξβ D α ϕˆ (ξ) = (2 π) 2 ( −i )|α|+|β|

∫e

−i ( ξ, x )

D α ( x α ϕ( x )) dx,

Rn

sup ξβ D α ϕˆ (ξ) ≤

ξ∈R n

n − (2π) 2

∫ |D

α

( x α ϕ( x )) | dx < +∞,

Rn

n

ˆ S ( R ) . Отсюда, очевидно, следует и линейность F в S ( R n ) . т.е. ϕ∈ В силу линейности F достаточно доказать его непрерывность в нуле, т.е. если последовательность ∀{ϕm }∞m =1 ⊂ S ( R n ) сходится к 0, ϕ → 0, то ϕˆ → 0ˆ = 0 в S ( R n ) . Это следует из оценки: для люm

бых α, β

m

sup ξβ D α ϕˆ m (ξ) ≤ (2 π)

ξ∈R n

−

n 2

∫ |D

Rn

α

( x α ϕm ( x )) | dx → 0 при m → ∞.

Замечание 21.2. Если ϕ∈ D , то ϕˆ – целая аналитическая функˆ D. ция переменной ξ . Следовательно, ϕ∉

150

2. Обратное преобразование Фурье задается формулой

(

)

F −1ϕˆ ( x ) ≡ ϕˆ = (2 π)

−

n 2

∫ ϕˆ (ξ)e

i ( x ,ξ )

d ξ.

Rn

3. Для любых ϕ, ψ ∈ S ( R n ) выполнено ⎞ dx ⎟ ψ (ξ) d ξ = ⎟ ⎠ R n ⎝ Rn n ⎛ ⎞ − = (2π) 2 ∫ ϕ( x ) ⎜ ∫ e − i ( x ,ξ ) ψ (ξ) d ξ ⎟ dx = ϕ, F ψ . ⎜ n ⎟ ⎝R ⎠ Rn 4. Преобразование Фурье свертки. Напомним, что для любых ϕ, ψ ∈ S ( R n ) свертка определяется равенством F ϕ, ψ = (2π)

−

n 2

⎛

∫ ⎜⎜ ∫ ϕ( x)e

− i ( x ,ξ )

( ϕ * ψ ) ( x) = ∫ ϕ( y)ψ( x − y)dy. Rn

Тогда

( ϕ * ψ ) (ξ) = (2π)n/2 ϕˆ (ξ)ψˆ (ξ).

Пространство S '( R n ) обобщенных функций медленного роста Определение 21.10. Обозначим через S '( R n ) множество всех

линейных, непрерывных на S ( R n ) функционалов со сходимостью, определенной следующим образом: последовательность { f m } сходится к f , если для любой ϕ∈ S ( R n ) имеет место сходимость ( f m , ϕ) → ( f , ϕ). m→∞

Очевидно, что S '( R n ) – линейное подпространство в D '. Это пространство называется пространством обобщенных функций медленного роста. Отметим следующие свойства. 1. Для любого l ∈ N будут справедливы включения D

S (Rn )

W2l ( R n )

L2 ( R n ) 151

W2−l ( R n )

S '( R n )

D '.

2. Лемма 21.1 (Шварца). Для того, чтобы f ∈ S '( R n ) , необходимо и достаточно, чтобы существовали C > 0 и целое p ≥ 0 , такие, что для любой ϕ∈ S ( R n ) выполняется неравенство

f , ϕ ≤ C max sup (1+ | x |2 ) p /2 Dα ϕ( x) . |α|≤ p

x∈R n

3. D α : S '( R n ) → S '( R n ) – линейный, непрерывный оператор. Доказательство. Так как D α : D ' → D ' – линейный, непрерывный оператор, но нужно только показать, что для любой f ∈ S '( R n ) будет D α f ∈: S '( R n ), что очевидно, так как D α f , ϕ = (−1)|α| f , D α ϕ для любой ϕ∈ S ( R n ). Преобразование Фурье функций из S '( R n ) Определение 21.11. Функционал F ( f ) , определяемый равенст-

вом F ( f ), ϕ = f , F (ϕ) для всех ϕ∈ S ( R n ), называется преобразованием Фурье функций f ∈ S '( R n ) . Свойства преобразования Фурье. 1. Для любой f ∈ S '( R n ) будет F ( f ) ∈ S '( R n ) , следовательно, F непрерывна в S ' . Доказательство. В силу линейности преобразования F получаем, что F ( f ) – линейный функционал на S ( R n ). Далее, если f m → f в S '( R n ) , то так как для любой ϕ∈ S ( R n ) выполняется m →∞

F (ϕ) ∈ S ( R n ), получаем: F ( f m ), ϕ = f m , F (ϕ) → f , F (ϕ) = F ( f ), ϕ ,

т.е. F ( f m ) → F ( f ). Наконец, если ϕm → ϕ в S ( R n ) , то ϕˆ m → ϕˆ , m→∞

m→∞

n

в S '( R ) , и тогда справедливо: F ( f ), ϕm = f , ϕˆ m → f , ϕˆ = F ( f ), ϕ , т.е. F ( f ) ∈ S '( R n ). 152

2. Обратное преобразование Фурье определяется равенством F −1[ f ] = F [ f (− x)], где f (− x), ϕ = f , ϕ(− x) . Доказательство. Для любой ϕ∈ S ( R n ) выполнено F (ϕ(− x)) = (2π)

−

n 2

∫

ϕ( − x)e − i ( x ,ξ ) dx = (2π)

Rn

−

n 2

∫ ϕ(t )e

i ( t ,ξ )

(

)

dt = F −1ϕ (ξ).

Rn

Отсюда F −1[ F ( f )], ϕ = F ( F ( f )(−ξ) ) , ϕ = F ( f )(−ξ), F (ϕ) = = F ( f ), F (ϕ)(−ξ) = F ( f ), F −1ϕ = f , ϕ , т.е. F ( F ( f ))(−ξ) = f . Аналогично, F ( F ( f (− x))) = f . Следствие. Оператор F осуществляет гомеоморфизм (взаимно однозначное и взаимно непрерывное отображение) пространства S '( R n ) на себя, а также S ( R n ) на себя. 3. Преобразование Фурье и дифференцирование связаны равенствами: а) D α F ( f ) = F [(−ix)α f ], б) F ( D α f ) = (−iξ)α F ( f ). Упражнение 21.3. Доказать эти равенства. 4. Преобразование Фурье сдвигов и преобразований подобия задаются равенствами: а) F [ f ( x − x0 ] = ei ( x0 ,ξ ) F ( f ); б) ( Ff )(ξ + ξ0 ) = F [e − i ( x0 , x ) f ](ξ); 1 ⎛ξ⎞ F [ f ] ⎜ ⎟ ,0 ≠ C ∈ R. n |C | ⎝C ⎠ Упражнение 21.4. Доказать эти равенства. Примеры. 21.6. Вычислим преобразование Фурье дельта-функции. Имеем: F δ, ϕ = δ, F ϕ = ϕˆ (0) = (2π) − n /2 ∫ ϕ( x)dx.

в) F [ f (Cx)](ξ) =

Rn

Следовательно, F (δ) = (2π)− n / 2 . 21.7. F [δ( x − x0 ] = ei ( x0 ,ξ ) F [δ( x)] = (2π) − n / 2 ei ( x0 ,ξ ) . 153

21.8. F [1] = F −1[1(− x)] = F −1[1] = (2π) n /2 δ( x). ⎧1 при x ≥ 0; 21.9. Пусть θ( x) = ⎨ ⎩0 при x < 0. Тогда 1 F [θ], ϕ = θ, F ϕ = lim e −αx , F ϕ = lim F [e −αx θ], ϕ = α→0 + 0 | C |n α→0 + 0 +∞

+∞

⎞ 1 ⎛ 1 1 1 e dx = e − ( α+iξ ) x ⎟ = = = ⎜− ∫ 2π 0 2 π ⎝ α + iξ 2 π α + iξ ⎠0 i 1 =− . 2 π ξ − iα Переходя к пределу при α → 0 + 0 в S ' (или в D ' ) по формуле Соi 1 1 ⎡ 1⎤ = πδ(ξ) − iP ⎥ . ходского, получаем F [θ](ξ) = − ⎢ ξ⎦ 2π ξ + i 0 2π ⎣ 1

− ( α+ iξ ) x

21.10. Пусть f ( x) = e−α F [ f ](ξ) =

∞

1 −t e ∫ 2πα −∞

n

=∏

j =1

=

(

1 2πα

2

)

1 (2π) n /2

n

e−|ξ|

/(4 α 2 )

2

∞

∫

2

| x|2

e−α

2

, αα > 0. Тогда f ∈ S ( R n ) и

| x| 2 − i ( ξ , x )

j =1

−∞

− iξ j t /2

dt =

n

∏

j =1

n

∏

n

dx =∏

∞ 1 −ξ 2 /(4 α 2 ) − ( t + iξ j /(2 α )) e j e dt = ∫ 2πα −∞

2

e− z dz =

∫

j =1 Im z =ξ j /(2 α )

=

(

1 2α

2

)

n

e −|ξ|

1 ∞ −α2 x j 2 −iξ j x j dx j = ∫e 2π −∞

/(4 α2 )

154

1

( 2πα )

n

2

e −|ξ| n/ 2

/(4 α 2 )

(см. рисунок).

⎛ ⎞ − z2 ⎜ ∫ e dz ⎟ = ⎝ Im z =0 ⎠

Положив α = a t , a > 0, получим 2 2 1 F ⎡e− a t| x| ⎤ (ξ) = ⎣ ⎦ 2ta

(

)

n

e −|ξ|

2

/(4 αa 2t )

.

21.5. Преобразование Фурье и свертка обобщенных функций Определение 21.12. Пусть g ∈ S '( R n ) и компакт K ⊂ R n

тако-

вы, что для любой функции ϕ∈ S ( R ) из условия supp ϕ ∩ K = ∅ n

следует, что g , ϕ =0. Тогда обобщенная функция g ∈ S '( R n ) называется финитной, а пересечение всех таких компактов – ее носителем. Определение 21.13. Пусть f, g ∈ S '( R n ) и g – финитная обобщенная функция, а η∈ D и равна единице в окрестности носителя g.

Положим

f *g , ϕ = f ( x ) g ( x ), η( y )φ( x + y )

ϕ∈ S ( R ) . Тогда функционал f * g n

для

всех

называется сверткой обоб-

щенной функции f ∈ S '( R ) и финитной обобщенной функции g . n

Здесь

f ( x ) g ( x ), ψ ( x, y ) = f ( x ), g ( y ), ψ ( x, y )

для

любой

ψ ∈ S ( R × R ) называется прямым произведением обобщенных функций f и g . Свойства свертки. 1. Свертка f * g ∈ S '( R n ) и линейна по каждому аргументу. 2. Для любого мультииндекса α выполняется D α f * g = D α ( f * g ) = f * Dα g = Dα g * f . n

n

3. f * δ = δ * f ) = f для любой f ∈ S '( R n ). Доказательство. f ( x )δ( y ), η( y )ϕ( x + y ) = f ( x ), δ( y ), η( y )ϕ( x + y ) =

= f ( x), ϕ( x) = f , ϕ , так как η( y ) ≡ 1 в окрестности точки y = 0. 155

4. Как следствие 2 и 3 получаем D α f = D α δ * f = δ * D α f . 5. Справедливо равенство F [ f * g ] = (2π)n / 2 F [ f ]F [ g ]. Доказательство проведем для случая g = δ. Имеем: F [ f * δ], ϕ = f * δ, F [ϕ] = f ( x ), δ( y ), η( y ) F [ϕ]( x + y ) =

= f , F [ϕ] = F [ f ]

1 , ϕ (2π)n /2 = (2π) n /2 F [ f ]F [δ], ϕ n /2 (2π)

для любого ϕ∈ S ( R n ) , таким образом, F [ f * δ] = F [ f ]F [δ]. 21.6. Фундаментальные решения линейных дифференциальных операторов с постоянными коэффициентами Определение 21.14. Обобщенная функция u ∈ D ' называется обобщенным решением дифференциального уравнения, если

L( D)u =

∑

|α|≤ m

aα Dα u, ϕ = f , ϕ .

Определение 21.15. Обобщенная функция E ∈ D ' называется фундаментальным решением дифференциального оператора L( D ) , если L( D) E ( x) = δ( x). Замечание 21.3. Для многих задач фундаментальные решения E ∈ S '( R n ). И для их вычисления удобен аппарат преобразования Фурье. Лемма 21.2. E ∈ D ' является фундаментальным решением оператора L( D ) : L(−iξ) F [ E} = (2π) − n / 2 , где F [ E ] – преобразование

Фурье от E , и L(−iξ) =

∑

| α| ≤ m

aα (−iξ)α .

Доказательство. F [ L( D) E ] =

∑

| α| ≤ m

aα F [ D α E ] =

aα F [ E ] = F [δ] = (2π) − n /2 , α |α|≤ m ( −iξ)

∑

т.е. справедливо равенство L(−iξ) F [ E ] = (2π)− n / 2 .

156

Обратно, если выполнено равенство леммы, то выполняется обратное преобразование Фурье и получим, что E ( x) удовлетворяет уравнению L( E ) = δ. Лемма 21.3. Если z (t ) – решение задачи z '(t ) + a(t ) z (t ) = 0, z (0) = 1,

d + a(t ). dt Доказательство. E '(t ) = θ(t ) z '(t ) + z (t )δ(t ) = θ(t ) z '(t ) + δ(t ). Отсюда следует E '+ a (t ) E = θ(t )[ z '(t ) + a (t ) z ] + δ(t ) = δ(t ). Пример 21.6 (фундаментальное решение уравнения теплопроводности). Если E ( x, t ) ∈ S '( R n +1 ) таковы, что ∂E − a 2 ΔE = δ( x, t ), a > 0, ∂t то, выполняя преобразование Фурье по x , получим ∂ ∂ ⎡ ∂E ⎤ ∂ Fx ⎢ ⎥ = Fx [ E ] = Fx [ E ] = Eˆ (ξ, t ), ∂t ∂t ⎣ ∂t ⎦ ∂t ∂ ˆ Fx [ ΔE ] = − | ξ |2 E (ξ, t ), ∂t Fx [ δ( x, t )] = Fx [δ( x)δ(t )] = (2π)− n /21(ξ)δ(t ). Следовательно, Eˆ (ξ, t ) удовлетворяет уравнению то E (t ) = θ(t ) z (t ) – фундаментальное решение оператора

∂Eˆ (ξ, t ) + a 2 | ξ |2 Eˆ (ξ, t ) = (2π) − n /21(ξ)δ(t ). ∂t 2 2 Используя лемму 21.3, получим Eˆ (ξ, t ) = (2π) − n /2 θ(t )e− a |ξ| t . Применяя обратное преобразование Фурье, получаем 2 2 θ(t ) E ( x, t ) = Fξ−1[ Eˆ (ξ, t )] = Fξ [ Eˆ ( −ξ, t )] = Fξ [ Eˆ (ξ, t )] = e −| x| /(4 a t ) . n 2a πt

(

)

Пример 21.12. Пусть n = 3 . Вычислим с помощью преобразования Фурье фундаментальные решения оператора Лапласа E3 ( x).

Если ΔE3 ( x) = δ( x), то − | ξ |2 F [ E3 ](ξ) = (2π)−3/ 2 , и получаем соотношение F [ E3 ](ξ) = −(2π)−3/2 | ξ |−2 . Это локально интегрируемая в 157

R 3 функция. Тогда имеем E3 ( x) = −(2π)−3/ 2 F −1[| ξ |−2 ]. Подсчитыва-

ем выражение справа, т.е. для любой функции ϕ∈ S ( R 3 ) будет выполнено: F −1[| ξ |−2 ], ϕ = | ξ |−2 F −1[ϕ] =

=

1 dξ 3/2 ∫ (2π) | R3 | ξ |2

∫e

i (ξ, x )

ϕ( x) dx =

R3

=

1 dξ lim 3/2 R →∞ ∫ (2π) | ξ |2 |ξ| 0 в G ; q( x ) ∈ C (G ), q( x ) > 0 в G . Область G предполагаем ограниченной. Рассмотрим билинейную форму Дирихле n ∂u ∂v ⎛ ⎞ (22.2) + q( x)v( x) ⎟ dx. B(u, v) = ∫ ⎜ p( x)∑ i =1 ∂xi ∂xi G⎝ ⎠ Эта форма определена для всех u , v ∈W21 (G ) , а для u ∈ C 2 (G ) и v ∈ C0∞ (G ) очевидно, что ( Lu , v) L2 ( G ) = B (u , v). Положим

κ = min p( x) > 0, C0 = max ( max( p( x), q ( x)) ) . x∈G

x∈G

Тогда для любых u , v ∈W21 (G ) будет выполнено

a) B (u , u ) ≥ κ u

2 W21 ( G )

б) B(u , v) ≤ C0 u

;

W21 ( G )

v W 1 (G ) 2

⎫ ⎪ ⎬ .⎪ ⎭

(22.3)

Рассматривается следующая задача. Для заданной функции f ∈ W2−1 (G ) найти u ∈W p1 (G ) , такую, что B(u, v) = f , v для любой v ∈W21 (G). (22.4) Замечание 22.1. Сформулированная задача называется обобщенной (однородной) задачей Дирихле для оператора (22.1). Если f ∈ C (G ) W2−1 (G ), а u ∈ C 2 (G ) ∩ C (G ) – классическое решение задачи Дирихле для оператора L, т.е. ( Lu )( x) = f ( x), u ∂G = 0, (22.5) 160

то можно показать, что u ∈W p1 (G ) (другими словами, функция u имеет суммируемые в квадрате на G первые производные) и u является решением задачи (22.4). Решение задачи (22.4) называют обобщенным из класса W21 (G ) решением задачи (22.5). Теорема 22.1. Задача (22.4) имеет и притом единственное решение. Доказательство. В силу неравенства Фридрихса ∃C∀u ∈W21 (G ) :|| u ||2L2 (G ) ≤ C || u ||2 1

W2 ( G )

,

откуда κ || u ||2 1

W2 ( G )

≥

κ κ || u ||2 1 + || u ||2L2 (G ) ≥ κ0 || u ||2 1 , W G W2 ( G ) ( ) 2 2C 2

⎛κ κ ⎞ где κ0 = min ⎜ , ⎟ . Но тогда из (22.3) получаем, что для любых ⎝ 2 2C ⎠

u , v ∈W21 (G ) будет выполнено а) B (u , u ) ≥ κ || u ||2 1

W2 ( G )

б) | B(u , v) |≤ C0 || u ||

;

W21 ( G )

|| v ||

W21 ( G )

.

По теореме Лакса–Мильграма существует однозначно определенный изоморфизм A пространства W21 (G ) на W2−1 (G ) , такой, что для любых u , v ∈W21 (G ) будет выполнено B(u, v ) = Au, v , следовательно, для любой f ∈W2−1 (G ) существует единственная функция u ∈W21 (G ) , а именно u = A−1 f , такая, что B(u, v ) = f , v для всех v ∈ W21 (G ) . Таким образом, u = A−1 f и есть решение задачи (22.4). Замечание 22.2. Обобщенная неоднородная задача Дирихле для оператора (22.1) ставится следующим образом: для заданных f ∈ W2−1 (G ) и g ∈W21 (G ) требуется найти u ∈W21 (G ) , такую, что 161

⎧ 1 ⎪ B(u, v ) = f , v , ∀v ∈ W2 ; ⎨ ⎪(u - g ) ∈ W 1 . ⎩ 2 Заменой w = u − g эта задача сводится к рассмотренной ранее однородной задаче. Замечание 22.3. Если f ∈ C (G ) и граница ∂G области G является достаточно гладким (n − 1) -мерным многообразием, то можно показать, что обобщенное решение задачи (22.5) будет классическим решением этой задачи. § 23. Задача Коши для уравнения теплопроводности

(

В D ' R(nx+,t1)

)

ищем решение уравнения теплопроводности ∂u = a 2 Δu + f . ∂t

Согласно примеру 21.11 функция E ( x, t ) =

θ(t )

( 2a πt )

2 /(4 a2t )

n

e −| x|

является фундаментальным решением уравнения теплопроводности. Определение 23.1. Пусть функция u обращается в нуль при t < 0 . Тогда обобщенная функция V = E * f называется тепловым потенциалом с плотностью f . Теорема 23.1. Пусть f ( x, t ) ∈ C (t ≥ 0) обращается в нуль при t ≤ 0 и ограничена в любой полосе 0 ≤ t ≤ T . Тогда тепловой потенциал V = E * f выражается формулой t

V ( x, t ) = ∫

∫

0 Rn

( 2a

f (ξ, τ) π(t − τ)

162

−

)

n

e

| x −ξ|2 4 a 2 ( t −τ )

d ξd τ,

является непрерывной в Rtn≥+01 функцией, удовлетворяющей оценке: | V ( x, t ) |≤ t sup | f (ξ, τ) |, t > 0, ⎪⎧0≤τ≤t ⎨ n ⎪⎩ ξ∈R

начальному условию ∀x ∈ R n ∃ lim V ( x, t ) = 0 и уравнению теплоt →0 + 0

∂V = a 2 ΔV + f в D ' . ∂t Доказательство. Имеем

проводности

( E * f )( x, t ) =

+∞

∫ ∫

f (ξ, τ) E ( x − ξ, t − τ)d ξd τ = V ( x, t ).

0 Rn

Используя теоремы о непрерывности по параметру, получаем, что V ( x, t ) непрерывна при t > 0 . Далее t

| V ( x, t ) |≤ t sup | f (ξ, τ) | ∫ d τ ∫ ⎪⎧0≤τ≤t ⎨ n ⎪⎩ ξ∈R

0

Rn

( 2a

f (ξ, τ) π(t − τ)

−

)

n

e

| x −ξ|2 4 a 2 ( t −τ )

dξ =

= t sup | f (ξ, τ) |, t > 0. ⎧⎪0≤τ≤t ⎨ n ⎪⎩ ξ∈R

Отсюда ∃ lim V ( x, t ) = 0 . Наконец, из леммы 21.4 следует, что t →0 + 0

V ( x, t ) удовлетворяет в D ' уравнению теплопроводности.

Определение 23.2. Пусть u0 ( x) – ограниченная в R n функция. Тогда обобщенная функция V0 ( x, t ) = E ( x, t ) * u0 ( x)δ(t ) называется поверхностным тепловым потенциалом. Теорема 23.2. Пусть u0 ( x) ∈ C ( R n ) и ограничена в R n . Тогда поверхностный тепловой потенциал V0 ( x, t ) представляется интегралом Пуассона

V0 ( x, t ) =

(

θ(t ) 2a πt

)

n

∫ u0 (ξ)e

−

| x −ξ|2 4 a 2t

d ξ,

Rn

∞

принадлежит классу C (t > 0), удовлетворяет неравенству 163

| V0 ( x, t ) |≤ sup | u0 ( x) | x∈R n

для всех ( x, t ), t > 0 , непрерывен при t ≥ 0, удовлетворяет начальному условию V0 ( x,0) = u0 ( x) и однородному уравнению тепло∂V проводности 0 = a 2 ΔV0 . ∂t Доказательство. Для любой ϕ∈ D( R n +1 ) выполняется E * u0 ( x)δ(t ), ϕ = E ( x, t )u0 (ξ)δ(τ), η(ξ, τ)ϕ( x + ξ, t + τ) = = E ( x, t )u0 (ξ), ϕ( x + ξ, t ) = E * u ( x), ϕ , где последняя свертка берется по x. Отсюда следует, что

θ(t )

V0 ( x, t ) = ( E * u0 )( x, t ) =

( 2a πt )

n

∫ u0 (ξ)e

−

| x −ξ|2 4 a 2t

d ξ.

Rn

При любом t > 0 имеем V0 ( x, t ) ∈ C ∞ и, очевидно, удовлетворяет оценке | V0 ( x, t ) |≤ sup | u0 (ξ) | . Дифференцируя, получаем, что ξ∈R n

∂V0 = a 2 ΔV0 . Наконец, фиксируя x0 ∈ R n , получаем: ∂t

V0 ( x, t ) − u0 ( x0 ) = ≤

2a πt

)

n

∫ ( u0 (ξ) − u0 ( x) ) e

u0 (ξ) − u0 ( x0 ) E ( x − ξ, t )d ξ =

∫

u0 ( x − y ) − u0 ( x0 ) E ( y , t )dy +

| y|≤δ

≤ε+

(

2M 2a πt

)

−

| x −ξ|2 4 a 2t

dξ ≤

Rn

∫

Rn

=

(

θ(t )

n

∫

Rn

u0 ( x − y ) − u0 ( x0 ) E ( y, t )dy =

∫

| y | >δ

∫

u0 ( x − y ) − u0 ( x0 ) E ( y, t )dy ≤

e

−

| y|2 4 a 2t

dy,

| y|>δ

где M = sup | u0 ( x) |, а оценка следует из непрерывности u ( x) в x∈R n

точке x0 . В самом деле, в силу непрерывности u ( x) в точке x0 получаем, что 164

∀ε > 0∃δ(ε) > 0∀x, y ∈ R n ,| x − x0 |< δ,| y |< δ :| u0 ( x + y ) − u0 ( x0 ) |< ε. Далее, пользуемся тем, что

∫

E ( y, t )dy ≤ 1,

| y |>δ

∫

e

−

| y|2 4 a 2t

dt

| y | >δ

(

2M 2a πt

)

n

=

2

e − z dz

∫

δ | z|> 2a t

2M

( π )n /2

→0 ,

при t → 0 + 0 , следовательно, существует lim V ( x, t ) = u0 ( x0 ). t →0 + 0 x → x0

Замечание. Если при f ∈ C (t ≥ 0), f ≡ 0 при t < 0, ограничена в

каждой полосе 0 ≤ t ≤ T , а u0 ∈ C ( R n ) и ограничена, то обобщен∂u = a 2 Δu + f ( x, t ), u ( x,0) = u0 ( x) задаетное решение задачи Коши ∂t ся формулой Пуассона t

u ( x, t ) = V ( x, t ) + V0 ( x, t ) = ∫

∫

0 Rn

+

(

θ(t ) 2a πt

)

n

(

−

f (ξ, τ) 2a π(t − τ)

∫ u0 (ξ)e

| x −ξ|2 − 4 a 2t

)

n

e

| x −ξ|2 4 a 2 ( t −τ )

d ξd τ +

d ξ.

Rn

Можно показать, что если к тому же f ∈ C 2 ( R n ), то u ∈ C 2 ( x > 0) ∩ C (t ≥ 0), т.е. является классическим решением задачи Коши для уравнения теплопроводности.

165

СПИСОК ЛИТЕРАТУРЫ

1. Бремерман Г.Б. Распределения, комплексные переменные и преобразования Фурье. М.: Мир, 1968. 2. Васильева А.Б., Тихонов Н.А. Интегральные уравнения. М.: Физматлит, 2002. 3. Владимиров В.С. Уравнения математической физики. М.: Наука, 1971. 4. Краснов М.Л. Интегральные уравнения. Введение в теорию. М.: Наука, 1975. 5. Лебег А. Об измерении величин. М.: Учпедгиз, 1960. 6. Лизоркин П.И. Курс дифференциальных и интегральных уравнений. М.: Наука, 1981. 7. Петровский И.Г. Лекции по теории интегральных уравнений. М.: Наука, 1965. 8. Тихонов А.Н., Самарский А.А. Уравнения математической физики. М.: Наука, 1977. 9. Хургин Я.И., Яковлев В.П. Финитные функции в физике и технике. М.: Наука, 1971. 10. Шилов Г.Е., Гуревич Б.А. Интеграл, мера и производная. М.: Наука, 1967. 11. Михайлов В.П. Дифференциальные уравнения в частных производных. М.: Наука, 1976. 12. Шубин М.А. Лекции по уравнениям математической физики. М.: МЦНМО, 2003.

СОДЕРЖАНИЕ

I.

Введение. Элементы теории обыкновенных дифференциальных уравнений ................................................3 II. Интегральные операторы в линейных нормированных пространствах..............................................60 III. Интеграл Лебега ....................................................................116 IV. Обобщенные функции и фундаментальные решения дифференциальных операторов...........................................142 V. Обобщенные решения в задачах для уравнений математической физики........................................................160 Список литературы .......................................................................166

ИНТЕГРАЛЬНЫЕ И ДИФФЕРЕНЦИАЛЬНЫЕ ОПЕРАТОРЫ И ОБОБЩЕННЫЕ ФУНКЦИИ

Учебно-методическое пособие

Редактор М.В. Макарова Подписано в печать 10.12.2009. Формат 60х84 1/16. Уч.-изд.л. 10,5. Печ. л. 10,5. Тираж 300 экз. Изд. № 1/1/67. Заказ № 14 Национальный исследовательский ядерный университет «МИФИ». 115409, Москва, Каширское ш., 31 ООО «Полиграфический комплекс «Курчатовский». 144000, Московская область, г. Электросталь, ул. Красная, д. 42