Abstract. An abstract functional framework is developed for the dual
Petrov-Galerkin formulation of the initial-boundary-value problems with
a third-order spatial derivative. This framework is then applied to study
the wellposedness and decay properties of the KdV equation in a finite
interval.