[논문 리뷰] Bohr operator on analytic functions

Yusuf Abu-Muhanna, Rosihan M. Ali외 1명|arXiv (Cornell University)|2019. 12. 26.

Advanced Banach Space Theory참고 문헌 26인용 수 6

한 줄 요약

이 논문은 단위 원판 내 해석 함수에 대한 보르 연산자 $\mathcal{M}_r(f) = \sum_{n=0}^\infty |a_n|r^n$ 에 대한 노름 이론적 프레임워크를 제안하며, 순종성 및 준순종성 하에서 날카로운 부등식을 확립한다. 만약 $f \prec h$ 이면 $|z| \leq 1/3$ 에서 $\mathcal{M}_r(f) \leq \mathcal{M}_r(h)$ 임을 증명하며, $k$-번째 항들의 부분합에 대해서는 반경 $1/2$ 과 $1/3$ 에 대해 유사한 경계를 제공하고, 색시 함수에 대한 바르너스타일 부등식을 유도한다.

ABSTRACT

For $f(z) = \sum_{n=0}^{\infty} a_n z^n$ and a fixed $z$ in the unit disk, $|z| = r,$ the Bohr operator $\mathcal{M}_r$ is given by \[\mathcal{M}_r (f) = \sum_{n=0}^{\infty} |a_n| |z^n| = \sum_{n=0}^{\infty} |a_n| r^n.\] This papers develops normed theoretic approaches on $\mathcal{M}_r$. Using earlier results of Bohr and Rogosinski, the following results are readily established: if $f(z)=\sum_{n=0}^{\infty} a_{n}z^{n}$ is subordinate (or quasi-subordinate) to $h(z)=\sum_{n=0}^{\infty} b_{n}z^{n}$ in the unit disk, then \[\mathcal{M}_{r}(f) \leq \mathcal{M}_{r}(h), \quad 0 \leq r \leq 1/3,\] that is, \[\sum_{n=0}^{\infty} \ | a_{n}\ | |z|^{n} \leq \sum_{n=0}^{\infty} \ | b_{n}\ |t |z|^{n}, \quad 0 \leq |z| \leq 1/3. \] Further, each $k$-th section $s_k(f) = a_0 + a_1 z + \cdots + a_kz^k$ satisfies \[\ | s_k(f)\ | \leq \mathcal{M}_r \ ( s_k(h)\ ), \quad 0 \leq r \leq 1/2,\] and \[\mathcal{M}_{r}\ ( s_{k}(f) \ ) \leq \mathcal{M}_{r}(s_{k}(h)), \quad 0 \leq r \leq 1/3.\] A von Neumann-type inequality is also obtained for the class consisting of Schwarz functions in the unit disk.

연구 동기 및 목표

• 단위 원판 내 해석 함수에 대한 보르 연산자 $\mathcal{M}_r$ 에 대한 노름 이론적 접근법을 개발하기 위해.
• 기존의 보르 및 로고시니 반경 결과를 순종성 및 준순종성의 맥락으로 확장하기 위해.
• 해석 함수의 부분합(항)에 적용된 보르 연산자에 대한 날카로운 경계를 확립하기 위해.
• 색시 함수에 대한 $\mathcal{M}_r$ 연산자를 사용하여 바르너스타일 부등식을 도출하기 위해.
• 연산자 이론적 방법을 통해 이전의 주요화 및 계수 추정 결과를 통합하고 일반화하기 위해.

제안 방법

• 단위 원판 내에서 $|z| = r < 1$ 에 대해 정의된 보르 연산자 $\mathcal{M}_r(f) = \sum_{n=0}^\infty |a_n|r^n$ 는 해석 함수의 바나흐 대수 위의 노름으로 간주된다.
• $\mathcal{M}_r$ 이 덧셈에 대한 가법성, 동차성, 곱셈에 대한 부분곱성을 만족함을 보여, 바나흐 대수 노름으로서의 성격을 입증한다.
• 보르와 로고시니의 이전 결과를 활용하여, $r \leq 1/3$ 에서 $f \prec h$ 이면 $\mathcal{M}_r(f) \leq \mathcal{M}_r(h)$ 임을 증명하며, 주요화와 계수 추정을 기반으로 한다.
• $k$-번째 항 $s_k(f)$ 에 대해, 로고시니 정리를 적용하고 색시 함수의 성질을 활용하여 $r \leq 1/2$ 에서 $|s_k(f)| \leq \mathcal{M}_r(s_k(h))$ 와 $r \leq 1/3$ 에서 $\mathcal{M}_r(s_k(f)) \leq \mathcal{M}_r(s_k(h))$ 를 도출한다.
• 주요화와 $\ell^1$-노름 제어를 사용하여, 임의의 색시 함수 $\varphi$ 와 $r \leq 1/3$ 에 대해 $\mathcal{M}_r(h(\varphi)) \leq \|h\|_\infty$ 인 바르너스타일 부등식을 유도한다.
• 증명은 $f(z) = h(\varphi(z))$ 의 순종성과 단위 원판 내에서 $\varphi$ 의 유계성에 기반하며, $\mathcal{M}_r(\varphi^n)$ 에 대한 추정치를 통합한다.

실험 결과

연구 질문

• RQ1 순종성 $f \prec h$ 이면 $\mathcal{M}_r(f) \leq \mathcal{M}_r(h)$ 가 성립하는 조건은 무엇인가?
• RQ2 순종성 하에서 $k$-번째 항의 부분합에 대해 $\mathcal{M}_r(s_k(f)) \leq \mathcal{M}_r(s_k(h))$ 가 성립하는 최적의 반경 $r$ 은 무엇인가?
• RQ3 보르 연산자 $\mathcal{M}_r$ 에 대해 색시 함수와의 복합 함수에 대해 바르너스타일 부등식을 확립할 수 있는가?
• RQ4 순종성 하에서 $|s_k(f)|$ 와 $\mathcal{M}_r(s_k(f))$ 의 경계가 $\mathcal{M}_r(s_k(h))$ 의 경계와 어떻게 비교되는가?
• RQ5 만약 $f$ 가 $h$ 에 대해 준순종성이라면 주요화 결과에 대한 날카로운 반경은 무엇인가?

주요 결과

• 만약 $f \prec h$ 이면 모든 $r \leq 1/3$ 에 대해 $\mathcal{M}_r(f) \leq \mathcal{M}_r(h)$ 이며, 등호는 $f$ 와 $h$ 가 상수배일 경우에만 성립한다.
• $k$-번째 항 $s_k(f)$ 에 대해 $r \leq 1/2$ 에서 $|s_k(f)| \leq \mathcal{M}_r(s_k(h))$ 가 성립하며, 이는 로고시니 반경을 항의 주요화로 확장한 것이다.
• $r \leq 1/3$ 에서 $\mathcal{M}_r(s_k(f)) \leq \mathcal{M}_r(s_k(h))$ 이 성립함을 확인하여, 계수 노름 주요화에 대한 보르 반경이 날카로운 임계점임을 입증한다.
• 바르너스타일 부등식이 성립한다: 모든 색시 함수 $\varphi$ 와 $r \leq 1/3$ 에 대해 $\mathcal{M}_r(h(\varphi)) \leq \|h\|_\infty$ 이며, 이는 연산자 노름과 함수 공간을 연결한다.
• 단일가 함수 $h$ 에 대해, $r \leq 1/2$ 와 $r \leq 1/3$ 에 대해 각각 $|s_k(f)| \leq |b_0| + \frac{k(k+1)}{2}|b_1|$ 과 $\mathcal{M}_r(s_k(f)) \leq |b_0| + \frac{k(k+1)}{2}|b_1|$ 이 성립함을 밝혔으며, 계수에 대한 드 브랑지의 정리를 활용한다.
• 결과는 날카롭다: $1/3$ 과 $1/2$ 의 반경은 보르와 로고시니의 고전적 극한 예제를 통해 향상될 수 없다.