  We aim at giving a rigorous proof of the state-ments on the smoothness and
the dimension of Severi varieties wherethere are gaps in the proofs in some
standard literature. The method isa mixture of algebraic and analytic methods.
