Lagmental Vicfred

Laplace's Method Localizes an Integral near Its Maximum by Vicfred

tags: mathematics, special functions, asymptotic analysis, distributions

A nondegenerate maximum of the phase controls the leading asymptotic of a large-parameter integral. This is a compact note, but the quantifiers and hypotheses stay on the page.

Start locally

Special functions extend \(n!\), integrals, and differential equations beyond integer parameters. Asymptotic notation \(f(x)\sim g(x)\) means their ratio tends to one.

$$ I(\lambda)=\int_a^be^{\lambda\phi(x)}\psi(x)\,dx,\qquad\lambda\to\infty $$

The typography mirrors the proof: first declare \(\mathsf D\), then state \(\mathsf C\). The symbol \(\Longrightarrow\) below is a logical dependency, not extra mathematical structure.

$$ I(\lambda)\sim e^{\lambda\phi(x_0)}\psi(x_0)\sqrt{\frac{2\pi}{\lambda|\phi''(x_0)|}} $$

Compute before generalising

Here is a concrete symbolic test. Reading it from left to right reveals which transformation is reversible and which is only an implication.

$$ \phi(x)=\phi(x_0)+\frac12\phi''(x_0)(x-x_0)^2+O((x-x_0)^3),\qquad\phi''(x_0)<0 $$

The global view

The aligned summary deliberately puts the datum and conclusion on different rows. Mathematically, this is the distinction between specifying an object and proving a property of it.

$$ \begin{aligned} \mathsf{D}\;&:\quad I(\lambda)=\int_a^be^{\lambda\phi(x)}\psi(x)\,dx,\qquad\lambda\to\infty,\\[5pt] \mathsf{C}\;&:\quad I(\lambda)\sim e^{\lambda\phi(x_0)}\psi(x_0)\sqrt{\frac{2\pi}{\lambda|\phi''(x_0)|}}. \end{aligned} $$

Edge conditions

An asymptotic expansion need not converge. Truncating near the smallest term can be useful even when the infinite series diverges.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] I(\lambda)\sim e^{\lambda\phi(x_0)}\psi(x_0)\sqrt{\frac{2\pi}{\lambda|\phi''(x_0)|}} \end{gathered}} $$

The notation is dense, but it is doing honest work: every delimiter records scope and every index records dependence. Removing one should require a mathematical reason.

This article was posted on Sun 10 April 2011. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.