ВУЗ:
Составители:
A
lim inf
h
k
→0
hAu
h
k
, u
h
k
− vi > hAu, u − vi ∀v ∈ M.
(I) v ∈ M(u)
{v
h
k
∈ M
h
k
(u
h
k
)}
+∞
k=1
lim
h
k
→0
kv
h
k
− vk
V
= 0 .
{u
h
k
}
+∞
k=1
u
lim sup
h
k
→0
hAu
h
k
, u
h
k
− vi 6
6 lim sup
h
k
→0
hAu
h
k
, u
h
k
− v
h
k
i + lim sup
h
k
→0
hAu
h
k
, v
h
k
− vi 6
6 lim sup
h
k
→0
hf, u
h
k
− v
h
k
i + lim sup
h
k
→0
kAu
h
k
k
V
∗
kv
h
k
− vk
V
=
= hf, u − vi .
hAu
∗
, v − u
∗
i > hf, v − u
∗
i ∀v ∈ M,
u
(I)
(II) {v
(k)
}
+∞
k=1
M
h
v V k → +∞ v M
h
w M
h
(v) {w
(k)
}
+∞
k=1
w
(k)
∈ M
h
(v
(k)
) , k = 1, 2, 3, . . . ,
lim
k→+∞
kw
(k)
− wk
V
= 0;
Èç ïîñëåäíåãî íåðàâåíñòâà è ïñåâäîìîíîòîííîñòè îïåðàòîðà A èìååì:
lim inf hAuhk , uhk − vi > hAu, u − vi ∀v ∈ M. (7.6)
hk →0
Ñîãëàñíî óñëîâèþ (I) äëÿ ïðîèçâîëüíîé ôóíêöèè v ∈ M (u) ñóùå-
+∞
ñòâóåò ïîñëåäîâàòåëüíîñòü {vhk ∈ Mhk (uhk )}k=1 , äëÿ êîòîðîé
lim kvhk − vkV = 0 .
hk →0
Èñïîëüçóÿ ýòî ðàâåíñòâî è ñëàáóþ ñõîäèìîñòü ïîñëåäîâàòåëüíîñòè
{uhk }+∞
k=1 ê u, ïîëó÷àåì
lim sup hAuhk , uhk − vi 6
hk →0
6 lim sup hAuhk , uhk − vhk i + lim sup hAuhk , vhk − vi 6
hk →0 hk →0
6 lim sup hf, uhk − vhk i + lim sup kAuhk kV ∗ kvhk − vkV =
hk →0 hk →0
= hf, u − vi . (7.7)
Ñîáèðàÿ âìåñòå íåðàâåíñòâà (7.6) è (7.7), èìååì
hAu∗ , v − u∗ i > hf, v − u∗ i ∀v ∈ M,
òî åñòü u ðåøåíèå çàäà÷è (7.3). Òåîðåìà äîêàçàíà.
Ïóñòü òåïåðü, â äîïîëíåíèå óñëîâèþ (I), âûïîëíåíû
óñëîâèå (II): ïóñòü ïîñëåäîâàòåëüíîñòü {v (k) }+∞
k=1 èç Mh ñõîäèòñÿ
ê v â V ïðè k → +∞. Òîãäà v ïðèíàäëåæèò Mh , è äëÿ ïðîèçâîëüíîé
ôóíêöèè w èç Mh (v) íàéäåòñÿ òàêàÿ ïîñëåäîâàòåëüíîñòü {w(k) }+∞
k=1 ,
÷òî
w(k) ∈ Mh (v (k) ) , k = 1, 2, 3, . . . , (7.8)
è
lim kw(k) − wkV = 0; (7.9)
k→+∞
59
Страницы
- « первая
- ‹ предыдущая
- …
- 57
- 58
- 59
- 60
- 61
- …
- следующая ›
- последняя »
