<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">OJOp</journal-id><journal-title-group><journal-title>Open Journal of Optimization</journal-title></journal-title-group><issn pub-type="epub">2325-7105</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/ojop.2017.61003</article-id><article-id pub-id-type="publisher-id">OJOp-74855</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Computer Science&amp;Communications</subject><subject> Engineering</subject><subject> Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  The Cost Functional and Its Gradient in Optimal Boundary Control Problem for Parabolic Systems
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Mohamed</surname><given-names>A. El-Sayed</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Moustafa</surname><given-names>M. Salama</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>M.</surname><given-names>H. Farag</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Fahad</surname><given-names>B. Al-Thobaiti</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>Mathematics Department, Faculty of Science, Taif University, Taif, KSA</addr-line></aff><aff id="aff1"><addr-line>CS Department, College of Computers and IT, Taif University, Taif, KSA</addr-line></aff><pub-date pub-type="epub"><day>14</day><month>02</month><year>2017</year></pub-date><volume>06</volume><issue>01</issue><fpage>26</fpage><lpage>37</lpage><history><date date-type="received"><day>November</day>	<month>9,</month>	<year>2016</year></date><date date-type="rev-recd"><day>Accepted:</day>	<month>March</month>	<year>20,</year>	</date><date date-type="accepted"><day>March</day>	<month>23,</month>	<year>2017</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  The problems of optimal control (OCPs) related to PDEs are a very active area of research. These problems deal with the processes of mechanical engineering, heat aeronautics, physics, hydro and gas dynamics, the physics of plasma and other real life problems. In this paper, we deal with a class of the constrained OCP for parabolic systems. It is converted to new unconstrained OCP by adding a penalty function to the cost functional. The existence solution of the considering system of parabolic optimal control problem (POCP) is introduced. In this way, the uniqueness theorem for the solving POCP is introduced. Therefore, a theorem for the sufficient differentiability conditions has been proved.
 
</p></abstract><kwd-group><kwd>Constrained Optimal Control Problems</kwd><kwd> Necessary Optimality Conditions Parabolic System</kwd><kwd> Adjoint Problem</kwd><kwd> Exterior Penalty Function Method</kwd><kwd> Existence and Uniqueness Theorems</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Many researches in recent years have been devoted to the studies of optimal control problems for a distributed parameter system. Optimal control is widely applied in aerospace, physics, chemistry, biology, engineering, economics and other areas of science and has received considerable attention of researchers.</p><p>The optimal boundary control problem for parabolic systems is relevant in mathematical description of several physical processes including chemical reactions, semiconductor theory, nuclear reactor dynamics, population dynamics [<xref ref-type="bibr" rid="scirp.74855-ref1">1</xref>] and [<xref ref-type="bibr" rid="scirp.74855-ref2">2</xref>] . The partial differential equations involved in these problems include elliptic equations, parabolic equations and hyperbolic equations [<xref ref-type="bibr" rid="scirp.74855-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.74855-ref4">4</xref>] .</p><p>Optimization can be of constrained or unconstrained problems. The presence of constraints in a nonlinear programming creates more problems while finding the minimum as compared to unconstrained ones. Several situations can be identified depending on the effect of constraints on the objective function. The simplest situation is when the constraints do not have any influence on the minimum point. Here the constrained minimum of the problem is the same as the unconstrained minimum, i.e., the constraints do not have any influence on the objective function. For simple optimization problems it may be possible to determine, beforehand, whether or not the constraints have any influence on the minimum point. However, in most of the practical problems, it will be extremely difficult to identify it. Thus one has to proceed with general assumption that the constraints will have some influence on the optimum point. The minimum of a nonlinear programming problem will not be, in general, an extreme point of the feasible region and may not even be on the boundary. Also the problem may have local minima even if the corresponding unconstrained problem is not having local minima. Furthermore, none of the local minima may correspond to the global minimum of the unconstrained problem. All these characteristics are direct consequences of the introduction of constraints and hence we should to have general algorithms to overcome these kinds of minimization problems [<xref ref-type="bibr" rid="scirp.74855-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.74855-ref6">6</xref>] [<xref ref-type="bibr" rid="scirp.74855-ref7">7</xref>] [<xref ref-type="bibr" rid="scirp.74855-ref8">8</xref>] [<xref ref-type="bibr" rid="scirp.74855-ref9">9</xref>] .</p><p>The algorithms for minimization are iterative procedures that require starting values of the design variable x. If the objective function has several local minima, the initial choice of x determines which of these will be computed. There is no guaranteed way of finding the global optimal point. One suggested procedure is to make several computer runs using different starting points and pick the best Rao [<xref ref-type="bibr" rid="scirp.74855-ref10">10</xref>] . The majority of available methods are designed for unconstrained optimization, where no restrictions are placed on the de-sign variables. In these problems the minima, if they exist are stationary points (points where gradient vector of the objective function vanishes). There are also special algorithms for constrained optimization problems, but they are not easily accessible due to their complexity and specialization.</p><p>All of the many methods available for the solution of a constrained nonlinear programming problem can be classified into two broad categories, namely, the direct methods and the indirect methods approach. In the direct methods the constraints are handled in an explicit manner whereas in the most of the indirect methods, the constrained problem is solved as a sequence of unconstrained minimization problems or as a single unconstrained minimization problem. Here we are concerned on the indirect methods of solving constrained optimization problems. A large number of methods and their variations are available in the literature for solving constrained optimization problems using indirect methods. As is frequently the case with nonlinear problems, there is no single method that is clearly better than the others. Each method has its own strengths and weaknesses. The quest for a general method that works effectively for all types of problems continues. Sequential transformation methods are the oldest methods also known as Sequential Un-Constrained Minimization Techniques (SUMT) based upon the work of Fiacco and McCormick, 1968. They are still among the most popular ones for some cases of problems, although there are some modifications that are more often used. These methods help us to remove a set of complicating constraints of an optimization problem and give us a frame work to exploit any available methods for unconstrained optimization problems to solve, perhaps, approximately. [<xref ref-type="bibr" rid="scirp.74855-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.74855-ref6">6</xref>] [<xref ref-type="bibr" rid="scirp.74855-ref7">7</xref>] [<xref ref-type="bibr" rid="scirp.74855-ref8">8</xref>] [<xref ref-type="bibr" rid="scirp.74855-ref9">9</xref>] . However, this is not without a cost. In fact, this transforms the problem into a problem of non-smooth (in most cases) optimization which has to be solved iteratively. The sequential transformation method is also called the classical approach and is perhaps the simplest to implement. Basically, there are two alternative approaches. The first is called the exterior penalty function method (commonly called penalty method), in which a penalty term is added to the objective function for any violation of constraints. This method generates a sequence of infeasible points, hence its name, whose limit is an optimal solution to the original problem. The second method is called interior penalty function method (commonly called barrier method), in which a barrier term that prevents the points generated from leaving the feasible region is added to the objective function. The method generates a sequence of feasible points whose limit is an optimal solution to the original problem. Luenberger [<xref ref-type="bibr" rid="scirp.74855-ref11">11</xref>] illustrated that penalty and barrier function methods are procedures for approximating constrained optimization problems by unconstrained problems.</p><p>In the meanings of constrained conditions, these optimal control problems can be divided into control con-strained problems and state constrained problems. In each of the branches referred above, there are many excellent works and also many difficulties to be solved.</p><p>The rest of this paper is organized as follows. In Section 2, the proposed system of optimal control problem with respect to a parabolic equation is offered. Section 3 describes the analysis of existence and uniqueness of the solution of the POCP. In Section 4, the variation of the functional and its gradient is presented. Section 5 describes Lipschitz continuity of the gradient cost functional. Finally, conclusions are presented in Section 6.</p></sec><sec id="s2"><title>2. Problem Statement</title><p>Consider the following POCP process be described in:</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x2.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.74855-formula63"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x3.png"  xlink:type="simple"/></disp-formula><p>with the initial and the boundary conditions:</p><disp-formula id="scirp.74855-formula64"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x4.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.74855-formula65"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x5.png"  xlink:type="simple"/></disp-formula><p>where the solution of the problem (1-3) is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x6.png" xlink:type="simple"/></inline-formula>, since, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x7.png" xlink:type="simple"/></inline-formula>, the coefficient of convection <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x8.png" xlink:type="simple"/></inline-formula> is positive constant-sometimes <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x9.png" xlink:type="simple"/></inline-formula> is called coefficient of heat transfer. The admissible controls is a set <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x10.png" xlink:type="simple"/></inline-formula> defined as</p><disp-formula id="scirp.74855-formula66"><graphic  xlink:href="http://html.scirp.org/file/3-2730143x11.png"  xlink:type="simple"/></disp-formula><p>Many physical and engineering settings have the mathematical model (1-3), in particular in hydrology, material sciences, heat transfer and transport problems [<xref ref-type="bibr" rid="scirp.74855-ref12">12</xref>] . In the case of heat transfer, the Robin condition physically is realized as follows. Let the surface <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x12.png" xlink:type="simple"/></inline-formula> of the rod be exposed to air or other fluid with temperature. Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x13.png" xlink:type="simple"/></inline-formula> is the temperature difference at <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x14.png" xlink:type="simple"/></inline-formula> between the rod and its surroundings. According to Newton’s law of cooling, the rate at which heat is transferred from the rod to the fluid is proportional to the difference in the temperature between the rod and the fluid, i.e.</p><disp-formula id="scirp.74855-formula67"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x15.png"  xlink:type="simple"/></disp-formula><p>The purpose is to find the optimal control <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x16.png" xlink:type="simple"/></inline-formula> that minimizes the following cost functional:</p><disp-formula id="scirp.74855-formula68"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x17.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.74855-formula69"><label>(6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x18.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x19.png" xlink:type="simple"/></inline-formula> are given positive numbers, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x19.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x20.png" xlink:type="simple"/></inline-formula>is given function from <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x19.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x21.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x19.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x22.png" xlink:type="simple"/></inline-formula>is given function from <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x19.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x23.png" xlink:type="simple"/></inline-formula> with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x19.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x24.png" xlink:type="simple"/></inline-formula> is a fixed time. Penalty function methods are the most popular constraint handling methods among users. Two main branches of penalty method have been proposed in the literature: Exterior and Interior which is also called the barrier method. The basic idea in penalty method is to eliminate some or all constraints and add to the objective function a penalty term which prescribes a high cost to infeasible points. Associated with this method is a parameter<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x19.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x25.png" xlink:type="simple"/></inline-formula>, which determines the severity of penalty and as a consequence the extent to which the resulting unconstrained problem approximates the original constrained problem. We restrict attention to the polynomial order-even penalty function. The constrained optimal control problem (5-6) is converted to unconstrained optimal control pro- blem by adding a penalty function [<xref ref-type="bibr" rid="scirp.74855-ref13">13</xref>] to the cost functional (5), yielding the modified function:</p><disp-formula id="scirp.74855-formula70"><label>(7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x26.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x27.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x28.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x29.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x30.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x31.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x32.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s3"><title>3. Well-Posedness of System</title><p>This section present the concept of the weak solution of the system (1-3) and the existence solution. Let a function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x33.png" xlink:type="simple"/></inline-formula> of the weak solution of the problem, and satisfies the following integral, for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x34.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.74855-formula71"><label>(8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x35.png"  xlink:type="simple"/></disp-formula><p>The weak solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x36.png" xlink:type="simple"/></inline-formula> of the direct problem exists and unique under the above conditions with respect to the given data [<xref ref-type="bibr" rid="scirp.74855-ref14">14</xref>] [<xref ref-type="bibr" rid="scirp.74855-ref15">15</xref>] . According to [<xref ref-type="bibr" rid="scirp.74855-ref12">12</xref>] , the solution of the optimal control problem can be defined as a solution of the minimization problem for the cost functional <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x37.png" xlink:type="simple"/></inline-formula> under condition (6), given by (5):</p><disp-formula id="scirp.74855-formula72"><label>(9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x38.png"  xlink:type="simple"/></disp-formula><p>Theorem 1:</p><p>Under the above conditions, the optimal control problem has an optimal solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x39.png" xlink:type="simple"/></inline-formula> in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x40.png" xlink:type="simple"/></inline-formula>.</p><p>Proof: when<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x41.png" xlink:type="simple"/></inline-formula>, the solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x42.png" xlink:type="simple"/></inline-formula> is a strict solution of systems (1-3) and (5-6), where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x43.png" xlink:type="simple"/></inline-formula> satisfies the equation of functional,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x44.png" xlink:type="simple"/></inline-formula>. In parabolic problems and according to the theory of weak solution, can prove that the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x45.png" xlink:type="simple"/></inline-formula> weakly con-</p><p>verges to the function<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x46.png" xlink:type="simple"/></inline-formula>, so that the traces sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x47.png" xlink:type="simple"/></inline-formula> of corresponding solutions of system (1-3) converges to the solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x48.png" xlink:type="simple"/></inline-formula> in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x49.png" xlink:type="simple"/></inline-formula>, hence, when n→∞ then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x50.png" xlink:type="simple"/></inline-formula> [<xref ref-type="bibr" rid="scirp.74855-ref16">16</xref>] . Therefore the func-</p><p>tional <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x51.png" xlink:type="simple"/></inline-formula> is weakly continuous on V, and the non-empty set of solutions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x52.png" xlink:type="simple"/></inline-formula> for the minimization problem (5-6) [<xref ref-type="bibr" rid="scirp.74855-ref17">17</xref>] .</p></sec><sec id="s4"><title>4. The Variation of the Functional and Its Gradient</title><p>The main objective here, the proof of Theorem 2 (found in tail of this section) which requires the following two lemmas; lemma 1 and lemma 2. Let the first variation of the cost functional <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x53.png" xlink:type="simple"/></inline-formula> of the cost functional (7) as follows:</p><disp-formula id="scirp.74855-formula73"><label>(10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x54.png"  xlink:type="simple"/></disp-formula><p>therefore,</p><disp-formula id="scirp.74855-formula74"><label>(11)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x55.png"  xlink:type="simple"/></disp-formula><p>where</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x56.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x57.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x58.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x59.png" xlink:type="simple"/></inline-formula>.</p><p>Therefore the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x60.png" xlink:type="simple"/></inline-formula> is the solution of the following system:</p><disp-formula id="scirp.74855-formula75"><label>(12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x61.png"  xlink:type="simple"/></disp-formula><p>Lemma 1:</p><p>If the direct system (1-3) have the corresponding solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x62.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x63.png" xlink:type="simple"/></inline-formula> is the solution of the adjoint parabolic problem [<xref ref-type="bibr" rid="scirp.74855-ref18">18</xref>] :</p><disp-formula id="scirp.74855-formula76"><label>(13)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x64.png"  xlink:type="simple"/></disp-formula><p>then the following integral identity holds for all elements <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x65.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x66.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.74855-formula77"><label>(14)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x67.png"  xlink:type="simple"/></disp-formula><p>Proof: At <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x68.png" xlink:type="simple"/></inline-formula> with the condition in (13) to transform the left-hand side of (14) as follows:</p><disp-formula id="scirp.74855-formula78"><graphic  xlink:href="http://html.scirp.org/file/3-2730143x69.png"  xlink:type="simple"/></disp-formula><p>At the boundary conditions in (13) and (14) for the functions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x70.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x71.png" xlink:type="simple"/></inline-formula>; we obtain (14). Corresponding to the inverse problem in system (1-3) and (5-6), the parabolic problem (13) define as an adjoint problem. By backward one of the Equation (13), the “final condition” at <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x72.png" xlink:type="simple"/></inline-formula> it is a well- posed initial boundary-value problem under a time reversal. The first variation of the cost functional <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x73.png" xlink:type="simple"/></inline-formula> obtain by using integral identity in (14) on the right-hand side of Equation (11):</p><disp-formula id="scirp.74855-formula79"><label>(15)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x74.png"  xlink:type="simple"/></disp-formula><p>Using the definition of the Fr&#233;chet-differential and the above the scalar product definition in V, transform the right-hand side of (15) need into the following expression:</p><disp-formula id="scirp.74855-formula80"><label>(16)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x75.png"  xlink:type="simple"/></disp-formula><p>Now we need to show that the last two terms on the right-hand side of (15) are of order<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x76.png" xlink:type="simple"/></inline-formula>, with<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x77.png" xlink:type="simple"/></inline-formula>.</p><p>Lemma 2:</p><p>If the parabolic problem (12) have the solution<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x78.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x79.png" xlink:type="simple"/></inline-formula>, then the following inequality holds:</p><disp-formula id="scirp.74855-formula81"><label>(17)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x80.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x81.png" xlink:type="simple"/></inline-formula> is the norm <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x82.png" xlink:type="simple"/></inline-formula> of the function<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x83.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x84.png" xlink:type="simple"/></inline-formula> is the norm <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x85.png" xlink:type="simple"/></inline-formula> of the function<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x86.png" xlink:type="simple"/></inline-formula>, and the constants<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x87.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x88.png" xlink:type="simple"/></inline-formula>are defined as follows:</p><disp-formula id="scirp.74855-formula82"><label>(18)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x89.png"  xlink:type="simple"/></disp-formula><p>Proof:</p><p>Multiplying the Equation (12) by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x90.png" xlink:type="simple"/></inline-formula>, then integrating the result on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x91.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x92.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x93.png" xlink:type="simple"/></inline-formula>.</p><p>We obtain energy identity after applying the initial and boundary conditions as the following:</p><disp-formula id="scirp.74855-formula83"><label>(19)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x94.png"  xlink:type="simple"/></disp-formula><p>We use the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x95.png" xlink:type="simple"/></inline-formula>-inequality <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x96.png" xlink:type="simple"/></inline-formula> for the solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x97.png" xlink:type="simple"/></inline-formula> of the parabolic problem (19). Then for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x98.png" xlink:type="simple"/></inline-formula>we have:</p><disp-formula id="scirp.74855-formula84"><label>(20)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x99.png"  xlink:type="simple"/></disp-formula><p>Applying the Cauchy inequality to estimate the term<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x100.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.74855-formula85"><graphic  xlink:href="http://html.scirp.org/file/3-2730143x101.png"  xlink:type="simple"/></disp-formula><p>By integrating the both sides of above inequality on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x102.png" xlink:type="simple"/></inline-formula>, we obtain:</p><disp-formula id="scirp.74855-formula86"><label>(21)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x103.png"  xlink:type="simple"/></disp-formula><p>and use this estimate on the right-hand side of (20):</p><disp-formula id="scirp.74855-formula87"><graphic  xlink:href="http://html.scirp.org/file/3-2730143x104.png"  xlink:type="simple"/></disp-formula><p>From (19) with above inequality, we obtain:</p><disp-formula id="scirp.74855-formula88"><label>(22)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x105.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x106.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x107.png" xlink:type="simple"/></inline-formula>, we get bound (18) with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x108.png" xlink:type="simple"/></inline-formula> for estimate (22):</p><disp-formula id="scirp.74855-formula89"><graphic  xlink:href="http://html.scirp.org/file/3-2730143x109.png"  xlink:type="simple"/></disp-formula><p>Hence, the last integral (15) is bounded by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x110.png" xlink:type="simple"/></inline-formula> and using Fr&#233;chet- differential definition at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x111.png" xlink:type="simple"/></inline-formula>.</p><disp-formula id="scirp.74855-formula90"><graphic  xlink:href="http://html.scirp.org/file/3-2730143x112.png"  xlink:type="simple"/></disp-formula><p>we obtain the following theorem:</p><p>Theorem 2:</p><p>The cost functional <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x113.png" xlink:type="simple"/></inline-formula> is Fr&#233;chet-differentiable in the considered problem hold, and Fr&#233;chet derivative at <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x114.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x115.png" xlink:type="simple"/></inline-formula>can be defined by the solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x116.png" xlink:type="simple"/></inline-formula> of the adjoint problem (13) as follows:</p><disp-formula id="scirp.74855-formula91"><label>(23)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x117.png"  xlink:type="simple"/></disp-formula></sec><sec id="s5"><title>5. The Continuity of Gradient Functional</title><p>In this section, by helping the gradient of cost functional <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x118.png" xlink:type="simple"/></inline-formula> we prove the Lipschitz continuity of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x119.png" xlink:type="simple"/></inline-formula>. The minimization problem (9) need an estimation of the iteration parameter <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x120.png" xlink:type="simple"/></inline-formula> beginning with the initial iteration <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x121.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.74855-formula92"><label>(24)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x122.png"  xlink:type="simple"/></disp-formula><p>In many situation estimations of determine the parameter <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x123.png" xlink:type="simple"/></inline-formula> in various gradient methods is a difficult problem [<xref ref-type="bibr" rid="scirp.74855-ref19">19</xref>] . However, for arbitrary parameters<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x124.png" xlink:type="simple"/></inline-formula>, the parameter <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x125.png" xlink:type="simple"/></inline-formula> can be estimated via the Lipschitz constant in the case of Lipschitz continuity of the gradient <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x126.png" xlink:type="simple"/></inline-formula> as follows:</p><disp-formula id="scirp.74855-formula93"><label>(25)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x127.png"  xlink:type="simple"/></disp-formula><p>Lemma 3:</p><p>The functional <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x128.png" xlink:type="simple"/></inline-formula> is of H&#246;lder class <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x129.png" xlink:type="simple"/></inline-formula> under the conditions of Theorem 2 and</p><disp-formula id="scirp.74855-formula94"><label>(26)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x130.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.74855-formula95"><label>(27)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x131.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x132.png" xlink:type="simple"/></inline-formula> and for parameters<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x133.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x134.png" xlink:type="simple"/></inline-formula>, the Lipschitz constant is defined in (22) as follows:</p><disp-formula id="scirp.74855-formula96"><label>(28)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x135.png"  xlink:type="simple"/></disp-formula><p>Proof: Let the following backward parabolic problem</p><disp-formula id="scirp.74855-formula97"><label>(29)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x136.png"  xlink:type="simple"/></disp-formula><p>has the solution<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x137.png" xlink:type="simple"/></inline-formula>. Therefore, using the initial and boundary conditions after multiplying both sides of Equation (29) by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x137.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x138.png" xlink:type="simple"/></inline-formula>, and integrating on <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x137.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x138.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x139.png" xlink:type="simple"/></inline-formula> as in the proof of Lemma 2, we can get the following energy identity:</p><disp-formula id="scirp.74855-formula98"><label>(30)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x140.png"  xlink:type="simple"/></disp-formula><p>implies the following two inequalities:</p><disp-formula id="scirp.74855-formula99"><label>(31)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x141.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.74855-formula100"><label>(32)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x142.png"  xlink:type="simple"/></disp-formula><p>Multiplying the first and the second inequality by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x143.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x144.png" xlink:type="simple"/></inline-formula>, correspondingly, summing up them, and then using the inequality (20) we obtain:</p><disp-formula id="scirp.74855-formula101"><label>(33)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x145.png"  xlink:type="simple"/></disp-formula><p>Computing of the second integral on the right-hand side of (26) by the same term. From the energy identity (30) we can obtain the following:</p><disp-formula id="scirp.74855-formula102"><label>(34)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x146.png"  xlink:type="simple"/></disp-formula><p>This, with the last estimate, concludes</p><disp-formula id="scirp.74855-formula103"><label>(35)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-2730143x147.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x148.png" xlink:type="simple"/></inline-formula>, using this in (27) and taking into account Lemma 2 we obtain (26) with the Lipschitz constant <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x148.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-2730143x149.png" xlink:type="simple"/></inline-formula> in (28).</p></sec><sec id="s6"><title>6. Conclusion</title><p>In this paper, we studied a class of the constrained OCP for parabolic systems. The existence and uniqueness of the system is introduced. In this way, the uniqueness theorem for the solving POCP is introduced. Therefore, a theorem for the sufficient differentiability conditions has been proved. By using the exterior penalty function method, the constrained problem is converted to new unconstrained OCP. The common techniques of constructing the gradient of the cost functional using the solving of the adjoint problem is investigated.</p></sec><sec id="s7"><title>Cite this paper</title><p>El-Sayed, M.A., Salama, M.M., Farag, M.H. and Al-Thobai- ti, F.B. (2017) The Cost Functional and Its Gradient in Optimal Boundary Control Pro- blem for Parabolic Systems. Open Journal of Optimization, 6, 26-37. https://doi.org/10.4236/ojop.2017.61003</p></sec></body><back><ref-list><title>References</title><ref id="scirp.74855-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Henry, D. (1981) Geometric Theory of Semi Linear Parabolic Equations. Lecture Notes in Mathematics, Vol. 840, Springer-Verlag, Berlin. https://doi.org/10.1007/BFb0089647</mixed-citation></ref><ref id="scirp.74855-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Liu, H. and Yang, J. (2014) Optimal Control of Semi Linear Parabolic Systems with State Constraint. Journal of Mathematical Analysis and Applications, 417, 787-803. https://doi.org/10.1016/j.jmaa.2014.03.070</mixed-citation></ref><ref id="scirp.74855-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Guliyev, H.F. and Jabbarova, K.H. (2011) On an Optimal Control Problem for Weakly Nonlinear Hyperbolic Equations. Acta Mathematica Hungarica, 131, 197-207. https://doi.org/10.1007/s10474-011-0074-6</mixed-citation></ref><ref id="scirp.74855-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Tagiev, R.K. (2009) Optimal Coefficient Control in Parabolic Systems. Differential Equations, 45, 1526-1535. https://doi.org/10.1134/S0012266109100164</mixed-citation></ref><ref id="scirp.74855-ref5"><label>5</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Berhe</surname><given-names> H.W. </given-names></name>,<etal>et al</etal>. (<year>2012</year>)<article-title>Penalty Function Methods Using Matrix Laboratory (MATLAB)</article-title><source> African Journal of Mathematics and Computer Science Research</source><volume> 5</volume>,<fpage> 209</fpage>-<lpage>246</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.74855-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">De Sampaio, R.J.B., Wollmann, R.R.G., Yuan, J.Y. and Favaretto, F. (2014) Using Penalty in Mathematical Decomposition for Production-Planning to Accommodate Clearing Function Constraints of Capacity, Optimization and Control Techniques and Applications. Springer Proceedings in Mathematics &amp; Statistics, 86, 137-152. http://www.springer.com/series/10533</mixed-citation></ref><ref id="scirp.74855-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Farag, M.H., Nofal, T.A., El-Sayed, M.A. and Al-Baqmi, N.M. (2015) Computation of Optimal Controls for a Class of Distributed Parameter Systems. Journal of Computer and Mathematical Sci-ences, 6, 439-448.</mixed-citation></ref><ref id="scirp.74855-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Farag, M.H., Nofal, T.A., El-Sayed, M.A. and AL-Qarni, T.M. (2015) An Optimization Problem with Controls in the Coefficients of Parabolic Equations. British Journal of Mathematics &amp; Computer Science, 6, 532-543.</mixed-citation></ref><ref id="scirp.74855-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Razzaghi, M. and Marzban, H.R. (2002) Optimal Control of Singular Systems via Piecewise Linear Polynomial Functions. Mathematical Methods in the Applied Sciences, 25, 399-408. https://doi.org/10.1002/mma.297</mixed-citation></ref><ref id="scirp.74855-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Rao, S.S. (2009) Engineering Optimization: Theory and Practice. 4th Edition, John Wiley &amp; Sons, Inc. https://doi.org/10.1002/9780470549124</mixed-citation></ref><ref id="scirp.74855-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Luenberger, D.G. (1974) A Combined Penalty Function and Gradient Projection Method for Nonlinear Programming. Journal of Optimization Theory and Applications, 14, 477-495. https://doi.org/10.1007/BF00932843</mixed-citation></ref><ref id="scirp.74855-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Hasanov, A. (2007) Simultaneous Determination of Source Terms in a Linear Parabolic Problem from the Final over Determination Weak Solution Approach. Journal of Mathematical Analysis and Application, 330, 766-779. https://doi.org/10.1016/j.jmaa.2006.08.018</mixed-citation></ref><ref id="scirp.74855-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Aliay, M., Golalikhanib, M., Mohsen, M. and Zhuang, J. (2012) A Computational Study on Different Penalty Approaches for Solving Constrained Global Optimization Problems with the Electromagnetism-Like Method. Optimization, 63, 403-419. https://doi.org/10.1080/02331934.2012.655691</mixed-citation></ref><ref id="scirp.74855-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Ladyzhenskaya, O.A. (1985) The Boundary Value Problems in Mathematical Physics. Springer-Verlag, New York. https://doi.org/10.1007/978-1-4757-4317-3</mixed-citation></ref><ref id="scirp.74855-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Ladyzhenskaya, O.A., Solonnikov, V.A. and Ural’tseva, N.N. (1976) Linear and Quasilinear Parabolic Equations. Nauka, Moscow.</mixed-citation></ref><ref id="scirp.74855-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Mikhailov, V.P. (1983) Partial Differential Equations. Nauka, Moscow.</mixed-citation></ref><ref id="scirp.74855-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Gelashvili, K. (2011) The Existence of Optimal Control on the Basis of Weierstrass’s Theorem. Journal of Mathematical Sciences, 177, 373-382. https://doi.org/10.1007/s10958-011-0463-y</mixed-citation></ref><ref id="scirp.74855-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Lions, J.L. (1968) Contr&amp;ocircle optimal de systèmes gouvernés par des équations aux dérivées partielles. Dunod Gauthier-Villars, Paris.</mixed-citation></ref><ref id="scirp.74855-ref19"><label>19</label><mixed-citation publication-type="other" xlink:type="simple">Koppel, L.B. (1984) Introduction to Control Theory with Applications to Process Control. Prentice-Hall, Englewood Cliffs.</mixed-citation></ref></ref-list></back></article>