Integration over a Real Interval

Work in progress. This note is still being written and incomplete.

Let f(t)=u(t)+iv(t)f(t) = u(t) + iv(t) for a≤t≤ba \le t \le b, where uu and vv are real-valued continuous functions of the real variable tt.

∫abf(t) dt=∫abu(t) dt+i∫abv(t) dt\int_a^b f(t)\,\text{d}t = \int_a^b u(t)\,\text{d}t + i\int_a^b v(t)\,\text{d}t

If U′(t)=u(t)U'(t) = u(t) and V′(t)=v(t)V'(t) = v(t) for each a≤t≤ba \le t \le b,

∫abf(t) dt=(U(b)−U(a))+i(V(b)−V(a))\int_a^b f(t)\,\text{d}t = (U(b) - U(a)) + i(V(b) - V(a))

Properties

Let f(t)=u(t)+iv(t)f(t) = u(t) + iv(t) and g(t)=p(t)+iq(t)g(t) = p(t) + iq(t) be continuous on [a,b][a,b].

Sum

∫ab(f(t)+g(t)) dt=∫abf(t) dt+∫abg(t) dt\int_a^b (f(t) + g(t))\,\text{d}t = \int_a^b f(t)\,\text{d}t + \int_a^b g(t)\,\text{d}t

Additivity over Subintervals

∫abf(t) dt=∫acf(t) dt+∫cbf(t) dt,a≤c≤b\int_a^b f(t)\,\text{d}t = \int_a^c f(t)\,\text{d}t + \int_c^b f(t)\,\text{d}t, \qquad a \le c \le b

Homogeneity

Let α=r+is\alpha = r + is be a complex constant.

∫abαf(t) dt=α∫abf(t) dt\int_a^b \alpha f(t)\,\text{d}t = \alpha \int_a^b f(t)\,\text{d}t

Reversal of Limits

∫abf(t) dt=−∫baf(t) dt\int_a^b f(t)\,\text{d}t = -\int_b^a f(t)\,\text{d}t

Fundamental Theorem

Let ff be continuously differentiable on [a,b][a,b].

∫abf′(t) dt=f(b)−f(a)\int_a^b f'(t)\,\text{d}t = f(b) - f(a)

Product

∫abf(t)g(t) dt=∫ab(up−vq) dt+i∫ab(uq+vp) dt\int_a^b f(t)g(t)\,\text{d}t = \int_a^b (u p - v q)\,\text{d}t + i\int_a^b (u q + v p)\,\text{d}t

Worked Examples

Squared Binomial

Evaluate ∫01(1+it)2 dt\displaystyle\int_0^1 (1 + it)^2\,\text{d}t.

Solution Reveal Hide

Expand the integrand.

(1+it)2=1+2it+i2t2=(1−t2)+i(2t)(1 + it)^2 = 1 + 2it + i^2 t^2 = (1 - t^2) + i(2t)

So u(t)=1−t2u(t) = 1 - t^2 and v(t)=2tv(t) = 2t.

Integrate the real part.

∫01(1−t2) dt=[t−t33]01=1−13=23\int_0^1 (1 - t^2)\,\text{d}t = \left[t - \frac{t^3}{3}\right]_0^1 = 1 - \frac{1}{3} = \frac{2}{3}

Integrate the imaginary part.

∫012t dt=[t2]01=1\int_0^1 2t\,\text{d}t = \left[t^2\right]_0^1 = 1

Combine using the definition.

∫01(1+it)2 dt=23+i\int_0^1 (1 + it)^2\,\text{d}t = \frac{2}{3} + i

Cubic Integrand

Evaluate ∫01(t−i)3 dt\displaystyle\int_0^1 (t - i)^3\,\text{d}t.

Solution Reveal Hide

Expand the integrand.

(t−i)3=t3−3it2+3i2t−i3=(t3−3t)+i(1−3t2)(t - i)^3 = t^3 - 3it^2 + 3i^2 t - i^3 = (t^3 - 3t) + i(1 - 3t^2)

Integrate the real part.

∫01(t3−3t) dt=[t44−3t22]01=14−32=−54\int_0^1 (t^3 - 3t)\,\text{d}t = \left[\frac{t^4}{4} - \frac{3t^2}{2}\right]_0^1 = \frac{1}{4} - \frac{3}{2} = -\frac{5}{4}

Integrate the imaginary part.

∫01(1−3t2) dt=[t−t3]01=0\int_0^1 (1 - 3t^2)\,\text{d}t = \left[t - t^3\right]_0^1 = 0

Combine using the definition.

∫01(t−i)3 dt=−54\int_0^1 (t - i)^3\,\text{d}t = -\frac{5}{4}

Exponential Integrand

Evaluate ∫0π/2et+it dt\displaystyle\int_0^{\pi/2} e^{t + it}\,\text{d}t.

Solution Reveal Hide

Write the integrand as e(1+i)te^{(1+i)t}. An antiderivative is

e(1+i)t1+i=(1−i) e(1+i)t2\frac{e^{(1+i)t}}{1+i} = \frac{(1-i)\,e^{(1+i)t}}{2}

Evaluate at the limits, using e(1+i)π/2=ieπ/2e^{(1+i)\pi/2} = ie^{\pi/2}.

Solution Reveal Hide
(1−i) ieπ/22−1−i2=(1+i) eπ/22−1−i2\frac{(1-i)\,ie^{\pi/2}}{2} - \frac{1-i}{2} = \frac{(1+i)\,e^{\pi/2}}{2} - \frac{1-i}{2}

Separate the real and imaginary parts.

∫0π/2et+it dt=12(eπ/2−1)+i2(eπ/2+1)\int_0^{\pi/2} e^{t + it}\,\text{d}t = \frac{1}{2}\left(e^{\pi/2} - 1\right) + \frac{i}{2}\left(e^{\pi/2} + 1\right)
Written by October 17, 2026 2 min read
Was this helpful?