Вы находитесь на странице: 1из 94
Московский государственный университет им . М . В . Ломоносова

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

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

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

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

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

Учебное пособие для студентов 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 1x = 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
произведением || ||
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
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[ , ] 1yx() = 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
y

=

hab [,]

b 2 ∫ y ( s ) ds . a
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
y

2) ∀∈y(x)

hab[ , ],α :

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

b 2 = ∫ y () x dx ≥ 0 , причем y = 0
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 ) (
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
xx
+= ;
cos
|
2

б)

sin

x

+ cos

x

h [0,2

π ]

2

π

0

(sin

x

cos

x

)

2 dx

=+

=

2 π
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 
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
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

и при

1

y

n (

x

)

ϕ (

x

)

h [

1,1]

=

1 2 ∫ ( y x ) ϕ ( x )) dx n ( −
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 (ε ) имеем

2

.

1 2 ∫ ( y x ) − ψ ( x )) dx n (
1
2
(
y
x
)
− ψ (
x
))
dx
n (
− 1
1 n 2 ε 2 = 2 ∫ ( nx − 1) dx =≤ .
1
n
2
ε
2
=
2
(
nx
1)
dx
=≤ .
3
n
2
0

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

0 <

1 2 ∫ ( ϕψx x dx ( ) − ( )) − 1
1
2
(
ϕψx x dx
(
)
(
))
1

n max{NN(ε ),

1

2

(ε )}

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

=

1 2 ∫ [( ϕ x ( ) −+− y ( x )) ( y
1
2
[(
ϕ x
(
)
−+−
y
(
x
))
(
y
(
x
)
ψ x
(
)]
dx
n
n
1

ε

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

( ϕ ( x ) − y ( x )) dx
(
ϕ
(
x
)
y
(
x
))
dx

11

( y ( x ) − ψ ( x )) dx
(
y
(
x
)
ψ
(
x
))
dx

∫∫ 22

+

nn

−− 11

=

y

n (

x

)

ϕ (

x

)

h [

1,1]

+

1 2 ∫ ( y x ) − ( x )) dx n ( −
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[,] .

Приве