[論文レビュー] On a paper of Erod and Turan-Markov inequalities for non-flat convex domains

Szilárd Gy. Révész|ArXiv.org|Mar 13, 2007

Analytic and geometric function theory被引用数 3

ひとこと要約

本稿は、1945年に発表されたが長年にわたり軽視されてきたJános Erődの論文を再評価し、零点が非平坦な凸領域にある多項式に対するTurán-Markov不等式について検討する。境界の曲率が導関数ノルムの下界を決定する上で中心的な役割を果たすことが示され、正の曲率を持つ凸領域では逆Markov係数が次数nに比例して増加することを示し、これは円板や区間に対するTuránの結果を一般化する。曲率に基づく推定とBlaschkeのローリングボール定理を用いて、最良の定数を明示的に導出する。

ABSTRACT

For a convex domain K in the complex plane C, the well-known general Markov inequality asserting that a polynomial p of degree n ||p'|| < c(K) n^2 ||p|| holds. On the other hand for polynomials in general, ||p'|| can be arbitrarily small as compared to ||p||. The situation changes when we assume that the polynomials have all their zeroes in the convex body K. This problem of lower bound for Markov factors was first investigated by Turán in 1939. Turán showed ||p'|| \ge n/2 ||p|| for the unit disk D and ||p'|| > c \sqrt{n} ||p|| for the unit interval I:=[-1,1]. Soon after that, J. Er\H od published a long article, discussing various extensions of the results and methods of Turán. For decades, Er\H od's paper was quoted only for the explicit calculation of the exact constant of the interval case. However, in recent years Levenberg and Poletsky, Erdélyi and also the author investigated Turán's problem for various sets - basically, convex domains. In this context the much richer content of Er\H od's work is to be realized again. Thus, the aim of the paper is twofold. On the one hand we give an account of the half-forgotten, old Hungarian article of Er\H od, also commemorating its author. On the other hand we report on recent developments with particular emphasis on development of one of the key observations of Er\H od, namely, the role of the curvature of the boundary curve in the estimation of the lower bound of Markov factors.

研究の動機と目的

• 1945年に発表されたがほとんど忘れ去られていたJános Erődの、零点が凸領域にある多項式に対する逆Markov不等式に関する論文を再解釈し、再表現すること。
• 導関数ノルムの下界の鋭さを決定づける主要な幾何的要因として、境界曲線の曲率が果たす役割を示すこと。
• osculation円とローリングボール定理を用いたErődの核心的洞察を、最近のBernstein-Markov型不等式の発展にまで拡張すること。
• 古典的結果（Turán、Erőd）とLevenberg、Poletsky、Erdélyiによる凸領域および非凸領域に関する最近の進展を統合するフレームワークを構築すること。
• 逆Markov係数のnスケーリングの鋭さを明確にし、定数が最適となる幾何的条件を同定すること。

提案手法

• 複素関数論的および古典的解析幾何学的アプローチの2通りの証明戦略を用い、楕円領域 $E_b$ における逆Markov係数を導出する。
• $R$-円形集合の概念を適用する。すなわち、各境界点 $z$ に対して、$z$ で接し、領域 $K$ 全体を含む半径 $R$ の円板 $D_R$ が存在するものとし、$\|p'\|/\|p\|$ の下界を導出する。
• Blaschkeのローリングボール定理を用いて、境界の曲率がそのような支持円板の最小半径 $R$ を制御することを特徴づける。
• 最小曲率 $\kappa_{\min}$ を用いた一般化された逆Markov係数の下界を導出し、$L^p$-ノルムにおける摂動された凸体 $B^p_b$ に対して $M(B^p_b) \geq (p-1)b \, 2^{1/p - 3/2} n$ を示す。
• Hölderの不等式および幾何平均-算術平均不等式を用いて曲率関連項を推定し、$\min \kappa$ の漸近的境界を $b$ と $p$ の関数として導出し、スケーリングの鋭さを検証する。
• 曲率に基づく境界（定理1）と一般の $L^p$-に基づく推定（定理2）の有効性を比較し、曲率が0から離れている場合には、前者がより優れた定数をもたらすことを示す。

実験結果

リサーチクエスチョン

• RQ1 凸領域の境界の曲率は、領域内にすべての零点を持つ多項式の導関数ノルムの下界にどのように影響するか？
• RQ2 1945年のErődの楕円領域に関する結果を、ローリングボール定理や $R$-円形集合といった現代的ツールを用いて一般化・再解釈することは可能か？
• RQ3 楕円領域 $E_b$ における逆Markov係数が幾何的パラメータ（特に短軸 $b$）にどのように依存するか、正確に特定できるか？
• RQ4 逆Markov係数が $n$ に対して線形にスケーリングされる条件は何か？また、何らかの条件下でそのスケーリングが非線形に劣化する条件は何か？
• RQ5 一般の凸領域において、曲率に基づく推定を用いることで、逆Markov係数の $n$-スケーリングの鋭さを確立できるか？

主な発見

• 単位円板 $D$ に対して、逆Markov係数は $\|p'\|_D \geq \frac{n}{2}\|p\|_D$ を満たし、Turánの結果が最適定数で確認される。
• 区間 $I = [-1,1]$ に対して、$\|p'\|_I \geq \frac{\sqrt{n}}{6}\|p\|_I$ は鋭く、定数 $1/6$ は漸近的に $1/(2e)$ に改善される。
• 短軸 $b$ を持つ楕円領域 $E_b$（$0 < b < 1$）に対して、Erődは $\|p'\| \geq \frac{b}{2}n\|p\|$ を示し、$n$ に比例するスケーリングと $b$ への明示的依存関係を示し、これが鋭いことを示している。
• 本稿では、摂動された凸体 $B^p_b$ における $L^p$-ノルムに対して $M(B^p_b) \geq (p-1)b \, 2^{1/p - 3/2} n$ を確立し、定数が $p$ と $b$ に明示的に依存しており、すべての $p > 1$ に対して有効である。
• 曲率が0から離れている場合には、曲率に基づく推定（定理1）が一般の $L^p$-に基づく境界（定理2）よりも著しく優れた定数を与える。たとえ絶対定数が小さくても同様の結果が得られる。
• 幅 $w$ と直径 $d$ を持つ領域に対して、$n > n_0$ のとき $\|p'\| \leq 600 \frac{w}{d^2} n \|p\|$ が成り立つ。非凸領域や弱く曲がった領域であっても、線形スケーリングが幾何的定数を伴って保持されることを示している。