ВУЗ:
Составители:
≤ µ
0
Ψ(ku
(k+1)
− u
(k)
k
V
)ku
(k+1)
− u
(k)
k
V
−
−
1
τ
Ψ(ku
(k+1)
− u
(k)
k
V
) ku
(k+1)
− u
(k)
k
V
=
= −λΨ(ku
(k+1)
− u
(k)
k
V
)ku
(k+1)
− u
(k)
k
V
,
λ = 1/τ − µ
0
> 0
F (u
(k+1)
) + λ Ψ(ku
(k+1)
− u
(k)
k
V
)ku
(k+1)
− u
(k)
k
V
≤ F (u
(k)
).
k = 0, 1, . . . , N
F (u
(k+1)
) + λ
N
X
k=0
Ψ(ku
(k+1)
− u
(k)
k
V
) ku
(k+1)
− u
(k)
k
V
≤ F (u
(0)
),
F (u
(N+1)
) ≤ F (u
(0)
) u
(N+1)
∈ S
0
V
{u
(k
m
)
}
+∞
m=1
u V m → +∞
M u ∈ M u
F
F (u) ≥ −µ(kuk
V
) Ψ (kuk
V
) kuk
V
− kA(0)k
V
∗
kuk
V
− kfk
V
∗
kuk
V
.
{F (u
(k)
)}
+∞
k=0
{F (u
(k)
)}
+∞
k=0
lim
k→+∞
λΨ(ku
(k+1)
− u
(k)
k
V
)ku
(k+1)
− u
(k)
k
V
= 0.
≤ µ0 Ψ(ku(k+1) − u(k) kV )ku(k+1) − u(k) kV − 1 − Ψ(ku(k+1) − u(k) kV ) ku(k+1) − u(k) kV = τ = −λΨ(ku(k+1) − u(k) kV )ku(k+1) − u(k) kV , (1.18) ïðè÷åì â ñèëó (1.12) λ = 1/τ − µ0 > 0. Òàêèì îáðàçîì, èìååì F (u(k+1) ) + λ Ψ(ku(k+1) − u(k) kV )ku(k+1) − u(k) kV ≤ F (u(k) ). (1.19) Ñóììèðóÿ ýòè íåðàâåíñòâà ïî k = 0, 1, . . . , N , ïîëó÷èì, ÷òî N X (k+1) F (u )+λ Ψ(ku(k+1) − u(k) kV ) ku(k+1) − u(k) kV ≤ F (u(0) ), k=0 ñëåäîâàòåëüíî F (u(N +1) ) ≤ F (u(0) ), òî åñòü u(N +1) ∈ S 0 . Óòâåðæäåíèå (1.14) äîêàçàíî. Èç îãðàíè÷åííîñòè èòåðàöèîííîé ïîñëåäîâàòåëüíîñòè è ðåôëåêñèâ- íîñòè ïðîñòðàíñòâà V ñëåäóåò ñóùåñòâîâàíèå ïîäïîñëåäîâàòåëüíîñòè {u(km ) }+∞ m=1 , ñõîäÿùåéñÿ ñëàáî ê u â V ïðè m → +∞, à â ñèëó ñëàáîé çàìêíóòîñòè ìíîæåñòâà M ïîëó÷àåì, ÷òî u ∈ M . Ïîêàæåì, ÷òî u ÿâëÿ- åòñÿ ðåøåíèåì çàäà÷è (1.2). Èç îïðåäåëåíèÿ ôóíêöèîíàëà F â âèäå (1.8) è óñëîâèÿ (1.3) ñëåäóåò, ÷òî F (u) ≥ −µ(kukV ) Ψ (kukV ) kukV − kA(0)kV ∗ kukV − kf kV ∗ kukV . Èç ýòîãî íåðàâåíñòâà è îãðàíè÷åííîñòè èòåðàöèîííîé ïîñëåäîâàòåëü- íîñòè âûòåêàåò îãðàíè÷åííîñòü ñíèçó ïîñëåäîâàòåëüíîñòè {F (u(k) )}+∞ k=0 Çíà÷èò, íåâîçðàñòàþùàÿ ÷èñëîâàÿ ïîñëåäîâàòåëüíîñòü {F (u(k) )}+∞ k=0 èìå- åò êîíå÷íûé ïðåäåë. Ïîýòîìó èç (1.19) èìååì lim λΨ(ku(k+1) − u(k) kV )ku(k+1) − u(k) kV = 0. k→+∞ 12
Страницы
- « первая
- ‹ предыдущая
- …
- 10
- 11
- 12
- 13
- 14
- …
- следующая ›
- последняя »