Calculus · real student question

Find exponential solutions of the delay differential equation f'(x) = f(x - 1).

Question

Find the exponential solutions of

f(x)=f(x1)f'(x)=f(x-1)

Step-by-step solution

  1. Notice what makes this equation unusual. The derivative at xx depends on the value one unit earlier, so this is a delay differential equation rather than an ordinary one. The exponential trial still works, but the resulting characteristic equation will not be polynomial.

  2. Substitute f(x)=erxf(x)=e^{rx}. Then f(x)=rerxf'(x)=re^{rx}, while the delayed term picks up a constant factor:

    f(x1)=er(x1)=ererxf(x-1)=e^{r(x-1)}=e^{-r}e^{rx}

  3. Cancel erxe^{rx} to get the characteristic equation.

    rerx=ererxr=errer=1re^{rx}=e^{-r}e^{rx}\quad\Longrightarrow\quad r=e^{-r}\quad\Longrightarrow\quad re^{r}=1

  4. Solve rer=1re^r=1 with the Lambert W function. By definition WW inverts wweww\mapsto we^{w}, so

    r=W(1)0.5671432904r=W(1)\approx 0.5671432904

    This number is the omega constant. There is no elementary closed form, which is characteristic of delay equations.

  5. Write the solutions and note the infinitely many branches. The real exponential solution is

    f(x)=CeW(1)xCe0.567143xf(x)=Ce^{W(1)x}\approx Ce^{0.567143x}

    and since rer=1re^r=1 has infinitely many complex roots rk=Wk(1)r_k=W_k(1), the general form is a superposition f(x)=kCkeWk(1)xf(x)=\sum_k C_ke^{W_k(1)x}, with complex conjugate pairs combined to stay real-valued.

  6. Verify the constant numerically. With r=0.5671432904r=0.5671432904: rer=0.5671432904×1.763222834=1.000000000re^{r}=0.5671432904\times 1.763222834=1.000000000 \checkmark, and equivalently er=0.567143=re^{-r}=0.567143=r \checkmark. Substituting back, f(x)=rCerxf'(x)=rCe^{rx} and f(x1)=Cerxer=rCerxf(x-1)=Ce^{rx}e^{-r}=rCe^{rx}, which agree exactly.

Answer

f(x)=Cerx with rer=1, i.e. r=W(1)0.567143f(x)=Ce^{rx}\ \text{with}\ re^{r}=1,\ \text{i.e. }r=W(1)\approx 0.567143

Need to solve a different problem like this? Open the solver →