Полиномдук лемниската — комплекстик полиномдун абсолюттук мааниси белгилүү бир чектен кичине же ага барабар болгон чекиттердин жыйындысы. Бул изилдөө тегиздиктеги компакттуу максаттуу жыйын Kны камтыган, бирок максаттын Грин функциясы менен аныкталган тар тышкы жакадан сыртка чыкпаган полиномдук лемнискатаны алуу үчүн талап кылынган полином даражасын изилдейт. Авторлор бул үчүн өз ара байланышкан эки чоңдукту аныкташат: туруктуу даража шартында болушу мүмкүн болгон эң кичине Грин-жака катасы ε_n(K) жана белгилүү жака кеңдигинде талап кылынган эң кичине даража N_K(s). Негизги сапаттык натыйжа туруктуу даража чегинде жака катасынын нөл болушу максаттуу жыйын өзү толук полиномдук лемниската болгон учурда гана мүмкүн экенин көрсөтөт. Аналитикалык Жордан чек арасы бар максаттарда болсо Фабер полиномдорун колдонуу менен ката үчүн экспоненциалдык жогорку чек жана талап кылынган даража үчүн логарифмдик өсүш алынат.

Изилдөөнүн негизги Фабер баалоосу ар бир ылайыктуу аналитикалык улантуу кеңдиги σ үчүн

\[ \varepsilon_n(K)\le C_\sigma\frac{e^{-\sigma n}}{n} \]

түрүндө болот. Мунун тескери татаалдык натыйжасы:

\[ N_K(s) \le \frac{1}{\sigma}\log\frac{1}{s} - \frac{1}{\sigma}\log\log\frac{1}{s} + O_\sigma(1) \]

болот. Демек, аналитикалык чек ара шартында талап кылынган полином даражасы Грин жакасы тарылган сайын эң көп логарифмдик масштабда өсөт.

Бул изилдөө теориялык математика боюнча иш. Натыйжалар сандык симуляциядан же эксперименттен эмес, комплекстик анализ, Грин функциялары, конформдук чагылдыруулар жана Фабер полиномдору колдонулган далилдөөлөрдөн алынган. Макала бардык аналитикалык Жордан аймактары үчүн так эки тараптуу асимптотикалык даража мыйзамын бербейт; белгилүү бир экспоненциалдык ката үчүн жогорку чекти жана ага туура келген логарифмдик даража үчүн жогорку чекти гана далилдейт.

Полиномдук лемниската деген эмне?

Комплекстик полином P жана оң туруктуу сан c үчүн

\[ \{z\in\mathbb C:|P(z)|\le c\} \]

түрүндөгү төмөнкү деңгээл жыйындысы полиномдук лемниската деп аталат. Мындай жыйындар комплекстик жакындаштыруу теориясында, Грин функцияларында жана полиномдор менен геометриялык жакындаштыруу маселелеринде табигый түрдө пайда болот.

Бул изилдөөнүн максаты максаттуу ийри сызыкты жөн гана болжолдуу чийүү эмес. Максат берилген компакттуу максаттуу жыйын Kны камтыган жана ошол эле учурда анын сыртындагы уруксат берилген жука Грин-жака аймагынан чыкпаган лемнискатаны түзүү болуп саналат.

Грин Жакасы Деген Эмне?

Грин жакасы — максаттуу компакттуу жыйындын сыртындагы чекиттерди Грин функцияларынын чоңдугуна жараша катмарларга бөлгөн коңшулук аймак. Изилдөөдө \(g_K\) — \(\mathbb C\setminus K\) аймагынын чексиздикте уюлу бар Грин функциясы жана ал \(K\) үстүндө нөлгө чейин улантылат; \(s>0\) үчүн \(K_s=\{z:g_K(z)<s\}\) аныкталат. Кичине \(s\) максаттуу жыйынды тыгызыраак курчаган тышкы жаканы билдирет.

Бул түзүлүш Евклид аралыктыгынын ордуна потенциалдар теориясына табигый шайкеш келген геометриялык аралык катмарын берет.

Нормалдаштырылган лемниската

Туруктуу эмес полином P үчүн:

\[ \|P\|_K=\max_{z\in K}|P(z)| \]

жана

\[ L_K(P)= \{z\in\mathbb C: |P(z)|\le\|P\|_K\} \]

аныкталат.

Бул нормалдаштыруунун маанилүү касиети:

\[ K\subseteq L_K(P) \]

болушу. Ошентип полиномдук лемниската ар дайым максаттуу жыйынды камтыган тышкы жакындаштыруу катары иштейт.

ε_n(K) Эмнени Өлчөйт?

\(\varepsilon_n(K)\) — даражасы эң көп \(n\) болгон бардык полиномдордун ичинен максаттуу жыйынды камтыган нормалдаштырылган лемниската Грин функциясы боюнча сыртка канчалык чыгууга аргасыз экенинин мүмкүн болгон эң кичине мааниси. Ошондуктан кичине \(\varepsilon_n(K)\) төмөн даражадагы лемниската максаттуу жыйынды потенциалдык-теориялык мааниде тыгыз курчай аларын көрсөтөт.

Аныктама:

\[ \varepsilon_n(K) = \inf_{1\le\deg P\le n} \sup_{z\in L_K(P)} g_K(z). \]

Бул туюнтма оптималдаштыруунун эки деңгээлин бириктирет.

1. Ар бир талапкер полином үчүн лемнискатадагы эң чоң Грин мааниси табылат.
2. Даражасы эң көп n болгон бардык полиномдордун арасынан бул максималдуу маани минимумга түшүрүлөт.

\(\varepsilon_n(K)=0\) болушу даража чегин өзгөртпөстөн максатка каалагандай тыгыз лемнискаталар менен жакындашууга болорун билдирет.

N_K(s) Эмнени Өлчөйт?

\(N_K(s)\) — максаттуу жыйынды камтыган жана толугу менен \(K_s\) Грин жакасынын ичинде калган нормалдаштырылган полиномдук лемнискатаны түзүү үчүн талап кылынган эң кичине полином даражасы. Ошентип, \(N_K(s)\) алдын ала тандалган тактык деңгээлинин даража чыгымын өлчөсө, \(\varepsilon_n(K)\) алдын ала тандалган даража бюджетинин эң жакшы тактыгын өлчөйт.

Аныктама:

\[ N_K(s) = \min\{ \deg P: K\subset L_K(P)\subset K_s \}. \]

Ылайыктуу полином жок болсо:

\[ N_K(s)=\infty. \]

Жака Катасы менен Даража Татаалдыгынын Ортосунда Кандай Байланыш Бар?

Изилдөөнүн collar-separation dictionary теоремасы эки чоңдук так тескери маселелерди билдирерин көрсөтөт: ар бир \(s>0\) үчүн \(N_K(s)=\min\{n\ge1:\varepsilon_n(K)<s\}\). Ошол эле шарт даражасы эң көп \(n\) болгон нормалдаштырылган лемниската \(K\)ны камтып туруп, \(g_K\ge s\) болгон бүт тышкы аймактан алыс кала алышына эквиваленттүү.

Ошондуктан:

\[ \varepsilon_n(K)

теңсиздиги жакындаштыруу тактыгы гана эмес; ошол эле учурда геометриялык ажыратуу шарты болуп саналат.

Тыюу салынган тышкы аймак

\[ E_s= \{z\in\mathbb C: g_K(z)\ge s\} \]

болсун.

Анда:

\[ L_K(P)\subset K_s \]

менен

\[ L_K(P)\cap E_s=\varnothing \]

эквиваленттүү.

Ошентип, жака боюнча жакындаштыруу менен “тыюу салынган тышкы аймактан коопсуз ажыратуу” бир эле математикалык маселеге айланат.

Туруктуу Даражада Нөл Ката Качан Мүмкүн?

Туруктуу \(N\) үчүн \(\varepsilon_N(K)=0\) болушу \(K\) даражасы эң көп \(N\) болгон толук полиномдук лемниската болгондо гана жана ошондо гана мүмкүн. Демек, максаттуу жыйын бул өзгөчө геометриялык класска кирбесе, Грин жакасы нөлгө чейин тарылган сайын талап кылынган даража чексиз өсүүгө тийиш.

Толук полиномдук лемниската болуу шарты:

\[ K= \{z\in\mathbb C: |P(z)|\le\|P\|_K\}. \]

Бул жердеги “толук” деген мүнөздөмө маанилүү. Полиномдун төмөнкү деңгээл жыйындысынын бир гана байланышкан компоненти \(K\)га барабар болушу жетиштүү эмес.

Эмне үчүн бир гана компонент жетишсиз?

Ошол эле полиномдун төмөнкү деңгээл жыйындысында максаттуу аймактын сыртында башка байланышкан компоненттер болушу мүмкүн. Андай учурда нормалдаштырылган лемнискатанын баарын тар Грин жакасынын ичинде кармоо мүмкүн болбой калышы мүмкүн. Чектүү-даража лимит аргументи максаттуу компонентти гана эмес, бүт лемнискатаны көзөмөлдөйт.

Чектүү-даража gap теоремасынын далилдөө идеясы

Эгер \(\varepsilon_N(K)=0\) деп болжолдонсо, даражасы эң көп \(N\) болгон жана жака катасы нөлгө жакындаган полиномдор тандалат:

\[ P_j. \]

Алардын нормалдаштырылган түрлөрү:

\[ p_j= \frac{P_j}{\|P_j\|_K} \]

үчүн:

\[ \|p_j\|_K=1, \qquad K\subset\{|p_j|\le1\}. \]

Даража чеги туруктуу болгондуктан полиномдор мейкиндиги чектүү өлчөмдүү. Ылайыктуу ички удаалаштык локалдык бир калыпта бир полином pга жакындайт.

Лимиттик полином үчүн ичкериде:

\[ |p(z)|\le1, \qquad z\in K \]

жана сыртта:

\[ |p(z)|\ge1, \qquad z\notin K \]

алынат.

Тышкы аймак байланышкан. \(\log|p|\) бул аймакта гармониялык жана терс эмес функция. Сырттагы кандайдыр бир чекитте анын нөл болушу күчтүү минимум принциби боюнча бүт тышкы аймакта туруктуу болушун талап кылат; бул болсо pнин туруктуу болушуна карама-каршы келет.

Ошондуктан:

\[ |p(z)|>1, \qquad z\in\mathbb C\setminus K. \]

Натыйжада:

\[ K=\{|p|\le1\}. \]

Аналитикалык Чек Ара Фабер Полиномдору Менен Эмне Үчүн Экспоненциалдык Жакындашууну Камсыз Кылат?

Аналитикалык Жордан чек арасында тышкы конформдук чагылдыруунун тескерисин чек аранын ары жагындагы шакек сымал аймакка аналитикалык түрдө улантууга болот; Фабер полиномдору бул конформдук координатанын даражаларын экспоненциалдык тактык менен полиномдор аркылуу көрсөтөт. Бул экспоненциалдык remainder баалоосу лемнискатанын Грин жакасынын ичиндеги сыртка чыгуу көлөмүн түздөн-түз \(e^{-\sigma n}/n\) тартибинде чектейт.

Тышкы конформдук чагылдыруу

\[ \Phi: \mathbb C\setminus K \longrightarrow \{|w|>1\} \]

түрүндө нормалдаштырылат.

Грин функциясы:

\[ g_K(z)=\log|\Phi(z)| \]

болот.

Аналитикалык улантуу кеңдиги

\[ \Psi=\Phi^{-1} \]

болсун.

Изилдөөдө:

\[ \sigma_*= \sup \left\{ \sigma>0: \Psi \text{, } e^{-\sigma}<|w|<\infty \text{ bölgesine conformal devam eder} \right\} \]

аныкталат.

Чоңураак \(\sigma_*\) тескери конформдук чагылдырууну чек аранын ички жагына карай кеңири шакек боюнча аналитикалык улантууга болорун билдирет.

Фабер полиномунун аныктамасы

\(F_n\) — \(\Phi(z)^n\) функциясынын чексиздиктеги полиномдук бөлүгү:

\[ \Phi(z)^n = F_n(z) + O(1/z), \qquad z\to\infty. \]

Булакта колдонулган контурдук туюнтма:

\[ F_n(z) = \frac{1}{2\pi i} \int_{|u|=R} \frac{ u^n\Psi'(u) }{ \Psi(u)-z } \,du. \]

Фабер remainder баалоосу

Ар бир:

\[ 0<\sigma<\sigma_* \]

үчүн:

\[ |F_n(\Psi(w))-w^n| \le C_\sigma e^{-\sigma n}, \qquad |w|\ge1. \]

Бул теңсиздикте:

• \(F_n\): n-чи Фабер полиному,
• \(\Psi\): тышкы конформдук чагылдыруунун тескериси,
• \(w^n\): идеалдуу конформдук координатанын даражасы,
• \(C_\sigma\): тандалган continuation width ке көз каранды туруктуу,
• \(e^{-\sigma n}\): даража өскөн сайын экспоненциалдык түрдө кичирейген ката мүчөсү.

Фабер Жака Баалоосу Эмнени Айтат?

Фабер жака баалоосу аналитикалык Жордан чек арасы бар максат үчүн даража \(n\) өскөн сайын эң жакшы Грин-жакалуу лемниската катасы эң көп \(C_\sigma e^{-\sigma n}/n\) болорун айтат. Ошентип, ылайыктуу аналитикалык улантуу кеңдиги туруктуу болгондо даражанын өсүшү жака катасын негизинен экспоненциалдык ылдамдыкта азайтат.

Теорема:

\[ \boxed{ \varepsilon_n(K) \le C_\sigma \frac{e^{-\sigma n}}{n} } \]

жана ага байланыштуу:

\[ \limsup_{n\to\infty} \frac{1}{n} \log\varepsilon_n(K) \le -\sigma_*. \]

Теңсиздиктин негизги математикалык чынжыры

Чек арада:

\[ \|F_n\|_K \le 1+C_\sigma e^{-\sigma n}. \]

Сырттагы чекит үчүн:

\[ w=\Phi(z) \]

жана:

\[ |w| = e^{g_K(z)}. \]

Remainder баалоосунан:

\[ |F_n(z)| \ge e^{ng_K(z)} - C_\sigma e^{-\sigma n}. \]

Эгер:

\[ z\in L_K(F_n), \]

болсо:

\[ |F_n(z)| \le \|F_n\|_K. \]

Демек:

\[ e^{ng_K(z)} - C_\sigma e^{-\sigma n} \le 1+C_\sigma e^{-\sigma n}. \]

Мындан:

\[ e^{ng_K(z)} \le 1+2C_\sigma e^{-\sigma n} \]

жана:

\[ g_K(z) \le \frac1n \log \left( 1+2C_\sigma e^{-\sigma n} \right). \]

\(\log(1+x)\le x\) теңсиздиги колдонулганда:

\[ g_K(z) \le \frac{ 2C_\sigma e^{-\sigma n} }{n}. \]

Бул bound бүткүл нормалдаштырылган Фабер лемнискатасы боюнча жарактуу болгондуктан \(\varepsilon_n(K)\) үчүн теорема алынат.

Тар Грин Жакасы Үчүн Талап Кылынган Даража Кантип Өсөт?

Аналитикалык Жордан аймагында талап кылынган даража эң көп логарифмдик түрдө өсөт: ар бир \(0<\sigma<\sigma_*\) үчүн \(s\downarrow0\) болгондо \(N_K(s)\le \sigma^{-1}\log(1/s)-\sigma^{-1}\log\log(1/s)+O_\sigma(1)\). Ошондуктан андан да тар жакаларды талап кылуу даражаны даражалык мыйзам боюнча эмес, логарифмдик масштабда көбөйтөт.

Негизги туюнтма:

\[ \boxed{ N_K(s) \le \frac1\sigma \log\frac1s - \frac1\sigma \log\log\frac1s + O_\sigma(1) } \]

жана өзгөчө:

\[ N_K(s) = O_K\left( \log\frac1s \right). \]

Биринчи мүчө:

\[ \frac1\sigma\log\frac1s \]

негизги даража чыгымы болуп саналат.

Экинчи мүчө:

\[ -\frac1\sigma \log\log\frac1s \]

Фабер bound-ундагы \(1/n\) факторунан келип чыккан майдараак түзөтүү.

Тыюу Салынган Жыйынды Полиномдук Лемниската Менен Кантип Ажыратууга Болот?

Максаттуу жыйындын сыртында жайгашкан компакттуу \(W\) үчүн \(t=\min_W g_K>0\) алынганда, даража жетиштүү чоң тандалса Фабер полиномунун нормалдаштырылган лемнискатасы \(K\)ны камтып туруп \(W\)ны толугу менен сыртта калтырат. Жетиштүү даража дагы болжол менен \(\sigma^{-1}\log(1/t)\) масштабында өсөт.

Жетиштүү шарт:

\[ n \ge \frac1\sigma \log\frac1t - \frac1\sigma \log\log\frac1t + A_\sigma. \]

Бул учурда бир полином P табылат жана:

\[ K \subset \{z:|P(z)|\le\|P\|_K\} \]

болгондо:

\[ W \cap \{z:|P(z)|\le\|P\|_K\} = \varnothing. \]

Изилдөөнүн Ыкмасы жана Жыйынтыктары

Математикалык изилдөөнүн түрү

Изилдөө толугу менен теориялык. Эксперименттик маалымат, сандык симуляция, окутуу маалыматтар топтому же статистикалык гипотезаны текшерүү колдонулган эмес.

Негизги куралдар:

• Грин функциясы,
• комплекстик полиномдун төмөнкү деңгээл жыйындары,
• конформдук чагылдыруулар,
• гармониялык функциялар,
• максимум/минимум принциптери,
• Фабер полиномдору,
• контурдук интеграл жана аналитикалык улантуу,
• асимптотикалык өсүштү талдоо.

Негизги божомол

Алгачкы теоремалар үчүн \(\Omega\) чектелген жана жөнөкөй байланышкан Жордан аймагы, ал эми \(K\) анын компакттуу жабылышы болуп саналат.

Фабер баалоолору үчүн кошумча түрдө \(\partial K\) аналитикалык Жордан чек арасы болушу керек.

Теорема 1.2 — Collar-separation dictionary

\[ N_K(s) = \min \{ n\ge1: \varepsilon_n(K)

Бул теңдик жака боюнча жакындаштыруу менен тышкы тыюу салынган аймактан ажыратууну бир эле даража маселесинин алкагында бириктирет.

Теорема 1.3 — Finite-degree gap

\[ \varepsilon_N(K)=0 \]

эгерде жана гана эгерде K, даражасы эң көп N болгон толук полиномдук лемниската болсо мүмкүн.

Натыйжа:

\[ K \text{ tam polinom lemniskatı değilse} \quad N_K(s)\to\infty \quad(s\downarrow0). \]

Теорема 1.4 — Faber collar estimate

Аналитикалык Жордан чек арасында жана:

\[ 0<\sigma<\sigma_* \]

болгондо:

\[ \varepsilon_n(K) \le C_\sigma \frac{e^{-\sigma n}}{n}. \]

Королларий 1.5 — Logarithmic degree growth

\[ N_K(s) \le \frac1\sigma \log\frac1s - \frac1\sigma \log\log\frac1s + O_\sigma(1). \]

Демек:

\[ N_K(s) = O_K(\log(1/s)). \]

Королларий 1.6 — Тыюу салынган жыйындан ажыратуу

\[ t=\min_W g_K>0 \]

болсо, жетиштүү даража:

\[ n \ge \frac1\sigma \log\frac1t - \frac1\sigma \log\log\frac1t + A_\sigma \]

тандалганда максаттуу жыйын менен W полиномдук лемниската аркылуу ажыратылышы мүмкүн.

Моделдик мисал 1: жабык диск

Жабык диск толук биринчи даражадагы лемниската.

\[ P(z)=z \]

тандоосу менен:

\[ L_K(P)=K. \]

Ошентип:

\[ N_K(s)=1 \]

бардык \(s>0\) үчүн туура.

Моделдик мисал 2: тегерек эмес эллипс

Тегерек эмес эллипс толук полиномдук лемниската эмес.

Тышкы чагылдыруунун тескерисинин типтүү түрү:

\[ z= \zeta+\frac{q}{\zeta}, \qquad 0

болуп, branch point-терди камтыйт.

Finite-degree gap теоремасына байланыштуу:

\[ N_K(s)\to\infty \]

бирок аналитикалык чек арага байланыштуу Фабер баалоосу ошол эле учурда:

\[ N_K(s) = O(\log(1/s)) \]

жогорку чегин камсыз кылат.

Изилдөө колдогон жыйынтыктар

• Туруктуу даражада нөл Грин-жака катасы толук полиномдук лемнискаталарда гана мүмкүн.
• Толук полиномдук лемниската эмес максаттарда талап кылынган даража жака нөлгө тарылган сайын чексиз өсөт.
• Аналитикалык Жордан чек араларында Фабер полиномдору экспоненциалдык жака-катасынын жогорку чегин берет.
• Аналитикалык максаттарда талап кылынган даража үчүн логарифмдик жогорку өсүш алынат.
• Ошол эле татаалдык чоңдугу максатты компакттуу тышкы тыюу салынган жыйындардан ажыратуу маселесин да көзөмөлдөйт.

Изилдөө колдобогон жыйынтыктар

• Бардык Жордан аймактары үчүн бирдей экспоненциалдык ылдамдык далилденген эмес; Фабер баалоосу аналитикалык чек ара божомолун колдонот.
• Бардык аналитикалык Жордан аймактары үчүн так эки тараптуу \(N_K(s)\) асимптотикасы берилген эмес.
• \(N_K(s)\sim c\log(1/s)\) түрүндөгү универсалдуу lower bound далилденген эмес.
• Полиномдун төмөнкү деңгээл жыйындысынын бир компонентинин гана максатка барабар болушу finite-degree rigidity үчүн жетиштүү эмес.
• Натыйжалар сандык оптималдаштыруу эксперименттеринен же компьютердик эсептөөлөрдөн чыгарылган эмес.

Негизги ачык багыт

Макаланын акыркы remark-ына ылайык, толук полиномдук лемнискаталарда татаалдык bounded болушу мүмкүн, ал эми башка аналитикалык Жордан аймактарында \(N_K(s)\to\infty\) болот. Учурдагы божомолдор менен гана бул өсүштүн так төмөнкү тартибин аныктоо мүмкүн эмес.

Ошондуктан такыраак төмөнкү чектер үчүн кошумча геометриялык божомолдор талап кылынат.

Булак жана Ыкма Жөнүндө Эскертүү

Түпнуска изилдөө:Polynomial lemniscate collar complexity

Авторлор: Venkata Siddharth Pendyala; Neel Narayan.

PDF-деги мекеме: Interlake Senior High School.

Изилдөө датасы: 31-май 2026.

SSRN жарыяланган дата: 19-июнь 2026.

Платформа: SSRN.

SSRN DOI: 10.2139/ssrn.6859738

Булактын түрү: Preprint / working paper.

Рецензиялоо абалы: Бул текшерүүдө рецензияланган журналдык версия табылган жок; изилдөө SSRN препринти катары бааланды.

Лицензия / укук абалы: SSRN каттоо барагында “All rights reserved. No reuse allowed without permission” деп көрсөтүлгөн.

Mathematics Subject Classification: Primary 30C10; Secondary 30E10, 31A15, 41A10.

Булактын ачкыч сөздөрү: polynomial lemniscates, Faber polynomials, Green functions, conformal maps, polynomial approximation.

Каржылоо: Булак PDF-де каржылоо тууралуу билдирүү берилген эмес.

Кызыкчылыктардын кагылышы: Булак PDF-де кызыкчылыктардын кагылышы боюнча өзүнчө билдирүү берилген эмес.

Маалыматтардын жеткиликтүүлүгү: Изилдөө теориялык математика макаласы; эксперименттик же байкоочу маалыматтар топтому колдонулган эмес.

Негизги методологиялык чектөөлөр:Экспоненциалдык Фабер баалоосу жана логарифмдик даражанын жогорку чеги аналитикалык Жордан чек арасы божомолуна негизделет. Изилдөө жалпы Жордан аймактары үчүн ошол эле сандык катышты же бардык non-lemniscate аналитикалык аймактар үчүн универсалдуу так lower bound бербейт. \(\sigma_*\) тескери тышкы конформдук чагылдыруунун аналитикалык улантуу кеңдигине көз каранды жана геометриядан геометрияга өзгөрөт.

Verianla баяндоо принциби: Бул мазмун булак препринттин толук тексттик котормосу же далилдөөлөрдүн сап-сап кайра жазылышы эмес. Аныктамалар, теоремалар, теңдемелер жана математикалык жыйынтыктар сакталган; далилдөөлөрдүн негизги логикасы өз алдынча окутуучу түзүлүштө түшүндүрүлгөн. Академиялык шилтеме жана толук техникалык далил үчүн түпнуска SSRN изилдөөсү каралышы керек.