[논문 리뷰] Holomorphic minorants of plurisubharmonic functions

Б. Н. Хабибуллин, T. Yu. Baĭguskarov|arXiv (Cornell University)|2016. 03. 06.

Holomorphic and Operator Theory참고 문헌 7인용 수 5

한 줄 요약

이 논문은 가중 $L^2$ 추정과 젠센 부등식을 통해 복소다양체에서 정칙 함수의 점별 상한을 다변수하모닉 함수의 상한 함수로 정의함으로써 날카운 점별 상한을 확립한다. 핵심 기여는 임의의 $a>0$에 대해, $a$에 최적의 의존성을 가지며, $\log|f(z)|$가 $B(z,r)$ 위에서 $\varphi$의 리만 적분 평균에 $r$과 $|z|$에 관한 로그 보정 항을 더한 것보다 작거나 같게 되는, 영이 아닌 정칙 함수 $f$가 존재함을 보여주는 새로운 점별 추정(정리 1)이다. 이는 평균화를 통합하고 성장 제어를 정밀화하여 이전 결과를 향상시킨다.

ABSTRACT

Let $φ$ be a plurisubharmonic function on a pseudoconvex domain $D \subset \mathbb C^n$. We show that there exists a nonzero holomorphic function $f$ on $D$ such that some local mean value of $φ$ with logarithmic additional terms majorizes $\log |f|$. A similar problem is discussed for a locally integrable function on $D$ in terms of balayage of positive measures. Key words: holomorphic function, plurisubharmonicity, minorant, balayage, Jensen inequality, mean value in the ball.

연구 동기 및 목표

• 편평한 볼록 영역에서 주어진 다변수하모닉 함수 $\varphi$를 하한으로 가지는 영이 아닌 정칙 함수에 대해 날카운 점별 추정을 확립하는 것.
• Hörmander 이론의 기존 $L^2$ 추정을 다변수하모닉 함수 $\varphi$의 공간 평균을 통합함으로써 개선하는 것.
• 주어진 함수의 상한 함수에서 점별 최대값을 리만 적분 평균으로 대체함으로써 더 날카롭고 더 민감한 추정을 얻는 것.
• 기본 함수에 대한 측도 이론적 조건을 도입하여 변수 반경 평균 구조로 정칙 하한 함수의 존재를 확장하는 것.

제안 방법

• Bombieri의 존재 정리와 Hörmander의 $L^2$ 방법에서 유도된, $e^{-2\varphi}$에 대한 가중 $L^2$ 적분 가능성을 만족하는 영이 아닌 정칙 함수의 존재를 활용한다.
• 하부하모닉 함수 $2\log|f|$와 비교 함수 $2\psi = 2\varphi + (n+a)\log(1+|z-z_0|^2)$에 젠센 부등식을 적용하여 점별 추정을 유도한다.
• 하부하모닉 함수에 대한 핵심 보조정리를 활용하여 $\log|f(z)|$를 구간 $B(z,r)$ 위에서 $\psi$의 평균과 로그 보정 항으로 유계화한다.
• 변수 반경 평균 연산자 $F^{*d}(z) = \frac{1}{\lambda(B(0,d(z)))}\int_{B(z,d(z))} F\,d\lambda$를 도입하여 추정을 비정수 반경으로 일반화한다.
• 문제를 $F^{*d}$를 하한으로 가지는 다변수하모닉 하한 함수 $\varphi \leq F^{*d}$를 찾는 것으로 환원하기 위해 [4]의 쌍대성 결과를 적용한다.
• 정리 1을 하한 함수 $\varphi$에 적용하여, 평균화된 $\varphi$와 $r$, $|z|$에 관한 로그 보정 항을 포함한 최종 점별 추정을 도출한다.

실험 결과

연구 질문

• RQ1 점별 최대값을 리만 적분 평균으로 대체함으로써, 다변수하모닉 함수의 정칙 하한 함수에 대한 점별 추정을 향상시킬 수 있는가?
• RQ2 로그 보정 항에 존재하는 매개수 $a>0$에 대한 추정의 최적 의존성은 무엇인가?
• RQ3 함수 $F$에 어떤 조건이 성립할 경우, 변수 반경 평균 추정을 만족하는 영이 아닌 정칙 하한 함수가 존재하는가?
• RQ4 공간 평균화를 도입함으로써, 이전 결과와 비교해 볼 때 하한 함수 추정의 날카움과 적용 가능성은 어떻게 변화하는가?
• RQ5 지역 평균화를 사용함으로써 기준점 $z_0$의 선택에 독립적인 추정을 얻을 수 있는가?

주요 결과

• 모든 $a>0$에 대해, $D\subset\mathbb{C}^n$인 편평한 볼록 영역에서 영이 아닌 정칙 함수 $f$가 존재하여, 모든 $z\in D$ 및 $0<r<\operatorname{dist}(z,\mathbb{C}^n\setminus D)$에 대해 $\log|f(z)| \leq \frac{1}{\lambda(B(0,r))}\int_{B(z,r)}\varphi\,d\lambda + n\log\frac{1}{r} + (n+a)\log(1+|z|+r)$ 를 만족한다.
• 추정의 오른쪽 항은 $B(z,r)$ 위에서 $\varphi$의 리만 적분 평균을 포함하며, 이는 이전 추정에서 사용된 점별 최대값보다 엄밀히 작다.
• 이 추정은 날카롭다. 즉, $a$에 의존하는 로그 항 $(n+a)\log(1+|z|+r)$는 이러한 하한 함수의 존재성을 유지하기 위해 제거할 수 없다.
• 이 결과는 변수 반경 평균으로 일반화된다: $\inf\{\int F\,d\mu : \mu_0 \prec_{\operatorname{psh}(D)} \mu \in \mathcal{M}_{\rm ac}^{+}(D)\} > -\infty$ 이면, $\varphi$ 대신 $F^{*d}$를 사용한 유사한 추정이 성립한다.
• 이 방법은 영이 아닌 정칙 하한 함수의 존재성이 자연스러운 적분 조건 하에서 평균화된 함수 $F^{*d}$의 다변수하모닉 하한 함수의 존재성과 동치임을 보여준다.
• 특히 $n=1$인 경우, $\varphi$가 $\mathbb{C}$ 위에서 하부하모닉일 때, 이전 결과들(예: [5], [6], [7])보다 더 날카로운 추정을 제공하며, 특히 감쇠 및 성장 제어 측면에서 유리하다.