11
$\begingroup$

I am not sure whether this question is even well-posed. But today I learnt that $e^Df(x) = f(x+1)$ where $D$ is differential operator and

$$e^D \triangleq \sum_{i=0}^{\infty} \frac{D^i}{i!}.$$

(ref. Dan Piponi's answer)

So I was curious as to whether the differential equation

$$\frac{df(t)}{dt} = e^Df(t) = f(t+1)$$

has any solutions apart from $f = 0$?

  • 0
    @sos440 : Your comment helped. Thanks. But why did you delete it?2012-08-22
  • 0
    Sorry if I'm making a mistake, but where it's defined, don't we have $$ e^D f(x) = \sum \frac{f^{(n)}(x)}{n!}1^n = f(1-x) ~~? $$2012-08-22
  • 0
    @Thiagarajan, Becuase I missed the dot in $\dot{f}$. (My Chrome browser's MathJax performance has been deteriorated recently.) So my previous answer was utterly wrong.2012-08-22
  • 0
    @ Eugene Shvarts The infinite sum $\sum \dfrac{f^n(x)}{n!}1^n$ is the Taylor series representation of $f(x + 1)$.2012-08-22
  • 2
    This type of differential equations is known as forward (advanced) differential equations. On the other, if you have $f'(t)=f(t-1)$, then it is known as delay differential equation. Off course, these are special cases of more general equations.2012-08-22

2 Answers 2

12

We first make a heuristic calculation.

The equation in question is $Df = e^{D}f$. Thus it suffices to solve that $D = e^D$. Treating $D$ as a complex number, it is not hard to see that this equation has a zero in $\Bbb{C}$. For example, we may exploit Lambert-W function to specify such a number. Now let $r$ satisfy $r = e^r$. Then the function $f(t) = e^{r t}$ satisfies the desired property.

Indeed, we prove that this is the case. We have

$$Df(t) = r e^{r t} = e^{r}e^{r t} = e^{r(t+1)} = f(t+1) = e^{D}f(t).$$

Therefore $f(t)$ satisfies the desired property.

If we confine ourselves to real-valued functions, taking real part or imaginary part will also give such non-trivial examples.

  • 0
    :) . the answer's delightful. Thanks.2012-08-22
  • 1
    Note also that linear combinations of solutions are solutions.2012-08-22
  • 1
    @sos440 Just a question. What does it mean(formally) to solve for $D = e^D$ ? The reason I ask is that the operators $D$ and $e^D$ are known quantities. So, I am not sure what is being solved for. Maybe I am misinterpreting something?2012-08-22
  • 1
    This is called the characteristic method. Our ansatz shows that functions of the form $f(x) = e^{rx}$ is a strong candidate for the equation. Plugging this to the equation actually yields the condition $r = e^r$, called the *characteristic equation*. Now it remains to show that the function $f(x) = e^{rx}$ corresponding to a zero of the characteristic equation is indeed a solution. Usually the characteristic equation is obtained by treating $D$ just as a variable.2012-08-22
  • 0
    @sos440 All right. Thanks.2012-08-22
3

Let us elaborate on the differential operator $ {\rm e}^{aD} $. It is defined by the power series $ \sum_{k=0}^{\infty}\frac{D^k}{k!} $. We would like to know its effect on the function $f(x)$. First let's see its effect on the function $x^m$. $$ {\rm e}^{ aD } x^m = \sum_{k=0}^{\infty} \frac{a^kD^k}{k!} x^m = \sum_{k=0}^{\infty}\frac{\Gamma(m+1)}{\Gamma(k-m+1)k!} a^k x^{m-k} = \sum_{k=0}^{\infty}\frac{m!}{(k-m)!k!} a^k x^{m-k}$$ $$= \sum_{k=0}^{\infty}{m \choose k} a^k x^{m-k} = \sum_{k=0}^{m}{m \choose k} a^k x^{m-k} = (x+a)^m\,, $$ by binomial theorem. That means the differential operator works as a shift operator that shift the argument by $a$. Now, we can use this result to see the effect on a function $f(x)$. If the function $f(x)$ has a power series at $x=0$, then $$ {\rm e}^{aD} \sum_{k=0}^{\infty} f_k x^k = \sum_{k=0}^{\infty} f_k {\rm e}^{aD} x^k = \sum_{k=0}^{\infty} f_k (x+a)^k = f(x+a)\,.$$ So, the general effect of the differential operator ${\rm e}^{aD}$ on the function $f(x)$ is nothing but shifts the argument by $a$. In your case $a=1$.

  • 1
    Why do you have to use the gamma function if only integer power of $D$ are ever taken? Why doesn't a simple factorial work?2015-01-23