We establish that all derivations on a semisimple Jordan-Banach algebra are automatically continuous. By showing that "almost all" primitive ideals in the algebra are invariant under a given derivation, the general case is reduced to that of primitive Jordan-Banach algebras.

The nilpotency of the separating subspace of an everywhere defined derivation on a Banach algebra is an intriguing question which remains still unsolved, even for commutative Banach algebras. On the other hand, closability of partially defined derivations on Banach algebras is a fundamental problem motivated by the study of time evolution of quantum systems. We show that the separating subspace S(D) of a Jordan derivation defined on a subalgebra B of a complex Banach algebra A satisfies $B\left[B\cap S\left(D\right)\right]B\subset Ra{d}_B\left(A\right)$ provided...