The Knowledge Frontier

HisabatiChapisho la awaliNadhariaDakika 5 za kusoma

MPIRA LAINI ULIO WA DUARA KATIKA NUKTA MOJA TU

Mpira hupinda kwa namna ileile katika kila upande. Ubavu wa mpira wa raga haupindi hivyo: unapinda kwa kasi kuzunguka kiuno chake na kwa upole tu kwa urefu wake. Katika kila nukta ya uso, wanajiometri hurekodi mpindo mkubwa zaidi na ule mdogo zaidi, ambayo mielekeo yake daima hukutana kwa pembe mraba; hii ndiyo mipindo mikuu (principal curvatures) miwili. Nukta ambapo mipindo hiyo ni sawa, ambapo uso unapinda kwa namna ileile pande zote, huitwa kitovu (umbilic). Kwenye mpira mkamilifu, kila nukta ni kitovu.

Kuhesabu mizunguko kuzunguka kitovu

Mbali na vitovu, mielekeo ya mpindo mkubwa zaidi na mdogo zaidi huchora familia mbili za mistari juu ya uso, zinazokatana kwa pembe mraba kila mahali. Tembea mara moja kuzunguka kitovu kilichojitenga kwenye kitanzi kidogo na ufuate mmoja wa mistari hii: unazunguka. Idadi ya mizunguko unayofanya ni fahirisi (index) ya kitovu. Kwa sababu mstari hauna kishale, unaweza kurudi juu yake wenyewe baada ya nusu mzunguko, kwa hiyo fahirisi inaweza kuwa nusu ya namba kamili, kama 3/2.

Dhana mbili, kama makala inavyozieleza:

  • Dhana ya Loewner: fahirisi ya kitovu kilichojitenga haizidi 1.
  • Dhana ya Carathéodory: uso wa kawaida uliofungwa wenye mbinuko (uso laini usio na ukingo unaobenuka kwa nje kila mahali, kama yai) katika nafasi ya kawaida ya vipimo vitatu una angalau vitovu viwili.

Hizi mbili zinahusiana. Kwenye uso uliofungwa wenye mbinuko ambao vitovu vyake vimejitenga, fahirisi daima hujumlika kuwa 2. Ikiwa hakuna fahirisi inayoweza kuzidi 1, angalau vitovu viwili vingehitajika: dhana ya Loewner ingeleta ile ya Carathéodory. Kitovu kimoja pekee kingelazimika kubeba 2 nzima peke yake, na kuzivunja zote mbili.

Ilitangazwa Agosti, ikajengwa upya kwa sine

Mifano kinzani ya kwanza haikutoka katika makala hii. Kwa mujibu wa utangulizi wake, L. Alpöge alitangaza mifano kinzani kwa dhana zote mbili kwa nyuso laini, “iliyoundwa kwa msaada wa AI”, katika chapisho kwenye X la tarehe 19 Agosti 2026. Ujenzi wa kienyeji (local) wa Alpöge tayari unafikia fahirisi ya 1 + k/2 kwa kila namba kamili chanya k, na Alpöge anaripoti uso uliofungwa, wenye mbinuko thabiti, wenye kitovu kimoja tu hasa, cha fahirisi 2.

Naoya Ando, wa Chuo Kikuu cha Kumamoto, na Masaaki Umehara, wa Institute of Science Tokyo, walikusudia kutoa “ujenzi rahisi zaidi kupitia toleo lililobadilishwa la ujenzi wa Alpöge”. Kitendakazi cha mwanzo cha Alpöge kinaunganisha kosine tatu zenye vizidishi −1/4, 3/10 na −1/32, ndani ya vitendakazi vinavyohusisha viasi thabiti kama 10¹⁰ na 100. “Mbegu” yao ni:

F(x, y) = a(x) − a(y) + sin x sin y, ambapo a(t) = sin⁴t + 3 sin²t

Fikiria kitendakazi cha vigeu viwili kama mandhari ya vilima na mabonde. Mbegu inahitaji sifa moja: hakuna mahali popote ambapo mandhari hii inapinda kwa namna ileile pande zote. Kwa lugha ya kitaalamu, Hessian yake isiyo na trace (trace-free Hessian), yaani jedwali la nyambuo za pili (second derivatives) lililoondolewa sehemu yake ya “sawa katika kila upande”, haiwi sifuri kamwe. Kwa mbegu hii, uhakiki unachukua mistari mitatu. Sifa hiyo imefungashwa katika namba changamano moja — jozi ya namba za kawaida, sehemu “halisi” na sehemu “dhahania”, ambayo ni sifuri tu ikiwa zote mbili ni sifuri: 12 − 16(sin⁴x + sin⁴y) + 2i cos x cos y. Sehemu yake dhahania hutoweka tu pale ambapo kosine mojawapo hutoweka; hapo sine huwa ±1, kwa hiyo sehemu yake halisi haizidi −4. Kwa hiyo haiwi sifuri kamwe.

Waandishi wanaeleza kwamba walitumia ChatGPT kusaidia kutafuta vitendakazi vinavyofaa na kurekebisha maandishi, na kwamba walihakiki kila hoja wenyewe.

Kukunja mchoro usio na mwisho kuwa nukta moja

Mbegu hujirudia bila mwisho kwenye bapa lote. Waandishi wanaibana yote ndani ya diski ndogo sana: H_k(z) = exp(−|z|^(−k/4)) F(z^(−k/2)), ambapo z ni nukta ya bapa iliyoandikwa kama namba changamano moja na k ni namba nzima chanya ambayo waandishi wako huru kuichagua. Ubadilishaji huu hupeleka sehemu za mbali kabisa za bapa kuelekea katikati, kwa hiyo mchoro wa sine hujirundika katika pete zinazobana zaidi na zaidi kuizunguka. Kizidishi cha kielekezi (exponential) huponda kila kitu: katikati, kitendakazi na nyambuo zake zote ni sifuri. Wanahisabati huita kitendakazi kama hicho tambarare (flat).

Kuzunguka katikati hiyo, mielekeo ya mpindo mkubwa zaidi wa mandhari hii huzunguka mara 1 + k/2: 3/2 kwa k = 1, 2 kwa k = 2, 5/2 kwa k = 3, bila kikomo cha juu (Nadharia 1.3). Pamoja na Fujiyama, waandishi haohao wawili walikuwa wamefikia hapo awali fahirisi kubwa kiholela kwa mifano ambayo ni C¹ tu, yaani inayonyambulika mara moja, kwenye kitovu; hii mipya ni laini.

Ili kugeuza mandhari kuwa uso, waandishi hutumia kitendakazi cha tegemeo (support function): kwa kila mwelekeo, kinatoa umbali kutoka sehemu ya katikati hadi bapa tambarare linalogusa uso upande huo, kama rula iliyobanwa dhidi ya kokoto. Kitendakazi cha tegemeo kisichobadilika hueleza tufe. Kuongeza kizidisho kidogo cha mandhari kwenye thamani hiyo isiyobadilika kunatoa uso ambao vitovu na fahirisi zake vinalingana na vya mandhari. Huu ni uhusiano wa kiklasiki; makala inathibitisha tu sehemu inayoihitaji kwa uso uliofungwa na kunukuu sehemu iliyobaki. Matokeo: vipande vidogo vya uso laini vinavyobeba vitovu vya fahirisi 1 + k/2 kwa kila k, kwa hiyo fahirisi haina dari. Vivyo hivyo kwa aina fulani ya nyuso katika nafasi ya Lorentz–Minkowski, ambapo, katika fomula ya Pythagoras ya umbali, kipeo cha pili cha mojawapo ya tofauti tatu za viwianishi hutolewa badala ya kuongezwa.

Kitovu pekee kiko kwenye ncha ya kaskazini

Kwa uso uliofungwa, bapa lisilo na mwisho la mbegu huviringishwa kuzunguka tufe, kama mchoro wa ramani (map projection) unaofanywa kinyume: hufunika kila nukta isipokuwa ncha ya kaskazini, ambako sehemu zake zote za mbali hukutana. Mbegu hufifishwa kwa njia nyingine, ili ipungue kwa kasi zaidi kuliko kipeo chochote cha umbali kutoka katikati ya bapa hilo, na kizidisho kidogo ε chake kinaongezwa kwenye kitendakazi cha tegemeo cha tufe hilo. Kwa ε ndogo vya kutosha, matokeo ni uso uliofungwa, karibu wa duara, wenye mbinuko thabiti (strictly convex): unabenuka kwa nje kila mahali. Katika kila nukta isipokuwa moja, sifa ya mbegu inazuia kuwepo kwa kitovu. Isipokuwa ni ncha ya kaskazini, N = (0, 0, 1): hapo, kitendakazi cha tegemeo kinalingana na kile cha tufe katika kila nyambuo, kwa hiyo N ni kitovu, na ndicho pekee (Nadharia 2.2). Kwa kuwa fahirisi lazima zijumlike kuwa 2, fahirisi yake ni 2. Kitovu kimoja: dhana ya Carathéodory inashindwa. Fahirisi 2, zaidi ya 1: ile ya Loewner nayo inashindwa.

Laini, lakini si analitiki

Kila uso katika makala unanyambulika mara zisizo na kikomo, yaani ni “laini”. Waandishi wanabainisha kwamba nyuso zao katika nafasi ya kawaida si analitiki halisi (real analytic), aina kali zaidi ya ulaini ambapo, karibu na kila nukta, umbo hutolewa kamili na jumla isiyo na mwisho ya vipeo. Makala haisemi lolote kuhusu iwapo nyuso analitiki zinaweza kuwa na kitovu kimoja tu. Inajieleza kuwa inajitosheleza kwa kitovu cha fahirisi 2 na kwa mfano kinzani wa dhana ya Carathéodory. Na haina picha yoyote ya uso huo: viasi viwili thabiti vinavyouunda, δ na ε, vinatakiwa tu kuwa “vidogo vya kutosha”, na hakuna thamani inayotolewa.