السيطرة الامثلية التقليدية المستمرة للمعادلات التفاضلية الجزئية الخطية واللاخطية من النوع الاهليجي == The Continuous Classical Optimal Control Problem of a Non - Linear Partial Differential Equations of Elliptic Type
Author name:
ايمان حسين مخلف الروضاني
Supervisor name:
جميل اميرعلي الهواسي
General topic:
Mathematics
Specific topic:
Mathematics
Degree:
Master
University:
Mustansiriyah University - College Of Science
Language:
English
University location:
Baghdad
First pages:
27T1120 - p.pdf
Abstract:
الهدف الرئيسي لهذه الرسالة هو دراسة مسالة السيطرة الامثلية التقليدية المستمرة لزوج من المعادلات التفاضيلة الجزئية الخطية والغير الخطية من النوع الاهليجي (البيضاوي).حيث تضمنت تطبيق طريقة Galerkin لبرهان مبرهنة الوجود والوحدانية الحل للحالةstate)) لزوج من المعادلات التفاضلية الجزئية الخطية من النوع الاهليجي عندما يكون متجه السيطرة ثابتا وكذلك برهان وجود ووحدانية الحل الحالة لزوج من المعادلات المذكورة اعلا ولكن من النوع الغير الخطي بثبات متجه السيطرة تقليدية المستمرة باستخدام minty - Browder. قمنا ايضا ببرهان مبرهنات خاصة بوجود سيطرة (متجه السيطرة) تقليدية مستمرة من لزوج من المعادلات التفاضلية الخطية والغير الخطية من النوع الاهليجي. برهنا ايضا مبرهنة وجود ووحدانية الحل لزوج من المعادلات التفاضلية الجزئية المصاحبة والمرتبطة لزوج المعادلات التفاضلية الجزئية الخطية واللاخطية للحالة. مبرهنات Kuhn - Tucker - Lagrange's Multipliers طورت بشكل يتناسب مع المسالة السيطرة التقليدية المستمرة المقترحة في هذه الرسالة وصيغت وبرهنت مبرهنتا الشرط الضروري لوجود السيطرة الامثلية التقليدية مستمرة والشرط الكافي لوجود سيطرة التقليدية الامثلية. | The main goal of this thesis is to study the continuous classical optimal control problem of a couple of non - linear elliptic partial differential equations. With a suitable assumptions, the existence and the uniqueness solution of the state vector of a couple of linear elliptic PDEs for a given continuous classical control vector is proved by using Galerkin method. Minty - Browder theorem is used to prove the existence and the uniqueness solution of a couple of nonlinear elliptic PDEs for given fixed continuous classical control vector. The existence theorems of a continuous classical optimal control vector associated with a couple of non - linear elliptic equations are developed and proved. The existence and uniqueness theorem of a solution of the couple of adjoint equations associated with the considered couple of state equations of linear elliptic type equations is proved once and with the considered state equations of nonlinear elliptic equations with equality and inequality constraints is also proved once again. The Kuhn - Tucker - Lagrange multipliers theorems are developed and are used to prove the necessary conditions theorem and the sufficient conditions theorem of optimality of a couple of nonlinear elliptic equations with equality and inequality constraints.
