HAL Id: hal-00707513
https://hal.archives-ouvertes.fr/hal-00707513
Preprint submitted on 12 Jun 2012
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Power series analysis as a major breakthrough to improve the efficiency of Asymptotic Numerical Method
in the vicinity of bifurcations
Bruno Cochelin, Médale Marc
To cite this version:
Bruno Cochelin, Médale Marc. Power series analysis as a major breakthrough to improve the efficiency
of Asymptotic Numerical Method in the vicinity of bifurcations. 2012. �hal-00707513�
P♦✇❡r s❡r✐❡s ❛♥❛❧②s✐s ❛s ❛ ♠❛❥♦r ❜r❡❛❦t❤r♦✉❣❤ t♦
✐♠♣r♦✈❡ t❤❡ ❡✣❝✐❡♥❝② ♦❢ ❆s②♠♣t♦t✐❝ ◆✉♠❡r✐❝❛❧
▼❡t❤♦❞ ✐♥ t❤❡ ✈✐❝✐♥✐t② ♦❢ ❜✐❢✉r❝❛t✐♦♥s
❇r✉♥♦ ❈❖❈❍❊▲■◆
1,2▼❛r❝ ▼❊❉❆▲❊
31
▲▼❆✱ ❯P❘ ✼✵✺✶ ❈◆❘❙
✸✶ ❝❤❡♠✐♥ ❏♦s❡♣❤ ❆✐❣✉✐❡r
✶✸✹✵✷ ▼❆❘❙❊■▲▲❊ ❈❡❞❡① ✷✵✱ ❋r❛♥❝❡
2
❈❡♥tr❛❧❡ ▼❛rs❡✐❧❧❡✱ ❚❡❝❤♥♦♣♦❧❡ ❞❡ ❈❤❛t❡❛✉✲●♦♠❜❡rt✱
✶✸✹✺✶ ▼❆❘❙❊■▲▲❊ ❈❡❞❡① ✷✵✱ ❋r❛♥❝❡
3
■❯❙❚■✱ ❯▼❘ ✼✸✹✸ ❈◆❘❙✲❯♥✐✈❡rs✐té ❆✐①✲▼❛rs❡✐❧❧❡
✺ r✉❡ ❊♥r✐❝♦ ❋❡r♠✐✱ ❚❡❝❤♥♦♣♦❧❡ ❞❡ ❈❤❛t❡❛✉✲●♦♠❜❡rt✱
✶✸✹✺✸ ▼❛rs❡✐❧❧❡ ❈❡❞❡① ✶✸✱ ❋r❛♥❝❡
❏✉♥❡ ✶✷✱ ✷✵✶✷
❆❜str❛❝t ✿ ❚❤✐s ♣❛♣❡r ♣r❡s❡♥ts t❤❡ ♦✉t❝♦♠❡ ♦❢ ♣♦✇❡r s❡r✐❡s ❛♥❛❧②s✐s ✐♥ t❤❡
❢r❛♠❡✇♦r❦ ♦❢ t❤❡ ❆s②♠♣t♦t✐❝ ◆✉♠❡r✐❝❛❧ ▼❡t❤♦❞✳ ❲❡ t❤❡♦r❡t✐❝❛❧❧② ❞❡♠♦♥✲
str❛t❡ ❛♥❞ ♥✉♠❡r✐❝❛❧❧② ❡✈✐❞❡♥❝❡ t❤❛t t❤❡ ❡♠❡r❣❡♥❝❡ ♦❢ ❣❡♦♠❡tr✐❝ ♣♦✇❡r s❡✲
r✐❡s ✐♥ t❤❡ ✈✐❝✐♥✐t② ♦❢ s✐♠♣❧❡ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥ts ✐s ❛ ❣❡♥❡r✐❝ ❜❡❤❛✈✐♦r✳ ❙♦ ✇❡
♣r♦♣♦s❡ t♦ ✉s❡ t❤✐s ❤❛❧❧♠❛r❦ ❛s ❛ ❜✐❢✉r❝❛t✐♦♥ ✐♥❞✐❝❛t♦r t♦ ❧♦❝❛t❡ ❛♥❞ ❝♦♠✲
♣✉t❡ ✈❡r② ❡✣❝✐❡♥t❧② ❛♥② s✐♠♣❧❡ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥t✳ ❋✐♥❛❧❧②✱ ❛ ♣♦✇❡r s❡r✐❡s t❤❛t r❡❝♦✈❡rs ❛♥ ♦♣t✐♠❛❧ st❡♣ ❧❡♥❣t❤ ✐s ❜✉✐❧❞ ✐♥ t❤❡ ♥❡✐❣❤❜♦r❤♦♦❞ ♦❢ ❜✐❢✉r❝❛✲
t✐♦♥ ♣♦✐♥ts✳ ❚❤❡ r❡❧✐❛❜✐❧✐t② ❛♥❞ r♦❜✉st♥❡ss ♦❢ t❤✐s ♣♦✇❡r❢✉❧ ❛♣♣r♦❛❝❤ ✐s t❤❡♥
❞❡♠♦♥str❛t❡❞ ♦♥ t✇♦ ❛♣♣❧✐❝❛t✐♦♥ ❡①❛♠♣❧❡s ❢r♦♠ str✉❝t✉r❛❧ ♠❡❝❤❛♥✐❝s ❛♥❞
❤②❞r♦❞②♥❛♠✐❝s✳
❑❡②✇♦r❞s ✿ P❛t❤✲❢♦❧❧♦✇✐♥❣✱ ❝♦♥t✐♥✉❛t✐♦♥✱ ❜✐❢✉r❝❛t✐♦♥✱ ♣♦✇❡r s❡r✐❡s ❛♥❛❧②s✐s✱
❆s②♠♣t♦t✐❝ ◆✉♠❡r✐❝❛❧ ▼❡t❤♦❞✳
✶ ■♥tr♦❞✉❝t✐♦♥
❚❤❡ ♠❛✐♥ ♣✉r♣♦s❡ ♦❢ ❝♦♥t✐♥✉❛t✐♦♥ ♦r ♣❛t❤✲❢♦❧❧♦✇✐♥❣ ❛❧❣♦r✐t❤♠s ✐s t♦ ♠❛♣
st❡❛❞② st❛t❡ s♦❧✉t✐♦♥s ✐♥ t❤❡ ♣❛r❛♠❡t❡r s♣❛❝❡ ❜② ❝♦♠♣✉t✐♥❣ ❜r❛♥❝❤❡s ♦❢ s♦✲
❧✉t✐♦♥s ❢♦r ❛ ❣✐✈❡♥ r❛♥❣❡ ♦❢ ❝♦♥tr♦❧ ♣❛r❛♠❡t❡rs ❬✶✽✱ ✷✸❪✳ ■♥ ❛ ♠♦r❡ ❞❡t❛✐❧❡❞
✶
✇❛②✱ ♦♥❡ ❧♦♦❦s ❢♦r s✐♥❣❧❡ ♦r ♠✉❧t✐♣❧❡ s♦❧✉t✐♦♥ r❛♥❣❡s✱ ❝♦♠♣✉t❡ ❜✐❢✉r❝❛t✐♦♥
❞✐❛❣r❛♠s ❛♥❞ ✜♥❛❧❧② ♣❡r❢♦r♠ st❛❜✐❧✐t② ❛♥❛❧②s❡s t♦ ❞❡t❡r♠✐♥❡ r❡❣✐♦♥s ♦❢ st❛✲
❜❧❡ ❛♥❞ ✉♥st❛❜❧❡ s♦❧✉t✐♦♥s ❬✶✺✱ ✷❪✳ ❋✐rst ♦r❞❡r ♣r❡❞✐❝t♦r✲❝♦rr❡❝t♦r ❛❧❣♦r✐t❤♠s
✭❊✉❧❡r ♣r❡❞✐❝t♦r✱ ◆❡✇t♦♥✲❘❛♣❤s♦♥ ❜❛s❡❞ ❝♦rr❡❝t♦r✮ ✇✐t❤ ♣s❡✉❞♦✲❛r❝✲❧❡♥❣t❤
♣❛r❛♠❡t❡r✐③❛t✐♦♥ ❤❛✈❡ ❜❡❡♥ ✇✐❞❡❧② ✉s❡❞ ❢♦r ❞❡❝❛❞❡s ❬✶✽✱ ✶✺✱ ✷✸❪✳ ◆❡✈❡rt❤❡✲
❧❡ss✱ st❡♣✲❧❡♥❣❤ ❛❞❛♣t✐✈✐t② ♠❛② ❜❡ ✐♥ tr♦✉❜❧❡ ✐♥ t❤❡ ✈✐❝✐♥✐t② ♦❢ ❜✐❢✉r❝❛t✐♦♥
♣♦✐♥ts ❧❡❛❞✐♥❣ t♦ ❛ ✇❡❛❦ ❝♦♠♣✉t❛t✐♦♥❛❧ ❡✣❝✐❡♥❝② ❛♥❞ s♦♠❡t✐♠❡s ❧❛❝❦ ♦❢
❝♦♥✈❡r❣❡♥❝❡✳
❆♥ ❛❧t❡r♥❛t❡ ✇❛② t♦ ✜rst ♦r❞❡r ♣r❡❞✐❝t♦r ❛❧❣♦r✐t❤♠s st❛♥❞s ✐♥ ❤✐❣❤✲♦r❞❡r
♣r❡❞✐❝t♦rs t❤❛t ❤❛✈❡ ❜❡❡♥ ✐♥tr♦❞✉❝❡❞ ✐♥ ❝♦♥t✐♥✉❛t✐♦♥ ❛❧❣♦r✐t❤♠s ❜❛s❡❞ ♦♥ t❤❡
❆s②♠♣t♦t✐❝ ◆✉♠❡r✐❝❛❧ ▼❡t❤♦❞ ✭❆◆▼✮✳ ❚❤✐s ♠❡t❤♦❞ ❝♦♥s✐sts ✐♥ ❛ ❝♦♠❜✐♥❛✲
t✐♦♥ ♦❢ ❛ ❤✐❣❤✲♦r❞❡r ♣❡rt✉r❜❛t✐♦♥ ♠❡t❤♦❞✱ ❛ ❞✐s❝r❡t✐③❛t✐♦♥ t❡❝❤♥✐q✉❡ ❛♥❞ ❛
♣❛r❛♠❡t❡r✐③❛t✐♦♥ str❛t❡❣② ❬✶✸✱ ✸✱ ✾✱ ✶✻❪✳ ■t ✐s ❛ ❣❡♥❡r❛❧ ❛♥❞ ❡✣❝✐❡♥t ♥♦♥✲❧✐♥❡❛r s♦❧✉t✐♦♥ ♠❡t❤♦❞ ❬✶✷❪✱ ✇❤✐❝❤ ❤❛s ❜❡❡♥ s✉❝❝❡ss❢✉❧❧② ❛♣♣❧✐❡❞ ✐♥ ♠❛✐♥❧② s♦❧✐❞ ❛♥❞
str✉❝t✉r❛❧ ♠❡❝❤❛♥✐❝s✱ ❜✉t ❛❧s♦ ✐♥ ❢❡✇ ❤②❞r♦❞②♥❛♠✐❝s ♣r♦❜❧❡♠s ❬✽✱ ✶✱ ✼✱ ✶✼❪✳
■♥ t❤❡ ❆◆▼ t❤❡ st❡♣ ❧❡♥❣t❤ ✐s ❞❡t❡r♠✐♥❡❞ ❛✲♣♦st❡r✐♦r✐ ❢r♦♠ t❤❡ ❝♦♥✈❡r❣❡♥❝❡
♣r♦♣❡rt✐❡s ♦❢ t❤❡ s❡r✐❡s ❛t t❤❡ ❝✉rr❡♥t st❡♣ ✿ ✐t s❤♦rt❡♥s ❛s t❤❡ ♥♦♥ ❧✐♥❡❛r✐✲
t✐❡s ✐♥❝r❡❛s❡ ❛♥❞ ✇✐❞❡♥s ❛s s♦♦♥ ❛s t❤❡ ♣r♦❜❧❡♠ ❜❡❝♦♠❡s s♦❢t❡r✱ ♣r♦✈✐❞✐♥❣ ❛ s❡❧❢ ❛❞❛♣t✐✈✐t② ❛❧❧ ❛❧♦♥❣ t❤❡ ❝♦♥t✐♥✉❛t✐♦♥✳ ❍♦✇❡✈❡r✱ ❛s t❤❡ ❝♦♥t✐♥✉❛t✐♦♥ ❛♣✲
♣r♦❛❝❤❡s t♦ ❛ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥t t❤❡ s❡❧❢ ❛❞❛♣t✐✈❡ st❡♣ ❧❡♥❣t❤ ❝❛♥ ❜❡❝♦♠❡ ✈❡r② s♠❛❧❧ ❛♥❞ t❤❡ ❝♦♠♣✉t❛t✐♦♥❛❧ ❡✣❝✐❡♥❝② ♦❢ t❤❡ ❆◆▼ ♣r♦❝❡❞✉r❡ ❜❡❝♦♠❡s s✐❣✲
♥✐✜❝❛♥t❧② ♣❡♥❛❧✐s❡❞✳ ❘❡♣❧❛❝✐♥❣ ♥❛t✉r❛❧ ♣♦✇❡r s❡r✐❡s ❜② r❛t✐♦♥❛❧ ♦♥❡s ✭P❛❞é
❛♣♣r♦①✐♠❛t❡s✮ ✐♠♣r♦✈❡s t❤❡ ❣❧♦❜❛❧ ❝♦♥t✐♥✉❛t✐♦♥ ❡✣❝✐❡♥❝② ❛s ✐t ❡♥❛❜❧❡s t♦
❣❡t st❡♣ ❧❡♥❣t❤s r♦✉❣❤❧② t✇✐❝❡ ❛s ❧♦♥❣ ❛s ✐♥ t❤❡ ❝❧❛ss✐❝❛❧ ♣♦✇❡r s❡r✐❡s r❡♣✲
r❡s❡♥t❛t✐♦♥ ❬✶✶✱ ✺✱ ✶✻❪✱ ❜✉t ❡✈❡♥ ✐♥ t❤❛t ❝❛s❡ t❤❡ st❡♣ ❧❡♥❣t❤ ♠❛② ❜❡ ❢❛r
❢r♦♠ ✐ts ♦♣t✐♠❛❧ ✈❛❧✉❡✳ ❚❤❡ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥ts ❛♥❞ ❡♠❛♥❛t✲
✐♥❣ ❜r❛♥❝❤❡s ❛r❡ ♦t❤❡r ♣❛rt✐❝✉❧❛r❧② ✐♠♣♦rt❛♥t ✐ss✉❡s✳ ❚❤❡② ❤❛✈❡ ❜❡❡♥ t❛❝❦❧❡❞
✐♥ t❤❡ ❆◆▼ ❢r❛♠❡✇♦r❦ ❜② ❝♦♠♣✉t✐♥❣ ❛❧♦♥❣ t❤❡ ❝♦♥t✐♥✉❛t✐♦♥ ❡✐t❤❡r t❤❡ ③❡r♦s
♦❢ P❛❞é ❛♣♣r♦①✐♠❛t❡s ♦r ❛ s❝❛❧❛r ❜✐❢✉r❝❛t✐♦♥ ✐♥❞✐❝❛t♦r ♦❜t❛✐♥❡❞ ❢r♦♠ ❛♥ ❛❞✲
❞✐t✐♦♥❛❧ ♣❡rt✉r❜❡❞ ♣r♦❜❧❡♠ s♦❧✉t✐♦♥ ❬✷✹✱ ✷✽✱ ✻✱ ✼✱ ✶✼❪✳ ◆♦t ♦♥❧② t❤❡s❡ ♠❡t❤♦❞s
❤❛✈❡ ❛♥ ❡①tr❛ ❝♦st ✇❤✐❝❤ ❝♦✉❧❞ ❜❡ ✉♣ t♦ t✇✐❝❡ ❛s t❤❡ ♦r✐❣✐♥❛❧ ❆◆▼ ♣r♦❜❧❡♠✱
❜✉t ❛❧s♦ t❤❡② ❝♦✉❧❞ ❜❡ s♦♠❡t✐♠❡s ❧❛❝❦✐♥❣ s♦♠❡ r♦❜✉st♥❡ss✳
❆♥ ❛❧t❡r♥❛t❡ ♣r♦♠✐s✐♥❣ ❞✐r❡❝t✐♦♥ ✇❛s ♣✐♦♥❡❡r❡❞ ✐♥ t❤❡ ♠✐❞ s❡✈❡♥t✐❡s ❜②
❱❛♥ ❉②❦❡ ✇❤♦ ✐♥✐t✐❛t❡❞ t❤❡ ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❤✐❣❤ ♦r❞❡r ♣❡rt✉r❜❛t✐♦♥ s❡r✐❡s
❛♥❞ t❤❡✐r ❛♥❛❧②s✐s ✐♥ ♦r❞❡r t♦ r❡✈❡❛❧ t❤❡✐r ❛♥❛❧②t✐❝❛❧ str✉❝t✉r❡ ❬✷✺❪✳ ❍❡ ♣r♦✲
♣♦s❡❞ s❡✈❡r❛❧ s❡r✐❡s ✐♠♣r♦✈❡♠❡♥ts ❛♥❞ ❝♦♠♣❧❡t✐♦♥ ❡✐t❤❡r t♦ ❝♦♠♣✉t❡ t❤❡♠
♠✉❝❤ ♠♦r❡ ❡✣❝✐❡♥t❧② ♦r t♦ ❡①t❡♥❞ t❤❡✐r r❛♥❣❡ ♦❢ ✉t✐❧✐t②✱ ✐♥ ❛♥ ✉❧t✐♠❛t❡ ❣♦❛❧
t♦ r❡✈❡❛❧ t❤❡✐r ✉♥❞❡r❧②✐♥❣ ♠❛t❤❡♠❛t✐❝❛❧ ♦r ♣❤②s✐❝❛❧ ♠❡❛♥✐♥❣ ❬✷✻✱ ✷✼❪✳ ❍❡
♠❛❞❡ ✐t ❝❧❡❛r t❤❛t ♣♦✇❡r s❡r✐❡s ✉♥❞♦✉❜t❡❞❧② ❝♦♥t❛✐♥ ♥✉♠❡r♦✉s r❡❧❡✈❛♥t ✐♥✲
❢♦r♠❛t✐♦♥ ❛♥❞ ✇❛②s ❝❛♥ ❜❡ ❢♦✉♥❞ t♦ ❡①tr❛❝t t❤❡♠✳ ❇✉t s✉r♣r✐s✐♥❣❧②✱ ♥♦♥❡ ♦❢
❱❛♥ ❉②❦❡✬s ♣♦✇❡r s❡r✐❡s ❛♥❛❧②s✐s ❤❛s ❜❡♥❡✜t❡❞ t♦ t❤❡ ❆◆▼ ②❡t✳
❙♦✱ ✐♥ t❤❡ ♣r❡s❡♥t ✇♦r❦ ✇❡ ❤❛✈❡ ❛♥❛❧②s❡❞ t❤❡ ♣♦✇❡r s❡r✐❡s t❤❛t ❛r✐s❡ ❛t
❡✈❡r② st❡♣ ♦❢ t❤❡ ❆◆▼ ❛❧❣♦r✐t❤♠ ❛♥❞ ✐t t✉r♥s ♦✉t t❤❛t ✐♥ t❤❡ ♥❡✐❣❤❜♦r❤♦♦❞ ♦❢
s✐♠♣❧❡ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥ts ❛ ❣❡♦♠❡tr✐❝ ♣♦✇❡r s❡r✐❡s ❛❧✇❛②s ❡♠❡r❣❡s✳ ▼♦r❡♦✈❡r
✷
t❤✐s ❜❡❤❛✈✐♦r ✐s ❣❡♥❡r✐❝ ❛s ✐t ❞♦❡s ♥♦t ❞❡♣❡♥❞ ♦♥ t❤❡ ♣r♦❜❧❡♠ t♦ ❜❡ s♦❧✈❡❞✳
❚❤❡r❡❢♦r❡ ✇❡ ♣r♦♣♦s❡ t♦ ✉s❡ t❤✐s ❤❛❧❧♠❛r❦ ❛s ❛ r❡❧✐❛❜❧❡ ❜✐❢✉r❝❛t✐♦♥ ✐♥❞✐❝❛t♦r t♦ ❛❝❝✉r❛t❡❧② ❛♥❞ ❝❤❡❛♣❧② ❝♦♠♣✉t❡ ❛♥② s✐♠♣❧❡ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥t✳ ❋✐♥❛❧❧②✱
❛s s♦♦♥ ❛s ✐t ✐s ❞❡t❡❝t❡❞✱ ❛ ♥❡✇ ♣♦✇❡r s❡r✐❡s t❤❛t r❡❝♦✈❡rs ❛♥ ♦♣t✐♠❛❧ st❡♣
❧❡♥❣t❤ ✐s ❜✉✐❧❞ ✐♥ t❤❡ ✈✐❝✐♥✐t② ♦❢ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥ts✱ ✇❤❡r❡ t❤❡ ♦r✐❣✐♥❛❧ ♦♥❡ ✐s
❝r✐t✐❝❛❧❧② ♣❡♥❛❧✐s❡❞ ✐♥ t❤❡ ❝❧❛ss✐❝❛❧ ❆◆▼✳
❚❤❡ ♣r❡s❡♥t ♣❛♣❡r ✐s ♦r❣❛♥✐③❡❞ ❛s ❢♦❧❧♦✇s✳ ■♥ ❙❡❝t✐♦♥ ✷✱ t❤❡ t❤❡♦r❡t✐❝❛❧
❜❛❝❦❣r♦✉♥❞ r❡❧❛t❡❞ t♦ ❜✐❢✉r❝❛t✐♦♥ ❛♥❛❧②s✐s ✐s ✜rst r❡❝❛❧❧❡❞✳ ❋♦r♠❛❧ ❞❡r✐✈❛✲
t✐♦♥s ♦❢ ❆▼◆ ♣♦✇❡r s❡r✐❡s ❛r❡ ❝❛rr✐❡❞ ♦✉t ✐♥ t❤❡ ❢r❛♠❡✇♦r❦ ♦❢ ♣❡rt✉r❜❡❞
❜✐❢✉r❝❛t✐♦♥ ❛♥❛❧②s✐s✳ ❚❤❡ ❜❛s✐❝ ❢❡❛t✉r❡s ♦❢ ❆◆▼ ♣♦✇❡r s❡r✐❡s ❛r❡ t❤❡♥ ❤✐❣❤✲
❧✐❣❤t❡❞ ❛♥❞ ❞✐s❝✉ss❡❞✳ ❙❡❝t✐♦♥ ✸ ✐s ❞❡✈♦t❡❞ t♦ t❤❡ ✇❛② ✇❡ ❤❛✈❡ ✐♠♣❧❡♠❡♥t❡❞
❣❡♦♠❡tr✐❝❛❧ ♣♦✇❡r s❡r✐❡s ❡①tr❛❝t✐♦♥ ❢r♦♠ t❤❡ ♦r✐❣✐♥❛❧ ♣♦✇❡r s❡r✐❡s✳ ❚❤❡ ❝♦♠✲
♣✉t❛t✐♦♥ ♦❢ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥ts ❛♥❞ ❡♠❛♥❛t✐♥❣ ❜✐❢✉r❝❛t✐♦♥ ❜r❛♥❝❤❡s ❛r❡ t❤❡♥
❡♠♣❤❛s✐③❡❞✳ ❚❤❡ r❡❧✐❛❜✐❧✐t②✱ r♦❜✉st♥❡ss ❛♥❞ ❡✣❝✐❡♥❝② ♦❢ t❤✐s ❛♣♣r♦❛❝❤ ✐s ♣r❡✲
s❡♥t❡❞ ✐♥ ❙❡❝t✐♦♥ ✹ t❤r♦✉❣❤♦✉t t✇♦ ❛♣♣❧✐❝❛t✐♦♥ ❡①❛♠♣❧❡s ✿ t❤❡ ❜✉❝❦❧✐♥❣ ♦❢ ❛♥
✐♥❡①t❡♥s✐❜❧❡ ❡❧❛st✐❝ ❜❡❛♠ ❛♥❞ t❤❡ ✐♥❝♦♠♣r❡ss✐❜❧❡ ✢✉✐❞ ✢♦✇ ✐♥ ❛ s②♠♠❡tr✐❝
s✉❞❞❡♥ ❡①♣❛♥s✐♦♥✳ ❋✐♥❛❧❧②✱ ❝♦♥❝❧✉s✐♦♥s ❛♥❞ ❢✉t✉r❡ ✇♦r❦ ❞✐r❡❝t✐♦♥s ❛r❡ ❣✐✈❡♥
✐♥ ❙❡❝t✐♦♥ ✺✳
✷ ❋♦r♠❛❧ ❞❡r✐✈❛t✐♦♥s ♦❢ ❆▼◆ ♣♦✇❡r s❡r✐❡s ✐♥ t❤❡
✈✐❝✐♥✐t② ♦❢ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥ts
■♥ t❤✐s s❡❝t✐♦♥ ✇❡ ✜rst ✐♥tr♦❞✉❝❡ t❤❡ ♠✐♥✐♠❛❧ ♥❡❡❞❡❞ t❤❡♦r❡t✐❝❛❧ ❜❛❝❦✲
❣r♦✉♥❞ ❢♦r ❛♥❛❧②s✐♥❣ ❆◆▼ ♣♦✇❡r s❡r✐❡s ❝♦♠♣✉t❡❞ ♥❡❛r s✐♠♣❧❡ ❜✐❢✉r❝❛t✐♦♥
♣♦✐♥t✳ ▲❡t R(u, λ) = 0 ❜❡ ❛♥ ❛❧❣❡❜r❛✐❝ s②st❡♠ ♦❢ n ♥♦♥❧✐♥❡❛r s♠♦♦t❤ ❡q✉❛✲
t✐♦♥s ✇❤❡r❡ u ∈ R
n✐s ❛ ✈❡❝t♦r ♦❢ st❛t❡ ✈❛r✐❛❜❧❡s ❛♥❞ λ ∈ R ❛ s✐♥❣❧❡ ❝♦♥tr♦❧
♦r ❜✐❢✉r❝❛t✐♦♥ ♣❛r❛♠❡t❡r✳ ❚❤❡ ❡①t❡♥❞❡❞ st❛t❡ ✈❡❝t♦r U = u
λ
∈ R
n+1✐s
✐♥tr♦❞✉❝❡❞ ❢♦r ❝♦♠♣❛❝t♥❡ss s✐♥❝❡ ✐t ✐♥❝❧✉❞❡s t❤❡ ♣❛r❛♠❡t❡r λ ❛s ✐ts ❧❛st st❛t❡
✈❛r✐❛❜❧❡✱ s♦ t❤❡ ❡q✉✐❧✐❜r✐✉♠ s②st❡♠ r❡❛❞s ✿
R(U) = 0 ✭✶✮
✇✐t❤♦✉t ❞✐st✐♥❣✉✐s❤✐♥❣ ❜❡t✇❡❡♥ st❛t❡ ✈❛r✐❛❜❧❡s ❛♥❞ ♣❛r❛♠❡t❡r✳ ●❡♥❡r✐❝ s♦❧✉✲
t✐♦♥s ♦❢ ✭✶✮ ❛r❡ ❜r❛♥❝❤❡s ♦❢ s♦❧✉t✐♦♥s✱ ✐❡✱ ♦♥❡ ❞✐♠❡♥s✐♦♥❛❧ ❝♦♥t✐♥✉❛ ♦❢ s♦❧✉t✐♦♥
♣♦✐♥ts✳ ■♥ t❤❡ ❝♦♥t✐♥✉❛t✐♦♥ ❛❧❣♦r✐t❤♠ ❜❛s❡❞ ♦♥ t❤❡ ❆◆▼✱ t❤❡s❡ ❜r❛♥❝❤❡s
❛r❡ r❡♣r❡s❡♥t❡❞ ❛t t❤❡ ❝✉rr❡♥t st❡♣ ❜② t❤❡ ❢♦❧❧♦✇✐♥❣ ♣♦✇❡r s❡r✐❡s ❡①♣❛♥✲
s✐♦♥ ❬✶✸✱ ✾✱ ✶✵✱ ✶✷❪ ✿
U (a) = U
0+ a U
1+ a
2U
2+ · · · + a
nU
n✭✷✮
✇✐t❤ a t❤❡ ♣❛t❤ ♣❛r❛♠❡t❡r ❞❡✜♥❡❞ ✐♥ t❤❡ ♣❛r❛♠❡t❡r✐③❛t✐♦♥ ❡q✉❛t✐♦♥✳ ■♥ t❤❡
❢♦❧❧♦✇✐♥❣✱ ✇❡ ❛♥❛❧②s❡ t❤❡ ❝❛s❡ ✇❤❡r❡ t❤❡ st❛rt✐♥❣ ♣♦✐♥t U
0✐s ❛ s✐♠♣❧❡ ❜✐❢✉r✲
❝❛t✐♦♥ ♣♦✐♥t✱ t❤❡♥✱ ❛ r❡❣✉❧❛r ♣♦✐♥t ❝❧♦s❡❞ t♦ ❛ s✐♠♣❧❡ ❜✐❢✉r❝❛t✐♦♥✳
✸
✷✳✶ ❇r❛♥❝❤❡s ♦❢ s♦❧✉t✐♦♥ ❛t ❛ s✐♠♣❧❡ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥t
▲❡t U
c❜❡ ❛ s✐♠♣❧❡ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥t ✇❤❡r❡ t✇♦ ❜r❛♥❝❤❡s ♦❢ s♦❧✉t✐♦♥s
❝r♦ss tr❛♥s✈❡rs❛❧❧②✱ ✐❡✱ ✇✐t❤ t✇♦ ❞✐st✐♥❝t t❛♥❣❡♥ts U
t1❛♥❞ U
t2✳ ❚❤❡ ❦❡r♥❡❧ ♦❢
t❤❡ ❥❛❝♦❜✐❛♥ ♠❛tr✐① R
c,U❡✈❛❧✉❛t❡❞ ❛t U
c✐s t✇♦ ❞✐♠❡♥s✐♦♥❛❧✱
N (R
c,U) = ❙♣❛♥ {U
t1, U
t2}, N (R
C T,U) = ❙♣❛♥ {ψ}. ✭✸✮
✇❤✐❧❡ t❤❡ ❦❡r♥❡❧ ♦❢ t❤❡ tr❛♥s♣♦s❡❞ ❥❛❝♦❜✐❛♥ ♠❛tr✐① ✐s ♦♥❡ ❞✐♠❡♥s✐♦♥❛❧ ❬✶✺❪✳
❚❤❡ t✇♦ ✭♥♦r♠❛❧✐③❡❞✮ t❛♥❣❡♥t ✈❡❝t♦rs U
ti(i = 1, 2) s❛t✐s❢② t❤❡ ✜rst ♦r❞❡r
❛♣♣r♦①✐♠❛t✐♦♥ ♦❢ ✭✶✮ ❛♥❞ t❤❡ s♦✲❝❛❧❧❡❞ ✧❛❧❣❡❜r❛✐❝ ❜✐❢✉r❝❛t✐♦♥ ❡q✉❛t✐♦♥✧ ❬✶✽❪✱
✇❤✐❝❤ ✐s t❤❡ s❡❝♦♥❞ ♦r❞❡r ❛♣♣r♦①✐♠❛t✐♦♥ ♦❢ ✭✶✮ ♣r♦❥❡❝t❡❞ ♦♥ ❧❡❢t ♥✉❧❧✲✈❡❝t♦r ψ ♦❢ R
,Uc✳
R
c,UU
ti= 0
ψ
TR
c,U UU
tiU
ti= 0 ✭✹✮
❲❡ ❛❧s♦ ❞❡✜♥❡ t❤❡ ✭♥♦r♠❛❧✐③❡❞✮ ✈❡❝t♦r U
t⊥1❛s ❜❡✐♥❣ ✐♥s✐❞❡ N (R
c,U) ❛♥❞ ♦r✲
t❤♦❣♦♥❛❧ t♦ U
t1✭s❛♠❡ ❢♦r U
t⊥2✮✳ ❚❤❡ ❜r❛♥❝❤ ♦❢ s♦❧✉t✐♦♥s ❡♠❛♥❛t✐♥❣ ❢r♦♠ U
c❛❧♦♥❣ t❤❡ t❛♥❣❡♥t U
t1❝❛♥ ❜❡ ❝♦♠♣✉t❡❞ ✐♥ t❤❡ ❢♦❧❧♦✇✐♥❣ ✇❛② ✿
U (a) = U
c+ a U
t1+ a
2U
2c+ a
3U
3c+ · · · ✭✺✮
✇❤❡r❡ a = (U (a) − U
c)
TU
t1✐s t❤❡ ❝❧❛ss✐❝❛❧ ♣s❡✉❞♦ ❛r❝✲❧❡♥❣t❤ ♣❛r❛♠❡t❡r✳
❯s✐♥❣ ❛ ▲②❛♣✉♥♦✈✲❙❝❤♠✐❞t ❞❡❝♦♠♣♦s✐t✐♦♥✱ t❤❡ ✈❡❝t♦r U
p✱ p ≤ 2 ✱ r❡❛❞s ✿ U
pc= β
pU
t⊥1| {z }
∈N(Rc,U)
+ V
p| {z }
∈NT(Rc,U)
✭✻✮
✇❤❡r❡ V
P✐s s♦❧✉t✐♦♥ ♦❢ ❛♥ ❛✉❣♠❡♥t❡❞ ✐♥✈❡rt✐❜❧❡ ❧✐♥❡❛r s②st❡♠ ✭s❡❡ ❛♣♣❡♥❞✐①
❢♦r ❞❡t❛✐❧❧❡❞ ❡①♣r❡ss✐♦♥ ❢♦r t❤❡ s❝❛❧❛r β
p❛♥❞ t❤❡ ✈❡❝t♦r V
p✮✳ ❲❡ r❡❢❡r t♦ ❬✸❪
❛♥❞ ❬✶✼❪ ❢♦r ❝♦♠♣✉t❛t✐♦♥ ♦❢ ❜r❛♥❝❤❡s ♦❢ s♦❧✉t✐♦♥s ❛t ❛ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥t ✐♥
s♦❧✐❞ ♦r ✢✉✐❞ ♠❡❝❤❛♥✐❝s ♣r♦❜❧❡♠s✳
✷✳✷ P❡rt✉r❜❡❞ ❜✐❢✉r❝❛t✐♦♥ ❛♥❛❧②s✐s ❛t s✐♠♣❧❡ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥t ✿
❧♦✇ ♦r❞❡r ❛♣♣r♦①✐♠❛t✐♦♥
❙♠❛❧❧ ✐♠♣❡r❢❡❝t✐♦♥s ❛r❡ ❛❧✇❛②s ♣r❡s❡♥t ✐♥ ❡①♣❡r✐♠❡♥ts✱ ❜✉t ❛❧s♦ ✐♥ ❝♦♠✲
♣✉t❛t✐♦♥s ♦✇✐♥❣ t♦ ✜♥✐t❡ ♣r❡❝✐s✐♦♥ ♦❢ ❝♦♠♣✉t❡rs ❛♥❞ t❤❡✐r ♥✉♠❡r✐❝❛❧ s♦❧✉t✐♦♥✳
❚❤✉s✱ ✇❡ ♥♦✇ ♣❛② ❛tt❡♥t✐♦♥ t♦ t❤❡ ❢♦❧❧♦✇✐♥❣ ♣❡rt✉r❜❡❞ ♣r♦❜❧❡♠ ✿
R
p(U, µ) = R(U ) + µP = 0 ✭✼✮
✇❤❡r❡ P ✐s ❛ ♥♦r♠❛❧✐③❡❞ ♣❡rt✉r❜❛t✐♦♥ ✈❡❝t♦r ❛♥❞ µ ❛ ❢r❡❡ ♣❡rt✉r❜❛t✐♦♥ ❛♠✲
♣❧✐t✉❞❡✳ ■♥ t❤❡ ❣❡♥❡r❛❧ ❝❛s❡ ψ
TP 6= 0 ✱ ✐❡✱ t❤❡ ♣❡rt✉r❜❛t✐♦♥ ✈❡❝t♦r P ✐s ♥♦♥✲
❞❡❣❡♥❡r❛t❡ ♦r ❜✐❢✉r❝❛t✐♦♥ ❞❡str♦②✐♥❣✱ ❛s ♦♣♣♦s❡❞ t♦ ❜✐❢✉r❝❛t✐♦♥ ♣r❡s❡r✈✐♥❣
✹
❢♦r t❤❡ ❡①❝❡♣t✐♦♥❛❧ ❝❛s❡ ✇❤❡r❡ ψ
TP = 0 ❬✷✷❪✳ ❍❡♥❝❡✱ ✇✐t❤♦✉t ❛♥② ❧♦ss ♦❢
❣❡♥❡r❛❧❧② ♦♥❡ ❝❛♥ s❡t ✿
P = ψ + P
⊥✇✐t❤ ψ
TP
⊥= 0 ✭✽✮
❲✐t❤ t❤❡ ❛❞❞✐t✐♦♥♥❛❧ ❢r❡❡ ♣❛r❛♠❡t❡r µ s♦❧✉t✐♦♥s ♦❢ ✭✼✮ ❛r❡ ♥♦ ♠♦r❡
❜r❛♥❝❤❡s ❜✉t t✇♦ ❞✐♠❡♥s✐♦♥❛❧ ❝♦♥t✐♥✉❛ ♦❢ s♦❧✉t✐♦♥ ♣♦✐♥ts✳ ❆t t❤❡ ❜✐❢✉r❝❛t✐♦♥
♣♦✐♥t U
c✱ t❤❡ ✷❉ ♠❛♥✐❢♦❧❞ ❝❛♥ ❜❡ ❢♦✉♥❞ ✉♥❞❡r t❤❡ ❢♦r♠ ♦❢ ❛ t✇♦✲♣❛r❛♠❡t❡r
❡①♣❛♥s✐♦♥ ✿
U = U
c+ b
1U
t1+ b
2U
t2| {z }
∈N(Rc,U)
+ V (b
1, b
2)
| {z }
∈NT(Rc,U)
µ = µ(b
1, b
2)
✭✾✮
✇❤❡r❡ b
1✱ b
2❛r❡ t❤❡ ❛♠♣❧✐t✉❞❡s ♦❢ U − U
c♦♥ t❤❡ ❜❛s❡ ✈❡❝t♦rs U
t1❛♥❞ U
t2♦❢ N (R
c,U) ✳ ❆❝❝♦r❞✐♥❣ t♦ ❜✐❢✉r❝❛t✐♦♥ t❤❡♦r② ❡①♣❛♥s✐♦♥ ♦❢ V ❛♥❞ µ s❤♦✉❧❞
❜❡❣✐♥ ❛t ♦r❞❡r t✇♦ ✐♥ b
1, b
2❛♥❞ t❤❡ s❡❝♦♥❞ ♦r❞❡r ♦❢ µ s❤♦✉❧❞ s♦❧✈❡ ❢♦r t❤❡
✧❛❧❣❡❜r❛✐❝ ❜✐❢✉r❝❛t✐♦♥ ❡q✉❛t✐♦♥✧ ✿
µ(b
1, b
2) = b
1b
2ψ
TR
c,U UU
t1U
t2| {z }
µ1
✭✶✵✮
✷✳✷✳✶ P❡rt✉r❜❡❞ ❜r❛♥❝❤❡s
❲❤❡♥ t❤❡ ♣❡rt✉r❜❛t✐♦♥ ❛♠♣❧✐t✉❞❡ ✐s ✜①❡❞ t♦ ❛ ❣✐✈❡♥ ✈❛❧✉❡ µ
0✱ ❣❡♥❡r✐❝ s♦✲
❧✉t✐♦♥s ♦❢ ✭✼✮ ❣❡t ❜❛❝❦ t♦ ♦♥❡ ❞✐♠❡♥s✐♦♥❛❧ ❝♦♥t✐♥✉❛ ❝❛❧❧❡❞ ♣❡rt✉r❜❡❞ ❜r❛♥❝❤❡s✳
❚❤❡② ❧♦♦❦ ❧✐❦❡ t❤❡ t✇♦ ❤②♣❡r❜♦❧❛❡ s❤♦✇♥ ✐♥ ✜❣✉r❡✭✶✮ ❛♥❞ t❤❡② ❛r❡ ❣✐✈❡♥ ❛t
❧♦✇ ♦r❞❡r ❜② t❤❡ ♣❛r❛♠❡tr✐❝ r❡♣r❡s❡♥t❛t✐♦♥ ✿
U(b
1, b
2) = U
c+ b
1U
t1+ b
2U
t2✇✐t❤ b
1b
2=
µµ01. ✭✶✶✮
Ut1 Ut2
Uc
U0
d Ut1
❋✐❣✉r❡ ✶ ✕ P❡rt✉❜❡❞ ❜✐❢✉r❝❛t✐♦♥ ❞✐❛❣r❛♠ ❛t ❧♦✇❡st ♦r❞❡r ❛♣♣r♦①✐♠❛t✐♦♥✳
✺
✷✳✸ P❡rt✉r❜❡❞ ❜r❛♥❝❤ ❡①♣r❡ss✐♦♥ ❢r♦♠ ❛ r❡❣✉❧❛r ♣♦✐♥t ❧♦✲
❝❛t❡❞ ❝❧♦s❡ t♦ ❛ s✐♠♣❧❡ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥t
▲❡t d ❜❡ ❛ ❣✐✈❡♥ ❞✐st❛♥❝❡✱ ♦♥❡ s❡ts b
1= d ❛♥❞ b
2=
µµ01d
✐♥t♦ ✭✶✶✮ t♦ ❞❡✜♥❡
❛ r❡❣✉❧❛r ♣♦✐♥t ✿
U
0= U
c+ d U
t1+ µ
0µ
1d U
t2✭✶✷✮
❛t ❛ ❞✐st❛♥❝❡ d ❛❧♦♥❣ U
t1❢r♦♠ t❤❡ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥t✳ ❲❡ ♥♦✇ ❞❡✜♥❡ t❤❡ ♥❡✇
♣❛t❤ ♣❛r❛♠❡t❡r a = d − b
1❛♥❞ r❡✇r✐t❡ ✭✶✶✮ ❛s ✿ U (a) = U
0+ a (−U
t1) + µ
0µ
1d
a d
(1 −
ad) U
t2✭✶✸✮
❚❤✐s ❧❛st ❡q✉❛t✐♦♥ ❣✐✈❡s ❛ ♣❛r❛♠❡tr✐❝ ❡①♣r❡ss✐♦♥ ♦❢ t❤❡ ♣❡rt✉r❜❛t❡❞ ❜r❛♥❝❤
❢r♦♠ t❤❡ r❡❣✉❧❛r s♦❧✉t✐♦♥ ♣♦✐♥t U
0✭a = 0✮ t♦✇❛r❞ t❤❡ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥t U
c✭ a > 0 ✮✳ ❚❤❡ r❛t✐♦♥❛❧ ❢r❛❝t✐♦♥ t❤❛t ❛♣♣❡❛rs ✐♥ U
t2✬s ❛♠♣❧✐t✉❞❡ ❤❛s ❛ ♣♦❧❡ ❢♦r a = d ✱ ✇❤✐❝❤ ♠❛❦❡s t❤❡ ♣❡rt✉r❜❡❞ ❜r❛♥❝❤ t✉r♥ ✐♥ t❤❡ ❞✐r❡❝t✐♦♥ ♦❢ U
t2♥❡❛r t❤❡ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥t✳ ◆♦t✐❝❡ t❤❛t ✇❤❡♥ µ
0✐s ✈❡r② s♠❛❧❧ t❤❡ ❛♠♣❧✐t✉❞❡ ❢♦r U
t2✐s ❛❧s♦ ✈❡r② s♠❛❧❧ ❡①❝❡♣t ✇❤❡♥ a ✐s ✈❡r② ❝❧♦s❡ t♦ d ✳
❚❤✐s s✐♠♣❧❡ r❡❛s♦♥✐♥❣ t❤❛t ❧❡❛❞s t♦ ✭✶✸✮ ❛❧r❡❛❞② s❤♦✇s t❤❡ ❦❡② ♣♦✐♥t ♦❢ t❤❡
♣r❡s❡♥t ❛♥❛❧②s✐s ✿ ❢♦r ❛♥② ♥♦♥ ③❡r♦ ✐♠♣❡r❢❡❝t✐♦♥ t❤❡ ✭✈❡❝t♦r✮ ❢✉♥❝t✐♦♥ U (a)
❤❛s ❛ s✐♥❣✉❧❛r✐t② ❢♦r a = d ✱ ✐❡✱ ❢♦r ❛ ♣♦s✐t✐✈❡ r❡❛❧ ✈❛❧✉❡ ♦❢ t❤❡ ♣❛r❛♠❡t❡r a
❛♥❞ t❤❡ ♥❛t✉r❡ ♦❢ t❤❡ s✐♥❣✉❧❛r✐t② ✐s ♦❢ t❤❡ ❦✐♥❞ (1−
ad)
−1✳ ❚❤❡ ❚❛②❧♦r s❡r✐❡s ♦❢
s✉❝❤ ❛ r❛t✐♦♥❛❧ ❢r❛❝t✐♦♥ ✐s ✿
ad+ (
ad)
2+ (
ad)
3+ · · · ✳ ■t r❡♣r❡s❡♥ts ❛ ❣❡♦♠❡tr✐❝❛❧
♣r♦❣r❡ss✐♦♥ ✇❤♦s❡ ❝♦♠♠♦♥ r❛t✐♦ ✐s
1d❛♥❞ r❛❞✐✉s ♦❢ ❝♦♥✈❡r❣❡♥❝❡ d ✳ ❚❤❡s❡
r❡s✉❧ts ❛r❡ ❣❧♦❜❛❧❧② ✐♥ ❧✐♥❡ ✇✐t❤ t❤❡ ♣r♦♣❡rt✐❡s ♦❢ t❤❡ ❆◆▼ s❡r✐❡s ✇❤❡♥ t❤❡
❡①♣❛♥s✐♦♥ ♣♦✐♥t ✐s ❝❧♦s❡ t♦ ❛ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥t✳ ❍♦✇❡✈❡r✱ t❤❡ ♣✐❝t✉r❡ ✐s ♥♦t
❝♦♠♣❧❡t❡ ❜❡❝❛✉s❡ ✭✶✸✮ ✐s ♦♥❧② ❛ ✜rst ♦r❞❡r ❛♣♣r♦①✐♠❛t✐♦♥✳
✷✳✹ ❊①t❡♥t✐♦♥ t♦ ❤✐❣❤❡r ♦r❞❡r ❛♣♣r♦①✐♠❛t✐♦♥
❚♦ ❡①t❡♥❞ t❤❡ ♣r❡✈✐♦✉s r❡s✉❧ts ❛t ❤✐❣❤ ♦r❞❡rs ✇❡ ❜❡❣✐♥ ✇✐t❤ t❤❡ ❞❡r✐✈❛t✐♦♥
♦❢ ❛ t✇♦ ♣❛r❛♠❡t❡r ❡①♣❛♥s✐♦♥ ♦❢ t❤❡ ✷❉ ♠❛♥✐❢♦❧❞ ✉♥❞❡r t❤❡ ❢♦r♠ ✿ U (a
1, a
2) = U
c+ a
1U
t1+ a
2U
t⊥1+a
21V
20+ a
1a
2V
11+ a
22V
02+a
31V
30+ a
21a
2V
21+ a
1a
22V
12+ a
32V
03+ · · ·
✭✶✹✮
µ(a
1, a
2) = a
21µ
20+ a
1a
2µ
11+ a
22µ
02+a
31µ
30+ a
21a
2µ
21+ a
1a
22µ
12+ a
32µ
03+ · · ·
✭✶✺✮
✇❤❡r❡ a
1❛♥❞ a
2❛r❡ ❞❡✜♥❡❞ ❛s t❤❡ ❛♠♣❧✐t✉❞❡ ♦❢ U − U
c♦♥ t❤❡ ❜❛s❡ ✈❡❝t♦r U
t1❛♥❞ U
t⊥1♦❢ N (R
c,U) ✳ ■♥ t❤❡ ♣❡rs♣❡❝t✐✈❡ t♦ ❛♥❛❧②s❡ ❆◆▼ ♣♦✇❡r s❡r✐❡s✱
t❤❡ ❝❤♦✐❝❡ ♦❢ ✭ a
1✱ a
2✮ ♣❛r❛♠❡t❡rs ✐s ❜❡tt❡r t❤❛♥ ✭ b
1✱ b
2✮✱ ✇❤✐❝❤ ✇❡r❡ t❤❡
❜❡st ♦♥❡ ❢♦r ❛ ✜rst ♦r❞❡r ❛♥❛❧②s✐s✳ ❆❧❧ t❤❡ ✈❡❝t♦rs V
ij✬s ❛r❡ ♦rt❤♦❣♦♥❛❧ t♦ U
t1✻
❛♥❞ U
t⊥1✱ t❤❡✐r ❡①♣r❡ss✐♦♥ ❤❛✈❡ ❜❡❡♥ r❡♣♦rt❡❞ ✐♥ ❛♣♣❡♥❞✐① ❢♦r ❜r❡✈✐t② ✐♥ t❤❡
♣r❡s❡♥t❛t✐♦♥✳
❚❤❡ ♥❡①t st❡♣ ✐s t♦ r❡✇r✐t❡ t❤❡ ✷❉ ♠❛♥✐❢♦❧❞ ❜② t❛❦✐♥❣ a
1❛♥❞ µ ❛s ♣❛✲
r❛♠❡t❡rs ✐♥st❡❛❞ ♦❢ a
1❛♥❞ a
2✳ ❋♦r t❤✐s ✇❡ ❢♦❧❧♦✇ t❤❡ ♣r♦❝❡❞✉r❡ ♣r♦♣♦s❡❞ ❜②
❉❛♠✐❧ ❛♥❞ P♦t✐❡r✲❋❡rr② ✐♥ ❬✶✸❪ t♦ ❣❡t ✿
U (a
1, µ) = U
c+ a
1U
t1+ a
21U
2c+ a
31U
3c+ · · · +
µµ111
a1
U
t⊥1+ U
0,1+ a
1U
1,1+ a
21U
2,1+ · · · +
µµ2211
1a31
U
t⊥1+
a12 1U
−2,2+ +
a11
U
−1,2+ · · · +
µµ3211
1a51
U
t⊥1+ · · ·
✳✳✳
✭✶✻✮
❚❤❡ ✜rst ❧✐♥❡ ♦❢ ✭✶✻✮ ❡①❛❝t❧② ❝♦rr❡s♣♦♥❞s t♦ ✭✺✮✱ t❤❡ ❝❛s❡ ✇✐t❤ ♥♦ ✐♠♣❡r❢❡❝✲
t✐♦♥✳ ◆♦t✐❝❡ ❛❧s♦ t❤❛t s✐♥❣✉❧❛r t❡r♠s ♦❢ t❤❡ ❦✐♥❞
a1p1
❛♣♣❡❛r ✐♥ s✉❜s❡q✉❡♥t
❧✐♥❡s ♦❢ t❤✐s ❡①♣r❡ss✐♦♥✳
✷✳✹✳✶ ❋✐rst ♦r❞❡r tr✉♥❝❛t✐♦♥ ✐♥ µ
■♥ ♦✉r ❆◆▼ ❝♦♥t✐♥✉❛t✐♦♥ ♣r♦❝❡ss ✐♠♣❡r❢❡❝t✐♦♥s ❛♣♣❡❛r ❜❡❝❛✉s❡ t❤❡ s♦✲
❧✉t✐♦♥ ♣♦✐♥ts ✇❤❡r❡ t❤❡ s❡r✐❡s ❛r❡ ❝♦♠♣✉t❡❞ ❞♦ ♥♦t ❡①❛❝t❧② s❛t✐s❢② ✭✶✮ ❜✉t
♦♥❧② ✉♣ t♦ ❛ r❡q✉✐r❡❞ ✉s❡r✲❞❡✜♥❡❞ ♣r❡❝✐s✐♦♥ ε
R✱ ✐❡✱ U
0✐s ❛ s♦❧✉t✐♦♥ ♣♦✐♥t ✐❢
||R(U
0)|| < ε
R✳ ❚❤❡ ❆◆▼ s❡r✐❡s ❡✈❛❧✉❛t❡❞ ❛t U
0❛r❡ ✐♥❞❡❡❞ t❤❡ ❡①❛❝t ❢♦r♠❛❧
s♦❧✉t✐♦♥ ♦❢ t❤❡ ♣❡rt✉r❜❡❞ ♣r♦❜❧❡♠ R(U ) − R(U
0) = 0 ✳ ■♥ ❛♣♣❧✐❝❛t✐♦♥s✱ ε
R✐s ❣❡♥❡r❛❧❧② s❡t t♦ ❛ ✈❡r② s♠❛❧❧ ✈❛❧✉❡✱ ❤❡♥❝❡✱ t❤❡ ✐♠♣❡r❢❡❝t✐♦♥ ❛♠♣❧✐t✉❞❡ µ
0❝♦♥s✐❞❡r❡❞ ❤❡r❛❢t❡r ✇✐❧❧ ❛❧s♦ ❜❡ ✈❡r② s♠❛❧❧✳ ❆s ❛ ❝♦♥s❡q✉❡♥❝❡✱ ✇❡ ❜❡❣✐♥ t❤✐s
❛♥❛❧②s✐s ✐♥ ❧✐♠✐t✐♥❣ t♦ ❛ ✜rst ♦r❞❡r tr✉♥❝❛t✉r❡ ✐♥ µ ✳
✷✳✹✳✷ P❡rt✉r❜❡❞ ❜r❛♥❝❤ ❡①♣r❡ss✐♦♥ ❢♦r♠ ❛ r❡❣✉❧❛r ♣♦✐♥t U
0❆s ❛❜♦✈❡ ✇❡ s❡t t❤❡ ✐♠♣❡r❢❡❝t✐♦♥ ❛♠♣❧✐t✉❞❡ µ t♦ ❛ ✜①❡❞ ✈❛❧✉❡ µ
0t♦
❞❡✜♥❡ ♣❡rt✉r❜❡❞ ❜r❛♥❝❤❡s✳ ❚❤❡♥✱ ✇❡ ❞❡♣♦rt t❤❡ ❡①♣❛♥s✐♦♥ ♣♦✐♥t ❢r♦♠ U
ct♦
U
0❜② t❛❦✐♥❣ a = d − a
1t♦ ❣❡t ✿
U (a) = U
0+ a U
t01+ a
2U
20+ a
3U
30+ · · · +
µµ011
ad(d−a)
U
t⊥1+ aU
1,10+ a
2U
2,10+ · · · ✭✶✼✮
❚❤❡ ♥❡✇ ✈❡❝t♦r U
i0❛♥❞ U
i,j0✭❛t U
0✮ ❝❛♥ ❜❡ ❡❛s✐❧② ❞❡❞✉❝❡❞ ❢r♦♠ t❤❡ U
ic❛♥❞
U
i,j✭❛t U
c✮ ♦❢ ✭✶✻✮ ❛♥❞ d✳
▲❡t r ❜❡ t❤❡ r❛❞✐✉s ♦❢ ❝♦♥✈❡r❣❡♥❝❡ ♦❢ t❤❡ ✜rst ❧✐♥❡ ♦❢ ✭✶✼✮✱ ✐❡✱ t❤❡ s❡r✐❡s
❢♦r t❤❡ ♣❡r❢❡❝t ❜r❛♥❝❤✳ ▲❡t ✉s s❝❛❧❡ t❤❡ ♣❛t❤ ♣❛r❛♠❡t❡r a ❜② r ✱ s♦ t❤❛t t❤❡
r❛❞✐✉s ♦❢ ❝♦♥✈❡r❣❡♥❝❡ ♦❢ t❤❡ ♣❡r❢❡❝t ❜r❛♥❝❤ ❜❡❝♦♠❡s ✉♥✐t② ❛♥❞ t❤❡ ♥♦r♠ ♦❢
t❤❡ s❡r✐❡s ❝♦❡✣❝✐❡♥t ❜❡❝♦♠❡ ♦❢ ♦r❞❡r ♦❢ ✉♥✐t②✳ ❉❡♥♦t✐♥❣ ¯ a =
ar✱ ✇❡ ❣❡t t❤❡
✼
✜♥❛❧ ❡①♣r❡ss✐♦♥ ❢♦r t❤❡ ♣❡rt✉r❜❡❞ ❜r❛♥❝❤❡s ✿
U (¯ a) = U
0+ ¯ a (r U
t01) + ¯ a
2(r
2U
20) + ¯ a
3(r
3U
30) + · · · +
µµ011 ¯ard
d(1−¯ard)
U
t⊥1+ ¯ a(r U
1,10) + ¯ a
2(r
2U
2,10) + · · · ✭✶✽✮
❚❤❡ ❆◆▼ ♠❡t❤♦❞ ❞♦❡s ♥♦t ❣✐✈❡ ❛❝❝❡ss t♦ ✭✶✽✮ ❜✉t ♦♥❧② t♦ ✐ts ♣♦✇❡rs s❡r✐❡s✳ ❊①♣❛♥❞✐♥❣ t❤❡ r❛t✐♦♥❛❧ ❢r❛❝t✐♦♥ ♦❢ ✭✶✽✮ ♦♥❡ ❝❛♥ ❣❡t t❤❡ ❢♦❧❧♦✇✐♥❣ ❡①✲
♣r❡ss✐♦♥ ❢♦r t❤❡ s❡r✐❡s ❝♦❡✣❝✐❡♥t U ¯
p0❛t ♦r❞❡r p ♦❢ t❤❡ r❡s❝❛❧❡❞ ❆◆▼ ❡①♣❛♥s✐♦♥
❡✈❛❧✉❛t❡❞ ♥❡❛r ❛ s✐♠♣❧❡ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥t ✿ U ¯
p0= r
pU
p0+ µ
0µ
11r
pU
p,10+ µ
0µ
11d ( r
d )
pU
t⊥1✭✶✾✮
❚❤❡ ✜rst t❡r♠ r
pU
p0❝♦rr❡s♣♦♥❞s t♦ t❤❡ ♣❡r❢❡❝t ❝❛s❡ s✐t✉❛t✐♦♥ µ
0= 0 ✳ ❇❡❝❛✉s❡
♦❢ t❤❡ r❡s❝❛❧❧✐♥❣✱ ✐ts ♥♦r♠ ✐s ♦❢ ♦r❞❡r ♦❢ ✉♥✐t②✳ ❚❤❡ s❡❝♦♥❞ t❡r♠
µµ110r
pU
p,10✐s
❛ t❤❡ ✜rst ♦r❞❡r ❝♦rr❡❝t✐♦♥ ♦❢ t❤❡ ♣r❡✈✐♦✉s ♦♥❡ ❞✉❡ t♦ t❤❡ ✐♠♣❡r❢❡❝t✐♦♥ ❛♥❞
✐ts ♥♦r♠ ✐s ❛❧s♦ ♦❢ ♦r❞❡r ♦❢ ✉♥✐t②✳ ❚❤❡ t❤✐r❞ t❡r♠
µµ110d(
rd)
pU
t⊥1✐s ❛ss♦❝✐❛t❡❞
✇✐t❤ t❤❡ s✐♥❣✉❧❛r✐t② ❜r♦✉❣❤t ❜② t❤❡ ♣❡rt✉r❜❡❞ ❜✐❢✉r❝❛t✐♦♥✳ ■ts ❛♠♣❧✐t✉❞❡ ✐s
❛ ♣r♦❞✉❝t ♦❢ t❤❡ s♠❛❧❧ ✐♠♣❡r❢❡❝t✐♦♥ µ
0✇✐t❤ t❤❡ p ♣♦✇❡r ♦❢
dr✱ ✇❤✐❝❤ ❝❛♥ ❜❡
✈❡r② ❧❛r❣❡ ✇❤❡♥ d << r ✳
■t ❢♦❧❧♦✇s t❤❡ ✐♠♣♦rt❛♥t r❡s✉❧ts ✿ ✇❤❡♥ t❤❡ ❞✐st❛♥❝❡ d ❜❡t✇❡❡♥ U
0❛♥❞ U
c✐s s♠❛❧❧❡r t❤❛♥ r ✱ ✐❡✱ t❤❡ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥t ✐s ✐♥s✐❞❡ t❤❡ r❛❞✐✉s ♦❢ ❝♦♥✈❡r❣❡♥❝❡
♦❢ t❤❡ ✑♣❡r❢❡❝t✑ s❡r✐❡s✱ t❤❡ ❧❛st t❡r♠ ♦❢ ✭✶✾✮ ❞♦♠✐♥❛t❡s t❤❡ s❡r✐❡s ❛t ❤✐❣❤ ♦r❞❡r
✇❤❛t❡✈❡r t❤❡ ✐♠♣❡r❢❡❝t✐♦♥ ♠❛❣♥✐t✉❞❡ µ
0✳ ▼♦r❡♦✈❡r✱ ❛t ❤✐❣❤ ♦r❞❡r t❤❡ s❡r✐❡s
❜❡❤❛✈❡s ❧✐❦❡ ❛ ❣❡♦♠❡tr✐❝❛❧ ♣r♦❣r❡ss✐♦♥ ✇✐t❤ ❛ ❝♦♠♠♦♥ r❛t✐♦
rd✭♦r
d1❢♦r t❤❡
♥♦♥ s❝❛❧❡❞ s❡r✐❡s✮✱ ❛♥❞ t❤❡ s❡r✐❡s t❡r♠ U ¯
p0✭♦r U
p0❢♦r t❤❡ ♥♦♥s❝❛❧❡❞ s❡r✐❡s✮
❜❡❝♦♠❡s ❝♦❧✐♥❡❛r t♦ t❤❡ ✈❡❝t♦r U
t⊥1✳
■♥ ♦t❤❡r ✇♦r❞s✱ ✇❤❡♥ d < r ❛♥❞ µ
06= 0✱ t❤❡ ♣♦❧❡ ♦❢ t❤❡ r❛t✐♦♥❛❧ ❢r❛❝t✐♦♥
✐♥ ✭✶✽✮ ✭♦r ✭✶✼✮✮ ❜❡❝♦♠❡s t❤❡ ♥❡❛r❡st s✐♥❣✉❧❛r✐t② ♦❢ U (¯ a) ❛♥❞ s❡t t❤❡ r❛❞✐✉s ♦❢
❝♦♥✈❡r❣❡♥❝❡ t♦ d ✱ ✐♥st❡❛❞ ♦❢ r ❢♦r t❤❡ ♣❡r❢❡❝t ❝❛s❡ µ
0= 0 ✳ ❚❤✐s ✐s ♣❡r❢❡❝t❡❧②
✐♥ ❧✐♥❡ ✇✐t❤ t❤❡ ♦❜s❡r✈❛t✐♦♥ ♠❛❞❡ ♦♥ ❆◆▼ s❡r✐❡s ❛t ❡①♣❛♥s✐♦♥ ♣♦✐♥t ❝❧♦s❡
t♦ ❛ s✐♠♣❧❡ ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥t✱ ❛s ✐t ✇✐❧❧ ❜❡ s❤♦✇♥ ♦♥ ❡①❛♠♣❧❡s ❜❡❧♦✇✳
✷✳✹✳✸ ❘❡t✉r♥ t♦ ❤✐❣❤ ♦r❞❡r t❡r♠s ✐♥ µ
▲❡t ✉s ♥♦✇ ❝♦♠❡ ❜❛❝❦ t♦ t❤❡ ❤✐❣❤ ♦r❞❡r µ t❡r♠ ✐♥ ✭✶✻✮ t❤❛t ❤❛✈❡ ❜❡❡♥
s✉♣♣r❡ss❡❞ ❛❜♦✈❡✱ ❝❧❛✐♠✐♥❣ t❤❛t µ ✐s ✈❡r② s♠❛❧❧ ✐♥ ♦✉r ❛♣♣❧✐❝❛t✐♦♥s✳ ❖♥❡
q✉❡st✐♦♥ st✐❧❧ r❡♠❛✐♥s ✿ ✇❤❛t ✐s t❤❡ ✐♥✢✉❡♥❝❡ ♦❢ ♠♦r❡ s✐♥❣✉❧❛r t❡r♠s s✉❝❤ ❛s
µ20
µ211 1
a31
❛s ❝♦♠♣❛r❡❞ t♦ t❤❡ ❧❡ss s✐♥❣✉❧❛r t❡r♠
µµ110 a11r❡t❛✐♥❡❞ ✐♥ t❤❡ ♣r❡✈✐♦✉s
❛♥❛❧②s✐s ❄✳ ❚♦ ❛♥s✇❡r ✐t✱ ❧❡t ✉s ❛♥❛❧②s❡ t❤❡ ❚❛②❧♦r s❡r✐❡s ♦❢ t❤❡ ❢♦❧❧♦✇✐♥❣ t♦②
♠♦❞❡❧ ✿
f(x) = 1 1 − x
| {z }
f1(x)
+ 10
−31 (1 − x)
3| {z }
f2(x)
. ✭✷✵✮
✽
❆❝❝♦r❞✐♥❣ t♦ ❱❛♥ ❉②❦❡ ❬✷✺❪ t❤❡ r❛❞✐✉s ♦❢ ❝♦♥✈❡r❣❡♥❝❡✱ s✐❣♥ ♣❛tt❡r♥ ✐♥ t❤❡
❚❛②❧♦r s❡r✐❡s ❝♦❡✣❝✐❡♥ts ❛♥❞ ✈❛❧✉❡s ♦❢ ❝♦❡✣❝✐❡♥ts ❛t ❤✐❣❤ ♦r❞❡r ❛r❡ ❜♦t❤
❣♦✈❡r♥❡❞ ❜② t❤❡ ♥❡❛r❡st s✐♥❣✉❧❛r✐t② ♦❢ t❤❡ ❢✉♥❝t✐♦♥✳ ❲❤❡♥ t✇♦ s✐♥❣✉❧❛r✐t✐❡s
❛r❡ ❛t t❤❡ s❛♠❡ ❞✐st❛♥❝❡✱ ❛s ✐♥ t❤✐s ❡①❛♠♣❧❡✱ t❤❡ ♠♦st s✐♥❣✉❧❛r ♦♥❡s ✇✐❧❧
✐♠♣♦s❡ ✐ts❡❧❢ ✭❤❡r❡ f
2✮✱ r❛t❤❡r t❤❛♥ t❤❡ ♦♥❡ ✇✐t❤ t❤❡ ❧❛r❣❡st ❛♠♣❧✐t✉❞❡ ✭❤❡r❡
f
1✮✳ ❍♦✇❡✈❡r✱ t❤❡ ♣r♦♠✐♥❡♥❝❡ ♦❢ f
2♦♥❧② ♦❝❝✉rs ❛t ✈❡r② ❤✐❣❤ ♦r❞❡r ❛s ✐t ✐s r❡♣♦rt❡❞ ✐♥ t❛❜❧❡ ✶✱ ❜❡❝❛✉s❡ ♦❢ ✐ts s♠❛❧❧ ❛♠♣❧✐t✉❞❡ 10
−3✳
♦r❞❡r ✶ ✷ ✸ ✳ ✳ ✳ ✹✸ ✹✹ ✳ ✳ ✳ ✾✾ ✶✵✵
f
1✶ ✶ ✶ ✳ ✳ ✳ ✶ ✶ ✳ ✳ ✳ ✶ ✶
f
2✵✳✵✵✸ ✵✳✵✵✻ ✵✳✵✶ ✳ ✳ ✳ ✵✳✾✾ ✶✳✵✸✺ ✳ ✳ ✳ ✺✳✵✺✵ ✺✳✶✺✶
❚❛❜❧❡ ✶ ✕ ❚❛②❧♦r ❝♦❡✣❝✐❡♥ts ❢♦r t❤❡ ❢✉♥❝t✐♦♥ f
1=
1−x1❛♥❞ f
2= 10
−3 (1−x)1 3✳
■♥ ✭✶✻✮✱ t❤❡ ♠♦st s✐♥❣✉❧❛r t❡r♠s ❤❛✈❡ ❛ ♠✉❝❤ s♠❛❧❧❡r ❛♠♣❧✐t✉❞❡ t❤❛♥ t❤❡
❧❡ss s✐♥❣✉❧❛r ♦♥❡s ✇❤❡♥ µ
0✐s ✈❡r② s♠❛❧❧✳ Pr❛❝t✐❝❛❧❧②✱ ✇✐t❤ µ
0= 10
−8❛♥❞ ❛ tr✉♥❝❛t✉r❡ ❛r♦✉♥❞ ♦r❞❡r 20 ✱ t❤❡s❡ ♠♦r❡ s✐♥❣✉❧❛r t❡r♠s ❞♦ ♥♦t s❤♦✇ ✉♣ ✐♥
♦✉r ❛♥❛❧②s✐s✳
✸ ■♠♣❧❡♠❡♥t❛t✐♦♥ ♦❢ ♣♦✇❡r s❡r✐❡s ❛♥❛❧②s✐s ✐♥ t❤❡
❆s②♠♣t♦t✐❝ ◆✉♠❡r✐❝❛❧ ▼❡t❤♦❞
■t ❤❛s ❜❡❡♥ ♣r❡✈✐♦✉s❧② ♣♦✐♥t❡❞ ♦✉t t❤❛t ♣♦✇❡r s❡r✐❡s ❛♥❛❧②s✐s ✐s t✇♦❢♦❧❞
✐♥ t❤❡ ❢r❛♠❡✇♦r❦ ♦❢ t❤❡ ❆s②♠♣t♦t✐❝ ◆✉♠❡r✐❝❛❧ ▼❡t❤♦❞ ✿ ✭✐✮ ✐t ♣r♦✈✐❞❡s ❛♥
❛❝❝✉r❛t❡ ❛♥❞ ❝♦♠♣✉t❛t✐♦♥❛❧❧② ❡✣❝✐❡♥t ✇❛② t♦ ❞❡t❡❝t ❛♥❞ ❝♦♠♣✉t❡ ❜✐❢✉r❝❛t✐♦♥
♣♦✐♥ts ✭s♦❧✉t✐♦♥ ❛t ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥ts✮ ❀ ✭✐✐✮ ✐t ❡♥❛❜❧❡s ✉s t♦ ❝♦♥str✉❝t ❛♥
❡♥❤❛♥❝❡❞ ♣♦✇❡r s❡r✐❡s t❤❛t r❡❝♦✈❡rs ❛♥ ♦♣t✐♠❛❧ st❡♣ ❧❡♥❣t❤ ✐♥ t❤❡ ✈✐❝✐♥✐t② ♦❢
❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥ts ✇❤❡r❡ t❤❡ ❝❧❛ss✐❝❛❧ ❆◆▼ ✐s ♦t❤❡r✇✐s❡ ❞r❛st✐❝❛❧❧② ♣❡♥❛❧✐s❡❞✳
❙♦ t❤❡ ✇❛② ✇❡ ❤❛✈❡ ✐♠♣❧❡♠❡♥t❡❞ t❤❡s❡ ❦❡② ♣♦✐♥ts ❛r❡ ♥♦✇ ♣r❡s❡♥t❡❞✳
✸✳✶ ❉❡t❡❝t✐♦♥ ♦❢ ❣❡♦♠❡tr✐❝ ♣r♦❣r❡ss✐♦♥ ✐♥ t❤❡ ❆◆▼
❆♥② ❣❡♦♠❡tr✐❝ ♣r♦❣r❡ss✐♦♥ ❝❛♥ ❜❡ ❝❤❛r❛❝t❡r✐③❡❞ ❜② t✇♦ q✉❛♥t✐t✐❡s ✿ ✐ts
❝♦♠♠♦♥ r❛t✐♦ ❛♥❞ ✐ts s❝❛❧❡ ❢❛❝t♦r✱ ✇❤✐❝❤ ✐s ❤❡r❡ ❛ ✜❡❧❞ ✈❡❝t♦r✳ ❙♦✱ t❤❡ ♣r♦✲
♣♦s❡❞ ❆◆▼ ❛❧❣♦r✐t❤♠ ✐♥❝❧✉❞❡s ❛t ❡✈❡r② ❝♦♥t✐♥✉❛t✐♦♥ st❡♣ ❛♥ ❛♥❛❧②s✐s ♦❢ t❤❡
❧❛st ✈❡❝t♦r s❡q✉❡♥❝❡ t♦ ❝❤❡❝❦ ✐❢ t❤❡② ♠❛❦❡ ✉♣ ❛ ❣❡♦♠❡tr✐❝ ♣r♦❣r❡ss✐♦♥ ♦r ♥♦t✳
▲❡t U
n−3, U
n−2, U
n−1, U
n❜❡ t❤❡ ❧❛st ❢♦✉r ✜❡❧❞ ✈❡❝t♦r s❡q✉❡♥❝❡ ✐♥ t❤❡ ❆◆▼
♣♦✇❡r s❡r✐❡s ✭✷✮ ❝♦♠♣✉t❡❞ ✉♣ t♦ ❛♥ ♦r❞❡r ♦❢ tr♦♥❝❛t✉r❡ n✳ ❚❤❡♥✱ t❤❡ ❞❡t❡❝✲
t✐♦♥ ♦❢ ❛ ❣❡♦♠❡tr✐❝ ♣r♦❣r❡ss✐♦♥ ❝❤❡❝❦s ❢♦r ❝♦❧❧✐♥❡❛r✐t② ❛♥❞ ♣r♦♣♦rt✐♦♥❛❧✐t② ♦❢
✾
t❤✐s ✈❡❝t♦r s❡q✉❡♥❝❡✳ ❚❤✐s t❡st r❡❛❞s ❛s ❢♦❧❧♦✇s ✿
❢♦r n − 3 ≤ p ≤ n − 1 : α
p= (U
p· U
n)/(U
n· U
n) ❛♥❞ U
p⊥= U
p− α
pU
n✐❢
n−2
X
p=n−3
(α
1/(n−p)p− α
n−1)/α
n−1 2< ε
gp1❛♥❞
n−1
X
p=n−3
kU
p⊥k/kU
pk < ε
gp2t❤❡♥ ❛ ❣❡♦♠❡tr✐❝ ♣r♦❣r❡ss✐♦♥ ✐s ❞❡t❡❝t❡❞✱ s♦ ♦♥❡ ❝♦♠♣✉t❡s ✿
✕ ✐ts ❝♦♠♠♦♥ r❛t✐♦ ✿
α1=
α1n−1
✕ ✐ts s❝❛❧❡ ❢❛❝t♦r ✿ U
nα
n✭✷✶✮
❆❝❝♦r❞✐♥❣ t♦ s❡❝t✐♦♥ ✷✱ α ✐s t❤❡ ❞✐st❛♥❝❡ t♦ t❤❡ ❝❧♦s❡st ❜✐❢✉r❝❛t✐♦♥ ♣♦✐♥t ❛♥❞
t❤❡ ♥♦r♠❛❧✐s❡❞ s❝❛❧❡ ❢❛❝t♦r ✭
||UUnn||✮ ✐s t❤❡ ✈❡❝t♦r U
t⊥1♣r❡✈✐♦✉s❧② ❞❡✜♥❡❞✳
■♥ ♦✉r ❝❛❧❝✉❧❛t✐♦♥s s❡tt✐♥❣ t❤❡ t✇♦ ♥✉♠❡r✐❝❛❧ t❤r❡s❤♦❧❞ ✈❛❧✉❡s t♦ ε
gp1≈ 10
−3❛♥❞ ε
gp2≈ 10
−6❣❛✈❡ ✉s r❡❧✐❛❜❧❡ ❛♥❞ r♦❜✉st ❜✐❢✉r❝❛t✐♦♥ ❞❡t❡❝t✐♦♥ t❡st✳
✸✳✷ ❊♥❤❛♥❝❡❞ ♣♦✇❡r s❡r✐❡s t♦ r❡❝♦✈❡r ♦♣t✐♠❛❧ st❡♣ ❧❡♥❣t❤
▲❡t ✉s ♥♦✇ s✉♣♣♦s❡ ❛ ❣❡♦♠❡tr✐❝ ♣r♦❣r❡ss✐♦♥ ❤❛s ❜❡❡♥ ❥✉st ❞❡t❡❝t❡❞ ❛t t❤❡ ❤✐❣❤❡st ♦r❞❡rs ♦❢ t❤❡ ♣❡rt✉r❜❛t✐♦♥ ♠❡t❤♦❞ ✇✐t❤ t❤❡ ♣r♦♣♦s❡❞ t❡st ✭✷✶✮✳
❚❤❡♥✱ t❤❡ ♦r✐❣✐♥❛❧ ♣♦✇❡r s❡r✐❡s ✭✷✮ ❝❛♥ ❜❡ s♣❧✐tt❡❞ ✐♥ t✇♦ ♣❛rts ✿ ❛ ❣❡♦♠❡tr✐❝
♣♦✇❡r s❡r✐❡s ❛♥❞ t❤❡ r❡♠❛✐♥✐♥❣ ♣❛rt ❢r♦♠ t❤❡ ♦r✐❣♥❛❧ ♦♥❡✱ ❛s ❢♦❧❧♦✇s ✿ U (a) = U
0+ a U ˆ
1+ a
2U ˆ
2+ · · · + a
n−1U ˆ
n−1+
h a α + ( a
α )
2+ · · · + ( a
α )
n−1+ ( a α )
ni
U
nα
n✭✷✷✮
✇❤❡r❡ U ˆ
p= U
p− α
n−pU
n❢♦r 0 < p ≤ n − 1 ✳ ■♥tr♦❞✉❝✐♥❣ t❤❡ ❢♦r♠❛❧
❝❛❧❝✉❧❛t✐♦♥ ♦❢ t❤❡ ❣❡♦♠❡tr✐❝❛❧ ♣♦✇❡r s❡r✐❡s t♦❣❡t❤❡r ✇✐t❤ ❛ ❝♦♠♣❧❡t✐♦♥ ❛t
✐♥✜♥✐t②✱ ❛♥❞ ✉s✐♥❣
||UUnn||= U
t⊥1✱ ♦♥❡ ✜♥❛❧❧② ❣❡ts ✿ U (a) = U
0+ a U ˆ
1+ a
2U ˆ
2+ · · · + a
n−1U ˆ
n−1+
a α