[논문 리뷰] Tables of convolution integrals

A. B. Arbuzov|ArXiv.org|2003. 04. 07.

Mathematical functions and polynomials참고 문헌 1인용 수 3

한 줄 요약

이 논문은 양자장론의 섭동 이론에서 나타나는 특이 함수와 비특이 함수의 컨볼루션 적분을 분석적으로 계산하는 방법을 제시한다. 특히 재규격화군 응용 분야에서 중요한 역할을 한다. $Δ$-정규화와 플러스 규정을 사용하여 로그 및 다이로그, 트리로그 함수를 포함한 컨볼루션에 대한 명시적 공식을 유도한다. 결과는 다이로그, 트리로그 및 일반화된 다이로그 함수로 표현되며, 고에너지 물리학에서 정확한 분석적 및 수치적 계산을 가능하게 한다.

ABSTRACT

An analytical approach to convolution of functions, which appear in perturbative calculations, is discussed. An extended list of integrals is presented.

연구 동기 및 목표

• 섭동 양자장론에서 흔히 나타나는 컨볼루션 적분을 직접 분석적으로 계산하는 방법을 개발하는 것.
• 극점이 $x=1$ 또는 $x=z$에 있는 특이 함수를 포함하는 컨볼루션 적분의 체계적인 표를 제공하는 것.
• 멜린 변환 기법을 피함으로써 파arton 진화 및 인과성 정리와 같은 과정에서의 분석적 및 수치적 계산을 용이하게 하는 것.
• 모든 기여에서 발산이 상쇄되도록 보장하는 일관된 $Δ$-정규화 기반의 프레임워크를 수립하는 것.
• 넓은 적용 범위를 위해 표준 특수함수인 다이로그 및 일반화된 다이로그 함수로 결과를 표현하는 것.

제안 방법

• 두 함수 $f(x)$와 $g(y)$의 컨볼루션은 $[f \otimes g](z) = \int_z^1 \frac{dx}{x} f(x) g(z/x)$로 정의되며, $0 \leq z \leq 1$ 범위에서 유효하다.
• 극점이 $x=1$ 또는 $x=z$에 있는 특이 적분은 작은 매개변수 $\Delta \ll 1$를 사용하여 정규화되며, $Δ$-정규화 방법은 발산 적분을 유한한 표현식으로 대체한다.
• 플러스 규정은 $[f]_+ = \lim_{\Delta \to 0} \left[ \delta\text{-파트} + \Theta\text{-파트} \right]$로 구현되며, $\delta$-파트는 $[0, 1-\Delta]$에서의 적분이고, $\Theta$-파트는 $x < 1$ 영역으로 제한된 함수이다.
• 두 특이 함수의 컨볼루션은 유한한 적분 $[z/(1-\Delta), 1-\Delta]$과 $f_\Delta g_\Theta(z)$, $f_\Theta(z) g_\Delta$의 두 항의 합으로 표현되며, 이는 $\Delta$-의존성의 상쇄를 보장한다.
• 이 방법은 로그 및 유리 함수의 알려진 정적분에 기반하며, 결과는 다이로그 함수 $\mathrm{Li}_n(z)$와 일반화된 다이로그 함수 $\mathrm{S}_{m,n}(z)$로 표현된다.
• 결과를 표준 형태로 표현하기 위해 $z$와 $1-z$에서의 다이로그 함수 간의 관계를 사용하여 단순화 및 수치적 평가를 가능하게 한다.

실험 결과

연구 질문

• RQ1 섭동 양자장론에서 극점이 $x=1$ 또는 $x=z$에 있는 특이 함수를 포함하는 컨볼루션 적분은 어떻게 체계적으로 평가할 수 있는가?
• RQ2 멜린 변환 기법에 의존하지 않고도, 로그 및 다이로그 특이성을 가진 함수의 컨볼루션을 효과적으로 분석적으로 계산하는 방법은 무엇인가?
• RQ3 발산 적분이 어떻게 정규화되어야 하며, 기여 항들 사이에서 $\Delta$-의존성이 상쇄되어 유한한 물리적 결과를 보장할 수 있는가?
• RQ4 다음 함수들의 컨볼루션에 대한 명시적 분석적 표현식은 무엇인가: $\ln^n(1-x)/(1-x)$, $\ln^k x / (x-z)$, $\mathrm{Li}_2(1-x)/(x-z)$?
• RQ5 결과를 고에너지 물리학 계산에서 실용적으로 사용할 수 있도록 표준 특수함수인 $\mathrm{Li}_n(z)$ 및 $\mathrm{S}_{m,n}(z)$로 어떻게 표현할 수 있는가?

주요 결과

• 논문은 특이 함수의 컨볼루션에 대해 명시적 분석적 표현식을 도출한다. 예를 들어, $\int_{z/(1-\Delta)}^{1-\Delta} \frac{\ln^n(1-x)}{1-x} dx = \frac{1}{n+1} \left[ \ln^{n+1}(1-z) - \ln^{n+1}\Delta \right]$이다.
• 발산 커널 $1/(x-z)$의 경우 정규화된 적분은 $\int \frac{dx}{x-z} = -\ln\Delta + \ln(1-z) - \ln z$를 얻는다.
• $\ln x / (x-z)$의 컨볼루션 결과는 $-\ln\Delta \ln z + \mathrm{Li}_2(1-z) + \ln(1-z)\ln z - \frac{1}{2}\ln^2 z$이다.
• 고차수 로그 커널, 예를 들어 $\ln^2 x / (x-z)$는 $\mathrm{S}_{1,2}(1-z)$, $\mathrm{Li}_2(1-z)\ln z$, $\ln^3 z$ 항을 포함한 결과를 낳는다.
• $\mathrm{Li}_2(1-x)/(x-z)$의 컨볼루션은 $\mathrm{Li}_2(1-z)(\ln(1-z) - \ln z - \ln\Delta) - \mathrm{S}_{1,2}(1-z) - \mathrm{Li}_3(1-z)$로 표현된다.
• 논문은 $z$와 $1-z$에서의 다이로그 함수 간의 관계를 완전히 제공하여 결과를 표준 형태로 변환하고 물리적 계산에 추가로 활용할 수 있도록 한다.