[논문 리뷰] New conformal map for the Sinc approximation for exponentially decaying functions over the semi-infinite interval

Tomoaki Okayama, Yuya Shintaku외 1명|arXiv (Cornell University)|2018. 12. 30.

Matrix Theory and Algorithms참고 문헌 12인용 수 5

한 줄 요약

이 논문은 반무한 구간 $ (0, \infty) $에서 지수적으로 감소하는 함수에 대한 Sinc 근사에 대해 새로운 동형사상 $ t = \phi(x) = \log(1 + e^x) $를 제안한다. 기존의 표준 사상 $ t = \psi(x) = \arcsinh(e^x) $ 대신 사용할 경우, 이론적으로 계산 가능한 오차 한계를 통해 그리고 수치 예제를 통해 확인된 바와 같이, 더 넓은 해석적 영역 폭 $ d $ 덕분에 수렴 속도가 향상됨을 보여준다.

ABSTRACT

The Sinc approximation has shown high efficiency for numerical methods in many fields. Conformal maps play an important role in the success, i.e., appropriate conformal map must be employed to elicit high performance of the Sinc approximation. Appropriate conformal maps have been proposed for typical cases; however, such maps may not be optimal. Thus, the performance of the Sinc approximation may be improved by using another conformal map rather than an existing map. In this paper, we propose a new conformal map for the case where functions are defined over the semi-infinite interval and decay exponentially. Then, we demonstrate in both theoretical and numerical ways that the convergence rate is improved by replacing the existing conformal map with the proposed map.

연구 동기 및 목표

• 반무한 구간 $ (0, \infty) $에서 지수적으로 감소하는 함수에 대한 Sinc 근사의 수렴 속도를 향상시키는 것.
• 기존의 동형사상 $ \psi(x) = \arcsinh(e^x) $를 새로운 사상 $ \phi(x) = \log(1 + e^x) $로 대체하는 것.
• 새로운 근사 공식에 대한 계산 가능한 오차 한계를 유도하는 것.
• 이론적으로 및 수치적으로 새로운 사상이 기존 사상보다 더 빠른 수렴을 이끌어내는지 보여주는 것.

제안 방법

• $ (-\infty, \infty) $에서 $ (0, \infty) $로 사상하는 동형사상 $ \phi(x) = \log(1 + e^x) $를 제안하여 반무한 영역에서의 Sinc 근사가 가능하도록 한다.
• $ \phi(x) $를 사용한 Sinc 근사에 대한 새로운 계산 가능한 오차 한계를 유도하며, 이는 $ C\sqrt{n} e^{-\sqrt{\pi d \mu n}} $로 표현된다. 여기서 $ \mu = \min(\alpha, \beta) $이다.
• $ \phi(D_d) $의 해석적 영역를 분석하여, $ \psi(D_d) $가 최대 $ \pi/2 $까지 가능할 뿐이지만 $ \phi(D_d) $는 최대 $ \pi $까지 가능함을 보여준다.
• 최대 모듈러스 원리와 복소해석학을 이용하여 오차 한계의 타당성을 증명한다.
• 상수 $ C $를 통해 기존 오차 한계와 비교하여, 새로운 사상이 유리한 요소 $ \left( \frac{e}{e-1} \right)^{\mu/2} $를 포함하고 있음을 밝힌다.
• 수치 예제를 활용하여 이론적 수렴 속도 향상의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 기존의 동형사상 $ \psi(x) = \arcsinh(e^x) $를 $ \phi(x) = \log(1 + e^x) $로 대체할 경우, 반무한 구간 $ (0, \infty) $에서 지수적으로 감소하는 함수에 대한 Sinc 근사의 수렴 속도가 향상되는가?
• RQ2 새로운 동형사상 $ \phi(x) $를 사용한 Sinc 근사에 대한 계산 가능한 오차 한계는 무엇인가?
• RQ3 두 사상 간의 변환된 함수의 해석적 영역 폭 $ d $는 어떻게 비교되며, 이는 수렴에 어떤 영향을 미치는가?
• RQ4 이론적으로 및 수치적으로 새로운 사상이 기존 사상보다 더 빠른 수렴을 달성할 수 있는가?
• RQ5 매개변수 $ \alpha $, $ \beta $, 그리고 $ \mu = \min(\alpha, \beta) $는 수렴 속도 결정에 어떤 역할을 하는가?

주요 결과

• 새로운 동형사상 $ \phi(x) = \log(1 + e^x) $는 $ \psi(x) $보다 더 넓은 해석적 영역 폭 $ d $를 허용하며, $ 0 < d < \pi $ 범위에서 작동하는 반면, 기존 사상 $ \psi(x) $는 $ 0 < d \leq \pi/2 $까지 제한됨을 보여주며, 이는 더 빠른 수렴을 이끌어낸다.
• 새로운 근사에 대한 이론적 오차 한계는 $ \leq C\sqrt{n} e^{-\sqrt{\pi d \mu n}} $이며, 여기서 $ C $는 $ \left( \frac{e}{e-1} \right)^{\mu/2} $라는 요소를 포함하여 기존 사상보다 더 유리한 상수를 제공한다.
• 더 유리한 상수 $ C $와 더 넓은 $ d $ 범위는 새로운 방법이 기존의 $ \psi(x) $를 사용한 Sinc 근사보다 더 빠른 수렴 속도를 달성함을 의미한다.
• 수치 예제를 통해 새로운 근사가 기존 근사보다 더 빠르게 수렴하는 것으로 확인되었으며, 이는 이론적 분석을 뒷받침한다.
• 최대 모듈러스 원리를 사용하여 $ \left| \frac{\log(1 + e^{x+i\pi})}{1 + \log(1 + e^{x+i\pi})} \cdot \frac{e^{-l} + e^{x+i\pi}}{e^{x+i\pi}} \right| \leq 1 $이라는 부등식의 타당성을 증명하였으며, 이는 오차 한계 유도에 필수적이다.
• 논문은 $ \phi(x) $가 $ \pm i\pi $에서 해석적임을 입증하였고, 반면 $ \psi(x) $는 그렇지 않음을 보여주며, 이는 $ \phi $의 더 넓은 해석적 영역 폭을 설명한다.