Lambdia

Integral calculus

5 artículos

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.

0

Both Term Tests Return One, and the Sum Still Stops Below Two

The ratio and root tests both return 1 on the sum of e to the minus root n, which settles nothing, and the usual write-up of the problem then quotes 4 over e as the answer. That number is the floor rather than the cap: the sum is 1.6704068, which is 13.52 percent above it, and the usable bound comes from integrating from 0 instead of from 1, giving exactly 2. Where each bar of width one sits relative to its index is the single step that decides which way the inequality points.

0

Root Pi from a Bell Curve, by Leaving the Number Line

There is no elementary antiderivative to evaluate, and the checkable slice of that is one line: if p is a polynomial then p' - 2xp has degree deg p + 1, which can never equal the degree of 1. Squaring the integral turns it into a rotationally symmetric integral over the plane, where the polar area element supplies the factor r that makes the radial integral elementary, so I squared equals 2 pi times one half. The same idea survives without polar coordinates via the substitution y = xt, and it fails for e to the minus x to the fourth because x^4 + y^4 is not a function of the radius.

0

Every Upper Sum Says One, Every Lower Sum Says Zero, and the Gap Is the Measure of the Discontinuities

On the unit interval the indicator of the rationals has upper sum 1 and lower sum 0 for every partition ever written, so the two never meet and Riemann returns nothing at all. Give the k-th rational an interval of width ε/2^k and the whole countable set sits inside a total length of ε, which puts its measure at 0 and its Lebesgue integral at 0. Lebesgue's criterion turns that into the general law — a bounded function on a compact interval is Riemann integrable exactly when its discontinuities have measure zero — which is why Thomae's function, discontinuous on the same dense set, is integrable and this one is not. The trade is not free: sin x over x on the half line has an improper Riemann value of π/2 and no Lebesgue integral at all.

0