[논문 리뷰] Abelian and Tauberian theorems for integrals

A. F. Grishin, I. V. Poedintseva|arXiv (Cornell University)|2012. 12. 22.

Advanced Mathematical Modeling in Engineering참고 문헌 8인용 수 3

한 줄 요약

이 논문은 $(0,\infty)$ 상의 Radon 측도의 극한 집합을 사용하여 $\int_0^\infty K(t/r)\,d\mu(t)$ 형식의 적분에 대한 아벨 및 타우버 정리 유도를 위한 새로운 방법을 제안한다. 아자린의 극한 집합 이론을 Radon 측도로 일반화하고, 개선된 카를레만의 해석적 계속성 보조정리의 버전을 활용하여, 저자들은 이러한 극한 집합을 통해 점 渐진적 행동을 묘사하는 새로운 아벨 정리들을 수립하고, 제2 위erner 타우버 정리를 상당히 강화한다.

ABSTRACT

A new method of obtaining Abelian and Tauberian theorems for the integral of the form $\int\limits_0^\infty K(\frac{t}{r}) dμ(t)$ is proposed. It is based on the use of limit sets of the measures. A version of Azarin's sets is constructed for Radon's measures on the ray $(0,\infty)$. Abelian theorems of a new type are proved in which asymptotic behavior of the integral is described in terms of these limit sets. Using these theorems together with an improved version of the well-known Carleman's theorem on analytic continuation, a substantial improvement of the second Wiener Tauberian theorem is obtained. Reference: 25 units. Keywords: proximate order of Valiron, Radon's measures, Azarin's limit set of measure, Azarin's regular measure, Tauberian theorem of Wiener.

연구 동기 및 목표

• $(0,\infty)$ 상의 커널 $K(t/r)$와 Radon 측도 $\mu$를 포함한 적분에 대한 아벨 및 타우버 정리 유도를 위한 새로운 방법 개발.
• 측도의 극한 집합 이론을 양의 반직선 상의 Radon 측도로 일반화하여, 적분의 점 渐진적 분석을 가능하게 한다.
• 측도 $\mu$의 극한 집합을 통해 적분의 점 渐진적 행동을 묘사하는 새로운 유형의 아벨 정리 수립.
• 특히 개선된 카를레만의 해석적 계속성 보조정리의 응용을 통해, 제2 위너 타우버 정리의 상당한 강화를 달성한다.

제안 방법

• Radon 측도 $\mu$의 극한 집합 $Fr[\mu] = Fr[\rho(r), \mu]$를 정의하고 분석하는 데 기반을 두며, 여기서 $\mu_t(E) = \mu(tE)/V(t)$ 이고 $V(r) = r^{\rho(r)}$ 이며 $\rho(r)$ 는 측도의 정확한 순서이다.
• 측도의 성장률 $\mu([r, er])$ 이 $V(r)$ 대비 상대적 성장을 바탕으로 두 종류의 측도, $\mathfrak{M}_\infty(\rho(r))$ 와 $\mathfrak{M}(\rho(r))$ 를 정의한다.
• 저자들은 아자린의 의미에서 정규 측도를 정의하며, 이는 $Fr[\mu]$ 가 단일 측도로 구성되며, 그 밀도가 $ct^{\rho-1}$ 이어야 한다는 조건을 포함한다.
• 핵심 기술 도구는 타우버 결과를 강력하게 유도하는 데 사용되는 카를레만 보조정리의 개선된 버전이다.
• 이 방법은 $t_n \to \infty$ 일 때 측도 $\mu_{t_n}$ 이 $Fr[\mu]$ 의 원소로 넓은 수렴을 보임에 의존한다.
• 적분 $\Psi(r) = \int_0^\infty K(t/r)\,d\mu(t)$ 의 점 渐진적 행동은 극한 집합 $Fr[\mu]$ 와 관련 함수 $J(r) = \Psi(r)/V(r)$ 를 통해 분석된다.

실험 결과

연구 질문

• RQ1 측도 $\mu$ 의 극한 집합을 사용하여 적분 $\int_0^\infty K(t/r)\,d\mu(t)$ 에 대한 아벨 정리를 어떻게 구성할 수 있는가?
• RQ2 Radon 측도의 극한 집합 $Fr[\mu]$ 의 정확한 특성은 무엇이며, 정확한 순서 $\rho(r)$ 와 어떻게 관련되어 있는가?
• RQ3 이 새로운 프레임워크를 통해 제2 위너 타우버 정리를 상당히 강화할 수 있는가?
• RQ4 $\mu$ 에 어떤 조건이 성립하면 관련 적분 $\Psi(r)$ 가 정규 극한 집합을 가지게 되며, 이는 $\mu$ 의 정규성과 어떻게 관련되는가?
• RQ5 개선된 카를레만 보조정리는 더 강력한 타우버 결과 증명에 어떻게 기여하는가?

주요 결과

• 저자들은 $\Psi(r) = \int_0^\infty K(t/r)\,d\mu(t)$ 의 점 渐진적 행동이 측도 $\mu$ 의 극한 집합 $Fr[\mu]$ 를 통해 묘사되는 새로운 아벨 정리를 증명한다.
• $\mu \in \mathfrak{M}_\infty(\rho(r))$ 이면, 극한 집합 $Fr[\mu]$ 는 넓은 수렴 위상에서 비어 있지 않고 컴act하다.
• 측도 $s$ 가 $ds(t) = \Psi(t)dt$ 이며 정확한 순서 $\rho(r)+1$ 에 대해 정규일 경우, $\mu$ 는 $\rho(r)$ 에 대해 정규이며, $Fr[\mu]$ 는 밀도 $\frac{c}{c_1}t^{\rho-1}$ 를 갖는 단일 측도로 구성된다. 여기서 $c_1 = \int_0^\infty K(t)t^{\rho-1}dt$ 이다.
• 논문은 $\mu$ 의 정규성이 $\lim_{r\to\infty} \mu([ar,br])/V(r) = c(b^\rho - a^\rho)/\rho$ 를 만족하는 극한의 존재와 동치임을 증명한다. 여기서 $0 < a < b < \infty$ 이며, $\rho=0$ 의 경우 연속성에 의해 해석된다.
• 제2 위너 타우버 정리는 상당히 강화된다: 새로운 결과는 더 넓은 함수의 범주에 적용 가능하며, 정확한 순서와 극한 집합의 구조를 통해 더 정밀한 점 渐진적 통제를 제공한다.
• 카를레만의 해석적 계속성 보조정리의 개선된 버전은 강화된 타우버 결과 증명에 핵심적인 역할을 하며, 적분으로부터 측도로의 해석적 성질의 연장 가능성을 허용한다.