[논문 리뷰] Applications of Steiner symmetrization to some extremal problems in geometric function theory

Ronen Peretz|arXiv (Cornell University)|2016. 07. 06.

Analytic and geometric function theory참고 문헌 3인용 수 16

한 줄 요약

이 논문은 단위 원판 내의 해석적 함수에 대한 급한 부등식을 구하기 위해 스티너 대칭화를 적용한다. 특히, $L^p$-노름이 대칭화에 의해 최소화됨을 보여주며, $p=2$에 대해 날카운 경계를 증명하고, 부등식이 실패하는 임계값을 초과하는 $p$의 값을 규명한다.

ABSTRACT

In this paper we investigate properties of the Steiner symmetrization in the complex plane. We use two recursive dynamic processes in order to derive some sharp inequalities on analytic functions in the unit disk. We answer a question that was asked by Albert Baernstein II, regarding the coefficients of circular symmetrization. We mostly deal with the Steiner symmetrization $G$ of an analytic function $f$ in the unit disk $U$. We pose few problems we can not solve. An intriguing one is that of the inequality $$ \int_{0}^{2π} |f(re^{iθ})|^{p}dθ\le\int_{0}^{2π} |G(re^{iθ})|^{p}dθ,\,\,0

연구 동기 및 목표

• 해석적 함수에 대해 복소 평면에서의 스티너 대칭화 성질을 조사한다.
• 앨버트 베른스타인 2세가 제기한 원형 대칭화 계수에 관한 질문을 해결한다.
• 대칭화 하에 단위근함수의 경계값에 대한 $L^p$-노름에 대해 날카운 부등식을 유도한다.
• 부등식 $\int_0^{2\pi} |f(re^{i\theta})|^p d\theta \leq \int_0^{2\pi} |G(re^{i\theta})|^p d\theta$ 가 성립하는 $p$의 상한을 결정한다. 여기서 $G$ 는 $f$ 의 스티너 대칭화이다.
• 기능적 $N(p,\alpha) = \inf_{f \in S(p,\alpha)} \int_0^{2\pi} |f'(e^{i\theta})| d\theta$ 에 대해 극값 함수를 특성화한다.

제안 방법

• 극값 함수를 분석하기 위해 스티너 대칭화와 등각사상이 포함된 두 개의 반복 동적 과정을 사용한다.
• 리틀우드의 보조정리와 슈바르츠 보조정리를 적용하여 부분 함수와 그 노름을 비교한다.
• 리만 사상 정리를 사용하여 단순연결 영역에서 단위 원판으로의 등각사상을 구성한다.
• 원래 함수 $f$ 와 그 대칭화 극한 $G$ 를 연결하기 위해 수축 인자 $c_{\phi_n}$ 의 무한곱을 사용한다.
• 면적 적분 $\pi R^2 = \int_0^{2\pi} \Re\{f(e^{i\theta})\} \Re\{e^{i\theta} f'(e^{i\theta})\} d\theta$ 를 통해 극한 등각사상 $G$ 에 대한 핵심 공식을 도출한다.
• 무한곱 $c_{\phi_n}$ 에서 유도된 수축 인자 $c = \max\left\{ \frac{1}{G'(0)}, \frac{\alpha}{\|G\|_2} \right\}$ 를 사용하여 날카운 추정을 수립한다.

실험 결과

연구 질문

• RQ1 스티너 대칭화 $G$ 를 갖는 함수 $f$ 에 대해, 부등식 $\int_0^{2\pi} |f(re^{i\theta})|^p d\theta \leq \int_0^{2\pi} |G(re^{i\theta})|^p d\theta$ 가 성립하는 $p \in (0, \infty)$ 는 무엇인가요?
• RQ2 이 부등식이 $p=2$ 에서는 성립하지만 큰 $p$ 에서는 실패하므로, 이 부등식이 여전히 유효한 $p$ 의 상한은 무엇인가요?
• RQ3 기능적 $N(p,\alpha)$ 에 대해 극값 함수가 $S(p,\alpha)$ 내에 존재할 수 있으며, 그들의 상세 영역이 만족해야 할 기하적 성질은 무엇인가요?
• RQ4 반복 대칭화 과정은 어떻게 수렴하며, 수축 인자는 극한에서 어떤 역할을 하는가요?
• RQ5 경계 적분 $\int_0^{2\pi} \Re\{f(e^{i\theta})\} \Re\{e^{i\theta} f'(e^{i\theta})\} d\theta$ 의 실수부에 대한 $G'(0)$ 의 날카운 경계는 무엇인가요?

주요 결과

• 부등식 $\int_0^{2\pi} |f(re^{i\theta})|^p d\theta \leq \int_0^{2\pi} |G(re^{i\theta})|^p d\theta$ 는 $p=2$ 에서 성립하며, 이 경계는 날카롭다.
• 이 부등식이 성립하는 $p$ 의 상한은 $\infty$ 보다 작지만, 정확한 값은 아직 알려져 있지 않다.
• $N(p,\alpha)$ 에 대해 극값 함수는 단위 원판을 볼록 영역으로 사상해야 하며, 비볼록 또는 슬릿 영역은 부분함수에 의해 모순을 일으켜서 불가능하다.
• 반복 대칭화 과정의 극한 함수 $G$ 는 $G(z) = R z$ 를 만족하며, 여기서 $R = \left( \frac{1}{\pi} \int_0{2\pi} \Re\{f(e^{i\theta})\} \Re\{e^{i\theta} f'(e^{i\theta})\} d\theta \right)^{1/2}$ 이다.
• 날카운 추정 $\max\left\{1,\alpha\right\} \cdot \left( \frac{1}{\pi} \int \Re\{f\} \Re\{e^{i\theta} f'\} d\theta \right)^{-1/2} \leq \max\left\{ \frac{1}{G'(0)}, \frac{\alpha}{\|G\|_2} \right\} \leq 1$ 이 수립되었으며, 극한에서 등호가 성립한다.
• 작은 $\alpha$ 에 대해, $G'(0) \leq \left( \frac{1}{\pi} \int_0^{2\pi} \Re\{f(e^{i\theta})\} \Re\{e^{i\theta} f'(e^{i\theta})\} d\theta \right)^{1/2}$ 이라는 경계는 날카롭다.