Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $f$ be a function defined on a $J=[0,1]$, which is $k$-times differentiable on $J$; i.e. $f\in C^k(J)$.

By the Riesz representation theorem we know that for any complex Radon measure $\mu$ on $J$ , we have the isometric vector space isomorphism between the space of complex Radon measures on $J$ and the space of bounded linear functionals, given by $$\mu\mapsto \int f \ d\mu.$$

Given a bounded linear functional $I$ (which we know is of the form $\int f\ d\nu$) on $C^k(J)$, I want to show that we can find a unique $\mu, a_0,\dots,a_{k-1}$ where $\mu$ is a complex Borel measure and the $a_i$ are constants, with

$$I(f) = \int_{J} f\ d\nu = \int_J f^{(k)}\ d\mu + \sum_{i=0}^{k-1} a_i f^{(i)}(0)$$

This is also found as an exercise in Folland, 7.27, if that is helpful. Any guidance would be greatly appreciated.

share|cite|improve this question
up vote 1 down vote accepted

We write Taylor's formula at $x_0=0$: $$f(x)=\sum_{i=0}^{k-1}\frac{f^{(i)}(0)}{i!}x^i+\int_0^x\frac{(x-t)^{k-1}}{(k-1)!}f^{(k)}(t)dt.$$ We have \begin{align*} \int_J\int_0^x(x-t)^{k-1}f^{(k)}(t)dt&=\int_0^1\int_{[t,1]}(x-t)^{k-1}f^{(k)}(t)\nu(dx)dt\\ &=\int_0^1f^{(k)}(t)\left(\int_{[t,1]}(x-t)^{k-1}f^{(k)}(t)\nu(dx)\right)dt, \end{align*} so we put $a_i:=\frac{f^{(i)}(0)}{i!}\int_J x^id\nu(x)$ and $\nu=g\cdot\lambda$, with $g(t):=\frac 1{(k-1)!}\int_{[t,1]}(x-t)^{k-1}f^{(k)}(t)\nu(dx)$ and $\lambda$ the Lebesgue measure.

Applying $I$ to $x^i,i=0,\ldots,k$ we can see that $a_i$ are uniquely determined, and then we can see that so is $\mu$.

share|cite|improve this answer
Thank you, this is crisp. – user21725 Mar 9 '12 at 0:40
How do you know that $I$ has the form $\int f \; d\nu$? Riesz representation tells you that $I \in C_0([0, 1])^*$ has this form, but we don't know apriori that $I$ can be extended to a bounded linear functional on $C_0$ – steve Apr 11 at 19:58

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.