HAL Id: hal-00653968
https://hal.archives-ouvertes.fr/hal-00653968
Preprint submitted on 20 Dec 2011
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, estdestiné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.
A very high-order finite volume method for the one dimensional convection diffusion problem
Stéphane Clain, Gaspar Machado, Rui Pereira
To cite this version:
Stéphane Clain, Gaspar Machado, Rui Pereira. A very high-order finite volume method for the one
dimensional convection diffusion problem. 2011. �hal-00653968�
❆ ✈❡r② ❤✐❣❤✲♦r❞❡r ✜♥✐t❡ ✈♦❧✉♠❡ ♠❡t❤♦❞ ❢♦r t❤❡ ♦♥❡
❞✐♠❡♥s✐♦♥❛❧ ❝♦♥✈❡❝t✐♦♥ ❞✐✛✉s✐♦♥ ♣r♦❜❧❡♠
❙✳ ❈❧❛✐♥
❛✱❜✱ ●✳ ▼❛❝❤❛❞♦
❛✱ ❘✳ ▼✳ ❙✳ P❡r❡✐r❛
❛❛ ❉❡♣❛rt❛♠❡♥t♦ ❞❡ ▼❛t❡♠át✐❝❛ ❡ ❆♣❧✐❝❛çõ❡s ❛♥❞ ❈❡♥tr♦ ❞❡ ▼❛t❡♠át✐❝❛✱ ❈❛♠♣✉s ❞❡
❆③✉ré♠ ✲ ✹✽✵✵✲✵✺✽ ●✉✐♠❛rã❡s✱ P♦rt✉❣❛❧
❜■♥st✐t✉t ❞❡ ▼❛t❤é♠❛t✐q✉❡s ❞❡ ❚♦✉❧♦✉s❡✱ ❯♥✐✈❡rs✐té ❞❡ ❚♦✉❧♦✉s❡✱ ❋r❛♥❝❡
❆❜str❛❝t
❆ ♥❡✇ ✜♥✐t❡ ✈♦❧✉♠❡ ♠❡t❤♦❞ ❢♦r ♦♥❡ ❞✐♠❡♥s✐♦♥❛❧ ❝♦♥✈❡❝t✐♦♥ ❞✐✛✉s✐♦♥ ♣r♦❜✲
❧❡♠s ✐s ❞❡s✐❣♥❡❞✳ ❚❤❡ s❝❤❡♠❡ ✐s ❜❛s❡❞ ♦♥ t❤❡ P♦❧②♥♦♠✐❛❧ ❘❡❝♦♥str✉❝t✐♦♥
❖♣❡r❛t♦r ✭P❘❖✲s❝❤❡♠❡✮ ✇❤❡r❡ ❛ ✺✲❞❡❣r❡❡ ♣♦❧②♥♦♠✐❛❧ r❡♣r❡s❡♥t❛t✐♦♥ ✐s ♣r♦✲
✈✐❞❡❞ ❢♦r ❡❛❝❤ ❝❡❧❧ ✉s✐♥❣ t❤❡ ♠❡❛♥✲✈❛❧✉❡s ♦❢ t❤❡ ♥❡✐❣❤❜♦r✐♥❣ ❝❡❧❧s✳ ❈♦♥✈❡❝✲
t✐✈❡ ❛♥❞ ❞✐✛✉s✐✈❡ ♥✉♠❡r✐❝❛❧ ✢✉①❡s ❞❡r✐✈❡ ❢r♦♠ t❤❡ ♣♦❧②♥♦♠✐❛❧ r❡❝♦♥str✉❝t✐♦♥
❛♥❞ ❧❡❛❞ t♦ ❛ ✜♥✐t❡ ✈♦❧✉♠❡ s❝❤❡♠❡ ♦❢ s✐①t❤✲♦r❞❡r ♦❢ ❛❝❝✉r❛❝②✳ ◆✉♠❡r✐❝❛❧ ❡①✲
❛♠♣❧❡s ❛r❡ ♣r♦♣♦s❡❞ t♦ s❤♦✇ t❤❡ ❡✛❡❝t✐✈❡♥❡ss ♦❢ t❤❡ ♠❡t❤♦❞ ❛♥❞ t❤❡ ❛❜✐❧✐t② t♦ ♠❛♥❛❣❡ t❤❡ ❝♦♥✈❡❝t✐♦♥ ❛♥❞ t❤❡ ❞✐✛✉s✐♦♥ ✐♥❞❡♣❡♥❞❡♥t❧②✱ ✐✳❡✳ t❤❡ s❝❤❡♠❡
✐s st✐❧❧ ❢✉♥❝t✐♦♥❛❧ ❡✈❡♥ ✇✐t❤ ✈❛♥✐s❤✐♥❣ ✈✐s❝♦s✐t②✳
❑❡②✇♦r❞s✿ ❋✐♥✐t❡ ❱♦❧✉♠❡✱ ✈❡r② ❤✐❣❤✲♦r❞❡r✱ ❝♦♥✈❡❝t✐♦♥✲❞✐✛✉s✐♦♥✱
P♦❧②♥♦♠✐❛❧ ❘❡❝♦♥str✉❝t✐♦♥ ❖♣❡r❛t♦r ✭P❘❖✮✳
✶✳ ■♥tr♦❞✉❝t✐♦♥
❊✣❝✐❡♥t ♥✉♠❡r✐❝❛❧ s❝❤❡♠❡s t♦ s♦❧✈❡ ❝♦♥✈❡❝t✐♦♥ ❞✐✛✉s✐♦♥ ❡q✉❛t✐♦♥s ✐s ❛
❝♦♥st❛♥t ❝❤❛❧❧❡♥❣❡ ❞✉❡ t♦ t❤❡ ✇✐❞❡ r❛♥❣❡ ♦❢ ♣r♦❜❧❡♠s ✇❤✐❝❤ ❝♦♥❝❡r♥ t❤❡
❝♦✉♣❧✐♥❣ ♦❢ t❤❡ t✇♦ ♠❛❥♦r ♣❤②s✐❝❛❧ ♣❤❡♥♦♠❡♥❛✳ ❋✐♥✐t❡ ❞✐✛❡r❡♥❝❡ ❛♥❞ ✜♥✐t❡
❡❧❡♠❡♥t ♠❡t❤♦❞s ❛r❡ ✈❡r② ♣♦♣✉❧❛r t♦ ♣r♦❞✉❝❡ ♥✉♠❡r✐❝❛❧ ❛♣♣r♦①✐♠❛t✐♦♥s
✭❬✺✱ ✶✻✱ ✷✷❪✮ ❛♥❞ ❛ ❧♦t ♦❢ ❛❝❛❞❡♠✐❝ ♦r ❝♦♠♠❡r❝✐❛❧ ❝♦❞❡s ❛r❡ ❜❛s❡❞ ♦♥ s✉❝❤
t❡❝❤♥✐q✉❡s✳ ❚❤❡ ✜♥✐t❡ ✈♦❧✉♠❡ ♠❡t❤♦❞ ❢♦r ❝♦♥✈❡❝t✐♦♥ ❞✐✛✉s✐♦♥ ❡q✉❛t✐♦♥s
❤❛s ❜❡❡♥ ✐♥tr♦❞✉❝❡❞ ✐♥ t❤❡ s✐①t✐❡s ❬✷✵✱ ✷✶❪ ❜✉t ❞♦ ♥♦t r❡❝❡✐✈❡❞ ❛tt❡♥t✐♦♥
❞✉r✐♥❣ t❤r❡❡ ❞❡❝❛❞❡s ✇❤❡r❡❛s t❤❡ ✜♥✐t❡ ❡❧❡♠❡♥t ♠❡t❤♦❞ ❤❛s ❦♥♦✇♥ ❛ ✇✐❞❡
❊♠❛✐❧ ❛❞❞r❡ss❡s✿ ❝❧❛✐♥❅♠❛t❤✳✉♠✐♥❤♦✳♣t ✭❙✳ ❈❧❛✐♥✮✱ ❣❥♠❅♠❛t❤✳✉♠✐♥❤♦✳♣t ✭●✳
▼❛❝❤❛❞♦✮✱ r♠♣❅♠❛t❤✳✉♠✐♥❤♦✳♣t ✭❘✳ ▼✳ ❙✳ P❡r❡✐r❛✮
Pr❡♣r✐♥t s✉❜♠✐tt❡❞ t♦ ❊❧s❡✈✐❡r ❉❡❝❡♠❜❡r ✷✵✱ ✷✵✶✶
❡①♣❛♥s✐♦♥✳ ■♥ t❤❡ ❡❛r❧② ❡✐❣❤t✐❡s✱ t❤❡ ❋❱ ♠❡t❤♦❞ ✇❛s ❜r♦✉❣❤t t♦ t❤❡ ❢♦r❡
✇✐t❤ t❤❡ ♦r✐❣✐♥❛❧ ❜♦♦❦ ♦❢ P❛t❛♥❦❛r ❬✶✾❪ ❢♦r str✉❝t✉r❡❞ ♠❡s❤❡s ❛♥❞ ✇✐❞❡❧②
❡♠♣❧♦②❡❞ ❜② ❡♥❣✐♥❡❡rs ♦r ♣❤②s✐❝✐sts✳ ■♥❞❡❡❞✱ t❤❡ ♠❡t❤♦❞ ❛♣♣❡❛rs t♦ ❜❡
❛♥ ✐♥t❡r❡st✐♥❣ ❛❧t❡r♥❛t✐✈❡ ❞✉❡ t♦ ✐ts s✐♠♣❧✐❝✐t② ✭♦♥❡ ✐♥❢♦r♠❛t✐♦♥ ♣❡r ❝❡❧❧✮✱
t❤❡ ❜✉✐❧t✲✐♥ ❝♦♥s❡r✈❛t✐✈❡ ♣r♦♣❡rt②✱ ❛♥❞ t❤❡ ❝❛♣❛❝✐t② t♦ ❤❛♥❞❧❡ ✉♥str✉❝t✉r❡❞
❛♥❞ ♥♦♥✲❝♦♥❢♦r♠❛❧ ♠❡s❤❡s✳ ■♠♣♦rt❛♥t ❞❡✈❡❧♦♣♠❡♥ts ❤❛✈❡ ❜❡❡♥ r❡❛❧✐s❡❞ ✐♥
t❤✐s ✇❛② ❛♥❞ s❡✈❡r❛❧ ❝❧❛ss❡s ♦❢ ♠❡t❤♦❞s ❤❛✈❡ ❜❡❡♥ ♣r♦♣♦s❡❞✳ ❋✐rst✱ t❤❡
♦r✐❣✐♥❛❧ P❛t❛♥❦❛r s❝❤❡♠❡ ❢♦r str✉❝t✉r❡❞ ♠❡s❤❡s ❤❛s ❜❡❡♥ ❡①t❡♥❞❡❞ t♦ t❤❡
♥♦♥✲str✉❝t✉r❡❞ ❝❛s❡ ✇❤❡r❡ ❛♥ ♦rt❤♦❣♦♥❛❧✐t② ❝♦♥❞✐t✐♦♥ ✐s r❡q✉✐r❡❞ t♦ ❛❧❧♦✇
❛❞♠✐ss✐❜❧❡ ❞✐✛✉s✐♦♥ ✢✉① ✭❋❱✹ s❝❤❡♠❡ ❬✷✱ ✸✱ ✶✹✱ ✶✸❪✮✳ ❚❤❡ ❞✐❛♠♦♥❞ s❝❤❡♠❡
❜❛s❡❞ ♦♥ ❛ ❧♦❝❛❧ r❡❝♦♥str✉❝t✐♦♥ ♦❢ t❤❡ ❣r❛❞✐❡♥t ♦♥ ❡❛❝❤ ❡❞❣❡ ❤❛s ❜❡❡♥ ✐♥✲
tr♦❞✉❝❡ ❜② ❬✽✱ ✾✱ ✶✽❪ ✇❤✐❧❡ ❛ ✜♥✐t❡ ✈♦❧✉♠❡ s❝❤❡♠❡ ❜❛s❡❞ ♦♥ ♣r✐♠❛❧ ❛♥❞ ❞✉❛❧
♠❡s❤❡s ✭❉❉❋❱ s❝❤❡♠❡✮ ❤❛s ❜❡❡♥ ♣r♦♣♦s❡❞ ❛♥❞ ❞❡✈❡❧♦♣❡❞ ❜② ❬✶✼✱ ✶✷✱ ✶✵❪✳
■♥ t❤❡ ❧❛st s✐① ②❡❛rs✱ ♥❡✇ t❡❝❤♥✐q✉❡s t♦ ❞❡s✐❣♥ ❡✣❝✐❡♥t ✜♥✐t❡ ✈♦❧✉♠❡ s❝❤❡♠❡s
❤❛s ❜❡❡♥ r❡❛❧✐s❡❞ ❛♥❞ ❛ ❧❛r❣❡ ♣r♦♣♦s❛❧ ♦❢ ♥✉♠❡r✐❝❛❧ ❛❧❣♦r✐t❤♠s ✐s ♥♦✇ ❛✈❛✐❧✲
❛❜❧❡ s✉❝❤ ❛s t❤❡ ♠✐①❡❞✲❤②❜r✐❞ s❝❤❡♠❡s ❬✶✶✱ ✶✺❪ ♦r ♠✐♠❡t✐❝ s❝❤❡♠❡s ❬✶✱ ✹❪✳
❉❡s♣✐t❡ ❛ ❝♦♥st❛♥t ❡✛♦rt t♦ ✐♠♣r♦✈❡ t❤❡ s❝❤❡♠❡s✱ ❛ s❡r✐♦✉s ❞r❛✇❜❛❝❦
♦❢ t❤❡ ✜♥✐t❡ ✈♦❧✉♠❡ ♠❡t❤♦❞ ✐s t❤❡ ❧❛r❣❡ ❛♠♦✉♥t ♦❢ ♥✉♠❡r✐❝❛❧ ✈✐s❝♦s✐t② ❛♥❞
t❤❡ ✇❡❛❦ ❝♦♥✈❡r❣❡♥❝❡ r❛t❡ ✭❛t ♠♦st s❡❝♦♥❞✲♦r❞❡r ❝♦♥✈❡r❣❡♥❝❡✮✳ ■♥ t❤❡ ✜♥✐t❡
✈♦❧✉♠❡ ❝♦♥t❡①t✱ ♠❡❛♥ ✈❛❧✉❡s ❛r❡ t❤❡ ❢✉♥❞❛♠❡♥t❛❧ ❞❛t❛ ❛♥❞ t❤❡ tr❛❞✐t✐♦♥❛❧
✭❛♥❞ ✐♠♣❧✐❝✐t✮ ✐❞❡♥t✐✜❝❛t✐♦♥ ✧♠❡❛♥ ✈❛❧✉❡s ❂ ♣♦✐♥t✲✇✐s❡ ✈❛❧✉❡ ❛t ❝❡♥tr♦✐❞✧
✉s❡❞ ❜② ♠♦st ♦❢ t❤❡ ❛✉t❤♦rs ✐s r❡s♣♦♥s✐❜❧❡ ♦❢ t❤❡ ❞✐s❝r❡♣❛♥❝② ❧❡❛❞✐♥❣ t♦✱ ❛t
♠♦st✱ ❛ s❡❝♦♥❞✲♦r❞❡r s❝❤❡♠❡✳ ❚❤❡ ❢❛❝t t♦ r❡❥❡❝t s✉❝❤ ❛♥ ✐❞❡♥t✐✜❝❛t✐♦♥ ✐s t❤❡ ❝r✉❝✐❛❧ ❛s♣❡❝t ♦❢ t❤❡ ♠❡t❤♦❞ t♦ ♣r♦✈✐❞❡ s✐①t❤✲♦r❞❡r ❛❝❝✉r❛❝② s❝❤❡♠❡s✳
❚❤❡ ♠❛✐♥ t♦♦❧ ♦❢ t❤❡ ♠❡t❤♦❞ ✐s ❛ ❧♦❝❛❧ ♣♦❧②♥♦♠✐❛❧ r❡❝♦♥str✉❝t✐♦♥ ✐♥ ✇❤✐❝❤
t❤❡ ❝♦❡✣❝✐❡♥ts ❛r❡ ❞❡t❡r♠✐♥❡❞ ❢r♦♠ t❤❡ ♠❡❛♥ ✈❛❧✉❡s ♦❢ t❤❡ ♥❡✐❣❤❜♦r✐♥❣
❝❡❧❧s ❬✻✱ ✼❪✳ ❆♥♦t❤❡r ✐♠♣♦rt❛♥t ♣♦✐♥t ✐s t❤❡ ❝❤♦✐❝❡ ♦❢ t❤❡ r❡❝♦♥str✉❝t✐♦♥ ✐♥
❢✉♥❝t✐♦♥ ♦❢ t❤❡ ♦♣❡r❛t♦r✳ ❋♦r t❤❡ ❝♦♥✈❡❝t✐✈❡ ♣❛rt✱ ✇❡ ♦♥❧② ❡♠♣❧♦② ✐♥t❡r✲
♥❛❧ ✈❛❧✉❡s✱ ✐✳❡✳ ♠❡❛♥✲✈❛❧✉❡s ♦♥ t❤❡ ❝❡❧❧s✱ t♦ ❞❡t❡r♠✐♥❡ t❤❡ r❡❝♦♥str✉❝t❡❞
♣♦❧②♥♦♠✐❛❧ ❢✉♥❝t✐♦♥ ✇❤❡r❡❛s ✇❡ ✐♥tr♦❞✉❝❡ t❤❡ ❉✐r✐❝❤❧❡t ❝♦♥❞✐t✐♦♥s ✐♥ t❤❡
♣♦❧②♥♦♠✐❛❧ r❡❝♦♥str✉❝t✐♦♥ ❡♠♣❧♦②❡❞ ✐♥ t❤❡ ❞✐✛✉s✐✈❡ ❝♦♥tr✐❜✉t✐♦♥ t♦ ❡♥❢♦r❝❡
t❤❡ ❜♦✉♥❞❛r② ❝♦♥❞✐t✐♦♥s✳
❚❤✐s ♣❛♣❡r ✐s ❞❡✈♦t❡❞ t♦ ❛ ♥❡✇ ❝❧❛ss ♦❢ ✜♥✐t❡ ✈♦❧✉♠❡ s❝❤❡♠❡s ❢♦r st❡❛❞②✲
st❛t❡ ❝♦♥✈❡❝t✐♦♥✲❞✐✛✉s✐♦♥ ♣r♦❜❧❡♠ ❛❜❧❡ t♦ r❡❛❝❤ t❤❡ s✐①t❤✲♦r❞❡r ❛❝❝✉r❛❝② ✐♥
s♣❛❝❡✳ ❲❡ ♣r❡s❡♥t t❤❡ ♠❡t❤♦❞ ❢♦r t❤❡ ♦♥❡✲❞✐♠❡♥s✐♦♥❛❧ ❝❛s❡ t♦ ❞❡t❛✐❧ t❤❡
s❝❤❡♠❡ ✇✐t❤ s✐♠♣❧❡ ❡①❛♠♣❧❡s ❝♦♥s✐❞❡r✐♥❣ t❤❡ ❝♦♥✈❡❝t✐♦♥✲❞✐✛✉s✐♦♥ ❡q✉❛t✐♦♥
✷
✐♥ t❤❡ ❞♦♠❛✐♥ Ω : ✏ s 0, 1 r ✇✐t❤ ❉✐r✐❝❤❧❡t ❜♦✉♥❞❛r② ❝♦♥❞✐t✐♦♥s
✁ ♣ au
✶q
✶♣ vu q
✶✏ f ♦♥ Ω u ♣ 0 q ✏ u
❧❢, u ♣ 1 q ✏ u
r❣,
✇❤❡r❡ ✇❡ ❛ss✉♠❡ t❤❛t a ❛♥❞ v ❛r❡ r❡❣✉❧❛r ❢✉♥❝t✐♦♥s ♦♥ Ω ✇✐t❤ a ♣ x q ➙ α → 0
❢♦r ❛❧❧ x P Ω ✇❤✐❧❡ f r❡♣r❡s❡♥ts ❛ r❡❣✉❧❛r s♦✉r❝❡ t❡r♠✳ ❊①t❡♥s✐♦♥ ❢♦r t✇♦✲
❛♥❞ t❤r❡❡✲❞✐♠❡♥s✐♦♥❛❧ ❣❡♦♠❡tr✐❡s ✐s ✉♥❞❡r st✉❞②✳
❚❤❡ r❡st ♦❢ t❤❡ ♣❛♣❡r ✐s ❛s ❢♦❧❧♦✇s✳ ❚❤❡ s❡❝♦♥❞ s❡❝t✐♦♥ r❡❝❛❧❧s t❤❡ ❝❧❛ss✐❝❛❧
✜♥✐t❡ ✈♦❧✉♠❡ s❝❤❡♠❡ ❢♦r ❝♦♥✈❡❝t✐♦♥✲❞✐✛✉s✐♦♥ ♣r♦❜❧❡♠ ✭♥❛♠❡❧② t❤❡ P❛t❛♥❦❛r
♠❡t❤♦❞✮✳ ❚❤❡♥✱ ✇❡ ✐♥tr♦❞✉❝❡ s❡✈❡r❛❧ ♣♦❧②♥♦♠✐❛❧ r❡❝♦♥str✉❝t✐♦♥s ✐♥ s❡❝t✐♦♥
t❤r❡❡✱ ✇❤✐❧❡ t❤❡ ❢♦✉rt❤ s❡❝t✐♦♥ ✐s ❞❡✈♦t❡❞ t♦ t❤❡ ❤✐❣❤✲♦r❞❡r ✜♥✐t❡ ✈♦❧✉♠❡
s❝❤❡♠❡s✳ ❚❤❡ ❧❛st s❡❝t✐♦♥ ❝♦♥❝❡r♥s t❤❡ ♥✉♠❡r✐❝❛❧ t❡sts t♦ s❤♦✇ t❤❡ s❝❤❡♠❡
❝❛♣❛❝✐t② t♦ ♣r♦✈✐❞❡ s✐①t❤✲♦r❞❡r ❛❝❝✉r❛❝② ❜♦t❤ ❢♦r t❤❡ ❝♦♥✈❡❝t✐✈❡ ❛♥❞ t❤❡
❞✐✛✉s✐✈❡ ♣❛rt ♦❢ t❤❡ ♦♣❡r❛t♦r✳
✷✳ P❛t❛♥❦❛r ✜♥✐t❡ ✈♦❧✉♠❡ s❝❤❡♠❡s
❚♦ ❞❡s✐❣♥ t❤❡ ♥✉♠❡r✐❝❛❧ s❝❤❡♠❡s✱ ✇❡ ❞❡♥♦t❡ ❜② T
h❛ ♠❡s❤ ♦❢ Ω ❝♦♥st✐t✉✲
t❡❞ ♦❢ ❝❡❧❧s K
i: ✏ r x
i✁1④2, x
i 1④2s✱ i ✏ 1, . . . , I ✱ ♦❢ ❝❡♥tr♦✐❞ c
i✱ ✇❤❡r❡ x
1④2: ✏ 0
❛♥❞ x
i 1④2: ✏ x
i✁1④2h
i✱ ❛♥❞ s❡t h
r❛s t❤❡ r❛t✐♦ ❜❡t✇❡❡♥ t❤❡ ❧❡♥❣t❤ ♦❢ t✇♦
❝♦♥s❡❝✉t✐✈❡ ❝❡❧❧s✱ t❤❛t ✐s h
r: ✏ h
ih
i 1✱ i ✏ 1, 3, . . . , I ✁ 1 ✭❝❢✳ ❋✐❣✳ ✶✮✳
h
ix
12
≡ 0 K
1b
c
1x
32
x
i−12
K
ib
c
ix
i+12
x
I−12
K
Ib
c
Ix
I+12
≡ 1
❋✐❣✉r❡ ✶✿ ▼❡s❤✱ ❝❡❧❧s ❛♥❞ ✐♥t❡r❢❛❝❡ ♥♦t❛t✐♦♥s
■♥ t❤❡ ✜♥✐t❡ ✈♦❧✉♠❡ ❝♦♥t❡①t✱ u
i❞❡♥♦t❡s ❛♥ ❛♣♣r♦①✐♠❛t✐♦♥ ♦❢ t❤❡ ♠❡❛♥
✈❛❧✉❡ ♦✈❡r ❝❡❧❧ K
i✱ t❤❛t ✐s u
i✓ 1 h
i➺
Ki
u ♣ x q ❞ x ✳ ❋♦r t❤❡ s❛❦❡ ♦❢ ❝♦♥s✐st❡♥❝②✱
✇❡ r❡❝❛❧❧ t❤❛t t❤❡ P❛t❛♥❦❛r s❝❤❡♠❡ ❢♦r ❡❛❝❤ ❝❡❧❧ K
i✱ i ✏ 1, . . . , I ✱ ✐s ❣✐✈❡♥
✸
❜②
✁ ✑ F
P❞,i 12
♣ u
i, u
i 1q ✁ F
P❞,i✁12
♣ u
i✁1, u
iq ✙
✑ F
P❝,i 12
♣ u
i, u
i 1q ✁ F
P❝,i✁12
♣ u
i✁1, u
iq ✙
✏ h
if
i, ✭✶✮
✇❤❡r❡ t❤❡ ❞✐✛✉s✐✈❡ ❛♥❞ t❤❡ ❝♦♥✈❡❝t✐✈❡ ✢✉①❡s ✇r✐t❡
F
P❞,i 12
♣ u
i, u
i 1q : ✏ a ♣ x
i 12
q 2 ♣ u
i 1✁ u
iq
♣ h
ih
i 1q , ✭✷✮
F
P❝,i 12
♣ u
i, u
i 1q : ✏ r v ♣ x
i 12
qs u
ir v ♣ x
i 12
qs
✁u
i 1, ✭✸✮
r❡s♣❡❝t✐✈❡❧②✳ ❲❡ ❤❛✈❡ s❡t h
0: ✏ 0 ✱ h
I 1: ✏ 0 ✱ u
0: ✏ u
❧❢✱ u
I 1: ✏ u
r❣✱ ❛♥❞
✉s❡❞ t❤❡ ♥♦t❛t✐♦♥ r α s : ✏
α2⑤α⑤✱ ❛♥❞ r α s
✁: ✏
α✁⑤2α⑤✳ ❋✐♥❛❧❧②✱ f
i❞❡♥♦t❡s ❛♥
❛♣♣r♦①✐♠❛t✐♦♥ ♦❢ t❤❡ ♠❡❛♥ ✈❛❧✉❡ ♦❢ f ♦✈❡r ❝❡❧❧ K
i✱ t❤❛t ✐s f
i✓ 1 h
i➺
Ki
f ❞ x ✳
❊q✉❛t✐♦♥s ✭✶✮✱ ✭✷✮✱ ✭✸✮ ❧❡❛❞ t♦ t❤❡ ❧✐♥❡❛r s②st❡♠
A
PU ✏ F F
D,
✇✐t❤ U : ✏ ♣ u
1, . . . , u
Iq
tP R
It❤❡ ✉♥❦♥♦✇♥ ✈❛❧✉❡s✱ A
P❛♥ ▼✲♠❛tr✐①✱ F : ✏
♣ h
1f
1, . . . , h
If
Iq
tP R
It❤❡ s♦✉r❝❡ t❡r♠✱ ❛♥❞
F
D: ✏ ✁✦ 2a ♣ 0 q h
1r v ♣ 0 qs ✮
u
❧❢, 0, . . . , 0,
✦ 2a ♣ 1 q
h
Ir v ♣ 1 qs
✁✮ u
r❣✠
tP R
It❤❡ ✈❡❝t♦r ❝♦❧❧❡❝t✐♥❣ t❤❡ ❝♦♥tr✐❜✉t✐♦♥s ❞❡r✐✈✐♥❣ ❢r♦♠ t❤❡ ❉✐r✐❝❤❧❡t ❜♦✉♥❞❛r②
❝♦♥❞✐t✐♦♥s✳ ❘❡♠❛r❦ t❤❛t t❤❡ ✜♥✐t❡ ✈♦❧✉♠❡ s❝❤❡♠❡ ✐s ♥♦t ❡q✉✐✈❛❧❡♥t t♦ t❤❡
✜♥✐t❡ ❡❧❡♠❡♥t s❝❤❡♠❡ ♦r ✜♥✐t❡ ❞✐✛❡r❡♥❝❡ ♦♥❡ ❢♦r ♥♦♥✲✉♥✐❢♦r♠ ♠❡s❤❡s✳
✸✳ P♦❧②♥♦♠✐❛❧ r❡❝♦♥str✉❝t✐♦♥ ♦♣❡r❛t♦rs ✭P❘❖✮
❚❤❡ ♠❛✐♥ t♦♦❧ t♦ ♣r♦✈✐❞❡ ✈❡r② ❤✐❣❤✲♦r❞❡r ❛♣♣r♦①✐♠❛t✐♦♥s ✐s ❛ ❝✉t❡ ♣♦❧②✲
♥♦♠✐❛❧ ❛♣♣r♦①✐♠❛t✐♦♥✳ ■♥ t❤❡ s❡q✉❡❧✱ ✇❡ s❤❛❧❧ ❝♦♥s✐❞❡r t❤r❡❡ ❦✐♥❞s ♦❢ r❡✲
❝♦♥str✉❝t✐♦♥s✳ ❋♦r ❡❛❝❤ ❝❡❧❧ K
i✱ i ✏ 1, . . . , I ✱ ✇❡ ❞❡♥♦t❡ ❜② ν ♣ i q t❤❡ st❡♥❝✐❧
❛ss♦❝✐❛t❡❞ t♦ ❝❡❧❧ K
is✉❝❤ t❤❛t i ❘ ν ♣ i q✱ ✐✳❡✳ ❛ s❡t ♦❢ ♥❡✐❣❤❜♦r✐♥❣ ❝❡❧❧s✱ ❛♥❞
❜② u
i♣ x; ν ♣ i q , d q P P
dt❤❡ ♣♦❧②♥♦♠✐❛❧ r❡❝♦♥str✉❝t✐♦♥ ♦♥ ❝❡❧❧ K
i♦❢ ❞❡❣r❡❡ d
❜❛s❡❞ ♦♥ t❤❡ st❡♥❝✐❧ ν ♣ i q✳
■♥ ♣r❛❝t✐❝❡✱ ✇❡ ❜✉✐❧❞ t❤❡ st❡♥❝✐❧ ν ♣ i q ✐♥ ❢✉♥❝t✐♦♥ ♦❢ t❤❡ ♣♦❧②♥♦♠✐❛❧ ❞❡❣r❡❡
d ✇❡ s❤❛❧❧ r❡❝♦♥str✉❝t ♣✐❝❦✐♥❣ ✉♣ t❤❡ ♥❡❛r❡st d 1 ❝❡❧❧s t♦ K
i✳ ❆ ❞✐✣❝✉❧t②
❛r✐s❡s ✇❤❡♥ ❞❡❛❧✐♥❣ ✇✐t❤ ❝❡❧❧s ✇❤✐❝❤ s❤❛r❡ ❛ ♣♦✐♥t ✇✐t❤ t❤❡ ❜♦✉♥❞❛r②✳ ❚❤❡
t❤r❡❡ ♣r♦♣♦s❡❞ r❡❝♦♥str✉❝t✐♦♥s ✈❛r② ✐♥ t❤❡ ♠❛♥♥❡r t❤❛t t❤❡ ❜♦✉♥❞❛r② ❝♦♥✲
❞✐t✐♦♥s ❛r❡ ❝♦♥s✐❞❡r❡❞✳
✹
✸✳✶✳ ❉❡s✐❣♥ ♦❢ ♣♦❧②♥♦♠✐❛❧ ♣ u
i♣ x; ν ♣ i q , d q
❋♦r ❡❛❝❤ ❝❡❧❧ K
i✱ i ✏ 1, . . . , I ✱ ✇❡ ❝♦♥s✐❞❡r t❤❡ ♣♦❧②♥♦♠✐❛❧ ❡①♣r❡ss✐♦♥ ✭✇❡
s❦✐♣ t❤❡ ν ♣ i q r❡❢❡r❡♥❝❡ ❢♦r t❤❡ s❛❦❡ ♦❢ s✐♠♣❧✐❝✐t②✮
♣
u
i♣ x; d q : ✏ u
i➳
d α✏1♣ R
iα✒
♣ x ✁ c
iq
α✁ 1 h
i➺
Ki
♣ x ✁ c
iq
α❞ x
✚ ,
✇❤❡r❡ t❤❡ ❝♦❡✣❝✐❡♥ts ♣ R
iα✱ α ✏ 1, . . . , d ✱ ❛r❡ t❤❡ ♠✐♥✐♠✐③❡rs ♦❢ t❤❡ ❢✉♥❝t✐♦♥❛❧
E ♣
✁ R ♣
iα✠
: ✏ ➳
jPν♣iq
✓ 1 h
j➺
Kj
♣
u
i♣ x; d q ❞ x ✁ u
j✛
2, i ✏ 1, . . . , I.
❆s ✇❡ s❤❛❧❧ s❡❡✱ s✉❝❤ ❛ r❡❝♦♥str✉❝t✐♦♥ ✐s ✇❡❧❧✲❛❞❛♣t❡❞ ❢♦r t❤❡ ❤②♣❡r❜♦❧✐❝
♣❛rt ♦❢ t❤❡ ❝♦♥✈❡❝t✐♦♥ ❞✐✛✉s✐♦♥ ♦♣❡r❛t♦r✳
✸✳✷✳ ❉❡s✐❣♥ ♦❢ ♣♦❧②♥♦♠✐❛❧ r u
i♣ x; ν ♣ i q , d q
❋♦r ❡❛❝❤ ❝❡❧❧ K
i✱ i ✏ 2, . . . , I ✁ i ✱ ✇❡ ✉s❡ t❤❡ s❛♠❡ ♣♦❧②♥♦♠✐❛❧ ❢✉♥❝t✐♦♥
t❤❛♥ ❛❜♦✈❡ s❡tt✐♥❣ r R
iα: ✏ ♣ R
iα✇✐t❤
r
u
i♣ x; d q : ✏ u
i➳
d α✏1r R
iα✒
♣ x ✁ c
iq
α✁ 1 h
i➺
Ki
♣ x ✁ c
iq
α❞ x
✚ .
❚♦ ♣r♦✈✐❞❡ t❤❡ r❡❝♦♥str✉❝t❡❞ ♣♦❧②♥♦♠✐❛❧ ❢✉♥❝t✐♦♥ ❢♦r i ✏ 1 ✱ ✇❡ s❧✐❣❤t❧②
♠♦❞✐❢② t❤❡ ❢✉♥❝t✐♦♥❛❧ ✐♥tr♦❞✉❝✐♥❣ t❤❡ ❜♦✉♥❞❛r② ❝♦♥❞✐t✐♦♥
E r
✁ R r
1α✠
: ✏ ♣r u
1♣ 0 q ✁ u
❧❢q
2➳
jPν♣0q
✓ 1 h
j➺
Kj
r
u
1♣ x; d q ❞ x ✁ u
j✛
2,
✇❤❡r❡ ✇❡ s❡t ν ♣ 0 q : ✏ ν ♣ 1 q✁t❧❛st ❝❡❧❧ ♦❢ ν ♣ 1 q✉✳ ■♥ t❤❡ s❛♠❡ ✇❛②✱ ✇❡ ❝♦♠♣✉t❡
t❤❡ ❧❛st ♣♦❧②♥♦♠✐❛❧ ❜② ♠✐♥✐♠✐③✐♥❣ ❢✉♥❝t✐♦♥❛❧
E r
✁ R r
Iα✠
: ✏ ➳
jPν♣I 1q
✓ 1 h
j➺
Kj
r
u
I♣ x; d q ❞ x ✁ u
j✛
2♣r u
I♣ 1 q ✁ u
r❣q
2,
✇❤❡r❡ ♥♦✇ ✇❡ s❡t ν ♣ I 1 q : ✏ ν ♣ I q ✁ t✜rst ❝❡❧❧ ♦❢ ν ♣ I q✉✳ ❲❡ s❤❛❧❧ s❡❡ ✐♥
t❤❡ s❡q✉❡❧ t❤❛t t❤❡ r❡❝♦♥str✉❝t✐♦♥ ✐s ✇❡❧❧✲❛❞❛♣t❡❞ ❢♦r t❤❡ ❡❧❧✐♣t✐❝ ♣❛rt ♦❢ t❤❡
❝♦♥✈❡❝t✐♦♥ ❞✐✛✉s✐♦♥ ♦♣❡r❛t♦r✳
✺
✸✳✸✳ ❉❡s✐❣♥ ♦❢ ♣♦❧②♥♦♠✐❛❧ q u
i♣ x; ν ♣ i q , d q
❲❡ ✜rst ❞❡✜♥❡ r❡❝♦♥str✉❝t✐♦♥ q u
i♣ x; d q : ✏ ♣ u
i♣ x; d q ❢♦r i ✏ 1, . . . , I ❛♥❞
❛❞❞ t✇♦ ♥❡✇ ♣♦❧②♥♦♠✐❛❧ ❢✉♥❝t✐♦♥s ❢♦r i ✏ 0 ❛♥❞ i ✏ I 1 ✳ ❋♦r i ✏ 0 ✱ ✇❡
s❡t
q
u
0♣ x; d q : ✏ u
❧❢➳
d α✏1q
R
0α♣ x ✁ 0 q
α,
✇❤❡r❡ ✇❡ ❞❡t❡r♠✐♥❡ t❤❡ ❝♦❡✣❝✐❡♥ts ♠✐♥✐♠✐③✐♥❣ t❤❡ ❢✉♥❝t✐♦♥❛❧
E q
✁ R q
iα✠
: ✏ ➳
jPν♣0q
✓ 1 h
j➺
Kj
q
u
0♣ x; d q ❞ x ✁ u
j✛
2.
■♥ t❤❡ s❛♠❡ ✇❛②✱ ✇❡ s❡t q
u
I 1♣ x; d q : ✏ u
r❣➳
d α✏1q
R
Iα 1♣ x ✁ 1 q
α,
✇❤❡r❡ ♥♦✇ t❤❡ ❝♦❡✣❝✐❡♥ts ♠✐♥✐♠✐③❡ t❤❡ ❢✉♥❝t✐♦♥❛❧
E q
✁ R q
Iα 1✠
: ✏ ➳
jPν♣I 1q
✓ 1 h
j➺
Kj
q
u
I 1♣ x; d q ❞ x ✁ u
j✛
2✭ ν ♣ 0 q ❛♥❞ ν ♣ I 1 q ❛r❡ t❤❡ s❛♠❡ s❡ts ♦❢ t❤❡ ♣r❡✈✐♦✉s s✉❜s❡❝t✐♦♥✮✳
✹✳ ❋✐♥✐t❡ ✈♦❧✉♠❡ s❝❤❡♠❡s
❚❤❡ ❞❡s✐❣♥ ♦❢ t❤❡ ✜♥✐t❡ ✈♦❧✉♠❡ s❝❤❡♠❡s ✐s ❜❛s❡❞ ♦♥ t❤❡ P♦❧②♥♦♠✐❛❧ ❘❡✲
❝♦♥str✉❝t✐♦♥ ❖♣❡r❛t♦r ✭P❘❖✲❋❱✲s❝❤❡♠❡✮✳ ❚❤❡ ❞✐✛✉s✐✈❡ ❛♥❞ t❤❡ ❝♦♥✈❡❝t✐✈❡
✢✉①❡s ❢♦r t❤❡ ✐♥t❡r✐♦r ♣♦✐♥ts ✇r✐t❡
F
❞,i 12
♣ u
i, u
i 1q : ✏ a ♣ x
i 12
q u
✶i
♣ x
i 12
; d q u
✶i 1
♣ x
i 12
; d q
2 ❛♥❞
F
❝,i 12
♣ u
i, u
i 1q : ✏ r v ♣ x
i 12
qs u
i♣ x
i 12
; d q r v ♣ x
i 12
qs
✁u
i 1♣ x
i 12
; d q , i ✏ 1, . . . , I ✁ 1 ✱ r❡s♣❡❝t✐✈❡❧②✱ ✇❤❡r❡ u ♠❡❛♥s q u ♦r r u ♦r ♣ u ✳
◆✉♠❡r✐❝❛❧ ✢✉① ❛t t❤❡ ❜♦✉♥❞❛r② ❤❛s t♦ ❜❡ ❡✈❛❧✉❛t❡❞ ❛s ❛ ❢✉♥❝t✐♦♥ ♦❢ t❤❡
♣♦❧②♥♦♠✐❛❧ r❡❝♦♥str✉❝t✐♦♥ ❢♦r i ✏ 0 ❛♥❞ i ✏ I 1 ✇❤❡♥ ♥❡❝❡ss❛r②✳ ❋♦r t❤❡
❝♦♥✈❡❝t✐✈❡ ✢✉①✱ ✇❡ ✉s❡ t❤❡ ❡①t❡♥s✐♦♥ ♣ u
0✑ r u
0: ✏ u
❧❢❛♥❞ ♣ u
I 1✑ r u
I 1: ✏ u
r❣✇❤❡♥ ❡♠♣❧♦②✐♥❣ r❡❝♦♥str✉❝t✐♦♥s ♣ u ♦r r u r❡s♣❡❝t✐✈❡❧②✳ ❋♦r t❤❡ ❞✐✛✉s✐✈❡ ✢✉①
✻
✇❡ s❡t r u
0: ✏ r u
1❛♥❞ r u
I: ✏ r u
I 1✳ ■t ✐s ✐♠♣♦rt❛♥t t♦ r❡♠❛r❦ t❤❛t ♥♦t❛t✐♦♥s r
u
0❛♥❞ r u
I 1❤❛✈❡ ❞✐✛❡r❡♥t ♠❡❛♥✐♥❣s ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ ❝♦♥✈❡❝t✐✈❡ ✢✉① ♦r t❤❡ ❞✐✛✉s✐✈❡ ✢✉①✳
❇❛s❡❞ ♦♥ t❤❡ ♣♦❧②♥♦♠✐❛❧ r❡❝♦♥str✉❝t✐♦♥ ❛♥❞ t❤❡ ❞❡✜♥✐t✐♦♥ ♦❢ t❤❡ ✢✉①❡s✱
✇❡ ♥♦✇ ✐♥tr♦❞✉❝❡ t❤r❡❡ ❛✣♥❡ ♦♣❡r❛t♦rs U Ñ G
α♣ U ; u
❧❢, u
r❣, f, d q✱ α ✏ 1, 2, 3 ✱
❢r♦♠ R
I✐♥t♦ R
I❣✐✈❡♥ ❝♦♠♣♦♥❡♥t ❜② ❝♦♠♣♦♥❡♥t ❜②✿
G
1i♣ U ; u
❧❢, u
r❣, f, d q : ✏ ✁ ✑ F
❞,i 12
♣q u
i, u q
i 1q ✁ F
❞,i✁12
♣q u
i, u q
i 1q ✙
✑ F
❝,i 12
♣q u
i, u q
i 1q ✁ F
❝,i✁12
♣q u
i, q u
i 1q ✙
✁ h
if
i, ✭✹✮
G
2i♣ U ; u
❧❢, u
r❣, f, d q : ✏ ✁ ✑ F
❞,i 12
♣r u
i, u r
i 1q ✁ F
❞,i✁12
♣r u
i, u r
i 1q ✙
✑ F
❝,i 12
♣r u
i, u r
i 1q ✁ F
❝,i✁12
♣r u
i, r u
i 1q ✙
✁ h
if
i, ✭✺✮
G
3i♣ U ; u
❧❢, u
r❣, f, d q : ✏ ✁ ✑ F
❞,i 12
♣r u
i, u r
i 1q ✁ F
❞,i✁12
♣r u
i, u r
i 1q ✙
✑ F
❝,i 12
♣♣ u
i, u ♣
i 1q ✁ F
❝,i✁12
♣♣ u
i, ♣ u
i 1q ✙
✁ h
if
i. ✭✻✮
■t r❡s✉❧ts t❤❛t t❤❡ ♥✉♠❡r✐❝❛❧ s♦❧✉t✐♦♥ ♦❢ s②st❡♠ ✭✹✮✱ ✭✺✮ ♦r ✭✻✮ ✐s t❤❡ s♦❧✉t✐♦♥
U ♦❢ t❤❡ ❛✣♥❡ ♣r♦❜❧❡♠
G
α♣ U; u
❧❢, u
r❣, f, d q ✏ ♣ 0, . . . , 0 q
t.
❘❡♠❛r❦ ✶✳ ❚♦ ❞❡t❡r♠✐♥❡ t❤❡ ♥✉♠❡r✐❝❛❧ s♦❧✉t✐♦♥✱ ✇❡ r❡❝❛st t❤❡ ♣r♦❜❧❡♠ ❛s
❛ ❧✐♥❡❛r s②st❡♠ ♦❢ ❡q✉❛t✐♦♥s ✐♥ t❤❡ ❢♦r♠ Ax ✏ b ✳ ❚♦ t❤✐s ❡♥❞✱ ✇❡ ✜rst ❞❡✲
t❡r♠✐♥❡ t❤❡ r✐❣❤t✲❤❛♥❞ s✐❞❡ t❡r♠ s❡tt✐♥❣ b : ✏ G
α♣ 0; u
❧❢, u
r❣, f, d q✳ ❲❡ t❤❡♥
❞❡t❡r♠✐♥❡ ❝♦❧✉♠♥ A
i✇✐t❤ A
i: ✏ G
α♣ e
i; u
❧❢, u
r❣, f, d q ✁ b ✱ e
i❜❡✐♥❣ t❤❡ ❝❛♥♦♥✲
✐❝❛❧ ✈❡❝t♦r✱ i ✏ 1, . . . , I ✳ ❋♦r t❤❡ s❛❦❡ ♦❢ s✐♠♣❧✐❝✐t②✱ ✇❡ ❡♠♣❧♦② ❛ ❞✐r❡❝t
♠❡t❤♦❞ s♦❧✈✐♥❣ t❤❡ ❧✐♥❡❛r s②st❡♠ ❛❧❧♦✇✐♥❣ t♦ ❡✈❛❧✉❛t❡ t❤❡ ❝♦♥❞✐t✐♦♥✐♥❣ ♥✉♠✲
❜❡r ♦❢ t❤❡ s②st❡♠ k ♣ A q✳ ❖❢ ❝♦✉rs❡✱ ✐t❡r❛t✐✈❡ ♠❡t❤♦❞ ❧✐❦❡ ❑r②❧♦✈ ♠❡t❤♦❞ ✇✐❧❧
❜❡ ♠♦r❡ ❡✣❝✐❡♥t ❢♦r ❧❛r❣❡r s②st❡♠✳
✺✳ ◆✉♠❡r✐❝❛❧ t❡sts
❚♦ ❤✐❣❤❧✐❣❤t t❤❡ ❡✛❡❝t✐✈❡♥❡ss ❛♥❞ r♦❜✉st♥❡ss ♦❢ t❤❡ s❝❤❡♠❡ ✇❡ ❞❡t❛✐❧
✜✈❡ t❡sts ❞❡❞✐❝❛t❡❞ t♦ ❡❛❝❤ s♣❡❝✐✜❝ ❛s♣❡❝t ♦❢ t❤❡ ♠❡t❤♦❞✿ t❤❡ ❝❤♦✐❝❡ ♦❢ t❤❡
r❡❝♦♥str✉❝t✐♦♥✱ str♦♥❣ P❡❝❧❡t ♥✉♠❜❡r✱ ♣✉r❡ ❝♦♥✈❡❝t✐✈❡ ♦r ❞✐✛✉s✐✈❡ ♣r♦❜❧❡♠s✱
r♦❜✉st♥❡ss ♦❢ t❤❡ s❝❤❡♠❡ ✇✐t❤ ♥♦♥✲✉♥✐❢♦r♠ ♠❡s❤❡s✱ ❛♥❞ ❞✐✛✉s✐♦♥ ❡q✉❛t✐♦♥
✇✐t❤ ♥♦♥✲❝♦♥st❛♥t ❝♦❡✣❝✐❡♥ts✳ ◆♦t❡ t❤❛t ◆❆ ♠❡❛♥s ✧♥♦t ❛♣♣❧✐❝❛❜❧❡✧ ✐♥ t❤❡
t❛❜❧❡s✳
✼
✺✳✶✳ ❊rr♦r ♠❡❛s✉r❡♠❡♥ts
■♥ t❤❡ ❢♦❧❧♦✇✐♥❣✱ ⑥ U ⑥
✽✏ max
i✏1,...,I
⑤ u
i⑤ r❡♣r❡s❡♥ts t❤❡ L
✽♥♦r♠ ♦❢ ✈❡❝t♦r U ✳ ◆♦t❡ t❤❛t ✇❡ ✐♥t❡♥t✐♦♥❛❧❧② ✉s❡ t❤❡ L
✽♥♦r♠ s✐♥❝❡ ✇❡ ❞❡❛❧ ✇✐t❤ r❡❣✉❧❛r
❢✉♥❝t✐♦♥s✳
❲❡ ✜rst ♠❡❛s✉r❡ t❤❡ ❝♦♥s✐st❡♥❝② ❡rr♦r ♦❢ t❤❡ s❝❤❡♠❡s t♦ ♦❜s❡r✈❡ t❤❡ r❛t❡
♦❢ ❝♦♥✈❡r❣❡♥❝❡ ✉s✐♥❣ t❤❡ ❡①❛❝t s♦❧✉t✐♦♥ ✐♥ t❤❡ ❛❧❣♦r✐t❤♠✳ ❋♦r t❤❡ P❛t❛♥❦❛r s❝❤❡♠❡✱ t❤❡ ❝♦♥s✐st❡♥❝② ❡rr♦r ✐s ❣✐✈❡♥ ❜②
E
C♣ U q : ✏ ⑥ A
PU ✁ F ✁ F
D⑥
✽,
✇❤✐❧❡ ✇❡ ✐♥tr♦❞✉❝❡ t❤❡ ❝♦♥s✐st❡♥❝② ❡rr♦r ❢♦r t❤❡ t❤r❡❡ s❝❤❡♠❡s G
α✱ α ✏ 1, 2, 3 ✱ ❜②
E
C♣ U q : ✏ ✎✎ ✎ G
α♣ U ; u
❧❢, u
r❣, f, d q ✎✎ ✎
✽
,
✇❤❡r❡
U : ✏ ♣ u
1, . . . , u
Iq , u
i: ✏ 1 h
i➺
Ki
u dx,
❛r❡ t❤❡ ❡①❛❝t ♠❡❛♥ ✈❛❧✉❡s ♦❢ t❤❡ s♦❧✉t✐♦♥ ♦❢ t❤❡ ❝♦♥t✐♥✉♦✉s ♣r♦❜❧❡♠✳
❚❤❡ ❡rr♦r ❜❡t✇❡❡♥ t❤❡ s♦❧✉t✐♦♥ ❛♥❞ ✐ts ❛♣♣r♦①✐♠❛t✐♦♥s ✐s ♣r♦✈✐❞❡❞ ✇✐t❤
L
✽♥♦r♠✱ ♥❛♠❡❧②
E
0: ✏ max
Ii✏1
⑤ u
i✁ u
i⑤ .
◆♦t❡ t❤❛t E
0❞♦❡s ♥♦t ❞❡♣❡♥❞ ♦♥ t❤❡ ♣♦❧②♥♦♠✐❛❧ r❡❝♦♥str✉❝t✐♦♥ ❜✉t ♦♥ t❤❡
♠❡❛♥ ✈❛❧✉❡s✳
❙✐♥❝❡ ❞✐✛✉s✐✈❡ ✢✉① ✉s❡ ❞❡r✐✈❛t✐✈❡s ❛t t❤❡ ✐♥t❡r❢❛❝❡✱ ✇❡ ✐♥tr♦❞✉❝❡ E
1❛s t❤❡ L
✽❡rr♦r ♦❢ t❤❡ ❞❡r✐✈❛t✐✈❡✳ ❋♦r t❤❡ G
αs❝❤❡♠❡s✱ ✇❡ ✉s❡ t❤❡ ♣♦❧②♥♦♠✐❛❧
r❡❝♦♥str✉❝t✐♦♥✱ s❡tt✐♥❣
E
1♣ u q : ✏ max
Ii✏1
✦✞✞ ✞ u
✶i♣ x
i✁12
q ✁ u
✶♣ x
i✁12
q ✞✞ ✞ , ✞✞ ✞ u
✶i♣ x
i 12
q ✁ u
✶♣ x
i 12
q ✞✞ ✞ ✮ .
❲✐t❤ s✉❝❤ ❛ ❞❡✜♥✐t✐♦♥✱ ✇❡ ♠❡❛s✉r❡ t❤❡ ❡rr♦r ♦❢ t❤❡ ❞❡r✐✈❛t✐✈❡s ✇✐t❤ E
1♣q u q
❛♥❞ E
1♣r u q ❢♦r s❝❤❡♠❡ G
1❛♥❞ G
2r❡s♣❡❝t✐✈❡❧②✳ ❋♦r t❤❡ t❤✐r❞ s❝❤❡♠❡✱ ✇❡
✉s❡ E
1♣r u q s✐♥❝❡ ✇❡ ❤❛✈❡ t♦ ❝♦♠♣❛r❡ t❤❡ ❞❡r✐✈❛t✐✈❡ ❛♣♣r♦①✐♠❛t✐♦♥ ✇✐t❤ t❤❡
tr✉❡ ❞❡r✐✈❛t✐✈❡ ❛t t❤❡ ✐♥t❡r❢❛❝❡ ✇❤✐❝❤ ♦♥❧② ✐♥✈♦❧✈❡s ♣♦❧②♥♦♠✐❛❧s r u ✳ ❋♦r t❤❡
P❛t❛♥❦❛r s❝❤❡♠❡✱ ✇❡ ♣r♦✈✐❞❡ ❛♥ ❛♣♣r♦①✐♠❛t✐♦♥ ♦❢ t❤❡ ❞❡r✐✈❛t✐✈❡ ✉s✐♥❣ t❤❡
❞✐✈✐❞❡❞ ❞✐✛❡r❡♥❝❡s✳
✽
✺✳✷✳ ❊①❛♠♣❧❡ ✶
■♥ t❤❡ ✜rst t❡st✱ ✇❡ ❝♦♥s✐❞❡r t❤❡ ✈❡r② s✐♠♣❧❡ ❝♦♥✈❡❝t✐♦♥ ❞✐✛✉s✐♦♥ ♣r♦❜❧❡♠
✇✐t❤ ❝♦♥st❛♥t ❞✐✛✉s✐♦♥ ❛♥❞ ✈❡❧♦❝✐t② ❝♦❡✣❝✐❡♥ts s❡tt✐♥❣ a ✏ 1 ✱ v ✏ 1 ❛♥❞
u
❧❢✏ 1 ✱ u
r❣✏ ❡ ♦♥ t❤❡ ❜♦✉♥❞❛r② ✇❤✐❧❡ f ✏ 0 ✳ ❚❤❡ ❡①❛❝t s♦❧✉t✐♦♥ ✐s u ♣ x q ✏ exp ♣ x q✳ ❈♦♠♣✉t❛t✐♦♥s ❛r❡ ❝❛rr✐❡❞ ♦✉t ♦♥ ✉♥✐❢♦r♠ ♠❡s❤❡s ✭ h
r✏ 1 ✮
♦❢ I ❝❡❧❧s ✇✐t❤ I ✏ 10, 20, 40, 80 r❡s♣❡❝t✐✈❡❧②✳ ❲❡ ♣❧♦t ✐♥ ❋✐❣✉r❡ ✷ t❤❡
❝♦♥✈❡r❣❡♥❝❡ ❝✉r✈❡s ❢♦r t❤❡ G
3s❝❤❡♠❡ ✇❤✐❧❡ ✇❡ ❞✐s♣❧❛② ✐♥ ❚❛❜❧❡s ✶✱ ✷✱ ❛♥❞
✸ t❤❡ ❡rr♦rs E
C✱ E
0✱ ❛♥❞ E
1✇✐t❤ t❤❡✐r r❡s♣❡❝t✐✈❡ ❝♦♥✈❡r❣❡♥❝❡ r❛t❡ ❢♦r t❤❡
t❤r❡❡ s❝❤❡♠❡s✳
• ❚❤❡ G
1s❝❤❡♠❡
✕ ❊rr♦r E
C✳ ❆❧❧ t❤❡ r❡❝♦♥str✉❝t✐♦♥s ❛❝❤✐❡✈❡ t❤❡ ❡①♣❡❝t❡❞ ♦♣t✐♠❛❧
♦r❞❡r d ✳ ■♥❞❡❡❞✱ ✇❡ ❝❛♥ ♥♦t ❡①♣❡❝t ❛ d 1 ❝♦♥✈❡r❣❡♥❝❡ r❛t❡ s✐♥❝❡
♦♥❧② ♣♦❧②♥♦♠✐❛❧ ❞❡r✐✈❛t✐✈❡s ❛♣♣❡❛r ✐♥ t❤❡ ❞✐✛✉s✐✈❡ ✢✉① ❡①♣r❡s✲
s✐♦♥✳
✕ ❊rr♦r E
0✳ ❋♦r t❤❡ P
1✱ P
3✱ ❛♥❞ P
5r❡❝♦♥str✉❝t✐♦♥✱ ✇❡ ❛r❡ ❝❧♦s❡
t♦ t❤❡ ♦♣t✐♠❛❧ ♦r❞❡r ❝♦♥✈❡r❣❡♥❝❡ ✇✐t❤ ✷✱ ✹✱ ❛♥❞ ✻ r❡s♣❡❝t✐✈❡❧②✱
✇❤❡r❡❛s ✇❡ ❞♦ ♥♦t r❡❛❝❤ t❤❡ ❡①♣❡❝t❡❞ ♦♣t✐♠❛❧ r❡❝♦♥str✉❝t✐♦♥ ❛♥❞
♦❜s❡r✈❡ ❛♥ ❛❝❝✉r❛❝② ❞✐s❝r❡♣❛♥❝② ❢♦r t❤❡ P
2❛♥❞ P
4r❡❝♦♥str✉❝✲
t✐♦♥s✳
✕ ❊rr♦r E
1✳ ❆❧❧ t❤❡ r❡❝♦♥str✉❝t✐♦♥s ❛r❡ ❝❧♦s❡ t♦ t❤❡ ♦♣t✐♠❛❧ ♦r❞❡r
❝♦♥✈❡r❣❡♥❝❡ ❢♦r t❤❡ ❞❡r✐✈❛t✐✈❡ ❛♣♣r♦①✐♠❛t✐♦♥s✳
✕ ❚❤❡ ❝♦♥❞✐t✐♦♥✐♥❣ ♥✉♠❜❡r ♦❢ t❤❡ ♠❛tr✐❝❡s ✐♥❝r❡❛s❡s ✇✐t❤ t❤❡ r❡✲
❝♦♥str✉❝t✐♦♥ ♦r❞❡r ❛♥❞ t❤❡ ♥✉♠❜❡r ♦❢ ❝❡❧❧s✳
• ❚❤❡ G
2s❝❤❡♠❡
✕ ❚❤❡ ❝♦♥✈❡r❣❡♥❝❡ r❛t❡ ✐s ✈❡r② s✐♠✐❧❛r t♦ t❤❡ ❝❛s❡ G
1✳ ❲❡ ❥✉st r❡♠❛r❦ t❤❛t t❤❡ P
1❞♦❡s ♥♦t ♣r♦✈✐❞❡ t❤❡ ❡①♣❡❝t❡❞ ❝♦♥✈❡r❣❡♥❝❡
r❛t❡✳
✕ ❚❤❡ ❝♦♥❞✐t✐♦♥✐♥❣ ♥✉♠❜❡rs ♦❢ ♠❛tr✐❝❡s ❞❡r✐✈✐♥❣ ❢r♦♠ t❤❡ G
2s❝❤❡♠❡
❛r❡ s❧✐❣❤t❧② ❤✐❣❤❡r ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ G
1s❝❤❡♠❡✳
• ❚❤❡ G
3s❝❤❡♠❡
✕ ❲❡ ♦❜t❛✐♥ ✈❡r② s✐♠✐❧❛r r❡s✉❧ts ✇✐t❤ t❤❡ G
1s❝❤❡♠❡ ❛♥❞ ♦❜s❡r✈❡ ❛
❞✐s❝r❡♣❛♥❝② ♦❢ t❤❡ ♦r❞❡r ♦❢ ❝♦♥✈❡r❣❡♥❝❡ ❢♦r t❤❡ P
1r❡❝♦♥str✉❝t✐♦♥✳
✕ ▼❛tr✐❝❡s ❝♦♥❞✐t✐♦♥✐♥❣ ♥✉♠❜❡r ❛r❡ ❡q✉❛❧ t♦ t❤❡ ❝❛s❡ G
2✳
✾
✕ ❈♦♥✈❡r❣❡♥❝❡ ❝✉r✈❡s ❛r❡ ❧✐♥❡❛r ♣r♦✈✐❞✐♥❣ ❝❧❡❛r ❝♦♥✈❡r❣❡♥❝❡ r❛t❡s✳
❋✐❣✉r❡ ✷✿ ❚❤❡G3s❝❤❡♠❡✿ ❝♦♥✈❡r❣❡♥❝❡ ❝✉r✈❡s ♦❢ E0 ✭❧❡❢t✮ ❛♥❞E1 ✭r✐❣❤t✮✳
✺✳✸✳ ❊①❛♠♣❧❡ ✷
❲❡ ♥♦✇ ❝♦♥s✐❞❡r ❛ s✐♠✐❧❛r ❝♦♥✈❡❝t✐♦♥ ❞✐✛✉s✐♦♥ ♣r♦❜❧❡♠ ✇✐t❤ ❛ ❧❛r❣❡
P❡❝❧❡t ♥✉♠❜❡r s❡tt✐♥❣ a ✏ 1 ❛♥❞ v ✏ 10000 ✇✐t❤ t❤❡ s❛♠❡ ❜♦✉♥❞❛r② ❝♦♥✲
❞✐t✐♦♥s ❛s ❊①❛♠♣❧❡ ✶ ❛♥❞ ✉♥✐❢♦r♠ ♠❡s❤❡s✳ ❲❡ s❡t f ♣ x q ✏ 9999 exp ♣ x q ✐♥
♦r❞❡r t♦ ✜♥❞ ❛❣❛✐♥ t❤❡ s♦❧✉t✐♦♥ u ♣ x q ✏ exp ♣ x q✳
❲❡ ❣✐✈❡ ✐♥ ❚❛❜❧❡s ✹ ❛♥❞ ✺ t❤❡ ❡rr♦rs E
C✱ E
0✱ ❛♥❞ E
1✇✐t❤ t❤❡✐r r❡s♣❡❝t✐✈❡
❝♦♥✈❡r❣❡♥❝❡ r❛t❡ ❢♦r t❤❡ t✇♦ s❝❤❡♠❡s G
2❛♥❞ G
3✳ ❈❧❡❛r❧②✱ t❤❡ P❛t❛♥❦❛r s❝❤❡♠❡ ❞♦❡s ♥♦t ♣r♦✈✐❞❡ ❛ ❣♦♦❞ s♦❧✉t✐♦♥ ✇❤✐❧❡ t❤❡ P❘❖✲s❝❤❡♠❡s ❛❝❤✐❡✈❡ t❤❡
❡①♣❡❝t❡❞ ❝♦♥✈❡r❣❡♥❝❡ ♦r❞❡r✳ ◆♦t❡ t❤❛t t❤❡ ❞✐s❝r❡t✐s❛t✐♦♥ ♦❢ t❤❡ ❝♦♥✈❡❝t✐✈❡
t❡r♠ ✐♥ t❤❡ P❛t❛♥❦❛r s❝❤❡♠❡ ✐s ♠❛✐♥❧② r❡s♣♦♥s✐❜❧❡ ♦❢ t❤❡ ♦r❞❡r ❞✐s❝r❡♣❛♥❝②
❛♥❞ ❝♦✉❧❞ ❜❡ ✐♠♣r♦✈❡❞ ✉s✐♥❣ ❛ ▼❯❙❈▲ t❡❝❤♥✐q✉❡ ✉♣ t♦ ❛ s❡❝♦♥❞✲♦r❞❡r ♦♥❡✳
✺✳✹✳ ❊①❛♠♣❧❡ ✸
■♥ t❤❡ t❤✐r❞ t❡st✱ ✇❡ s✐♠✉❧❛t❡ ❛ ♣✉r❡ ❝♦♥✈❡❝t✐♦♥ ♣r♦❜❧❡♠ ♦♥ ✉♥✐❢♦r♠
♠❡s❤❡s s❡tt✐♥❣ a ✏ 0 ✱ v ✏ 1 ✱ f ♣ x q ✏ exp ♣ x q✱ ❛♥❞ t❤❡ ✐♥✢♦✇ ❝♦♥❞✐t✐♦♥
u
❧❢✏ 1 ✳ ◆♦t❡ t❤❛t t❤❡ ♦✉t✢♦✇ ❝♦♥❞✐t✐♦♥ u
r❣✏ ❡ s❤♦✉❧❞ ♥♦t ❜❡ ♣r❡s❝r✐❜❡❞✳
◆❡r✈❡rt❤❡❧❡ss✱ ❜② ❝♦♥str✉❝t✐♦♥ ♦❢ ♦♣❡r❛t♦r G
2✱ ✇❡ ❤❛✈❡ t♦ ❞❡✜♥❡ ❛ ❉✐r✐❝❤❧❡t
❝♦♥❞✐t✐♦♥ ❛t x ✏ 1 ❛♥❞ ✇❡ ✐♥tr♦❞✉❝❡ t❤❡ r✐❣❤t ♦✉t✢♦✇ ❝♦♥❞✐t✐♦♥ u
r❣✏ ❡
❝♦♠♣❛t✐❜❧❡ ✇✐t❤ t❤❡ s♦❧✉t✐♦♥✳ ❚♦ ♦❜s❡r✈❡ t❤❡ s❝❤❡♠❡ ❞❡♣❡♥❞❡♥❝② ♦♥ t❤❡
❡①tr❛ ❝♦♥❞✐t✐♦♥✱ ✇❡ ❛❧s♦ t❡st t❤❡ ♠❡t❤♦❞ ✉s✐♥❣ ❛♥ ❛r❜✐tr❛r② ✈❛❧✉❡ ❢♦r t❤❡
♦✉t✢♦✇ ❝♦♥❞✐t✐♦♥ s❡tt✐♥❣ u
r❣✏ 100 ✳
❚❛❜❧❡ ✻ s❤♦✇s t❤❡ E
C❛♥❞ E
0❡rr♦rs ✇✐t❤ t❤❡✐r r❡s♣❡❝t✐✈❡ ❝♦♥✈❡r❣❡♥❝❡ r❛t❡
❢♦r s❝❤❡♠❡s G
2❛♥❞ G
3✉s✐♥❣ t❤❡ ❡①tr❛ ❝♦♥❞✐t✐♦♥ u
r❣✏ ❡ ✇❤✐❧❡ ❚❛❜❧❡ ✼
✶✵
♣r❡s❡♥ts t❤❛t ❡rr♦rs ❢♦r t❤❡ s❛♠❡ t✇♦ s❝❤❡♠❡s ✇✐t❤ t❤❡ ♦✉t✢♦✇ ❝♦♥❞✐t✐♦♥
u
r❣✏ 100 ✳ ❈❧❡❛r❧②✱ s❝❤❡♠❡ G
2♣r♦✈✐❞❡s ✇r♦♥❣ r❡s✉❧ts ✐♥ t❤❡ ❧❛st ❝❛s❡
s✐♥❝❡ t❤❡ ❝♦♥✈❡❝t✐✈❡ ✢✉① ✉s❡s ❛ ♣♦❧②♥♦♠✐❛❧ r❡❝♦♥str✉❝t✐♦♥ ✇❤✐❝❤ ✐♥❝❧✉❞❡
t❤❡ ❉✐r✐❝❤❧❡t ❝♦♥❞✐t✐♦♥✳ ❙✉❝❤ ❛ r❡❝♦♥str✉❝t✐♦♥ ❞♦❡s ♥♦t ♠❛❦❡ s❡♥s❡ ❢♦r t❤❡
❝♦♥✈❡❝t✐✈❡ ✢✉① ❢♦r ♦✉t❣♦✐♥❣ ✈❡❧♦❝✐t②✳ ❙❝❤❡♠❡ G
3✐s ♠♦r❡ r❡❧❡✈❛♥t ❜❡❝❛✉s❡
♣♦❧②♥♦♠✐❛❧s ♣ u
i❛r❡ ✐♥❞❡♣❡♥❞❡♥t ♦❢ t❤❡ ❜♦✉♥❞❛r✐❡s ❝♦♥❞✐t✐♦♥ ✇❡ ♦❜s❡r✈❡ ❛
❣♦♦❞ ❝♦♥✈❡r❣❡♥❝❡ r❛t❡ ❡✈❡♥ ✇✐t❤ ❛♥ ❛r❜✐tr❛r② ♦✉t✢♦✇ ❝♦♥❞✐t✐♦♥✳
✺✳✺✳ ❊①❛♠♣❧❡ ✹
❲❡ ❛❞❞r❡ss ✐♥ t❤❡ ♣r❡s❡♥t t❡st t❤❡ s❝❤❡♠❡ r♦❜✉st♥❡ss ♣r♦❜❧❡♠ ✇✐t❤ r❡✲
s♣❡❝t t♦ t❤❡ ♠❡s❤ ✇✐t❤ ❧❛r❣❡ ❢♦r♠ ❢❛❝t♦r✳ ❖♥❝❡ ❛❣❛✐♥ ✇❡ ❝♦♥s✐❞❡r t❤❡ s✐♠♣❧❡
❝♦♥✈❡❝t✐♦♥✲❞✐✛✉s✐♦♥ ♣r♦❜❧❡♠ ✇✐t❤ P❡❂✶ ❛s ❊①❛♠♣❧❡ ✶ ❛♥❞ P❡❂✶✵✵✵✵ ❛s ❊①✲
❛♠♣❧❡ ✷ ❜✉t ✉s✐♥❣ ✐rr❡❣✉❧❛r ♠❡s❤❡s ✇✐t❤ h
r✏ 20 ✳
❚❛❜❧❡ ✽ ❣✐✈❡s t❤❡ E
0❛♥❞ E
1❡rr♦rs ❛♥❞ t❤❡✐r r❡s♣❡❝t✐✈❡ ❝♦♥✈❡r❣❡♥❝❡ r❛t❡s
✇✐t❤ P❡❂✶✱ ✇❤✐❧❡ ❚❛❜❧❡ ✾ ♣r♦✈✐❞❡s t❤❡ s❛♠❡ ✐♥❢♦r♠❛t✐♦♥s ❢♦r P❡❂✶✵✵✵✵✳
❲❡ ❛❝❤✐❡✈❡ ❛ ✈❡r② ❣♦♦❞ ❝♦♥✈❡r❣❡♥❝❡ ♦r❞❡r ❢♦r t❤❡ P
3❛♥❞ P
5r❡❝♦♥str✉❝t✐♦♥s
✇✐t❤ t❤❡ ♦♣t✐♠❛❧ ❝♦♥✈❡r❣❡♥❝❡ r❛t❡ ❜♦t❤ ❢♦r s♠❛❧❧ ❛♥❞ ❧❛r❣❡ P❡❝❧❡t ♥✉♠❜❡rs✳
✺✳✻✳ ❊①❛♠♣❧❡ ✺
❚❤❡ ❧❛st ❡①❛♠♣❧❡ ✐s ❞❡❞✐❝❛t❡❞ t♦ t❤❡ ❝♦♥✈❡❝t✐♦♥ ❞✐✛✉s✐♦♥ ♣r♦❜❧❡♠ ✇✐t❤
♥♦♥✲❝♦♥st❛♥t ❝♦❡✣❝✐❡♥ts✳ ❲❡ ♦♥❧② tr❡❛t t❤❡ ❞✐✛✉s✐✈❡ ♣❛rt ♦❢ t❤❡ ♦♣❡r❛t♦r
❢♦r t❤❡ s❛❦❡ ♦❢ s✐♠♣❧✐❝✐t② s❡tt✐♥❣ a ♣ x q ✏ 1
3 2 cos ♣ 2πx q ❛♥❞ v ✏ 0 ✇✐t❤ t❤❡
r✐❣❤t✲❤❛♥❞ s✐❞❡ t❡r♠ f ♣ x q ✏ 1 ❛♥❞ t❤❡ ❜♦✉♥❞❛r② ❝♦♥❞✐t✐♦♥s u
❧❢✏ 0 ❛♥❞
u
r❣✏ 10 ✳
❚❛❜❧❡s ✶✵ ❛♥❞ ✶✶ ❣✐✈❡ t❤❡ E
0❡rr♦r ❛♥❞ ✐ts r❡s♣❡❝t✐✈❡ ❝♦♥✈❡r❣❡♥❝❡ r❛t❡s
✉s✐♥❣ ✉♥✐❢♦r♠ ♠❡s❤❡s ❛♥❞ ♠❡s❤❡s ✇✐t❤ t❤❡ ❢♦r♠ ❢❛❝t♦r h
r✏ 20 r❡s♣❡❝t✐✈❡❧②✳
❲❡ ♣❧♦t t❤❡ ❝♦♥✈❡r❣❡♥❝❡ ❝✉r✈❡s ♦❢ E
0✐♥ ❋✐❣✉r❡ ✸ ❢♦r t❤❡ ♥♦♥✲✉♥✐❢♦r♠ ♠❡s❤✳
❚❤❡ P❛t❛♥❦❛r s❝❤❡♠❡ ♣r♦✈✐❞❡s ❛ s❡❝♦♥❞✲♦r❞❡r ♠❡t❤♦❞ s✐♥❝❡ t❤❡ ❝♦♥✈❡❝✲
t✐✈❡ ♣❛rt ✐s r❡♠♦✈❡❞✳ ❚❤❡ G
3s❝❤❡♠❡ ❛❝❤✐❡✈❡s ✈❡r② ❣♦♦❞ ❝♦♥✈❡r❣❡♥❝❡ r❛t❡
❜♦t❤ ❢♦r t❤❡ ✉♥✐❢♦r♠ ❛♥❞ t❤❡ ♥♦♥✲✉♥✐❢♦r♠ ♠❡s❤❡s ❢♦r t❤❡ P
3❛♥❞ P
5r❡❝♦♥✲
str✉❝t✐♦♥ ✇❤✐❧❡ t❤❡ ❛❧❣♦r✐t❤♠ ♦r❞❡r ✐s r❡❞✉❝❡❞ ♦❢ ♦♥❡ ♦r❞❡r ❢♦r P
2❛♥❞ P
4✳
■♥❞❡❡❞✱ ✇❡ ❡①♣❡❝t ❛ t❤✐r❞✲♦r❞❡r s❝❤❡♠❡ ❢♦r t❤❡ P
2✇❤❡r❡❛s ✇❡ ♦❜t❛✐♥ ❛♥
❡✛❡❝t✐✈❡ s❡❝♦♥❞✲♦r❞❡r s❝❤❡♠❡ ✇✐t❤ t❤❡ ♥✉♠❡r✐❝❛❧ s✐♠✉❧❛t✐♦♥s✳ ❲❡ ♦❜s❡r✈❡
❛ s✐♠✐❧❛r ❜❡❤❛✈✐♦r ✇✐t❤ t❤❡ P
4♣♦❧②♥♦♠✐❛❧ r❡❝♦♥str✉❝t✐♦♥✳
✶✶
❋✐❣✉r❡ ✸✿ ❘❡❣✉❧❛r ❝♦❡✣❝✐❡♥t ❝❛s❡✿ ❝♦♥✈❡r❣❡♥❝❡ ❝✉r✈❡s ❢♦rE0 ❛♥❞hr✏20✳
✻✳ ❈♦♥❝❧✉s✐♦♥
❲❡ ❤❛✈❡ ♣r❡s❡♥t❡❞ ❛ ♥❡✇ ✜♥✐t❡ ✈♦❧✉♠❡ ♠❡t❤♦❞ ❢♦r ♦♥❡✲❞✐♠❡♥s✐♦♥❛❧
❝♦♥✈❡❝t✐♦♥✲❞✐✛✉s✐♦♥ ♣r♦❜❧❡♠ ✇❤✐❝❤ ♣r♦✈✐❞❡s ✈❡r② ❤✐❣❤✲♦r❞❡r ❛❝❝✉r❛❝②✳ ◆✉✲
♠❡r✐❝❛❧ s✐♠✉❧❛t✐♦♥s ❤❛✈❡ ❜❡❡♥ ❝❛rr✐❡❞ ♦✉t t♦ ♣r♦✈❡ t❤❡ ❝❛♣❛❝✐t② ♦❢ t❤❡
♠❡t❤♦❞ t♦ ❡✛❡❝t✐✈❡❧② r❡❛❝❤ t❤❡ s✐①t❤✲♦r❞❡r ❛❝❝✉r❛❝②✳ ❙❡✈❡r❛❧ ❡①t❡♥s✐♦♥s
❛r❡ ✉♥❞❡r ❝♦♥s✐❞❡r❛t✐♦♥✳ ❚❤❡ t✇♦✲ ❛♥❞ t❤r❡❡✲❞✐♠❡♥s✐♦♥❛❧ ❝❛s❡ ✐s ♦❢ ❝♦✉rs❡
♦❢ ❝r✉❝✐❛❧ ✐♠♣♦rt❛♥❝❡✱ ❜✉t ✇❡ ✇✐❧❧ ❛❧s♦ ✐♥✈❡st✐❣❛t❡ t❤❡ s❝❤❡♠❡s ❢♦r ❜♦t❤
❉✐r✐❝❤❧❡t ❛♥❞ ◆❡✉♠❛♥♥ ❜♦✉♥❞❛r② ❝♦♥❞✐t✐♦♥s✳ ❆♥♦t❤❡r ❞✐✣❝✉❧t② ❝♦♥❝❡r♥s t❤❡ s♦❧✉t✐♦♥ st❛❜✐❧✐t② ✇❤❡♥ ❞❡❛❧✐♥❣ ✇✐t❤ r♦✉❣❤ ❞❛t❛✳ ❆ str❛t❡❣② ❜❛s❡❞ ♦♥
t❤❡ ▼❖❖❉ ♠❡t❤♦❞ ✭❬✻✱ ✼❪✮ ✐s ❝✉rr❡♥t❧② ❜❡✐♥❣ ❞❡✈❡❧♦♣❡❞✳
❆❝❦♥♦✇❧❡❞❣❡♠❡♥ts✿ ❚❤✐s r❡s❡❛r❝❤ ✇❛s ✜♥❛♥❝❡❞ ❜② ❋❊❉❊❘ ❋✉♥❞s t❤r♦✉❣❤
Pr♦❣r❛♠❛ ❖♣❡r❛❝✐♦♥❛❧ ❋❛❝t♦r❡s ❞❡ ❈♦♠♣❡t✐t✐✈✐❞❛❞❡ ✖ ❈❖▼P❊❚❊ ❛♥❞ ❜② P♦rt✉❣✉❡s❡ ❋✉♥❞s t❤r♦✉❣❤ ❋❈❚ ✖ ❋✉♥❞❛çã♦ ♣❛r❛ ❛ ❈✐ê♥❝✐❛ ❡ ❛ ❚❡❝♥♦❧♦❣✐❛✱
✇✐t❤✐♥ t❤❡ Pr♦❥❡❝t P❊st✲❈✴▼❆❚✴❯■✵✵✶✸✴✷✵✶✶✳
✼✳ ❇✐❜❧✐♦❣r❛♣❤②
❘❡❢❡r❡♥❝❡s
❬✶❪ ❋✳ ❇r❡③③✐✱ ❑✳ ▲✐♣♥✐❦♦✈✱ ❛♥❞ ▼✳ ❙❤❛s❤❦♦✈✱ ❈♦♥✈❡r❣❡♥❝❡ ♦❢ ▼✐♠❡t✐❝ ❋✐♥✐t❡ ❉✐✛❡r❡♥❝❡
▼❡t❤♦❞s ❢♦r ❉✐✛✉s✐♦♥ Pr♦❜❧❡♠s ♦♥ P♦❧②❤❡❞r❛❧ ▼❡s❤❡s✱ ❙■❆▼ ❏✳ ◆✉♠✳ ❆♥❛❧ ✱ ✹✸
✭✷✵✵✺✮✱ ♣♣✳ ✶✽✼✷✕✶✽✾✻✳
❬✷❪ ❩✳ ❈❛✐✱ ❖♥ t❤❡ ✜♥✐t❡ ✈♦❧✉♠❡ ❡❧❡♠❡♥t ♠❡t❤♦❞✱ ◆✉♠❡r✳ ▼❛t❤✳ ✺✽ ✭✶✾✾✶✮✱ ♣♣✳ ✼✶✸✕✼✸✺✳
❬✸❪ ❩✳ ❈❛✐✱ ❏✳ ▼❛♥❞❡❧✱ ❛♥❞ ❙✳ ▼❝ ❈♦r♠✐❝❦✱ ❚❤❡ ✜♥✐t❡ ✈♦❧✉♠❡ ❡❧❡♠❡♥t ♠❡t❤♦❞ ❢♦r
❞✐✛✉s✐♦♥ ❡q✉❛t✐♦♥s ♦♥ ❣❡♥❡r❛❧ tr✐❛♥❣✉❧❛t✐♦♥s✱ ❙■❆▼ ❏✳ ◆✉♠❡r✳ ❆♥❛❧✳ ✷✽ ✭✷✮ ✭✶✾✾✶✮✱
♣♣✳ ✸✾✷✕✹✵✷✳