ä»å¹Žã®æ¥ã®æ¥ãç§ã¯ãããªãŒãã¹ã«ä¹ã£ãŠã ã³ã·ã¥ã«é¢ãã挫ç»ãããã£ãŠããŸããã åé¡ã® 1ã€ã«ãBUTïŒ ç解ã§ããã ãã©ã¯ã¿ã«ã§å°å¹³ç·ã«æµã蟌ã ãç§ãããããã ãã...ã ãã®åŸãçªã®å€ãèŠãŠãè€çŽ å¹³é¢a ïŒ z ïŒãšb ïŒ z ïŒã®2ã€ã®é©åãªç·åœ¢åæ°å€æãè¡ãã a ïŒ z ïŒã b ïŒ z ïŒã a â1ã®å埩é¢æ°ã®ã·ã¹ãã ãèãããšïŒ z ïŒã b â1 ïŒ z ïŒãKoshãåæã»ãããšããŠåçãæ®ããšãKoshã¯ãã©ã¯ã¿ã«ã§å°å¹³ç·ã«æµã蟌ã¿ãŸãïŒ
ãããŠæ°æ¥åãç§ã®æãå¿
èŠãªã¹ã¯ãªãããpythonã§æžãããã«ãªããŸããã ç§ã®å人ãšç§ã¯çµæã奜ãã ã£ãã®ã§ããã®ãã©ã¹ãã©ã·ã¥ãã¥ãæžãããšã«ããŸããã
ãã®ãããè€éãªå¹³é¢ã®ç·åœ¢-åæ°å€æãšã¯äœããããã³ãããã䜿çšããŠãã©ã¯ã¿ã«ç»åãååŸããæ¹æ³ãç¥ãããå Žåã¯ãhabrakatãžããããã å°ã圹ã«ç«ããªãæ°åŠãšå€ãã®gifããããŸãã
ãããã£ãŠãKosh Kã䜿çšããŠãè€éãªå¹³é¢ã«é
眮ããŸãã
ããã§äœãã§ããŸããïŒ ããšãã°ãããæ¹åã«ç§»åã§ããŸãã ãã®ãããªå€æã¯ã f ïŒ z ïŒ= z + aã®åœ¢åŒã§èšè¿°ã§ããŸããããã§ãaã¯è€çŽ æ°ã§ãã
Koshãåç¹ã«å¯ŸããŠè§åºŠÏã§å転ãããããšãã§ããŸãã ãã®ãããªå€æã¯ã f ïŒ z ïŒ= e iÏzã®åœ¢åŒã§èšè¿°ã§ããŸãã
æåŸã«ãåç¹ã«å¯ŸããŠkåKoshãååŸããã³å¢å ã§ããŸãã ãæ³åã®ãšããããã®ãããªå€æã¯f ïŒ z ïŒ= kzãšæžãããšãã§ããŸãã
ä»»æã®ç·åœ¢è€çŽ å€æf ïŒ z ïŒ= a z + bã¯ãããã3ã€ã®çµã¿åãããšããŠè¡šãããšãã§ããŸãã
ããã§ãå€æf ïŒ z ïŒãèããŸãã ãã®å€æã®æ§æãèªåã§åããå€æf ïŒ f ïŒ z ïŒïŒ= f 2 ïŒ z ïŒãååŸãã次ã«æ§æf ïŒ z ïŒããã³f 2 ïŒ z ïŒãååŸããŠå€æf ïŒ f 2 ïŒ z ïŒïŒ= f ïŒ f ïŒ f ïŒ z ïŒïŒïŒ= f 3 ïŒ z ïŒãªã©ç¡éã«ç¶ããŸãã ããšãã°ã f ïŒ z ïŒ= z + aã®å Žåã f n ïŒ z ïŒ= z + naã§ãã ãã®äžé£ã®å€æãKoshã«é©çšããçµæãçµã¿åããããšã次ã®ããã«ãªããŸãã
ããããããšãã°ã f ïŒ z ïŒ= k e iÏzïŒä¿æ°kãšè§åºŠÏã«ããå転ãå ããå§çž®ïŒã䜿çšãããšãããèå³æ·±ãç»åãåŸãããŸãïŒã³ãŒã·ãŒããã®èºæã§ãã ïŒãã®åçãäœæãããšããå
ã®ã³ã·ã¥ã¯ããã€ã³ã1ã圌ã®èžã«ããããã«é
眮ãããŸãããk = 0.8ãÏ=Ï/3ãïŒ
ã¹ãã€ã©ã«ããã€ã³ã0ã«ã«ãŒã«ããŠãããšããäºå®ã«æ³šæãæããŸãã
ãããf ïŒ z ïŒã®æ£ã®åã«å ããŠããŒããšè² ã®åãèæ
®ããããšãã§ããŸãã ãŒãã䜿ââçšãããšããã¹ãŠãåçŽã«ãªããŸããããã¯ãã¢ã€ãã³ãã£ãã£ãããf 0 ïŒ z ïŒ= idïŒ z ïŒ= zã§ãã è² ã®ãã®ã¯ããå°ãè€éã§ãïŒæåã«å€æf ïŒ z ïŒãéã«ãã次ã«å€æf -1 ïŒ z ïŒã®æ£ã®åºŠåããèæ
®ããå¿
èŠããããŸãã åã®æ®µèœããf ïŒ z ïŒãå€æããããã«ã f -1 ïŒ z ïŒã¯ä¿æ°kãšè§åºŠ-Ïã®å転ãæã€ã¹ãã¬ããã«ãªããŸãã ãããã£ãŠãKãå€æfïŒzïŒã®ãã¹ãŠã®æŽæ°ã¹ãä¹ã®åœ±é¿ãåããçµæãçµåããããšãCauchyã®äž¡åŽã§ç¡éã¹ãã€ã©ã«ãåŸãããŸãã
ã¹ãã€ã©ã«ã¯ç¢ºãã«è¯ãã§ãããã€ã¡ãŒãžãå°ã掻æ°ã¥ããŸãããããã®ã¹ãã€ã©ã«ã«f ïŒ z ïŒå€æãé©çšãããŠããäœãå€ãããªãããšã«æ³šæããŠãã ããã å®éãã³ãŒã·ãŒf n ïŒ K ïŒã®ããããã¯f ïŒ f n ïŒ K ïŒïŒ= f n +1 ïŒ K ïŒã«ãªããŸãããæ¢ã«ãã®ãããªKoshããããã«ãããŸãã ãããŠf n ïŒ K ïŒã§Kosh fn -1 ïŒ K ïŒãééããŸãã Nãã¬ãŒã ã®gifãäœæããå Žåã g N ïŒ z ïŒ= f ïŒ z ïŒã«ãªããããªå€æg ïŒ z ïŒãäœæããå¿
èŠããããŸãã ãã ããããã¯åçŽã§ããg ïŒ z ïŒ= k 1 / N e iÏ/ N zãã€ãŸãã g ïŒ z ïŒã¯f ïŒ z ïŒã®Nåå§çž®ããã Nåå°ããè§åºŠå転ããŸãã
ã¹ãã€ã©ã«ã«æ»ããŸãããããã€ãã®ãã©ã¯ã¿ã«ããããŸãã 䟿å®äžã次ã®è¡šèšãå°å
¥ããŸããt a ïŒ z ïŒ= z + a - aã«ããã·ããã rÏ ïŒ z ïŒ-è§åºŠÏã«ããå転ãããã³s k ïŒ z ïŒ -kåã®å§çž®ã 3ã€ã®å€æãæ€èšããŸãã
f 1 ïŒ z ïŒ= t i ïŒ rÏ / 2 ïŒ s 0,6 ïŒ z ïŒïŒïŒïŒ
f 2 ïŒ z ïŒ= t sqrtïŒ3ïŒ/ 2-0.5 i ïŒ r ïŒ âÏ / 6 ïŒ s 0.6 ïŒ z ïŒïŒïŒïŒ
f 3 ïŒ z ïŒ= t âsqrtïŒ3ïŒ/ 2-0.5 i ïŒ r -5Ï/ 6 ïŒ s 0.6 ïŒ z ïŒïŒïŒã
åç¹ãKoshã®äžå¿ã«ãããšä»®å®ãããšãå€æf 1 ïŒ z ïŒã¯Koshã§äœãããŸããïŒ ã»ãŒ2åå§çž®ããå³åŽã«çœ®ããŠ1ã€æã¡äžããŸãã ïŒå€æãå³ããå·Šã«èªãå¿
èŠãããããšã«æ³šæããŠãã ãããïŒä»ã®2ã€ã®å€æã¯äŒŒããããªããšãããŸã-ãããã®å€æã¯ãKoshã®å°ããªã³ããŒãéåžžã®äžè§åœ¢ã®é ç¹ã«ããããã«éžæãããŸãã
ãããã3ã€ã®ã³ãŒã·ãŒã«éå®ãããããšã¯æã¿ãŸãããç¡éã«å€ãå¿
èŠã§ãããããã£ãŠãããããçš®é¡ã®å€æf 1 ïŒ z ïŒã f 2 ïŒ z ïŒã f 3 ïŒ z ïŒïŒidïŒ z ïŒã f 1 ïŒ z ïŒã f 2 ïŒ z ïŒãf 3 ïŒ z ïŒã f 1 ïŒ f 1 ïŒ z ïŒïŒã f 1 ïŒ f 2 ïŒ z ïŒïŒã f 1 ïŒ f 3 ïŒ z ïŒïŒã f 2 ïŒ f 1 ïŒ z ïŒïŒ ã f 2 ïŒ f 2 ïŒ z ïŒïŒã f 2 ïŒ f 3 ïŒ z ïŒïŒã f 3 ïŒ f 1 ïŒ z ïŒïŒã f 3 ïŒ f 2 ïŒ z ïŒïŒã f 3 ïŒ f 3 ïŒ z ïŒïŒ ã f 1 ïŒ f 1 ïŒ f 1 ïŒ z 2 ïŒïŒïŒã f 1 ïŒ f 1 ïŒ f 2 ïŒ z ïŒïŒïŒïŒã...ã f 3 ïŒ f 1 ïŒ f 2 ïŒ f 3 ïŒ f 1 ïŒ z ïŒïŒïŒ ïŒïŒïŒïŒã...ãã®ãã¹ãŠã®å€æã»ããã䜿çšããŠKoshã«äœçšããçµæãçµåããŸãã çµæã¯äºæž¬å¯èœã§ããã以äžã«ç€ºããŸãã
ã¢ãã¡ãŒã·ã§ã³ãå床远å ããŸããä»åã¯Koshã®ã³ããŒãäœæãããã倧ããªKoshãäžå¿ã«å±éããŸãã ãããéæããæ¹æ³ã¯ïŒ Nåã®ãã¬ãŒã ãäœæãããå Žåããã¬ãŒã kã«ã€ããŠãä¿®æ£ãããå€æf 1 'ïŒ z ïŒ= r2Ïk/ïŒ3NïŒ ïŒ f 1 ïŒ z ïŒïŒã f 2 'ïŒ z ïŒ= r2Ïk/ïŒ3NïŒ ïŒ f 2 ïŒ z ïŒïŒã f 3 'ïŒ z ïŒ= r2Ïk/ïŒ3NïŒ ïŒ f 3 ïŒ z ïŒïŒã ãããã®å€æã¯ãKoshãå
ã®äžè§åœ¢ã«å¯ŸããŠ2Ïk /ïŒ3 N ïŒã®è§åºŠã§å転ããæ£äžè§åœ¢ã®é ç¹ã«è»¢éãããšããç¹ã§ãå
ã®å€æãšã¯ç°ãªããŸãã çµæã以äžã«ç€ºããŸãã
äžèšã®å€æã¯ãã¹ãŠç·åœ¢ã§ããããããã®å©ããåããŠãããŸãé¢çœãããããšã¯ã§ããŸããã å€æãèããŠã¿ãŸãããïŒ f ïŒ z ïŒ= 1 / z- å転ãšå®è»žã«å¯Ÿããåå°ã ãã®å€æã®åœ±é¿ãåããå ŽåãKoshã¯ã©ããªããŸããïŒ åç¹ãKoshã®å
éšã«ãªãå Žåã¯åé¡ãããŸãããKoshã¯æåã«åäœåã«å¯ŸããŠå転ããå®éã®è»žã«å¯ŸããŠå転ããå¿
èŠããããŸãã0ãKoshã®å
éšã«ããå ŽåãåçŽã«åŒãè£ãããŸã ïŒãŒãã§é€ç®ã§ããªãããïŒã 以äžã¯ããã€ãã®äŸã§ãã
1 / zå€æã¯ãåäœåã®å€éšãåäœåã®å
éšã«å€æããåäœåã®å
éšãå€éšã«å€æããããšã«æ³šæããŠãã ããã
次ã«ã f ïŒ z ïŒ=ïŒ az + b ïŒ/ïŒ cz + d ïŒã®åœ¢åŒã®å€æãèããŸãã ç·åœ¢åæ°ãšåŒã°ããã®ã¯ãã®ãããªå€æã§ãã ãã®ãããªå€æã¯ããã§ã«ç¥ãããŠããæ§æã®åœ¢åŒã§è¡šãããšãã§ããŸããããªãã¡ã f ïŒ z ïŒ= f 4 ïŒ f 3 ïŒ f 2 ïŒ f 1 ïŒ z ïŒïŒïŒãããã§f 1 ïŒ z ïŒ= z + d / c-ã·ããã f 2 ïŒ z ïŒ= 1 / z-å転ãšåå°ãf3ïŒ z ïŒ=-ïŒ ad - bc ïŒ/ c 2 z-å§çž®/䌞é·+å転ã f 4 ïŒ z ïŒ= z + a / c-ãã1ã€ã®ã·ããã§ãããããã£ãŠãäœããã®å€æãè¡ãããå Žåããããäœãããããããã«ç解ã§ããŸãã
åæ°åœ¢åŒã®å€æãæ€èšãã䟿å©ãã¯æ¬¡ã®ãšããã§ããç·åœ¢åæ°å€æã®æ§æãèŠã€ããç·åœ¢åæ°å€æãè¡åãæäœã§ãã人ã«éå€æããã®ã¯éåžžã«ç°¡åã§ãã å®éãä¿æ°a ã b ã c ã dãæããã«é
眮ãããŠãã2 x 2è¡åã«å€æãå²ãåœãŠãããŠããå Žåãåæã¯è¡åã®ç©ã«å¯Ÿå¿ããéè¡åã¯è¡åã®éè¡åã«å¯Ÿå¿ããŸãã
2çªç®ã®äŸ¿å©ãªç¹ã¯ãã¬ã³ãŒãããããã«ããã€ã³ã0ãã©ã®ãã€ã³ãã«å°éããã©ã®ãã€ã³ããç¡é倧ã«å°éããã©ã®ãã€ã³ãã0ã«å°éããã©ã®ãã€ã³ããç¡é倧ã«å°éãããã確èªã§ããããšã§ãã
ãã1ã€ã®éèŠãªç¹æ§ã¯ãç·ãç·ãŸãã¯åã«ãªããåãç·ãŸãã¯åã«ãªããŸãã ããæ£ç¢ºã«ã¯ïŒç·ãŸãã¯åã«ç¡é倧ã«ãªãç¹ãå«ãŸããŠããå Žåãããã¯ç·ã«ãªããããã§ãªãå Žåã¯åã«ãªããŸãã
ã¹ãã€ã©ã«ã«æ»ããŸãããã å€æãé©çšããŸãã0ã¯-1ã«ãç¡é倧ã¯1ã«å€æãããŸãïŒ r ïŒ z ïŒ=ïŒ z + 1ïŒ/ïŒ z -1ïŒã ã¹ãã€ã©ã«ã¯ãŒãã®åšãã«å·»ãããŠããããã-1ã®åšãã«å·»ããå§ããŸãããã¹ãã€ã©ã«ã¯ç¡éããå·»ãæ»ãããããã1ããå·»ãæ»ãããŸãã
è€éãªå¹³é¢äžã®æ¥µã°ãªãããèæ
®ãããã®ã°ãªããã®åã»ã«ã«Koshãé
眮ããŸãã
å€æf ïŒ z ïŒ= k e iÏzãèããŸãã 極ã°ãªãããè§åºŠÏã ãå転ããããã¹ãŠã®ã»ã«ãkåå§çž®ããŸãã è€æ°ã®ãã¬ãŒã ãé£ç¶ããŠæ€èšãããšã次ã®çµæãåŸãããŸãã
ã³ãŒã·ãŒã®ããããã远跡ããããšãããšããããæ²ããããã£ãã¹ãã€ã©ã«ã«æ²¿ã£ãŠç§»åããããšãããããŸãããã§ã«ããã£ãŠããã®ã§ãå€ær ïŒ z ïŒ=ïŒ z + 1ïŒ/ïŒ z -1ïŒã
ã¡ãã·ã¥ã®åã»ã«ã«Koshã暪ã«çœ®ãããŠããå Žåããããã«ç°ãªãç»åãåŸãããŸãã
å€æf ïŒ z ïŒã¯ãã¯ãœãããŒã ã§ã;ä»ã®ã¿ã€ãã®å€æãèæ
®ã§ããŸãã
ç·åœ¢ã®åæ°å€æã1ã€èšç®ããŸããããããããè¶ã1æ¯æ³šãã2ã€ã®å€æãæ€èšããå¿
èŠããããŸãã
a ïŒ z ïŒ=ïŒsqrtïŒ2ïŒ z + 1ïŒ/ïŒ z + sqrtïŒ2ïŒïŒã
b ïŒ z ïŒ=ïŒsqrtïŒ2ïŒ z + i ïŒ/ïŒ- iz + sqrtïŒ2ïŒïŒã
a ïŒ z ïŒå€æã¯äœãããŸããïŒ ãããåæf 4 ïŒ f 3 ïŒ f 2 ïŒ f 1 ïŒ z ïŒïŒïŒã«å解ããŸãïŒ f 1 ïŒ z ïŒ= z + sqrtïŒ2ïŒ-å³ã«sqrtïŒ2ïŒã«ã·ããããŸããF 2 ïŒ z ïŒ= 1 / z-åç¹ãåºæºã«ããå転ãå®è»žãåºæºã«ããåå°ã f 3 ïŒ z ïŒ=- z-è§åºŠÏã®å転ã f 4 ïŒ z ïŒ= z + sqrtïŒ2ïŒ-sqrtïŒ2ïŒãå³ã«ã·ããå
šäœãšããŠã-sqrtïŒ2ïŒã«äžå¿ãæã€åäœåC 1ã®å€éšã¯ãsqrtïŒ2ïŒã«äžå¿ãæã€åäœåC 2ã®å
éšã«å
¥ããåC 1ã®å
éšã¯åC 2ã®å€éšã«å
¥ãããšãããããŸãã
å€æa â1 ïŒ z ïŒã¯ãéå€æã§ããå¿
èŠãããããããŸã£ããéã«äœçšããŸãã
b ïŒ z ïŒå€æãåæ§ã«æ©èœããŸã-åC 1ããã³C 2ã®ã¿ãç¹ã«äžå¿ãæã¡ãŸã-i sqrtïŒ2ïŒããã³sqrtïŒ2ïŒã
ãã©ã¯ã¿ã«ã«ç§»ããŸãããïŒãããa ïŒ z ïŒã b ïŒ z ïŒã a -1 ïŒ z ïŒããã³b -1 ïŒ z ïŒã®ããããçš®é¡ã®æ§æãèæ
®ããKoshã§ãããã«äœçšããŸãïŒ
gifãååŸããã«ã¯ãçµæã®ç»åã«a ïŒ z ïŒãŸãã¯b ïŒ z ïŒå€æãé©çšããŠããäœãå€ãããªãããšã«æ³šæããŠãã ããã ããšãã°ã b ïŒzïŒãèããŠã¿ãŸããããgNïŒ z ïŒ= b ïŒ z ïŒãšãªããããªå€æg ïŒ z ïŒãèããŸãã å€æb ïŒ z ïŒã¯b ïŒ z ïŒ= t -1 ïŒ m ïŒ t ïŒ z ïŒïŒïŒãšããŠè¡šçŸã§ããããšãããã£ãŠããããããããè¡ãã®ã¯é£ãããããŸãããããã§ã t ïŒ z ïŒ=ïŒ z - z 1 ïŒ/ïŒ z - z 2 ïŒã m ïŒ z ïŒ= k e iÏzãããã³z 1ãšz 2ã¯ãããb ïŒ z ïŒã®äžåç¹ã§ãã
äžåç¹ãèŠã€ããã®ã¯é£ãããããŸããïŒäºæ¬¡æ¹çšåŒb ïŒ z ïŒ= zã解ãã z 1 = -i ã z 2 = iãååŸããããããm ïŒ z ïŒ= t ïŒ a ïŒ t -1 ïŒ z ïŒïŒïŒãååŸããŸãã ã m ïŒ z ïŒ=ïŒsqrtïŒ2ïŒ+ 1ïŒ z /ïŒsqrtïŒ2ïŒ-1ïŒã ãããã£ãŠã g ïŒ z ïŒ= t â1 ïŒïŒsqrtïŒ2ïŒ+ 1ïŒ 1 / N t ïŒ z ïŒ/ïŒsqrtïŒ2ïŒ-1ïŒ 1 / N ïŒ=ïŒïŒ q + w ïŒ z / 2 + i ïŒ q - w ïŒ/ 2ïŒ/ïŒ- i ïŒ q - w ïŒ z / 2 +ïŒ q + w ïŒ/ 2ïŒïŒãããã§q =ïŒsqrtïŒ2ïŒ+ 1ïŒ 1 / N ã w =ïŒsqrt ïŒ2ïŒ-1ïŒ 1 / N
ç§ãã¡ã¯ããã°ã©ã ãäœæããŠååŸããŸãïŒ
ããã§ãå€æg ïŒ z ïŒãåäœãã£ã¹ã¯ã®èªå·±ååã§ããããšãããããŸããã
æåŸã«ãæåã«g ïŒ z ïŒãCauchyã«é©çšãã次ã«æ®ãã®ãããã³ã°ãé©çšãããšãéåžžã«ããŸããããŸãã
ããã ãã§ã
誰ãããã£ãšç¥ããããªãã ã€ã³ãã©ã®çç ãã³ãã©ãŒããªã©ããå§ãããŸãã
誰ããå®éšãããå Žåãã³ãŒãã¯githubã«é
眮ãããŸãã
誰ããã¯ããŒã«ãããå Žåã¯ãã¯ãŒãã§ãããè¡ãããšãã§ããŸãïŒ 1ãš2 ã