Московский государственный университет им. М. В. Ломоносова

Физический факультет

В. Т. Волков, А. Г. Ягола

Интегральные уравнения Вариационное исчисление

Методы решения задач

Учебное пособие для студентов 2 курса физического факультета

Москва 2006

Основная

ЛИТЕРАТУРА

1. Ягола А.Г. Интегральные уравнения. Вариационное исчисление. (общий курс). Курс лекций опубликован в Интернет:

http://afrodita.phys.msu.ru/download/inteq/yagola/.

2. Васильева А.Б., Тихонов Н. А. Интегральные уравнения. М.: Физматлит, 2002.

3. Эльсгольц Л.Э. Дифференциальные уравнения и вариационное исчисление. М.: УРСС, 2000.

4. Васильева А.Б., Медведев Г.Н., Тихонов Н.А., Уразгильдина Т.А. Дифференциальные и интегральные уравнения. Вариационное исчисление. М.: Физматлит, 2003.

Дополнительная

1. А.Н. Колмогоров, С.В. Фомин. Элементы теории функций и функционального анализа. М.: Наука, 1989.

2. Г.Е. Шилов. Введение в теорию линейных пространств.

3. В.В. Городецкий, Н.И. Нагнибида, П.П. Настасиев. Методы решения задач по функциональному анализу. Киев: Выща школа, 1991.

4. М.М. Вайнберг. Функциональный анализ. М.: Просвещение, 1979.

5. Функциональный анализ в примерах и задачах. Методическое пособие под ред. В.В. Корнева. Изд. Саратовского ун-та, 1998.

6. Владимиров В.С., Жаринов В.В. Уравнения математической физики. М.: Физматлит, 2001.

7. Владимиров В.С., Вашарин А.А. Сборник задач по уравнениям математической физике. М.: Физматлит, 2001.

ТЕМА 1

Метрические, нормированные и евклидовы пространства

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

Множество L называется (вещественным) линейным пространством, если для любых двух его элементов x, y определен элемент x + y ∈ L (называемый суммой x и y), и для любого элемента x ∈ L и любого (вещественного) числа α определен элемент α x ∈ L , причем выполнены следующие условия:

1)	для любых элементов x, y ∈ L	x + y = yx+	(коммутативность сложения);
2)	для любых элементов x,,yz ∈ L ()x + y +=+zx ()yz+ (ассоциативность сложения);
3)	существует элемент θ ∈ L (называемый нулевым элементом, или нулем пространства
4)	L) такой, что для любого элемента x ∈ L x +θ = x (существование нулевого элемента); для любого элемента x ∈ L существует элемент ()−x ∈ L (называемый обратным к x) такой, что x +−()x = θ (существование обратного элемента);

5) для любых элементов x, y ∈ L и любого (вещественного) числа α α ()x +=y α xy+ α (дистрибутивность умножения суммы элементов на число); 6) для любых (вещественных) чисел α и β и любого элемента x ∈ L ()α + β x =+αβx x (дистрибутивность умножения суммы чисел на элемент);

7)	для любых (вещественных) чисел α, β и любого элемента	x ∈ L	()αβ x = αβ()x
8)	(ассоциативность умножения на число); для любого элемента x ∈ L 1⋅ x = x (свойство единицы).

Элементы x x

1

,

2

,

,

x

m линейного пространства L называются линейно зависимыми,

нулю, что

если существуют такие (вещественные) числа , , ,

CC

1

2

C

m

,

не

все

равные

m

∑

k = 1

C x

k

k

CC=

1

2

=

θ

;

если же

последнее

равенство имеет место в единственном

== C = , то элементы

m

0

x x

,

1

2

,

,

x

m - линейно независимы.

случае

Натуральное число n , называется размерностью линейного пространства, если существуют n линейно независимых элементов пространства, а любые n +1 элементов - линейно зависимы. В этом случае линейное пространство называется конечномерным (n- мерным). Если для любого натурального n можно указать n линейно независимых элементов, то линейное пространство называется бесконечномерным. Множество M называется метрическим пространством, если для любых двух его элементов x, y ∈ M определено вещественное число ρ(,x y) (называемое метрикой, или расстоянием), причем выполнены следующие условия:

1)	для любых элементов x, y ∈ M ρ(,x y) ≥ 0 ,	причем ρ(,x y) = 0 тогда и только
2)	тогда, когда элементы x и y совпадают (неотрицательность метрики); для любых элементов x, y ∈ M ρ(x, y) = ρ( yx, ) (симметричность метрики);
3)	для любых элементов x,,yz ∈ M ρ(,x y) ≤ ρ(,)xz + ρ(,)yz (неравенство треугольника). Метрическое пространство не обязательно является линейным.

Последовательность элементов метрического пространства

x

n

∈ M ,

n = 1,2,

сходится к элементу

x

0

∈M ( x → x при n → ∞ ), если ρ x x → при n → ∞ .

n

0

(,)

n

0

0

1

Линейное пространство N называется нормированным, если для любого элемента x ∈ N определено (вещественное) число || x || (называемое нормой), причем выполнены следующие условия:

1)	для любого элемента x ∈ N	|| x || ≥ 0 ,	причем || x || = 0 тогда и только тогда, когда
2)	x = θ - нулевой элемент пространства; для любого элемента x ∈ N и любого (вещественного) числа α || α x ||=| α | ⋅ || x ||
3)	(неотрицательная однородность нормы); для любых элементов x, y ∈ N || x + y || ≤ || xy|| + || || (неравенство треугольника). Нормированное пространство является метрическим, если положить

ρ(x, y) = || xy− || . Последовательность элементов нормированного пространства

сходится (по норме пространства N) к элементу

||

x

n

− x → при n → ∞ .

0

||

0

x

0

∈ N

( x

n

→ x

0

x

n

∈ N ,

n = 1,2,

при n → ∞ ), если

Из сходимости последовательности

x

n

по норме пространства следует сходимость

последовательности (числовой!) норм, т.е. если n → ∞ . Обратное, вообще говоря, неверно.

элементов нормированного пространства N

называется фундаментальной, если для любого ε > 0 найдется номер K такой, что для

любого n ≥ K и любого натурального p выполнено неравенство ||

Если последовательность сходится, то она фундаментальна. Если же любая фундаментальная последовательность элементов сходится, то нормированное пространство называется полным. Полное нормированное пространство называется банаховым. Последовательность x , n = 1,2, элементов нормированного пространства N

x

n

→ x при n → ∞ , то x → x при

0

n

0

||

||

||

||

Последовательность

x

n

,

n = 1,2,

x

−

x

n

||

≤

ε

.

np

+

n

называется ограниченной, если существует константа C такая, что || x || ≤ C для всех

n

n = 1,2,

. Последовательность x

n ,

элементов нормированного пространства N,

обладающая тем свойством, что из любой ее подпоследовательности можно выделить сходящуюся, называется компактной. Любая компактная последовательность является ограниченной. В конечномерном пространстве верно и обратное утверждение, однако, для бесконечномерных пространств это, вообще говоря, не так. Линейное пространство E называется евклидовым, для любых двух элементов x, y ∈ E определено вещественное число (,x y) , называемое скалярным произведением, причем выполнены следующие условия:

n = 1,2,

1)	для любых элементов	x,	y ∈ E	(,x y) = (,)yx	(симметричность);
2)	для любых элементов x,,yz ∈ E (x + yz,) = (,)xz + (,)yz (аддитивность по
3)	первому аргументу); для любых элементов x, y ∈ E и любого вещественного числа α (α x, y) = α (xy, )
4)	(однородность по первому аргументу); для любого x ∈ E (x, x) ≥ 0 , причем (,)x x = 0 тогда и только тогда, когда x = θ (свойство скалярного квадрата). В евклидовом пространстве Е всегда можно ввести норму, порожденную скалярным

произведением || ||

x

=

(

x

,

x

)

.

E

2

Для любых двух элементов x и y произвольного евклидова пространства выполняется неравенство Коши-Буняковского (,x y) ≤ (,xx)(,⋅ yy) или | (x, y) | ≤ || xy|| ⋅|| || , причем равенство имеет место тогда и только тогда, когда элементы x и y линейно зависимы.

Напомним определения основных встречающихся далее линейных пространств.

Нормированное пространство Cab[,] . Элементами этого пространства являются непрерывные на отрезке [,]a b функции. Норма определяется как

, сходимость по норме пространства Cab[,] - равномерная

2

1.

y

C ab

[,]

= max |

x

∈

ab

[,]

yx

(

) |

2.

сходимость. Пространство Cab[,] - банахово (полное).

Нормированное пространство

функции, непрерывные с производными до p-го порядка включительно на отрезке

( ) | , сходимость по норме

ab . Элементами этого пространства являются

C

(

p

⁾ [,]

y

C

(

p

)

p

= ∑

k

=

0

max |

x

∈

[,]

ab

[,]a b . Норма определяется как

yx

(

k

)

ab

[,]

3.

- равномерная со всеми производными до p-го порядка. - банахово.

Евклидово (нормированное) пространство hab[,] . Элементами этого пространства являются непрерывные на отрезке [,]a b функции. Для любых двух непрерывных

Пространство

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

(

)

p

C

C

(

p

)

ab

[,]

[,]

ab

b

функций положим (,) ()()

y

z

=

y

x

z

∫

x dx

a

- скалярное произведение, и введем норму,

порожденную скалярным произведением

||

y

||

hab [,]

=

b

2

∫

y

(

x dx ; сходимость по норме

)

a

пространства hab[,] - сходимость в среднем. Пространство hab[,] не является полным.

Примеры решения задач

Пример 1.1. Доказать, что множество (вещественных) функций, непрерывных на отрезке [,]a b образует (вещественное) линейное пространство (пространство Cab[,] ).

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

1) ∀yx( ), zx( ) ∈ Cab[ , ]

yx() + zx() = zx() + yx() ;

2) ∀yx( ), zx( ), wx( ) ∈ Cab[ , ] [ yx( ) + zx( )] + wx( ) =+yx( ) [zx( ) + wx( )]; 3) нулевым элементом пространства естественно считать yx() ≡ 0 ∈Cab[,] ; 4) ∀yx( ) ∈ Cab[ , ] существует противоположный элемент − yx( ) ∈Cab[ , ] ; 5) ∀yx( ), zx( ) ∈∀Cab[ , ], α α [ yx( ) + zx( )] = α yx( ) + α zx( ) ; 6) ∀∈yx( ) Cab[ , ], ∀α, β (α + β )()yx = αβyx() + yx() ; 7) ∀∈yx( ) Cab[ , ], ∀α, β (αβ ) yx( ) = αβ[ yx( )] ; 8) ∀yx( ) ∈ Cab[ , ] 1⋅ yx() = yx() .

3

Пример 1.2. Доказать, что пространство Cab[,] является нормированным, если для

∀ yx() ∈ Cab[,] определить

y

C ab

[,]

=

max |

x

∈

ab

[,]

yx

(

) |

.

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

) |

1)	∀yx( ) ∈ Cab[ , ] :	y
2)	∀∈yx( ) Cab[ , ], ∀α :
3)	∀ yx( ), zx( ) ∈ Cab[ , ] :

≤

max (|

x

∈

[,]

ab

yx

(

) |

|

C ab

[,]

=

zx

(

) |)

max |

x

∈

ab

[,]

z

max |

+

[,]

ab

yx

(

, причем

yx

(

) |

|

)

zx

(

|

= max |

x

ab

∈ [,]

) |

+

yx

(

max |

[,]

ab

) |

y

≥

0

C ab

[,]

= 0

yx

(

) |

⇔ yx ≡=θ ;

()

0

=⋅

|

α

|

y

C ab

[,]

;

+

z

C ab

[,]

.

α αα

y

C ab

[,]

=

=⋅

y

x

x

∈

[,]

ab

zx

(

=

) |

y

max |

x

∈

[,]

ab

C ab

[,]

yx

(

max |

+≤

+≤

C ab

[,]

∈∈ x

Пример 1.3. Доказать неравенство Коши-Буняковского в пространстве hab[,] и проверить

корректность определения нормы в этом пространстве

y

=

hab [,]

b

2

∫

y

(

s

)

ds .

a

Решение. Неравенство Коши-Буняковского в пространстве hab[,] имеет вид

(,)

y

z

2

≡







b

∫

a

y

()()

z

x

x dx







2

bb

∫∫ 22

≤⋅

y

x dx

()

z

aa

x dx

()

∀ y(x), z(x) ∈ hab[ , ] .

Для доказательства рассмотрим следующее очевидное соотношение 0 ≤+( y λλzy, + z) = (,yy) + 2λ(,)yz + λ (,)zz , которое справедливо для любых двух элементов пространства y(x), z(x) ∈ hab[ , ] и любого вещественного числа λ . Поэтому дискриминант квадратного (относительно λ ) трехчлена должен быть отрицательным, т.е. 4( yz, ) − 4( yy, )(zz, ) ≤ 0 , откуда и получаем требуемое неравенство:

2

2

(

y

,

z

)

2

≡







b

∫

a

y

(

x

)

z

(

x dx

)







2 bb

≤

(

y

,

y

)(

z

,

z

)

∫∫

≡⋅

y

22

(

x dx

)

z

aa

(

x dx

)

.

Замечание. Приведенное доказательство может быть проведено в любом евклидовом пространстве. Для проверки корректности определения нормы в пространстве hab[,] нужно убедиться в справедливости соответствующих аксиом в определении нормы.

1)

∀y(x) ∈ hab[ , ]:

y

2) ∀∈y(x)

hab[ , ],∀α :

3) ∀y(x), z(x) ∈ hab[ , ] :

b

2

=

∫

y

()

x dx ≥

0 , причем

y

= 0

⇔ yx ≡=θ ;

()

0

hab

[,]

hab [,]

a

b

b

22

2

ααα=

y

∫

y

()

x dx

=⋅

|

|

∫

y

()

x dx

=⋅α

|

|

y

;

hab [,]

hab [,]

a

a

b

b

2

2

22

y

+

z

=

∫

(

y

(

x

)

+

z

(

x

))

dx

=

∫

(

y

(

x

)

++

z

(

x

)

2

y

(

x

)

z

(

hab

[,]

a

a

x

))

dx ≤

(с учетом неравенства Коши-Буняковского)

bb

b

b

22

2

2

≤

∫∫

y

(

x dx ++z

)

(

x

)

dx

2

∫

y

(

x

)

dx ⋅

∫

z

(

x dx =+y

)

(

||

||

||

z

||

) 2

hab

[,]

hab

[,]

aa

a

a

откуда получаем неравенство треугольника

yz

+≤ y

||

||

+ z

||

||

.

hab

[,]

hab

[,]

hab

[,]

4

,

Пример 1.4. Найти норму yx( ) = sin x + cos x

a)	в пространстве C[0,2π ];
б)	в пространстве h[0,2π ] .

Решение. а)

sin

xx

+

cos

C [0,2

π

]

=

max | sin

x ∈ [0,2

π

]

xx

+= ;

cos

|

2

б)

sin

x

+ cos

x

h [0,2

π ]

2

π

∫

0

(sin

x

cos

x

)

2 dx

=+

=

2

π

.

Пример 1.5. Доказать, что любая сходящаяся последовательность элементов нормированного пространства фундаментальна.

Решение. Последовательность x элементов нормированного пространства N называется

n

фундаментальной, если для любого ε > 0 найдется номер K такой, что для любого n ≥ K

и любого натурального p выполнено ||

Пусть последовательность x элементов нормированного пространства сходится (по норме пространства N) к элементу x ∈ N , тогда для любого ε > 0 существует номер К такой, что при n ≥ K и любом натуральном p одновременно выполнены два неравенства:

x

0

−

x

n

||

≤

ε

.

np

+

n

||

||

x

x

n

−

0

||

≤

ε

2

||

x

n

+

p

−

x

0

||

≤

ε

2

.

x

Пользуясь неравенством треугольника, получим при n ≥ K и любом натуральном

и

− =

||

x

++

np

n

np

x

||

||

−+− ≤

xxx

00

n

||

x

−

np

+

x

0

||

+

||

− ≤ , что и требовалось.

xx

n

0

||

ε

p

Пример 1.6. Доказать, что пространство hab[,] не является полным.

Решение. Для доказательства достаточно построить пример фундаментальной последовательности элементов пространства hab[,] , которая не является сходящейся в этом пространстве. Рассмотрим для определенности пространство h[−1,1] и такую последовательность непрерывных функций (элементов этого пространства):

y

n

()

x

=

1

 −

1,

− 1 ≤ ≤−

x





n



1



nx

,

0

≤

|

x

|

≤

n





1

1,

≤

x

≤

1 .





n

а) Докажем, что эта последовательность фундаментальна в пространстве h[−1,1] . Зададим произвольное ε > 0 и положим m > n , тогда существует такое натуральное число N ()ε , для которого

5

	(		)	−		(	x	)
y x y nm

2

h [

−

1,1]

1

∫

= −

(

y

(

x

)

y

nm

−

1

(

x

))

2

dx

=

2

1

1

m

n

(

mx

−

nx

)

dx

+

2

0

1

m

∫∫

(1

−

22

nx

)

при ∀ mnN >> ()

ε

=



 

4

3

ε



 

+

1 , что и требовалось доказать.

dx

=+ 22

n

33

nm

4

≤< 4

−

2

3

3

mn

б) Пусть последовательность ()

n

y x сходится в пространстве h[−1,1] , т.е. существует

∀n ≥ N (ε ) выполнено

непрерывная функция _ϕ()x такая, что для неравенство

∀ε > 0 ∃ N ()ε

1

и при

₁

y

n (

x

)

− ϕ (

x

)

h [

−

1,1]

=

1

2

∫

(

y

x

)

ϕ

(

x

))

dx

n (

− 1

−≤

ε

2

.

Рассмотрим разрывную функцию

ψ

Тогда для

∀>ε

0

∃ N ()ε

2

такое, что при

(

x

)

=

− 1,

0,

1,









1

−≤ <

x

0

0

x

<

=

x

0

≤

1

∀n ≥ N (ε ) имеем

₂

.

1

2

∫

(

y

x

)

− ψ (

x

))

dx

n (

− 1

1

n

2

ε

2

=

2

∫

(

nx

−

1)

dx

=≤ .

3

n

2

0

Поэтому, для ∀ε > 0 и соотношения:

0 <

1

2

∫

(

ϕψx x dx

(

)

−

(

))

−

1

∀ n ≥ max{NN(ε ),

1

2

(ε )}

справедливы следующие

=

1

2

∫

[(

ϕ x

(

)

−+−

y

(

x

))

(

y

(

x

)

ψ x

(

)]

dx

n

n

−

1

≤

ε

(здесь использовано неравенство Коши-Буняковского)

≤

(

ϕ

(

x

)

−

y

(

x

))

dx

11

(

y

(

x

)

−

ψ

(

x

))

dx

∫∫ 22

+

nn

−− 11

=

y

n (

x

)

−

ϕ (

x

)

h [

− 1,1]

+

1

2

∫ (

y

x

)

−

(

x

))

dx

n (

−

1

ε ε

≤+=

ψε

2

2

.

Ввиду произвольности выбора ε > 0 получаем противоречие, а значит

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

y

n

x в пространстве h[−1,1] неверно.

Итак, построенная последовательность ()

n

y x фундаментальна в пространстве

h[−1,1] , но не является сходящейся, что и требовалось доказать.

Пример 1.7. Доказать, что не всякая ограниченная последовательность в пространстве Cab[,] является компактной.

Решение. Рассмотрим пространство C[0,1] и последовательность элементов этого

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

последовательность ограничена. Покажем, что никакая ее подпоследовательность не может сходиться в C[0,1] .

т.е.

y

n

=

sin 2

n

n = 1, 2,3,

Очевидно, y

nC

π x ,

=

max |

x

∈

[0,1]

(

yx

n

) |

=

1

,

[0,1]

6

1

Действительно, для любого номера i существует точка = ∈

x

2

i

+

1

^∗

[0,1]

такая, что в

1

ней y x

i

y

k

(

∗

x

)

=

(

∗

)

=

sin 2

i

π

sin 2

k

π

1

2

i

+

1

2

=

i

+

1

=

1

.

При этом для любого k > i в этой же точке имеет место

y

i

− ≥

y

kC

[0,1]

|

(

yx

i

∗

)

−=

k

y

(

x

∗

)|

1

, т.е. никакая

подпоследовательность рассматриваемой последовательности не является

фундаментальной, а значит и не может сходиться.

0

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

7

Задачи для самостоятельного решения

1.1

1.2

1.3

1.4

1.5

1.6

1.7

1.8

1.9

1.10

1.11

1.12

1.4

1.5

1.6

Доказать, что пространство hab[,] является линейным.

Доказать, что пространство

Доказать, что в пространстве

Можно ли определить нормы следующими функциями для указанных множеств:

а)

C

(

p

⁾ [,]

ab является линейным.

1

нельзя ввести норму по формуле || x ||=| arctg x | .

в Cab[,] ;

||

y

||

=

x

max |

∈ [,

a

a

+

2

b

]

yx

(

) |

б)

||

||

y

y

||

||

|

(

=

=− | yb

(

ya

) |

)

max |

+

x

ab

∈ [,]

ya

(

) |

) |

max |

x

(

y

+

x

∈ [,]

ab

y

′

(

x

в

) |

′

C

(1)

[,]ab ;

в

C

(1)

в)

Найти нормы следующих функций, рассматривая их как элементы пространств _{C[0, 2]} и

[,]ab .

C (1)

[0,2] :

а) y = 2 sin πx − cosπx б) y = 3cosπx − sin πx

в)

г) y

д) y

Найти нормы в пространстве h[0,1] :

а)

б)

в)

Доказать, что если последовательность элементов нормированного пространства сходится, то эта последовательность ограничена.

Построить пример, показывающий, что из сходимости в среднем на отрезке [,]a b функциональной

последовательности не следует равномерная (и даже поточечная) сходимость.

Построить пример бесконечной ортонормированной системы в пространстве hab[,] .

Приве�