Point derivations and ideals in Banach algebras of differentiable functions (Q1107069)

Let A be a commutative algebra with identity 1 over \({\mathbb{C}}\) and let \(d_ 0\) be a multiplicative linear functional on A. A point derivation of order p at \(d_ 0\) is a sequence of linear functionals \(d_ 1,...,d_ p\) on A such that \[ d_ k(fg)=\sum^{k}_{j=0}d_ j(f)d_{k-j}(g)\quad (f,g\in A,\quad k=1,...,p). \] A point derivation \(d_ 1,...,d_ p\) is continuous if \(d_ j\) is continuous for \(j=1,...,p\). Let \(\{M_ k\}\) be a sequence of positive numbers such that \(M_ 0=1\) and \[ \frac{M_ k}{M_ rM_{k-r}}\geq \frac{k!}{r!(k- r)!}\quad (r=0,1,...,k) \] and let \[ D(I:M_ k)=\{f\in C^{\infty}[0,1]:\| f\| \sum^{\infty}_{k=0}\frac{| f^{(k)}|_ I}{M_ k}<\infty \} \] then \(D(I:M_ k)\) is a Banach algebra. Here \(C^{\infty}[0,1]\) is the algebra of infinitely differentiable functions on \(I=[0,1]\) and \(| f^{(k)}|_ I\) denotes the supremum of the \(k^{th}\) derivative of f. We say that \(D(I:M_ k)\) is analytic if \((M_ k/k!)^{1/k}\) is bounded by a constant C. Also, we say that \(D(I:M_ k)\) is quasi-analytic if for each \(f\in D(I:M_ k)\) such that \(f^{(k)}(0)=0\) we have \(f=0\) on [0,1]. \(D(I:M_ k)\) is said to be nonquasi-analytic if it is not quasi- analytic. This paper studies point derivations on \(D(I:M_ k)\) and shows that for a certain class of analytic and quasi-analytic Banach algebras all point derivations are continuous. But on nonquasi-analytic Banach algebras there exist discontinuous point derivations.