Necessary optimality conditions and regularity results for state and adjoint state of nonlinear control problems

For optimal control problems of nonlinear evolution equations of first order we derive regularity properties for the corresponding adjoint states where the proof is based on the necessary optimal conditions and smoothness properites of the optimal states. These results are used for the characterization of the optimal solution and the corresponding adjoint state of the periodic three-dimensionel NAVIER-STOKES system.