Math 2.0

Numerical analysis Numerical integration and differentiation Proposition

Tanh-sinh quadrature

Builds on Numerical integrationTrapezoidal rule

Statement

Let φ ⁣:ℝ→(−1,1)\varphi \colon \R \to (-1, 1) be φ(t)=tanh⁡(π2sinh⁡t)\varphi(t) = \tanh\big(\tfrac{\pi}{2} \sinh t\big), so that φ′(t)=π2cosh⁡tcosh⁡2(π2sinh⁡t).\varphi'(t) = \frac{\frac{\pi}{2} \cosh t}{\cosh^2\big(\frac{\pi}{2} \sinh t\big)}. Then:

  1. φ\varphi is a smooth increasing bijection of ℝ\R onto (−1,1)(-1, 1), and for every Lebesgue integrable ff on (−1,1)(-1, 1), ∫−11f(x) dx=∫−∞∞f(φ(t)) φ′(t) dt;\int_{-1}^{1} f(x) \, dx = \int_{-\infty}^{\infty} f(\varphi(t)) \, \varphi'(t) \, dt;
  2. if moreover ∣f(x)∣≤M\abs{f(x)} \le M for all x∈(−1,1)x \in (-1, 1), then for all real tt, ∣f(φ(t)) φ′(t)∣≤2πMcosh⁡t  e−πsinh⁡∣t∣.\abs{f(\varphi(t)) \, \varphi'(t)} \le 2 \pi M \cosh t \; e^{-\pi \sinh \abs{t}}.

The tanh-sinh rule with step h>0h > 0 and 2N+12N + 1 points is Th,N(f)=h∑k=−NNφ′(kh) f(φ(kh))T_{h,N}(f) = h \sum_{k=-N}^{N} \varphi'(kh) \, f(\varphi(kh)), the trapezoidal rule for the transformed integral, cut off at ∣t∣≤Nh\abs{t} \le Nh.

Remarks

Clause 1 is the change of variables formula, since φ′>0\varphi' > 0 and φ(t)→±1\varphi(t) \to \pm 1 as t→±∞t \to \pm\infty. Clause 2 follows from cosh⁡u≥12e∣u∣\cosh u \ge \frac12 e^{\abs{u}}, which gives cosh⁡−2(π2sinh⁡t)≤4e−πsinh⁡∣t∣\cosh^{-2}\big(\frac{\pi}{2}\sinh t\big) \le 4 e^{-\pi \sinh\abs{t}}. So the transformed integrand decays double exponentially, and the cut-off at ∣t∣≤Nh\abs{t} \le Nh loses almost nothing; this is why the method is also called double exponential quadrature. The trapezoidal rule on ℝ\R is extremely accurate for functions analytic in a strip around the real axis. For integrands analytic in a suitable region around (−1,1)(-1, 1), the error of Th,NT_{h,N} with a good choice of hh decreases roughly like e−cN/log⁡Ne^{-cN/\log N} for some c>0c > 0. Example: for f(x)=(1−x2)−1/2f(x) = (1 - x^2)^{-1/2}, which is unbounded, the transformed integrand is π2cosh⁡t/cosh⁡(π2sinh⁡t)\frac{\pi}{2} \cosh t / \cosh\big(\frac{\pi}{2} \sinh t\big), still double exponentially decaying, and its integral is π\pi. The method was introduced by Hidetosi Takahashi and Masatake Mori in 1974.

Going deeper

For a student

The method is robust against endpoint singularities, which defeat Gaussian rules, and it reuses all old samples when the step hh is halved. For these reasons it is a standard choice in arbitrary-precision computation, where hundreds of correct digits are needed. It needs care near the endpoints in floating-point arithmetic, since φ(kh)\varphi(kh) is extremely close to ±1\pm 1 and 1∓φ(kh)1 \mp \varphi(kh) should be computed directly. Related double exponential substitutions treat integrals over [0,∞)[0, \infty) and ℝ\R.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Numerical integration concept
  2. Trapezoidal rule concept
  3. Tanh-sinh quadrature statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Tanh-sinh_quadrature
About this page
TagX4EXEGM2BV
URIm2://X4EXEGM2BV
Kindstatement, proposition
WritingW0 stub
MSC65D32, 65D30
StatusThis copy of the site has no build data. Run m2 status X4EXEGM2BV.
AboutNumerical integration
UsesNumerical integration, Trapezoidal rule
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.