Ludium
Sign In
Differential Equations
The Geometric View of ODEs
01Direction Fields and the Geometric View of ODEs02Integral Curves and the Isocline Method03Perpendicular Isoclines: The Circles of y' = -x/y04Isocline Corridors and a Trap for Solutions05Existence and Uniqueness: One Curve Through a Point06Where Existence and Uniqueness FailProblem set0/10Problem set 20/10MIT problem set0/3
Numerical Methods
01Euler's Method and Its Three Equations02Euler's Method by Hand: Building the Table03Convexity and the Sign of Euler's Error04First Order Error: Halve the Step, Halve the Error05Improved Euler (RK2): Averaging Two Slopes06Runge-Kutta 4 and the Price of Accuracy07Singular Points: Where Every Method FailsProblem set0/10Problem set 20/10MIT problem set0/1
First-Order Linear Equations
01First Order Linear: Standard Form and the Sign of p02The Conduction-Diffusion Model: Newton's Law of Cooling03The Integrating Factor and the Four-Step Method04Integrating Factors: Two Mistakes and a Trick Question05Constant Coefficients: Steady State and TransientProblem set0/10Problem set 20/10MIT problem set0/1
Substitution Methods
01Scaling a First Order ODE: The Fourth-Power Cooling Law02The Bernoulli Equation and the Substitution v = y^(1-n)03A Worked Bernoulli Example: The Substitution v = 1/y04Homogeneous Equations: The Zoom Test and y = zx05Modelling the Lighthouse Chase: A 45-Degree Heading06The Boat's Path: A Logarithmic Spiral in Polar CoordinatesProblem set0/10Problem set 20/10
Autonomous Equations
01Autonomous Equations and Time-Translation Invariance02Critical Points: Constant Solutions as Barriers03The Embezzler Model dy/dt = ry - w: One Unstable Balance04The Logistic Equation: Carrying Capacity Without Solving05Stable, Unstable and Semi-Stable Critical Points06Maximum Sustainable Harvest: Why h = a^2/4bProblem set0/10Problem set 20/10MIT problem set0/3
Complex Numbers
01Complex Division, Polar Form and the Definition of e^(iθ)02Why e^(iθ) Earns Its Name: Multiply Moduli, Add Angles03Integrating e^(-x) cos x by Complexifying04The nth Roots of Unity: Zeta on the Unit CircleProblem set0/10Problem set 20/10MIT problem set0/4
Input and Response
01Steady-State and Transient Solutions of y' + ky = q(t)02Input, Response and the Superposition Principle03Solving y' + ky = k cos ωt by Complexification04Amplitude and Phase Lag of a Sinusoidal ResponseProblem set0/10Problem set 20/10MIT problem set0/2
01Cartesian Method: Rationalise, Then Take the Real Part02The Sinusoidal Identity and Its Right Triangle03Three Proofs of the Sinusoidal Identity04The Mixing Tank: Salt Balance and k = r/V05RC Circuits, Decay Chains and Negative kProblem set0/10Problem set 20/10MIT problem set0/2
Second-Order Linear Equations
01Second-Order Linear ODEs and the Spring–Mass–Dashpot02The Characteristic Equation and Overdamped Motion03Complex Roots a ± bi and Underdamped Oscillation04Critical Damping and Reduction of Order: t e^(−at)Problem set0/10Problem set 20/10MIT problem set0/2

Integrating e^(-x) cos x by Complexifying

How does one complex division replace two integrations by parts when you integrate $e^{-x}\cos x$?


Loading…

←Previous Why e^(iθ) Earns Its Name: Multiply Moduli, Add AnglesNext The nth Roots of Unity: Zeta on the Unit Circle →

Your summary note

    1. 1

      Complexifying the integral

      Write cos⁡x=Re⁡(eix)\cos x = \operatorname{Re}(e^{ix})cosx=Re(eix), combine e−xeixe^{-x}e^{ix}e−xeix into e(−1+i)xe^{(-1+i)x}e(−1+i)x, and record that ∫e−xcos⁡x dx=Re⁡∫e(−1+i)x dx\int e^{-x}\cos x\,dx = \operatorname{Re}\int e^{(-1+i)x}\,dx∫e−xcosxdx=Re∫e(−1+i)xdx.

    2. 2

      Integrating and dividing by −1+i-1+i−1+i

      Integrate to e(−1+i)x−1+i\frac{e^{(-1+i)x}}{-1+i}−1+ie(−1+i)x​, then multiply top and bottom by the conjugate −1−i-1-i−1−i to put 1−1+i\frac{1}{-1+i}−1+i1​ in the form −12−12i-\frac{1}{2}-\frac{1}{2}i−21​−21​i.

    3. 3

      Extracting the real part

      Pull out the real factors e−x2\frac{e^{-x}}{2}2e−x​, find only the real part of (−1−i)(cos⁡x+isin⁡x)(-1-i)(\cos x + i\sin x)(−1−i)(cosx+isinx), and arrive at e−x2(sin⁡x−cos⁡x)\frac{e^{-x}}{2}(\sin x - \cos x)2e−x​(sinx−cosx).

    Attempt 1 of 2