[논문 리뷰] A probabilistic interpretation of the Volkenborn integral

Ashwani K. Bhandari, Christophe Vignat|arXiv (Cornell University)|2012. 01. 18.

Advanced Mathematical Identities참고 문헌 3인용 수 3

한 줄 요약

이 논문은 로지스틱 및 hyperbolic secant 분포를 따르는 확률 변수와의 기대값 관계를 통해 볼켄본 적분의 확률적 해석을 제공하며, 베르누이 다항식과 오일러 다항식에 대한 새로운 항등식 유도를 가능하게 한다. 주요 기여는 이러한 확률적 표현을 활용한 라베의 곱셈정리의 다변량 확장이다.

ABSTRACT

In this paper, we provide a probabilistic interpretation of the Volkenborn integral; this allows us to extend results by T. Kim et al about sums of Euler numbers to sums of Bernoulli numbers. We also obtain a probabilistic representation of the multidimensional Volkenborn integral which allows us to derive a multivariate version of Raabe's multiplication theorem for the higher-order Bernoulli and Euler polynomials.

연구 동기 및 목표

• 특수한 연속 및 이산 확률 변수를 사용하여 볼켄본 적분의 확률적 프레임워크를 수립하기 위해.
• 이 확률적 해석을 통해 알려진 오일러 수 항등식을 베르누이 수로 확장하기 위해.
• 고계의 베르누이 및 오일러 다항식에 대한 라베의 곱셈정리의 다변량 형태를 유도하기 위해.
• 라베 항등식에서 곱셈 매개변수 m의 짝수 및 홀수 경우를 모두 다루기 위해 부호가 있는 측도와 상쇄 성질을 사용하기 위해.
• 김 등이 제시한 베르누이 다항식에 관한 결과를 베타 다항식으로 일반화하고 통합하기 위해 볼켄본 적분의 맥락에서 고려하기 위해.

제안 방법

• q=0 볼켄본 적분을 로지스틱 분포를 따르는 LB에 대해 E[f(x + iLB - 1/2)]로 표현한다. 여기서 LB의 밀도는 (π/2)sech²(πx)이다.
• q=1 볼켄본 적분을 쌍곡 코시안 분포를 따르는 LE에 대해 E[f(x + iLE - 1/2)]로 표현한다. 여기서 LE의 밀도는 sech(πx)이다.
• 상쇄 성질을 사용한다: UB ~ Uniform[0,1]이 LB와 독립이면 E[(x + iLB - 1/2 + UB)^n] = x^n이다.
• 라데마처 변수 UE에 대해 동일한 원리를 적용한다: E[(x + iLE - 1/2 + UE)^n] = x^n이다.
• 독립적인 확률 변수 복사본을 도입하고 오일러 경우에 부호가 있는 측도를 사용하여 다변량 항등식을 도출한다.
• 독립적인 균일 및 라데마처 변수의 합은 원래 변수의 스케일된 형태와 일치하도록 재가중할 수 있으며, 이는 확률적 항목의 상쇄를 가능하게 한다.

실험 결과

연구 질문

• RQ1 기존의 확률 분포를 사용하여 볼켄본 적분을 어떻게 확률적으로 해석할 수 있는가?
• RQ2 볼켄본 적분의 확률적 표현을 사용하여 베르누이 수와 다항식에 대한 새로운 항등식을 도출할 수 있는가?
• RQ3 베르누이 및 오일러 다항식에 대한 다변량 라베의 곱셈정리의 일반화 형태는 무엇인가?
• RQ4 곱셈 매개변수 m이 짝수일 때와 홀수일 때 결과가 어떻게 다를까?
• RQ5 균일 및 라데마처 변수의 상쇄 성질을 활용하여 다변량 볼켄본 적분을 단순화시킬 수 있는가?

주요 결과

• q=0 볼켄본 적분의 f(x)는 E[f(x + iLB - 1/2)]와 같으며, 여기서 LB는 밀도 (π/2)sech²(πx)를 갖는 로지스틱 분포를 따른다.
• q=1 볼켄본 적분의 f(x)는 E[f(x + iLE - 1/2)]와 같으며, 여기서 LE는 밀도 sech(πx)를 갖는 쌍곡 코시안 분포를 따른다.
• n번째 베르누이 수는 B_n = E[(iLB - 1/2)^n]을 만족하며, n번째 오일러 수는 E_n = E[(iLE - 1/2)^n]을 만족한다.
• 다변량 경우에서, 베르누이 다항식에 대한 라베 항등식은 m^{-n} E[(mx + m∑a_i(iLB^{(i)} - 1/2) + ∑a_i(iL̃B^{(i)} - 1/2) + m∑a_i U_B^{(i)})^n] = B_n^{(k)}(mx|a)로 유도된다.
• 홀수 m에 대해 오일러 다항식의 항등식 ∑_{l_i=0}^{m-1} (-1)^{∑l_i} E_n(x + (1/m)∑a_i l_i | a) = m^{-n} E[(mx + m∑a_i(iLE^{(i)} - 1/2) + ∑a_i(iL̃E^{(i)} - 1/2) + m∑a_i U_E^{(i)})^n]이 성립한다.
• 짝수 m의 경우, {0,…,m-1}에 대해 (−1)^l의 가중치를 갖는 부호가 있는 측도를 도입하며, 항등식은 기댓값의 차이를 포함하며 도함수 유사 항목으로 줄어들며, 결과적으로 요인을 제외한 E_n^{(k)}(mx)를 얻는다.