# Is there a continuous Taylor/MacLaurin transform (like the Fourier transform)?

My consideration might be total nonsense (as a high school student, I lack the mathematical knowledge to really check my idea), but I was just wondering whether one could find a continuous generalization of the Taylor series comparable to the continuous Fourier transform.

Just like the Fourier transform decomposes a function $f(t)$ into a sum of trigonometric functions with a result $\hat{f}(\omega)=\mathcal{F}(f)(\omega)$ with the domain of frequencies, could one define a Taylor transform $\mathcal{T}(f)$ that would operate on $n$th derivatives?

Instead of the trigonometric functions in Fourier transform, $f$ would be decomposed into a sum of polynomials of form $\frac{1}{n!}x^n$.

So is it a valid operation to generalize the Taylor series for continuous values of $n$ (i.e. using integrals instead of sums)? My naive approach would be

$$f(t) = \intop_0^{\infty} \mathcal{T}(f)(n)\cdot \frac{t^n}{\Gamma(n+1)} \mathrm{d}n$$

So in fact, the transform would define (or at least require) non-integer derivatives of a function. Do these exist (like a non-integer iterates of functions can be defined too)?

Example: Assuming that $\frac{\mathrm{d}^ne^x}{\mathrm{d}x^n}(0) = 1$ for any $x\in \mathbb{R}$, I'd come up with

$$e^t = \intop_0^{\infty} \frac{t^n}{\Gamma(n+1)} \mathrm{d}n$$ as a continuous version of

$$e^t = \sum_{n=0}^{\infty} \frac{t^n}{n!}$$

Thus $$\mathcal{T}(e^t)(n) = 1,\,n\in\mathbb{R}$$

Is a transform like I explained possible or - in case it is - even somehow useful?

• You might want to look into using different notation for that last infinite integral, because that's definitely not the exponential function (it's real only for nonnegative $t$). – J. M. is a poor mathematician Nov 21 '10 at 14:12
• en.wikipedia.org/wiki/Fractional_calculus – Qiaochu Yuan Nov 21 '10 at 14:35
• Ah, thanks. Fractional calculus seems to answer most of the question. Yet, would a transform like the one I asked about be useful in fractional calculus? – Dario Nov 21 '10 at 16:47
• I like this question because it covers some of the same ground as my previous <a href="math.stackexchange.com/questions/8978/…>. That having been said, I don't think the machinery of fractional derivatives is necessarily required here, because frequently one can come up with continuous generalizations of the Taylor (or MacLaurin) series coefficients -- I gave the example of Catalan numbers in my question -- the Fibonacci and Lucas numbers too have closed form expressions. – graveolensa Nov 21 '10 at 16:53
• @deoxygerbe: Ah interesting, the questions fit together really well. But - in the context of my question - couldn't your generalized continuous coefficients be interpreted as fractional derivatives? You'd just have gone the other way round. – Dario Nov 21 '10 at 17:29

The Laplace transform does exactly what you're talking about. The polynomials don't necessarily come in the form ${1 \over n!} x^n$ but can be substituted into that form.

Check out this lecture by Arthur Mattuck from MIT for the details.

This is a very interesting question. I am acquainted only very little with these matters. Hopefully other people can fill you in better. There is indeed some analogy of the type you are seeking.

The Fourier series of a periodic function captures all the information for a function(signal) over a fixed period. When you determine the Fourier coefficients, you compute suitable integrals over a fixed period and you capture all the frequency information for a certain period. Fourier transforms capture frequency domain information for non-periodic signals as well. If you look at the Fourier transform of a function, you would in general be at a loss to guess the function behavior at a particular point.

On the other hand, note that Taylor Series is giving information about a function specifically at a point. Taylor series captures very very local information.

It seems there is such a tradeoff always happening. If you want more information on the frequency domain, you have to sacrifice information on the time domain, and vice versa. On the one extreme we have the Taylor series and the other the Fourier theory. It seems there are a range of transforms called the wavelet transforms which are in between these two extremes and captures a bit of both frequency domain and time domain information without completely sacrificing one of these. It seems for such transforms for precisely formulating such a tradeoff, there is a certain uncertainty principle which is a precise theorem in Harmonic analysis.

• Great, thanks. I like the idea of local vs. global information with Taylor/fourier on both extremes. Also wavelet transformation and even uncertainity seem to fit very well; it really broadens my image of what's going on behind these transforms. – Dario Nov 21 '10 at 17:23

I've never thought about it as a generalization of the Taylor series, but what you're describing sounds like the Mellin transform, which is defined as

$$\hat{f}(s) = \int_0^{\infty}x^{s-1} f(x)\mathrm{d}x$$

It's used a lot in certain branches of high-energy physics theory (which is how I happen to know about it). The Wikipedia article linked above describes some other uses.