[논문 리뷰] Asymptotic expansions of several series and their application

В. П. Заставный|arXiv (Cornell University)|2010. 01. 30.

Mathematical Inequalities and Applications참고 문헌 15인용 수 4

한 줄 요약

이 논문은 $ x \to 0^+ $ 일 때 $ x $ 의 거듭제곱에 대한 완전한 점근 전개를 두 유형의 급수에 대해 유도한다: 지수형 $ \sum_{k=0}^\infty \varepsilon^k (k+a)^eta e^{-(k+a)^ ho x} $ 과 유리형 $ \sum_{k=0}^\infty \frac{\varepsilon^k (k+a)^eta}{(x(k+a)^\rho + 1)^\mu} $, 여기서 $ \varepsilon = \pm 1 $ 이다. 주요 기여는 계수를 하우리츠 및 교대 하우리츠 제타 함수를 통해 표현함으로써 일반화된 마티우 급수에 대한 정밀한 부등식을 가능하게 한다.

ABSTRACT

Asymptotic expansions of series $\sum_{k=0}^\infty ε^k(k+a)^γe^{-(k+a)^αx}$ and $\sum_{k=0}^\infty ε^k(k+a)^γ/ (x(k+a)^α+1)^μ}$ in powers of $x$ as $x o+0$ are found, where $ε=1$ or $ε=-1$. These expansions are applied to obtain precise inequalities for Mathieu series. Keywords: Asymptotic expansion, residues, generalized Mathieu series, inequalities.

연구 동기 및 목표

• 지수형 및 유리형 급수에 대해 $ x \to 0^+ $ 일 때 $ x $ 의 거듭제곱에 대한 점근 전개를 유도하는 것, 매개변수 $ a > 0 $, $ \gamma \in \mathbb{R} $, $ \alpha > 0 $, $ \mu > 0 $ 를 포함한다.
• 이러한 전개가 정확한 등식이 되는 조건을 설정하는 것, 특히 $ 0 < \alpha < 1 $ 과 $ \alpha = 1 $ 일 때의 경우를 포함한다.
• 유도된 전개를 이용하여 잔여론과 적분 표현을 통해 일반화된 마티우 급수에 대한 날카로운 부등식을 도출하는 것.
• 라플라스 변환의 극값을 통해 함수 $ f(x,a,\gamma,\alpha) $ 와 $ \widetilde{f}(x,a,\gamma,\alpha) $ 를 포함한 부등식의 최적 상수를 특성화하는 것.
• 특수한 경우(예: $ \alpha = 1 $, $ \gamma \in \mathbb{Z}_+ $)에 대한 기존 점근 전개 결과를 제타 함수와 해석 continuation 을 사용하여 일반 매개변수로 확장하는 것.

제안 방법

• 잔여정리와 하우리츠 제타 함수 $ \zeta(s,a) $ 를 위한 헤르미트 적분 공식을 사용하여 점근 전개를 도출함으로써 $ \mathbb{C} \setminus \{1\} $ 으로의 해석 continuation 이 가능해진다.
• 점근 급수의 계수를 하우리츠 제타 함수 $ \zeta(-\alpha k - \gamma, a) $ 와 교대 하우리츠 제타 함수 $ \widetilde{\zeta}(-\alpha k - \gamma, a) $ 의 값으로 표현함으로써 $ k \in \mathbb{Z}_+ $ 에 대해 유효하다.
• 베르슈타인–하우스도르프–위더 정리를 적용하여 완전 단조 감소 및 완전 볼록 함수를 완전히 특성화함으로써, 부등식과 $ f(t,a,\gamma,\alpha) $ 와 $ \widetilde{f}(t,a,\gamma,\alpha) $ 의 라플라스 변환 간의 연관성을 설정한다.
• 감마 함수와 라플라스 변환을 포함하는 적분 표현: $ \psi(x) = \frac{1}{\Gamma(\mu)} \int_0^\infty e^{-xt} t^{\mu-1} (c e^{-pt} - f(t,a,\gamma,\alpha)) dt $ 를 사용하여 단조성과 극값 경계를 분석한다.
• $ \alpha < 1 $ 과 $ \alpha = 1 $ 일 때 정확한 등식 조건을 도출하기 위해 $ t \to \infty $ 와 $ t \to 0^+ $ 일 때 $ f(t,a,\gamma,\alpha) $ 와 $ \widetilde{f}(t,a,\gamma,\alpha) $ 의 행동을 분석한다.
• 라플라스 변환 비율의 상한과 하한으로서 극값 상수 $ D_p(a,\gamma,\alpha) $, $ E_q(a,\gamma,\alpha) $, $ C_p(a,\gamma,\alpha) $, $ F_q(a,\gamma,\alpha) $ 를 정의하고, 해석성과 단조성에 의해 그 유한성과 극값 성질을 증명한다.

실험 결과

연구 질문

• RQ1 일반적인 $ a > 0 $, $ \gamma \in \mathbb{R} $, $ \alpha > 0 $ 에 대해 급수 $ \sum_{k=0}^\infty (k+a)^\gamma e^{-(k+a)^\alpha x} $ 에 대해 $ x \to 0^+ $ 일 때의 완전한 점근 전개는 무엇인가요?
• RQ2 부호가 번갈아지는 경우, 즉 $ \sum_{k=0}^\infty (-1)^k (k+a)^\gamma e^{-(k+a)^\alpha x} $ 에 대해 점근 전개는 어떻게 변화하며, 교대 하우리츠 제타 함수는 어떤 역할을 하나요?
• RQ3 $ \alpha < 1 $ 또는 $ \alpha = 1 $ 일 때 점근 전개가 정확한 등식이 되는 조건은 무엇이며, 이는 제타 함수의 해석적 구조와 어떻게 관련되어 있나요?
• RQ4 모든 $ x > 0 $ 에 대해 부등식 $ D(1+x)^{-\mu} \geq \sum_{k=0}^\infty \frac{(k+a)^\gamma}{(x(k+a)^\alpha + 1)^\mu} $ 과 유사한 부등식이 성립하는 최적의 상수 $ D $, $ E $, $ C $, $ F $ 는 무엇인가요?
• RQ5 완전 단조 감소 함수 이론과 베르슈타인–하우스도르프–위더 정리를 사용하여 이러한 급수의 라플라스 변환의 극값 경계를 어떻게 특성화할 수 있나요?

주요 결과

• 점근 전개 $ f(x,a,\gamma,\alpha) $ 가 $ x \to 0^+ $ 일 때 $ \frac{1}{\alpha} \Gamma\left(\frac{\gamma+1}{\alpha}\right) x^{-(\gamma+1)/\alpha} + \sum_{k=0}^\infty \frac{(-1)^k}{k!} \zeta(-\alpha k - \gamma, a) x^k $ 로 주어지며, $ -\frac{\gamma+1}{\alpha} \notin \mathbb{Z}_+ $ 일 때 유효하다.
• 만약 $ -\frac{\gamma+1}{\alpha} = r \in \mathbb{Z}_+ $ 이면 전개는 $ \frac{(-1)^r x^r}{\Gamma(r+1)} \left( -\frac{\ln x}{\alpha} + \frac{\Gamma'(r+1)}{\Gamma(r+1)} \frac{1}{\alpha} - \frac{\Gamma'(a)}{\Gamma(a)} \right) + \sum_{k \neq r} \frac{(-1)^k}{k!} \zeta(-\alpha k - \gamma, a) x^k $ 로 변형되며, 로그 특이성을 반영한다.
• $ 0 < \alpha < 1 $ 일 때, $ f(x,a,\gamma,\alpha) $ 의 점근 전개는 모든 $ x > 0 $ 에 대해 정확한 등식이며, 이는 이전에 $ a=1 $ 에 대해 증명 없이 제시된 결과를 일반화한 것이다.
• $ \alpha = 1 $ 일 때, 전개는 $ x \in (0, 2\pi) $ 에서 정확한 등식이며, 이는 이전에 $ \gamma \in \mathbb{Z}_+ $ 에 대해 제시된 결과를 확인하고 일반화한 것이다.
• $ \widetilde{f}(x,a,\gamma,\alpha) $ 의 점근 전개는 $ \sum_{k=0}^\infty \frac{(-1)^k}{k!} \widetilde{\zeta}(-\alpha k - \gamma, a) x^k $ 로 주어지며, $ 0 < \alpha < 1 $ 일 때 모든 $ x > 0 $ 에서 등식이 성립하고, $ \alpha = 1 $ 일 때 $ x \in (0, \pi) $ 에서 성립한다.
• 일반화된 마티우 급수의 부등식에서 최적 상수는 $ p \leq a^\alpha $ 일 때 $ D_{\text{max}} = \zeta(-\gamma, a) $, $ q = a^\alpha $ 일 때 $ E_{\text{min}} = a^\gamma $ 로 특성화되며, 라플라스 변환과 정확히 일치하지 않는 한 엄밀한 부등식이 성립한다. 이는 해석성으로 인해 불가능하다.