Download as pdf or txt
Download as pdf or txt
You are on page 1of 6

ÓÄÊ 517.

977

c 2010 ð.
° À.Ñ. Ïåðöîâ, Þ.Ê. Ïîäëèïåíêî
×åðíiâåöüêèé íàöiîíàëüíèé óíiâåðñèòåò iìåíi Þðiÿ Ôåäüêîâè÷à

ÌIÍIÌÀÊÑÍÅ ÎÖIÍÞÂÀÍÍÍß ÔÓÍÊÖIÎÍÀËIÂ ÂIÄ ÏÐÀÂÈÕ


×ÀÑÒÈÍ ÐIÂÍßÍÜ ËIÍIÉÍΈ ÒÅÎÐIˆ ÏÐÓÆÍÎÑÒI Ç ÃÐÀÍÈ×ÍÈÌÈ
ÓÌÎÂÀÌÈ ÒÈÏÓ ÍÅÉÌÀÍÀ
Äîñëiäæåíà çàäà÷à ìiíiìàêñíîãî îöiíþâàííÿ íåâiäîìèõ ïðàâèõ ÷àñòèí ðiâíÿíü ëiíié-
íî¨ òåîði¨ ïðóæíîñòi ç ãðàíè÷íèìè óìîâàìè òèïó Íåéìàíà ïðè óìîâi, ùî íåâiäîìi äàíi öèõ
çàäà÷, à òàêîæ ñòàòèñòè÷íi õàðàêòåðèñòèêè øóìiâ â ñïîñòåðåæåííÿõ çàäîâîëüíÿþòü ïåâíèì
êâàäðàòè÷íèì îáìåæåííÿì. Îòðèìàíi ïðåäñòàâëåííÿ äëÿ ìiíiìàêñíèõ îöiíîê ôóíêöiîíàëiâ
âiä ïðàâèõ ÷àñòèí ðiâíÿíü òà ãðàíè÷íèõ óìîâ öèõ çàäà÷, à òàêîæ äëÿ ïîõèáîê îöiíþâàííÿ
÷åðåç ðîçâ'ÿçêè îäíîçíà÷íî ðîçâ'ÿçíèõ ñèñòåì iíòåãðî-äèôåðåíöiàëüíèõ ðiâíÿíü ñïåöiàëüíîãî
âèãëÿäó.

We investigate the problem of minimax estimation of unknown right-hand sides of equations


entering into the statement of Neumann boundary value problems for the equations of linear
elasticity under the assumption that unknown deterministic data of these problems as well as the
statistical characteristics of noises in observations are subjected to certain quadratic restrictions.
We obtain the representations for the minimax estimates of functionals from right-hand sides of
equations and boundary conditions of these problems and for estimation errors via solutions of
uniquely solvable systems of integro-dierential equations of special form.

Âñòóï. Çàäà÷à ìiíiìàêñíîãî îöiíþâàííÿ Öåé îïåðàòîð iñíó¹ âíàñëiäîê òåîðåìè Ðiñà.
ôóíêöiîíàëiâ âiä ðîçâ'ÿçêiâ êðàéîâî¨ çàäà÷i Ïîçíà÷èìî ÷åðåç L2 (Ω, H) ïðîñòið Áî-
äëÿ ðiâíÿíü ëiíiéíî¨ òåîði¨ ïðóæíîñòi ç ãðà- õíåðà, ÿêèé ñêëàäà¹òüñÿ ç âèïàäêîâèõ åëå-
íè÷íèìè óìîâàìè òèïó Íåéìàíà äîñëiäæåíà ìåíòiâ ξ = ξ(ω), ÿêi âèçíà÷åíi íà ïåâ-
â ðîáîòi [2]. íîìó éìîâiðíiñíîìó ïðîñòîði (Ω, B, P ) çi
 äàíié ñòàòòi çà çàøóìëåíèìè ñïîñòå- çíà÷åííÿìè â H òàêèìè, ùî kξk2L2 (Ω,H) =
R
ðåæåííÿìè ðîçâ'ÿçêiâ òà ïðè ñïåöiàëüíèõ Ω
kξ(ω)k2H dP (ω) < ∞. Â öüîìó âè-
îáìåæåííÿõ íà ïðàâi ÷àñòèíè ðiâíÿíü òà ïàäêó iñíó¹ iíòåãðàë Áîõíåðà Eξ :=
R
êðàéîâèõ óìîâ, à òàêîæ íà øóìè â ñïîñòåðå- Ω
ξ(ω) dP (ω) ∈ H, ÿêèé íàçèâà¹òüñÿ ìàòå-
æåííÿõ, äîñëiäæó¹òüñÿ çàäà÷à çíàõîäæåííÿ ìàòè÷íèì ñïîäiâàííÿì àáî ñåðåäíiì âèïàä-
ìiíiìàêñíèõ îöiíîê ôóíêöiîíàëiâ âiä ïðàâèõ êîâîãî åëåìåíòà ξ(ω). Â L2 (Ω, H) ìîæíà ââå-
÷àñòèí ðiâíÿíü, ÿêi âõîäÿòü â ïîñòàíîâêó ñòè ñêàëÿðíèé äîáóòîê:
êðàéîâî¨ çàäà÷i äëÿ ðiâíÿííÿ ëiíiéíî¨ òåî- Z
ði¨ ïðóæíîñòi ç ãðàíè÷íèìè óìîâàìè òèïó (ξ, η)L2 (Ω,H) := (ξ(ω), η(ω))H dP (ω) (1)
Íåéìàíà. Ω
Çíàõîäæåííÿ ìiíiìàêñíèõ îöiíîê çâåäåíî
∀ξ, η ∈ L2 (Ω, H).
äî ðîçâ'ÿçêó äåÿêèõ ñèñòåì âàðiàöiéíèõ ðiâ-
íÿíü òà äîâåäåíà ¨õ îäíîçíà÷íà ðîçâ'ÿçíiñòü. Ïðîñòið L2 (Ω, H), çi ñêàëÿðíèì äîáóòêîì
Ïîçíà÷èìî ÷åðåç H  ãiëüáåðòiâ ïðîñòið (1), ¹ ãiëüáåðòîâèì.
íàä R çi ñêàëÿðíèì äîáóòêîì (·, ·)H òà íîð- Ââåäåìî òàêîæ íàñòóïíi ïîçíà÷åííÿ: x =
ìîþ k · kH . ×åðåç JH ∈ L(H, H 0 ) áóäåìî (x1 , . . . , xn )  ïpîñòîðîâà çìiííà, ÿêà íàëå-
ïîçíà÷àòè îïåðàòîð, ÿêèé íàçèâà¹òüñÿ içî- æèòü îáìåæåíié âiäêðèòié îáëàñòi D ⊂ Rn
ìåòðè÷íèì içîìîðôiçìîì, äi¹ ç H íà éîãî ç ëiïøèöåâîþ ãpàíèöåþ Γ; dx = dx1 · · · dxn -
ñïðÿæåíèé ïðîñòið H 0 , òà âèçíà÷à¹òüñÿ ðiâ- ìiðà Ëåáåãà â Rn ; L2 (D)  ïpîñòip ôóíêöié,
íiñòþ (u, v)H = < JH u, v >H 0 ×H ∀u, v ∈ H, ÿêi ñóìóþòüñÿ ç êâàäðàòîì â îáëàñòi D; äëÿ
äå < f, x >H 0 ×H := f (x) äëÿ x ∈ H, f ∈ H 0 . öiëîãî ÷èñëà m ïîçíà÷èìî ÷åðåç H m (D) 

Íàóêîâèé âiñíèê ×åðíiâåöüêîãî óíiâåðñèòåòó. 2010. Âèïóñê 528. Ìàòåìàòèêà. 115


ñòàíäàðòíi ïpîñòîpè Ñîáîëåâà ç ïðèðîäíè- Ââåäåìî äèôåðåíöiàëüíèé îïåðàòîð äðó-
ìè íîðìàìè; çíàê ” : ” îçíà÷๠çãîðòêó òåí- ãîãî ïîðÿäêó
çîðà i âåêòîðà àáî òåíçîðà i òåíçîðà. " n
X ∂τij
Íåõàé òiëî D  îáìåæåíà îáëàñòü ç ëi- Lu = −div τ (u) = − =
ïøèöåâîþ ãðàíèöåþ â ïðîñòîði Rn . Ïîçíà- i=1
∂xj
÷èìî ÷åðåç u = (u1 , . . . , un ) âåêòîð ïåðåìi- #
Xn
ùåííÿ (êîìïîíåíòè ÿêîãî ¹ ôóíêöiÿìè x ∈ ∂
D) òà ÷åðåç ²ij êîìïîíåíòè òåíçîðà äåôîð- =− (2µ²ij (u) + λdiv uδij ) .
i=1
∂xj
ìàöi¨
· µ ¶¸ Çàäà÷à Íåéìàíà â ìàòåìàòè÷íié òåîði¨
1 ∂ui ∂uj ïðóæíîñòi ôîðìóëþ¹òüñÿ íàñòóïíèì ÷èíîì:
² = ²(u) = + .
2 ∂xj ∂xi çíàéòè âåêòîð ïåðåìiùåííÿ u, ÿêèé çàäî-
P âîëüíÿ¹ ðiâíÿííÿì
Çàóâàæèìî, ùî div u = ni=1 ²ii (u) òà ùî ² ¹
ñèìåòðè÷íèì: ²ij = ²ji . Êðiì òîãî, ²(u) = 0 Lu = F â D,
òîäi i òiëüêè òîäi êîëè u ∈ RB. Òóò n
X
RB := τ (u) : n = τij nj = g íà Γ, (4)
½ ¾ j=1
r ∈ R2 : r = a + b[x2 , −x1 ]T , n = 2, äå F  âåêòîð îá'¹ìíèõ ñèë â òiëi D, g  âå-
r ∈ R3 : r = a + b × [x1 , x2 , x3 ]T , n = 3 êòîðíà ôóíêöiÿ, çàäàíà íà Γ, nj  íàïðàâëÿ-
(2) þ÷i êîñèíóñè çîâíiøíüî¨ ïî âiäíîøåííþ äî
äå a ∈ R , b ∈ R ïðè n = 2 i a, b ∈ R ïðè
2 3
îáëàñòi D íîðìàëi n äî ¨¨ ãðàíèöi Γ.
n = 3 âiäïîâiäíî. Ïðèïóñòèìî, ùî F ∈ L2 (D)n , g ∈ L2 (Γ)n .
Ïðÿìi îá÷èñëåííÿ ïîêàçóþòü, ùî âåêòîð Òîäi ïiä ðîçâ'ÿçêîì çàäà÷i (4) ðîçóìiþòü
r â (2), íàïðèêëàä ïðè n = 3, âèçíà- çíàõîäæåííÿ ôóíêöi¨ u ∈ H 1 (D)n , ÿêà çà-
÷à¹òüñÿ ôîðìóëîþ r = R(x)α, äå α = äîâîëüíÿ¹ iíòåãðàëüíié òîòîæíîñòi
(a1 , a2 , a3 , b1 , b2 , b3 ), à 3 × 6-ìàòðèöÿ R(x) ì๠Z Z
âèãëÿä a(u, v) = (F, v)Rn dx + (g, v)Rn dΓ, (5)
  D Γ
1 0 0 0 x3 −x2 R
R(x) =  0 1 0 −x3 0 x1  . äå a(u, v) = (2µ²(u) : ²(v) + λ ÷ u div v) dx,
0 0 1 x2 −x1 0 DP
²(u) : ²(v) = ni,j=1 ²ij (u)²ij (v). Ðîçâ'ÿçîê çà-
Ñòîâïöi öi¹¨ ìàòðèöi äà÷i (5) íå ¹ ¹äèíèì òà âèçíà÷à¹òüñÿ ç òî÷íi-
ñòþ äî äîâiëüíî¨ ôóíêöi¨ ç RB. Âií iñíó¹ òîäi
r1 = [1, 0, 0]T , r2 = [0, 1, 0]T , r3 = [0, 0, 1]T , i òiëüêè òîäi, êîëè ôóíêöi¨ F i g çàäîâîëüíÿ-
þòü íàñòóïíèì óìîâàì ñóìiñíîñòi (äèâ. [1]):
r4 = [0, −x3 , x2 ]T , r5 = [x3 , 0, −x1 ]T , (3)
Z Z
T
r6 = [−x2 , x1 , 0] (F, r)Rn dx + (g, r)Rn dΓ = 0 ∀r ∈ RB.
D Γ
óòâîðþþòü áàçèñ ïiäïðîñòîðó RB, òàê ùî (6)
dim RB = 6 ïðè n = 3 i dim RB = 3 ïðè Ïîñòàíîâêà çàäà÷i ìiíiìàêñíîãî îöi-
n = 2. íþâàííÿ. Çàäà÷à îöiíþâàííÿ ïîëÿã๠â òî-
Òåíçîð íàïðóæåííÿ âèçíà÷à¹òüñÿ çà ôîð- ìó, ùîá çà ñïîñòåðåæåííÿì âèãëÿäó
ìóëîþ τ = τ (u) = 2µ²(u) + λdiv uI, äå I 
îäèíè÷íà ìàòðèöÿ â Rn , λ = λ(x) (λ(x) ≥ y = Cu + η (7)
0) i µ = µ(x) (µ(x) > 0)  óçàãàëüíå-
çíàéòè oïòèìàëüíó, â ïåâíîìó ñåíñi, îöiíêó
íi êîåôiöi¹íòè Ëàìå, ÿêi õàðàêòåðèçóþòü
çíà÷åííÿ ôóíêöiîíàëà
ïðóæíiñòü òiëà, ÿêi ïðèïóñêàþòüñÿ êóñêîâî- Z
íåïåðåðâíèìè ôóíêöiÿìè â îáëàñòi D̄. Òåí-
çîð íàïðóæåííÿ τ òàêîæ ¹ ñèìåòðè÷íèì. l(F ) = (l0 (x), F(x))Rn dx+
D

116 Íàóêîâèé âiñíèê ×åðíiâåöüêîãî óíiâåðñèòåòó. 2010. Âèïóñê 528. Ìàòåìàòèêà.


Z
äe
+ (l1 (x), g(x))Rn dΓ
Γ l(d
F̃ ) = (ỹ, w)H0 + c, (10)
â êëàñi ëiíiéíèõ îöiíîê l(F d) = (y, w)H + c, ỹ = C ũ + η̃, ũ  áóäü-ÿêèé ðîçâ'ÿçîê êðàéî-
0
äe u(x)ðîçâ'ÿçîê êðàéîâî¨ çàäà÷i (4), åëå- âî¨ çàäà÷i (4) ïðè F = F̃, g = g̃. Âåëè÷èíó
ìåíò w íàëåæèòü ãiëüáåðòîâîìó ïðîñòîðó σ áóäåìî íàçèâàòè ïîõèáêîþ ìiíiìàêñíîãî
H0 , c ∈ R, l0 ∈ L2 (D)n , l1 ∈ L2 (Γ)n  çàäà- îöiíþâàííÿ âèðàçó l(F ).
íi ôóíêöi¨, â ïðèïóùåííi, ùî ïðàâi ÷àñòèíè Îñíîâíi ðåçóëüòàòè. Äàëi áóäóòü ñôîð-
F(x), g ðiâíÿíü (4) òà ïîõèáêè η = η(ω) â ìóëüîâàíi ðåçóëüòàòè ïðî ïðåäñòàâëåííÿ ìi-
ñïîñòåðåæåííÿõ (7), ÿêi ¹ âèïàäêîâèìè åëå- íiìàêñíèõ îöiíîê. Ç öi¹þ ìåòîþ ïðèïóñòèìî
ìåíòàìè, âèçíà÷åíèìè íà ïåâíîìó éìîâiðíi- n
ñíîìó ïðîñòîði (Ω, B, P ) çi çíà÷åííÿìè â H0 , U := w̃ ∈ H0 :
íåâiäîìi, à âiäîìî ëèøå, ùî åëåìåíò F := Z o
¡ ∗ ¢
(F, g) ∈ G0 i η ∈ G1 . Òóò C ∈ L(L2 (D)n , H0 ) (C JH0 w̃)(x), r(x) Rn dx = 0 ∀r ∈ RB ,
D
 ëiíiéíèé íåïåðåðâíèé îïåðàòîð, òàêèé ùî
äå C ∗ : H00 → L2 (D)n  oïåðàòîð, cïðÿæåíèé
éîãî îáìåæåííÿ íà ïiäïðîñòið RB ií'¹êòèâ-
äî C, ÿêèé âèçíà÷àþòüñÿ ñïiââiäíîøåííÿì
íå; ÷åðåç G0 ïîçíà÷åíî ìíîæèíó ôóíêöié Z
F̃ := (F̃, g̃) ∈ L2 (D)n × L2 (Γ)n , ÿêi çàäîâîëü- < Cϕ, φ >H0 ×H00 = (ϕ(x), C ∗ φ(x))Rn dx
íÿþòü óìîâàì D
Z äëÿ âñiõ ϕ ∈ L (D) , φ ∈ H00 , òà ïðè êî-
2 n

(Q1 (F̃ − F0 )(x), (F̃ − F0 )(x))2Rn dx+ æíîìó ôiêñîâàíîìó w ∈ U ââåäåìî ôóíêöiþ
DZ
z(·; w) ∈ H 1 (D)n ÿê ¹äèíèé ðîçâ'ÿçîê íàñòó-
+ (Q2 (g̃ − g0 ), g̃ − g0 )2Rn dΓ ≤ 1, (8) ïíî¨ âàðiàöiéíî¨ çàäà÷i1 :
Γ Z
Z Z
a(v, z(·; w)) = − (C ∗ JH0 w)(x), v(x))Rn dx
(F̃, r)Rn dx + (g̃, r)Rn dΓ = 0 ∀r ∈ RB, D
D Γ (11)
à ÷åðåç G1 ïîçíà÷åíî ìíîæèíó âèïàäêî- ∀v ∈ H 1 (D)n ,
Z
âèõ åëåìåíòiâ η̃ ∈ L2 (Ω, H0 ), ç íóëüîâè-
(Q−1
1 (l0 (x) + z(x; w)), ri (x))Rn dx+
ìè ñåðåäíiìè, ÿêi çàäîâîëüíÿþòü íåðiâíî- D
ñòi E(Q0 η̃, η̃)H0 ≤ 1, äå Q0 , Q1 , Q2  îáìå- Z
æåíi ñàìîñïðÿæåíi äîäàòíî-âèçíà÷åíi îïå- + (Q−1
2 (l1 (·)+z(·; w)), ri )Rn dΓ = 0, i = 1, 6.
Γ
ðàòîðè â H0 , L2 (D)n L2 (Γ)n âiäïîâiäíî, äëÿ (12)
ÿêèõ iñíóþòü îáìåæåíi îáåðíåíi îïåðàòîðè
Q−1 −1 −1 Ëåìà 1. Çàäà÷à çíàõîäæåííÿ ìiíiìàêñíî¨
0 , Q1 , Q2 , F̃0 ∈ L (D) òà g̃0 ∈ L (Γ) ,
2 n 2 n

çàäàíi ôóíêöi¨, ÿêi çàäîâîëüíÿþòü óìîâàì îöiíêè çíà÷åííÿ ôóíêöiîíàëà l(F ) åêâiâà-
(6). ëåíòíà çàäà÷i îïòèìàëüíîãî êåðóâàííÿ ñè-
ñòåìîþ, ÿêà îïèñó¹òüñÿ âàðiàöiéíîþ êðàéî-
Îçíà÷åííÿ 1. Îöiíêó âèãëÿäó âîþ çàäà÷åþ (11), (12) ç ôóíêöi¹þ âàðòîñòi
âèãëÿäó
d
d) = (y, ŵ)H + ĉ Z
l(F 0 (9)
I(w) = (Q−1 1 (l0 (x) + z(x; w)), l0 (x)+
áóäåìî íàçèâàòè ìiíiìàêñíîþ îöiíêîþ D
l(F ), ÿêùî åëåìåíò ŵ òà ÷èñëî ĉ âèçíà÷à- Z
þòüñÿ ç óìîâè + z(x; w))Rn dx + (Q−1 2 (l1 (·) + z(·; w)),
Γ

σ(w, c) := sup E|l(F̃ ) − l(d


F̃ )|2 → l1 (·) + z(·; w)) Rn dΓ + (Q−1
0 w, w)H0 → inf .
w∈U
(F̃,g̃)∈G0 ,η̃∈G1 (13)
1 Íåâàæêî ïîáà÷èòè, ùî U  íåïîðîæíÿ, çàìêíåíà, îïóêëà
→ inf := σ 2 , ìíîæèíà.
w∈H0 ,c∈R

Íàóêîâèé âiñíèê ×åðíiâåöüêîãî óíiâåðñèòåòó. 2010. Âèïóñê 528. Ìàòåìàòèêà. 117


Z ¯2
Äîâåäåííÿ. Ñïî÷àòêó çàóâàæèìî, ùî ¯
¯
çàäà÷à (11), (12), âíàñëiäîê óìîâ ñóìiñíî- − (u0 (x), (C ∗ JH0 w)(x))Rn dx dΓ − c¯ +
¯
ñòi (6), â ÿêèõ ïðèïóñòèìî, ùî F(x) = D

−(C ∗ JH0 u)(x), g = 0, îäíîçíà÷íî ðîçâ'ÿçíà +E|(η̃, w)H0 |2 .


ïðè w ∈ U.
Ïîçíà÷èìî ÷åðåç ũ⊥ ¹äèíèé ðîçâ'ÿçîê çà- Îñêiëüêè ôóíêöiÿ u0 (x) ïiä çíàêîì îñòàí-
äà÷i (4) ïðè F(x) = F̃(x), g = g̃, îðòîãîíàëü- íüîãî iíòåãðàëà â ïðàâié ÷àñòèíi öi¹¨ ðiâíî-
íå äî âñiõ ôóíêöié ç ìíîæèíè RB. ñòi¯ ïðîáiã๠âåñü
¯2 ïðîñòið RB, òî âåëè÷èíà
¯ d)¯¯ áóäå îáìåæåíîþ òîäi i òiëü-
Òîäi, îñêiëüêè áóäü-ÿêèé ðîçâ'ÿçîê ũ öi- E ¯l(F̃ ) − l(F
¹¨ çàäà÷i ìîæíà ïðåäñòàâèòè ó âèãëÿäi ũ = êè òîäi, êîëè w ∈ U.
ũ⊥ + u0 , äå u0 ∈ RB, äëÿ äîâiëüíîãî w ∈ Ïðèïóñòèâøè òåïåð â òîòîæíîñòi (11),
H0 îòðèìà¹ìî, âðàõîâóþ÷è (7)-(10), íàñòó- v(x) = ũ⊥ (x), ìà¹ìî
ïíi ñïiââiäíîøåííÿ Z
(2µε(z(·; w)) : ε(ũ⊥ ) + λ div z(·; w) div ũ⊥ ) dx =
l(d
F̃ ) = (ỹ, w)H0 + c = (C(ũ⊥ + u0 , w)H0 + D
Z
+(η̃, w)H0 + c =< C(ũ⊥ + u0 ), JH0 w >H0 ×H00 + = − (ũ⊥ (x), C ∗ JH0 w(x))Rn dx.
Z D
+(η̃, w)H0 + c = (ũ⊥ (x) + u0 (x), Ç iíøîãî áîêó, îñêiëüêè äëÿ ôóíêöi¨ ũ⊥ âè-
D
êîíó¹òüñÿ iíòåãðàëüíà òîòîæíiñòü (5) ïðè
(C ∗ JH0 w)(x))Rn dx + (η̃, w)H0 + c =
Z F = F̃, g = g̃, òî, ïîêëàâøè â öié òîòîæíîñòi
= (ũ⊥ (x), (C ∗ JH0 w)(x))Rn dx+ v = z(·; w), çíàõîäèìî
D Z
Z
(2µε(z(·; w)) : ε(ũ⊥ )+
+ (u0 (x), (C ∗ JH0 w)(x))Rn dx + (η̃, w)H0 + c,
D D
çâiäêè + λ div z(·; w) div ũ⊥ ) dx =
Z Z Z
l(F̃ ) − l(d
F̃ ) = (l0 (x), F̃(x))Rn dx+ = (z(x; w), F̃(x))Rn dx+ (z(·; w), g̃(x))Rn dΓ.
D D Γ
Z (15)
+ (l1 (x), g̃(x))Rn dΓ− Âðàõîâóþ÷è, ùî ëiâi ÷àñòèíè äâîõ îñòàííiõ
Z
Γ
ðiâíîñòåé ñïiâïàäàþòü, îòðèìà¹ìî ùî
− (ũ⊥ (x), (C ∗ JH0 w)(x))Rn dx− Z
D − (ũ⊥ (x), C ∗ JH0 w(x))Rn dx =
Z D
− (u0 (x), (C ∗ JH0 w)(x))Rn dx − (η̃, w)H0 − c. Z Z
D = (z(x; w), F̃(x))Rn dx+ (z(·; w), g̃(x))Rn dΓ.
Çâiäñè, âðàõîâóþ÷è ñïiââiäíîøåííÿ Dξ = D Γ
2 2 2
E|ξ − Eξ| = Eξ − (Eξ) ìiæ äèñïåðñi¹þ Dξ Òîìó, âíàñëiäîê (14), ìà¹ìî
âèïàäêîâî¨ âåëè÷èíè ξ òà ¨¨ ìàòåìàòè÷íèì
ñïîäiâàííÿì Eξ , çíàõîäèìî inf sup M|l(F̃ ) − l(d F̃ )|2 =
¯ c∈R
F̃ ∈G0 ,η̃∈G1
¯ ¯2 ¯ Z
¯ d
E ¯l(F̃ ) − l(
¯ ¯
F̃ ¯ = ¯ (l0 (x), F̃(x))Rn dx+ ¯Z
¯ D ¯
= inf sup ¯ (l0 + z(x; w), F̃(x))Rn dx+
c∈R D
F̃ ∈G0
Z Z ¯2
+ (l1 (x), g̃(x))Rn dΓ− ¯
+ (l1 + z(·; w), g̃(x))Rn dΓ − c¯ +
Γ
Z Γ

− (ũ⊥ (x), (C ∗ JH0 w)(x))Rn dx− (14) + sup M|(η̃, w)H0 |2 . (16)
D η̃∈G1

118 Íàóêîâèé âiñíèê ×åðíiâåöüêîãî óíiâåðñèòåòó. 2010. Âèïóñê 528. Ìàòåìàòèêà.


Z
Çâiäñè òà ç (8), ïðîâîäÿ÷è îá÷èñëåííÿ,
+ (Q−1
2 (l1 + ẑ), ri )Rn dΓ = 0, i = 1, 6,
àíàëîãi÷íi òèì, ÿêi ìiñòÿòüñÿ íà ñòîð. 109, Γ
110 ðîáîòè [3], çíàõîäèìî Z (20)
¯Z a(p, w) = (Q−1
+ ẑ(x)), w(x))Rn dx+
1 (l0 (x)
¯
inf sup ¯ (l0 + z(x; w), F̃(x))Rn dx+ Z
D
c∈R D
F̃ ∈G0 ,
Z + (Q−1 2 ((l1 + ẑ), w)Rn dΓ, ∀w ∈ H 1 (D)n ,
¯2
¯ Γ
+ (l1 + z(·; w), g̃(x))Rn dΓ − c¯ = Z (21)
Γ
Z ((C ∗ JH0 Q0 Cp)(x), ri (x))Rn dx = 0, i = 1, 6.
= (Q−1
1 (l0 (x)+z(x; w)), l0 (x)+z(x; w))Rn dx+
D
D
(22)
Z Çàäà÷à (19)(22) îäíîçíà÷íî ðîçâ'ÿçíà.
−1
+ (Q2 (l1 (·) + z(·; w)), l1 (·) + z(·; w))R dΓ
n Ïîõèáêà îöiíþâàííÿ σ âèçíà÷à¹òüñÿ ôîð-
Γ ìóëîþ σ = l(P )1/2 , äå P = (Q−1 1 (l0 +
(17)
z), Q−1
2 (l 1 + z| Γ )).
ïðè
Z Âiäçíà÷èìî, ùî ôóíêöiÿ ẑ(x) = z(x; ŵ),
c = (l0 + z(x; w), F0 (x))Rn dx+ äå z(x; w) ¹ ðîçâ'ÿçêîì çàäà÷i (11), (12), à
D w = ŵ ∈ U  îïòèìàëüíå êåðóâàííÿ cècòå-
Z ìîþ, ÿêà îïèñó¹òüñÿ öèìè ðiâíÿííÿìè ç êðè-
+ (l1 + z(·; w), g0 )Rn dΓ. òåði¹ì ÿêîñòi (13) (äèâ. ëåìó 1).
Γ Àëüòåðíàòèâíå ïpåäñòàâëåííÿ äëÿ ìiíi-
Àíàëîãi÷íî, îá÷èñëþþ÷è äðóãèé äîäà- ìàêñíî¨ îöiíêè ÷åðåç ðîçâ'ÿçîê ñèñòåìè âà-
íîê â ïðàâié ÷àñòèíi (16), îòðèìà¹ìî ðiàöiéíèõ ðiâíÿíü ñïåöiàëüíîãî âèãëÿäó, ÿêå
supη̃∈G1 M|(η̃, w)H0 |2 = (Q−10 w, w)H0 . Çâiäñè íå çàëåæèòü âiä êîíêðåòíîãî âèãëÿäó ôóí-
òà ç (16) ïðèéäåìî äî òâåðäæåííÿ ëåìè. êöiîíàëó l, îòðèìàíå â íàñòóïíié òåîðåìi.
Ðîçâ'ÿçóþ÷è çàäà÷ó îïòèìàëüíîãî êåðó-
âàííÿ (11)  (13) ïðèéäåìî äî íàñòóïíîãî Òåîðåìà 2. Ìiíiìàêñíà îöiíêà âèðàçó l(F )
d
d) = l(F̂ ), äe F̂ (x) = (F̂, ĝ),
ðåçóëüòàòó. ì๠âèãëÿä l(F
−1 −1
Òåîðåìà 1. Iñíó¹ ¹äèíà ìiíiìàêñíà îöiíêà F̂(x) = Q1 p̂ + F0 , ĝ(x) = Q2 p̂|Γ + g0 , a
âèðàçó l(F), ÿêà ìîæå áóòè ïðåäñòàâëåíà ôóíêöiÿ p̂ âèçíà÷à¹òüñÿ ç ðîçâ'ÿçêó íàñòó-
d ïíî¨ ñèñòåìè âàðiàöiéíèõ ðiâíÿíü:
ó âèãëÿäi l(F)d = (y, ŵ)H + ĉ, äe Z
0

a(v, p̂) = (C ∗ JH0 Q0 (y − C û)(x), v(x))R3 dx


ŵ = Q0 Cp, D
Z (23)
1 n
ĉ = (l0 + ẑ(x), F0 (x))Rn dx+ ∀v ∈ H (D) ,
D
Z
Z (Q−1
1 p̂(x), ri (x))Rn dx+
+ (l1 + ẑ, g0 )Rn dΓ, (18) Z
D
Γ
+ (Q−1
2 p̂, ri )Rn dΓ = 0, i = 1, 6, (24)
à ôóíêöi¨ p ∈ H 1 (D)n i ẑ ∈ H 1 (D)n âèçíà- Γ
÷àþòüñÿ ç ñèñòåìè âàðiàöiéíèõ ðiâíÿíü Z
Z a(û, w) = (Q−1 1 p̂(x), w(x))R3 dx+
D
a(v, ẑ) = − ((C ∗ JH0 Q0 Cp)(x), v(x))Rn dx Z
D + (Q−1 2 p̂, w)Rn dΓ, ∀w ∈ H 1 (D)n , (25)
(19) Γ
∀v ∈ H 1 (D)n , Z
Z (C ∗ JH0 Q0 (y − C û)(x), ri (x))Rn dx = 0,
(Q−1
1 (l0 (x) + ẑ(x)), ri (x))Rn dx+
D
(26)
D

Íàóêîâèé âiñíèê ×åðíiâåöüêîãî óíiâåðñèòåòó. 2010. Âèïóñê 528. Ìàòåìàòèêà. 119


i = 1, 6. â ÿêié ðiâíîñòi (23)(26) âèêîíóþ-
òüñÿ ç éìîâiðíiñòþ 1.
Âèïàäêîâi ïîëÿ, ðåàëiçàöi¨ p̂ i û ÿêèõ
çàäîâîëüíÿþòü çàäà÷i (23)(26), íàëåæàòü
ïðîñòîðó L2 (Ω, H 1 (D)n ).
Çàäà÷à (23)(26) îäíîçíà÷íî ðîçâ'ÿçíà.
Äîâåäåííÿ öi¹¨ òåîðåìè àíàëîãi÷íå äîâå-
äåííþ òåîðåìè 1.
Çàóâàæåííÿ. Íàáëèæåíi ðîçâ'ÿçêè ñè-
ñòåì âàðiàöiéíèõ ðiâíÿíü (19)(22) òà (23)
(26) ìîæóòü áóòè çíàéäåíi ìåòîäîì Ãàëüîð-
êiíà àíàëîãi÷íî òîìó, ÿê öå áóëî çðîáëåíî â
ðîáîòi [2]. Ïðè öüîìó ìîæíà ïîêàçàòè, ùî
ãàëüîðêiíñüêi íàáëèæåííÿ, ÿêi îòðèìàíi â
ðåçóëüòàòi ðîçâ'ÿçêó âiäïîâiäíèõ ñèñòåì ëi-
íiéíèõ àëãåáðài÷íèõ ðiâíÿíü, çáiãàþòüñÿ äî
òî÷íèõ ðîçâ'ÿçêiâ ñèñòåì âàðiàöiéíèõ ðiâ-
íÿíü (19)(22) òà (23)(26).

ÑÏÈÑÎÊ ËIÒÅÐÀÒÓÐÈ
1. Toselli A., Widlund O. Domain Decompositi-
on Methods  Algorithms and Theory.  Berlin, Hei-
delberg, New-York.: Springer, 1972.  450 p.
2. Íàêîíå÷íèé Î.Ã., Ïîäëèïåíêî Þ.Ê., Ïåðöîâ
À.Ñ. Ìèíèìàêñíîå îöåíèâàíèå ðåøåíèÿ êðàåâîé çà-
äà÷è äëÿ óðàâíåíèé ëèíåéíîé òåîðèè óïðóãîñòè ñ
ãðàíè÷íûìè óñëîâèÿìè òèïà Íåéìàíà // Äîïîâiäi
ÍÀÍ Óêðà¨íè.  2010.  2.  Ñ. 43  50.
3. Ïåðöîâ À.C. Ìèíèìàêñíîå îöåíèâàíèå íåè-
çâåñòíûõ äàííûõ êðàåâîé çàäà÷è äëÿ áèãàðìîíè÷å-
ñêîãî óðàâíåíèÿ ñ ãðàíè÷íûìè óñëîâèÿìè òèïà Íå-
éìàíà // Òàâðè÷åñêèé âåñòíèê èíôîðìàòèêè è ìà-
òåìàòèêè.  2009.  1.  Ñ. 103  112.
4. Ïîäëèïåíêî Þ.Ê., Ïåðöîâ À.C. Ìiíiìàêñíå
îöiíþâàííÿ ðîçâ'ÿçêiâ êðàéîâî¨ çàäà÷i äëÿ áiãàð-
ìîíè÷íîãî ðiâíÿííÿ ç ãðàíè÷íèìè óìîâàìè òèïà
Íåéìàíà // Âiñíèê Êè¨âñüêîãî óíiâåðñèòåòó. Ñåðiÿ:
ôiçèêî-ìàòåìàòè÷íi íàóêè.  2008.  4.  Ñ. 153 
160.

120 Íàóêîâèé âiñíèê ×åðíiâåöüêîãî óíiâåðñèòåòó. 2010. Âèïóñê 528. Ìàòåìàòèêà.

You might also like