Optimal Control Problems in PDE and ODE Systems

This dissertation contains three separate optimal control problems involving partial differential equations (PDEs) or ordinary differential equations (ODEs). In each problem, an objective functional representing the goal of the control process is minimized. First, a system of ordinary differential equations which describe the interaction of Human Immunodeficiency Virus (HIV) and CD4+T-cells in the human immune system is studied. Two controls representing drug treatment strategies of this model are explored. Existence and uniqueness results for the optimal control pair are established. The optimality system is derived and then solved numerically using an iterative method with the Runge-Kutta fourth order scheme. Second, an unknown coefficient of the interaction term of a parabolic system with a Neumann boundary condition in a multi-dimensional bounded domain is identified. The solution of this system represents the concentrations of predator and prey populations. Given partial (perhaps noisy) observations of the true solution in a subdomain, we seek to “identify” the coefficient of the interaction term using an optimal control problem technique. This method of solving this identification problem is based on Tikhonov’s regularization and the optimal control for a fixed regularization parameter represents the approximate solution of the inverse problem. The existence and uniqueness of the optimal control are established, and an optimality system is derived. As the regularization parameter goes to zero, the identification problem is solved, and an example illustrating how to find a solution numerically is presented. Third, a problem involving optimal control of a convective velocity coefficient depending on space and time in a parabolic equation is treated. This work applies to a one dimensional fluid flow through a soil-packed tube in which a contaminant is initially distributed. The existence of an optimal control and an optimality system are derived. This problem requires more regularity on the control set which results in a PDE characterization of an optimal control