ВУЗ:
Составители:
τ > 0 M(u
(n)
)
M(u
(n)
) ⊆ M u
(n+1)
∈ M
{u
(n)
}
+∞
n=1
∈ M
τ
0 < τ <
2
L
.
{u
(n)
}
+∞
n=1
V
F : V → R
1
F (u) = F
A
(u) − (f, u)
V
, F
A
(u) =
1
Z
0
(A(tu), u)
V
dt.
u, v ∈ V
F (u) − F (v) =
1
Z
0
(A(v + t(u − v)), u − v)
V
dt − (f, u − v)
V
.
F
M
{u
(n)
}
+∞
n=1
⊂ S
0
, n = 0 , 1, 2, . . . ,
ãäå τ > 0 èòåðàöèîííûé ïàðàìåòð. Ïîñêîëüêó ìíîæåñòâî M (u(n) ) âû- ïóêëîå è çàìêíóòîå, ðåøåíèå íåðàâåíñòâà (2.5) ñóùåñòâóåò è åäèíñòâåí- íî. Èç âêëþ÷åíèÿ M (u(n) ) ⊆ M ñëåäóåò, ÷òî u(n+1) ∈ M è òàêèì îáðàçîì ïîñëåäîâàòåëüíîñòü {u(n) }+∞ n=1 ∈ M . Ñïðàâåäëèâà ñëåäóþùàÿ Òåîðåìà 2.1. Ïóñòü âûïîëíåíû óñëîâèÿ (2.2)(2.6), èòåðàöèîííûé ïàðàìåòð τ óäîâëåòâîðÿåò íåðàâåíñòâó: 2 0<τ < . (2.6) L Òîãäà èòåðàöèîííàÿ ïîñëåäîâàòåëüíîñòü { u(n) }+∞ n=1 , ïîñòðîåííàÿ ñî- ãëàñíî (2.5) îãðàíè÷åíà â V , è âñå åå ñëàáî ïðåäåëüíûå òî÷êè ÿâëÿþòñÿ ðåøåíèÿìè çàäà÷è (2.1). Äîêàçàòåëüñòâî. Îïðåäåëèì ôóíêöèîíàë F : V → R1 ñîîòíîøåíèåì Z1 F (u) = FA (u) − (f, u)V , FA (u) = (A(tu), u)V dt. (2.7) 0 Ïðè ýòîì èç (2.2), (2.7) âûòåêàåò, ÷òî äëÿ ëþáûõ u, v ∈ V ñïðàâåä- ëèâî ðàâåíñòâî Z1 F (u) − F (v) = (A(v + t(u − v)), u − v)V dt − (f, u − v)V . (2.8) 0 Îòìåòèì, ÷òî â ñèëó óñëîâèÿ (2.4) ôóíêöèîíàë F êîýðöèòèâåí íà ìíîæåñòâå M . Äîêàæåì äàëåå îãðàíè÷åííîñòü èòåðàöèîííîé ïîñëåäîâàòåëüíîñòè, à èìåííî, ïðîâåðèì, ÷òî {u(n) }+∞ n=1 ⊂ S0 , n = 0, 1, 2, . . . , (2.9) 16
Страницы
- « первая
- ‹ предыдущая
- …
- 14
- 15
- 16
- 17
- 18
- …
- следующая ›
- последняя »