Single-Variable-Calculus Β· Unit 17 Β· Video 2 Β· Interactive Practice

Functions With No Formula: erf, Fresnel and Li(x)

IKey Formulas

StatementFormulaHolds when
The bell-curve integralF(x)=∫0xeβˆ’t2 dtF(x) = \int_0^x e^{-t^2}\,dt: Β F(0)=0\ F(0) = 0, Β Fβ€²(x)=eβˆ’x2\ F'(x) = e^{-x^2}, Β Fβ€²β€²(x)=βˆ’2x eβˆ’x2\ F''(x) = -2x\,e^{-x^2}every real xx (FTC 2; eβˆ’t2e^{-t^2} is continuous)
Even integrand from 00 gives an odd functionG(x)=∫0xf(t) dtβ€…β€ŠβŸΉβ€…β€ŠG(βˆ’x)=βˆ’G(x)G(x) = \int_0^x f(t)\,dt \;\Longrightarrow\; G(-x) = -G(x)ff continuous and even, lower limit exactly 00
End levels and erflim⁑xβ†’Β±βˆžF(x)=Β±Ο€2\lim_{x\to\pm\infty} F(x) = \pm\frac{\sqrt{\pi}}{2}, Β erf(x)=2Ο€F(x)β†’Β±1\ \mathrm{erf}(x) = \frac{2}{\sqrt{\pi}}F(x) \to \pm 1the value Ο€2\frac{\sqrt{\pi}}{2} is stated here and proved in the later lecture on volumes
Fresnel and logarithmic integralsSβ€²(x)=sin⁑(x2)S'(x) = \sin(x^2), Β Cβ€²(x)=cos⁑(x2)\ C'(x) = \cos(x^2); Β Li(x)=∫2xdtln⁑t\ \mathrm{Li}(x) = \int_2^x \frac{dt}{\ln t}, Β Liβ€²(x)=1ln⁑x\ \mathrm{Li}'(x) = \frac{1}{\ln x}, Β Liβ€²β€²(x)=βˆ’1x(ln⁑x)2\ \mathrm{Li}''(x) = -\frac{1}{x(\ln x)^2}SS, CC: every real xx, with S(0)=C(0)=0S(0) = C(0) = 0; Β Li\ \mathrm{Li}: x>1x > 1, with Li(2)=0\mathrm{Li}(2) = 0

Key Insight: A function defined by an integral is sketched from its definition alone: derivative from FTC 2, value 00 at the starting point, second derivative for concavity, symmetry, then the behaviour at the ends. The integral itself supplies values to any accuracy.

IIVisualization 1 β€” Sketching FF From Its Definition

F(x)F(x) is the signed area under eβˆ’t2e^{-t^2} from 00 to xx; the height at xx is the slope of FF.

IIIVisualization 2 β€” Fresnel Integrals: Signed Area That Wiggles

S(x)=∫0xsin⁑(t2) dtS(x) = \int_0^x \sin(t^2)\,dt and C(x)=∫0xcos⁑(t2) dtC(x) = \int_0^x \cos(t^2)\,dt rise where the integrand is positive and fall where it is negative.

IVVisualization 3 β€” Li(x)\mathrm{Li}(x) Tracks the Primes

The smooth, increasing, concave-down curve Li(x)\mathrm{Li}(x) runs close to the prime-counting staircase Ο€(x)\pi(x).

πŸ’‘ The prime number theorem (Hadamard and de la VallΓ©e Poussin, 1896) says Ο€(x)/Li(x)β†’1\pi(x)/\mathrm{Li}(x) \to 1 as xβ†’βˆžx \to \infty; here Ο€(x)\pi(x) counts primes and is not 3.14…3.14\ldots The Riemann hypothesis, still unproved, is equivalent to a sharp bound on the gap Ο€(x)βˆ’Li(x)\pi(x) - \mathrm{Li}(x).

VQuiz Questions

Problem 1 Β· Read the Derivatives Off FTC 2

Given: G(x)=∫0xeβˆ’t4 dtG(x) = \displaystyle\int_0^x e^{-t^4}\,dt. Find Gβ€²(1)G'(1) and Gβ€²β€²(1)G''(1).

βœ… Correct! FTC 2 gives Gβ€²(x)=eβˆ’x4G'(x) = e^{-x^4}, and the chain rule gives Gβ€²β€²(x)=βˆ’4x3eβˆ’x4G''(x) = -4x^3 e^{-x^4}; at x=1x = 1 these are eβˆ’1e^{-1} and βˆ’4eβˆ’1-4e^{-1}.
❌ That differentiates the integrand. Gβ€²G' is the integrand itself evaluated at xx, eβˆ’x4e^{-x^4}; your pair is Gβ€²β€²(1)G''(1) and Gβ€²β€²β€²(1)G'''(1), one derivative too far.
❌ The factor βˆ’2x-2x belongs to eβˆ’x2e^{-x^2}. Here the exponent is βˆ’x4-x^4, whose derivative is βˆ’4x3-4x^3, so Gβ€²β€²(x)=βˆ’4x3eβˆ’x4G''(x) = -4x^3e^{-x^4}.
❌ The lower limit contributes no term. eβˆ’1βˆ’1e^{-1} - 1 is the integrand at 11 minus the integrand at 00; FTC 2 gives just Gβ€²(x)=eβˆ’x4G'(x) = e^{-x^4}, since the lower limit 00 is a constant.
Show solution

The integrand eβˆ’t4e^{-t^4} is continuous, so FTC 2 applies:

Gβ€²(x)=eβˆ’x4,Gβ€²β€²(x)=ddxeβˆ’x4=βˆ’4x3eβˆ’x4.G'(x) = e^{-x^4}, \qquad G''(x) = \frac{d}{dx}e^{-x^4} = -4x^3 e^{-x^4}. Gβ€²(1)=eβˆ’1β‰ˆ0.368,Gβ€²β€²(1)=βˆ’4eβˆ’1β‰ˆβˆ’1.472.G'(1) = e^{-1} \approx 0.368, \qquad G''(1) = -4e^{-1} \approx -1.472.

The same reading gives the whole sketch: Gβ€²>0G' > 0 everywhere, so GG is increasing; Gβ€²β€²<0G'' < 0 for x>0x > 0 and Gβ€²β€²>0G'' > 0 for x<0x < 0, so the origin is an inflection point where the slope is Gβ€²(0)=1G'(0) = 1.

Problem 2 Β· When Is the Function Odd?

Given: four functions defined by integrals, each for all real xx. Decide which is odd, then use the symmetry.

Which function is odd?

Given G(1)β‰ˆ0.845G(1) \approx 0.845, what is G(βˆ’1)G(-1)?

βœ… Correct! eβˆ’t4e^{-t^4} is even and the integral starts at 00, so GG is odd and G(βˆ’1)=βˆ’G(1)β‰ˆβˆ’0.845G(-1) = -G(1) \approx -0.845.
❌ The integrand t eβˆ’t4t\,e^{-t^4} is odd, so PP is even. Substituting t=βˆ’ut = -u gives P(βˆ’x)=∫0x(βˆ’u)eβˆ’u4(βˆ’du)=P(x)P(-x) = \int_0^x (-u)e^{-u^4}(-du) = P(x).
❌ The integrand is even, but the integral starts at 11. An odd function must be 00 at 00, and Q(0)=βˆ’βˆ«01eβˆ’t2 dtβ‰ˆβˆ’0.747Q(0) = -\int_0^1 e^{-t^2}\,dt \approx -0.747.
❌ eβˆ’(tβˆ’1)2e^{-(t-1)^2} is the bell curve moved to peak at t=1t = 1, which is not even. Numerically R(1.3)β‰ˆ1.038R(1.3) \approx 1.038 but R(βˆ’1.3)β‰ˆβˆ’0.138R(-1.3) \approx -0.138.
❌ Area is positive, but this integral runs backward. From 00 to βˆ’1-1 the direction is reversed, so the equal mirror-image area counts as negative.
❌ Nothing cancels here. G(βˆ’1)G(-1) is one region, from 00 back to βˆ’1-1, whose area equals that of the region from 00 to 11; its sign is negative, not zero. Zero is the integral of an odd function over [βˆ’1,1][-1, 1].
❌ 1.6901.690 is the area over the whole interval [βˆ’1,1][-1, 1]. G(βˆ’1)G(-1) covers only 00 back to βˆ’1-1, and backward accumulation is negative.
Show solution

Odd test. For GG, substitute t=βˆ’ut = -u, dt=βˆ’dudt = -du; the limits t:0β†’βˆ’xt: 0 \to -x become u:0β†’xu: 0 \to x:

G(βˆ’x)=∫0βˆ’xeβˆ’t4 dt=∫0xeβˆ’u4(βˆ’du)=βˆ’G(x).G(-x) = \int_0^{-x} e^{-t^4}\,dt = \int_0^x e^{-u^4}(-du) = -G(x).

PP fails because its integrand is odd (it comes out even), QQ fails because Q(0)β‰ 0Q(0) \ne 0, and RR fails because eβˆ’(tβˆ’1)2e^{-(t-1)^2} is not even.

Value. G(βˆ’1)=βˆ’G(1)β‰ˆβˆ’0.845G(-1) = -G(1) \approx -0.845.

Problem 3 Β· A Moving Upper Limit x2x^2

Given: A(x)=∫0x2eβˆ’t2 dt=F(x2)A(x) = \displaystyle\int_0^{x^2} e^{-t^2}\,dt = F(x^2), where F(x)=∫0xeβˆ’t2 dtF(x) = \int_0^x e^{-t^2}\,dt and lim⁑xβ†’βˆžF(x)=Ο€2\lim_{x\to\infty} F(x) = \frac{\sqrt{\pi}}{2}. Sketch AA from its definition.

What is Aβ€²(x)A'(x)?

What does AA do at x=0x = 0?

What is lim⁑xβ†’βˆ’βˆžA(x)\lim_{x\to-\infty} A(x)?

βœ… Correct! Aβ€²(x)=2x eβˆ’x4A'(x) = 2x\,e^{-x^4} changes sign from βˆ’- to ++ at 00, so AA has a minimum A(0)=0A(0) = 0; AA is even, and both ends level off at Ο€2\frac{\sqrt{\pi}}{2}.
❌ The upper limit is x2x^2, not xx. A(x)=F(x2)A(x) = F(x^2), so Aβ€²(x)=Fβ€²(x2)β‹…2xA'(x) = F'(x^2)\cdot 2x, and Fβ€²(x2)=eβˆ’(x2)2F'(x^2) = e^{-(x^2)^2}.
❌ The chain-rule factor is missing. A(x)=F(x2)A(x) = F(x^2), so Aβ€²(x)=Fβ€²(x2)β‹…ddx(x2)=eβˆ’x4β‹…2xA'(x) = F'(x^2)\cdot\frac{d}{dx}(x^2) = e^{-x^4}\cdot 2x.
❌ The integrand must be evaluated at the upper limit x2x^2. Fβ€²(x2)=eβˆ’(x2)2=eβˆ’x4F'(x^2) = e^{-(x^2)^2} = e^{-x^4}, not eβˆ’x2e^{-x^2}.
❌ AA is not FF. Aβ€²(x)=2x eβˆ’x4A'(x) = 2x\,e^{-x^4} is negative for x<0x < 0 and positive for x>0x > 0: the slope changes sign, which makes x=0x = 0 an extremum.
❌ Check the sign of Aβ€²A'. Aβ€²<0A' < 0 to the left of 00 and Aβ€²>0A' > 0 to the right, so AA falls into 00 and rises out of it: a minimum.
❌ The exponential is positive, but the factor 2x2x is not. Aβ€²(0)=2β‹…0β‹…e0=0A'(0) = 2\cdot 0\cdot e^{0} = 0, and Aβ€²A' changes sign there.
❌ That copies the oddness of FF. A(βˆ’x)=F((βˆ’x)2)=F(x2)=A(x)A(-x) = F((-x)^2) = F(x^2) = A(x), so AA is even and both ends approach the same level.
❌ The slope tends to 00, not the value. A(x)=F(x2)A(x) = F(x^2) and x2β†’βˆžx^2 \to \infty as xβ†’βˆ’βˆžx \to -\infty.
❌ AA grows as xβ†’βˆ’βˆžx \to -\infty, but it is bounded. A(x)=F(x2)<Ο€2A(x) = F(x^2) < \frac{\sqrt{\pi}}{2} for every xx, since the total area under eβˆ’t2e^{-t^2} from 00 to ∞\infty is finite.
Show solution

Derivative. A(x)=F(x2)A(x) = F(x^2) with Fβ€²(u)=eβˆ’u2F'(u) = e^{-u^2}, so by the chain rule

Aβ€²(x)=Fβ€²(x2)β‹…2x=2x eβˆ’x4.A'(x) = F'(x^2)\cdot 2x = 2x\,e^{-x^4}.

At 00. A(0)=∫00eβˆ’t2 dt=0A(0) = \int_0^0 e^{-t^2}\,dt = 0. Since eβˆ’x4>0e^{-x^4} > 0, the sign of Aβ€²A' is the sign of xx: AA decreases on (βˆ’βˆž,0)(-\infty, 0) and increases on (0,∞)(0, \infty), so x=0x = 0 is a local (in fact global) minimum.

Ends. A(βˆ’x)=F(x2)=A(x)A(-x) = F(x^2) = A(x), so AA is even. As xβ†’Β±βˆžx \to \pm\infty, x2β†’βˆžx^2 \to \infty, so

lim⁑xβ†’βˆ’βˆžA(x)=lim⁑uβ†’βˆžF(u)=Ο€2.\lim_{x\to-\infty} A(x) = \lim_{u\to\infty} F(u) = \frac{\sqrt{\pi}}{2}.

Problem 4 Β· Rescaling the Bell Curve

Given: lim⁑xβ†’βˆžβˆ«0xeβˆ’t2 dt=Ο€2\lim_{x\to\infty}\int_0^x e^{-t^2}\,dt = \frac{\sqrt{\pi}}{2} and the wider bell curve used in statistics, N(x)=∫0xeβˆ’t2/2 dtN(x) = \displaystyle\int_0^x e^{-t^2/2}\,dt. Find lim⁑xβ†’βˆžN(x)\lim_{x\to\infty} N(x).

βœ… Correct! With t=2 ut = \sqrt{2}\,u, N(x)=2 F ⁣(x2)β†’2β‹…Ο€2=Ο€2N(x) = \sqrt{2}\,F\!\left(\frac{x}{\sqrt{2}}\right) \to \sqrt{2}\cdot\frac{\sqrt{\pi}}{2} = \sqrt{\frac{\pi}{2}}.
❌ The bell curve changed, so the area changes. eβˆ’t2/2β‰₯eβˆ’t2e^{-t^2/2} \ge e^{-t^2} for every tt, with equality only at t=0t = 0, so the total area must be larger than Ο€2\frac{\sqrt{\pi}}{2}.
❌ The factor 2\sqrt{2} went the wrong way. With t=2 ut = \sqrt{2}\,u we get dt=2 dudt = \sqrt{2}\,du, which multiplies the integral by 2\sqrt{2}; and a wider curve cannot have a smaller area.
❌ 2Ο€\sqrt{2\pi} is the area over the whole line. NN starts at 00, so its limit is half of that, by the evenness of eβˆ’t2/2e^{-t^2/2}.
Show solution

Substitute t=2 ut = \sqrt{2}\,u, so dt=2 dudt = \sqrt{2}\,du, t2/2=u2t^2/2 = u^2, and the limits t:0β†’xt: 0 \to x become u:0β†’x/2u: 0 \to x/\sqrt{2}:

N(x)=∫0x/2eβˆ’u2 2 du=2 F ⁣(x2).N(x) = \int_0^{x/\sqrt{2}} e^{-u^2}\,\sqrt{2}\,du = \sqrt{2}\,F\!\left(\frac{x}{\sqrt{2}}\right).

As xβ†’βˆžx \to \infty, also x/2β†’βˆžx/\sqrt{2} \to \infty, so

lim⁑xβ†’βˆžN(x)=2β‹…Ο€2=2Ο€2=Ο€2β‰ˆ1.253.\lim_{x\to\infty} N(x) = \sqrt{2}\cdot\frac{\sqrt{\pi}}{2} = \frac{\sqrt{2\pi}}{2} = \sqrt{\frac{\pi}{2}} \approx 1.253.

This is the same move as the erf rescaling: a constant factor in front of FF scales both end levels by that factor.

Solved: 0 / 4