ВУЗ:
Составители:
S
0
= {u ∈ M : F (u) 6 F (u
(0)
)}.
{u
(k)
}
+∞
k=0
V
F
d
0
< +∞ A
d
1
< +∞ 0 < µ
0
< +∞
τ
{u
(k)
}
+∞
k=0
⊂ S
0
, ku
(k)
k
V
≤ d
0
, k = 0, 1, 2, . . .
u
(0)
∈ S
0
u
(N)
∈ S
0
u
(N+1)
∈ S
0
v = u
(k)
τ ≤ 1
Ψ(ku
(k+1)
− u
(k)
k
V
)ku
(k+1)
− u
(k)
k
V
= hJ(u
(k+1)
− u
(k)
), u
(k+1)
− u
(k)
i ≤
≤ τhf − Au
(k)
, u
(k+1)
− u
(k)
≤ikAu
(k)
− fk
V
∗
ku
(k+1)
− u
(k)
k
V
,
Ψ
ku
(k+1)
− u
(k)
k
V
≤ Ψ
−1
³
kAu
(k)
− fk
V
∗
´
.
t ∈ [0, 1]
|hA(u
(k)
+ t(u
(k+1)
− u
(k)
)) − Au
(k)
, u
(k+1)
− u
(k)
i| ≤
≤ µ(d
∗
)Ψ(kt(u
(k+1)
− u
(k)
)k
V
)ku
(k+1)
− u
(k)
k
V
≤
≤ µ(d
∗
)Ψ(ku
(k+1)
− u
(k)
k
V
)ku
(k+1)
− u
(k)
k
V
,
d
∗
= max{ku
(k)
+ t(u
(k+1)
− u
(k)
)k
V
, ku
(k)
k
V
}.
S 0 = {u ∈ M : F (u) 6 F (u(0) )}. (1.13)
Òîãäà èòåðàöèîííàÿ ïîñëåäîâàòåëüíîñòü {u(k) }+∞
k=0 , ïîñòðîåííàÿ ñî-
ãëàñíî (1.10), îãðàíè÷åíà â V , è âñå åå ñëàáî ïðåäåëüíûå òî÷êè ÿâëÿ-
þòñÿ ðåøåíèÿìè çàäà÷è (1.2).
Äîêàçàòåëüñòâî. Îòìåòèì, ÷òî èç êîýðöèòèâíîñòè ôóíêöèîíàëà F
âûòåêàåò, ÷òî d0 < +∞, à èç îãðàíè÷åííîñòè îïåðàòîðà A ñëåäóåò, ÷òî
d1 < +∞. Òàêèì îáðàçîì, 0 < µ0 < +∞, òî åñòü èòåðàöèîííûé ïàðàìåòð
τ â (1.12) îïðåäåëåí êîððåêòíî.
Äîêàæåì ñíà÷àëà îãðàíè÷åííîñòü èòåðàöèîííîé ïîñëåäîâàòåëüíî-
ñòè, à èìåííî, ïðîâåðèì, ÷òî âûïîëíåíî óñëîâèå:
{u(k) }+∞ 0 (k)
k=0 ⊂ S , òî åñòü ku kV ≤ d0 , k = 0, 1, 2, . . . (1.14)
Ïî îïðåäåëåíèþ u(0) ∈ S 0 . Ïóñòü u(N ) ∈ S 0 , äîêàæåì, ÷òî òîãäà è
u(N +1) ∈ S 0 .
Ïîäñòàâëÿÿ â (1.10) v = u(k) , ïîëüçóÿñü (1.11) è òåì, ÷òî τ ≤ 1, èìååì
Ψ(ku(k+1) − u(k) kV )ku(k+1) − u(k) kV = hJ(u(k+1) − u(k) ), u(k+1) − u(k) i ≤
≤ τ hf − Au(k) , u(k+1) − u(k) ≤ikAu(k) − f kV ∗ ku(k+1) − u(k) kV ,
îòêóäà âñëåäñòâèå ñòðîãîãî âîçðàñòàíèÿ Ψ ïîëó÷àåì
³ ´
(k+1) (k) −1 (k)
ku − u kV ≤ Ψ kAu − f kV ∗ . (1.15)
Äàëåå, ñîãëàñíî (1.3) äëÿ t ∈ [0, 1] èìååì
|hA(u(k) + t(u(k+1) − u(k) )) − Au(k) , u(k+1) − u(k) i| ≤
≤ µ(d∗ )Ψ(kt(u(k+1) − u(k) )kV )ku(k+1) − u(k) kV ≤
≤ µ(d∗ )Ψ(ku(k+1) − u(k) kV )ku(k+1) − u(k) kV , (1.16)
ãäå d∗ = max{ku(k) + t(u(k+1) − u(k) )kV , ku(k) kV }.
10
Страницы
- « первая
- ‹ предыдущая
- …
- 8
- 9
- 10
- 11
- 12
- …
- следующая ›
- последняя »
