65

s.siteapi.org · 2016. 5. 21. · Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64 ÂÂÅÄÅÍÈÅ 1.Îñíîâû òåîðèè ïîãðåøíîñòåé. Íà ïîãðåøíîñòü

  • Upload
    others

  • View
    7

  • Download
    0

Embed Size (px)

Citation preview

  • ÑÀÍÊÒ-ÏÅÒÅÐÁÓÐÃÑÊÈÉ ÃÎÑÓÄÀÐÑÒÂÅÍÍÛÉ ÓÍÈÂÅÐÑÈÒÅÒ

    Ôàêóëüòåò ïðèêëàäíîé ìàòåìàòèêè � ïðîöåññîâ óïðàâëåíèÿ

    À. Ï. ÈÂÀÍÎÂ

    ×ÈÑËÅÍÍÛÅ ÌÅÒÎÄÛ

    ×ÀÑÒÜ I.1

    Ó÷åáíîå ïîñîáèå

    Ñàíêò-Ïåòåðáóðã2016

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    ÂÂÅÄÅÍÈÅ

    1. Îñíîâû òåîðèè ïîãðåøíîñòåé.

    Íà ïîãðåøíîñòü ðåçóëüòàòà ïðèáëèæåííîãî ðåøåíèÿ çàäà÷èâëèÿþò ñëåäóþùèå ïðè÷èíû:

    a) íåòî÷íîñòü èíôîðìàöèè î ðåøàåìîé çàäà÷å. Ïîãðåøíîñòè âíà÷àëüíûõ äàííûõ äàþò òó ÷àñòü ïîãðåøíîñòè â ðåøåíèè, êî-òîðàÿ íå çàâèñèò îò ìàòåìàòè÷åñêîé ñòîðîíû ðåøåíèÿ çàäà÷èè íàçûâàåòñÿ íåóñòðàíèìîé ïîãðåøíîñòüþ. Èíôîðìàöèÿ îãðàíèöàõ íåóñòðàíèìîé ïîãðåøíîñòè èñïîëüçóåòñÿ:

    � äëÿ óïðîùåíèÿ ñàìîé çàäà÷è, ïðè âûáîðå ìåòîäà âû÷èñ-ëåíèé, òî÷íîñòü êîòîðîãî äîëæíà áûòü ñîãëàñîâàíà ñ òðå-áóåìîé òî÷íîñòüþ ðåøåíèÿ çàäà÷è;

    � äëÿ îïðåäåëåíèÿ òî÷íîñòè âû÷èñëåíèé.

    Íåïîìåðíûå òðåáîâàíèÿ ê òî÷íîñòè ðåçóëüòàòà ÷àñòî ñíèìà-þòñÿ â ïðîöåññå ðàññìîòðåíèÿ çàäà÷è íà îñíîâå ñëåäóþùèõñîîáðàæåíèé:

    � ñòîëü âûñîêàÿ òî÷íîñòü íå òðåáóåòñÿ;

    � ìàòåìàòè÷åñêàÿ ìîäåëü ÿâëåíèÿ ñòîëü ãðóáà, ÷òî òðåáî-âàòü âûñîêóþ òî÷íîñòü ðåøåíèÿ áåññìûñëåííî;

    � ïàðàìåòðû ìîäåëè íå ìîãóò áûòü îïðåäåëåíû ñ âûñîêîéòî÷íîñòüþ;

    � â èòîãå íàñ èíòåðåñóåò íå êîëè÷åñòâåííûé, à êà÷åñòâåí-íûé ðåçóëüòàò.

    á) Ïîãðåøíîñòü àïïðîêñèìàöèè (ìåòîäè÷åñêàÿ ïîãðåøíîñòü).Ïðè ðåøåíèè çàäà÷è ÷èñëåííûìè ìåòîäàìè íåîáõîäèìî ñ÷è-òàòüñÿ ñ òåì, ÷òî íåèçáåæíî ïðèä¼òñÿ èìåòü äåëî òîëüêî ñ êî-íå÷íûì êîëè÷åñòâîì ÷èñåë, è ñ íèìè ìîæíî âûïîëíèòü òîëü-êî êîíå÷íîå ÷èñëî îïåðàöèé. Ãðàíèöà äëÿ êàæäîãî èç ýòèõ

    2

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    êîëè÷åñòâ îïðåäåëÿåòñÿ ñâîéñòâàìè èíñòðóìåíòàðèÿ, èñïîëü-çóåìîãî ïðè ðåøåíèè, âðåìåíåì, öåëåñîîáðàçíîñòüþ, ñòîèìî-ñòüþ è äð.

    Åñëè êîëè÷åñòâî ÷èñåë èëè îïåðàöèé ïðåâûøàåò äîïóñòèìûåãðàíèöû, òî çàäà÷ó ïðèõîäèòñÿ óïðîùàòü è çàìåíÿòü åå äðó-ãîé çàäà÷åé, íî óæå óäîâëåòâîðÿþùåé íóæíûì òðåáîâàíèÿì.

    â) Ïîãpåøíîñòü îêðóãëåíèÿ. Âñÿêîå ïîëîæèòåëüíîå ÷èñëî a ìî-æåò áûòü ïðåäñòàâëåíî â âèäå êîíå÷íîé èëè áåñêîíå÷íîé äå-ñÿòè÷íîé äpîáè

    a = αm10m + αm−110

    m−1 + . . .+ αm−n+110m−n+1 + . . .

    ãäå αi � öèôpû ÷èñëà a (αi = 0, 1, 2, . . . , 9), ïpè÷¼ì ñòàpøàÿöèôpà αm 6= 0 , íàïpèìåð,

    3141, 5 . . . = 3 · 103 + 1 · 102 + 4 · 101 + 1 · 100 + 5 · 10−1 + . . . .

    Íà ïpàêòèêå èìåþò äåëî ñ ïðèáëèæ¼ííûìè ÷èñëàìè, ïpåä-ñòàâëÿþùèìè ñîáîé êîíå÷íûå äåñÿòè÷íûå äpîáè

    b∗ = βm10m + βm−110

    m−1 + . . .+ βm−n+110m−n+1, βm 6= 0.

    Îïðåäåëåíèå 1.1. Öèôðà βk â èçîáðàæåíèè ÷èñëà b∗ íàçûâàåòñÿ

    âåðíîé, åñëè èìååò ìåñòî íåðàâåíñòâî |b− b∗| ≤ 5 ·10k−1 . (Çäåñü b �òî÷íîå çíà÷åíèå âåëè÷èíû, ïðåäñòàâëåííîé ïðèáëèæ¼ííîé çàïèñüþ÷åðåç b∗ .) ♣

    Î÷åâèäíî, ÷òî åñëè öèôðà βk âåðíàÿ, òî è âñå öèôðû â çàïèñè÷èñëà b∗ , ðàñïîëîæåííûå ëåâåå íå¼, òîæå âåðíû.

    Îïðåäåëåíèå 1.2. Çíà÷àùåé öèôpîé ÷èñëà íàçûâàåòñÿ âñÿêàÿ öè-ôpà â åãî äåñÿòè÷íîì èçîápàæåíèè, êðîìå íóëåé, ñòîÿùèõ ñëåâà âçàïèñè ÷èñëà äî ïåðâîé íåíóëåâîé öèôðû. ♣

    ×èñëî, ÿâëÿþùååñÿ ðåøåíèåì çàäà÷è, ïðèíÿòî çàïèñûâàòüòîëüêî ñ âåðíûìè çíà÷àùèìè öèôðàìè. Íàïpèìåp, â ÷èñëå0.002080 ïåpâûå òpè íóëÿ íå ÿâëÿþòñÿ çíà÷àùèìè öèôpàìè, òàêêàê îíè ñëóæàò òîëüêî äëÿ óñòàíîâëåíèÿ äåñÿòè÷íûõ pàçpÿäîâ äpó-ãèõ öèôp. Îñòàëüíûå äâà íóëÿ ÿâëÿþòñÿ çíà÷àùèìè.  ñëó÷àå, åñëèâ äàííîì ÷èñëå 0.002080 ïîñëåäíÿÿ öèôpà íå ÿâëÿåòñÿ âåðíîé, òîå¼ íå ñëåäóåò èñïîëüçîâàòü â çàïèñè ÷èñëà.

    3

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Ïóñòü a åñòü òî÷íîå çíà÷åíèå íåêîòîpîé âåëè÷èíû è a∗ � ïpè-áëèæ¼ííîå å¼ çíà÷åíèå.

    Îïðåäåëåíèå 1.3. Ðàçíîñòü a−a∗ = ε íàçûâàåòñÿ ïîãpåøíîñòüþïpèáëèæ¼ííîãî çíà÷åíèÿ a∗. ♣

    Òî÷íîå çíà÷åíèå a è ε, êàê ïpàâèëî, íåèçâåñòíû, íî ÷àñòî èç-âåñòíà âåpõíÿÿ ãpàíèöà 4 àáñîëþòíîé âåëè÷èíû ïîãpåøíîñòè:

    |a− a∗| = |ε| 6 4a.

    ż áóäåì íàçûâàòü ãpàíèöåé (àáñîëþòíîé) ïîãpåøíîñòè äëÿ ïî-ãðåøíîñòè ε. Òî÷íîå çíà÷åíèå a ëåæèò â ïpåäåëàõ

    a∗ −∆a 6 a 6 a∗ + ∆a.

    Îïðåäåëåíèå 1.4. Îòíîñèòåëüíîé ïîãpåøíîñòüþ âåëè÷èíû a∗

    íàçûâàþò îòíîøåíèåa∗ − aa∗

    . ♣

    Îïðåäåëåíèå 1.5. Ãpàíèöåé îòíîñèòåëüíîé ïîãpåøíîñòè a∗ íà-çûâàþò îòíîøåíèå ∣∣∣a∗ − a

    a∗

    ∣∣∣ ≤ 4a|a∗| = δ. ♣Ïîãpåøíîñòü ñóììû Ïóñòü a = x1+x2, èçâåñòíû ïpèáëèæ¼ííûåçíà÷åíèÿ x∗1 , x

    ∗2 ñëàãàåìûõ è ãpàíèöû ∆1, ∆2. Îáîçíà÷èì ïîãpå-

    øíîñòè ñëàãàåìûõ ñîîòâåòñòâåííî ε1 ,ε2 :a∗ = x∗1 + x

    ∗2, a = (x

    ∗1 + ε1) + (x

    ∗2 + ε2) = a

    ∗ + ε1 + ε2 = a∗ + ε.

    Ïîýòîìó|ε| 6 |ε1|+ |ε2| 6 41 +42.

    Ãpàíèöà ïîãpåøíîñòè ñóììû íå áîëüøå ñóììû ãpàíèö ïîãpåøíî-ñòåé ñëàãàåìûõ. ♣

    4

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Ïîãpåøíîñòü ïpîèçâåäåíèÿ

    Ãpàíèöà ïîãpåøíîñòè ïpîèçâåäåíèÿ ïî ãpàíèöàì ïîãpåøíî-ñòè ñîìíîæèòåëåé îïpåäåëÿåòñÿ íåpàâåíñòâîì

    |ε| 6 4 6 |x∗1| 42 +|x∗2| 41 +41 42.

    Áîëåå ïpîñòûì ÿâëÿåòñÿ ïpàâèëî îöåíêè îòíîñèòåëüíîé ïîãpå-øíîñòè ïpîèçâåäåíèÿ.

    ε

    x∗1x∗2

    =ε1x∗1

    +ε2x∗2

    +ε2x∗2

    ε1x∗1

    Îòñþäà âûòåêàåò îöåíêà ãpàíèöû îòíîñèòåëüíîé ïîãpåøíîñòè∣∣∣∣ εx∗1x∗2∣∣∣∣ 6 δ 6 δ1 + δ2 + δ1δ2. ♣

    Ïîãpåøíîñòü ÷àñòíîãî

    Ïóñòü x =x1x2

    . Ñîõðàíÿÿ ïðåæíèå îáîçíà÷åíèÿ äëÿ ïðèáëè-

    æ¼ííûõ çíà÷åíèé x∗1, x∗2 , ïîãðåøíîñòåé è èõ ãpàíèö, ñäåëàåì ïðåä-

    ïîëîæåíèå: ∆2 < |x∗2| (òàê êàê äåëèòåëü x2 ìîæåò îêàçàòüñÿ ðàâ-íûì íóëþ).

    Ïîãpåøíîñòü îòíîøåíèÿ ìîæåò áûòü çàïèñàíà òàê:

    ε =x1x2− x

    ∗1

    x∗2=

    1

    x∗2(x∗2 + ε2)

    (ε1x∗2 − ε2x∗1),

    ÷òî ïðèâîäèò ê ñëåäóþùåìó ïpàâèëó îöåíêè ãpàíèöû ïîãpåøíîñòè:

    |ε| 6 4 6 1|x∗2|(|x∗2| − 42)

    (41|x∗2|+42|x∗1|),

    ò.å. îòíîñèòåëüíàÿ ïîãpåøíîñòü äpîáè îöåíèâàåòñÿ ïpè ïîìîùèíåpàâåíñòâà ∣∣∣ ε

    x∗

    ∣∣∣ 6 δ 6 11− δ2

    (δ1 + δ2). ♣

    5

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    2. Ïîãpåøíîñòü âû÷èñëåíèÿ ôóíêöèè. Îöåíêà íåóñòðà-íèìîé ïîãðåøíîñòè

    Ïóñòü â âûïóêëîé îáëàñòè G ⊂ Rn ðàññìàòðèâàåòñÿ íåïðå-ðûâíî äèôôåðåíöèðóåìàÿ ôóíêöèÿ y = f(·). Ïðåäïîëîæèì, ÷òîâ òî÷êå x = (x1, x2, . . . , xn) îáëàñòè G íóæíî âû÷èñëèòü çíà÷å-íèå y = f(x). Ïóñòü íàì èçâåñòíû ëèøü ïpèáëèæ¼ííûå çíà÷åíèÿx∗1, x

    ∗2, . . . , x

    ∗n òàêèå, ÷òî òî÷êà x

    ∗ = (x∗1, x∗2, . . . , x

    ∗n) ∈ G. Íåîáõîäè-

    ìî íàéòè îöåíêó ïîãpåøíîñòè ïpèáëèæ¼ííîãî çíà÷åíèÿ ôóíêöèèy∗ = f(x∗). ×åðåç ïîãpåøíîñòè εi = xi − x∗i àðãóìåíòîâ îíà âûðà-æàåòñÿ ñëåäóþùèì îáðàçîì:

    ε = f(x∗1 + ε1, x∗2 + ε2, . . . , x

    ∗n + εn)− f(x∗1, x∗2, . . . , x∗n),

    èëè, åñëè âîñïîëüçîâàòüñÿ ôîðìóëîé Ëàãðàíæà,

    ε =n∑i=1

    ∂xif(x∗1 + θε1, x

    ∗2 + θε2, . . . , x

    ∗n + θεn)εi, 0 6 θ 6 1.

    Îòñþäà ïîëó÷àåòñÿ îöåíêà äëÿ ãpàíèöû ïîãpåøíîñòè âû÷èñëåíèÿôóíêöèè

    |ε| 6 ∆ 6n∑i=1

    Bi∆i, (∗)

    ãäå

    |εi| 6 ∆i, Bi = maxθ∈[0,1]

    ∣∣∣∣ ∂∂xi f(x∗1 + θε1, x∗2 + θε2, . . . , x∗n + θεn)∣∣∣∣ .

    Òàêèì îáðàçîì ðåøàåòñÿ îñíîâíàÿ çàäà÷à òåîðèè ïîãpåøíîñòè:èçâåñòíû ïîãpåøíîñòè íåêîòîpîé ñèñòåìû âåëè÷èí, òðåáóåòñÿîïðåäåëèòü ïîãpåøíîñòü çàäàííîé ôóíêöèè ýòèõ âåëè÷èí. ♣

    3. Îáðàòíàÿ çàäà÷à òåîðèè ïîãðåøíîñòåé

    Îáðàòíàÿ çàäà÷à òåîðèè ïîãðåøíîñòåé ñîñòîèò â ñëåäóþùåì:êàêîâû äîëæíû áûòü àáñîëþòíûå ïîãpåøíîñòè àðãóìåíòîâ ôóí-êöèè, ÷òîáû àáñîëþòíàÿ ïîãpåøíîñòü ôóíêöèè íå ïðåâûøàëà çà-äàííîé âåëè÷èíû?

    6

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Ýòà çàäà÷à ìàòåìàòè÷åñêè íå îïðåäåëåíà, èáî çàäàííóþ ïðå-äåëüíóþ ïîãpåøíîñòü (âåpõíþþ ãpàíèöó àáñîëþòíîé ïîãpåøíîñòè)ìîæíî îáåñïå÷èòü, óñòàíàâëèâàÿ ïî-pàçíîìó ïpåäåëüíûå àáñîëþ-òíûå ïîãpåøíîñòè å¼ àpãóìåíòîâ. Ïpîñòåéøåå påøåíèå îápàòíîéçàäà÷è äà¼òñÿ òàê íàçûâàåìûì ïpèíöèïîì pàâíûõ âëèÿíèé. Ïpåä-ïîëàãàÿ, ÷òî ñëàãàåìûå {Bi∆i} â ïðàâîé ÷àñòè ôîðìóëû (∗) èìåþòîäèíàêîâóþ âåëè÷èíó, ïîëó÷èì

    ∆i =|ε|nBi

    .

    Äðóãîé ñòîëü æå ïðîñòîé ñïîñîá íîñèò íàçâàíèå ïðèíöèïà ðàâíûõïîãðåøíîñòåé: ñ÷èòàåòñÿ, ÷òî ∆i = ∆j , ∀i, j è òîãäà èç òîé æåôîðìóëû (∗) íåìåäëåííî ïîëó÷àåì:

    ∆i =|ε|∑ni=1Bi

    .

    Èñõîäÿ èç îñîáåííîñòåé çàäà÷è è ôóíêöèè ìîæíî âûñòàâëÿòü èäðóãèå òðåáîâàíèÿ ê óðîâíþ ïîãðåøíîñòåé àðãóìåíòîâ. ♣

    7

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    ÃËÀÂÀ 1. ×ÈÑËÅÍÍÎÅ ÐÅØÅÍÈÅ ÍÅËÈÍÅÉÍÛÕÑÊÀËßÐÍÛÕ ÓÐÀÂÍÅÍÈÉ

    1. Ìåòîä ×åáûøåâà

    Ðàññìîòðèì óðàâíåíèå f(x) = 0, x ∈ [a, b], è ïóñòü íà óêàçàí-íîì èíòåðâàëå ôóíêöèÿ f(·) èìååò îáðàòíóþ: F (·) = f−1(·). Î÷å-âèäíî, ÷òî òîãäà ðåøåíèå x̄ óðàâíåíèÿ f(x) = 0 íàõîäèòñÿ òðèâè-àëüíî: x̄ = F (0). Ñëåäîâàòåëüíî, äîñòàòî÷íî óêàçàòü ñïîñîá ïîñòðî-åíèÿ îáðàòíîé ôóíêöèè èëè å¼ ïðèáëèæåíèÿ.  ìåòîäå ×åáûøåâàôóíêöèÿ F̃ (x) ≈ F (x) ñòðîèòñÿ â âèäå îòðåçêà ðÿäà Òåéëîðà.

    Èòàê, áóäåì ñ÷èòàòü, ÷òî f(·) ∈ Cm+1[a, b] , f ′(x) 6= 0 íàâñ¼ì èíòåðâàëå [a, b]. Ñëåäîâàòåëüíî, äëÿ f(·) ñóùåñòâóåò îáðàò-íàÿ ôóíêöèÿ F (·) = f−1(·) ââèäó ìîíîòîííîñòè f(·) íà [a, b] :F(f(x)

    )≡ x. Äëÿ îïðåäåë¼ííîñòè áóäåì ñ÷èòàòü, ÷òî f ′(x) > 0

    íà [a, b], ÷òî îáåñïå÷èâàåò ìîíîòîííîå âîçðàñòàíèå ôóíêöèè f(·).Îáîçíà÷èì c = f(a), d = f(b), c < d, è ïóñòü x̂ ∈ [a, b] � íåêîòîðîåïðèáëèæåíèå èñêîìîãî êîðíÿ x̄ è ŷ = f(x̂). Èç êóðñà ìàòåìàòè-÷åñêîãî àíàëèçà èçâåñòíî, ÷òî ïðè ñäåëàííûõ ïðåäïîëîæåíèÿõ îá-ðàòíàÿ ôóíêöèÿ îáëàäàåò òîé æå ãëàäêîñòüþ, ÷òî è ñàìà ôóíêöèÿ:F (·) ∈ Cm+1[c, d]. Ñëåäîâàòåëüíî, ìîæåì çàïèñàòü:

    F (y) =

    m∑k=0

    F (k)(ŷ)

    k!(y − ŷ)k +Rm(ŷ, y), ŷ ∈ (c, d),

    ãäå Rm(ŷ, y) =F (m+1)(z)

    (m+ 1)!(y − ŷ)m+1, z ∈ (c, d).

    Ïîëîæèì, äàëåå

    F̃ (y) =

    m∑k=0

    F (k)(ŷ)

    k!(y − ŷ)k (1.1)

    è â ñîîòâåòñòâèè ñ âûñêàçàííûìè âûøå ñîîáðàæåíèÿìè, ïîëîæèì

    x̄ ≈ x̃ = F̃ (0) =m∑k=0

    F (k)(ŷ)

    k!(0− ŷ)k,

    8

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    ãäå x̂ � íà÷àëüíîå ïðèáëèæåíèå ê èñêîìîìó êîðíþ. Ïîëó÷èì òàêîåïðåäñòàâëåíèå äëÿ x̃ :

    x̃ =

    m∑k=0

    F (k)(ŷ)

    k!

    (− f(x̂)

    )k≡ Hm(x̂).Òåïåðü ìîæíî ïîñòðîèòü èòåðàòèâíûé ïðîöåññ, ïîëàãàÿ

    xk+1 = Hm(xk) = F̃ (0). (1.2)

    Çàìå÷àíèå 1.1. Óðàâíåíèå x = Hm(x) èìååò òîò æå êîðåíü, ÷òî èèñõîäíîå óðàâíåíèå f(x) = 0. ♣

    Îñòà¼òñÿ óêàçàòü ñïîñîá âû÷èñëåíèÿ F (k)(ŷ) :

    F(f(x)

    )≡ x,=⇒ F ′y · f ′x ≡ 1,=⇒ F ′y(ŷ) =

    1

    f ′x(x̂);

    F ′′y2(f′x)

    2 + F ′yf′′x2 = 0, =⇒ F ′′y2(ŷ) = −

    F ′y(ŷ)f′′x2(x̂)

    [f ′x(x̂)]2

    = −f ′′x2(x̂)

    [f ′x(x̂)]3

    è òàê äàëåå. Ïåðåéä¼ì ê îöåíêå âåëè÷èíû ∆x = |x̄− xk+1|. Èìååì:

    x̄− xk+1 = x̄− x̃ = F (0)− F̃ (0) =F (m+1)(zk)

    (m+ 1)![−f(xk)]m+1. (1.3)

    Ïóñòü èçâåñòíû îöåíêè: |f ′(x)| ≤ q1 , |F (m+1)(x)| ≤ Qm+1, íà[a, b] è [c, d] ñîîòâåòñòâåííî. Òîãäà

    f(xk) = f(xk)− f(x̄) = f ′(ξ)(xk − x̄),

    |f(xk)| ≤ q1|x̄− xk|è ïîäñòàâëÿÿ ïîñëåäíåå âûðàæåíèå â ôîðìóëó (1.3), ïîëó÷èì:

    |x̄− xk+1| ≤Qm+1

    (m+ 1)!qm+11 |x̄− xk|m+1 ≡ p|x̄− xk|m+1.

    Ïðèìåíÿÿ ïîñëåäîâàòåëüíî k ðàç ïîëó÷åííóþ îöåíêó, ïðèä¼ì êñëåäóþùåìó ðåçóëüòàòó (íèæå îáîçíà÷åíî s = m+ 1):

    |x̄− xk+1| ≤ p |x̄− xk|s ≤ p [ p |x̄− xk−1|s]s == p1+s|x̄− xk−1|s

    2

    ≤ p1+s+s2

    |x̄− xk−2|s3

    ≤ pt|x̄− x1|sk

    ,

    9

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    ãäå t = 1 + s+ · · ·+ sk−1 = sk−1m . Èëè:

    |x̄− xk+1| ≤(p̄ |x̄− x1|

    )skp̄

    , ãäå p̄ = m√p. (1.4)

    Òàêèì îáðàçîì, â ïðåäïîëîæåíèè

    p̄ |x̄− x1| < 1 (1.5)

    èìååò ìåñòî ñõîäèìîñòü: xk → x̄ ïðè k → ∞. Íåîáõîäèìî ëèøü,÷òîáû âñå èòåðàöèè {xk}∞k=1 îñòàâàëèñü â [a, b]. Òàêèì îáðàçîì,äîêàçàíà

    Òåîðåìà 1.1. Ïóñòü f(·) ∈ Cm+1[a, b], |f ′(x)| > 0 íà [a, b] è ∃ x̄ :f(x̄) = 0. Åñëè x1 óäîâëåòâîðÿåò óñëîâèþ (1.5) è ïîñëåäîâàòåëü-íîñòü (1.2) òàêîâà, ÷òî {xk} ⊂ [a, b], òî îíà ñõîäèòñÿ ê x̄, ïðè÷¼ìñêîðîñòü ñõîäèìîñòè õàðàêòåðèçóåòñÿ îöåíêîé (1.4). ♣

    Çàìå÷àíèå 1.2. Ðàññìîòðåííûé ìåòîä ïðè m = 1 íîñèò íàçâàíèåìåòîäà Íüþòîíà:

    xk+1 = H1(xk) = F(f(xk)

    )+F ′(f(xk)

    )1!

    (−f(xk)

    )= xk −

    f(xk)

    f ′(xk),

    ïðè÷¼ì îöåíêà (1.4) äà¼ò: |x̄− xk+1| ≤ p̄ |x̄− xk|2 , ò.å. ïîðÿäîê ñõî-äèìîñòè ìåòîäà Íüþòîíà ðàâåí äâóì (òàê, åñëè |x̄− x1| ≈ 10−1, òî|x̄− x2| ≈ 10−2). ♣

    Çàìå÷àíèå 1.3. Âûøå èñïîëüçîâàíà òåðìèíîëîãèÿ, òðåáóþùàÿ ïî-ÿñíåíèÿ.

    • Ïóñòü äëÿ íåêîòîðîãî ìåòîäà âåðíà îöåíêà: |xk − x̄| ≤ ωqk,q < 1, ω = const. Òîãäà ãîâîðÿò, ÷òî ýòîò ìåòîä ñõîäèòñÿ ñîñêîðîñòüþ ãåîìåòðè÷åñêîé ïðîãðåññèè ñî çíàìåíàòåëåì q.

    • Ïóñòü ñóùåñòâóåò îêðåñòíîñòü êîðíÿ x̄ òàêàÿ, ÷òî âñå ïðèáëè-æåíèÿ ïðèíàäëåæàò åé è èìååò ìåñòî îöåíêà:

    |xk+1 − x̄| ≤ ω|xk − x̄|p.

    Òîãäà ÷èñëî p íàçûâàþò ïîðÿäêîì ñõîäèìîñòè ìåòîäà:

    � ïðè p = 1 ãîâîðÿò î ëèíåéíîé ñõîäèìîñòè;

    10

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    � ïðè p > 1 ãîâîðÿò î ñâåðõëèíåéíîé ñõîäèìîñòè, â ÷àñò-íîñòè ïðè p = 2 � î êâàäðàòè÷íîé.

    2. Ìåòîä Íüþòîíà

    Ðàññìîòðèì íåñêîëüêî ïîäðîáíåå âîïðîñ î ðåøåíèè ñêàëÿðíî-ãî óðàâíåíèÿ

    f(x) = 0 (2.1)

    ñ èñïîëüçîâàíèåì ìåòîäà Íüþòîíà. Ïðè íàëè÷èè õîðîøåãî ïðèáëè-æåíèÿ xk ê êîðíþ x̄ ôóíêöèè ìîæíî èñïîëüçîâàòü ìåòîä Íüþòîíà,íàçûâàåìûé òàêæå ìåòîäîì ëèíåàðèçàöèè èëè ìåòîäîì êàñàòåëü-íûõ. Åãî ðàñ÷¼òíûå ôîðìóëû ìîãóò áûòü ïîëó÷åíû ïóò¼ì çàìåíûèñõîäíîãî óðàâíåíèÿ (2.1) ëèíåéíûì óðàâíåíèåì â îêðåñòíîñòè êîð-íÿ f(xk)+f

    ′(xk)(x−xk) = 0. Ðåøåíèå ýòîãî óðàâíåíèÿ ïðèíèìàåòñÿçà î÷åðåäíîå ïðèáëèæåíèå xk+1 :

    xk+1 = xk −f(xk)

    f ′(xk). (2.2)

    Ìåòîä Íüþòîíà èìååò ïðîñòóþ ãåîìåòðè÷åñêóþ èíòåðïðåòàöèþ:ãðàôèê ôóíêöèè çàìåíÿåòñÿ êàñàòåëüíîé ê íåìó â òî÷êå (xk, f(xk))è çà î÷åðåäíîå ïðèáëèæåíèå xk+1 ïðèíèìàåòñÿ àáñöèññà òî÷êè ïå-ðåñå÷åíèÿ ýòîé êàñàòåëüíîé ñ îñüþ OX . Èñïîëüçóÿ ýòó èíòåðïðå-òàöèþ ëåãêî ïîëó÷èòü ðàñ÷¼òíûå ôîðìóëû (2.2) ìåòîäà Íüþòîíà èâñëåäñòâèå ýòîé èíòåðïðåòàöèè îí èìåíóåòñÿ òàêæå ìåòîäîì êàñà-òåëüíûõ.

    ßñíî, ÷òî ñõîäèìîñòü ïîñëåäîâàòåëüíîñòè {xk} ê êîðíþ çàâè-ñèò îò ñâîéñòâ ôóíêöèè f(·) è íå âñåãäà èìååò ìåñòî. Òàê, ëåãêîïðåäñòàâèòü, ÷òî óæå ïðèáëèæåíèå x1 íå ïîïàäàåò íà èñõîäíûéèíòåðâàë è ïðîöåññ èòåðàöèé îñòàíàâëèâàåòñÿ.

    Ïðèâåä¼ì ïîëåçíóþ òåîðåìó, ãàðàíòèðóþùóþ ñõîäèìîñòü ìå-òîäà Íüþòîíà.

    Òåîðåìà 2.1. Åñëè äëÿ ôóíêöèè f(·) ∈ C2[a, b] âûïîëíåíû óñëîâèÿ

    • f(a) · f(b) < 0 ,

    • f ′(x) 6= 0 è f ′′(x) 6= 0 íà [a, b] (è, ñëåäîâàòåëüíî, ñîõðàíÿþòîïðåäåë¼ííûå çíàêè ïðè x ∈ [a, b]) ,

    11

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    òî èñõîäÿ èç íà÷àëüíîãî ïðèáëèæåíèÿ x0 ∈ [a, b] , äëÿ êîòîðîãîf(x0) · f ′′(x0) > 0 , ïî ôîðìóëå (2.2) ìîæíî âû÷èñëèòü åäèíñòâåí-íûé êîðåíü x̄ óðàâíåíèÿ (2.1) ñ ëþáîé ñòåïåíüþ òî÷íîñòè.

    Äîêàçàòåëüñòâî. Ïðåæäå âñåãî çàìåòèì, ÷òî óñëîâèÿ òåîðåìû ãà-ðàíòèðóþò ñóùåñòâîâàíèå ðåøåíèÿ x̄ (â ñîîòâåòñòâèè ñ òåîðåìîéÊîøè) è åãî åäèíñòâåííîñòü.

    Ïóñòü äëÿ îïðåäåë¼ííîñòè f(a) < 0 , f(b) > 0 , f ′(x) > 0 èf ′′(x) > 0 , x ∈ [a, b] . Ïîëîæèì x0 = b . Ïðè ñäåëàííûõ äîïóùåíèÿõóñëîâèÿ òåîðåìû 2.1 âûïîëíåíû. Äîêàçàòåëüñòâî ïðîâåä¼ì ìåòîäîììàòåìàòè÷åñêîé èíäóêöèè.

    Ïîêàæåì, ÷òî äëÿ ïîñëåäîâàòåëüíîñòè (2.2) âûïîëíÿþòñÿ íå-ðàâåíñòâà xk > x̄ è òîãäà ââèäó ìîíîòîííîñòè f(xk) > f(x̄) = 0 .

    Ïîñêîëüêó x0 = b > x̄ , òî f(x0) > 0 è áàçà äëÿ èíäóêöèèèìååòñÿ. Ïóñòü xj > x̄ è f(xj) > f(x̄) = 0 äëÿ j = 0, k . Ïîêàæåì,÷òî ýòè æå íåðàâåíñòâà âåðíû è äëÿ j = k + 1 .

    Ïðåäñòàâèì x̄ â âèäå x̄ = xk +(x̄−xk) . Òîãäà ìîæåì çàïèñàòü

    0 = f(x̄) = f(xk) + f′(xk)(x̄− xk) +

    1

    2f ′′(ξ)(x̄− xk)2, ξ ∈ (a, b).

    Ââèäó òîãî, ÷òî ïîñëåäíåå ñëàãàåìîå â ýòîé ôîðìóëå ñòðîãî ïîëî-æèòåëüíî, ïîëó÷àåì íåðàâåíñòâî

    f(xk) + f′(xk)(x̄− xk) < 0.

    Ïîñêîëüêó æå ñîãëàñíî èíäóêòèâíîìó ïðåäïîëîæåíèþ f ′(xk) > 0 ,òî ïîëó÷àåì èç ýòîãî íåðàâåíñòâà, ðàçäåëèâ îáå åãî ÷àñòè íà f ′(xk) :

    x̄− xk +f(xk)

    f ′(xk)< 0. (2.3)

    Íî ñîãëàñíî ôîðìóëå (2.2)

    −xk +f(xk)

    f ′(xk)= −xk+1.

    Ïîýòîìó èç (2.3) ñëåäóåò xk+1 > x̄ è f(xk+1) > 0 .Ñ ó÷¼òîì ýòèõ íåðàâåíñòâ è ââèäó ïîëîæèòåëüíîñòè äðîáè â

    ôîðìóëå (2.2), ïîëó÷àåì íåðàâåíñòâî x̄ < xk+1 < xk , îçíà÷àþùåå,

    12

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    ÷òî ïîñëåäîâàòåëüíîñòü {xk} ÿâëÿåòñÿ ìîíîòîííî óáûâàþùåé è îã-ðàíè÷åííîé è ïîòîìó èìåþùåé ïðåäåë. Îáîçíà÷àÿ åãî ÷åðåç x̂ èïåðåõîäÿ ê ïðåäåëó â (2.2), ïîëó÷èì

    x̂ = x̂− f(x̂)f ′(x̂)

    , (2.4)

    îòêóäà f(x̂) = 0 è ââèäó åäèíñòâåííîñòè êîðíÿ x̂ = x̄. ♣Çàìå÷àíèå 2.1. Ïðàêòè÷åñêèì êðèòåðèåì îêîí÷àíèÿ âû÷èñëåíèéÿâëÿåòñÿ âûïîëíåíèå óñëîâèÿ |xn+1 − xn| < ε , ãäå ε � òðåáóåìàÿòî÷íîñòü âû÷èñëåíèÿ êîðíÿ.

    Çàìå÷àíèå 2.2. Îñòàëüíûå äîïóñòèìûå ñëó÷àè çíàêîâ ó f(x) , f ′(x)è f ′′(x) ìîãóò áûòü ðàññìîòðåíû àíàëîãè÷íî.

    Ìåòîä Íüþòîíà � óäîáíûé ñïîñîá âû÷èñëåíèÿ êîðíÿ öåëîéñòåïåíè. Ïîñêîëüêó çàäà÷à èçâëå÷åíèÿ êîðíÿ n

    √c ðàâíîñèëüíà çà-

    äà÷å ðåøåíèÿ óðàâíåíèÿ f(x) = 0 ñ ôóíêöèåé f(x) = xn − c , òîðàñ÷¼òíàÿ ôîðìóëà ìåòîäà Íüþòîíà ïðèîáðåòàåò âèä

    xk+1 =n− 1n

    xk +c

    nxn−1k.

    Ïóñòü n = 2, c = 2, è òîãäà f(x) = x2 − 2, [a, b] = [1, 2] .Ïðîâåðèì âûïîëíåíèå óñëîâèé òåîðåìû 2.1:

    f(1) = −1, f(2) = 2, f ′(x) = 2x > 0, f ′′(x) = 2 > 0

    ïðè x ∈ [1, 2] . Ïóñòü x0 = 2 . Ïîñêîëüêó f(2) · f ′′(2) = 2 · 2 = 4 > 0 ,òî îáåñïå÷åíà ñõîäèìîñòü ïîñëåäîâàòåëüíîñòè {xk} , ïîëó÷àåìîé ïîôîðìóëå (2.2) ê

    √2 :

    x1 =1

    2(2 + 1) = 1, 5; x2 = 1, 41667; x3 = 1, 414216, x4 = 1, 414214.

    Âñå öèôðû ïîñëåäíåãî ïðèáëèæåíèÿ ÿâëÿþòñÿ âåðíûìè.Åñëè æå óñëîâèÿ òåîðåìû 2.1 íå âûïîëíÿþòñÿ èëè ïðîâåðêà èõ

    çàòðóäíèòåëüíà, òî î÷åðåäíîå �ïðèáëèæåíèå� xk+1 ìîæåò îêàçàòü-ñÿ âíå èíòåðâàëà, íà êîòîðîì ðàñïîëîæåí êîðåíü x̄ .  ýòîì ñëó÷àåxk+1 ìîæåò ñòðîèòüñÿ ìåòîäîì ïîëîâèííîãî äåëåíèÿ èëè ìåòîäîìõîðä.  ïåðâîì ñëó÷àå ïîëàãàþò

    xk+1 =ak + bk

    2, (2.5)

    13

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    âî âòîðîì �

    xk+1 = ak −bk − ak

    f(bk)− f(ak)· f(ak). (2.6)

    Çäåñü ak, bk � ëåâûé è ïðàâûé êîíåö èíòåðâàëà, êîòîðîìó ïðèíàä-ëåæèò êîðåíü x̄ íà ïðåäûäóùåì øàãå.

    Íà íà÷àëüíîì ýòàïå ïîëàãàåì a0 = a, b0 = b . Ïóñòü äëÿ îï-ðåäåë¼ííîñòè f(a) < 0, f(b) > 0. Åñëè x1 ∈ [a, b] , òî âû÷èñëèâc = f(x1) , ïîëàãàåì a1 = c , b1 = b0 ïðè c < 0 , è a1 = a0 , b1 = cïðè c > 0 è ïîâòîðÿåì âû÷èñëåíèÿ.

    Åñëè æå ïðèáëèæåíèå x1 6∈ [a, b] , òî ïðèìåíÿåì ôîðìóëû (2.5)èëè (2.6) è ïîñòóïàåì êàê è âûøå: âû÷èñëÿÿ c = f(x1) , ïîëàãàåìa1 = c , b1 = b0 ïðè c < 0 , è a1 = a0 , b1 = c ïðè c > 0 è ïðèìåíÿåììåòîä Íüþòîíà.

    3. Ìåòîä èòåðàöèé

    Ïðèìåíåíèå ìåòîäà èòåðàöèé òðåáóåò ïðèâåäåíèÿ óðàâíåíèÿê ñïåöèàëüíîìó âèäó

    x = ϕ(x), [a, b]ϕ−→ [a, b]. (3.1)

    Òî÷êè, óäîâëåòâîðÿþùèå (3.1), íàçûâàþòñÿ íåïîäâèæíûìè òî÷êà-ìè ïðåîáðàçîâàíèÿ ϕ(·). Ãåîìåòðè÷åñêè íåïîäâèæíàÿ òî÷êà åñòü íå÷òî èíîå, êàê òî÷êà ïåðåñå÷åíèÿ ïðÿìîé y = x è êðèâîé y = ϕ(x) .

    Ðèñ. 1.

     ìåòîäå èòåðàöèé ïîñòðîåíèå ÷ëåíîâ ïîñëåäîâàòåëüíîñòè{xk} âåä¼òñÿ ïî ôîðìóëå

    xk+1 = ϕ(xk), k = 0, 1 . . . (3.2)

    14

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Ðàññìîòðèì ïîâåäåíèå ïîñëåäîâàòåëüíîñòè {xk} , êîãäà å¼ ÷ëåíûíàõîäÿòñÿ âáëèçè òî÷êè x̄ . Óäîáíî ââåñòè âåëè÷èíó εk = xk − x̄è ó÷åñòü ìàëîñòü εk . Ñâÿçü ìåæäó εk è εk+1 ïîëó÷èì èç (3.2),ïîäñòàâëÿÿ xk = x̄+ εk è xk+1 = x̄+ εk+1 :

    x̄+ εk+1 = ϕ(x̄) + εkϕ′(x̄) + o(εk).

    Ó÷èòûâàÿ ðàâåíñòâî x̄ = ϕ(x̄) , èìååì:

    εk+1 ≈ ϕ′(x̄)εk, k = 0, 1 . . .

    Âîçìîæíû ñëó÷àè:

    1. |ϕ′(x̄)| > 1 =⇒ |εk+1| > |εk| =⇒ x̄ � òî÷êà �îòòàëêèâàíè�;

    2. |ϕ′(x̄)| < 1 � ìîæíî îæèäàòü, ÷òî åñëè íà÷àëüíàÿ èòåðàöèÿx0 áëèçêà ê x̄ , òî ïîñëåäîâàòåëüíîñòü {xk} áóäåò ñõîäèòüñÿ êx̄ êàê ãåîìåòðè÷åñêàÿ ïðîãðåññèÿ ñî çíàìåíàòåëåì q = ϕ′(x̄).

    Åñëè ϕ′(x̄) < 0 , òî {xk} ñõîäèòñÿ ê x̄ ñ ðàçíûõ ñòîðîí,÷òî ïîçâîëÿåò ïîëó÷èòü äâóñòîðîííþþ îöåíêó äëÿ êîðíÿ x̄ :x̄ ∈ (min{xk, xk+1}, max{xk, xk+1}).

    3. ϕ′(x̄) = 0 . Ïóñòü äëÿ îïðåäåë¼ííîñòè ϕ(·) ∈ C(m)(a, b) è

    ϕ′(x̄) = 0, ϕ′′(x̄) = 0, . . . , ϕ(m−1)(x̄) = 0, ϕ(m)(x̄) 6= 0.

     ýòîì ñëó÷àå ðàçëîæåíèå äëÿ ϕ(xk) = ϕ(x̄ + εk) âáëèçè òî÷êè x̄èìååò âèä:

    ϕ(xk) = ϕ(x̄+ εk) = ϕ(x̄) +1

    m!ϕ(m)(ξ)εmk , ξ ∈ [a, b]

    è ïîäñòàíîâêà â (3.2) äà¼ò:

    εk+1 =1

    m!ϕ(m)(ξ) εmk .

    Åñëè îöåíèòü |ϕ(m)(ξ)| ≤M , òî |εk+1| ≤M

    m!|εk|m , îòêóäà ïîëó÷àåì:

    |εk+1| ≤(M

    m!|ε0|)mk+1−1

    m−1

    |ε0|mk+2−2mk+1+1

    m−1 ,

    15

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    ÷òî óêàçûâàåò íà áûñòðóþ ñõîäèìîñòü {xk} ê x̄ ïðè âûïîëíåíèè

    óñëîâèé |ε0| < 1 èM

    m!|ε0| < 1.

    Òåïåðü ñôîðìóëèðóåì è äîêàæåì òåîðåìó:

    Òåîðåìà 3.1. (äîñòàòî÷íîå óñëîâèå ñõîäèìîñòè ìåòîäà èòåðà-öèé) Ïóñòü âûïîëíåíû óñëîâèÿ:

    1. ôóíêöèÿ ϕ(·) îïðåäåëåíà è íåïðåðûâíà íà ìíîæåñòâå S ={x : |x− x0| ≤ δ} è óäîâëåòâîðÿåò óñëîâèþ Ëèïøèöà:

    |ϕ(x)− ϕ(x′)| ≤ q|x− x′|, 0 ≤ q < 1;

    2. ÷èñëî m > 0 òàêîâî, ÷òî |x0 − ϕ(x0)| ≤ m;

    3. ÷èñëà δ, q, m òàêîâû, ÷òîm

    1− q≤ δ.

    Òîãäà ñïðàâåäëèâû óòâåðæäåíèÿ:

    1. Óðàâíåíèå (3.1) èìååò â S åäèíñòâåííîå ðåøåíèå x̄ ;

    2. èìååò ìåñòî ñõîäèìîñòü ïîñòðîåííîé ïîñëåäîâàòåëüíîñòè:{xk} ⊂ S, x̄ = limk→∞ xk;

    3. ïîñëåäîâàòåëüíîñòü {xk} ñõîäèòñÿ ê x̄ ñî ñêîðîñòüþ ãåî-ìåòðè÷åñêîé ïðîãðåññèè ñî çíàìåíàòåëåì q , ò.å.

    |xk − x̄| ≤m

    1− qqk, k = 1, 2, . . . . ♣

    Äîêàçàòåëüñòâî. Ïîêàæåì, ïðåæäå âñåãî, ÷òî èç óñëîâèé òåîðå-ìû ñëåäóåò

    {xk} ⊂ S, |xk+1 − xk| ≤ mqk, k = 0, 1, . . . . (3.3)

    Äîêàçàòåëüñòâî ïðîâåä¼ì ïî èíäóêöèè. Ïðè k = 0 ìîæíî ïîñòðî-èòü x1 = ϕ(x0), ò.ê. x0 ∈ S è, êðîìå òîãî, |x1−x0| = |ϕ(x0)−x0| ≤ mñîãëàñíî óñëîâèþ 2 òåîðåìû 3.1. Ïîýòîìó óòâåðæäåíèå (3.3) âåðíîäëÿ k = 0 , à ââèäó óñëîâèÿ 3 òîé æå òåîðåìû m ≤ m1−q ≤ δ, ò.ê.q < 1 (ñì. óñëîâèå 1). Ñëåäîâàòåëüíî, x1 ∈ S. Áàçà äëÿ èíäóêöèèñîçäàíà.

    16

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Ïóñòü òåïåðü {x0, x1, . . . , xn} ⊂ S è äëÿ ÷ëåíîâ âûøåóêà-çàííîé ïîñëåäîâàòåëüíîñòè âûïîëíÿåòñÿ íåðàâåíñòâî

    |xk+1 − xk| ≤ mqk, k = 0, 1, . . . , n− 1.

    Ïîñêîëüêó xn ∈ S ñîãëàñíî èíäóêòèâíîìó ïðåäïîëîæåíèþ, òî ñëå-äóþùåå ïðèáëèæåíèå xn+1 = ϕ(xn) ìîæåò áûòü ïîñòðîåíî. Äàëåå,|xn+1 − xn| = |ϕ(xn) − ϕ(xn−1)| ≤ q|xn − xn−1| ≤ q ·mqn−1 = mqn.Ñëåäîâàòåëüíî, íåðàâåíñòâî (3.3) âåðíî. Îñòàëîñü ïðîâåðèòü, ÷òîxn+1 ∈ S : äåéñòâèòåëüíî,

    |xn+1 − x0| = |(xn+1 − xn) + (xn − xn−1) + · · ·+ (x1 − x0)| ≤

    ≤ m(qn + qn−1 + · · ·+ q0) ≤ m1− q

    ≤ δ,

    òî åñòü xn+1 ∈ S . Äîêàæåì òåïåðü ñõîäèìîñòü ïîñòðîåííîé ïîñëå-äîâàòåëüíîñòè. Ïðîâåðèì âûïîëíåíèå óñëîâèÿ Áîëüöàíî-Êîøè äëÿíå¼:

    |xn+p−xn| = |(xn+p−xn+p−1)+(xn+p−1−xn+p−2)+· · ·+(xn+1−xn)| ≤

    ≤ m(qn+p−1 + qn+p−2 + · · ·+ qn) ≤ m1− q

    qn < ε (∗)

    ïðè n > Nε, ∀p > 0. Ñëåäîâàòåëüíî, ïîñòðîåííàÿ ïîñëåäîâàòåëü-íîñòü ÿâëÿåòñÿ ôóíäàìåíòàëüíîé (ñõîäÿùåéñÿ â ñåáå), à ïîñêîëüêóìíîæåñòâî S çàìêíóòî è {xk} ⊂ S , òî

    ∃x∗ ∈ S : x∗ = limxk,

    è ïåðåõîäÿ ê ïðåäåëó â (3.2), ïîëó÷èì:

    x∗ = ϕ(x∗).

    Åñëè æå äîïóñòèòü ñóùåñòâîâàíèå äâóõ òî÷åê x∗ è x∗∗ , ÿâëÿþùèõ-ñÿ ðåøåíèåì óðàâíåíèÿ (3.1), òî ïîëó÷èì:

    |x∗ − x∗∗| = |ϕ(x∗)− ϕ(x∗∗)| ≤ q|x∗ − x∗∗|,

    îòêóäà ââèäó q < 1 ñëåäóåò |x∗−x∗∗| = 0, ò.å. x∗ = x∗∗. Ïåðâûå äâàóòâåðæäåíèÿ òåîðåìû äîêàçàíû. Òðåòüå óòâåðæäåíèå äîêàçûâàåòñÿïåðåõîäîì ê ïðåäåëó â îöåíêå (∗) ïðè p → ∞. Òåîðåìà äîêàçàíàïîëíîñòüþ. ♣

    17

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    4. Óñêîðåíèå ñõîäèìîñòè. Ïðåîáðàçîâàíèå Ýéòêåíà.

    Ðàññìîòðèì ïîêàçàòåëüíóþ ôóíêöèþ öåëî÷èñëåííîãî àðãó-ìåíòà n :

    sn = s+Aqn.

    Ïðè q < 1 óêàçàííàÿ ïîñëåäîâàòåëüíîñòü ñõîäèòñÿ ê s.  ýòîìñëó÷àå å¼ ïðåäåë ìîæíî âûðàçèòü ÷åðåç òðè å¼ ïîñëåäîâàòåëüíûõ÷ëåíà:

    q =sn − ssn−1 − s

    =sn+1 − ssn − s

    ,

    îòêóäà íàõîäèì (sn+1 − s)(sn−1 − s) = (sn − s)2 è çàòåì

    s =sn+1sn−1 − s2n

    sn+1 − 2sn + sn−1.

    Ñëåäóÿ Ýéòêåíó, ðàññìîòðèì ïðåîáðàçîâàíèå ïðîèçâîëüíîé ïîñëå-äîâàòåëüíîñòè {sn} â äðóãóþ {σn} :

    σn =sn+1sn−1 − s2n

    sn+1 − 2sn + sn−1.

    Åñëè ýòî ïðåîáðàçîâàíèå ïðèìåíèòü ê èñõîäíîé ïîñëåäîâàòåëü-íîñòè sn = s+Aq

    n, òî, î÷åâèäíî, ïîëó÷èì:

    σn ≡ s = lim sk.

    Åñòåñòâåííî îæèäàòü, ÷òî ýòî ïðåîáðàçîâàíèå ïðèâåä¼ò ê áîëååáûñòðîé ñõîäèìîñòè ïîñëåäîâàòåëüíîñòè {σn} ê òîìó æå ïðåäå-ëó s , åñëè èñõîäíàÿ ïîñëåäîâàòåëüíîñòü áóäåò ìåíÿòüñÿ ïî çàêîíó,áëèçêîìó ê ïîêàçàòåëüíîìó.

    Èòàê, ïóñòü ïîñòðîåíû ÷ëåíû ïîñëåäîâàòåëüíîñòè {xk} . Âû-÷èñëèì x′n = ϕ(xn) è x

    ′′n = ϕ(x

    ′n). Ê òð¼ì çíà÷åíèÿì xn, x

    ′n, x

    ′′n

    ïðèìåíÿåì ïðåîáðàçîâàíèå Ýéòêåíà è åãî ðåçóëüòàò ïðèíèìàåì çàíîâîå ïðèáëèæåíèå xn+1 :

    xn+1 =xnx

    ′′n − [x′n]2

    x′′n − 2x′n + xn.

    18

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Ïîëó÷åííîå ðàâåíñòâî íàçûâàþò èòåðàöèîííîé ôîðìóëîé Ñòåô-ôåíñåíà. ż ìîæíî èñòîëêîâàòü êàê ïðîñòîé èòåðàöèîííûé ïðîöåññäëÿ âñïîìîãàòåëüíîãî óðàâíåíèÿ:

    x = Φ(x), Φ(x) =xϕ(ϕ(x))− ϕ2(x)ϕ(ϕ(x))− 2ϕ(x) + x

    . (∗)

    Äëÿ âåëè÷èí εn = |xn − x̄| âåðíà îöåíêà:

    εn+1 ≤ Bε2n, ãäå B = sup[a,b]

    ∣∣∣∣ ϕ′(x)ϕ′′(x)2(ϕ′(x)− 1)∣∣∣∣ ,

    ÷òî ãîâîðèò î êâàäðàòè÷íîé ñõîäèìîñòè ïðåîáðàçîâàííîé ïîñëåäî-âàòåëüíîñòè. Îòìåòèì, ÷òî â îêðåñòíîñòè êîðíÿ x̄ : |Φ′(x)| ≤ q < 1,ïîñêîëüêó Φ′(x̄) = 0.

    5. Ëîêàëèçàöèÿ êîðíåé óðàâíåíèÿ

    Ãðàíèöû ðàñïîëîæåíèÿ êîðíåéàëãåáðàè÷åñêîãî óðàâíåíèÿ

    Ïóñòü çàäàíî óðàâíåíèå â êîìïëåêñíîé îáëàñòè:

    f(z) = a0zn + a1z

    n−1 + · · ·+ an = 0. (5.1)

    Îáîçíà÷èìa = max

    i>0{|ai|}, A = max

    i 0(÷òî íèêàê íå óìàëÿåò äàëüíåéøåãî). Íàéä¼ì ãðàíèöû äåéñòâè-òåëüíûõ êîðíåé. Î÷åâèäíî, îäíàêî, ÷òî äîñòàòî÷íî óêàçàòü âåðõ-íþþ ãðàíèöó äëÿ ïîëîæèòåëüíûõ êîðíåé, ò.ê. çàìåíîé x = −t ïî-ëó÷èì óðàâíåíèå, êîðíè êîòîðîãî èìåþò çíàêè, ïðîòèâîïîëîæíûåçíàêàì êîðíåé èñõîäíîãî óðàâíåíèÿ.

    19

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Òåîðåìà 5.2. Ïóñòü a = maxai p

    −11 . Àíàëîãè÷íî ïðîâîäÿòñÿ ðàññóæäåíèÿ

    äëÿ îòðèöàòåëüíûõ êîðíåé.Ðåçþìèðóÿ, ìîæíî çàïèñàòü îöåíêè:

    p−11 < x̄ < p0, åñëè x̄ > 0;

    −p2 < x̄ < −p−13 , åñëè x̄ < 0. ♣

    6. Î ëîêàëèçàöèè êîðíåé â îáùåì ñëó÷àå

    Åñëè â óðàâíåíèè f(x) = 0 ôóíêöèÿ f(·) íåïðåðûâíà, òî îñíî-âîé äëÿ ëîêàëèçàöèè êîðíÿ îáû÷íî ñëóæèò ñëåäñòâèå èç òåîðåìû

    20

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Êîøè: åñëè f(a)f(b) < 0, òî íà èíòåðâàëå [a, b] èìååòñÿ ïî êðàé-íåé ìåðå îäèí êîðåíü óêàçàííîãî óðàâíåíèÿ (òî÷íåå íå÷¼òíîå ÷èñëîêîðíåé). Äëÿ ëîêàëèçàöèè êîðíÿ íà èíòåðâàëå [a, b] ìîæíî ïðèìå-íÿòü ðàçëè÷íûå ïîäõîäû, êàê òî:

    • Ïîñëåäîâàòåëüíûé ïåðåáîð. Èíòåðâàë [a, b] ðàçáèâàåòñÿ íàN = N0 ðàâíûõ îòðåçêîâ è âû÷èñëÿþòñÿ çíà÷åíèÿ ôóíêöèèf(·) â òî÷êàõ xk = a + kh, k = 0, 1, . . . , N, ãäå h = (b− a)/N.Åñëè ïðè ýòîì íàéä¼òñÿ èíòåðâàë [xk, xk+1], äëÿ êîòîðîãîf(xk)f(xk+1) < 0, òî òåì ñàìûì êîðåíü ôóíêöèè áóäåò ëîêà-ëèçîâàí ñ òî÷íîñòüþ h . Ìîæåò îêàçàòüñÿ, ÷òî ôóíêöèÿ f(·)íå ìåíÿåò çíàêà íà ïîñëåäîâàòåëüíîñòè {xk}. Åñëè êîðåíü íà[a, b] ñóùåñòâóåò, òî ïîñëåäíåå îçíà÷àåò, ÷òî øàã h ñëèøêîìâåëèê è åãî ñëåäóåò çàìåíèòü íà ìåíüøèé, óäâàèâàÿ, íàïðè-ìåð, ÷èñëî ðàçáèåíèé îòðåçêà [a, b] , ò.å. ïîëàãàÿ N = 2N0 èò.ä.

    • Ïåðåáîð ñ ïåðåìåííûì øàãîì. Åñëè ôóíêöèÿ f(x) ÿâëÿåòñÿËèïøèöåâîé, ò.å.

    |f(x′)− f(x′′)| ≤ L|x′ − x′′|, x′, x′′ ∈ [a, b],

    òî ìîæíî ñòðîèòü ïîñëåäîâàòåëüíîñòü {xk} âèäà:

    x0 = a, xk+1 = xk +|f(xk)|L

    .

    Îñíîâàíèåì ê ýòîìó ìîæåò ñëóæèòü òî, ÷òî ïðè ëèíåéíîñòèôóíêöèè, ò.å. f(x) = cx+ d, ìîæíî ïðèíÿòü L = |c| è â ýòîìñëó÷àå çíà÷åíèå x1 , ïîëó÷åííîå óêàçàííûì ñïîñîáîì, óäîâëå-òâîðÿåò óðàâíåíèþ f(x) = 0.

    Åñëè L íåèçâåñòíà, òî ìîæíî å¼ çàìåíèòü ÷åðåç

    Lk =|f(xk)− f(xk−1)||xk − xk−1|

    .

    • Õîðîøî èçâåñòíûé ãðàôè÷åñêèé ìåòîä, êîãäà èñõîäíîå óðàâ-íåíèå ïåðåïèñûâàåòñÿ â âèäå h(x) = g(x) è íàõîäèòñÿ ïðè-áëèæ¼ííîå çíà÷åíèå àáñöèññû òî÷êè ïåðåñå÷åíèÿ ãðàôèêîâôóíêöèé y = h(x) è y = g(x) (èíòåðâàë, êîòîðîìó îíà ïðè-íàäëåæèò.)

    21

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    • Èñïîëüçîâàíèå ìàæîðàíò. Åñëè èçâåñòíû îöåíêè ôóíêöèèf(x) íà [a, b], ò.å.

    f−(x) ≤ f(x) ≤ f+(x),

    è x− è x+ � êîðíè ýòèõ ôóíêöèé, òî êîðåíü óðàâíåíèÿ ëåæèòìåæäó íèìè: x̄ ∈ [min{x−, x+}, max{x−, x+}] .

    Ïðèìåð 6.1. Ïóñòü f(x) = sinx+ x3 − 2, x ∈ [0, π]. Íà óêàçàííîìèíòåðâàëå ìîæíî ïðèíÿòü:

    f−(x) = x3 − 2, f+(x) = 1 + x3 − 2 = x3 − 1.

    Ñëåäîâàòåëüíî, x̄ ∈[1; 3√

    2]∈ [1; 1, 28]. ♣

    7. Çàäà÷è ïî òåìå

    Ïðèìåð 7.1. Äëÿ ïîëèíîìà P (x) = x4 − x3 − 7x2 + x+ 6 îöåíèòüèíòåðâàëû, êîòîðûì ìîãóò ïðèíàäëåæàòü ïîëîæèòåëüíûå è îòðè-öàòåëüíûå êîðíè ýòîãî ïîëèíîìà. ♣

    Ïðèìåð 7.2. Âûïèñàòü ôîðìóëó Íüþòîíà (ìåòîä êàñàòåëüíûõ)äëÿ èçâëå÷åíèÿ êîðíÿ êóáè÷åñêîãî èç ÷èñëà a . ♣

    22

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    ÃËÀÂÀ 2. ÐÅØÅÍÈÅ ÑÈÑÒÅÌ ÓÐÀÂÍÅÍÈÉ

    1. Íîðìû âåêòîðîâ è ìàòðèö

    Íàïîìíèì, ÷òî ëèíåéíîå ïðîñòðàíñòâî Ω ýëåìåíòîâ x íàçû-âàåòñÿ íîðìèðîâàííûì, åñëè â í¼ì ââåäåíà ôóíêöèÿ ‖ · ‖Ω , îïðå-äåë¼ííàÿ äëÿ âñåõ ýëåìåíòîâ ïðîñòðàíñòâà Ω è óäîâëåòâîðÿþùàÿóñëîâèÿì:

    1. ‖x‖Ω ≥ 0, ïðè÷¼ì ‖x‖Ω = 0⇐⇒ x = 0Ω;

    2. ‖λx‖Ω = |λ| · ‖x‖Ω;

    3. ‖x+ y‖Ω ≤ ‖x‖Ω + ‖y‖Ω.

    Äîãîâîðèìñÿ â äàëüíåéøåì îáîçíà÷àòü ìàëûìè ëàòèíñêè-ìè áóêâàìè âåêòîðû, ïðè÷¼ì áóäåì ñ÷èòàòü èõ âåêòîð-ñòîëáöàìè,áîëüøèìè ëàòèíñêèìè áóêâàìè îáîçíà÷èì ìàòðèöû, à ãðå÷åñêèìèáóêâàìè ñòàíåì îáîçíà÷àòü ñêàëÿðíûå âåëè÷èíû (ñîõðàíÿÿ çà áóê-âàìè i, j, k, l,m, n îáîçíà÷åíèÿ äëÿ öåëûõ ÷èñåë).

    Ê ÷èñëó íàèáîëåå óïîòðåáèòåëüíûõ íîðì âåêòîðîâ îòíîñÿòñÿñëåäóþùèå:

    1. ‖x‖1 =n∑i=1

    |xi|;

    2. ‖x‖2 =

    √√√√ n∑i=1

    x2i ;

    3. ‖x‖∞ = maxi|xi| .

    Îòìåòèì, ÷òî âñå íîðìû â ïðîñòðàíñòâå Rn ÿâëÿþòñÿ ýêâè-âàëåíòíûìè, ò.å. ëþáûå äâå íîðìû ‖x‖i è ‖x‖j ñâÿçàíû ñîîòíî-øåíèÿìè:

    αij‖x‖j ≤ ‖x‖i ≤ βij‖x‖j ,

    ïðè÷¼ì αij , βij , íå çàâèñÿò îò x. Áîëåå òîãî, â êîíå÷íîìåðíîì ïðî-ñòðàíñòâå ëþáûå äâå íîðìû ÿâëÿþòñÿ ýêâèâàëåíòíûìè.

    23

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Ïðîñòðàíñòâî ìàòðèö ñ åñòåñòâåííûì îáðàçîì ââåä¼ííûìèîïåðàöèÿìè ñëîæåíèÿ è óìíîæåíèÿ íà ÷èñëî îáðàçóþò ëèíåéíîåïðîñòðàíñòâî, â êîòîðîì ìíîãèìè ñïîñîáàìè ìîæíî ââåñòè íîðìó.Îäíàêî ÷àùå âñåãî ðàññìàòðèâàþòñÿ òàê íàçûâàåìûå ïîä÷èí¼ííûåíîðìû, ò.å. íîðìû, ñâÿçàííûå ñ íîðìàìè âåêòîðîâ ñîîòíîøåíèÿìè:

    ‖A‖ = supx 6=0

    ‖Ax‖‖x‖

    .

    Îòìå÷àÿ ïîä÷èí¼ííûå íîðìû ìàòðèö òåìè æå èíäåêñàìè, ÷òî èñîîòâåòñòâóþùèå íîðìû âåêòîðîâ, ìîæíî óñòàíîâèòü, ÷òî

    ‖A‖1 = maxj

    ∑i

    |aij |;

    ‖A‖2 =√

    maxiλi(ATA);

    ‖A‖∞ = maxi

    ∑j

    |aij |.

    Çäåñü ÷åðåç λi(ATA) îáîçíà÷åíî ñîáñòâåííîå ÷èñëî ìàòðèöû ATA ,

    ãäå T � çíàê òðàíñïîíèðîâàíèÿ. Êðîìå îòìå÷åííûõ âûøå òð¼õ îñ-íîâíûõ ñâîéñòâ íîðìû, îòìåòèì çäåñü åù¼ äâà:

    • ‖AB‖ ≤ ‖A‖ · ‖B‖,

    • ‖Ax‖ ≤ ‖A‖ · ‖x‖,

    ïðè÷¼ì â ïîñëåäíåì íåðàâåíñòâå ìàòðè÷íàÿ íîðìà ïîä÷èíåíà ñîîò-âåòñòâóþùåé âåêòîðíîé íîðìå. Äîãîâîðèìñÿ èñïîëüçîâàòü â äàëü-íåéøåì òîëüêî íîðìû ìàòðèö, ïîä÷èí¼ííûå íîðìàì âåêòîðîâ. Îò-ìåòèì, ÷òî äëÿ íèõ ñïðàâåäëèâî ðàâåíñòâî: ‖E‖ = 1, ãäå E � åäè-íè÷íàÿ ìàòðèöà.

    2. Ïîíÿòèå îáóñëîâëåííîñòè ìàòðèö è ñèñòåì ëèíåéíûõàëãåáðàè÷åñêèõ óðàâíåíèé (ÑËÀÓ)

    Ïóñòü òðåáóåòñÿ ðåøèòü ÑËÀÓ

    Ax = b, b 6= 0, (2.1)

    24

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    ïðè÷¼ì ïðàâàÿ ÷àñòü ñèñòåìû ñîäåðæèò ïîãðåøíîñòü, ò.å. ôàêòè-÷åñêè òðåáóåòñÿ ðåøèòü ÑËÀÓ

    A(x+ δx) = b+ δb.

    Îòñþäà δx óäîâëåòâîðÿåò ÑËÀÓ Aδx = δb è, ñ÷èòàÿ ìàòðèöó Aíåîñîáîé (detA 6= 0) , íàéä¼ì:

    δx = A−1δb. (2.2)

    Ïîñêîëüêó èç (2.1) ñëåäóåò

    ‖b‖ = ‖Ax‖ ≤ ‖A‖ · ‖x‖ è îòñþäà ‖b‖‖A‖

    ≤ ‖x‖, (2.3)

    òî èç (2.2) ñ ó÷¼òîì (2.3) ïîñëåäîâàòåëüíî ïîëó÷àåì:

    ‖δx‖ ≤ ‖A−1‖ · ‖δb‖ =

    = ‖A−1‖ · ‖A‖ · ‖b‖‖A‖

    · ‖δb‖‖b‖

    ≤ ν(A)‖x‖ · ‖δb‖‖b‖

    , (2.4)

    ãäå îáîçíà÷åíîν(A) = ‖A‖ · ‖A−1‖.

    Ðàçäåëèâ îáå ÷àñòè (2.4) íà ‖x‖ 6= 0, ïîëó÷èì:

    ‖δx‖‖x‖

    ≤ ν(A) · ‖δb‖‖b‖

    .

    Ââåä¼ííàÿ çäåñü âåëè÷èíà ν(A) íîñèò íàçâàíèå ÷èñëà îáóñëîâëåí-íîñòè ìàòðèöû A èëè ñîîòâåòñòâóþùåé ÑËÀÓ (2.1). Îòìåòèì, ÷òî÷èñëî îáóñëîâëåííîñòè çàâèñèò îò âèäà ìàòðè÷íîé íîðìû. Ïðèíÿòîíàçûâàòü ÑËÀÓ ïëîõî îáóñëîâëåííîé ïðè ν(A)� 1 .

    3. Ñâîéñòâà ÷èñëà îáóñëîâëåííîñòè

    1. ν(E) = 1;

    2. ν(A) ≥ 1 : 1 = ‖E‖ = ‖A ·A−1‖ ≤ ‖A‖‖A−1‖ = ν(A);

    3. ν(αA) = ν(A), α 6= 0. ♣

    25

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Çàìå÷àíèå 3.1. Ïîëó÷èòü îöåíêó ñíèçó äëÿ ν(A) ìîæíî ñ ïîìîùüþôîðìóëû (2.5): èç íå¼ ñëåäóåò

    ν(A) ≥ ‖δx‖‖x‖

    :‖δb‖‖b‖

    .

    Äîñòàòî÷íî âçÿòü êàêîé-ëèáî âåêòîð x 6= 0, è, óìíîæèâ åãî íàìàòðèöó A, ïîëó÷èòü âåêòîð b. Òàêèì æå îáðàçîì âçÿâ δx 6= 0ïîëó÷èì δb. Îñòà¼òñÿ ïîäñòàâèòü ýòè çíà÷åíèÿ â âûïèñàííóþ âûøåôîðìóëó. ♣

    Çàìå÷àíèå 3.2. Åñëè ïîä íîðìîé ìàòðèöû ïîíèìàåòñÿ å¼ ñïåê-òðàëüíàÿ íîðìà, òî åñòü ‖A‖ = ‖A‖2, òî, êàê ýòî ñëåäóåò èç ïðèâå-ä¼ííûõ âûøå âûðàæåíèé äëÿ íîðì ìàòðèöû, ïîëó÷èì:

    ν2(A) =

    √maxi{λi(ATA)}mini{λi(ATA)}

    . ♣

    4. Ïðèìåð ïëîõî îáóñëîâëåííîé ñèñòåìû.

    Ðàññìîòðèì ÑËÀÓ (2.1), â êîòîðîé

    A =

    1 −1 −1 . . . −10 1 −1 . . . −10 0 1 . . . −1

    . . . . . . . . . . . . . . .0 0 0 . . . 1

    , b =−1−1...

    −11

    .

    Ëåãêî âèäåòü, ÷òî ýòà ñèñòåìà óðàâíåíèé èìååò åäèíñòâåííîå ðå-øåíèå x = (0, 0, . . . , 0, 1)T . Ïóñòü ïðàâàÿ ÷àñòü ñèñòåìû ñîäåðæèòïîãðåøíîñòü δb = (0, 0, . . . , 0, ε)T , ε > 0. Òîãäà

    δxn = ε, δxn−1 = ε, δxn−2 = 2ε, δxn−k = 2k−1ε, . . . , δx1 = 2

    n−2ε.

    Îòñþäà

    ‖δx‖∞ = maxi{|δxi|} = 2n−2ε, ‖x‖∞ = 1; ‖δb‖∞ = ε, ‖b‖∞ = 1.

    26

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Ñëåäîâàòåëüíî,

    ν∞(A) ≥‖δx‖∞‖x‖∞

    :‖δb‖∞‖b‖∞

    = 2n−2.

    Ïîñêîëüêó ‖A‖∞ = n, òî ‖A−1‖∞ ≥ n−12n−2, õîòÿ detA−1 =(detA)−1 = 1. Ïóñòü, íàïðèìåð, n = 102. Òîãäà ν(A) ≥ 2100 > 1030.Ïðè ýòîì åñëè äàæå ε = 10−15 ïîëó÷èì ‖δx‖∞ > 1015. È òåì íåìåíåå ‖Aδx‖∞ = ε.

    5. Ìàòðèöû ñ äèàãîíàëüíûì ïðåîáëàäàíèåì

    Îïðåäåëåíèå 5.1. Ìàòðèöà A = {aij}ni,j=1 íàçûâàåòñÿ ìàòðèöåéñ äèàãîíàëüíûì ïðåîáëàäàíèåì âåëè÷èíû δ > 0 , åñëè

    |aii| −∑j 6=i

    |aij | ≥ δ, i = 1, 2, . . . , n. ♣

    Òåîðåìà 5.1. Ïóñòü A − ìàòðèöà ñ äèàãîíàëüíûì ïðåîáëàäà-íèåì âåëè÷èíû δ > 0 . Òîãäà îíà íåîñîáàÿ è âåðíà îöåíêà

    ‖A−1‖∞ ≤ 1/δ. ♣

    Äîêàçàòåëüñòâî. Âîçüì¼ì ïðîèçâîëüíûé âåêòîð x0 è ðàññìîò-ðèì ÑËÀÓ Ax = b, ãäå b = Ax0. Ýòà ñèñòåìà, î÷åâèäíî, èìååòñâîèì ðåøåíèåì âåêòîð x0. Áóäåì èñïîëüçîâàòü íèæå âåêòîðíóþíîðìó ‖x‖ = ‖x‖∞ = maxi |xi|. Ïóñòü ÷èñëî k îïðåäåëåíî èç óñëî-âèÿ: |xk| = maxi |xi| = ‖x‖. Âûïèøåì óðàâíåíèå ñèñòåìû Ax = b ñýòèì íîìåðîì è, ó÷èòûâàÿ íåðàâåíñòâî |xk| ≥ |xi|, ïîëó÷èì îöåíêó:

    |bk| =∣∣∑j

    akjxj∣∣ ≥ |akk| · |xk| −∑

    j 6=k

    |akj ||xj | ≥

    ≥ |akk| · |xk| −(∑j 6=k

    |akj |)|xk| =

    =(|akk| −

    ∑j 6=k

    |akj |)· |xk| ≥ δ|xk|.

    Îòñþäà |xk| ≤ |bk|/δ. Íî |xk| = ‖x‖, à |bk| ≤ maxi |bi| = ‖b‖. Ïîýòî-ìó ñïðàâåäëèâî íåðàâåíñòâî

    ‖x‖ ≤ ‖b‖/δ. (∗)

    27

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Íî ïîñëåäíåå íåðàâåíñòâî îçíà÷àåò, ÷òî îäíîðîäíàÿ ñèñòåìà Ax = 0èìååò ëèøü íóëåâîå (òðèâèàëüíîå) ðåøåíèå, à ïîòîìó ìàòðèöà Aíåîñîáàÿ è, ñòàëî áûòü, ÑËÀÓ Ax = b èìååò åäèíñòâåííîå ðåøåíèåäëÿ ëþáîé ïðàâîé ÷àñòè b. Èñïîëüçóÿ îöåíêó (∗) â ôîðìå ‖x‖ =‖A−1b‖ ≤ ‖b‖/δ , ïîëó÷àåì:

    ‖A−1‖ = sup‖b‖≤1

    ‖A−1b‖‖b‖

    ≤ 1δ. ♣

    Ñëåäñòâèå 5.1. Äëÿ âûáðàííîé íîðìû ‖ · ‖ = ‖ · ‖∞ èìååì:

    ν∞(A) = ν(A) = ‖A‖∞ · ‖A−1‖∞ ≤1

    δ‖A‖∞. ♣

    Çàìå÷àíèå 5.1. Óòâåðæäåíèå òåîðåìû î íåîñîáîñòè ìàòðèöû A íåçàâèñèò îò âûáîðà íîðìû, èñïîëüçîâàííîé ïðè äîêàçàòåëüñòâå òåî-ðåìû. ♣

    Çàìå÷àíèå 5.2. Ââèäó ýêâèâàëåíòíîñòè íîðì â êîíå÷íîìåðíûõ ïðî-ñòðàíñòâàõ, íåòðóäíî ïîëó÷èòü îöåíêè äëÿ ÷èñëà îáóñëîâëåííîñòèìàòðèöû A è ïðè âûáîðå íîðì ‖ · ‖1, ‖ · ‖2. Äåéñòâèòåëüíî: åñëèèçâåñòíî, ÷òî ‖A‖j ≤ λ‖A‖∞ , òî ïîëó÷àåì:

    νj(A) = ‖A‖j · ‖A−1‖j ≤ λ2‖A‖∞ · ‖A−1‖∞ ≤λ2

    δ‖A‖∞. ♣

    6. Òî÷íûå ìåòîäû. Ìåòîäû Ãàóññà.

    Îïðåäåëåíèå 6.1. Ìåòîä ðåøåíèÿ ÑËÀÓ áóäåì íàçûâàòü òî÷íûì,åñëè ïðè òî÷íîì çàäàíèè ïàðàìåòðîâ çàäà÷è îí ïîçâîëÿåò (â ïðèí-öèïå) íàéòè òî÷íîå ðåøåíèå çà êîíå÷íîå ÷èñëî øàãîâ. ♣

    Ê òî÷íûì ìåòîäàì îòíîñèòñÿ, â ÷àñòíîñòè, ìåòîä Ãàóññà, èìå-þùèé íåñêîëüêî ðàçíîâèäíîñòåé. Ðàññìîòðèì ïðîñòåéøóþ èç íèõ� ïðîñòîé ìåòîä Ãàóññà (ìåòîä èñêëþ÷åíèÿ íåèçâåñòíûõ).

    Çàïèøåì ÑËÀÓ â ìàòðè÷íîé ôîðìå â âèäå:

    Ax = b.

    28

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Òîãäà ñõåìà ïðîñòîãî ìåòîäà Ãàóññà âûãëÿäèò òàê: ïóñòü a11 6= 0 ;ðàçäåëèì ïåðâîå óðàâíåíèå ÑËÀÓ íà a11 (òàêîé ýëåìåíò áóäåì íà-çûâàòü âåäóùèì) è, óìíîæàÿ åãî ïîñëåäîâàòåëüíî íà ai1 , i = 2, n ,âû÷òåì ðåçóëüòàò óìíîæåíèÿ èç ñîîòâåòñòâóþùèõ óðàâíåíèé ñèñ-òåìû. ÑËÀÓ ïðèìåò âèä:

    1 · x1 + a112x2 + · · ·+ a11nxn = b110 · x1 + a122x2 + · · ·+ a12nxn = b12. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

    0 · x1 + a1n2x2 + · · ·+ a1nnxn = b1n. (6.1)

    Åñëè â ñèñòåìå (6.1) êîýôôèöèåíò a122 îòëè÷åí îò íóëÿ, òîïîâòîðÿÿ óêàçàííûå âûøå äåéñòâèÿ ñî âòîðîé ñòðîêîé ïðåîáðàçî-âàííîé ìàòðèöû è íèæåëåæàùèìè ñòðîêàìè, ïðèä¼ì ê ìàòðèöå:

    1 · x1 + a112x2 + · · ·+ a11nxn = b110 · x1 + 1 · x2 + · · ·+ a22nxn = b22. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

    0 · x1 + 0 · x2 + · · ·+ a2nnxn = b2n.

    Ïîñëå n øàãîâ â ñëó÷àå íåíóëåâûõ âåäóùèõ ýëåìåíòîâ ïðèä¼ìê òðåóãîëüíîé ìàòðèöå:

    1 · x1 + a112x2 + · · ·+ a11nxn = b110 · x1 + 1 · x2 + · · ·+ a22nxn = b22. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

    0 · x1 + 0 · x2 + · · ·+ 1 · xn = bnn.

    Ïðîäåëàííûå ïðåîáðàçîâàíèÿ ÑËÀÓ íîñÿò íàçâàíèå ïðÿìîãîõîäà ìåòîäà Ãàóññà, íàõîæäåíèå æå êîìïîíåíò âåêòîðà x èç ïîëó-÷åííîé òðåóãîëüíîé ñèñòåìû íoñèò íàçâàíèå îáðàòíîãî õîäà ìåòîäàÃàóññà.

    Ïðåïÿòñòâèåì íà ïóòè ïðèìåíåíèÿ ýòîãî ìåòîäà ìîæåò ñòàòüîáíóëåíèå âåäóùåãî ýëåìåíòà íà íåêîòîðîì øàãå. Îäíàêî åñëè èñ-õîäíàÿ ìàòðèöà ñèñòåìû åñòü ìàòðèöà ñ äèàãîíàëüíûì ïðåîáëàäà-íèåì, òî ýòîãî íå ñëó÷èòñÿ. Åñëè æå ìàòðèöà íå îáëàäàåò ýòèìñâîéñòâîì, òî ïðèìåíÿþò ìåòîä Ãàóññà ñ âûáîðîì âåäóùåãî ýëå-ìåíòà ïî ñòîëáöó (ðåæå ïî âñåé ìàòðèöå).  äàííîé ìîäèôèêàöèè

    29

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    ðîëü âåäóùåãî ýëåìåíòà íà k -îì øàãå èãðàåò ìàêñèìàëüíûé ïîìîäóëþ ýëåìåíò, ðàñïîëîæåííûé â k -îì ñòîëáöå â ñòðîêàõ ñ íî-ìåðàìè, áîëüøèìè k . Ïðè ýòîì ñòðîêà, â êîòîðîé íàõîäèòñÿ ýòîòýëåìåíò, ïåðåñòàâëÿåòñÿ ñ k -îé ñòðîêîé. Î÷åâèäíî, ÷òî åñëè èñõîä-íàÿ ìàòðèöà ÑËÀÓ íåîñîáàÿ, òî äàííàÿ ìîäèôèêàöèÿ ñâîáîäíà îòîòìå÷åííîãî íåäîñòàòêà ïðîñòîãî ìåòîäà Ãàóññà.

    Åù¼ îäíîé ðàçíîâèäíîñòüþ ìåòîäà Ãàóññà ÿâëÿåòñÿ ìåòîäÃàóññà-Æîðäàíà, â êîòîðîì ñîâìåùåíû ïðÿìîé è îáðàòíûé õîä.Âñå îòìå÷åííûå ðàçíîâèäíîñòè ìåòîäà òðåáóþò O(n3) àðèôìåòè-÷åñêèõ îïåðàöèé è ÿâëÿþòñÿ â ýòîì ñìûñëå îïòèìàëüíûìè ñðåäèòî÷íûõ ìåòîäîâ.

    7. Ìåòîä êâàäðàòíîãî êîðíÿ

    Áóäåì ñ÷èòàòü, ÷òî ìàòðèöà A ñèììåòðè÷íàÿ è ïîëîæèòåëüíîîïðåäåëåíà. Ïîñòàâèì çàäà÷ó ïðåäñòàâèòü å¼ â âèäå ïðîèçâåäåíèÿA = STS , ãäå S � ïðàâàÿ (âåðõíÿÿ) òðåóãîëüíàÿ ìàòðèöà:

    S =

    s11 s12 . . . s1n0 s22 . . . s2n. . . . . . . . . . . .0 0 . . . snn

    .Óìíîæàÿ ìàòðèöó ST íà S ñïðàâà è ïðèðàâíèâàÿ ýëåìåíòû ðå-çóëüòèðóþùåé ìàòðèöû ñîîòâåòñòâóþùèì ýëåìåíòàì ìàòðèöû A ,ïîëó÷èì:

    s211 = a11, s1i = a1i/s11, i = 2, n,

    s2kk = akk −∑i

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    .

    8. Ìåòîä îòðàæåíèé

    Ïóñòü w ∈ Rn � âåêòîð-ñòîëáåö åäèíè÷íîé äëèíû â åâêëèäî-âîé ìåòðèêå: wTw =

    ∑nj=1 w

    2j = 1 . Ñ åãî ïîìîùüþ ïîñòðîèì ìàò-

    ðèöó U = E− 2wwT , ãäå E � åäèíè÷íàÿ ìàòðèöà n×n . Î÷åâèäíî,÷òî U = UT è, êðîìå òîãî,

    U2 = UTU = (E − 2wwT )T (E − 2wwT ) == E − 4wwT + 4w(wTw)wT = E,

    ò.å. ìàòðèöà U ÿâëÿåòñÿ ñèììåòðè÷íîé è îðòîãîíàëüíîé. Ïîñëåäíååðàâåíñòâî îçíà÷àåò, ÷òî âñå ñîáñòâåííûå ÷èñëà ïîñòðîåííîé ìàò-ðèöû U óäîâëåòâîðÿþò ñîîòíîøåíèþ: λ2(U) = 1 . Ïðîâåðèì, ÷òîâåêòîð w ÿâëÿåòñÿ ñîáñòâåííûì äëÿ ìàòðèöû U , îòâå÷àþùèì ñîá-ñòâåííîìó çíà÷åíèþ λ(U) = −1 :

    Uw = (E − 2wwT )w = w − 2w(wTw) = −w.

    Êðîìå òîãî, ëþáîé âåêòîð v ∈ Rn , îðòîãîíàëüíûé âåêòîðó w , òîåñòü óäîâëåòâîðÿþùèé óñëîâèþ wT v = 0 , ÿâëÿåòñÿ ñîáñòâåííûìâåêòîðîì ìàòðèöû U , îòâå÷àþùèì ñîáñòâåííîìó ÷èñëó λ(U) = +1 :

    Uv = (E − 2wwT )v = v − 2w(wT v) = v.

    Åñëè ðàññìîòðåòü ïðîèçâîëüíûé âåêòîð y ∈ Rn è ðàçëîæèòü åãî ïîâåêòîðàì z, v : y = z + v, ãäå z = αw, v ⊥ w, òî ïîñëå óìíîæåíèÿåãî íà ìàòðèöó U ïîëó÷èì: Uy = −z + v , ò.å. âåêòîð Uy ÿâëÿ-åòñÿ çåðêàëüíûì îòðàæåíèåì âåêòîðà y îòíîñèòåëüíî ïëîñêîñòè,ïåðïåíäèêóëÿðíîé âåêòîðó w .

    Ïóñòü y, z � ïðîèçâîëüíûå âåêòîðû èç Rn . Ïîñòðîèì âåêòîðw òàêèì îáðàçîì, ÷òîáû Uy = αz . Ïîñêîëüêó ìàòðèöà U ÿâëÿ-åòñÿ îðòîãîíàëüíîé è, ñëåäîâàòåëüíî, âåêòîð Uy èìååò â åâêëè-äîâîé íîðìå òó æå äëèíó, ÷òî è âåêòîð y , òî α îïðåäåëèòñÿ èçóñëîâèÿ ||Uy|| = ||y|| , ò.å. α = ‖y‖/‖z‖ . Ñëåäîâàòåëüíî, ïîëîæèâw = (y − αz)/% , ãäå % = ‖y − αz‖ , ìû ïîëó÷èì èñêîìûé âåêòîð.

    Èñïîëüçóåì ïîëó÷åííûå ðåçóëüòàòû äëÿ óïðîùåíèÿ ÑËÀÓ.Âîçüì¼ì íà ïåðâîì øàãå ïðåîáðàçîâàíèÿ ÑËÀÓ Ax = b â êà-÷åñòâå âåêòîðà y ïåðâûé ñòîëáåö ìàòðèöû A , à â êà÷åñòâå z

    31

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    � îðò e1 = (1, 0, . . . , 0)T è ïîñòðîèì êàê óêàçàíî âûøå âåêòîðw1 = y − αe1 . Óìíîæèâ îáå ÷àñòè èñõîäíîé ñèñòåìû íà ìàòðèöóU1 = E−2w1(w1)T , ïîëó÷èì ÑËÀÓ A1x = b1, A1 = U1A, b1 = U1b ,ó êîòîðîé ïåðâûé ñòîëáåö èìååò íóëè âî âñåõ ñòðîêàõ, êðîìå ïåð-âîé (åñëè îí óæå èìåë òàêîé âèä, òî íèêàêèõ ïðåîáðàçîâàíèé ñ íèìïðîèçâîäèòü íå òðåáóåòñÿ).

    Íà âòîðîì øàãå ïîëîæèì y = (a122, a132, . . . , a

    1n2)

    T ∈ Rn−1(åñëè âòîðîé ñòîëáåö ìàòðèöû A1 íå êîëëèíåàðåí âåêòîðó e

    2 =(0, 1, 0, . . . , 0))T , z = e1 ∈ Rn−1 . Ïîñòðîèâ ìàòðèöó U2 = {u2ij} (ïî-ðÿäêà (n − 1) × (n − 1)) è óìíîæèâ îáå ÷àñòè ÑËÀÓ A1x = b1 íàìàòðèöó

    Û2 =

    1 0 . . . 00 u211 . . . u

    21,n−1

    . . . . . . . . . . . .0 u2n−1,1 . . . u

    2n−1,n−1

    ,ïîëó÷èì ÑËÀÓ A2x = b

    2 , ó êîòîðîé â ïåðâûõ äâóõ ñòîëáöàõ ïîäãëàâíîé äèàãîíàëüþ ñòîÿò íóëè. Äàëüíåéøåå î÷åâèäíî. Ïîëó÷èâñèñòåìó ñ òðåóãîëüíîé ìàòðèöåé, ðåøàåì å¼ êàê è â ìåòîäå Ãàóññà.

    Îòìåòèì, ÷òî ïðåîáðàçîâàíèÿ ïîäîáíîãî òèïà (ñ ïîìîùüþ îð-òîãîíàëüíûõ ìàòðèö) ïîçâîëÿþò ìèíèìèçèðîâàòü âëèÿíèå íåóñòðà-íèìûõ ïîãðåøíîñòåé â èñõîäíûõ äàííûõ íà ïîëó÷àåìîå ðåøåíèå.

    9. Ìåòîä ïðîãîíêè

    Ðàññìîòðèì ÑËÀÓ ñëåäóþùåãî âèäà:

    z0 = k0z1 + n0, (9.1)

    ajzj−1 + bjzj + cjzj+1 = fj , j = 1, 2, . . . , N − 1 (9.2)zN = kNzN−1 + nN , (9.3)

    ãäå z0, z1, . . . zN � íåèçâåñòíûå, à aj , bj , cj , fj , ki, ni � çàäàííûå÷èñëà, ïðè÷¼ì

    |bj | ≥ |aj |+ |cj | ≥ |aj | > 0, |k0| < 1, |kN | ≤ 1 (9.4)

    32

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

     ìàòðè÷íî-âåêòîðíîé ôîðìå ñèñòåìó çàïèøåì â âèäå Ax = b , ãäå:

    A =

    1 −k0 0 0 0 . . . 0 0a1 b1 c1 0 0 . . . 0 00 a2 b2 c2 0 . . . 0 0. . . . . . . . . . . . . . . . . . . . . . . .0 0 0 0 0 . . . −kN 1

    , b =

    n0f1f2...nN

    .

    Ìàòðèöû ïîäîáíîé ñòðóêòóðû íàçûâàþò òð¼õäèàãîíàëüíûìè. Îíè÷àñòî âîçíèêàþò â çàäà÷å ïîñòðîåíèÿ ñïëàéíîâ è ïðè ðåøåíèè êðà-åâûõ çàäà÷ äëÿ äèôôåðåíöèàëüíûõ óðàâíåíèé ìåòîäîì ñåòîê.

    Âûðàæàÿ ïîñëåäîâàòåëüíî íåèçâåñòíûå è ïîäñòàâëÿÿ â ñëåäó-þùèå óðàâíåíèÿ, ïîëó÷àåì:

    z0 = k0z1 + n0, a1(k0z1 + n0) + b1z1 + c1z2 = f1

    èëè

    z1 = k1z2 + n1, ãäå k1 =−c1

    b1 + a1k0, n1 =

    −a1n0 + f1b1 + a1k0

    .

    Ïóñòü óæå íàéäåíû zm−1 = km−1zm + nm−1, m ≤ N − 1. Òîãäàïîâòîðÿÿ ïðîäåëàííîå ñ ïåðâûìè äâóìÿ óðàâíåíèÿìè, ïîëó÷èì:

    am(km−1zm + nm−1) + bmzm + cmzm+1 = fm.

    Ðàçðåøèâ ïîñëåäíåå ðàâåíñòâî îòíîñèòåëüíî zm, ïîëó÷èì:

    zm = kmzm+1 + nm, m = 1, N − 1 (9.5)

    ãäå km =−cm

    bm + amkm−1, nm =

    −amnm−1 + fmbm + amkm−1

    . (9.6)

    Ïîñêîëüêó k0, n0 çàäàíû, òî âñå êîýôôèöèåíòû {km, nm} ôîð-ìóëû (9.5) îïðåäåëÿþòñÿ ïî ôîðìóëå (9.6). Íàêîíåö, ïîäñòàâèâ âû-ðàæåíèå (9.3) ïðè m = N − 1 â (9.5), ïîëó÷àåì:

    zN = kN (kN−1zN + nN−1) + nN , (9.7)

    îòêóäà

    zN =nN + kNnN−11− kNkN−1

    . (9.8)

    33

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Çàòåì ïî ôîðìóëàì (9.5) � (9.6) íàõîäèì â îáðàòíîì ïîðÿäêå íå-èçâåñòíûå zN−1, . . . , z1, z0 . Ïîëó÷åíèå êîýôôèöèåíòîâ {kj , nj}ïî ôîðìóëàì (9.6) íàçûâàåòñÿ ïðÿìûì õîäîì ìåòîäà ïðîãîíêè, àâû÷èñëåíèå íåèçâåñòíûõ ïî ôîðìóëàì (9.5) � îáðàòíûì õîäîì.

    Ïîêàæåì, ÷òî âñå çíàìåíàòåëè ïîëó÷åííûõ ôîðìóë îòëè÷íûîò íóëÿ. Ïðåæäå âñåãî óñòàíîâèì, ÷òî ∀m ≤ N − 1 âåðíî íåðàâåí-ñòâî |km| < 1. Ïîñêîëüêó ïî óñëîâèþ |k0| < 1, òî áàçà äëÿ èíäóêöèèåñòü. Äîïóñòèì, ÷òî |km−1| < 1 è ïîêàæåì,÷òî |km| < 1 . Ó÷èòûâàÿóñëîâèÿ (9.4) ïîëó÷àåì:

    |bm + amkm−1| ≥ |bm| − |am| · |km−1| > |bm| − |am| ≥ 0. (9.9)

    Ïðè ýòîì äëÿ km èìååì ñ ó÷¼òîì (9.9) è èíäóêòèâíîãî ïðåäïîëî-æåíèÿ:

    |km| =|cm|

    |bm + amkm−1|≤ |bm| − |am||bm| − |am| · |km−1|

    < 1. (9.10)

     ñèëó íåðàâåíñòâà (9.9) çíàìåíàòåëè â ôîðìóëàõ (9.6) îòëè÷íûîò íóëÿ. Êðîìå òîãî 1 − kNkN−1 > 0 â ñèëó óñòàíîâëåííîãî âûøåñâîéñòâà (9.10) äëÿ ïàðàìåòðîâ k1, k2, . . . , kN−1, ïîýòîìó zN ìîæ-íî íàéòè ïî ôîðìóëå (9.8), à âñëåä çà ýòèì è âñå íåèçâåñòíûå {zj} .

    Òàêèì îáðàçîì ïðè âûïîëíåíèè îãðàíè÷åíèé, íàëîæåííûõ íàïàðàìåòðû ñèñòåìû, çàäà÷à èìååò åäèíñòâåííîå ðåøåíèå. Îòìåòèì,÷òî êîëè÷åñòâî àðèôìåòè÷åñêèõ îïåðàöèé äëÿ íàõîæäåíèÿ íåèç-âåñòíûõ óêàçàííûì ñïîñîáîì ñîñòàâëÿåò 8(N + 1)− 9.

    10. Ìåòîä îêàéìëåíèÿ

    Îòìåòèì, ÷òî âñå ìåòîäû, ïðèìåíÿåìûå äëÿ ðåøåíèÿ ÑËÀÓïðèìåíèìû è äëÿ ïîñòðîåíèÿ îáðàòíîé ìàòðèöû, èáî ïîñëåäíÿÿçàäà÷à ýêâèâàëåíòíà çàäà÷å ðåøåíèÿ ñîâîêóïíîñòè n ñèñòåì âèäàAx = ei , ãäå ei � i -ûé îðò ïðîñòðàíñòâà Rn . Èçëàãàåìûé íèæåìåòîä ïðåäíàçíà÷åí äëÿ ïîñòðîåíèÿ îáðàòíûõ ìàòðèö äëÿ ïîñëå-äîâàòåëüíîñòè ìàòðèö óâåëè÷èâàþùèõñÿ ïîðÿäêîâ.

    Ïðåäñòàâèì èñõîäíóþ ìàòðèöó An = A è îáðàòíóþ ê íåé èñ-êîìóþ ìàòðèöó â áëî÷íîì âèäå

    An =

    (An−1 abT α

    ), A−1n =

    (Un−1 xyT β

    ),

    34

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    ïðè÷¼ì ñ÷èòàåì, ÷òî ìàòðèöà A−1n−1 óæå ïîñòðîåíà. Ïðîèçâîäÿ ïî-áëî÷íîå óìíîæåíèå AnA

    −1n è ïðèðàâíèâàÿ ðåçóëüòàò åäèíè÷íîé

    ìàòðèöå, ïîëó÷èì ñîîòíîøåíèÿ, èç êîòîðûõ îïðåäåëÿòñÿ áëî÷íûåýëåìåíòû ìàòðèöû A−1n .

    An−1Un−1 + ayT = En−1, (10.1)

    An−1x+ βa = 0, (10.2)

    bTUn−1 + αyT = 0, (10.3)

    bTx+ αβ = 1. (10.4)

    Èç ñîîòíîøåíèÿ (10.2) âûðàæàåì âåêòîð x ÷åðåç β :

    x = −βA−1n−1a ≡ −βc, ãäå c = A−1n−1a (10.5)

    è èç (10.4) ñ ó÷¼òîì (10.5) íàõîäèì β

    bT (−βc) + αβ = 1, β = (α− bT c)−1, (10.6)

    à çàòåì èç (10.5) èñïîëüçóÿ (10.6) íàõîäèì x

    x = −(α− bT c)−1c. (10.7)

    Èç ñîîòíîøåíèÿ (10.1) íàõîäèì âûðàæåíèå Un−1 ÷åðåç y :

    Un−1 = A−1n−1 −A

    −1n−1ay

    T = A−1n−1 − cyT . (10.8)

    Ïîäñòàâèâ ýòî ïðåäñòàâëåíèå â (10.3), ïîëó÷àåì:

    bT (A−1n−1 − cyT ) + αyT = 0,bTA−1n−1 + (α− bT c)yT = 0,yT = −βbTA−1n−1.

    (10.9)

    Âûïèøåì íàéäåííûå çäåñü ýëåìåíòû èñêîìîé áëîê-ìàòðèöû:

    Un−1 = A−1n−1 − cyT , x = −βc, yT = −βbTA

    −1n−1, β = (α− bT c)−1.

    11. Èòåðàöèîííûå ìåòîäû ðåøåíèÿ ÑËÀÓ. Ìåòîäïðîñòîé èòåðàöèè

    Ïóñòü ÑËÀÓ

    Ax = b (11.1)

    35

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    òåì èëè èíûì ñïîñîáîì çàïèñàíà â âèäå:

    x = Bx+ c. (11.2)

    Ìåòîä ïðîñòîé èòåðàöèè (ÌÏÈ) ñîñòîèò â ñëåäóþùåì: áåð¼òñÿíåêîòîðûé âåêòîð x0 ∈ Rn è ñòðîèòñÿ ïîñëåäîâàòåëüíîñòü âåêòîðîâ{xk} ïî ôîðìóëå

    xk+1 = Bxk + c. (11.3)

    Òåîðåìà 11.1. (äîñòàòî÷íîå óñëîâèå ñõîäèìîñòè ÌÏÈ) Åñëè ìà-òðèöà B ñèñòåìû (11.2) òàêîâà, ÷òî ‖B‖ < 1 , òî ÑËÀÓ (11.2)èìååò åäèíñòâåííîå ðåøåíèå è ïîñëåäîâàòåëüíîñòü (11.3) ñõî-äèòñÿ ê íåìó ñî ñêîðîñòüþ ãåîìåòðè÷åñêîé ïðîãðåññèè. ♣Äîêàçàòåëüñòâî. Ðàññìîòðèì îäíîðîäíóþ ñèñòåìó

    x = Bx (11.4)

    è ïóñòü x̂ 6= 0 � ðåøåíèå ýòîé ñèñòåìû. Òîãäà ‖x̂‖ ≤ ‖B‖‖x̂‖ èëè‖x̂‖ · (1−‖B‖) ≤ 0 , îòêóäà ‖x̂‖ = 0 , ò.å. x̂ = 0. Ïîñêîëüêó îäíîðîä-íàÿ ñèñòåìà (11.4) èìååò ëèøü òðèâèàëüíîå ðåøåíèå, òî ñîîòâåò-ñòâóþùàÿ íåîäíîðîäíàÿ ñèñòåìà (11.2) ïðè ëþáîì âåêòîðå c èìååòåäèíñòâåííîå ðåøåíèå. Äàëåå, ïóñòü

    x̄ = Bx̄+ c, xk = Bxk−1 + c .

    Òîãäà‖x̄− xk‖ = ‖B(x̄− xk−1)‖ ≤ ‖B‖k‖x̄− x0‖,

    ÷òî è îçíà÷àåò ñõîäèìîñòü ïîñëåäîâàòåëüíîñòè (11.3). ♣Çàìå÷àíèå 11.1. Ïðè âûïîëíåíèè óñëîâèé òåîðåìû 11.1 ÌÏÈ ñõî-äèòñÿ ê ðåøåíèþ ñèñòåìû äëÿ ëþáîãî íà÷àëüíîãî âåêòîðà. ♣Áîëåå òî÷íîå óñëîâèå ñõîäèìîñòè ñîäåðæèòñÿ â ñëåäóþùåé òåîðåìå.

    Òåîðåìà 11.2. ÌÏÈ ñõîäèòñÿ ïðè ëþáîì íà÷àëüíîì âåêòîðå x0

    è ëþáîì âåêòîðå c òîãäà è òîëüêî òîãäà, êîãäà âñå ñîáñòâåííûåçíà÷åíèÿ ìàòðèöû B ëåæàò â åäèíè÷íîì êðóãå. ♣

    36

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Èíòåðåñíî è äëÿ ïðàêòèêè âàæíî ïîëó÷èòü îöåíêó óêëîíåíèÿâíîâü ïîñòðîåííîãî ÷ëåíà ïîñëåäîâàòåëüíîñòè îò ðåøåíèÿ ÷åðåç ïî-ñëåäíèå ÷ëåíû ýòîé ïîñëåäîâàòåëüíîñòè. Ïðîäåëàåì ýòî.

    x̄ = Bx̄+ c,xk = Bxk−1 + c,x̄− xk = B(x̄− xk−1) = Bx̄−Bxk−1 +Bxk −Bxk =

    = B(x̄− xk) +B(xk − xk−1).

    Îöåíèâàÿ ïî íîðìå ïðàâóþ ÷àñòü ïîñëåäíåãî ðàâåíñòâà, èìååì:

    ‖x̄− xk‖ ≤ ‖B‖‖x̄− xk‖+ ‖B‖‖xk − xk−1‖,

    îòêóäà è ïîëó÷àåì æåëàåìûé ðåçóëüòàò:

    ‖x̄− xk‖ ≤ ‖B‖1− ‖B‖

    · ‖xk − xk−1‖.

    Çàìå÷àíèå 11.2. Äëÿ ñõîäèìîñòè ïîñòðîåííîé ïîñëåäîâàòåëüíîñòèäîñòàòî÷íî, ÷òîáû íàøëàñü ëþáàÿ ïîä÷èí¼ííàÿ íîðìà ìàòðèöû,â êîòîðîé âûïîëíåíî óñëîâèå òåîðåìû 11.1. Ïðè ýòîì ñõîäèìîñòü{xk} ê x̄ áóäåò èìåòü ìåñòî â ëþáîé íîðìå ïðîñòðàíñòâà Rn ââèäóýêâèâàëåíòíîñòè íîðì â êîíå÷íîìåðíûõ ïðîñòðàíñòâàõ. ♣

    Çàìå÷àíèå 11.3. Åñëè äëÿ ñèñòåìû (11.2) èìååò ìåñòî ñõîäèìîñòüïîñëåäîâàòåëüíîñòè {xk} , òî áóäåì ãîâîðèòü, ÷òî ñèñòåìà (11.1)ïðèâåäåíà ê âèäó, ïðèãîäíîìó äëÿ ïðèìåíåíèÿ ÌÏÈ. ♣

    Ïîêàæåì, ÷òî ëþáóþ ÑËÀÓ ñ íåîñîáîé ìàòðèöåé ìîæíî ïðè-âåñòè ê âèäó, ïðèãîäíîìó äëÿ ïðèìåíåíèÿ ÌÏÈ.

    Ðàññìîòðèì ñíà÷àëà ÑËÀÓ (11.1), â êîòîðîé ìàòðèöà A ÿâëÿ-åòñÿ ñèììåòðè÷íîé è ïîëîæèòåëüíî îïðåäåë¼ííîé. Ïóñòü â ôîðìó-ëå (11.2) ìàòðèöà B è âåêòîð c èìåþò âèä:

    B = E − µA, c = µb, ãäå µ = 2‖A‖+ ε

    , ε > 0. (11.5)

    Î÷åâèäíî, ÷òî ñèñòåìà (11.2) â òàêîì ñëó÷àå ýêâèâàëåíòíà ñèñòå-ìå (11.1). Îòìåòèì çäåñü æå, ÷òî ìàòðèöà B ÿâëÿåòñÿ ñèììåòðè÷-íîé (õîòÿ, âîçìîæíî, è íå ïîëîæèòåëüíî îïðåäåë¼ííîé). Ñèììåò-ðèÿ å¼ âëå÷¼ò çà ñîáîé òîò ôàêò, ÷òî ‖B‖2 = max |λB | , ãäå λB

    37

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    � ñîáñòâåííîå ÷èñëî ìàòðèöû B . Ïîñêîëüêó ìàòðèöà B èìååòâèä (11.5), òî λB = 1− µλA . Ñîãëàñíî ñäåëàííîìó ïðåäïîëîæåíèþî ïîëîæèòåëüíîé îïðåäåë¼ííîñòè ìàòðèöû A âåðíî íåðàâåíñòâî:0 < λA ≤ ‖A‖ , ïðè÷¼ì çäåñü ïîä ‖ · ‖ ìîæíî ïîíèìàòü ëþáóþ (íîïîä÷èí¼ííóþ) íîðìó ìàòðèöû. Èç ïîñëåäíåãî íåðàâåíñòâà ïîñëåäî-âàòåëüíî èìååì:

    0 < µλA < 2, −1 < µλA − 1 < 1, ò.å. |λB | < 1,

    ÷òî â ñîîòâåòñòâèè ñ òåîðåìîé 11.2 îçíà÷àåò ñõîäèìîñòü ÌÏÈ äëÿñèñòåìû (11.2) ñ ìàòðèöåé (11.5).

    Åñëè æå â èñõîäíîé ñèñòåìå A íå ÿâëÿåòñÿ ñèììåòðè÷íîé èïîëîæèòåëüíî îïðåäåë¼ííîé, òî óìíîæàÿ îáå ÷àñòè (11.1) íà òðàí-ñïîíèðîâàííóþ ìàòðèöó AT , ïðèä¼ì ê ñèñòåìå

    Âx = b̂, Â = ATA, b̂ = AT b,

    êîòîðàÿ ýêâèâàëåíòíà èñõîäíîé ñèñòåìå ââèäó ïðåäïîëîæåííîé íå-îñîáîñòè A è â êîòîðîé ìàòðèöà  îáëàäàåò òðåáóåìûìè ñâîéñòâà-ìè ñèììåòðè÷íîñòè è ïîëîæèòåëüíîé îïðåäåë¼ííîñòè. Òåì ñàìûìóñòàíîâëåíî, ÷òî ëþáàÿ ÑËÀÓ ñ íåîñîáîé ìàòðèöåé óêàçàííûì âû-øå ñïîñîáîì ìîæåò áûòü ïðèâåäåíà ê âèäó, ïðèãîäíîìó äëÿ ïðè-ìåíåíèÿ ÌÏÈ.

    Îòìåòèì â çàêëþ÷åíèå, ÷òî â ÌÏÈ íà âûïîëíåíèå îäíîé èòå-ðàöèè òðåáóåòñÿ ≈ n2 àðèôìåòè÷åñêèõ îïåðàöèé, ïîýòîìó åñëè ÷èñ-ëî èòåðàöèé äëÿ äîñòèæåíèÿ çàäàííîé òî÷íîñòè ìåíüøå n, òî ÌÏÈïî ÷èñëó îïåðàöèé îêàçûâàåòñÿ ýêîíîìè÷íåå ìåòîäà Ãàóññà.

    12. Ìåòîä Çåéäåëÿ

    Ïóñòü ìàòðèöà ÑËÀÓ Ax = b òàêîâà, ÷òî ∀i aii 6= 0. Åñëè âi-îì óðàâíåíèÿ ïðîèçâåñòè äåëåíèå íà aii è âñå íåèçâåñòíûå êðîìåxi ïåðåíåñòè íàïðàâî, òî ïîëó÷èì ñèñòåìó âèäà

    x = Cx+ d, cii = 0, cij = −aij/aii, di = bi/aii, i = 1, n. (12.1)

    Èìåÿ xk = (xk1 , xk2 , . . . x

    kn)T , ñëåäóþùóþ èòåðàöèþ áóäåì ñòðî-

    38

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    èòü ñîãëàñíî ôîðìóëàì:xk+11 = c12x

    k2 + c13x

    k3 + . . .+ c1nx

    kn + d1

    xk+12 = c21xk+11 + c23x

    k3 + . . .+ c2nx

    kn + d2

    xk+13 = c31xk+11 + c32x

    k+12 + . . .+ c3nx

    kn + d3

    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

    xk+1n = cn1xk+11 + cn2x

    k+12 + cn3x

    k+13 + . . . + dn.

    Íåòðóäíî âèäåòü, ÷òî õîòÿ â ïðàâóþ ÷àñòü ýòèõ ñîîòíîøåíèéâõîäèò âåêòîð xk+1 , êîòîðûé ôîðìàëüíî åù¼ íå ïîñòðîåí, ôàêòè-÷åñêè äëÿ âû÷èñëåíèÿ i-îé êîìïîíåíòû âåêòîðà xk+1 â âûïèñàííîéôîðìóëå èñïîëüçóþòñÿ ëèøü êîìïîíåíòû âåêòîðà xk+1 ñ íîìåðà-ìè, ìåíüøèìè i è ê ýòîìó ìîìåíòó óæå âû÷èñëåííûå.

    Äàííûé ìåòîä ïîñòðîåíèÿ èòåðàòèâíîé ïîñëåäîâàòåëüíîñòèíîñèò íàçâàíèå ìåòîäà Çåéäåëÿ. Ýòîò ìåòîä ìîæíî ðàññìàòðèâàòüêàê íåêîòîðûé ÌÏÈ.

    Ðàññìîòðèì âîïðîñ î ñõîäèìîñòè ìåòîäà. Ïóñòü ìàòðèöàÑËÀÓ Ax = b òàêîâà, ÷òî ∀i aii 6= 0. Åñëè â i-îì óðàâíåíèè ïðîèç-âåñòè äåëåíèå íà aii è âñå íåèçâåñòíûå êðîìå xi ïåðåíåñòè íàïðàâî,òî ïîëó÷èì ñèñòåìó âèäà

    x = Cx+ d, cii = 0, cij = −aij/aii.

    Ïðåäñòàâèì ìàòðèöó C â âèäå ñóììû äâóõ òðåóãîëüíûõ ìàòðèö Lè U , ïðè÷¼ì ó ìàòðèöû L âñå äèàãîíàëüíûå è íàääèàãîíàëüíûåýëåìåíòû ðàâíû íóëþ, à ó ìàòðèöû U � äèàãîíàëüíûå è ïîääèàãî-íàëüíûå. Òîãäà ñèñòåìà ïðèìåò âèä

    x = Lx+ Ux+ d.

    Çàäàâøèñü íà÷àëüíûì âåêòîðîì x0, áóäåì ñòðîèòü ïîñëåäîâàòåëü-íîñòü {xk} ïî ôîðìóëå:

    xk+1 = Lxk+1 + Uxk + d.

    Èç ïîñëåäíåé ôîðìóëû âûðàçèì xk+1 :

    xk+1 = (E − L)−1Uxk + (E − L)−1d.

    39

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Ñòàëî áûòü, B = (E−L)−1U. Îòìåòèì, ÷òî det(E−L) = 1 , ïîýòîìóñóùåñòâóåò ìàòðèöà (E −L)−1. Âûïèøåì óðàâíåíèå äëÿ ñîáñòâåí-íûõ ÷èñåë ìàòðèöû B . Èìååì:

    det{(E − L)−1U − λE} = 0, èëè det{λE − (U + λL)} = 0,

    èëè â ðàçâ¼ðíóòîì âèäå∣∣∣∣∣∣∣∣λa11 a12 . . . a1nλa21 λa22 . . . a2n. . . . . . . . . . . .λan1 λan2 . . . λann

    ∣∣∣∣∣∣∣∣ = 0.Òàêèì îáðàçîì â ñîîòâåòñòâèè ñ òåîðåìîé 11.2 íåîáõîäèìûì è äî-ñòàòî÷íûì óñëîâèåì ñõîäèìîñòè ìåòîäà Çåéäåëÿ ÿâëÿåòñÿ ïîïàäà-íèå âñåõ êîðíåé ïîñëåäíåãî óðàâíåíèÿ â êðóã åäèíè÷íîãî ðàäèóñà.

    Ïðèâåä¼ì áåç äîêàçàòåëüñòâà åù¼ îäíó òåîðåìó:

    Òåîðåìà 12.1. Äëÿ ñõîäèìîñòè ìåòîäà Çåéäåëÿ äîñòàòî÷íî,÷òîáû âûïîëíÿëîñü õîòÿ áû îäíî èç óñëîâèé:

    1. ìàòðèöà A èñõîäíîé ñèñòåìû îáëàäàåò ñâîéñòâîì äèàãî-íàëüíîãî ïðåîáëàäàíèÿ;

    2. ìàòðèöà A ñèììåòðè÷íà è ïîëîæèòåëüíî îïðåäåëåíà. ♣

    13. Ìåòîä Íüþòîíà äëÿ ñèñòåì íåëèíåéíûõ óðàâíåíèé

    Ðàññìîòðèì ñèñòåìó íåëèíåéíûõ óðàâíåíèé

    F (x) = 0, F (x) ∈ Rn, x ∈ D ⊂ Rn, (13.1)

    Çäåñü F (x) = (f1(x), f2(x), . . . , fn(x))T , ïðè÷¼ì fi(·) ∈ C1(D) ∀i.

    Ïóñòü ñóùåñòâóåò âåêòîð x̄ ∈ D ⊂ Rn , ÿâëÿþùèéñÿ ðåøåíèåì ñèñ-òåìû (13.1).

    Ðàçëîæèì F (x) â îêðåñòíîñòè òî÷êè x̄ :

    F (x) = F (x0) + F ′(x0)(x− x0) + o(‖x− x0‖).

    40

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    Çäåñü F ′(x) � ìàòðèöà âèäà

    F ′(x) =∂F (x)

    ∂x=

    ∂f1(x)

    ∂x1,

    ∂f1(x)

    ∂x2, . . .

    ∂f1(x)

    ∂xn∂f2(x)

    ∂x1,

    ∂f2(x)

    ∂x2, . . .

    ∂f2(x)

    ∂xn. . . . . . . . . . . .

    ∂fn(x)

    ∂x1,

    ∂fn(x)

    ∂x2, . . .

    ∂fn(x)

    ∂xn

    ,

    íàçûâàåìàÿ ìàòðèöåé ßêîáè, à å¼ îïðåäåëèòåëü íàçûâàþò ÿêîáèà-íîì. Èñõîäíîå óðàâíåíèå (13.1) çàìåíèì ñëåäóþùèì:

    F (x0) + F ′(x0)(x− x0) = 0.

    Ñ÷èòàÿ ìàòðèöó ßêîáè F ′(x0) íåîñîáîé, ðàçðåøèì ýòî óðàâíåíèåîòíîñèòåëüíî x :

    x̂ = x0 − [F ′(x0)]−1F (x0).È âîîáùå ïîëîæèì

    xk+1 = xk − [F ′(xk)]−1F (xk).

    Îöåíèì óêëîíåíèå

    ‖xk+1 − x̄‖ = ‖(xk − x̄)− [F ′(xk)]−1(F (xk)− F (x̄))‖. (13.2)

    Ïðåîáðàçóåì ïîñëåäíþþ ôîðìóëó:

    F (z)− F (y) =∫ 1

    0

    F ′t (y + t(z − y))dt =

    =

    (∫ 10

    ∂F

    ∂xdt

    )(z − y) ≡ H(z, y)(z − y).

    Ïî òåîðåìå î ñðåäíåì∫ ba

    f(t)g(t) dt = f(ξ)

    ∫ ba

    g(t) dt, ïðè g(x) > 0, f(·) ∈ C

    ïîëó÷èì:∫ 10

    ∂fi(y + t(z − y))∂xj

    dt =∂fi(y + νij(z − y))

    ∂xj→ ∂fi(y)

    ∂xj(13.3)

    41

  • Ïåðåéòè ê îãëàâëåíèþ íà ñòðàíèöå: 64

    ïðè z → y . Çäåñü νij ∈ (0, 1).Òåïåðü ôîðìóëà (13.2) ïðèìåò âèä:

    ‖xk+1 − x̄‖ == ‖

    (E − [F ′(xk)]−1H(xk, x̄)

    )(xk − x̄)‖ ≡ ‖U(xk)(xk − x̄)‖.

    Ââèäó (13.3) èìååò ìåñòî U(xk)→ 0 ïðè xk → x̄, ò.å.

    ∀ε : 0 < ε < 1 ∃% : ‖U(xk)‖ ≤ ε < 1 ïðè xk ∈ S%(x̄),

    ãäå S%(x̄) = {x : ‖x− x̄‖ ≤ %}.Òàêèì îáðàçîì èç xk ∈ S%(x̄) ñëåäóåò

    ‖xk+1 − x̄‖ ≤ ‖U(xk)‖ · ‖xk − x̄‖ ≤ ε‖xk − x̄‖ ≤ ε% < %,

    ò.å. xk+1 ∈ S%(x̄).Ñ÷èòàÿ, ÷òî x0 ∈ S%(x̄), ïîëó÷àåì {xk} ⊂ S%(x̄) è èìååò ìåñòî

    îöåíêà ‖xk − x̄‖ ≤ εk‖x0 − x̄‖ , îòêóäà è ñëåäóåò ñõîäèìîñòü ïîñëå-äîâàòåëüíîñòè {xk}, ïðè÷¼ì ñî ñêîðîñòüþ ãåîìåòðè÷åñêîé ïðîãðåñ-ñèè.

    Ïðè äîïîëíèòåëüíîì ïðåäïîëîæåíèè F (·) ∈ C2(D) èìååò ìå-ñòî êâàäðàòè÷íàÿ ñõîäèìîñòü ìåòîäà, ò.å.

    ‖xk+1 − x̄‖ ≤ ω‖xk − x̄‖2.

    Ñôîðìóëèðóåì òåîðåìó.

    Òåîðåìà 13.1. Ïóñòü â íåêîòîðîé îêðåñòíîñòè ðåøåíèÿ x̄ ñèñ-òåìû (13.1) ôóíêöèè fi(·) ∈ C2 è ÿêîáèàí ñèñòåìû îòëè÷åí îòíóëÿ â ýòîé îêðåñòíîñòè. Òîãäà ñóùåñòâóåò δ -îêðåñòíîñòü òî÷-êè x̄ òàêàÿ, ÷òî ïðè ëþáîì âûáîðå íà÷àëüíîãî ïðèáëèæåíèÿ x0

    èç ýòîé îêðåñòí�