A Linear Term in the Exponent Moves the Bell and Does Nothing Else
A plain t sitting next to the t squared in a Gaussian exponent looks like a new function and is only a shift. Completing the square turns the integral of e to the minus a t squared over two plus b t, from x to infinity, into e to the b squared over 2a times the root of 2 pi over a times the standard normal at a rescaled and shifted argument, never at x itself. The worked case comes out as exactly half a bell, e root pi over two or 2.40901455, but only because its lower limit happens to land on the centre b over a.
Here is an integral that looks like it needs a new function:
A Gaussian integrand has in the exponent and nothing else. This one has a plain sitting next to it, which is enough to make a candidate reach for a table of special functions. Nothing new has arrived. The linear term moves the bell sideways, and the value is .
Completing the square in the exponent
The exponent is a quadratic in , so write it as a quadratic in one shifted variable:
The integrand is therefore : a bell of the ordinary shape, parked at instead of the origin, with a constant factor of outside. And the lower limit of the integral is 1, which is exactly the centre. So the integral is half the total area under that bell:
Two conveniences did the work there, and only one of them generalises. Completing the square always works. The lower limit landing on the centre is a coincidence of this particular problem, and it is worth being suspicious of, because it is precisely the step that turns a tail into a half.
The general integral, and where each piece comes from
Now do it with letters. Take and any real , and complete the square the same way:
Substitute , so and the lower limit becomes . What is left is the upper tail of a standard normal density, and the tail flip puts it in its usual form:
Read off what the two parameters did. The centre moved from 0 to . The width scaled by , so a larger gives a narrower bell and the in front is the area of that narrower bell. And the constant came out of the integral entirely, because it does not depend on .
Checking (5) against the worked case is a two-second exercise: at the prefactor is , the area factor is , and the argument of is , so the whole thing is . The zero inside is where the half came from.
is the standard normal distribution function, with and . Numerically it is the complementary error function in disguise, , which is how a library evaluates it and why the identity above holds to the last bit rather than approximately.
Answering in the wrong argument
The tempting mistake is to give the answer in terms of , with the original limit sitting inside the normal function untouched. That is only correct when and , which is the case the formula was memorised from. The whole content of (5) lives in the argument: subtract the new centre, then multiply by because the standard normal expects a variable measured in its own widths. Skip either operation and the answer is wrong by an amount that grows with .
Three measured features make the same point without any algebra. Locate the peak of numerically and it sits at ; its height is ; and the distance from the peak to where the integrand has fallen to half its height is , which is 1.1774 for the plain bell and 0.8326 for ours. Every one of those is a statement about the bell being moved and rescaled rather than replaced.
The same bell, with the limit moved off the peak
It is worth doing one case where the half does not appear, because that is the case (5) was written for. Keep and and raise the lower limit to . The centre is still 1 and the width is still , so the limit now sits widths past the peak, and the normal factor is . Multiplying by the same gives 0.08165, thirty times smaller than the answer to the original question. Nothing about the algebra changed; only the argument of did.
The other direction is a useful sanity check on the formula. Setting and removes both the shift and the rescaling, and (5) reduces to , which is the plain Gaussian tail with no dressing. At that is 0.77339. Every departure from that expression in the general case is one of the three effects in Fig. 2 and nothing else.
Where the formula stops being usable
The condition is not a technicality. At the integrand is , which diverges on an infinite upper range for positive , and for the exponent grows quadratically and the integral diverges for every and every . The in (5) is a warning sign as much as a factor.
There is also a numerical trap the algebra hides. Ordinary parameters are fine: at the three factors are 43.75, 2.996 and 0.859, and the product is 112.5983. Push to 40 and to 100 with the same and the prefactor becomes , which is around and beyond the range of a double, while the normal factor drops to about . Their product is a perfectly representable , but computing it as written returns infinity times zero. Add the logarithms and exponentiate once at the end.
Finally, the shape of (5) is worth recognising when it turns up somewhere else. Writing for a normal variable with variance , the left side of (5) is proportional to , an exponential payoff restricted to a tail. That is the integral that appears twice in the derivation of a European option price, once with and once with shifted by one, and the two normal terms in the final formula are the two copies of . The completed square is doing the same work in both places.
Sources and further reading
- The area under the plain bell, which (3) takes half of — Gaussian integral
- The only algebraic move in the article — Completing the square
- The function the answer is expressed in — Normal distribution
- What a library actually computes — Error function
- The change of variable in (4) and (5) — Integration by substitution
Formula (5) was checked against adaptive Simpson quadrature at seven parameter triples chosen to cover negative , negative , values of on both sides of 1 and a limit far into the tail, each agreeing to a relative error below . The peak position, peak height and half-width quoted above were located numerically by search rather than read off the algebra, and the worked case was confirmed to be exactly half the whole bell.
Comments · 0
Be the first to comment.