[논문 리뷰] Generalized Remez Inequality for $(s,p)$-Valent Functions

Yosef Yomdin|arXiv (Cornell University)|2011. 02. 13.

Mathematical Inequalities and Applications참고 문헌 7인용 수 3

한 줄 요약

이 논문은 복소해석함수로 고전적인 Remez 부등식을 일반화하기 위해 $(s,p)$-valent 함수를 도입함으로써, 차수 $s$인 다항식 $P$에 대해 $f(x) = P(x)$의 해를 제어하는 방식으로 $p$-valent 함수를 일반화한다. 기하학적 불변량 $c_d(Z)$와 $ρ_d(Z)$를 사용하여 날카로운 Remez 유형 부등식을 수립하고, 이는 고차수 다항식의代수곡선 위 제한에 적용되어 특이점 기하학과 단형성(monodromy)에 따라 의존하는 국소 및 전역 부등식을 도출한다.

ABSTRACT

The classical Remez inequality bounds the maximum of the absolute value of a polynomial $P(x)$ of degree $d$ on $[-1,1]$ through the maximum of its absolute value on any subset $Z$ of positive measure in $[-1,1]$. It was shown in \cite{Yom3} that the Lebesgue measure in the Remez inequality can be replaced by a certain geometric invariant $ω_d(Z)$ which can be effectively estimated in terms of the metric entropy of $Z$ and which may be nonzero for discrete and even finite sets $Z$. In the present paper we first obtain an essentially sharp Remez-type inequality in the spirit of \cite{Yom3} for complex polynomials of one variable, introducing metric invariants $c_d(Z)$ and $ø_{cd}(Z)$ for an arbitrary subset $Z\subset D_1\subset {\mathbb C}$. These invariants translate into the the metric language the classical Cartan lemma (see \cite{Gor} and references therein). Next we introduce $(s,p)$-valent functions, which provide a natural generalization of $p$-valent ones (see \cite{Hay} and references therein). We prove a "distortion theorem" for such functions, comparing them with polynomials sharing their zeroes. On this base we extend to $(s,p)$-valent functions our polynomial Remez-type inequality. As the main example we consider restrictions $g$ of polynomials of a growing degree to a fixed algebraic curve, for which we obtain an essentially sharp "local" Remez-type inequality, stressing the role of the geometry of singularities of $g$. Finally, we obtain for such functions $g$ a "global" Remez-type inequality which is valid for all the branches of $g$ and involves both the geometry of singularities of $g$ and its monodromy.

연구 동기 및 목표

• 기하학적 불변량을 사용하여 실다항식에서 복소해석함수로 고전적인 Remez 부등식을 일반화하는 것.
• $(s,p)$-valent 함수를 도입하고 연구함으로써 $p$-valent 함수의 일반화로서, 다항식에 대한 해의 구조를 캡처하는 것.
• 고차수 다항식의 대수곡선 위 제한에 대해 국소 Remez 유형 부등식을 유도하고, 특이점 기하학과 특이점으로부터의 거리에 따라 의존하는 것.
• 모든 분지에 대해 유효한 전역 Remez 유형 부등식을 수립하고, 단형성과 기하학적 구성요소를 통합하는 것.

제안 방법

• 집합 $Z \subset \mathbb{C}$에 대해 메트릭 불변량 $c_d(Z)$와 $ρ_d(Z)$를 도입하여, 카르탕의 보조정리에 기반해 Remez 부등식에서 르베그 측도를 일반화한다.
• $(s,p)$-valent 함수를 정의하여, 임의의 차수 $s$인 다항식 $P$에 대해 도메인 내에서 $f(x) = P(x)$의 해가 최대 $p$개 이하가 되는 함수로 간주한다.
• 제로를 공유하는 다항식과의 비교를 허용하는 변형 정리( distortion theorem )를 증명함으로써, Remez 유형 경계의 확장을 가능하게 한다.
• 대수곡선 $y = h(x)$ 위로의 다항식 제한 $g(x) = P(x, h(x))$에 이 프레임워크를 적용하고, 비특이점 근처의 국소적 행동을 분석한다.
• 특이점 집합 $Σ$를 제외한 $Σ$에서의 디스크들을 연결하여 전역 부등식을 구성하고, 반경과 불변량 $c_j = c_{d_1}(D_{j,1} \cap D_j')$를 사용하여 분지 간 성장률을 제한한다.
• 상수 $K(S)$를 모든 그러한 디스크 체인에 대해 $\sigma(R_j, R_{j1}, R_j')$와 $c_j^{-1}$를 포함하는 곱의 최소값으로 정의하여, 전역 단형성과 기하학적 제약 조건을 포괄한다.

실험 결과

연구 질문

• RQ1 기하학적 불변량을 르베그 측도 대신 사용하여 고전적인 Remez 부등식을 복소해석함수로 일반화할 수 있는가?
• RQ2 다항식의 차수에 제한된 정도에서 해의 구조를 캡처하는 데 적절한 $p$-valent 함수의 일반화는 무엇인가?
• RQ3 고차수 다항식의 대수곡선 위 제한에 대해 Remez 유형 부등식을 어떻게 확장할 수 있으며, 그러한 경계의 날카로움을 결정하는 기하학적 자료는 무엇인가?
• RQ4 단형성은 다각분지 해석함수에 대한 전역 Remez 유형 부등식을 구성하는 데 어떤 역할을 하는가?

주요 결과

• 기하학적 양 $c_d(Z)$를 사용하여 복소다항식에 대해 날카로운 Remez 유형 부등식이 수립되었으며, 이는 르베그 측도를 기하학적 양으로 대체함으로써 이산 집합에 대해서도 계산 가능한 것으로 일반화된다.
• 논문은 $(s,p)$-valent 함수를 $p$-valent 함수의 자연스러운 일반화로 도입하였으며, 이때 $p$-valent 함수는 $s=0$에 해당한다.
• 다항식의 대수곡선 위 제한 $g(x) = P(x, h(x))$에 대해, 곡선의 차수, 다항식 $P$의 차수, 가장 가까운 특이점까지의 거리에 따라 의존하는 국소 Remez 부등식이 성립한다.
• 모든 분지에 대해 $g$에 대해 전역 Reme즈 부등식이 도출되었으며, 상수 $K(S)$는 단형성군 $G$, $Z$의 구성, 그리고 $Z$에서 평가점 $x_0$까지 연결된 디스크 체인의 구성에 따라 달라진다.
• $K(S)$는 모든 디스크 체인에 대해 $\sigma$-함수와 $c_j^{-1}$를 포함하는 곱의 하한으로 정의되며, 분지 간의 해석적 계속성과 성장률을 제어한다.
• 부등식 (5.4)는 집합 $Z$, 도메인 $D_0$의 크기, 평가점 $x_0$, $Σ$, 단형성에 관여하는 전역 구성요소의 기여를 명시적으로 분리한다.