Testing Sign Conditions on a Multivariate Polynomial and Applications

HAL Id: inria-00105835

https://hal.inria.fr/inria-00105835v2

Submitted on 16 Oct 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

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,

Testing Sign Conditions on a Multivariate Polynomial and Applications

Mohab Safey El Din

To cite this version:

Mohab Safey El Din. Testing Sign Conditions on a Multivariate Polynomial and Applications. [Re-

search Report] RR-5995, INRIA. 2006. �inria-00105835v2�

a p p o r t

d e r e c h e r c h e

ISRN INRIA/RR--5995--FR+ENG

Thème SYM

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Testing Sign Conditions on a Multivariate Polynomial and Applications

Mohab Safey El Din

N° 5995

Octobre 2006

!0/2113 456

798;:=<?>A@&<CBEDGF*H'IKJLNM

∗

OQPCRSTUWVYX[ZU]\_^a`bRcSdTe^K^b\WSgf?hGikjmlWnoTc^

prqshutET`s^KU_v$wU_v

xKyuzCz?hGqa`K{_T'qsTc|PoTcqs|PCT~}€=u‚G‚GƒZ…„Y|`bh†fCqbT‡uˆGˆ†‰'Z‹Š†ŒzCyuGTc^

Ž&‘c’“•”o–†’†— w˜T`

f

f€Tƒy™z€h†iš\]}oh†SjmyuiKjš}

Q[X 1 , . . . , X n ]

hu›{_TGqbTcT

D

^œA Tž›Ÿh]|nC^ hG}¡`bTe^E`sjk}o

`sPoTTcSdzo`bjš}oTc^s^$y†}C{3|hGSdzCn_`bjš}oyu`¢ikTey†^a`¢h†}CTz?hGjk}W`¢jš}žTey†|P£|hG}o}oTc|`bTe{£|h†Sz€h†}oTc}W`¢hu›¤`bPCT^aTcSj¦¥

y†ikGTfoqyujm|d^aT`'{oT§C}oTe{f]\

f > 0

^¨hGq

f < 0

^h†q

f 6= 0

^©"œ Oh3`bPCjš^'Tc}C{«ª˜`bPoT,zoqsh†fCikTcS[jm^6qbTe{_nC|Te{

`sh™|h†Szono`bjš}o™y•` išTcy†^a`,h†}oT3z€h†jš}W`jš}¡TcyG|P¬|h†}o}oTe|"`sTc{¬|h†Sz€h†}oTc}W`h†›6y­P]\]z?Tcqs^bnoqb›®y†|T{_T§C}oTe{

f]\

f − e = 0

^›Ÿh†q

e ∈ Q

¯C°²±"³µ´¶³µ·²¸¹•º;»±"¼,¹•½µ½Y¸º€°u¾†¿eÀ_œ9

Tžzoqsh•Á]jš{oTžyu}Âyuiš†hGqbjk`bPoSÃyuišikh•Äjš}o

n?^Y`bh£{_T`sTqsSjk}oT,yz€hG^bj¦`sjkÁGTdqy•`sjkhG}Cyui¤}]noSgf?Tcq

e

ÄPojm|PÅjm^'^aS,y†iki=Tc}oh†noGPƒjš}­`bPojm^^bT}C^bT

œ

OQPojm^6jš^

f?y†^bTc{Åh†}Å`bPoT,TÆ,|jkTc}W`'|h†Szon_`y•`sjkhG}­h†›Ç`sPoT ^aT`'hu›

¿G¸º€¸Èb¹•½¦³kÉc¸»ÅÊÈ"³µ´¶³®Ê¹•½Ç·•¹•½¦¾C¸"±

hu›Ç`sPoT,S,yuzozCjk}o

f : y ∈ C ⁿ → f (y) ∈ C

ÄPojm|Pjš^6`sPoT,no}ojšh†}h†›Ë`sPoT|imy†^s^bjš|cyui=^aT`

K 0 (f )

h†›Q|qbjk`bjm|y†i=Á²y†iknCTc^'h†›

`sPoTS,y†zozojš}o

f

^yu}?{

K ∞ (f )

^h†› ¹²±"̕¼K¯;´Í°u´N³®ÊÊÈ"³µ´¶³®Ê¹•½¤·²¹u½Î¾C¸±

h†›=`bPoTgS,yuzozojš}o

f

^œ OQPoT}ª;Ä5T^bPoh•Ä PCh•ÄÏ`bh™n?^aT3`sPoTž|hGSdzCn_`syu`bjšh†}¡hu›6†Tc}oTqyuišjkÐcTc{¬|qsj¦`sjš|cyuiÁ•yuišnoTe^,jk}¡hGqs{_Tcq`bhh†fo`syujš}Âyu}¡TÆ |jkTc}G`

y†ikGh†qsj¦`sPoS[{_Te|jm{_jš}o£`bPCT TSz_`sjk}oTe^b^hu›Ky£^bTSj¦¥Ñyuiš†Tcfoqyujm|d^bT`{oT§C}oTe{f]\­y£^bjk}C†išT jk}CTclWnCyuišjk`E\ƒh†q

yÅ^ajš}oGikT!jk}oTelWnCy•`sjkhG}

œ

v5`išyG^E`eª=ÄËT^aPCh•ÄÒPoh•ÄÓ`bhyuzozoiš\h†noqd|hG}G`sqbjšfon_`sjkhG}™`bh­{_T`sTqsSjk}ojš}oÅj¦›$y

P]\]z€Tq^anoqb›®y†|TK|hG}G`yujš}C^=qsTcy†iCqsT†nCišy†q=z?hGjk}W`s^

œ¤

T$zoqsh•ÁWjm{_TK|h†SzoišTÔ_j¦`E\dTc^a`bjšS,y•`sTc^=›ŸhGqÇzoqsh†f?yufojšikjm^a`bjm|

ÁGTq^ajšh†}?^hu›`sPoTišyu`a`bTcqdy†ikGh†qsj¦`sPoS,^ÄPojm|PÕy†qbTÄj¦`sPojk}

O(n ⁷ D ⁴ⁿ )

yuqsjk`bPoST`sjš|h†z€Tqy•`sjkhG}C^jš}

Q

^œ

OQPCTYz?yuz€TqT}?{o^Äjk`bP3zoqy†|"`sjš|cyui«TÔ]z€TqsjšSdTc}W`s^^bPoh•Äjk}C`sPoT'TÆ |jšT}?|\ h†›&hGnoqKyuzozCqbhWy†|P

œ

Ö£×WØ;ÙsÚÛ “•Ü&‘†— |hGSdzCn_`bTcqy†ikGTfoqyoª=z€h†iš\]}oh†SjmyuiQ^a\_^a`bTcSÝ^ahGikÁ]jš}oCª=jš}oTclWnCy†ikjk`bjšTc^cªrqsTcy†iQ^bh†išn_`sjkhG}C^ª

GT}oTcqsy†ikjšÐTe{|qbjk`bjm|y†i«Á²y†iknCTc^

∗

ÞcßbàásâCãµä"áåæçèécêÑëì_ãmå"í

/ '%¤ -.) 454Ë 1Ő%«Q% ˜ ! E 1Å + -.

! "#Y'%& )5ÒÏ'11 4Ë'

‘ — U]hGj¦`

f

nC},z?hGik\]}GSdTK{Cyu}C^

Q[X 1 , . . . , X n ]

{oT${_Tc†q

D

^{œ „$} ^}jk}W`cqbTe^b^bTKyun,zCqbhGfoikRcST {oT6`bTc^a`bTcqikT'Á]jm{_T{no}3T}C^bTSgfoišT6^bTSjk¥Íy†ikfoqsjmlGnCTY{§C}ojz?yuq

f > 0

^¨hGn

f < 0

^hGn

f 6= 0

^{©"œ p¤h†nCq}

|TK›®y†jkqsT†ªWh†},qc{_nCj¦`5ikT$zoqbhGfoišRST$y†n|y†iš|noi?{yunSdhGjk}?^Çno}z?hGjk}W`Ëz?yuqË|h†Sz€hG^syu}W`bT¢|h†}o}CTÔ_T${no}oT

P]\]z€Tq^anoqb›®y†|T!{§C}ojšT3zCyuq

f − e = 0

^z€h†noq

e ∈ Q

¯C°²±"³µ´¶³ž¸´±¾ ±¹•¼d¼¸ºC´5¯C¸´N³µ´¶œ

„$}¬{_h†}C}oT

nC}ƒyuiš†hGqbjk`bPoSTz€TqsST`b`syu}W`'{_Tg{`bTcqbSjš}oTqYno}Åqsyu`bjšh†}o}oTci˜z€hG^bj¦`sj¦›

e

lWnoj¤Te^E`YT}Å|Tg^bT}C^Y^bn_Æ ^by†Sg¥

STc}G`z€T`sj¦`

œ

T`yuiš†hGqbjk`bPoSTTc^a`fCyG^ ^bnoq'išT|y†iš|noi=TÆ |yG|T {_T,Á•y†ikTcnoqs^'|qbjk`bjmlWnoTc^ }!qyuišjš^Te^

{oTi"y†zozoišjš|cy•`bjšh†} z?hGik\]}ohGSdjmyuišT

f : y ∈ C ⁿ → f (y) ∈ C

lWnoj5i"no}CjkhG} {_Ti#T}C^bTSgfoišT!|imy†^s^bjšlWnoT

K 0 (f )

{oTc^rÁ•y†ikTcnoqs^Ç|qsj¦`sjšlWnoTe^r{_T

f

T`5{_TKi"Tc}C^aTcSfoišT

K ∞ (f )

^{{_Te^} ·•¹•½k¸¾_ȱYÊÈ"³µ´N³%$¾C¸"±6¹²±"̕¼K¯;´Í°u´N³%$¾C¸±

{oT$i"y†zozoišjš|cy•`sjkhG}

f

^œ& T`yuiš†h†qsjk`bPoSTKT '€Te|"`bnCT$išTY|cyuim|noi;Tc}

O n ⁷ D ⁴ⁿ

h†z(qy•`sjkhG}C^Çy†qbjk`bPCS)`bjmlWnoTc^

{Cyu}C^

Q

^œ prnojm^hG}™SdhG}W`bqsT|h†SST}W`n_`sjkišjm^aTcq|T |cyuim|noi5{_T,Á•yuišTnoq^|qsjk`bjmlGnCTc^' c}qyuišjm^cTc^Yz?hGnoq hGf_`bTc}ojšqYnC}Åyuiš†hGqbjk`bPCSdTgTÆ |yG|T{c|jš{Cyu}W`6{onÅÁ]jm{_T

¨

h†n­|yuim|nCišy†}G`'yunÅSh†jš}C^Yno}Åz€h†jš}W`Yz?yuq'|hGSg¥

z€hG^syu}W`sT|hG}o}oTÔ_T

©

{no}Å^bTSjk¥Íy†ikfoqsjmlGnCT{§?}oj¤zCyuq$no}oT^aTcnoikTgjk}!Gy†ikjk`gh†nžjš}elGn?y•`bjšh†}

œ+*

}o§C}ª

hG}£Sh†}W`bqsTg|h†SST}W`$yuzCzoikjmlWnoTq6|T`a`sTg|hG}W`bqsjkfono`bjšh†}žyunƒzoqbhGfoišRST{_Td{`sTqsSdjš}oTcqY^bjnC}oTP]\]z?Tcqa¥

^bnoqb›®y†|T|hG}G`sjkTc}W`gyun™Sh†jš}C^gno} z€h†jš}W`qcTi5qc†noišjšTq

œ,

T`dy†qa`sjš|ikT^bT `sTqsSjk}oTzCyuqd{_Tc^gqe^anCi¦`y•`s^

TÔ_z-cqbjšST}W`sy†n_ԐSh†}W`bqyu}W`Qi#TÆ |cy†|jk`6zoqy•`sjšlWnoT'{_T'}Chu`bqsT'yuzozCqbh_|PoT

œ

.Û ’e‘ Ù – / ‘Y— |cyuim|noi†›Ÿh†qsSTi¶ªeqc^bh†išn_`sjkhG}6{oTË^b\]^a`bRcSTc^«z€h†iš\]}oh†Sjmyun_Ô«ª²jk}!Gy†ikjk`e^ª²^bh†išn_`bjšh†}C^˜qcTišikTe^ª

Á•y†ikTcnoqs^Q|qbjk`bjmlWnoTc^Q}cqsy†ikjm^cTc^

¸±´¶³µºW¿?³¦¿†ºr°•º;»•³µ´¶³®°•ºC±g°•º­¹°•½¦Ì•º€°•¼d³®¹•½

g˜%¤,!4Ç

w˜T`

f

f€Ty3z?hGik\]}ohGSjšy†irjk}

Q[X 1 , . . . , X n ]

h†›{oT†qsTT

D

^y†}C{

S + ⊂ R ⁿ

^{¨qsTc^bz œ}

S −

yu}C{

S

^{© f?T}

`sPoT ^bTSj¦¥Ñyuiš†Tcfoqyujm|^bT`{_T§C}oTc{­f]\

f > 0

^{¨qbTe^az œ}

f < 0

^yu}C{

f 6= 0

^©"œ OQPoT y†jkS hu›Ç`sPojm^'zCyuz€Tq jm^6`shžzoqsh•ÁWjm{_T,yu}™TÆ |jšT}W`yuiš†hGqbjk`bPoS

³µº£¯;Èb¹†Ê´N³®Ê¸

ÄPojm|P |h†Szono`bTc^y•`išTcyG^E`hG}oT,z?hGjk}W`jš}™TcyG|P

|h†}o}CTc|"`sTc{|hGSdz€h†}CT}W`hu›

S

^{¨qbTe^az œ}

S −

y†}C{

S

^©"œ

OQPojm^rlWnoTe^E`sjkhG}djm^=h†›?§Cq^a`rjkSz€h†qb`syu}?|TK^bjk}C|TK^ahGikÁ]jš}o6zCyuqyuST`bqsjš|5z€h†iš\W}Ch†Sjšy†io^a\_^a`bTcS^rhu›;TclWnCy•¥

`sjkhG}C^ry†}C{djk}oTelWnCyuišj¦`sjkTe^rjm^=qsTc{_nC|Tc{g`bhg|h†Szono`bTKy•`ËikTey†^a`rh†}oTz€h†jš}W`rjk},Tey†|P,|hG}o}oTc|`bTe{d|h†Sz€h†}oTc}G`

h†›?`sPoTK|hGSzoikTcST}W`sy†qb\h†›;y6qsTcy†i_P]\Wz€Tq^bnoqa›®yG|T

¨

^bTT ‡

©œ

OQPCjš^rlWnoTe^E`sjkhG},yuim^ah'yuzCz?Teyuq^=y†^=y6foimy†|

f€h²ÔnC^bTc{!jš}3y†ikGh†qsj¦`sPoS,^Q^ahGikÁ]jš}o,lGn?yu}W`bjk§CTqQTcikjšSjk}Cyu`bjšh†}3zoqsh†foišTS,^

¨

^aTcT

©"œ

v¢ikGh†qsj¦`sPoS,^5|h†Szon_`sjk}Cgy

\Wišjš}C{_qsjš|cyui;vKiš†TfCqsy†jš|¢Te|h†Sz€hG^bj¦`sjkhG}

¨

^aTcT cˆ

©

yuišikh•ÄÂnC^Ë`shgzoqshu¥

{onC|ThG}oTz?hGjk}W`rjš}Tcy†|P|hG}o}oTe|"`bTe{|h†Sz€h†}oTc}W`rhu›

S +

ª

S −

h†q

S

^œ TÁGTqb`bPoTcikTe^b^&`sPoT¢|hGSzoikTÔ_j¦`E\h†›

^bnC|P y†ikGh†qsj¦`sPoS,^rjm^Ç{_hGnofoiš\dTÔ_z?hG}oT}W`bjmyui?jk}`bPoT$}]noSf€TqËhu›Á•yuqsjšy†foišTc^Çy†}C{d`bPCTjšqËjšSzoikTcST}W`syu`bjšh†}C^

y†qbTYišjkSjk`bTc{`shzoqbhGfoišTS,^QPCy²Á]jk}C

3

^h†q

4

Á•yuqsjšy†foišTc^

œ

v¢ikGh†qsj¦`sPoS,^ÇfCyG^aTe{,h†}`bPoT6|qsjk`bjm|yui€z€h†jš}G`QST`sPoh_{yuqsT¢zCqbh•Á]jm{_Tc{jš} ‡uªo‡G‡]ªo‡uŠ_ª_Š†Šoª__ª]‰

œ

OQPoT

|išyG^b^bjm|yuir^a`bqy•`sTG\ƒjm^'`bhƒTÔ_Pojšfoj¦`dy£P]\Wz€Tq^bnoqa›®yG|T,^bnC|P`bPCyu`TcyG|P™|h†}C}oTc|`bTc{™|h†Sz€h†}oTc}G`ghu›

S +

¨

qbTe^az

œ

S −

h†q

S

^© |h†}W`sy†jk}?^'y£|h†}C}oTc|`bTc{|h†Sz?hG}oT}W`'hu›5`bPCT qbTeyuir|h†no}W`bTcqbz?yuqb`Yh†›Ë`sPoT TÔ_Pojšfojk`bTe{

P]\]z€Tq^anoqb›®y†|T

œ

}C{oTTc{ª5GjkÁGT}Âyu}¡jš}_§C}ojk`bTe^ajšS,yui

ε

ª{_Tc}ohu`sT£fW\

H ε ⊂ Chεi ⁿ

`bPoT£P]\]z?Tcqs^bnoqb›®y†|T {oT§C}oTe{Âf]\

f − ε = 0

^œ! \¬`bPoT­STcy†}*Á•yuišnoTž`sPoThGqbTcSª¢Tcy†|P*|h†}o}CTc|"`sTc{*|h†Sz€h†}oTc}G`hu›`sPoT TcSf€Tc{o{ojk}o hu›

S +

jk}

Rhεi ⁿ

|h†}W`yujš}C^ y™|hG}o}oTe|"`bTe{Â|hGSdz€h†}CT}W` hu›

H ε ∩ Rhεi ⁿ

^œ#" Tc}C|TGªQ`bPoT zCqbhGfoikTcSjm^KqsTc{_n?|Tc{`sh|hGSzon_`bTgy•`¢išTcyG^E`KhG}oTz€h†jš}G`$jk}žTey†|P£|hG}o}oTe|"`bTe{£|hGSdz€h†}CT}W`Khu›¤`bPCTqsTcyui

|h†no}W`sTqszCyuqb`5h†›˜`sPoT'P]\Wz€Tq^bnoqa›®yG|T

H _ε

^œ

$ Û &% ˜’')(+*Ŕ_’ /× ”C‘’ Û ( × % Û ',(;’',( × ”C–- – Û (.( × –u’ × Ü*– Û /% Û ( × (;’ Û10 ”Å“ × ”!/2- Ø % × “²‘ “ Ù

0 ”o– ×13

h†}C^bjš{oTq=yYPW\]z€Tq^anCqa›®yG|T

H ⊂ C ⁿ

^œ¤ T5›Ÿh_|nC^¤}Ch•Ä h†}g`bPCTQ^a`syu`bTQhu›?`bPoTKy†qa`=hG}gyuiš†hGqbjk`bPCS^

|h†Szon_`sjk}Cy•`ÇišTcyG^E`rhG}oTKz€h†jš}W`Çjk}Tcy†|P,|h†}o}oTe|"`sTc{,|hGSz?hG}oT}W`

¨jœT œ

^syuSzoišjk}o'z€h†jš}W`s^

©

hu›

H ∩ R ⁿ

^œ

OQPCjš^¢zoqbhGfoišTS jš^K`sy†|]išTc{3f]\!`bPoTd|qsj¦`sjš|cyuiz€h†jš}W`$ST`sPoh_{

œ2

`s^$zoqsjk}C|jkzCikTjm^`sPoT›ŸhGikišh•Äjš}o545|Poh]hG^bT

y z?hGik\]}ohGSdjmyui˜Sy†zozojš}o

φ : H ∩ R ⁿ → R

qbTey†|Pojš}o,jk`s^¢TÔ]`bqsTS,yjš}žTcyG|P3|h†}o}CTc|"`sTc{£|h†Sz?hG}oT}W`

h†›

H ∩ R ⁿ

yu}C{!^an?|P `bP?y•`j¦`^Q|qsj¦`sjš|cyui;ikh_|nC^5jš^5ÐTcqbh†¥Í{ojkST}?^ajšh†}Cy†iChGqËTcSdzo`E\

œ=

PoTc}

H

jš^Q^bSdh]h†`bPª

φ

|yu}Åf?Tg`bPCT^slWnCyuqsTh†›r`bPCTdTcnC|išjm{_Tcy†}Å{_jm^E`yu}C|T`shy!†Tc}oTqsjm|yuišiš\3|PChG^bT}ƒz€h†jš}W`Yh†›

Q ⁿ

^{œ PoTc}ª}

yG{o{_jk`bjšh†}Cy†ikiš\†ª

H ∩ R ⁿ

jš^6]}oh•Ä}!`bhf€T|h†SzCyG|"`eª

φ

|cyu}f?T6`sPoT'zoqshutETc|`bjšh†}!h†}3yikjš}oT

œ

}7 ¶ªG|h†Szono`bjš}oY^syuSzoišjš}o$z€h†jš}W`s^¤jš}

H∩R ⁿ

jš^&qsTc{_n?|Tc{`bh6|hGSzon_`bjš}o'^syuSzoišjk}oYz€h†jš}G`^¤hu›?y

^bSh]hu`bPPW\]z€Tq^anCqa›®yG|TrÄPohW^aTÇqbTeyuiG|h†no}W`sTqszCyuqb`˜jm^|h†SzCy†|`f]\6jk}W`sqbh_{_nC|jk}C¢^aTcÁ†Tcqsy†i†jš}_§C}ojk`bTe^ajšS,yuim^

œ

OQP]nC^cª]zoqshutETc|`bjšh†},›ŸnC}C|"`sjkhG}C^yuqsT¢nC^bTc{

œ

OQPoTYy†ikGh†qsj¦`sPoS,^Ëy†qbT6{_T`bTqsSjk}Cjš^a`bjm|$y†}C{,`sPoTjšqK|hGSzoikTÔ_j¦`E\

jm^

(2D) ^O(n)

y†qbjk`bPCSdT`bjm| hGz?Tcqsyu`bjšh†}C^jk}

Q

^œ vKiš†Tcfoqyujm| S,yu}ojšzonoimy•`sjkhG}C^y†qbT!z?Tcqa›ŸhGqbSTc{­`shÅy²ÁGh†jm{

y£|h†Szon_`y•`sjkhG}­h†›28Yq:9†fC}oTq'fCyG^aTe^yu}?{ÅišTcyG{Å`bh£T}?|h_{_T |qsjk`bjm|yuiÇz?hGjk}W`s^y†^^bh†išn_`bjšh†}?^6hu›y3ÐTqshu¥

{ojkST}?^ajšh†}Cy†irz€h†iš\W}Ch†Sjšy†ir^a\_^a`bTcS GT}oTcqsyu`bjš}o£yu}jš{oTcyuiÇPCy²Á]jk}o

¹u½;ǹ•Ì²±

y£{_Tc†qsTT

2D(2D − 1) ⁿ

^œ

Xžh†qsTh•Á†TcqcªWyuiši;`bPoT|h†Szon_`y•`sjkhG}C^yuqsT$z€Tqb›Ÿh†qsSTc{!h•Á†TcqQydprnCjš^bTn_Ô^aTcqbjšTc^5§CTciš{

œ

OQPWn?^ª]`sPoTqsT6jš^Q}oh

PCh†z€T$`sh,h†f_`yujš}y†}!TÆ |jšT}W`Kzoqy†|"`sjš|cyui;f€TPCy²Á]jšh†noqh†›˜`bPCTc^bTyuiš†h†qsjk`bPoS,^

œ

}< ŠG‰_ª=†ª²Œoª•ŠÍª•`bPoTQyuno`bPohGqs^˜nC^aTË`bPCT5^slWnCyuqsTrhu›C`bPoT5TnC|ikjm{_Teyu}g{ojš^a`sy†}C|TÇ`bh6yK†Tc}oTqsjm|yuišiš\Y|PohW^aTc}

z€h†jš}W`

A

^jš}

Q ⁿ

^œ vKiš†h†qsjk`bPoS,^r{_Teyuišjk}C'Äj¦`sP`bPoTY|y†^bTÄPoTcqbT

H

jm^r}oh†`Ç^aSh]hu`sP yuqsTzoqsh•ÁWjm{_Te{gjš}> Š†‰_ª

?

œ

OQPoTh†}oTh†›2 ŠG‰&n?^aTe^jk}o§C}ojk`bTc^bjšSy†i&{oT›Ÿh†qsS,y•`sjkhG}C^

œ

OQPoTgh†}oT'h†›6 ?&zoqsh]|Tc^s^aTe^f]\!z€Tqb›Ÿh†qsSjk}C

;¹¸ÌQ½³µº

yqsTc|noq^ajšÁ†T'^a`bnC{_\hu›&`bPCT^ajš}oGnoišy†qKišh]|nC^no}W`sjkij¦`¢P?y†^K{_jšST}C^bjšh†}

0

h†q¢jš^TcSz_`E\

œ6

Tc|y†nC^bT'hu›¤`bPoT

|PCh†jm|Thu›

A

ª†`sPoT¢{_T`bTqsSjk}Cjš^a`bjm|K|hGSzoikTÔ_j¦`E\dhu›€`bPoTYyuiš†hGqbjk`bPoS hu› ŠG‰;jš^

D ^{O(n 2 )}

^œ TÁ†Tcqa`sPoTišTc^s^cª†jš}

zCqsyG|"`bjm|TGª²`bPoT5§Cq^a`¤|PohGjš|TËjm^¤^anCj¦`yufoišT5`bhYh†f_`yujš}ÐTcqbh†¥Í{ojkST}?^ajšh†}Cy†iW|qbjk`bjm|y†i]ikh_|j¶ªu^bh¢`sPCy•`=no}C{oTq¤`bPCjš^

yG^b^bnoSz_`sjkhG}ª

;À]³®ÊÀ ³m±5±¹u´N³m±Ë¸»³µº'¯;Èb¹†Ê´N³®Ê¸

ªu`sPoTK|hGSdzCikTÔ]jk`E\'hu› Š†‰ojm^

D ^O(n)

^œ OQPoT|hGSzoikTÔ_j¦`E\h†›

Fjm^Q}ohu`Ä5Tiši¦¥Ñ|hG}W`bqsh†išikTe{TÁ†Tc}!jk›jš}3^ajš}o†nCišy†q5^bj¦`snCy•`sjkhG}C^Qjk`Qf€TP?y²Á†Tc^Ëf€T`a`sTqQ`sPCyu}!`bPoT6hG}oTc^QfCyG^aTe{

hG}'jk}o§C}ojk`bTc^bjšSy†iW{oT›Ÿh†qsS,y•`sjkhG}C^

œ

OQPoTËy†ikGh†qsj¦`sPoS,^«hu› ŒCª²ŠWn?^aT=`sPoTǍGThGSdT`bqsjš|rqbTe^ahGikn_`sjkhG}'yuiš†h†qsjk`bPoS

ÄPCjš|P™jm^'zoqsh†fCy†fojšikjm^E`sjš|

œ

OQPCTjšqg|hGSzoikTÔ_j¦`E\Åjš^z?hGik\]}ohGSdjmyuiÇjk}

n

ª`bPoT!TÁ•yuišnCyu`bjšh†}™|hGSdzCikTÔ]jk`E\ƒh†›

`sPoT'jš}ozon_`Kz€h†iš\]}oh†Sjmyuiyu}?{!y†}jš}W`bqsjk}?^ajm|Y†ThGST`bqsjm|${_Tc†qsTT

δ

ÄPCjš|P3jm^{_h†Sjš}Cy•`sTc{f]\

D ⁿ

^œ

}g`bPoT^bShWh†`bPd|y†^bT†ª²`sPoTc^bT|hG}G`sqbjšfon_`sjkhG}C^¤yuqsTÇjšSzoqbh•ÁGTc{jk}7 ŠG‚4˜†Tc}oTqsjm|rzoqshutETe|"`bjšh†}›Ÿno}C|`bjšh†}C^

y†qbTËnC^bTc{TcÁ†Tc}jš}}ohG}_¥Í|h†SzCyG|"`&^bjk`bnCyu`bjšh†}C^&jš}C^E`sTcyG{hu›€{_jš^a`sy†}C|T˛Ÿno}C|`bjšh†}C^`shYy$†Tc}oTqsjš|Çz?hGjk}W`

œ

OQPoT

GT}oTcqbjm|jk`E\hu›`sPoT'|Poh†jm|TYhu›zoqbh†tETc|`bjšh†},›Ÿno}?|"`bjšh†}?^Qjš^5}oTe|Tc^s^syuqs\g`shgTc}C^bnoqbTYzoqsh†z€Tqs}oTc^s^ËzoqbhGz?Tcqa`sjkTe^

œ

v$^jš}6`bPoTË|y†^bT=hu›_yuiš†hGqbjk`bPCS^nC^ajš}oK{_jm^a`syu}?|T¤›Ÿno}C|`bjšh†}C^cª²jk}'zCqsyG|"`bjm|TGª`sPoT=§Cq^a`|Poh†jm|Te^«yuqsTr^anCj¦`yufoišT

œ

$^ajš}oTcikjšSjk}?y•`bjšh†}!yuiš†h†qsjk`bPoS,^=fCyG^aTe{h†},`sPoT¢GThGSdT`bqsjš|KqbTe^ahGikn_`sjkhG}ªu`sPojm^ÇišTcyG{o^=`shgy'zoqsh†f?yufojšikjm^a`bjm|

y†ikGh†qsj¦`sPoSÓÄPohG^bT$y†qbjk`bPoST`bjm|$|h†SzoišTÔ_j¦`E\jm^Çz€h†iš\]}oh†Sjmyui€jk}

n

ªW`bPoTYTÁ•yuišnCyu`bjšh†}|h†SzoišTÔ_j¦`E\h†›`bPoT jš}ozono`Qz€h†iš\]}oh†Sjmyui¶ª_yu}C{!yu}jš}W`bqsjk}?^ajm|¢GThGSdT`bqsjš|Y{_Tc†qsTT

δ

ÄPojš|Pjm^5{oh†Sjk}?y•`bTe{ f]\

D(D − 1) ⁿ⁻¹

^œ

„$}CTK|yu}yuim^bh'nC^aT 8Yq:9†fC}oTq=fCyG^aTe^

œ

Xžy]jš}o6`bPCTKy†^s^anoSz_`sjkhG}C^¤`sPCy•`=`sPoT§Cq^E`Ç|PCh†jm|TQhu›;zoqshutETc|`bjšh†}C^

jm^K^bnojk`syufCikTGª_`bPoT|h†SzoišTÔ_jk`E\ f?Te|hGSdTe^

D ^O(n)

^œ OQPojm^ÄËhGq ,jm^GT}oTcqsy†ikjšÐTe{ `sh`bPoT|cy†^bTYh†›¤^bjš}o†noimyuq P]\]z€Tq^anoqb›®y†|Tc^jš}/ Œ5F

œ

OQPoTgy†ikGh†qsj¦`sPoS,^qbTcik\]jš}o hG}/ ŠG‚=yuqsT'`bPoTdShG^a`$TÆ,|jkTc}W`$jš}žzoqy†|"`sjš|Tyu}?{

y†qbTYjšSdzCikTcSdTc}W`bTc{jš} Œ F

œ

OQPoT'hGn_`bzCn_`¢hu›=yuiši«`sPoTc^bTyuiš†hGqbjk`bPoS,^y†qbT'|qsjk`bjm|yui«z€h†jš}W`s^Tc}C|h_{_Te{fW\yqsyu`bjšh†}Cy†i«zCyuqyuST`bTqsjk¥

Ðey•`sjkhG} 4

 

 

 

 

 



X n = ^q _q ⁿ _{0 (T} ^(T) ₎

œœœ

X 1 = ^q _q ^{1 (T )}

0 (T )

q(T ) = 0

ÄPCTqsT

T

jš^'y!}oTcÄÁ•yuqsjšy†foišT†ª˜y†}C{

q, q 0 , q 1 , . . . , q n

yuqsTgno}CjkÁ•yuqsjmy•`bTz€h†iš\]}oh†Sjmyuim^$jš}

Q[t]

^{œ U]n?|P­y}

qy•`sjkhG}Cyui†zCyuqyuST`sqbjšÐcyu`bjšh†}'|y†}'f?TËh†f_`yujš}oTc{6Tcj¦`sPoTqf]\Yišjš}oTcy†qyuiš†Tcfoqy5|h†Szon_`y•`sjkhG}C^jš}yKlWnoh†`bjšT}W`a¥

y†ikGTfoqy

¨

^aTcT ŠG

©

h†qË{ojkqsTc|`biš\,fW\d`sPoT$GThGSdT`bqsjš|¢qbTe^ahGikno`bjšh†}y†ikGh†qsj¦`sPoS

¨

^aTcT c‚oª1Wª _ªo‡†ˆ_ªWŠ5F

©"œ

v$^ËqsTc|cyuišikTe{,yuf€h•Á†TGªu`bPCTY|išyG^b^bjš|cyui€^E`sqsyu`bTG\`shg|h†Szon_`sT$y•`5ikTey†^a`ËhG}oT¢z€h†jš}W`Ëjš}TcyG|P |hG}o}oTc|`bTe{

|h†Sz€h†}oTc}G`djkSzoišjšTc^g`bhyuzozCik\`sPoTyu›Ÿh†qsTST}W`sjkhG}oTc{™y†ikGh†qsj¦`sPoS,^jš} `sPoT|cy†^bTh†›$yžP]\]z?Tcqs^bnoqb›®y†|T

{oT§C}oTe{,f]\,yz€h†iš\W}Ch†Sjšy†iCÄjk`bP|h]TÆ |jšT}W`s^Ëjš}

Q(ε)

^œ OQP]nC^cªG`sPoT¢hGn_`bzCn_`5jm^5y'qsyu`bjšh†}Cy†iCzCy†qsy†ST`bTcqa¥

jšÐcyu`bjšh†}3Äjk`bPž|h]TÆ,|jkTc}W`s^Kjš}

Q(ε)

^œ „$}C|T'j¦`$jš^¢h†f_`yujš}oTc{«ª€y,^aS,y†ikiT}ohGno†P£^bz?Te|jmyuišjkÐey•`bjšh†}›ŸhGq

ε

^{jm^}

hGf_`sy†jk}CTc{df]\g|hGSzon_`bjš}o6`sPoTK{_jm^b|qbjšSjk}Cy†}W`rhu›

q

Äjk`bP,qsTc^bz€Tc|"`=`sh

T

y†}C{|Poh]hG^bjk}C6y'^bz€Tc|jmyuišjšÐcy•`sjkhG}

išTc^s^¢`bPCy†}£`bPoT^bSy†ikišTc^a`$y†fC^ahGikno`bTÁ•y†iknoTghu›=`sPoTgqsTcy†i˜qsh]hu`s^$hu›=`sPojm^${_jm^s|qsjkSjš}Cyu}W`

œ

OQP]nC^cªC`sPoT§?}Cyui

hGn_`bzCn_`jm^^bSy†ikišTq`bPCy†}`bPoT!qsyu`bjšh†}Cy†i=zCyuqyuST`sTqsjkÐey•`sjkhG}ÅÄjk`bP |h]TÆ |jšT}W`s^jk}

Q(ε)

^œ X£h†qsTh•ÁGTqeª

|h†Szon_`sjk}Cqy•`bjšh†}?yuiCz?yuqyuST`sTqsjkÐey•`bjšh†}?^=Äj¦`sP!|hWTÆ |jšT}W`s^Ëjk}

Q(ε)

jm^ÇP?yuq{,jk}!zoqy†|"`sjš|T 4&jk}o§C}ojk`bTc^a¥

jšS,yuiyuqsjk`bPoST`sjš|c^^az€h†jši5`bPoT3zoqy†|`bjm|yui5f€TPCy²Á]jšh†noqdhu›YTišjkSjš}Cy•`sjkhG}Õyuiš†hGqbjk`bPCS^d{_noT`shÅzoqsh†fCikTcS^

y†zoz€Tcyuqsjš}ogjš}3STSh†qs\ S,yu}Cy††TcSdTc}W`Qy†}C{ `sPoT'h•Á†Tcqa¥Ñ|hW^E`5hu›=yuqsj¦`sPoST`sjš|Yh†z€Tqy•`sjkhG}C^

œ

¸±´¶³µºW¿?³¦¿†ºr°•º;»•³µ´¶³®°•ºC±g°•º­¹°•½¦Ì•º€°•¼d³®¹•½

&‘c’ '®’’ ')(+*')((.'®’ × ‘ '# ”/oÜ ×=0ÍÛ “ ”_’'Û (‘5 Ø ” %“ ×Gٖ Û /%’c”_’'Û ( Û 0 * × ( × “•”/,' × Ü£–†“'Ÿ’ Ù

'N–†”/o”/# × ‘ 3 xKTS,yuq:`sPCy•`rjš},h†q{_Tq¤`sh'h†f_`yujš}h†}oTz€h†jš}W`rjk},Tey†|P|h†}C}oTc|`bTc{|h†Sz?hG}oT}W`rjš}

S +

¨

qbTe^az

œ

S −

hGq

S

^© ª€jk`¢jm^¢^bn_Æ |jšT}W`K`sh^anCfC^E`sj¦`sn_`bT

¹6¯;È"³®°•È"³

`sPoTjš}_§C}Cj¦`sTc^bjkS,yui

ε

y†zoz?Teyuqsjk}C,jk}

f − ε

f]\dy'^aS,yuiši_T}Ch†noGPdz€hG^bjk`bjšÁ†Tqy•`bjšh†}?yui_}]noSf€Tq

e ∈ Q

^œ OQPoTzoqsh†fCikTcSjm^¤`bh'Tc}C^anCqbTQ`sPCy•`=`sPoT¢|PohW^aTc}

qy•`sjkhG}Cyui€}]noSf€TqQjm^Q^aS,yuiši;T}ohGno†PÄPojš|PSTcy†}C^ÇPCTqsT¢`sPCy•`Q›Ÿh†q5TcyG|P!|h†}o}oTe|"`sTc{|h†Sz€h†}oTc}G`

S

^h†›

S +

ªW`sPoTqsT¢TÔ]jm^a`s^Qy|h†}o}oTe|"`sTc{ |h†Sz?hG}oT}W`5hu›«`bPCT$qsTcy†i€|h†no}W`bTcqÇzCy†qa`5hu›`sPoTYPW\]z€Tq^anCqa›®yG|T¢{_T§C}oTe{

f]\

f − e = 0

ÄPojm|P jm^Ë|h†}W`sy†jk}oTe{jk}

S

^œ OQPojš^5|y†} f€T${_hG}oT¢f]\,{_T`sTqsSjk}ojš}o

e 0 ∈ R

^bnC|P,`sPCy•`˛Ÿh†q y†iki

e ∈]0, e 0 [

ª_`bPCTqsT'TÔ_jš^a`s^y{_j';Th†ShGqbzoPCjš^bS

ϕ

^bnC|P!`bPCyu``bPoT6›ŸhGikišh•Äjš}od{ojšy††qyuSÏ|hGSSn_`sTc^ 4

f ⁻¹ (e)×]0, e 0 [ ^ϕ

π

f ⁻¹ (]0, e 0 [)

f

]0, e 0 [

ÄPCTqsT

π

jm^«`sPoTr|y†}oh†}ojm|y†i•zoqshutETc|`bjšh†}6h†}Y`sPoTr^aTe|hG}C{YSdTcSf€Tqh†›]`bPoTr|cyuqb`bTc^bjmyu}Yzoqbh_{_n?|"`

f ⁻¹ (e)×]0, e 0 [

^œ

U]n?|P­y`bhGz?hGikhG†jm|yui¤zoqsh†z€Tqb`E\3jš^6hGf_`sy†jk}CTc{žf]\žTc}C^bnoqbjš}o!`bPCyu`6`bPoTjš}G`sTqsÁ•yui

I =]0, e 0 [

^{PCy†^6y†}}

TcSz_`E\ jš}W`bTq^bTc|"`sjkhG}ÕÄjk`bP¡`sPoTƒ^bT` h†›

¿W¸º;¸Ès¹•½Î³kÉe¸»ÕÊÈ"³µ´¶³®Ês¹u½K·•¹•½Î¾C¸±

h†›$`sPoTžz€h†iš\]}oh†SjmyuiS,yuzozCjk}o

f e : x ∈ R ⁿ → f (x) ∈ R

^œ OQPCjš^'^bT`6hu›5†T}CTqyuišjkÐcTc{ž|qbjk`bjm|y†i&Á•y†iknoTe^6jš^6{_Tc}ohu`sTc{Åf]\

K(f )

^jš}ƒ`sPoT

^bTclWnoTci

œ

OQPojm^^bT`jš^{oT§C}oTe{!y†}C{^E`snC{_jšTc{!jk} ŠW‡

œ

vAqbTeyui;}]noSf€Tq

c ∈ R

jš^yg†Tc}oTqyuišjšÐTc{!|qsj¦`sjš|cyui Á•y†iknoT$hu›˜ySy†zozojš}o

f e

jk›y†}C{,h†}Cik\jk›j¦`Qjš^ËTjk`bPCTqQy|qsjk`bjm|yui€Á•yuišnoT¢h†›

f e

h†qË`bPoTcqbT$TÔ_jm^E`^Ëyg^aTelGnCT}C|T h†›5z€h†jš}W`s^

(z ` ) `∈N

^anC|P­`sPCy•`

f (z ` )

`bTc}C{o^6`sh

c

^ÄPoTc}

`

`sT}C{o^'`bh

∞

^ª

||z _` ||

`sT}C{C^6`bh

∞

^ÄPCT}

`

`sT}C{C^=`bh

∞

^y†}C{

||z _{`</sub> ||.||d <sub>z `} f ||

`bTc}C{o^Ç`bh

0

^ÄPoTc}

`

`bT}?{o^r`sh

∞

^œ }`sPoT¢imy•`b`bTq5|yG^aTGª

c

jm^Ë^syujm{g`bhf€T y†}

¹²±"̕¼¢¯€´Ñ°•´¶³®Ê,ÊÈ"³µ´¶³®Ê¹•½&·²¹u½Î¾C¸œ

$TGqbTcT'f?hGno}C{o^$yuqsT'zoqsh•ÁWjm{_Te{!jš}& ‡u‰

œ

vK}žy†ikGh†qsj¦`sPoS2|h†Szon_`sjk}o

`sPoTS2jš^{oTc^s|qsjkf€Tc{jš} ŠG‡

œ

OQPojm^yuiš†hGqbjk`bPCSÒÄËhGq _^Qy†^5›ŸhGikišh•ÄK^ 4={_Tc}ohu`sjk}Cdf]\

I

`bPoT'jm{_Tcy†i

I = hf − T, ∂f

∂X i

− a i

i∈{1,...,n}

,

X i

∂f

∂X j

− a i,j

(i,j)∈{1,...,n} ²

i

ÄPCTqsT

a 1 , . . . , a 1,1 , . . . , a n,n

yu}C{

T

y†qbT6}oTcÄ9Á•y†qbjmyufoišTc^cª_|hGSdzCn_`bT

J = I ∩ Q[T, a 1 , . . . , a n , a 1,1 , . . . , a n,n ].

8YTc}oTqyuišjšÐTc{!|qsj¦`sjš|cyui«Á•yuišnoTe^KyuqsTY^bh†išn_`sjkhG}C^Qhu›

J + ha 1 , . . . , a n , a 11 , a n,n i.

OQP]nC^cª`bPojm^y†ikGh†qsj¦`sPoS[qsTclWnojšqbTe^Y`bhžz€Tqb›Ÿh†qsS y†ikGTfoqyujm|dTišjkSjš}Cy•`sjkhG}™hu›Á•yuqsjšy†foišTc^6h†}`sPoT jm{_Tcy†i

I

{oT§C}oTe{™Äjk`bP™z€h†iš\W}Ch†Sjšy†iš^jk}]ÁGh†išÁWjš}o

n ² + 2n + 1

Á•yuqsjšy†foišTc^

œ

Xžh†qsTh•Á†Tcqcª`bPoT{_TGqbTcT,hu›

I

^|cyu}

TelWnCyui

D ⁿ

^¨ÄPCTqsT

D

jm^5`bPoT{oT†qsTT6h†›

f

^©"œ „$f]Á]jšh†nC^bik\Gª]j¦`s^KzoqsyG|"`sjš|cyui;f?TcPCy²Á]jkhGnoqjm^Qjk}oTÆ |jšT}W`

œ



T'zoqsh•ÁWjm{_TYPoTqsT6yu}3yuiš†h†qsjk`bPoSÏ|h†Szon_`sjk}oTÆ,|jkTc}W`biš\,`bPoT'^bT`hu›&†Tc}oTqyuišjkÐcTc{!|qsj¦`sjš|cyui;Á•yuišnoTc^

h†›$yÅz?hGik\]}ohGSdjmyuiQS,yuzCzojk}Cƒ›Ÿqsh†S

R ⁿ

^`bh

R

^{œ v} zoqsh†fCy†fojkišjm^E`sjš|Á†Tq^bjkhG} hu›K`sPojm^,yuiš†h†qsjk`bPoS PCyG^dy

|h†SzoišTÔ_jk`E\!Äjk`bPojš}

D ^O(n)

yuqsj¦`sPoST`bjm|'hGz?Tcqsyu`bjšh†}C^jš}

Q

ÄPojm|P£jš^¢z?hGik\]}ohGSjšy†i˜jš}3`bPoTd^ajšÐTh†›=`bPoT hGn_`bzCn_`Kjk}3Ä5h†q^E`b¥Í|cy†^bTc^

œ

;¹¸ÌQ½³µº

OQPojm^¢y†ikišh•ÄK^nC^K`bh^bnofC^a`bjk`bno`bT'`sPoTnC^bTh†›¤jš}_§C}Cj¦`sTc^bjkS,yui&{_T›ŸhGqbS,yu`bjšh†}C^f]\3yzoqsT¥Ñ|h†Szono`sy•`sjkhG}

h†›GT}oTcqsy†ikjšÐTe{|qsjk`bjm|yui«Á•y†iknoTe^Qjk}h†q{_TcqË`sh,|h†Szono`bTy•`išTcyG^E`h†}CTYz€h†jš}W`jk}3TcyG|P|h†}o}CTc|"`sTc{|hGSg¥

z€h†}CT}W`hu›yž^bTSjk¥Íy†ikGTfoqyujm|g^bT`d{_T§C}CTc{f]\­y£^bjš}o†išT jš}oTclWnCy†ikjk`E\

œ

OQPoTy†ikGh†qsj¦`sPoS‹Ä5T h†f_`yujš}jš^

TÆ |jšT}W`5jš}zCqsyG|"`bjm|TYyu}C{j¦`^5zoqbhGfCyufCjkišjš^a`bjm|$Á†Tq^bjkhG}C^rPCy²ÁGT$yg|h†SzoišTÔ_jk`E\,Äj¦`sPojš}

O(n ⁷ D ⁴ⁿ )

y†qbjk`bP_¥

ST`bjm|3h†z€Tqy•`bjšh†}?^jk}

Q

^œ9 Tƒy†iš^bh™^aPCh•ÄPoh•Ä2`bh y†zozoiš\ h†nCq|hG}G`sqbjšfon_`sjkhG} `sh™`bPoT£zCqbhGfoikTcS h†›

{oTc|jm{_jš}o jk›ry,P]\Wz€Tq^bnoqa›®yG|T|h†}W`sy†jk}C^KqbTeyuiqsTGnoišy†qz?hGjk}W`^

œ

„$noq$yuiš†h†qsjk`bPoSjm|'|h†}W`sqbjšfon_`sjkhG}C^PCy²ÁGT

f€TTc}£jkSzoišTSTc}G`sTc{£y†}C{3ÄËT{oTc^s|qsjkf€Ty•`K`sPoTTc}C{3hu›¤`bPCTzCyuz€Tq¢Poh•Ä `sPoT\PCy²ÁGTYf€TTc}ƒyuzCzoikjšTc{hG}

|h†}C|qbT`bT6yuzozCikjm|yu`bjšh†}C^QÄPojm|P3yuqsTYnC}oqbTey†|PCy†foišT$Äjk`bP£yu}W`sTqsjkhGq5ST`bPoh_{o^

œ

/N” ( Û10 ’ - × %¤”% × “ 3)OQPoT,zCyuz€Tq'jm^6h†qsGy†}ojšÐTc{Åy†^$›Ÿh†išišh•ÄK^

œ

}™U]Tc|`bjšh†}™‡_ª˜Ä5TqbTe|y†iki&`bPCT {_T›µ¥

jš}ojk`bjšh†}¡yu}C{ fCy†^bjm|!zCqbhGz?Tcqa`sjkTe^h†›

¿W¸º;¸Èb¹u½Î³kÉe¸» ÊÈ"³µ´N³®Ê¹•½·•¹•½¦¾C¸"±

ÄPojš|P¬|y†}Õf€T›Ÿh†no}C{Õjš} ŠG‡

œ }

U_Tc|"`sjkhG} ŠoªÇÄËT!zoqbh•Á]jm{_T GTh†ST`bqsjš|qbTe^anoik`s^gÄPojm|Pªrnoz `bh­yž†Tc}oTqsjm| išjk}oTeyuq|PCyu}C†T h†›K`bPoTÁ•yuqsj¦¥

y†foišTc^

X 1 , . . . , X n

ª|PCy†qsyG|"`sTqsjkÐcT

¿W¸º;¸Èb¹u½Î³kÉe¸»ƒÊÈ"³µ´N³®Ê¹•½Ë·²¹u½Î¾C¸±

y†^$`sPoT ^aT`'hu›Q}oh†}_¥Ízoqsh†z€Tqs}oTc^s^$hu›5y

zCqbh†tETc|"`sjkhG}3h†}žy,išjk}CTqsTc^a`bqsjš|`bTc{!`shy

1

¥Ñ{_jšST}C^bjkhG}Cyui˜z?hGišy†q¢Á•yuqsjkT`E\

œ6

}ƒU]Te|"`bjšh†}ƒŒoª?Ä5T^bPoh•ÄAPoh•Ä

`sh h†fo`syujš}žy§Cq^a`$yuiš†hGqbjk`bPoS |hGSdzCn_`bjš}o GT}oTcqsy†ikjšÐTe{|qbjk`bjm|y†i˜Á•yuišnoTe^KÄPojm|P£jš^${_jšqbTe|"`biš\fCy†^bTc{3hG}

`sPoT'†Tch†ST`sqbjm|$qbTe^anoik`s^Qh†›=U_Tc|"`sjkhG}Š

œ

OQPoT}˜ªoÄËT6zoqsh•Á†T$`bP?y•``bPCTc^bT6|h†Szon_`y•`sjkhG}C^QqbTe{_nC|T$`sh |hGSg¥

zCn_`bjš}o!|išyG^b^bjm|yui&|qsj¦`sjš|cyuiÁ²y†iknCTc^$h†}£`sPoTghG}oTPCy†}C{«ª«yu}?{ž|qsj¦`sjš|cyui&Á•yuišnoTc^Yy•`Yjk}_§?}oj¦`E\3hG}£`bPoTdhu`sPoTq

P?yu}C{

œ+

},U]Tc|`bjšh†} ]ª†Ä5T{_Tc^s|qsjšf?TQyu}yuiš†hGqbjk`bPoS |h†Szono`bjš}o'y•`=ikTey†^a`=h†}oTQz€h†jš}G`=jš}Tcy†|Pd|hG}o}oTc|`bTe{

|h†Sz€h†}oTc}G`Ëhu›˜y^bTSjk¥Íy†ikGTfoqyujm|Q^aT`5{_T§C}oTe{ f]\dyg^ajš}oGikTKjš}oTelGn?yuišj¦`E\GªGÄPojm|P jm^Çf?y†^bTc{,hG}`bPoT6|hGSg¥

zCn_`syu`bjšh†},hu›

¿W¸º;¸Ès¹•½Î³kÉe¸»,ÊÈ"³µ´¶³®Ê¹•½;·•¹•½Î¾C¸±"œ+

}U_Tc|"`sjkhG} ‰oªWÄËTK^bPoh•Ä¬Poh•Ä¬`bhy†zozoiš\ghGnoqÇ|h†}W`bqsjkfCn_`bjšh†}C^

`shÅ{_T`bTcqbSjš}ojk}Cƒjk›¢yžP]\]z?Tcqs^bnoqb›®y†|T!|h†}W`yujš}C^qsTcy†iÇqsT†nCišy†qz?hGjk}W`^

œ

jš}Cy†ikiš\†ªÇU]Te|"`sjkhG} £|h†}W`sy†jk}C^

^bh†STf€T}C|PoS,y†q _^6jšikišnC^a`bqy•`bjš}o`bPCT,zoqsyG|"`sjš|cyui¤TÆ |jšT}?|\ƒh†›5hGnoqyuiš†hGqbjk`bPCS^6y†}C{Å^bPoh•Äjš}o`bPoTe^aT

ST`bPoh_{o^Ky†qbT6yuišqsTcy†{o\,zoqbhGSjš^bjk}Cg`sh,{_Tcy†i«Äj¦`sPzCqbhGfoikTcS,^QPCy²Á]jk}oSh†qsT$`bPCy†}

4

Á•yuqsjmyufoišTc^

œ

Ž– ( Û]Ú /× Ü.*( × (;’c‘ 3 OQPCTËyuno`bPohGq«`bPCy†} _^

œ

U_|PChG^a`˜yu}C{'p

œ

O˜qfCnC|PoT`˜›Ÿh†q›Ÿqsnojk`a›Ÿnoi]{_jm^b|nC^s^ajšh†}C^

y†}C{|h†SST}W`^yuf€h†n_``sPojš^KÄËhGq œ

3 !& %&…1%¤'1ÅQ%… !Q%¤ Ë 4Ë%¤45

#$ !

}­`sPojš^^aTe|"`bjšh†}˜ª˜Ä5T,qbTe|yuiši¤`bPCT{_T§?}oj¦`sjkhG}C^y†}C{­fCy†^bjš|dzoqsh†z€Tqb`bjšTc^6h†›5GT}oTcqsy†ikjšÐTe{Å|qbjk`bjm|y†i=Á•yuišnoTc^

ÄPCjš|P3|y†}!f€T6›Ÿh†no}?{!jš} ŠW‡

œ

× +(+'Ÿ’'Û (

Ê°•¼¢¯€½k¸º?¾_¼¸È

c ∈ C

³m±$¹ÊÈ"³µ´N³®Ê¹•½;·•¹•½Î¾C¸6°¢´ŸÀo¸$¼,¹s¯†¯;³µºW¿

f : y ∈ C ⁿ → f (y)

³¹uº€»°•º?½ÎÌ,³6´µÀC¸Ès¸g¸G³m±´N±

z ∈ C ⁿ

±"¾CÊÀ3´ŸÀo¹u´

f (z) = c

^¹uº€»

^∂f _∂X

1 (z) = · · · = _∂X ^∂f

n (z) = 0

Ê°•¼¢¯€½k¸'º?¾_¼¸È

c ∈ C

³m±Q¹•º ¹•±Ì•¼¢¯€´Ñ°•´¶³®ÊKÊÈ"³µ´N³®Ê¹u½_·²¹u½Î¾C¸°Ë´µÀC¸5¼¹¯†¯;³µºW¿

f : y ∈ C ⁿ → f (y)

³¹uº€»°•º?½ÎÌ,³6´µÀC¸Ès¸g¸G³m±´N±¹±¸ $¾C¸º€Ê¸g° 5¯C°•³µº?´®±

(z ` ) `∈ N ⊂ C ⁿ

±"¾CÊsÀ£´µÀC¹•´

f (z ` )

´Í¸º€»•±Y´Ñ°

c

^;ÀC¸º

`

´Í¸º€»•±Y´Ñ°

∞

||z ` ||

´Ñ¸º€»²±6´Ñ°

+∞

^;ÀC¸º

`

´Í¸º€»•±Y´Ñ°

∞

¸±´¶³µºW¿?³¦¿†ºr°•º;»•³µ´¶³®°•ºC±g°•º­¹°•½¦Ì•º€°•¼d³®¹•½

°•Èg¹u½µ½

(i, j) ∈ {1, . . . , n} ||X i (z ` )||.|| _∂X ^∂f

j (z ` )||

´Í¸º€»•±6´Ñ°

0

^;ÀC¸º

`

´Í¸º€»•±Y´Ñ°

∞

!× ”_“

¸¼¹uÈ,´ŸÀo¹u´Q¹uºCÌ,±"´Ñ¹•´Ñ¸¼,¸ºC´5°'´ŸÀo¸ °•½µ½k°;=³µºW¿u³µº€»

†jšÁ†Tc}yz€h†iš\]}oh†Sjmyui«S,yuzozCjk}o

ϕ : R ⁿ → R ^q

yu}C{­y3z€h†jš}G`

y ∈ R ^q

ª˜`bPoTcqbTTÔ_jm^E`^y3^aTelWnoT}C|Thu›Qz?hGjk}W`s^

(z ` ) `

ik\]jš}o3jk}™y3^aTcSj¦¥

y†ikGTfoqyujm|¢^bT`

S ⊂ R ⁿ

y†}C{yz?hGjk}W`

y ∈ R ^q

^an?|P`sPCy•`4

||z ` ||

`bTc}C{o^Q`sh

∞

^ÄPoT}

`

`sT}C{C^Q`bh

∞

ϕ(y ` )

`bTc}C{o^5`bh

y

^ÄPCT}

`

`sT}C{o^`bh

∞

ʹ•ºs¸žÈb¸Ñ¯oÀ]Ès¹²±¸»™¾]±"³µºW¿Õ¹ $¾C¹uºC´¶³Ë¸» rȱ"´g°uÈb»†¸È °•È"¼d¾_½k¹

Φ

°u·²¸È£´µÀC¸£Èb¸¹u½± Ào¸º Ès°•¼

¹•È±u³ ;¸³®»†¸º ¸ÈN¿± Ào¸°•Ès¸¼g´ŸÀo¸±¸´g° ¯C°•³µº?´®±!±¹u´N³m±Ì•³µº]¿

Φ

³m±£¹Å±¸¼g³ a¹u½¿G¸Èb¹•³®Êž±¸´ ;ÀC°²±¸

¹•È"³m±•³ aʽk°•±¾_Ès¸d³m±º€°u´=Ée¸Èb° a»u³µ¼¸ºo±"³®°•º;¹•½¶±"³µº€Ê¸

||z ` ||

³m±'±"¾e¯G¯o°•±¸»!´Ñ° ´Ñ¸º;» ´Ñ°

∞

À_¾]±Ë¾]±"³µºW¿

´ŸÀo¸gʾ_È"·•¸±¸½k¸Ê´N³®°uº˜¸¼d¼¹r´µÀC¸'±¸ $¾C¸º€Ê¸g° ˯C°•³µºC´N±6³µºž´µÀC¸g¹ °•·•¸'±"´Ñ¹•´Ñ¸¼,¸º?´5ʹ•ºs¸'±"¾ "±"´¶³µ´N¾_´Ñ¸»

̐´ŸÀo¸,¸G³m±"´Í¸º€Ê¸,°¹±¸¼d³ a¹•½¿W¸Èb¹u³®Ê!ʾ_È"·•¸

γ :]0, 1[→ R ⁿ

±"¾CÊsÀƒ´ŸÀo¹•´

||γ(t)||

´Í¸º€»•±´Í°

∞

^;Ào¸º

t → 1

^¹uº€»

ϕ(γ(t))

´Ñ¸º;»²±'´Ñ°

y

^;Ào¸º

t → 1

”&% /×

r°•ºC±³®»G¸È´µÀC¸&°u½µ½k°;=³µº]¿¯o°u½Î̕º€°u¼g³®¹u½³µº

Q[X 1 , X 2 ] f = X 1 (X 1 X 2 − 1)

¹uº€»­´ŸÀo¸3¼,¹s¯G¯€³µº]¿

f e : (x 1 , x 2 ) → f (x 1 , x 2 )

À_³m±¼,¹s¯G¯€³µºW¿­Ào¹•±£° ·e³®°•¾]±"½Î̺€°™ÊÈ"³µ´¶³®Ês¹u½·²¹u½Î¾C¸

±"³µº;Ês¸

hf − T, _∂X ^∂f

1 , _∂X ^∂f

2 i = Q[X 1 , X 2 , T ]

€¾e¯†¯C°²±¸gº€°; ´µÀC¹•´Q´µÀC¸Ès¸g¸G³m±´N±g¹ ±¸ $¾C¸º;ʸg°Q¯C°•³µºC´N±

z `

±"¾CÊÀ3´ŸÀo¹u´

||z _` ||

´Ñ¸º€»²±6´Ñ°

+∞

^;ÀC¸º

`

´Í¸º€»•±Y´Ñ°

∞

°•Èg¹u½µ½

(i, j) ∈ {1, 2} ||X _i (z ` )||.|| _∂X ^∂f

j (z ` )||

´Ñ¸º€»²±'´Ñ°

0

^;ÀC¸º

`

´Ñ¸º€»²±6´Ñ°

∞

À_³m±³µ¼K¯;½Î³®¸±´µÀC¹•´

X ₁ ² (z ` )

´Í¸º€»•±6´Ñ°

0

^;Ào¸º

`

´Ñ¸º€»²±´Ñ°

∞

;À_³®ÊsÀƒ³µ¼¢¯€½Î³®¸±´ŸÀo¹u´

X 1 (z ` )

´Í¸º€»•±´Í°

0

^;Ào¸º

`

´Ñ¸º;»²±´Ñ°

∞

^5¹•º;»

X 2 X ₁ ² (z ` )

´Ñ¸º;»²±'´Ñ°

0

^;ÀC¸º

`

´Í¸º€»•±'´Í°

∞

dzµº;¹•½µ½ÎÌ

f (z ` )

´Ñ¸º;»²±'´Í°

0

^;ÀC¸º

`

´Ñ¸º;»²±$´Ñ°

∞

^À]¾]±

0

³m±¹•ºƒ¹²±"̕¼¢¯€´Ñ°•´¶³®ÊgÊÈ"³µ´¶³®Ês¹u½«·²¹u½Î¾C¸°6´µÀC¸6¼,¹s¯†¯;³µºW¿

f e

^{d¸ ;=³µ½µ½±¸¸}

¾_È"´ŸÀo¸È'´ŸÀo¹•´Ë³µ´Ë³m±'´ŸÀo¸d°•º?½Î̐°•º;¸

r°•ºC±"³®»†¸Èº€°;´µÀC¸&°u½µ½k°;=³µº]¿£¸ ]¹•¼¢¯€½š¸³µº

3

·•¹•È"³®¹ ½k¸±

f = X 1 + X ₁ ² X 2 + X ₁ ⁴ X 2 X 3

º! #"%$%Q´ŸÀo¸¹•¾_´ŸÀo°uȱ¯€Èb°u·²¸d´ŸÀo¹u´´µÀC¸±¸´K°6¿G¸º€¸Èb¹u½Î³kÉe¸s»3ÊÈ"³µ´N³®Ê¹u½&·•¹•½¦¾C¸"±d°´ŸÀo¸d¼,¹s¯G¯€³µºW¿!±¸º€»u³µºW¿

x ∈ C ⁿ

^´Ñ°

f (x)

^³m±

{0}

Ì,¾]±"³µºW¿¹±"³µ¼d³µ½k¹•ÈÈb¸¹²±°•º?³µºW¿¹²±'´µÀC¸g¹ °•·•¸

} ŠG‡Íª_`bPCTyun_`sPoh†q^Qzoqsh•Á†T$`bPoT6›ŸhGikišh•Äjk}CgqsTc^bnoik`KÄPojš|P3|y†}3f?T^bTTc}yG^y†T}CTqyuišjkÐcTc{!Uoyuq{^

`sPoThGqbTcSқŸh†qGT}oTcqsy†ikjšÐTe{|qbjk`bjm|y†i«Á²y†iknCTc^

œ

& -

×]Û

“ ×

¸´

f

¸3¹d¯C°•½Î̕º;°•¼d³®¹•½Q³µº

Q[X 1 , . . . , X n ]

°»†¸Í¿†Èb¸¸

D

^{Ào¸±¸´'°}d¿G¸º€¸Èb¹•½¦³kÉc¸»

ÊÈ"³µ´¶³®Ês¹u½˜·•¹•½Î¾C¸±

K(f )

^°'´ŸÀo¸¼¹¯†¯;³µºW¿

f e : x ∈ C ⁿ → f (x) ∈ C

^³m± ¹•È"³m±•³ aʽk°•±¸»³µº

C

'

°•Ès¸s°u·²¸È

D]K ∞ (f ) + ]K 0 (f ) ≤ D ⁿ − 1

;¹¸ÌQ½³µº

8YjšÁ†Tc}

f ∈ Q[X 1 , . . . , X n ]

ª=|h†}?^ajm{_Tqy3S,y†zozojš}o

f C : x ∈ C ⁿ → f (x) ∈ C

yu}?{™yu}h†z€T}

^bnofC^bT`

F C

hu›

C

^œ= T^sy²\`bPCyu`

f C

qsTcy†ikjšÐTe^5ydišh_|yuišiš\`bqsjkÁ]jmyui;§Cfoqy•`sjkhG}!hG}

C ⁿ \ f _C ⁻¹ (F C )

j¦›&›Ÿh†qy†iki

|h†}o}CTc|"`sTc{h†z€T}3^aT`

¨

›Ÿh†q5`bPCTYTcnC|išjm{_Tcy†} `bhGz?hGikhG†\

©

U C ⊂ C \ F C

ª]›ŸhGqQy†iki

e ∈ U C

{_Tc}ohu`sjk}Cgf]\

π C

`sPoTzoqshutETc|`bjšh†}Åh†}Å`bPoT ^bTc|h†}C{ƒSdTcSf€Tq'h†›Ç`bPCT |yuqb`bTe^ajmyu}Åzoqsh]{onC|"`

f C ⁻¹ (e) × U C

ª˜`bPoTd›ŸhGikišh•Äjk}C

{ojšy††qyuS

f _C ⁻¹ (e) × U C ϕ

π

f _C ⁻¹ (U C )

f

U C

OQPCTÇyuf€h•Á†Tr{_T§C}ojk`bjšh†}jm^˜y†iš^bhKnC^bTc{Y›ŸhGq˜z€h†iš\]}oh†Sjmyui†S,y†zozojš}oG^›ŸqbhGS

R ⁿ

^`bh

R

^œ hG}C^ajm{_Tcq˜yS,yuzozCjk}o

f R : R ⁿ → R

yu}C{3yu}h†z€T}3^bnofC^bT`

F R

h†›

R

^œ= T^by²\`sPCy•`

f R

qsTcy†ikjšÐTe^5ygišh]|cyuišik\ `bqsjkÁ]jmyui;§Cfoqy•`sjkhG}

hG}

R ⁿ \ f _R ⁻¹ (F C )

j¦›&›Ÿh†qyuiši|hG}o}oTe|"`bTe{hGz?Tc}^bT`

¨

›Ÿh†qQ`bPCT'TnC|ikjm{_Tcy†} `sh†z€h†išh††\

©

U R ⊂ C \ F R

ª]›Ÿh†q

y†iki

e ∈ U R

{_Tc}ohu`sjk}o3f]\

π R

`bPoT,zoqshutETe|"`sjkhG}ÅhG}ƒ`sPoT ^aTe|hG}C{ƒSTcSf€Tqh†›Ë`sPoT |y†qa`sTc^bjšy†}ƒzoqsh_{_nC|"`

f _R ⁻¹ (e) × U R

ª_`bPoT6›ŸhGikišh•Äjš}od{ojšy††qyuS

f R ⁻¹ (e) × U R ϕ

π

f R ⁻¹ (U R )

f

U R

jm^|hGSSn_`y•`bjšÁ†T

œ

OQPoT$S,yujš} jk}W`sTqsTc^a`Çhu›«`sPoT$^bT`

¿G¸º€¸Èb¹•½¦³kÉc¸» ÊÈ"³µ´¶³®Ês¹u½;·²¹u½Î¾C¸"±

qsTišjkTe^rhG} j¦`^r`sh†z€h†išh†Gjš|cyuiozoqsh†z€Tqb`bjšTc^

ÄPCjš|P3yuqsT'^anoSS,yuqsjšÐTc{!f€Tišh•Ä9yu}?{zoqsh•Á†Te{ jš} ŠW‡

œ

& -

×]Û

“ ×

Ào¸g¼,¹s¯G¯€³µºW¿

f C

Èb¸¹•½Î³kÉe¸±¹ ½k°eÊs¹u½µ½Î̐´¶È"³µ·e³®¹•½ Ès¹•´¶³®°•ºƒ³µº

C ⁿ \ f C ⁻¹ (K(f C ))

ÀC¸¼,¹s¯G¯€³µºW¿

f R

Èb¸¹•½Î³kÉe¸±g¹,½k°eʹ•½µ½ÎÌ ´¶È"³µ·e³®¹•½ Ès¹•´¶³®°•ºƒ³µº

R ⁿ \ f R ⁻¹ (K(f R ))

”&% /×

r°•ºC±³®»G¸È´ŸÀo¸ ¸]¹•¼¢¯€½k¸±6¿†³µ·•¸º ¹ s°u·²¸ d¸Ào¹u·²¸Y¯€Èb°u·²¸»3´ŸÀo¹u´ °•È s°u´µÀ¸]¹•¼¢¯€½k¸±

0

³m±,¹•º ¹²±"̕¼¢¯€´Ñ°•´¶³®ÊÊÈ"³µ´N³®Ê¹u½=·²¹u½Î¾C¸

¸¼,¹•È´ŸÀo¹u´´µÀC¸ ¸Èd° °•´ŸÀÊ°•ºC±³®»G¸Ès¸s»£¼¹¯†¯€³µº]¿•± ¹ °u·²¸

0

³m±$Èb¸»•¾Cʳ½k¸;À]³µ½k¸g¹Y¿W¸º€¸È"³®Ê ¸È¢³m±$³µÈ"Ès¸s»u¾Cʳ ½k¸ À_³m±$³m±'ÊsÀC¹•Èb¹GʴѸÈ"³m±"´¶³®Ê'´Ñ°¹dÊÀo¹uºW¿W¸° $´Ñ°s¯C°•½k°s¿uÌ

¹uº€» ³m±¸¹•±³µ½¦Ì ·c³m±"¾C¹u½Î³kÉe¸s»°•º dz¦¿u¾_Èb¸,³µ½µ½¦¾]±´¶Èb¹u´N³µº]¿ ´ŸÀo¸d¸ ]¹u¼K¯;½k¸

f = X 1 (X 1 X 2 − 1)

¸·•¸È"´µÀC¸½k¸±±rº€°•´Ñ¸'´ŸÀo¹u´5¹¼,¹s¯G¯€³µº]¿!ʹ•ºƒÈb¸¹•½Î³kÉe¸d¹½k°eÊs¹u½µ½ÎÌ ´¶È"³µ·c³®¹u½ Èb¹u´N³®°uºÅ¸·•¸ºž³6´µÀC¸Ès¸¸†³m±"´N±6¹

¿W¸º€¸Èb¹•½Î³kÉe¸»ÊÈ"³µ´¶³®Ê¹•½˜·•¹•½¦¾C¸³µº

I

°³µ½µ½Î¾]±"´¶Èb¹•´Ñ¸'´ŸÀ]³m± ¹†Ê´5Ê°•ºo±"³®»G¸È´ŸÀo¸ °•½µ½š°;=³µºW¿£¸]¹•¼¢¯€½k¸

f = −X 2 (2X ₁ ² X ₂ ² − 9X 1 X 2 + 12)

;À_³®ÊsÀ9Ès¸s¹u½Î³kÉe¸"±¹ ½š°cʹ•½µ½¦ÌÕ´¶È"³µ·c³®¹u½ Ès¹•´¶³®°•º ¹•Èb°u¾_º€»

0

¹•±ž±bÀo°;=º9³µº dz¦¿u¾_Ès¸ "¾_´³m±£±¾CÊÀ ´µÀC¹•´

K(f ) = {0}

¸±´¶³µºW¿?³¦¿†ºr°•º;»•³µ´¶³®°•ºC±g°•º­¹°•½¦Ì•º€°•¼d³®¹•½

jkGnoqsT 4 *

Ô_jš^a`bTc}C|T6h†›&GT}oTcqsy†ikjšÐTe{|qsjk`bjm|yui«Á•y†iknoTe^yu}C{3|PCy†}o†TYjš}!`sh†z€h†išh†G\

jš†nCqbT‡4

*

Ô_jm^E`sT}C|T'hu›&†T}CTqyuišjkÐcTc{|qbjk`bjm|y†i«Á•yuišnoTc^Ky†}C{!}oh,|PCyu}oGT6jk}!`bhGz?hGikhG†\

;¹¸ÌQ½³µº

OQP]nC^cª

K(f )

jš^;yuqsjm^]jk¥Í|ikhW^aTe{«ª†{_Tc†qsTTKf€h†no}?{o^ÇhG}

K(f )

^yuqsT Ðch†n_`b¥¶išj†T¢{_Tc†qsTTKf€h†nC}C{o^5yu}C{

jk`s^5`sh†z€h†išh†Gjš|cyui;zoqsh†z€Tqb`bjšTc^QT}?^anoqsTY`bPCyu`Q`bPoTcqbT'jm^Q}ohd`bhGz?hGikhG†jm|yui«|PCy†}o†TYjš}!`sPoT6§Cf€Tq^Qhu›

f

^`y†Tc}

y†f?h•ÁGTYy†}]\ jk}W`sTqsÁ²y†i«hu›

R

ÄPojm|PPCy†^y†}TcSz_`E\ jš}G`sTq^aTe|"`sjkhG}!Äjk`bP

K(f )

^œ

$T}oh†`bT5f]\

GL n (C)

`bPoTQ^aT`&h†›

n

¥Í^slWnCyuqsTrjš}]Á†Tqb`bjšfoišTÇS,y•`sqbjm|Te^˜Äjk`bPd|h]TÆ |jkTc}G`^˜jš}

C

^œ h†}C^bjm{_Tq }Ch•Ä

A ∈ GL n (C)

y†}C{ {_Tc}ohu`sT¢f]\

f ^A

`bPoT$z?hGik\]}ohGSjšy†i

f (AX)

^ÄPoTqsT

X

{_T}oh†`bTe^

(X 1 , . . . , X n )

^œ

Xžh†qsTh•Á†TcqcªC†jšÁ†T}

{f 1 , . . . , f s }

^jk}

Q[X 1 , . . . , X n ]

yu}C{£y†}ƒyuiš†Tcfoqyujm|6Á²y†qbjšT`E\

V ⊂ C ⁿ

{_T§C}CTc{£f]\

f 1 = · · · = f s = 0

ª_Ä5T'{_T}oh†`bT'f]\

V ^A

`bPoTy†ikGTfoqyujm|KÁ•yuqsjšT`E\{_T§C}oTe{!f]\

f ₁ ^A = · · · = f _s ^A = 0

^œ

OQPoT ›Ÿh†išikh•Äjš}o3ikTcSSy3jm^y†}jkSSTc{_jmy•`sT |hG}C^aTelWnoT}C|Thu› ¢T§C}ojk`bjšh†} y†}C{­ÄjkišiÇf€T,nC^bTc{jš}

`sPoT^bTclWnoTi

œ

Ë× ”

˜°uȹu½µ½

A ∈ GL n (Q)

K(f )

^{¸ $¾C¹u½±}

K(f ^A )

K 0 (f )

^{¸ $¾C¹•½±}

K 0 (f ^A )

^¹uº€»

K ∞ (f )

¸ $¾C¹•½±

K ∞ (f ^A )

c

³m±'¹!ÊÈ"³µ´¶³®Ê¹•½·²¹u½Î¾C¸ÍÈb¸±¶¯ 6¹•º­¹²±"̕¼K¯;´Í°u´N³®ÊÊÈ"³µ´N³®Ê¹u½·²¹u½Î¾C¸  °

f

^{=´µÀC¸º °uÈg¹•½µ½}

e ∈ Q

c − e

³m±¹!ÊÈ"³µ´¶³®Ê¹•½˜·•¹•½¦¾C¸ÍÈb¸±¶¯ 6¹•º¹²±"̕¼K¯;´Í°u´N³®ÊÊÈ"³µ´N³®Ê¹u½˜·•¹•½Î¾C¸ °

f + e

$^ajš}o xTcSy†q>Gª]`bPoT6›ŸhGikišh•Äjš}oikTcSdS,ydjm^Kyuim^ahdjšSdSTe{_jšyu`bTy†}C{jm^nC^bTc{›Ÿnoqb`bPoTcq

œ

Ë× ”

˜¸´

f

¸d¹Y¯C°•½Î̕º;°•¼d³®¹•½&³µº

Q[X 1 , . . . , X n ]

r°•ºo±"³®»G¸È

c ∈ C

^¹•º€»

(z ` ) `∈ N ⊂ C ⁿ

^¸¹

±¸ $¾C¸º;Ês¸g° 5¯C°•³µº?´®±6±"¾CÊÀ´µÀC¹•´

f (z ` )

´Í¸º€»•±Y´Ñ°

c

^;ÀC¸º

`

´Í¸º€»•±Y´Ñ°

∞

||z ` ||

´Ñ¸º€»²±6´Ñ°

∞

^;Ào¸º

`

´Í¸º€»•±6´Ñ°

∞

||z _{`</sub> ||.||d <sub>z `} f ||

´Ñ¸º;»²±6´Í°

0

^;Ào¸º

`

´Ñ¸º;»²±6´Í°

∞

d¸º€°•´Ñ¸ Ì

X

´ŸÀo¸·²¸Ê´Í°uÈ

X 1 , . . . , X n

ÀC¸Èb¸d¸†³m±"´N±'¹

¹•È"³m±u³ aʽš°²±¸»,±"¾ ±¸´

A ( GL n (C)

±"¾CÊsÀ

´ŸÀo¹u´-°uÈg¹•½µ½

A ∈ GL n (Q) \ A

||AX (z ` )||

´Í¸º€»•±Y´Ñ°

∞

^;Ào¸º

`

´Ñ¸º;»²±'´Í°

∞

}`sPoT¢^bTclWnoTi¶ªu›ŸhGq=`bPCT¢^by †TQhu›«^bjkSzoišjš|j¦`E\GªGÄ5Tjm{_T}W`bjk›Ÿ\y6z?hGik\]}ohGSdjmyui

f ∈ Q[X 1 , . . . , X n ]

^Äjk`bP

`sPoT'S,yuzozCjk}o

f C : x ∈ C ⁿ → f (x) ∈ C

^œ

g-.5˜%&4‹%¤˜

w˜T`

f

f€Ty$z€h†iš\]}oh†Sjmyui]jš}

Q[X 1 , . . . , X n ]

^ª

H ⊂ C ⁿ⁺¹

f€TË`sPoTP]\]z?Tcqs^bnoqb›®y†|T5{_T§?}oTc{gf]\

f −T = 0

¨

ÄPoTqsT

T

^{jš^6y }CTÄ} Á•yuqsjmyufoišT

©œ

8YjšÁ†Tc}

x = (x 1 , . . . , x n ) ∈ C ⁿ

ª«ÄËTd{_T}Chu`bTdf]\

F i : C ⁿ → C ⁿ⁺¹

`sPoT'z€h†iš\W}Ch†Sjšy†i«S,yuzozojš}o,^bT}C{_jš}o

x

^{`bh 4}

((∂f/∂X i ) (x), (X 1 ∂f/∂X i ) (x), . . . , (X n ∂f/∂X i ) (x))

y†}C{!fW\

F e i : C ⁿ → C ⁱⁿ⁺ⁱ⁺¹

`bPoT'z€h†iš\]}oh†Sjmyui«S,yuzozCjk}o,^bT}C{ojk}o

x

^`sh54

(F 1 (x), F 2 (x), . . . , F i (x), f(x)) .

¸±´¶³µºW¿?³¦¿†ºr°•º;»•³µ´¶³®°•ºC±g°•º­¹°•½¦Ì•º€°•¼d³®¹•½



Tž|hG}C^ajm{_Tcq,jk}¬`bPCTž^aTelGnCTi`sPoT£z?hGik\]}ohGSjšy†iSy†zozojš}o

φ : C ⁿ → C ^{n 2 +n+1}

^bT}C{ojk}o

x = (x 1 , . . . , x n )

^`sh

(F 1 (x), . . . , F n (x), f (x))

ÄPCjš|P£|hGjk}?|jm{_Tc^Äjk`bP

F e n

^œ

hGq¢yu}]\z€h†iš\]}oh†Sjmyui«S,yuzCzojk}C

ψ

ª?ÄËT{_Tc}ohu`sT'f]\

Γ ψ

`sPoTjšSy††T'h†›

ψ

y†}C{žf]\

Γ ψ

jk`s^ ;y†qbjm^ ]jk¥Í|ikhW^anCqbT

œ

h†q

(i, j) ∈ {1, . . . , n} ²

ªÄ5Tgjš}W`bqsh_{_nC|Td}oTcÄÁ•yuqsjšy†foišTc^

a i

ª˜yu}?{

a i,j

^bnC|P!`bPCyu`

Γ φ

jm^K{_T§C}oTe{!f]\y^bT`Kh†›†Tc}oTqy•`sh†q^Çh†›`sPoT'jm{_Tcy†i,4

hf − T, (∂f/∂X i − a i ) i∈{1,...,n} , (X i .∂f/∂X j − a i,j ) (i,j)∈{1,...,n} ² i

jš}W`bTcqs^bTc|`bTc{!Äjk`bP`bPoT'z€h†iš\]}oh†Sjmyui«qsjk}C

Q[T, a 1 , . . . , a n , a 1,1 , . . . , a n,n ]

^œ

w˜T`

L i ⊂ C ⁱⁿ⁺ⁱ⁺¹

f€T6`bPoT|hWhGqs{ojk}Cyu`bT6y•Ô_jm^Qhu›

T

^{ª]jœT œ} `sPoT'ikjš}oT{_T§C}oTe{!f]\ 4

a 1 = · · · = a i = a 1,1 = · · · = a n,1 = · · · = a 1,i = · · · = a n,i = 0.

OQPCTYišjš}oT

L n

jš^{oT}oh†`bTc{f]\

L

jš}!`sPoT^bTclWnoTi

œ

6noq{_\=•yžyu}?{j¦`^g|h†išišy†f?hGqsyu`bh†q^6zoqsh•Á†T`sPCy•`

Γ φ ∩ L

TclWnCy†iš^`bPoT^aT`gh†›QGT}oTcqsy†ikjšÐTe{™|qsj¦`sjš|cyui Á•y†iknoTe^Yhu›

f

^{¨^bTT7 ŠW‡]ª˜‡u‰œ} OQPoT,^bT`6hu›

¹²±"̕¼K¯;´Í°u´N³®Ê!ÊÈ"³µ´¶³®Ê¹•½r·•¹•½¦¾C¸"±

h†›

f

ª˜{_Tc}ohu`sTc{ƒfW\

K ∞ (f )

^{ªjm^}

|P?yuqy†|"`sTqsjkÐcTc{ yG^5`bPoT'jš}W`bTcqs^bTc|`bjšh†}hu›˜`sPoT^bT`Khu›&}oh†}o¥¶zoqsh†z€Tqs}oTe^b^5hu›

φ

^Äjk`bP

L

^œ

! "!$#%'&)('*#*+! -,./0/+21+3*4536#2,

7

7

#*4849484836

7

#64

}`sPoT'^aTelGnCTi¶ª_›Ÿh†q

i = n, . . . , 2

ªoÄ5T'|h†}?^ajm{_TqQzoqshutETe|"`sjkhG}C^ 4

Π i : C ⁿ⁺¹ → C ⁱ

(x 1 , . . . , x n , t) 7→ (x n−i+2 , . . . , x n , t)

h†q

i = 1, . . . , n − 1

^ªikT`

W n−i ⊂ C ⁿ⁺¹

{oT}oh†`bTc^$`sPoT ;yuqsjm^ ]jk¥Í|ikhW^anoqsTh†›Ç`bPCT|h†}C^a`bqsnC|`bjšfoikT

^bT`K{_T§C}oTe{!f]\ 4

f − T = ∂f

∂X 1 = · · · = ∂f

∂X i

= 0, ∂f

∂X i+1

6= 0.

h†qK^bjkSzoišjm|jk`E\†ª

W n

{oT}oh†`bTc^

H

^œ

}!`bPoT6^bTclWnoTi¶ª_Ä5T$|hG}C^bjš{_TcqQSy†zC^Ëf?T`EÄËTcT}3|h†SzoišTÔ,hGq5qsTcy†i€y†ikGTfoqyujm|Á•yuqsjšT`bjšTc^

œ

OQPoTY}ohu`sjkhG}

h†›Czoqsh†z€Tqs}oTc^s^&hu›?^bnC|PdS,yuzC^&Äjšiki_f€TQqbTcišyu`bjšÁ†Tr`shY`bPoT5`bhGz?hGikhG†jšTc^jk}?{_nC|Te{f]\'`sPoTQST`bqsjm|r`sh†z€h†išh††jšTc^

h†›

C

^hGq

R

^{œ v S,yuz}

φ : V → W

hu›¤`sh†z€h†išh††jm|y†i˜^bzCy†|Tc^jm^¢^syujm{`bh f€TzCqbhGz?Tcq¢y•`

w ∈ W

j¦›=`sPoTqsT TÔ_jš^a`s^5y}CTjš†P]f?hGqbPChWh_{

B

^hu›

w

^an?|P `bP?y•`

f ⁻¹ (B)

jš^Q|h†SzCy†|`

¨

ÄPoTqsT

B

{_Tc}ohu`sTc^Ë`bPoT6|išhG^bnoqsT¢h†›

B

^©"œ OQPoT'S,y†z

φ

jm^K^syujm{ `shf?T'zoqsh†z€Tqjk›¤j¦`Kjm^Qzoqsh†z€TqKy•`¢y†iki

w ∈ W

^œ

8YjšÁ†Tc}

A ∈ GL n (Q)

^yu}C{

j ∈ {2, . . . , n}

ªuÄËT^sy²\6`bPCyu`=`bPoTzCqbhGz?Tcqa`E\

P j (A)

jm^r^byu`bjm^E§?Tc{gj¦›«yu}C{

hG}oiš\ j¦›&›Ÿh†qKy†iki

i ∈ {j, . . . , n}

ª]`bPoT'S,yuzCzojk}C

Π i

qsTc^a`bqsjš|`bTe{ `sh

W _i ^A

jm^Qzoqsh†z€TqKyu}?{ `sPoT'qbTe^E`sqbjm|"`sjkhG}

h†›˜`sPoT'S,yuz

Π i+1

`bh

W i

jm^fojšqsyu`bjšh†}Cy†i€hG}W`bhj¦`^jšSy††T

œ

}™`sPoT!^bTclWnoTciNª&Ä5T^anCzoz?hW^aT `bPCyu``bPCTqsT TÔ_jm^E`^y ;y†qbjm^Wjk¥Ñ|išhG^bTc{­^anof?^aT`

A ( GL n (Q)

^{^anC|P}

`sPCy•`›ŸhGqKyuiši

A ∈ GL n (Q) \ A

^yu}C{

j ∈ {2, . . . , n}

ª]`bPoT'zoqsh†z€Tqb`E\

P _j (A)

jm^^byu`bjm^E§?Tc{

œ

;¹¸ÌQ½³µº

!× ”_“

¸¼¹uÈ!´µÀC¹•´Èb°u¼‹´µÀC¸¹•½¿W¸ Èb¹u³®Ê$¸È"´¶³µºC³ «¹•Èb»´ŸÀo¸°•Ès¸¼ $%Q³

P (A)

³m±´¶È"¾C¸

Π i

Ès¸"±"´¶È"³®Ê´Ñ¸»´Í°

W i

^³m±¹ ǺC³µ´Ñ¸'¼,¹s¯ ¹•º€» ´µÀC¸º

W _i ^A

Ào¹•±»u³µ¼¸ºo±"³®°uº

i



Tzoqbh•ÁGTf€Tišh•ÄA`bPCyu`Yjk›

P 2 ( A )

jm^6^byu`bjm^E§?Tc{«ª;†jšÁ†Tc}

c ∈ K ∞ (f )

ª;`bPoTcqbTdTÔ_jm^E`^$y^aTelWnoT}C|Th†›

z€h†jš}W`s^

(z ` ) `∈N

jk}

W ₁ ^A

^anC|P!`bP?y•` 4

f (z ` )

`sT}C{C^Q`bh

c

^ÄPoT}

`

`sT}C{C^5`bh

∞

||z ` ||

`bTc}C{o^Q`sh

∞

^ÄPoT}

`

`sT}C{C^Q`bh

∞

||z ` ||.||d z ` f ||

`bT}?{o^Q`bh

0

^ÄPoT}

`

`bT}?{o^Q`bh

∞

^bhY`bPCyu`=`bPoT¢TÔ_jš^a`bTc}C|TQh†›;yG^a\]Sz_`bh†`bjm|Q|qsj¦`sjš|cyuioÁ•yuišnoTe^=|yu}f€TqbTey†{gh 'jš}

W 1

ÄPojš|PPCyG^={_jšSdTc}C^bjkhG}

1

^œ

“ Û % Û ‘ '®’ 'Û (

r°uºo±"³®»†¸È

c ∈ K ∞ (f )

Ào¸Èb¸ž¸G³m±´N±¹

¹uÈ"³m±u³ aʽk°²±¸»­±"¾ "±¸´

A ( GL n (C)

±"¾CÊÀ3´ŸÀo¹u´-°•Èd¹•½µ½

A ∈ GL n (Q) \ A

r´µÀC¸Ès¸g¸G³m±´N±¹±¸ $¾C¸º€Ê¸d°Ë¯C°•³µºC´N±

(z ` ) `∈ N

±"¾CÊsÀ3´µÀC¹•´

°•Èg¹u½µ½

` ∈ N

z ` ∈ W _n−1 ^A

f ^A (z ` ) → c

^{;À]³µ½k¸}

` → ∞

||z ` ||

´Ñ¸º€»²±6´Ñ°

∞

^;Ào¸º

`

´Í¸º€»•±6´Ñ°

∞

||z _{`</sub> ||.||d <sub>z `} f ^A || → 0

^{;À]³µ½š¸}

` → ∞

5Ès°c°

h†qQ`sPoT^by †TYhu›=^ajšSzoišjš|j¦`E\Gªo^anozCz?hW^aTY`bP?y•`

P n (I n )

jm^^sy•`bjm^a§CTc{

œ

hG}C^ajm{_Tcq£`bPoTÕS,yuzozojš}o

φ : H ⊂ C ⁿ⁺¹ → C ²ⁿ⁺²

^ÄPCjš|P yG^b^bh_|jmy•`bTe^`bh y*z?hGjk}W`

x = (x 1 , . . . , x n , t) ∈ H

`bPoT'z€h†jš}W` 4

x 2 , . . . , x n , t, ∂f

∂X 1

(x), x 1

∂f

∂X 1

(x), . . . , x n

∂f

∂X 1

(x), t ∂f

∂X 1

(x)

∈ C ²ⁿ⁺²

$T}Chu`bTf]\

(a 2 , . . . , a n , a n+1 , a 0,1 , a 1,1 , . . . , a n+1,1 )

`bPoT,|hWhGqs{ojk}Cyu`bTe^¢h†›Ç`bPCTg`yuqs†T`6^bzCy†|Thu›

φ

^œ

U_jk}C|T5›Ÿh†q

i = 2, . . . , n

^ª

X i = a i

ª

T = a n+1

yu}C{

X 1 = ^a _a ^1,1 _0,1

^ª

X 1 , . . . , X n

y†}C{

T

|y†}gf€TTÔ_zoqsTc^s^aTe{

yG^&qsyu`bjšh†}Cy†iG›ŸnC}C|"`sjkhG}C^=hu›;|h]h†q{_jš}Cy•`sTc^&jš}g`sPoTQ`sy†qbGT`=^az?y†|TQh†›

φ

y†}C{`bPoTc}ªu`sPoTS,yuz

φ

jm^¤fojkqy•`sjkhG}Cyui hG}W`bhj¦`^KjšS,yu†T

œ

X£hGqbTch•Á†TqeªG`bPoTGqsy†zoPhu›

φ

ª€{_T}Chu`bTe{3f]\

Γ φ

jš^¢yu}3jkqsqsTc{_nC|jkfCikTy†ikGTfoqyujm|¢Á•y†qbjšT`E\

h†›

C ³ⁿ⁺³

h†›¤{ojkST}?^ajšh†}

n

^œ OQPoTc}ª_`sPoTqsT'TÔ_jm^E`^Ky ;yuqsjš^ ]j¦¥Ñ|išhG^bTc{^anof?^aT`

Z ( C ²ⁿ⁺²

hu›¤SyuÔ_jkS,yui {ojkST}?^ajšh†}

n − 1

ªo^an?|P`sPCy•`K^bz?Te|jmyuišjkÐcjk}o

n

|h]h†q{_jk}?y•`bTe^5h†n_`^ajm{_T

Z

ªo{_T`bTqsSjk}CTc^ydno}ojmlWnoT6z?hGjk}W`

jš}`bPoT'zCqbT¥¶jšS,yu†TYhu›

φ

^œ

}Õ`bPoT3^bTclWnoTi¶ªrGjkÁGT} yÅz?hGjk}W`

α = (α 2 , . . . , α n ) ∈ C ⁿ⁻¹

^{¨qbTe^az œ} yƒ|hGSzoikTÔ }]noSf€Tq

θ ∈ C

^© ªr^an?|P™`bPCyu`

(α, β) ∈ Z /

ª=ÄËT{_T}Chu`bT!f]\

y(α, β)

`sPoTz€h†jš}W`djš}™`bPCTjšSy††T!hu›

φ

h†f_`yujš}oTc{ fW\

^bz€Tc|jmyuišjšÐjš}o'`bPCT¢§Cq^a`

(n − 1)

|hWhGqs{ojk}Cyu`bTe^

¨

|h†qsqbTe^az€h†}?{_jk}CY`sh

x 2 , . . . , x n

^©

`bh

α

^yu}?{`bPoT

n + 2

^¥N`sP

|h]h†q{_jk}?y•`bT

¨

|h†qsqsTc^bz?hG}C{_jš}o`sh

x 1 ∂f

∂X 1

©"œ

U]jš}C|T

φ

jš^fojkqy•`sjkhG}Cyuiry†}C{^ajš}C|T

α

^yu}?{

β

y†qbT,|PohW^aTc}

GT}oTcqbjm|y†ikiš\†ª]hG}oT'|yu}3{_T§C}oT

x(α, β)

y†^5`sPoT'no}ojmlWnoT'zoqsT¥ÍjkS,y††TYhu›

y(α, β)

^œ

hG}C^ajm{_Tcq

c ∈ K ∞ (f )

ª_`bPCT}`bPoTcqbT6TÔ]jm^a`s^Ky^bTclWnoT}?|T6hu›&z?hGjk}W`s^

(z ` ) `∈N ⊂ C ⁿ

^bnC|P!`bPCyu` 4

¸±´¶³µºW¿?³¦¿†ºr°•º;»•³µ´¶³®°•ºC±g°•º­¹°•½¦Ì•º€°•¼d³®¹•½

f (z ` )

`sT}C{C^Q`bh

c

^ÄPoT}

`

`sT}C{C^5`bh

∞

||z ` ||

`bTc}C{o^Q`sh

∞

^ÄPoT}

`

`sT}C{C^Q`bh

∞

^œ

||z _{`</sub> ||.||d <sub>z `} f ||

`bT}?{o^Q`bh

0

^ÄPoT}

`

`bT}?{o^Q`bh

∞

^œ

hG}C^bjš{_TcqK`sPoTjšS,yu†Te^¢f]\

φ

hu›=`sPoTgz€h†jš}W`s^

(z ` , f(z ` ))

y†}C{3`bPCTjšq¢§Cq^a`

n − 1

|h]hGqs{_jš}Cyu`bTc^

α `

yu}?{

`sPoTjšq

n + 2

<sup>¥¶`bP</sup> |h]h†q{_jk}?y•`bTe^

θ `

^œ>

h†`bT,`sPCy•`d^anC|P y£|PCh†jm|T jšSzoikjšTc^`bPCyu`

θ `

`bTc}C{o^`bh

0

^ÄPoTc}

`

`sT}C{C^=`bh

∞

^{œ U]jš}C|T}

f (z ` )

^ª

1/||z _` ||

^yu}C{

||z _{`</sub> ||.||d <sub>z `} f ||

^y†qbT y†nC|P]\g^bTclWnoT}?|Tc^cª•`sPoT${_hGnofoiš\W¥¶jš}C{_TÔ]Te{

^bTclWnoTc}C|T

α _i , θ `

jm^K^bnC|P!`bPCyu` 4

¨y ©

f (x(α _i , θ ` ))

`sT}C{o^`bh

c

^ÄPCT}

i

^yu}?{

`

^`bT}?{`sh

∞

¨f ©

||d _x(α

i ,θ ` ) f ||

`bTc}C{o^Q`sh

0

^ÄPoTc}

i

^yu}C{

`

^`sT}C{!`sh

∞

^œ

¨| ©

||x(α _i , θ ` )||

`bTc}C{o^Q`sh

∞

^ÄPCT}

i

^yu}?{

`

`bTc}C{!`bh

∞

^œ

¨{ ©

||x(α _i , θ ` )||.||d x(α <sub>i</sub> ,θ ` ) f ||

`bTc}C{o^Q`sh

0

^ÄPoTc}

i

^yu}C{

`

^`bT}?{`sh

∞

^œ

Xžh†qsTh•Á†TcqcªeÄjk`bPohGn_`=ikhW^b^&hu›€†Tc}oTqyuišj¦`E\Gª²fW\g{_jš^a`bnCqbfojš}oYjk}o§C}ojk`bTc^bjšSy†ikiš\

α _i

^yu}C{

θ `

ªuhG}oTQ|yu}d^anCzoz?hW^aT

`sPCy•`4

¨T ©

›Ÿh†q$yuiši

i ∈ N

^ª

α _i

jm^¢|PohW^aTc}!hGn_`s^bjš{oT'`bPoT ;yuqsjš^ ]j¦¥Ñ|išhG^bTc{!^anCfC^aT`${_T§C}oTc{£yG^Q`bPCT ;yuqsjm^ ]jk¥

|išhG^bnoqsTYh†›˜`sPoT'zoqshutETc|`bjšh†}hu›

W n−2

h†}W`bh

X 2 , . . . , X n

^œ

¨› ©

›Ÿqsh†S2wTSS,y‡_ª_h†}CTY|cyu}!^bnozoz€hG^bT$`bPCyu`QnCz`shyg†Tc}oTqsjm|¢išjk}CTcyuqQ|PCy†}o†TYhu›|h]h†q{_jk}?y•`bTe^ª

X 1 (α i , θ ` )

`sT}C{o^`bh

∞

^ÄPoT}

i

^y†}C{

`

^`sT}C{!`bh

∞

^œ

U]jš}C|T`sPoT3Sy†z

φ

jm^dfojkqy•`sjkhG}Cyui¶ª¤`bPCTqsTTÔ_jm^E`^yu}

n

¥ÍÁ•yuqsjšyu`bTqy•`sjkhG}CyuiǛŸqsyG|"`sjkhG}

Q

^{^bnC|P `sPCy•`}

X 1 (x(α, θ))

jm^ÇhGf_`sy†jk}oTe{,f]\TÁ•yuišnCy•`sjk}C`bPCjš^5qy•`bjšh†}?yuio›Ÿqy†|`bjšh†} yu`

α, θ

^œ OQPoTc}ª]›Ÿh†q5y'§oÔ_Te{ jš}G`sTGTq

i 0

ª

X 1 (x(α _{i 0} , θ ` ))

PCy†^Tcj¦`sPoTqYyd§C}ojk`bTgikjšSj¦`¢hGq`bTc}C{o^K`bh

∞

^ÄPCT}

`

`bT}?{o^K`sh

∞

^œ6}3`sPoT^aTelWnoTi¶ª Ä5T¢zCqbh•ÁGTQ`bPCyu`Ëjš}f€hu`bP!|y†^bTc^cª

y(α _{i 0} , θ ` )

`bT}?{o^r`shgyz?hGjk}W`ËÄPChG^bT¢imy†^a`

n + 2

|h]h†q{_jk}?y•`bTe^Çy†qbTK}]noiši ÄPCT}

`

`sT}C{o^`bh

∞

^œ

U]nCzoz?hW^aT§Cq^E`$`bPCyu`

X 1 (x(α _{i 0} , θ ` ))

PCy†^$y§C}ojk`bTdišjkSjk`$ÄPoTc}

`

`bT}?{o^K`sh

∞

^œ ¢z£`bhy,†Tc}oTqsjš|

išjš}oTcy†q¢|PCyu}C†T6hu›¤Á•yuqsjšy†foikTe^ª?{_noT'`sh,zoqbhGz?Tcqa`E\

¨› ©

ª?hG}oT|y†}£^anozCz?hW^aT6`sPCy•`

||X 1 (x(α _i , θ ` ))||

^{`bTc}C{o^}

`sh

∞

^ÄPoT}

i

^yu}C{

`

^`sT}C{*`bh

∞

^œ OQP]nC^cªh†}CTƒ|y†} |Poh]hG^bT

i 0

imyuqs†T£Tc}oh†noGP¡`bhÕT}C^bnoqsT£`bPCyu`cª

jk›

X 1 (x(α _{i 0} , θ ` ))

PCyG^ yŧC}ojk`bTžišjkSjk` ÄPoT}

`

`bT}?{o^`bh

∞

ª5`bPojm^,išjkSjk`jm^}ohu`

0

^œ OQPojš^ jkSzoišjkTe^

`sPCy•``sPoT

n + 1

¥N`sP£|h]h†q{_jš}Cy•`sTYh†›

y(α _{i 0} , θ ` )

^¨ÄPojš|P£|h†qsqbTe^az€h†}C{C^Ç`sh

∂f

∂X 1 (α _{i 0} , θ ` )

^© `sT}C{C^Q`bh,ÐcTqsh ÄPCT}

` → ∞

^ajš}C|T'h†}oTP?y†^K^bTTc}3`bPCyu`

X 1 ∂f

∂X 1

(x(α _{i 0} , θ ` ))

`sT}C{o^K`bh

0

^y†}C{

X 1 (x(α _{i 0} , θ ` ))

^{jš^}

^bnozoz€hG^bTc{`bh,P?y²Á†T6y§?}oj¦`sT'ikjšSj¦`KÄPCjš|P3jm^Q}ohu`K}]noiši

œ

OQPojm^yuim^bhgjšSzoikjšTc^5`sPCy•`Q›ŸhGq

j = n + 3, . . . , 2n + 1

^ª]`sPoT

j

¥¶`bP£|h]hGqs{_jš}Cyu`bT¢h†›

y(α _{i 0} , θ ` )

^`sT}C{`bh

0

^ÄPoTc}

` → ∞

^ajš}C|TY`sPoTc^bTY|h]h†q{_jk}?y•`bTe^Q|yu}!f?T6qsTÄqsj¦`b`bTc}!y†^Ë`sPoT6zoqbh_{_n?|"`hu›˜hG}oT'|h]h†q{_jš}Cy•`sT¢hu›

α _{i 0}

^¨ÄPojm|P3jš^5§oÔ_Te{

©

yu}C{`bPCT

(n + 1)

^¥¶`bPhu›

y(α _{i 0} , θ ` )

ÄPojm|P`bTc}C{o^5`bh

0

^ÄPoTc}

`

`bTc}C{o^Q`sh

∞

^œ

X£hGqbTch•Á†Tcqcª

f (x(α _{i 0} , θ ` ))

qbTcSy†jk}?^f€h†no}?{_Tc{

¨

^bjk}C|T

X 1 (x(α _{i 0} , θ ` ))

P?y†^dyž§C}Cj¦`sT!išjkSjk`

©

ªËyu}?{

P?y†^¢|h†}C^bTclWnoTc}W`biš\y §C}ojk`bTišjšSdjk`

œ

jk}?yuišik\GªC`sPojš^Yyuišišh•ÄK^KnC^¢`bh|h†}?|išnC{_T'`sPCy•`$`bPoTdišyG^E`Y|h]h†q{_jš}Cy•`sT

h†›

y(α _{i 0} , θ ` )

^¨ÄPCjš|P­|h†qsqsTc^bz?hG}C{o^`sh

t _∂X ^∂f ₁ (x(α _{i 0} , θ ` ))

^© `bT}?{o^$`bh

0

^ÄPoT}

`

`bTc}C{o^$`bh

∞

^{œ OQP]nC^cª}

;¹¸ÌQ½³µº

jš} `sPojm^Ë|cy†^bT†ªWh†}oT$PCy†^Ëzoqsh•Á†Tc{d`sPCy•`

y(α _{i 0} , θ ` )

`bTc}C{o^Ë`bhdyz€h†jš}W`5ÄPohW^aT$išyG^E`

n + 2

|h]h†q{_jš}Cy•`sTc^Çy†qbT }]noiši

œ

U]nCzoz?hW^aT£}Ch•Ä`sPCy•`

X 1 (x(α _{i 0} , θ ` ))

`bTc}C{o^`sh

∞

^ÄPoT}

`

`bTc}C{o^`sh

∞

^œ OQPojš^ jkSSTc{_jmy•`sTiš\

jšSzoišjkTe^'`bP?y•``sPoT

n + 1

¥¶`bP™|hWhGqs{ojk}Cyu`bT y†}C{«ª&›Ÿh†q

j = n + 3, . . . , 2n + 1

^ª`bPoT

j

<sup>¥¶`bP</sup> |h]hGqs{_jš}Cyu`bTc^

h†›

y(α _{i 0} , θ ` )

`bTc}C{Å`bh

0

^ÄPoT}

`

^`sT}C{Å`sh

∞

^œ `qsTS,y†jk}C^$`sh£zoqbh•ÁGT`sPCy•`'`sPoT,imy†^a`|h]h†q{_jš}Cy•`sTgh†›

y(α _{i 0} , θ ` )

`bTc}C{o^Q`sh

0

^ÄPoTc}

`

`bTc}C{o^Q`sh

∞

^œ

U]jš}C|T

X 1 (x(α _{i 0} , θ ` ))

`sT}C{o^ `bh

∞

^ÄPCT}

`

`bT}?{o^,`sh

∞

ªKy†}C{¬nC^ajš}o xTcS,yuq: uª5›Ÿqsh†SÃ`bPoT

|noqsÁ†Tg^bTišTc|`bjšh†}ƒw˜TSS,y!yu`Yjš}_§C}Cj¦`E\

¨

^aTcT< ŠG‡]ªw˜TSS,yŠ

œ

ŠCª€z?yu†Td‚ͪ;`bPojm^YjkSzoišjšTc^$`bPoTcqbTdTÔ_jm^E`^$y

^bTSjk¥Íy†ikGTfoqyujm|¢y†qs|

γ i 0 : [0, 1[→ R ⁿ

^anC|P!`bP?y•`

||γ _{i 0} (ρ)|| → ∞

^y†}C{

||γ _{i 0} (ρ)||.|| ∂f

∂X 1

(γ i 0 (ρ))|| → 0

ÄPCT}

ρ

`bT}?{o^K`sh

1

^{œ qsh†S} wh†tay†^bjkTcÄjš|Ð ^jš}oTclWnCy†ikjk`E\yu`$jš}_§C}ojk`E\ ‚oª«‡

œŠ œ †ª?z

œ

‰GŠÍªC`sPojš^$jšSdzCikjšTc^

`sPCy•``sPoTqsT6TÔ_jm^E`^yu}jk}W`bTc†Tcq

N ≥ 1

^anC|P!`bP?y•` 4

∀ρ ∈ [0, 1[, || ∂f

∂X 1

(γ i 0 (ρ)))|| ≤ ||γ i 0 (ρ)|| ^{−1− N 1}

h†išikh•Äjš}o¢`bPoT^syuSTËqsTcyG^ahG}ojš}o¢y†^&jš} ŠG‡]ªGwTSS,yYŠ

œ

ŒCª•zCy††TQ‚ͪ•h†}oTQ|y†}qsT¥ÍzCyuqyuST`sTqsjkÐcT

γ i 0

^an?|P

`sPCy•`

γ i 0

f€Tc|h†STc^yƒ^aTcSdjk¥Ñyuiš†TfCqsy†jš|g›Ÿno}C|`bjšh†}™›Ÿqsh†S

[0, +∞[

^`bh

R ⁿ

^yu}C{

lim ρ→1 || γ ˙ i 0 (ρ)|| = 1

^œ

OQP]nC^cª]`bPCT6›Ÿh†išikh•Äjš}od\WjšTim{o^ 4

∀ρ ∈ [0, +∞[, || ∂f

∂X 1

(γ i 0 (ρ))||.|| γ ˙ i 0 (ρ)|| ≤ ||γ _{i 0} (ρ)|| ^{−1− N 1} .|| γ ˙ i 0 (ρ)||

y†}C{`bPoTcqbT'TÔ]jm^a`s^

B ∈ R

^bnC|P`sPCy•`

Z ∞ 0

||γ i 0 (ρ)|| ^{−1− N 1} ||.|| γ ˙ i 0 (ρ)||dρ ≤ B.

U_jk}C|T

Z ∞ 0

|| ∂f

∂X 1

(γ i 0 (ρ))||.|| γ ˙ i 0 (ρ)||dρ ≥ ||

Z ∞ 0

∂f

∂X 1

(γ i 0 (ρ)). γ ˙ i 0 (ρ)dρ||

hG}oT6PCy†^5§?}Cyuišik\

||

Z ∞ 0

∂f

∂X 1 (γ i 0 (ρ)). γ ˙ i 0 (ρ)dρ|| ≤ B

OQPCjš^gjkSzoišjšTc^`bPCyu`

f (X 1 , α _{i 0} )

jm^f€h†nC}C{_Tc{ yuišh†}o

γ i 0

^{œ "}

T}C|TÄ5TPCy²ÁGT zoqsh•Á†Te{ƒ`sPCy•`

y(α _{i 0} , θ ` )

`sT}C{C^Q`bh,ydz?hGjk}W`KÄPohW^aT6imy†^a`

n + 2

|h]h†q{_jk}?y•`bTe^yuqsT$}]noiši

œ

w˜T`

y i 0 = (α _{i 0} , c i 0 , 0, . . . , 0)

f?Tg`bPCTdišjšSdjk`'hu›

y(α _{i 0} , θ ` )

^yu}?{žišT`

p i 0 ∈ C ⁿ

^f€T

(α _{i 0} , c i 0 )

^yu}?{

p ` ∈ C ⁿ

f€T`sPoTgz€h†jš}W`$ÄPohW^aTg|h]h†q{_jš}Cy•`sTc^¢y†qbT`bPoT

n

¥N§Cq^a`Y|h]hGqs{_jš}Cyu`bTc^Khu›

y(α _{i 0} , θ ` )

^œ$ Tdzoqbh•ÁGT }Ch•Ä*`bP?y•`

y i 0

f?TcikhG}oG^5`shg`sPoT'jšSy††T6hu›

φ

^œ

U]jš}C|T¢`sPoT¢qsTc^a`bqsjš|`bjšh†}`sh

H

^h†›

Π n

jm^5^anozCz?hW^aTe{`bhgf?TYzoqsh†z€Tqeª†›ŸhGqËyuiši

` ∈ N

^ª

Π ⁻¹ _n (p ` ) ∩ H 6= ∅

y†}C{`sPoTqsT$TÔ_jš^a`s^5yfCy†iki«|T}W`bTcqbTe{ y•`

p i 0

^bnC|P,`sPCy•`

Π ⁻¹ _n (B)

jm^Q|hGSdz?y†|"`

œ

Xžh†qsTh•Á†TcqcªGqbTcS,yuq:`sPCy•`

x(α _{i 0} , θ ` )

f?TcikhG}oG^5`sh

Π ⁻¹ _n (p ` )

^œ