Polinom lemniskatı, bir kompleks polinomun mutlak değerinin belirli bir eşikten küçük veya eşit olduğu noktalar kümesidir. Bu çalışma, düzlemdeki kompakt bir hedef küme K'yi içeren fakat hedefin Green fonksiyonuyla tanımlanan dar bir dış yakalığın dışına taşmayan polinom lemniskatını elde etmek için gereken polinom derecesini inceler. Yazarlar bunun için iki karşılıklı nicelik tanımlar: sabit derece altında oluşabilecek en küçük Green-yakalı hata ε_n(K) ve belirli bir yakalık genişliğinde gerekli en küçük derece N_K(s). Ana nitel sonuç, sabit derece sınırı altında sıfır yakalık hatasının yalnızca hedef kümenin zaten tam bir polinom lemniskatı olması durumunda mümkün olduğunu gösterir. Analitik Jordan sınırına sahip hedeflerde ise Faber polinomları kullanılarak hata için üstel bir üst sınır ve gerekli derece için logaritmik büyüme elde edilir.

Çalışmanın temel Faber tahmini, her uygun analitik devam genişliği σ için

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

şeklindedir. Bunun ters karmaşıklık sonucu:

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

olur. Dolayısıyla analitik sınır durumunda gereken polinom derecesi, Green yakalığı daraldıkça en fazla logaritmik ölçekte büyür.

Bu çalışma teorik bir matematik çalışmasıdır. Sonuçlar sayısal simülasyon veya deneyden değil kompleks analiz, Green fonksiyonları, konformal eşlemeler ve Faber polinomları kullanılarak yapılan ispatlardan elde edilmiştir. Makale, bütün analitik Jordan bölgeleri için keskin iki taraflı bir asimptotik derece yasası vermez; yalnız belirli bir üstel hata üst sınırı ve buna karşılık gelen logaritmik derece üst sınırı kanıtlar.

Polinom lemniskatı nedir?

Bir kompleks polinom P ve pozitif bir sabit c için

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

biçimindeki alt-seviye kümesine polinom lemniskatı denir. Bu kümeler kompleks yaklaşım teorisinde, Green fonksiyonlarında ve polinomlarla geometrik yaklaşım problemlerinde doğal olarak ortaya çıkar.

Bu çalışmada amaç, yalnız bir hedef eğriyi yaklaşık olarak çizmek değildir. Amaç, verilen kompakt hedef küme K'yi içeren ve aynı zamanda onun dışındaki izin verilen ince Green-yakalı bölgenin dışına çıkmayan bir lemniskat üretmektir.

Green Yakalığı Nedir?

Green yakalığı, hedef kompakt kümenin dışındaki noktaları Green fonksiyonlarının büyüklüğüne göre katmanlandıran bir komşuluk bölgesidir. Çalışmada \(g_K\), \(\mathbb C\setminus K\) bölgesinin sonsuzdaki kutuplu Green fonksiyonudur ve \(K\) üzerinde sıfıra uzatılır; \(s>0\) için \(K_s=\{z:g_K(z)<s\}\) tanımlanır. Küçük \(s\), hedef kümeye daha sıkı sarılan bir dış yakalık anlamına gelir.

Bu yapı, Öklid uzaklığı yerine potansiyel teorisine doğal olarak uyumlu bir geometrik mesafe katmanı sağlar.

Normalize lemniskat

Nonconstant bir polinom P için:

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

ve

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

tanımlanır.

Bu normalizasyonun önemli özelliği:

\[ K\subseteq L_K(P) \]

olmasıdır. Böylece polinom lemniskatı her zaman hedef kümeyi kapsayan bir dış yaklaşım olarak çalışır.

ε_n(K) Neyi Ölçer?

\(\varepsilon_n(K)\), derece en fazla \(n\) olan bütün polinomlar arasında, hedef kümeyi içeren normalize lemniskatın Green fonksiyonu bakımından dışarı ne kadar taşmak zorunda kaldığının en küçük mümkün değeridir. Dolayısıyla küçük \(\varepsilon_n(K)\), düşük dereceli bir lemniskatın hedef kümeye potansiyel-teorik anlamda sıkı biçimde sarılabildiğini gösterir.

Tanım:

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

Bu ifade iki optimizasyon seviyesini birleştirir.

1. Her aday polinom için lemniskat üzerindeki en büyük Green değeri bulunur.
2. Derece en fazla n olan bütün polinomlar arasında bu maksimum değer en aza indirilir.

\(\varepsilon_n(K)=0\) olması, derece sınırı değiştirilmeden hedefe keyfî derecede sıkı lemniskatlarla yaklaşılabildiği anlamına gelir.

N_K(s) Neyi Ölçer?

\(N_K(s)\), hedef kümeyi içeren ve tamamen \(K_s\) Green yakalığı içinde kalan bir normalize polinom lemniskatı oluşturmak için gereken en küçük polinom derecesidir. Böylece \(N_K(s)\), önceden seçilmiş doğruluk düzeyinin derece maliyetini ölçerken \(\varepsilon_n(K)\) önceden seçilmiş derece bütçesinin en iyi doğruluğunu ölçer.

Tanım:

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

Uygun polinom yoksa:

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

Yakalık Hatası ile Derece Karmaşıklığı Arasında Nasıl Bir Bağlantı Var?

Çalışmanın collar-separation dictionary teoremi, iki niceliğin tam olarak ters problemi ifade ettiğini gösterir: her \(s>0\) için \(N_K(s)=\min\{n\ge1:\varepsilon_n(K)<s\}\). Aynı koşul, derece en fazla \(n\) olan bir normalize lemniskatın \(K\)'yi içerirken \(g_K\ge s\) olan bütün dış bölgeden uzak kalabilmesiyle eşdeğerdir.

Bu nedenle:

\[ \varepsilon_n(K)

eşitsizliği yalnız yaklaşım doğruluğu değildir; aynı zamanda geometrik ayrım koşuludur.

Yasak dış bölge

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

olsun.

O zaman:

\[ L_K(P)\subset K_s \]

ile

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

eşdeğerdir.

Böylece yakalık yaklaşımı ile “yasak bir dış bölgeden güvenli ayrım” aynı matematiksel probleme dönüşür.

Sabit Derecede Sıfır Hata Ne Zaman Mümkündür?

Sabit bir \(N\) için \(\varepsilon_N(K)=0\) olması ancak ve ancak \(K\), derece en fazla \(N\) olan tam bir polinom lemniskatıysa mümkündür. Dolayısıyla hedef küme bu özel geometrik sınıfa ait değilse Green yakalığı sıfıra daraltıldıkça gerekli derece sınırsız büyümek zorundadır.

Tam polinom lemniskatı olma koşulu:

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

Buradaki “tam” nitelemesi önemlidir. Bir polinom alt-seviye kümesinin yalnız tek bir bağlı bileşeninin \(K\)'ye eşit olması yeterli değildir.

Neden yalnız bir bileşen yeterli değil?

Aynı polinomun alt-seviye kümesinin hedef bölgenin dışında başka bağlı bileşenleri olabilir. O durumda normalize lemniskatın tamamı dar Green yakalığının içinde tutulamayabilir. Sonlu-derece limit argümanı, yalnız hedef bileşeni değil bütün lemniskatı kontrol eder.

Sonlu-derece gap teoreminin ispat fikri

\(\varepsilon_N(K)=0\) varsayılırsa derece en fazla \(N\) olan ve yakalık hatası sıfıra yaklaşan polinomlar seçilir:

\[ P_j. \]

Normalize edilmiş biçimleri:

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

için:

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

Derece sınırı sabit olduğu için polinom uzayı sonlu boyutludur. Uygun bir alt dizi yerel düzgün biçimde bir polinom p'ye yakınsar.

Limit polinomu için içeride:

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

ve dışarıda:

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

elde edilir.

Dış bölge bağlıdır. \(\log|p|\) bu bölgede harmonik ve negatif olmayan bir fonksiyondur. Dışarıda herhangi bir noktada sıfır olması güçlü minimum ilkesine göre bütün dış bölgede sabit olmasını gerektirir; bu da p'nin sabit olmasıyla çelişir.

Bu nedenle:

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

Sonuç olarak:

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

Analitik Sınır Faber Polinomlarıyla Neden Üstel Yaklaşım Sağlıyor?

Analitik Jordan sınırında dış konformal eşlemenin tersi sınırın ötesine bir halka bölgesinde analitik olarak devam ettirilebilir; Faber polinomları bu konformal koordinatın kuvvetlerini üstel doğrulukla polinomlarla temsil eder. Bu üstel remainder tahmini doğrudan lemniskatın Green yakalığı içindeki taşma miktarını \(e^{-\sigma n}/n\) mertebesinde sınırlar.

Dış konformal eşleme

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

şeklinde normalize edilir.

Green fonksiyonu:

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

olur.

Analitik devam genişliği

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

olsun.

Çalışmada:

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

tanımlanır.

Daha büyük \(\sigma_*\), ters konformal haritanın sınırın iç tarafına daha geniş bir halka boyunca analitik devam edebilmesi anlamına gelir.

Faber polinomunun tanımı

\(F_n\), \(\Phi(z)^n\)'nin sonsuzdaki polinom kısmıdır:

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

Kaynakta kullanılan kontur gösterimi:

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

Faber remainder tahmini

Her:

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

için:

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

Bu eşitsizlikte:

• \(F_n\): n'inci Faber polinomu,
• \(\Psi\): dış konformal haritanın tersi,
• \(w^n\): ideal konformal koordinat kuvveti,
• \(C_\sigma\): seçilen continuation width'e bağlı sabit,
• \(e^{-\sigma n}\): derece arttıkça üstel küçülen hata terimidir.

Faber Yakalık Tahmini Neyi Söylüyor?

Faber yakalık tahmini, analitik Jordan sınırına sahip bir hedef için derece \(n\) arttıkça en iyi Green-yakalı lemniskat hatasının en fazla \(C_\sigma e^{-\sigma n}/n\) olduğunu söyler. Böylece uygun analitik devam genişliği sabitken derece artışı, yakalık hatasını esas olarak üstel hızla küçültür.

Teorem:

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

ve buna bağlı olarak:

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

Eşitsizliğin ana matematiksel zinciri

Sınır üzerinde:

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

Dışarıdaki bir nokta için:

\[ w=\Phi(z) \]

ve:

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

Remainder tahmininden:

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

Eğer:

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

ise:

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

Dolayısıyla:

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

Buradan:

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

ve:

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

\(\log(1+x)\le x\) eşitsizliği kullanıldığında:

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

Bu bound bütün normalize Faber lemniskatı boyunca geçerli olduğundan \(\varepsilon_n(K)\) için teorem elde edilir.

Dar Bir Green Yakalığı İçin Gerekli Derece Nasıl Büyür?

Analitik Jordan bölgesinde gerekli derece en fazla logaritmik büyür: her \(0<\sigma<\sigma_*\) için \(s\downarrow0\) durumunda \(N_K(s)\le \sigma^{-1}\log(1/s)-\sigma^{-1}\log\log(1/s)+O_\sigma(1)\). Bu nedenle çok daha dar yakalıklar istemek dereceyi kuvvet yasasıyla değil, logaritmik ölçekte artırır.

Ana ifade:

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

ve özellikle:

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

İlk terim:

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

ana derece maliyetidir.

İkinci terim:

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

Faber bound'undaki \(1/n\) faktöründen gelen daha ince düzeltmedir.

Bir Yasak Küme Polinom Lemniskatıyla Nasıl Ayrılabilir?

Hedef kümenin dışında bulunan kompakt bir \(W\) için \(t=\min_W g_K>0\) alınırsa, derece yeterince büyük seçildiğinde Faber polinomunun normalize lemniskatı \(K\)'yi içerirken \(W\)'yi tamamen dışarıda bırakır. Yeterli derece yine yaklaşık \(\sigma^{-1}\log(1/t)\) ölçeğinde büyür.

Yeterli koşul:

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

Bu durumda bir polinom P bulunur ve:

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

iken:

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

Çalışmanın Yöntemi ve Bulguları

Matematiksel çalışma türü

Çalışma tamamen teoriktir. Deneysel veri, sayısal simülasyon, eğitim veri seti veya istatistiksel hipotez testi kullanılmamıştır.

Ana araçlar:

• Green fonksiyonu,
• kompleks polinom alt-seviye kümeleri,
• konformal eşlemeler,
• harmonik fonksiyonlar,
• maksimum/minimum ilkeleri,
• Faber polinomları,
• kontur integrali ve analitik devam,
• asimptotik büyüme analizi.

Temel varsayım

İlk teoremler için \(\Omega\) sınırlı ve basit bağlantılı bir Jordan domain, \(K\) ise onun kompakt kapanışıdır.

Faber tahminleri için ek olarak \(\partial K\)'nin analitik Jordan sınırı olması gerekir.

Theorem 1.2 — Collar-separation dictionary

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

Bu eşitlik yakalık yaklaşımı ile dış yasak bölgeden ayrımı aynı derece problemi altında birleştirir.

Theorem 1.3 — Finite-degree gap

\[ \varepsilon_N(K)=0 \]

ancak ve ancak K, derece en fazla N olan tam bir polinom lemniskatıysa mümkündür.

Sonuç:

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

Theorem 1.4 — Faber collar estimate

Analitik Jordan sınırında ve:

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

olduğunda:

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

Corollary 1.5 — Logarithmic degree growth

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

Dolayısıyla:

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

Corollary 1.6 — Yasak kümeden ayrım

\[ t=\min_W g_K>0 \]

ise yeterli derece:

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

seçildiğinde hedef küme ile W polinom lemniskatıyla ayrılabilir.

Model örnek 1: kapalı disk

Kapalı disk tam bir birinci derece lemniskattır.

\[ P(z)=z \]

seçimiyle:

\[ L_K(P)=K. \]

Böylece:

\[ N_K(s)=1 \]

bütün \(s>0\) için geçerlidir.

Model örnek 2: dairesel olmayan elips

Dairesel olmayan elips tam polinom lemniskatı değildir.

Dış eşlemenin tersinin tipik biçimi:

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

olup branch point'ler içerir.

Finite-degree gap teoremi nedeniyle:

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

fakat analitik sınır nedeniyle Faber tahmini aynı zamanda:

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

üst sınırını sağlar.

Çalışmanın desteklediği sonuçlar

• Sabit derecede sıfır Green-yakalı hata yalnız tam polinom lemniskatlarında mümkündür.
• Tam polinom lemniskatı olmayan hedeflerde gereken derece, yakalık sıfıra daraldıkça sınırsız büyür.
• Analitik Jordan sınırlarında Faber polinomları üstel yakalık-hatası üst sınırı sağlar.
• Analitik hedeflerde gerekli derece için logaritmik üst büyüme elde edilir.
• Aynı karmaşıklık niceliği hedefi kompakt dış yasak kümelerden ayırma problemini de kontrol eder.

Çalışmanın desteklemediği sonuçlar

• Bütün Jordan bölgeleri için aynı üstel hız kanıtlanmamıştır; Faber tahmini analitik sınır varsayımı kullanır.
• Bütün analitik Jordan bölgeleri için keskin iki taraflı \(N_K(s)\) asimptotiği verilmemiştir.
• \(N_K(s)\sim c\log(1/s)\) biçiminde evrensel bir lower bound kanıtlanmamıştır.
• Yalnız bir polinom alt-seviye kümesinin tek bileşeninin hedefe eşit olması finite-degree rigidity için yeterli değildir.
• Sonuçlar sayısal optimizasyon deneylerinden veya bilgisayar destekli hesaplamadan türetilmemiştir.

Temel açık yön

Makalenin son remark'ına göre tam polinom lemniskatlarında karmaşıklık bounded olabilirken diğer analitik Jordan bölgelerinde \(N_K(s)\to\infty\) olur. Yalnız mevcut varsayımlarla bu büyümenin keskin alt mertebesi belirlenemez.

Bu nedenle daha keskin alt sınırlar için ek geometrik varsayımlar gerekir.

Kaynak ve Yöntem Notu

Özgün çalışma:Polynomial lemniscate collar complexity

Yazarlar: Venkata Siddharth Pendyala; Neel Narayan.

PDF'deki kurum: Interlake Senior High School.

Çalışma tarihi: 31 Mayıs 2026.

SSRN yayın tarihi: 19 Haziran 2026.

Platform: SSRN.

SSRN DOI: 10.2139/ssrn.6859738

Kaynak türü: Preprint / working paper.

Hakemlik durumu: Bu doğrulamada hakemli bir dergi sürümü bulunmadı; çalışma SSRN preprinti olarak değerlendirilmiştir.

Lisans / hak durumu: SSRN kayıt sayfası “All rights reserved. No reuse allowed without permission” bildirir.

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

Kaynak anahtar kelimeleri: polynomial lemniscates, Faber polynomials, Green functions, conformal maps, polynomial approximation.

Finansman: Kaynak PDF'de finansman bildirimi raporlanmamıştır.

Çıkar çatışması: Kaynak PDF'de ayrı bir çıkar çatışması beyanı raporlanmamıştır.

Veri erişilebilirliği: Çalışma teorik matematik makalesidir; deneysel veya gözlemsel veri seti kullanılmamıştır.

Temel yöntemsel sınırlar: Üstel Faber tahmini ve logaritmik derece üst sınırı analitik Jordan sınırı varsayımına dayanır. Çalışma, genel Jordan bölgeleri için aynı nicel oranı veya bütün non-lemniscate analitik bölgeler için evrensel keskin lower bound sağlamaz. \(\sigma_*\), ters dış konformal eşlemenin analitik devam genişliğine bağlıdır ve geometriden geometriye değişir.

Verianla anlatım ilkesi: Bu içerik kaynak preprintin tam metin çevirisi veya ispatların satır-satır yeniden yazımı değildir. Tanımlar, teoremler, denklemler ve matematiksel sonuçlar korunmuş; ispatların temel mantığı bağımsız öğretici yapıda açıklanmıştır. Akademik atıf ve tam teknik ispat için özgün SSRN çalışması incelenmelidir.