ВУЗ:
Составители:
+ lim sup
m→+∞
hAu
(k
m
)
, u
(m)
− ui ≤ 0.
lim inf
m→+∞
hAu
(k
m
)
, u
(k
m
)
− vi ≥ 0 ∀v ∈ V .
η M(u)
{η
(m)
}
+∞
m=0
η
(m)
∈ M(u
(k
m
)
)
lim
m→+∞
η
(m)
= η.
v = η
(m)
C
(k
m
)
(η
(m)
) ≥ hAu
(k
m
)
, u
(k
m
)
− ηi + hAu
(k
m
)
, η − η
(m)
i + hf, η
(m)
− u
(k
m
)
i,
0 = lim inf
m→+∞
C
(k
m
)
(η
(m)
) ≥ lim inf
m→+∞
hAu
(k
m
)
, u
(k
m
)
− ηi+
+ lim inf
m→+∞
hAu
(k
m
)
, η − η
(m)
i + lim inf
m→+∞
hf, η
(m)
− u
(k
m
)
i ≥
≥ hAu, u − ηi + hf, η − ui ∀η ∈ M(u),
u
+ lim sup hAu(km ) , u(m) − ui ≤ 0. (1.23) m→+∞ Èñïîëüçóÿ îïðåäåëåíèå ïñåâäîìîíîòîííîñòè (1.4), (1.5), èç íåðàâåí- ñòâà (1.23) ïîëó÷àåì, ÷òî lim inf hAu(km ) , u(km ) − vi ≥ 0 ∀v ∈ V . (1.24) m→+∞ Äëÿ ïðîèçâîëüíîãî ýëåìåíòà η èç ìíîæåñòâà M (u) íàéäåòñÿ òàêàÿ ïîñëåäîâàòåëüíîñòü {η (m) }+∞ m=0 , η (m) ∈ M (u(km ) ), ÷òî: lim η (m) = η. (1.25) m→+∞ Èç (1.21) äëÿ v = η (m) èìååì: C (km ) (η (m) ) ≥ hAu(km ) , u(km ) − ηi + hAu(km ) , η − η (m) i + hf, η (m) − u(km ) i, îòêóäà â ñèëó (1.20), (1.24) è (1.25) ïîëó÷àåì, ÷òî 0 = lim inf C (km ) (η (m) ) ≥ lim inf hAu(km ) , u(km ) − ηi+ m→+∞ m→+∞ + lim inf hAu(km ) , η − η (m) i + lim inf hf, η (m) − u(km ) i ≥ m→+∞ m→+∞ ≥ hAu, u − ηi + hf, η − ui ∀ η ∈ M (u), (1.26) òî åñòü u ðåøåíèå âàðèàöèîííîãî íåðàâåíñòâà (1.2). Òåîðåìà äîêàçà- íà. Çàìå÷àíèå 1.1. Èç äîêàçàòåëüñòâà òåîðåìû ñëåäóåò ñóùåñòâî- âàíèå ðåøåíèÿ êâàçèâàðèàöèîííîãî íåðàâåíñòâà (1.2). 2. Èòåðàöèîííûé ìåòîä ðåøåíèÿ êâàçèâàðèàöèîííûõ íåðàâåíñòâ â ãèëüáåðòîâîì ïðîñòðàíñòâå. Îòäåëüíî ðàññìîòðèì èòåðàöèîííûå ìåòîäû ðåøåíèÿ êâàçèâàðèàöè- îííûõ íåðàâåíñòâ ñ ëèïøèö-íåïðåðûâíûì îïåðàòîðîì â ãèëüáåðòîâîì ïðîñòðàíñòâå. 14
Страницы
- « первая
- ‹ предыдущая
- …
- 12
- 13
- 14
- 15
- 16
- …
- следующая ›
- последняя »