Convergence criteria for Frullani-type integrals involving differences of cosines

기술적 요약: 코사인 차이를 포함하는 프룰라니형 적분의 수렴 기준

문제 제기
본 논문은 다음과 같이 정의된 부정적분들의 집합을 연구한다:
$$I_{p,q}(\alpha, \beta) := \int_0^\infty \frac{(\cos \alpha x - \cos \beta x)^p}{x^q} \, dx$$
여기서 $p, q \in \mathbb{N}$ 이고 $|\alpha| \neq |\beta|$ 인 $\alpha, \beta \in \mathbb{R}$ 이다. 고전적인 프룰라니 적분 ($p=1, q=1$) 은 잘 알려져 있으며, 특정 경우 (예: 짝수 $q$ 에 대해 $p \ge q$) 는 Laoharenoo 와 Boonklurb (2022) 에 의해 이전에 분석되었으나, 모든 매개변수 범위에 대한 일반적인 수렴 거동과 명시적 평가는 아직 분류되지 않은 채 남아 있었다. 피적분함수는 $x=0$ 에서의 잠재적 특이점과 임의의 거듭제곱으로 승화된 코사인 항들의 진동적 성질로 인해 복잡해진 무한 상한이라는 이중적인 도전을 제시한다.

방법론
저자들은 문제를 해결하기 위해 점근 분석, 삼각함수 거듭제곱 전개, 그리고 합계 기법의 조합을 활용한다:

1. 삼각함수 전개: 분석의 핵심은 $(\cos \alpha x - \cos \beta x)^p$ 를 거듭제곱이 없는 코사인 항들의 선형 결합 (또는 사인 차이 변형의 경우 사인 항) 으로 전개하는 것이다. 본 논문은 두 가지 다른 전개 전략을 활용한다:
   • 하나의 전개 (보조정리 3.6) 는 상수항과 주파수 상쇄를 식별하여 수렴을 결정하는 데 최적화되어 있다.
   • 두 번째 전개 (보조정리 4.1) 는 이항계수와 특정 조합적 지수를 활용하여 명시적 평가를 위해 설계되었다.
2. 특이점 분석:
   • $x \to 0$ 에 대해, 테일러 전개를 사용하여 분자의 영점의 차수를 결정한다. 이를 통해 피적분함수가 원점 근처에서 $x^{2p-q}$ 와 같이 행동함이 확립된다.
   • $x \to \infty$ 에 대해, 저자들은 $x^{-q}$ 에 대한 감쇠율과 진동적 상쇄 성질을 분석한다.
3. 아벨의 합: 적분을 평가하기 위해 저자들은 코사인 항들의 급수에 아벨의 합 공식을 적용한다. 이 기법은 코사인들의 합의 적분을 로그 항들의 합 ($q=1$ 인 경우) 으로 변환하거나, $\int_0^\infty \frac{\sin kx}{x} dx$ 의 알려진 값 (짝수 $q$ 인 경우) 을 활용한다.
4. 조합적 항등식: $\alpha = 0$ 인 특수한 경우에서, 전개의 계수들을 분석하여 이항계수와 반-반데르몽드형 행렬식을 포함하는 새로운 조합적 항등식을 유도한다.

주요 기여 및 결과

1. 완전한 수렴 분류
본 논문은 $p$ 의 홀짝성과 $p$ 와 $q$ 간의 관계에 기반한 수렴의 엄밀한 분류를 제공한다:

• 경우 $q = 1$:
  • $p$ 가 짝수이면, 적분은 모든 $|\alpha| \neq |\beta|$ 에 대해 발산한다. 이는 전개가 0 이 아닌 상수항을 포함하여 로그적 발산을 초래함을 보여줌으로써 증명된다.
  • $p$ 가 홀수이면, 적분은 비율 $|\alpha/\beta|$ (또는 그 역수) 가 특정 집합 $F_p$ 에 속할 때만 발산한다. 이 집합 $F_p$ 는 주파수 상쇄가 상수항을 생성하는 삼각함수 전개의 지수들에서 유도된 유리수들로 구성된다. 비율이 $F_p$ 에 속하지 않으면 적분은 수렴한다.
• 경우 $q \ge 2$:
  • $q \ge 2p + 1$ 이면 적분은 발산한다. $x=0$ 에서의 특이점이 너무 강하여 분자가 보상할 수 없다.
  • $2 \le q \le 2p$ 이면 적분은 수렴한다. 이 범위에서는 $x=0$ 에서의 거동이 적분 가능하고, 무한대에서의 감쇠가 충분하다.

2. 명시적 폐형식 평가
모든 수렴하는 경우에 대해 저자들은 명시적 공식을 유도한다:

• $q=1$ (홀수 $p$) 의 경우: 값은 전개 성분들의 주파수를 포함하는 로그 항들의 유한 합으로 표현되며, 이는 전개의 계수들의 부분 합으로 가중된다.
• $q \ge 2$ 의 경우:
  • $q$ 가 짝수이면, 값은 주파수의 거듭제곱과 이항계수를 포함하는 유한 합이며, $\pi$ 로 스케일링된다.
  • $q$ 가 홀수이면, 값은 $q=1$ 경우와 유사한 로그 항들의 유한 합이지만, 피적분함수의 미분을 통해 유도된다.

3. 특수한 경우 $\alpha = 0$ 과 조합적 항등식
$\alpha = 0$ 일 때, 적분은 $(1 - \cos \beta x)^p$ 를 포함하도록 단순화된다. 저자들은 코사인 전개의 계수에 대한 명시적 형태를 유도한다. 이러한 계수들을 반각 공식과 오일러 항등식에서 유도된 계수들과 동일시함으로써, 본 논문은 이항계수의 합과 특정 유리수들을 연결하는 새로운 조합적 항등식을 확립한다.

4. 사인 차이로의 확장
방법론은 $(\sin \alpha x - \sin \beta x)^p$ 를 포함하는 유사한 집합 $K_{p,q}(\alpha, \beta)$ 로 확장된다.

• $q=1$ 의 경우, 수렴은 $p$ 가 홀수일 때만 발생한다.
• $q \ge 2$ 의 경우, 수렴은 $q \le p$ 일 때만 발생한다.
  본 논문은 사인 차이에 대한 수렴 기준이 코사인 차이에 대한 기준과 약간 다르며, 특히 $p$ 의 홀짝성과 관련하여 차이가 있음을 지적한다.

의의 및 주장
저자들은 이 작업이 주요 종합서에서 이전에 기록되지 않았던 적분들의 공백을 메우며, $I_{p,q}(\alpha, \beta)$ 일반 집합에 대한 첫 번째 체계적인 분석을 제공한다고 주장한다. 본 논문은 다음을 주장한다:

• 이전 연구에서 남겨진 경우들 (특히 $q=1$ 인 홀수 $p$ 경우와 일반적인 $q \ge 2$ 경우) 을 해결하는 수렴 매개변수의 완전한 분류를 확립한다.
• Laoharenoo 와 Boonklurb (2022) 의 작업을 확장하여 모든 수렴 시나리오에 대한 명시적 폐형식 평가를 유도한다.
• 특히 $\alpha=0$ 경우에서 이러한 해석적 적분과 조합적 항등식 사이의 자연스러운 연결을 밝힌다.
• 수렴 거동이 $p$ 의 홀짝성과 $q=1$ 경우의 $\alpha$ 와 $\beta$ 사이의 특정 유리수 관계에 매우 민감함을 보여준다.

본 논문은 결론적으로, 코사인 집합과 사인 집합 간의 관계가 서로 다른 수렴 기준 때문에 직접적이지는 않지만, 통합된 방법론이 사인과 코사인 차이의 혼합 곱에 대한 향후 연구를 위한 틀을 제공한다고 언급한다.