Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site allegra.UUCP
Path: utzoo!linus!decvax!harpo!floyd!vax135!ariel!hou5f!hou5g!hou5h!eagle!allegra!don
From: don@allegra.UUCP
Newsgroups: net.math
Subject: infinite differentiation
Message-ID: <2087@allegra.UUCP>
Date: Sat, 10-Dec-83 18:28:27 EST
Article-I.D.: allegra.2087
Posted: Sat Dec 10 18:28:27 1983
Date-Received: Tue, 13-Dec-83 03:10:56 EST
Organization: AT&T Bell Laboratories, Murray Hill
Lines: 5

Let D be the operator d/dx, and consider the operator exp(D).  Prove
that for any continuous differentiable function, f, the following is
true:

		exp(D) f(x) = f(x + 1)