<?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.62004</article-id><article-id pub-id-type="publisher-id">OJOp-76262</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>
 
 
  A New Augmented Lagrangian Objective Penalty Function for Constrained Optimization Problems
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Ying</surname><given-names>Zheng</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>Zhiqing</surname><given-names>Meng</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>Department of Basic Courses, College of Basic Science, Ningbo Dahongying University, Ningbo, China</addr-line></aff><aff id="aff2"><addr-line>College of Economics and Management, Zhejiang University of Technology, Hangzhou, China</addr-line></aff><pub-date pub-type="epub"><day>19</day><month>05</month><year>2017</year></pub-date><volume>06</volume><issue>02</issue><fpage>39</fpage><lpage>46</lpage><history><date date-type="received"><day>March</day>	<month>25,</month>	<year>2017</year></date><date date-type="rev-recd"><day>Accepted:</day>	<month>May</month>	<year>16,</year>	</date><date date-type="accepted"><day>May</day>	<month>19,</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>
 
 
  In this paper, a new augmented Lagrangian penalty function for constrained optimization problems is studied. The dual properties of the augmented Lagrangian objective penalty function for constrained optimization problems are proved. Under some conditions, the saddle point of the augmented Lagrangian objective penalty function satisfies the first-order Karush-Kuhn-Tucker (KKT) condition. Especially, when the KKT condition holds for convex programming its saddle point exists. Based on the augmented Lagrangian objective penalty function, an algorithm is developed for finding a global solution to an inequality constrained optimization problem and its global convergence is also proved under some conditions.
 
</p></abstract><kwd-group><kwd>Constrained Optimization Problems</kwd><kwd> Augmented Lagrangian</kwd><kwd> Objective Penalty Function</kwd><kwd> Saddle Point</kwd><kwd> Algorithm</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Augmented Lagrangian penalty functions are effective approaches to inequality constrained optimization. Their main idea is to transform a constrained optimization problem into a sequence of unconstrained optimization problems that are easier to solve. Theories on and algorithms of Lagrangian penalty function were introduced in Du’s et al. works [<xref ref-type="bibr" rid="scirp.76262-ref1">1</xref>] . Many researchers have tried to find alternative augmented Lagrangian functions. Many literatures on augmented Lagrangian (penalty) functions have been published from both theoretical and practical aspects (see [<xref ref-type="bibr" rid="scirp.76262-ref2">2</xref>] - [<xref ref-type="bibr" rid="scirp.76262-ref8">8</xref>] ), whose key concerns cover zero gap of dual, existence of saddle point, exactness, algorithm and so on.</p><p>All augmented Lagrangian functions consist of two parts, a Lagrangian function with a Lagrangian parameter and a penalty function with a penalty parameter (see [<xref ref-type="bibr" rid="scirp.76262-ref2">2</xref>] - [<xref ref-type="bibr" rid="scirp.76262-ref8">8</xref>] ). Dual and saddle point is the key concerns of augmented Lagrangian function. Moreover, zero gap of Lagrangian function’s dual is true only for convex programming and augmented Lagrangian function. Therefore, augmented Lagrangian function algorithms solve a sequence of constrained optimization problems by taking differential Lagrangian parameters and penalty parameters in [<xref ref-type="bibr" rid="scirp.76262-ref2">2</xref>] [<xref ref-type="bibr" rid="scirp.76262-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.76262-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.76262-ref5">5</xref>] . Lucidi [<xref ref-type="bibr" rid="scirp.76262-ref6">6</xref>] and Di Pillo et al. [<xref ref-type="bibr" rid="scirp.76262-ref7">7</xref>] obtained some results of exact augmented Lagrangian function, but numerical results were not given. R. S. Burachik and C. Y. Kaya gave an augmented Lagrangian scheme for a general optimization problem, and established for this update primal-dual convergence the augmented penalty method in [<xref ref-type="bibr" rid="scirp.76262-ref8">8</xref>] . However, when it comes to computation, to apply these methods, lots of Lagrangian parameters or penalty parameters need to be adjusted to solve some unconstrained optimization dual problems, which make it difficult to obtain an optimization solution to the original problem. Hence, it is meaningful to study a novel augmented Lagrangian function method.</p><p>In recent years, the penalty function method with an objective penalty parameter has been discussed in [<xref ref-type="bibr" rid="scirp.76262-ref9">9</xref>] - [<xref ref-type="bibr" rid="scirp.76262-ref16">16</xref>] . Burke [<xref ref-type="bibr" rid="scirp.76262-ref12">12</xref>] considered a more general type. Fiacco and McCormick [<xref ref-type="bibr" rid="scirp.76262-ref13">13</xref>] gave a general introduction to sequential unconstrained minimization techniques. Mauricio and Maculan [<xref ref-type="bibr" rid="scirp.76262-ref14">14</xref>] discussed a Boolean penalty method for zero-one nonlinear programming. Meng et al. [<xref ref-type="bibr" rid="scirp.76262-ref15">15</xref>] studied a general objective penalty function method. Furthermore, Meng et al. studied properties of dual and saddle points of the augmented Lagrangian objective penalty function in [<xref ref-type="bibr" rid="scirp.76262-ref16">16</xref>] . Here, a new augmented Lagrangian objective penalty function which differs from the one in [<xref ref-type="bibr" rid="scirp.76262-ref16">16</xref>] is studied. Some important results similar to those of the augmented Lagrangian objective penalty function in [<xref ref-type="bibr" rid="scirp.76262-ref16">16</xref>] are obtained.</p><p>The main conclusions of this paper include that the optimal target value of the dual problem and the optimal target value of the original problem is zero gap, and saddle point is equivalent to the KKT condition of the original problem under the convexity conditions. A global algorithm and its convergence are presented. The remainder of this paper is organized as follows. In Section 2, an augmented Lagrangian objective penalty function is defined, its dual properties are proved, and an algorithm to find a global solution to the original problem (P) with convergence is presented. In Section 3, conclusions are given.</p></sec><sec id="s2"><title>2. Augmented Lagrangian Objective Penalty Function</title><p>In this paper the following mathematical programming of inequality constrained optimization problem is considered:</p><disp-formula id="scirp.76262-formula3"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x2.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x3.png" xlink:type="simple"/></inline-formula>. The feasible set of (P) is denoted by</p><disp-formula id="scirp.76262-formula4"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x4.png"  xlink:type="simple"/></disp-formula><p>Let functions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x5.png" xlink:type="simple"/></inline-formula> be a monotonically increasing functions satisfying</p><disp-formula id="scirp.76262-formula5"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x6.png"  xlink:type="simple"/></disp-formula><p>respectively. For example, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x7.png" xlink:type="simple"/></inline-formula>meet the requirement.</p><p>The augmented Lagrangian objective penalty function is defined as:</p><disp-formula id="scirp.76262-formula6"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x8.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x9.png" xlink:type="simple"/></inline-formula> is the objective parameter, u is the Lagrangian parameter, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x10.png" xlink:type="simple"/></inline-formula>is the penalty parameter, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x11.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x12.png" xlink:type="simple"/></inline-formula> with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x13.png" xlink:type="simple"/></inline-formula> and</p><disp-formula id="scirp.76262-formula7"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x14.png"  xlink:type="simple"/></disp-formula><p>When<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x15.png" xlink:type="simple"/></inline-formula>, it is clear that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x16.png" xlink:type="simple"/></inline-formula> is smooth. Define functions:</p><disp-formula id="scirp.76262-formula8"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x17.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.76262-formula9"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x18.png"  xlink:type="simple"/></disp-formula><p>Define the augmented Lagrangian dual problem:</p><disp-formula id="scirp.76262-formula10"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x19.png"  xlink:type="simple"/></disp-formula><p>When<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x20.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.76262-formula11"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x21.png"  xlink:type="simple"/></disp-formula><p>By (3), we have</p><disp-formula id="scirp.76262-formula12"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x22.png"  xlink:type="simple"/></disp-formula><p>According to (1), we have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x23.png" xlink:type="simple"/></inline-formula>, for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x24.png" xlink:type="simple"/></inline-formula>. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x25.png" xlink:type="simple"/></inline-formula>, then we have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x26.png" xlink:type="simple"/></inline-formula>. So,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x27.png" xlink:type="simple"/></inline-formula>. Hence,</p><disp-formula id="scirp.76262-formula13"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x28.png"  xlink:type="simple"/></disp-formula><p>Theorem 1. Let x be a feasible solution to (P), and u,v be a feasible solution to (DP). Then</p><disp-formula id="scirp.76262-formula14"><label>(6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x29.png"  xlink:type="simple"/></disp-formula><p>Proof. According to the assumption, we have</p><disp-formula id="scirp.76262-formula15"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x30.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.76262-formula16"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x31.png"  xlink:type="simple"/></disp-formula><p>Corollary 2.1. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x32.png" xlink:type="simple"/></inline-formula>. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x33.png" xlink:type="simple"/></inline-formula> be an optimal solution to (P), and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x34.png" xlink:type="simple"/></inline-formula> be an optimal solution to (DP). Then</p><disp-formula id="scirp.76262-formula17"><label>(7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x35.png"  xlink:type="simple"/></disp-formula><p>By (5), if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x36.png" xlink:type="simple"/></inline-formula> is an optimal solution to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x37.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x37.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x38.png" xlink:type="simple"/></inline-formula> is an optimal solution to (P) for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x37.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x38.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x39.png" xlink:type="simple"/></inline-formula>. We have</p><disp-formula id="scirp.76262-formula18"><label>(8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x40.png"  xlink:type="simple"/></disp-formula><p>and know that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x41.png" xlink:type="simple"/></inline-formula> is an optimal solution to (DP) if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x42.png" xlink:type="simple"/></inline-formula> is an optimal solution to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x43.png" xlink:type="simple"/></inline-formula>. By Corollary 2.1 we have</p><disp-formula id="scirp.76262-formula19"><label>(9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x44.png"  xlink:type="simple"/></disp-formula><p>A saddle point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x45.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x46.png" xlink:type="simple"/></inline-formula> is defined by</p><disp-formula id="scirp.76262-formula20"><label>(10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x47.png"  xlink:type="simple"/></disp-formula><p>By (10), the saddle point shows the connection between the dual problem and the original problem. The optimal solution to the original problem can be obtained by the optimal solution to the dual problem and the zero gap exists in Theorem 2. The following Theorems 3 and Theorem 4 show that under the condition of convexity, saddle points are equivalent to the optimality conditions of the original problem. By (10), we have</p><disp-formula id="scirp.76262-formula21"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x48.png"  xlink:type="simple"/></disp-formula><p>Hence, we have the following theorems.</p><p>Theorem 2. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x49.png" xlink:type="simple"/></inline-formula>. Then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x50.png" xlink:type="simple"/></inline-formula>is a saddle point of</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x51.png" xlink:type="simple"/></inline-formula>if and only if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x52.png" xlink:type="simple"/></inline-formula> is an optimal solution to (P) and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x53.png" xlink:type="simple"/></inline-formula> is an optimal solution to (DP) with<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x54.png" xlink:type="simple"/></inline-formula>.</p><p>Theorem 3. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x55.png" xlink:type="simple"/></inline-formula> be differentiable and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x56.png" xlink:type="simple"/></inline-formula>. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x57.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x58.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x59.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x60.png" xlink:type="simple"/></inline-formula>. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x61.png" xlink:type="simple"/></inline-formula> is a saddle point of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x62.png" xlink:type="simple"/></inline-formula>, then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x63.png" xlink:type="simple"/></inline-formula>satisfies the first-order Karush-Kuhn-Tucker (KKT) condition.</p><p>Proof. According to the assumption, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x64.png" xlink:type="simple"/></inline-formula>is a saddle point of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x65.png" xlink:type="simple"/></inline-formula>, then, for any <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x66.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.76262-formula22"><label>(11)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x67.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.76262-formula23"><label>(12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x68.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.76262-formula24"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x69.png"  xlink:type="simple"/></disp-formula><p>And there are <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x70.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x71.png" xlink:type="simple"/></inline-formula> such that</p><disp-formula id="scirp.76262-formula25"><label>(13)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x72.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.76262-formula26"><label>(14)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x73.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.76262-formula27"><label>(15)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x74.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.76262-formula28"><label>(16)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x75.png"  xlink:type="simple"/></disp-formula><p>By (12)-(16), let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x76.png" xlink:type="simple"/></inline-formula>, then we have</p><disp-formula id="scirp.76262-formula29"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x77.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.76262-formula30"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x78.png"  xlink:type="simple"/></disp-formula><p>For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x79.png" xlink:type="simple"/></inline-formula> it is clear that (1) is equivalent to the following</p><disp-formula id="scirp.76262-formula31"><label>(17)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x80.png"  xlink:type="simple"/></disp-formula><p>Clearly, if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x81.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x82.png" xlink:type="simple"/></inline-formula>. We have that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x83.png" xlink:type="simple"/></inline-formula> if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x84.png" xlink:type="simple"/></inline-formula>.</p><p>Theorem 4. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x85.png" xlink:type="simple"/></inline-formula>. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x86.png" xlink:type="simple"/></inline-formula>are convex and diffe-</p><p>rentiable. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x87.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x88.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x89.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x90.png" xlink:type="simple"/></inline-formula>. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x91.png" xlink:type="simple"/></inline-formula> satisfies the first-order Karush-Kuhn-Tucker (KKT) condition, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x92.png" xlink:type="simple"/></inline-formula> is a saddle point of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x93.png" xlink:type="simple"/></inline-formula> for any<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x94.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Let any<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x95.png" xlink:type="simple"/></inline-formula>. According to the assumption, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x96.png" xlink:type="simple"/></inline-formula>is convex and differentiable on x by (17). We have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x97.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x98.png" xlink:type="simple"/></inline-formula>and</p><disp-formula id="scirp.76262-formula32"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x99.png"  xlink:type="simple"/></disp-formula><p>On the other hand, when <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x100.png" xlink:type="simple"/></inline-formula> satisfies the first-order Karush-Kuhn- Tucker (KKT) condition, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x101.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x102.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x103.png" xlink:type="simple"/></inline-formula>. By the definition of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x104.png" xlink:type="simple"/></inline-formula>, we know that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x105.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x106.png" xlink:type="simple"/></inline-formula>. So, for any <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x107.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x108.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.76262-formula33"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x109.png"  xlink:type="simple"/></disp-formula><p>Example 2.1 Consider the problem:</p><disp-formula id="scirp.76262-formula34"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x110.png"  xlink:type="simple"/></disp-formula><p>When<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x111.png" xlink:type="simple"/></inline-formula>, the augmented Lagrangian objective penalty function is given by</p><disp-formula id="scirp.76262-formula35"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x112.png"  xlink:type="simple"/></disp-formula><p>The optimal solution to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x113.png" xlink:type="simple"/></inline-formula> is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x114.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x115.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x116.png" xlink:type="simple"/></inline-formula>. For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x117.png" xlink:type="simple"/></inline-formula>, some <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x118.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x119.png" xlink:type="simple"/></inline-formula>, it is clear that</p><disp-formula id="scirp.76262-formula36"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x120.png"  xlink:type="simple"/></disp-formula><p>holds. Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x121.png" xlink:type="simple"/></inline-formula> is a saddle point of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x122.png" xlink:type="simple"/></inline-formula>.</p><p>Example 2.1 shows that the augmented Lagrangian objective penalty function can be as good in terms of the exactness as the traditional exact penalty function.</p><p>For any given<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x123.png" xlink:type="simple"/></inline-formula>, define the following problem as</p><disp-formula id="scirp.76262-formula37"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x124.png"  xlink:type="simple"/></disp-formula><p>In Example 2.1, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x125.png" xlink:type="simple"/></inline-formula>is an optimal solution to (P(M,u,v)). When<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x126.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x126.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x127.png" xlink:type="simple"/></inline-formula>.</p><p>Now, a generic algorithm is developed to compute a globally optimal solution to (P) which is similar to the algorithm in [<xref ref-type="bibr" rid="scirp.76262-ref15">15</xref>] . The algorithm solves the problem (P(M,u,v)) sequentially and is called Augmented Lagrangian Objective Penalty Function Algorithm (ALOPFA Algorithm for short).</p><p>ALOPFA Algorithm:</p><p>Step 1: Choose<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x128.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x129.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x130.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x131.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x128.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x132.png" xlink:type="simple"/></inline-formula>.</p><p>Step 2: Solve<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x133.png" xlink:type="simple"/></inline-formula>. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x134.png" xlink:type="simple"/></inline-formula> be a global minimizer.</p><p>Step 3: If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x135.png" xlink:type="simple"/></inline-formula> is not feasible to (P), let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x136.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x137.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x137.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x138.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x137.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x138.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x139.png" xlink:type="simple"/></inline-formula>and go to Step 2.</p><p>Otherwise, stop and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x140.png" xlink:type="simple"/></inline-formula> is an approximate solution to (P).</p><p>The convergence of the ALOPFA algorithm is proved in the following theorem. Let</p><disp-formula id="scirp.76262-formula38"><label>(18)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/1-2730153x141.png"  xlink:type="simple"/></disp-formula><p>which is called a Q-level set. We say that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x142.png" xlink:type="simple"/></inline-formula> is bounded if, for any given <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x143.png" xlink:type="simple"/></inline-formula> and a convergent sequence<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x144.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x144.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x145.png" xlink:type="simple"/></inline-formula>is bounded.</p><p>Theorem 5. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x146.png" xlink:type="simple"/></inline-formula> exist. Suppose that Q and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x147.png" xlink:type="simple"/></inline-formula> are continuous, and the Q-level set <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x147.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x148.png" xlink:type="simple"/></inline-formula> is bounded. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x147.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x148.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x149.png" xlink:type="simple"/></inline-formula> be the sequence generated by the ALOPFA Algorithm. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x147.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x148.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x149.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x150.png" xlink:type="simple"/></inline-formula> is an infinite sequence with<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x147.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x148.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x149.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x151.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x147.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x148.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x149.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x151.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x152.png" xlink:type="simple"/></inline-formula> is bounded and any limit point of it is an optimal solution to (P).</p><p>Proof. The sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x153.png" xlink:type="simple"/></inline-formula> is bounded is shown first. Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x154.png" xlink:type="simple"/></inline-formula> is an optimal solution to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x154.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x155.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.76262-formula39"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x156.png"  xlink:type="simple"/></disp-formula><p>because <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x157.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x157.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x158.png" xlink:type="simple"/></inline-formula>. We have</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x159.png" xlink:type="simple"/></inline-formula>, then there is a bound of sequence<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x160.png" xlink:type="simple"/></inline-formula>, because <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x161.png" xlink:type="simple"/></inline-formula> has the optimal solution. Therefore, there a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x161.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x162.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x161.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x163.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x161.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x164.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x161.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x165.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x161.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x166.png" xlink:type="simple"/></inline-formula> as<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x161.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x167.png" xlink:type="simple"/></inline-formula>, and it is concluded that there is some <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x161.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x167.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x168.png" xlink:type="simple"/></inline-formula> such that</p><disp-formula id="scirp.76262-formula40"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x169.png"  xlink:type="simple"/></disp-formula><p>Since the Q-level set <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x170.png" xlink:type="simple"/></inline-formula> is bounded, the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x171.png" xlink:type="simple"/></inline-formula> is bounded.</p><p>Without loss of generality, we assume<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x172.png" xlink:type="simple"/></inline-formula>. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x172.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x173.png" xlink:type="simple"/></inline-formula> be an optimal solution to (P). Note that</p><disp-formula id="scirp.76262-formula41"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x174.png"  xlink:type="simple"/></disp-formula><p>Letting <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x175.png" xlink:type="simple"/></inline-formula> in the above inequality, we obtain that</p><disp-formula id="scirp.76262-formula42"><graphic  xlink:href="http://html.scirp.org/file/1-2730153x176.png"  xlink:type="simple"/></disp-formula><p>which implies<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x177.png" xlink:type="simple"/></inline-formula>. Therefore, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/1-2730153x178.png" xlink:type="simple"/></inline-formula>is an optimal solution to (P).</p><p>Theorem 5 means that the ALOPFA Algorithm has global convergence in theory. When v is taken big enough, an approximate solution to (P) by the ALOPFA Algorithm is obtained.</p></sec><sec id="s3"><title>3. Conclusion</title><p>This paper discusses dual properties and algorithm of an augmented Lagrangian penalty function for constrained optimization problems. The zero gap of the dual problem based on the augmented Lagrangian objective penalty function for constrained optimization problems is proved. Under some conditions, the saddle point of the augmented Lagrangian objective penalty function i.e. equivalent to the first-order Karush-Kuhn-Tucker (KKT) condition. Based on the augmented Lagrangian objective penalty function, an algorithm is presented for finding a global solution to (P) and its global convergence is also proved under some conditions. There are still some problems that need further study for the augmented Lagrangian objective penalty function, for example, the local algorithm, exactness, and so on.</p></sec><sec id="s4"><title>Acknowledgements</title><p>We thank the editor and the referees for their comments. This research is supported by the National Natural Science Foundation of China under Grant No. 11271329 and the Natural Science Foundation of Ningbo City under Grant No. 2016A610043 and the Natural Science Foundation of Zhejiang Province under Grant No. LY15G010007.</p></sec><sec id="s5"><title>Cite this paper</title><p>Zheng, Y. and Meng, Z.Q. (2017) A New Augmented Lagrangian Objective Penalty Function for Constrained Optimization Problems. Open Journal of Optimization, 6, 39-46. https://doi.org/10.4236/ojop.2017.62004</p></sec></body><back><ref-list><title>References</title><ref id="scirp.76262-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Du, D.Z., Pardalos, P.M. and Wu, W. (2001) Mathematical Theory of Optimization. Kluwer Academic Publishers, Location. https://doi.org/10.1007/978-1-4757-5795-8</mixed-citation></ref><ref id="scirp.76262-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Miele, A., Cragg, E.E., Iyer, R.R. and Levy, A.V. (1971) Use of the Augmented Penalty Function in Mathematical Programming. Part I and II. Journal of Optimization Theory and Applications, 8, 115-153. https://doi.org/10.1007/BF00928472</mixed-citation></ref><ref id="scirp.76262-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Miele, A., Moseley, P., Levy, A. V. and Coggins, G.H. (1972) On the Method of Multipliers for Mathematical Programming Problems. Journal of optimization Theory and Applications, 10, 1-33. https://doi.org/10.1007/BF00934960</mixed-citation></ref><ref id="scirp.76262-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Pillo, G.D. and Grippo, L. (1982) A New Augmented Lagrangian Function for Inequality Constraints in Nonlinear Programming Problems. Journal of Optimization Theory and Applications, 36, 495-519. https://doi.org/10.1007/BF00940544</mixed-citation></ref><ref id="scirp.76262-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Goldfarb, D., Polyak, R., Scheinberg, K. and Yuzefobvicha, I. (1999) A Modified Barrier-Augmented Lagrangian Method for Constrained Minimization. Computational Optimization and Applications, 14, 55-74. https://doi.org/10.1023/A:1008705028512</mixed-citation></ref><ref id="scirp.76262-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Lucidi, S. (1990) Recursive Quadratic Programming Algorithm That Uses an Exact Augmented Lagrangian Function. Journal of Optimization Theory and Applications, 67, 227-245. https://doi.org/10.1007/BF00940474</mixed-citation></ref><ref id="scirp.76262-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Pillo, G.D., Liuzzi, G., Lucidi, S. and Palagi, L. (2003) An Exact Augmented Lagrangian Function for Nonlinear Programming with Two-Sided Constraints. Computational Optimization and Applications, 25, 57-83. https://doi.org/10.1023/A:1022948903451</mixed-citation></ref><ref id="scirp.76262-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Burachik, R.S. and Kaya, C.Y. (2012) An Augmented Penalty Function Method with Penalty Parameter Updates for Nonconvex Optimization. Nonlinear Analysis, 75, 1158-1167. https://doi.org/10.1016/j.na.2011.03.013</mixed-citation></ref><ref id="scirp.76262-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Morrison, D.D. (1968) Optimization by Least Squares. SIAM Journal on Numerical Analysis, 5, 83-88. https://doi.org/10.1137/0705006</mixed-citation></ref><ref id="scirp.76262-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Fletcher, R. (1981) Practical Method of Optimization. A Wiley-Interscience Publication, New York.</mixed-citation></ref><ref id="scirp.76262-ref11"><label>11</label><mixed-citation publication-type="book" xlink:type="simple">Fletcher, R. (1983) Penalty Functions. In: Bachem, A., Grotschel, M. and Korte, B., Eds., Mathematical Programming: The State of the Art, Springer, Berlin, 87-114. https://doi.org/10.1007/978-3-642-68874-4_5</mixed-citation></ref><ref id="scirp.76262-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Burke, J.V. (1991) An Exact Penalization Viewpoint of Constrained Optimization. SIAM Journal on Control and Optimization, 29, 968-998. https://doi.org/10.1137/0329054</mixed-citation></ref><ref id="scirp.76262-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Fiacco, A.V. and McCormick, G.P. (1968) Nonlinear Programming: Sequential Unconstrained Minimization Techniques. Wiley, New York.</mixed-citation></ref><ref id="scirp.76262-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Mauricio, D. and Maculan, N. (2000) A Boolean Penalty Method for Zero-One Nonlinear Programming. Journal of Global Optimaization, 16, 343-354. https://doi.org/10.1023/A:1008329405026</mixed-citation></ref><ref id="scirp.76262-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Meng, Z.Q., Hu, Q.Y. and Dang, C.Y. (2009) A Penalty Function Algorithm with Objective Parameters for Nonlinear Mathematical Programming. Journal of Industrial and Management Optimization, 5, 585-601. https://doi.org/10.3934/jimo.2009.5.585</mixed-citation></ref><ref id="scirp.76262-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Meng, Z.Q., Shen, R., Dang, C.Y. and Jiang, M. (2015) Augmented Lagrangian Objective Penalty Function. Numerical Functional Analysis and Optimization, 36, 1471-1492. https://doi.org/10.1080/01630563.2015.1070864</mixed-citation></ref></ref-list></back></article>