[논문 리뷰] Approximation of subharmonic functions

Igor Chyzhykov|ArXiv.org|2008. 07. 13.

Approximation Theory and Sequence Spaces인용 수 3

한 줄 요약

이 논문은 복소평면 위의 하모닉 함수에 대해 전체 함수의 로그로의 L1-근사 추정을 리에시 측도의 하한 조건 하에 정확하게 설정한다. 리에시 측도가 천천히 그러나 일관되게 증가할 경우(예: 천천히 변화하는 함수 ψ를 포함하는 조건을 만족할 경우), 반경 R인 원판에서 L1 노름으로의 근사 오차는 O(R² log ψ(R))이며, 이 경계는 최적임을 증명하며, 이는 이전에 리우바르스키와 말린니코바가 얻은 결과를 일반화한다.

ABSTRACT

In certain classes of subharmonic functions u on C distinguished in terms of lower bounds for the Riesz measure of u, a sharp estimate is obtained for the rate of approximation by functions of the form log |f(z)|, where f is an entire function. The results complement and generalize those recently obtained by Yu. Lyubarskii and Eu. Malinnikova.

연구 동기 및 목표

• 하모닉 함수에 대한 기존의 L1-근사 추정을 전체 함수의 로그 모듈러스에 의해 향상시키기.
• 리우바르스키와 말린니코바의 강한 하한 조건을 만족하지 못하는 경우의 근사 속도 격차를 해결하기.
• 리에시 측도의 자연스러운 성장 조건 하에서 근사 오차 경계의 최적성 확립하기.
• M. 소딘의 질문에 답하기: 상수 α ∈ [0,1)이 L1 노름에서 근사 속도를 향상시킬 수 있는가?

제안 방법

• 리에시 측도의 링형 영역에서의 성장도를 매개변수화하기 위해 천천히 변화하는 함수 ψ의 클래스를 도입한다.
• 레베그 측도에 대해 통합하는 방식으로 |z| < R인 원판에서 |u(z) − log|f(z)||의 적분 추정을 사용한다.
• 네바린느 특성과 수세기 함수를 적용하여 f의 영점 분포를 u의 리에시 측도와 비교한다.
• 형식 ∫ |n(t,f) − n(t,u) + α| / t dt에 대한 적분 추정을 통해 모순을 이용해 α < 1/2일 때 그러한 f의 존재를 배제한다.
• 리에시 측도가 조건 μ({R < |z| ≤ Rψ(R)}) > 1를 만족하는 모델 하모닉 함수 uψ(z) = ½∑ log|1 − z/rk|를 구성한다.
• 수세기 함수와 네바린느 접근 함수의 渐近 분석을 통해 근사 오차의 하한을 유도한다.

실험 결과

연구 질문

• RQ1 리에시 측도가 강한 하한 조건이 아닌 약한 하한 조건을 만족할 경우, L1 노름에서의 근사 오차를 향상시킬 수 있는가?
• RQ2 조건 μ({R < |z| ≤ Rψ(R)}) > 1 하에서 L1 근사 오차의 O(R² log ψ(R)) 경계가 최적인가?
• RQ3 리에시 측도가 천천히 증가할 경우, L1 노름에서 균일한 상한이 log ψ(R) 보정 항을 포함하여 유계일 수 있는가?
• RQ4 주어진 리에시 측도 조건 하에서, ∫|u − log|f|| dm = O(R²)를 만족하는 전체 함수 f가 존재하는가?
• RQ5 리에시 측도가 어떤 거듭제곱보다도 느리게 증가할 경우, O(R² log R)보다 더 좋은 근사 속도를 달성할 수 있는가?

주요 결과

• 천천히 변화하는 함수 ψ에 대해 μ({R < |z| ≤ Rψ(R)}) > 1를 만족하는 하모닉 함수 u에 대해, |z| < R에서의 L1 근사 오차는 O(R² log ψ(R))이다.
• 경계 O(R² log ψ(R))는 최적이다: 동일한 측도 조건을 만족하는 모델 하모닉 함수 uψ를 구성함으로써 더 나은 속도가 불가능함을 보였다.
• 리에시 측도가 링형 영역에서 최소한 상수로 증가하지 않는 한, 근사 오차는 O(R²)로 유계일 수 없다. 이 조건은 주어진 ψ-성장 조건 하에서는 실패한다.
• α ∈ [0,1)에 대해, ∫|u − log|f| − α log|z|| dm = O(R²)를 만족하는 전체 함수 f는 존재하지 않는다. 이는 리에시 측도 조건이 만족되더라도 마찬가지이다.
• 이 결과는 리우바르스키와 말린니코바의 이전 결과를 일반화하고 정밀화하며, 임의의 차수의 하모닉 함수에 대한 근사 프레임워크를 확장한다.