Local derivations on $C^*$-algebras are derivations

Kadison has shown that local derivations from a von Neumann algebra into any dual bimodule are derivations. In this paper we extend this result to local derivations from any $C^*$-algebra $\mathfrak{A}$ into any Banach $\mathfrak{A}$-bimodule $\mathfrak{X}$. Most of the work is involved with establishing this result when $\mathfrak{A}$ is a commutative $C^*$-algebra with one self-adjoint generator. A known result of the author about Jordan derivations then completes the argument. We show that these results do not extend to the algebra $C^1[0,1]$ of continuously differentiable functions on $[0,1]$. We also give an automatic continuity result, that is, we show that local derivations on $C^*$-algebras are continuous even if not assumed a priori to be so.