The Definition — Question 5

PDF ↗

Question 5

For real ss, use F(s)=∫0∞e−stf(t)dtF(s)=\int_0^\infty e^{-st}f(t)\,dt whenever this ordinary improper integral converges.

Let f(t)=sin⁡t/tf(t)=\sin t/t for t>0t>0, with f(0)=1f(0)=1. In this problem examine parameters s≥0s\ge 0. You may derive the positive-parameter transform using sin⁡t/t=∫01cos⁡(ut)du\sin t/t=\int_0^1\cos(ut)\,du.

Tasks

  1. For s>0s>0, justify interchanging the two integrations and evaluate F(s)F(s).

  2. For s≥0s\ge 0 and R>0R>0, prove the tail bound |∫R∞e−stsin⁡t/tdt|≤2/R|\int_R^\infty e^{-st}\sin t/t\,dt|\le 2/R, including existence of the tail at s=0s=0.

  3. Use that uniform tail bound and finite-interval convergence as s→0+s\to 0^+ to determine F(0)F(0).

  4. Determine whether the integral at s=0s=0 converges absolutely, and contrast it with the positive-parameter integrals.

Original worksheet page 1: question and worked solution for 4-1-005
Show solutionHide solution

Question 5 – Solution

Strategy. A uniform tail estimate can justify passage to the boundary parameter; absolute and conditional convergence must still be distinguished.

Step 1: Evaluate for positive damping. For s>0s>0, the double integral of the absolute integrand is at most ∫0∞e−stdt=1/s\int_0^\infty e^{-st}\,dt=1/s, so interchange is justified. Integration by parts gives ∫0∞e−stcos⁡(ut)dt=s/(s2+u2)\int_0^\infty e^{-st}\cos(ut)\,dt=s/(s^2+u^2). Therefore F(s)=∫01ss2+u2du=arctan⁡(1/s),s>0.F(s)=\int_0^1\frac{s}{s^2+u^2}\,du =\boxed{\arctan(1/s),\qquad s>0.}

Step 2: Control the tail uniformly. Set w(t)=e−st/tw(t)=e^{-st}/t for t≥Rt\ge R. For every s≥0s\ge 0, ww decreases to zero and w′≤0w'\le 0. Integration by parts on [R,L][R,L] gives ∫RLw(t)sin⁡tdt=[−w(t)cos⁡t]RL+∫RLw′(t)cos⁡tdt.\int_R^Lw(t)\sin t\,dt=[-w(t)\cos t]_R^L+\int_R^Lw'(t)\cos t\,dt. The integral of |w′||w'| is w(R)−w(L)w(R)-w(L), so the right side has magnitude at most 2w(R)≤2/R2w(R)\le 2/R. Applying the same bound with any larger lower endpoint proves the Cauchy criterion as L→∞L\to\infty, including at s=0s=0. The bound persists for the improper tail.

Step 3: Pass to the boundary parameter. On each fixed [0,R][0,R], e−stf(t)→f(t)e^{-st}f(t)\to f(t) uniformly as s→0+s\to 0^+, since ff is continuous and bounded there. The tails at both ss and zero have magnitude at most 2/R2/R. Thus |F(s)−F(0)|≤|∫0R(e−st−1)f(t)dt|+4/R.|F(s)-F(0)|\le\left|\int_0^R(e^{-st}-1)f(t)\,dt\right|+4/R. First choose large RR, then let s→0+s\to 0^+. This proves continuity at the boundary and hence F(0)=π/2\boxed{F(0)=\pi/2}.

Step 4: Test absolute convergence. On [nπ+π/6,nπ+5π/6][n\pi+\pi/6,n\pi+5\pi/6], |sin⁡t|≥1/2|\sin t|\ge 1/2 and t≤(n+1)πt\le(n+1)\pi. Each such interval contributes at least 1/[3(n+1)]1/[3(n+1)] to ∫|sin⁡t|/tdt\int|\sin t|/t\,dt. The harmonic series diverges, so convergence at zero is conditional. For s>0s>0, |sin⁡t/t|≤1|\sin t/t|\le 1 gives absolute convergence by comparison with e−ste^{-st}. The boundary value here exists as an ordinary improper integral, not merely as a limit of damped values.

Original worksheet page 2: question and worked solution for 4-1-005

Original worksheet layout. Use Enlarge or open the PDF for a closer view.