<?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.2019.84010</article-id><article-id pub-id-type="publisher-id">OJOp-96879</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 Smoothing Penalty Function Method for the Constrained Optimization Problem
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Bingzhuang</surname><given-names>Liu</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>School of Mathematics and Statistics, Shandong University of Technology, Shandong, China</addr-line></aff><pub-date pub-type="epub"><day>04</day><month>12</month><year>2019</year></pub-date><volume>08</volume><issue>04</issue><fpage>113</fpage><lpage>126</lpage><history><date date-type="received"><day>3,</day>	<month>October</month>	<year>2019</year></date><date date-type="rev-recd"><day>1,</day>	<month>December</month>	<year>2019</year>	</date><date date-type="accepted"><day>4,</day>	<month>December</month>	<year>2019</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, an approximate smoothing approach to the non-differentiable exact penalty function is proposed for the constrained optimization problem. A simple smoothed penalty algorithm is given, and its convergence is discussed. A practical algorithm to compute approximate optimal solution is given as well as computational experiments to demonstrate its efficiency.
 
</p></abstract><kwd-group><kwd>Constrained Optimization</kwd><kwd> Penalty Function</kwd><kwd> Smoothing Method</kwd><kwd> Optimal Solution</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Many problems in industry design, management science and economics can be modeled as the following constrained optimization problem:</p><p>( P )           min f ( x )   s .t .   g j ( x ) ≤ 0, j = 1,2, ⋯ , m , (1)</p><p>where f , g j : ℜ n → ℜ , j = 1 , 2 , ⋯ , m are continuously differentiable functions. Let F 0 be the feasible solution set, that is, F 0 = { x ∈ ℜ n | g j ( x ) ≤ 0 , j = 1 , 2 , ⋯ , m } . Here we assume that F 0 is nonempty.</p><p>The penalty function methods based on various penalty functions have been proposed to solve problem (P) in the literatures. One of the popular penalty functions is the quadratic penalty function with the form</p><p>F 2 ( x , ρ ) = f ( x ) + ρ ∑ j = 1 m max { g j ( x ) , 0 } 2 , (2)</p><p>where ρ &gt; 0 is a penalty parameter. Clearly, F 2 ( x , ρ ) is continuously differentiable, but is not an exact penalty function. In Zangwill [<xref ref-type="bibr" rid="scirp.96879-ref1">1</xref>], an exact penalty function was defined as</p><p>F 1 ( x , ρ ) = f ( x ) + ρ ∑ j = 1 m max { g j ( x ) , 0 } . (3)</p><p>The corresponding penalty problem is</p><p>( P ρ )           min F 1 ( x , ρ )   s .t .   x ∈ ℜ n . (4)</p><p>We say that F 1 ( x , ρ ) is an exact penalty function for Problem (P) partly because it satisfies one of the main characteristics of exactness, that is, under some constraint qualifications, there exists a sufficiently large ρ * such that for each ρ &gt; ρ * , the optimal solutions of Problem ( P ρ ) are all the feasible solutions of Problem (P), therefore, they are all the optimal solution of (P) (Di Pillo [<xref ref-type="bibr" rid="scirp.96879-ref2">2</xref>], Han [<xref ref-type="bibr" rid="scirp.96879-ref3">3</xref>] ).</p><p>The obvious difficulty with the exact penalty functions is that it is nondifferentiable, which prevents the use of efficient minimization methods that are based on Gradient-type or Newton-type algorithms, and may cause some numerical instability problems in its implementation. In practice, an approximately optimal solution to (P) is often only needed. Differentiable approximations to the exact penalty function have been obtained in different contexts such as in BeaTal and Teboulle [<xref ref-type="bibr" rid="scirp.96879-ref4">4</xref>], Herty et al. [<xref ref-type="bibr" rid="scirp.96879-ref5">5</xref>] and Pinar and Zenios [<xref ref-type="bibr" rid="scirp.96879-ref6">6</xref>]. Penalty methods based on functions of this class were studied by Auslender, Cominetti and Haddou [<xref ref-type="bibr" rid="scirp.96879-ref7">7</xref>] for convex and linear programming problems, and by Gonzaga and Castillo [<xref ref-type="bibr" rid="scirp.96879-ref8">8</xref>] for nonlinear inequality constrained optimization problems, respectively. In Xu et al. [<xref ref-type="bibr" rid="scirp.96879-ref9">9</xref>] and Lian [<xref ref-type="bibr" rid="scirp.96879-ref10">10</xref>], smoothing penalty functions are proposed for nonlinear inequality constrained optimization problems. This kind of functions is also described by Chen and Mangasarian [<xref ref-type="bibr" rid="scirp.96879-ref11">11</xref>] who constructed them by integrating probability distributions to study complementarity problems, by Herty et al. [<xref ref-type="bibr" rid="scirp.96879-ref5">5</xref>] to study the optimization problems with box and equality constraints, and by Wu et al. [<xref ref-type="bibr" rid="scirp.96879-ref12">12</xref>] to study global optimization problem. Meng et al. [<xref ref-type="bibr" rid="scirp.96879-ref13">13</xref>] propose two smoothing penalty functions to the exact penalty function</p><p>F 3 ( x , ρ ) = f ( x ) + ρ ∑ i = 1 m max { g j ( x ) , 0 } . (5)</p><p>In Wu et al. [<xref ref-type="bibr" rid="scirp.96879-ref14">14</xref>] and Lian [<xref ref-type="bibr" rid="scirp.96879-ref15">15</xref>], some smoothing techniques for (5) are also given.</p><p>Moreover, smoothed penalty methods can be applied to solve optimization problems with large scale such as network-structured problems and minimax problems in [<xref ref-type="bibr" rid="scirp.96879-ref6">6</xref>], and traffic flow network models in [<xref ref-type="bibr" rid="scirp.96879-ref5">5</xref>].</p><p>In this paper, we consider another simpler method for smoothing the exact penalty function F 1 ( x , ρ ) , and construct the corresponding smoothed penalty problem. We show that our smooth penalty function can approximate F 1 ( x , ρ ) well and has better smoothness. Based on our smooth penalty function, we give for (P) a simple smoothed penalty algorithm which is different from the existing literature in that the convergence of it can be obtained without the compactness of the feasible region of (P). We also give an approximate algorithm which enjoys some convergence under mild conditions.</p><p>The rest of this paper is organized as follows. In Section 2, we propose a method for smoothing the l 1 exact penalty function (3). The approximation function we give is convex and smooth. We give some error estimates among the optimal objective function values of the smoothed penalty problem, of the nonsmooth penalty problem and of the original constrained optimization problem. In Section 3, we present an algorithm to compute a solution to (P) based on our smooth penalty function and show the convergence of the algorithm. In particular, we give an approximate algorithm. Some computational aspects are discussed and some experiment results are given in Section 4.</p></sec><sec id="s2"><title>2. A Smooth Penalty Function</title><p>We define a function P ρ ε ( t ) :</p><p>P ρ ε ( t ) = { 1 2 ε e ρ t ε ,   if     t ≤ 0 ; ρ t + 1 2 ε e − ρ t ε ,   if     t &gt; 0 , (6)</p><p>given any ε &gt; 0 , ρ &gt; 0 .</p><p>Let P ρ ( t ) = ρ max { t , 0 } , for any ρ &gt; 0 . It is easy to show that lim ε → 0 P ρ ε ( t ) = P ρ ( t ) .</p><p>The function P ρ ε ( t ) is different from the function P ε ( t ) given in [<xref ref-type="bibr" rid="scirp.96879-ref16">16</xref>] since here we use two parameters ρ and<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x29.png" xlink:type="simple"/></inline-formula>. The function <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x30.png" xlink:type="simple"/></inline-formula> has the following abstractive properties.</p><p>(I) <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x31.png" xlink:type="simple"/></inline-formula>is at least twice continuously differentiable in t for<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x32.png" xlink:type="simple"/></inline-formula>. In fact, we have that</p><disp-formula id="scirp.96879-formula1"><label>(7)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/1-2730217x33.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.96879-formula2"><label>(8)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/1-2730217x34.png"  xlink:type="simple"/></disp-formula><p>(II) <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x35.png" xlink:type="simple"/></inline-formula>is convex and monotonically increasing in t for any given<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x36.png" xlink:type="simple"/></inline-formula>.</p><p>Property (II) can follow from (I) immediately.</p><p>Note that<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x37.png" xlink:type="simple"/></inline-formula>. Consider the penalty function for (P) given by</p><disp-formula id="scirp.96879-formula3"><label>(9)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/1-2730217x38.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x39.png" xlink:type="simple"/></inline-formula> is a penalty parameter. Clearly, <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x40.png" xlink:type="simple"/></inline-formula>is at least twice continuously differentiable in any<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x41.png" xlink:type="simple"/></inline-formula>, if <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x42.png" xlink:type="simple"/></inline-formula> are all at least twice continuously differentiable, and <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x43.png" xlink:type="simple"/></inline-formula> is convex, if <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x44.png" xlink:type="simple"/></inline-formula> are all convex functions.</p><p>The corresponding penalty problem to <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x45.png" xlink:type="simple"/></inline-formula> is given as follows:</p><p><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x46.png" xlink:type="simple"/></inline-formula>.</p><p>Since <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x47.png" xlink:type="simple"/></inline-formula> for any given<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x48.png" xlink:type="simple"/></inline-formula>, we will first study the relationship between (<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x49.png" xlink:type="simple"/></inline-formula>) and (<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x50.png" xlink:type="simple"/></inline-formula>).</p><p>The following Lemma is easily to prove.</p><p>Lemma 2.1 For any given<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x51.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x52.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.96879-formula4"><graphic  xlink:href="//html.scirp.org/file/1-2730217x53.png"  xlink:type="simple"/></disp-formula><p>Two direct results of Lemma 2.1 are given as follows.</p><p>Theorem 2.1 Let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x54.png" xlink:type="simple"/></inline-formula> be a sequence of positive numbers and assume <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x55.png" xlink:type="simple"/></inline-formula> is a solution to <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x56.png" xlink:type="simple"/></inline-formula> for some given<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x57.png" xlink:type="simple"/></inline-formula>. Let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x58.png" xlink:type="simple"/></inline-formula> be an accumulating point of the sequence<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x59.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x60.png" xlink:type="simple"/></inline-formula> is an optimal solution to<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x61.png" xlink:type="simple"/></inline-formula>.</p><p>Theorem 2.2 Let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x62.png" xlink:type="simple"/></inline-formula> be an optimal solution of (<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x63.png" xlink:type="simple"/></inline-formula>) and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x64.png" xlink:type="simple"/></inline-formula> an optimal solution of (<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x65.png" xlink:type="simple"/></inline-formula>). Then</p><disp-formula id="scirp.96879-formula5"><graphic  xlink:href="//html.scirp.org/file/1-2730217x66.png"  xlink:type="simple"/></disp-formula><p>It follows from this conclusion that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x67.png" xlink:type="simple"/></inline-formula> can approximate <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x68.png" xlink:type="simple"/></inline-formula> well.</p><p>Theorem 2.1 and Theorem 2.2 show that an approximate solution to (<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x69.png" xlink:type="simple"/></inline-formula>) is also an approximate solution to (<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x70.png" xlink:type="simple"/></inline-formula>) when <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x71.png" xlink:type="simple"/></inline-formula> is sufficiently small.</p><p>Definition 2.1 A point <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x72.png" xlink:type="simple"/></inline-formula> is a <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x73.png" xlink:type="simple"/></inline-formula>-feasible solution or a <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x74.png" xlink:type="simple"/></inline-formula>-solution if,</p><disp-formula id="scirp.96879-formula6"><graphic  xlink:href="//html.scirp.org/file/1-2730217x75.png"  xlink:type="simple"/></disp-formula><p>Under this definition, we get the following result.</p><p>Theorem 2.3 Let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x76.png" xlink:type="simple"/></inline-formula> be an optimal solution of (<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x77.png" xlink:type="simple"/></inline-formula>) and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x78.png" xlink:type="simple"/></inline-formula> an optimal solution of (<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x79.png" xlink:type="simple"/></inline-formula>). Furthermore, let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x80.png" xlink:type="simple"/></inline-formula> be feasible to (P) and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x80.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x81.png" xlink:type="simple"/></inline-formula> be <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x80.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x82.png" xlink:type="simple"/></inline-formula>-feasible to (P). Then,</p><disp-formula id="scirp.96879-formula7"><graphic  xlink:href="//html.scirp.org/file/1-2730217x83.png"  xlink:type="simple"/></disp-formula><p>Proof Since <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x84.png" xlink:type="simple"/></inline-formula> is <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x85.png" xlink:type="simple"/></inline-formula>-feasible to (P), then</p><disp-formula id="scirp.96879-formula8"><graphic  xlink:href="//html.scirp.org/file/1-2730217x86.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.96879-formula9"><label>(10)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/1-2730217x87.png"  xlink:type="simple"/></disp-formula><p>Since <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x88.png" xlink:type="simple"/></inline-formula> is an optimal solution to (P), we have</p><disp-formula id="scirp.96879-formula10"><graphic  xlink:href="//html.scirp.org/file/1-2730217x89.png"  xlink:type="simple"/></disp-formula><p>Then by Theorem 2.2, we get</p><disp-formula id="scirp.96879-formula11"><graphic  xlink:href="//html.scirp.org/file/1-2730217x90.png"  xlink:type="simple"/></disp-formula><p>Thus,</p><disp-formula id="scirp.96879-formula12"><graphic  xlink:href="//html.scirp.org/file/1-2730217x91.png"  xlink:type="simple"/></disp-formula><p>Therefore, by (10), we obtain that</p><disp-formula id="scirp.96879-formula13"><graphic  xlink:href="//html.scirp.org/file/1-2730217x92.png"  xlink:type="simple"/></disp-formula><p>This completes the proof.</p><p>By Theorem 2.3, if an approximate optimal solution of (<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x93.png" xlink:type="simple"/></inline-formula>) is <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x94.png" xlink:type="simple"/></inline-formula>-feasible, then it is an approximate optimal solution of (P).</p><p>For <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x95.png" xlink:type="simple"/></inline-formula> penalty function<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x96.png" xlink:type="simple"/></inline-formula>, there is a well known result of its exactness (see [<xref ref-type="bibr" rid="scirp.96879-ref3">3</xref>] ):</p><p>(*) There exists a<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x97.png" xlink:type="simple"/></inline-formula>, such that whenever<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x98.png" xlink:type="simple"/></inline-formula>, each optimal solution of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x99.png" xlink:type="simple"/></inline-formula> is also an optimal solution of (P).</p><p>From the above conclusion, we can get the following result.</p><p>Theorem 2.4 For the constant <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x100.png" xlink:type="simple"/></inline-formula> in (*), let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x101.png" xlink:type="simple"/></inline-formula> be an optimal solution of (<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x102.png" xlink:type="simple"/></inline-formula>). Suppose that for any<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x103.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x104.png" xlink:type="simple"/></inline-formula>is an optimal solution of (<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x105.png" xlink:type="simple"/></inline-formula>) where<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x106.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x107.png" xlink:type="simple"/></inline-formula> is a <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x108.png" xlink:type="simple"/></inline-formula>- feasible solution of (P).</p><p>Proof Suppose the contrary that the theorem does not hold, then there exists a<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x109.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x110.png" xlink:type="simple"/></inline-formula>, such that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x111.png" xlink:type="simple"/></inline-formula> is an optimal solution for (<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x112.png" xlink:type="simple"/></inline-formula>), and the set <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x113.png" xlink:type="simple"/></inline-formula> is not empty.</p><p>Since <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x114.png" xlink:type="simple"/></inline-formula> is an optimal solution for (<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x115.png" xlink:type="simple"/></inline-formula>) when<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x116.png" xlink:type="simple"/></inline-formula>, then for any<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x117.png" xlink:type="simple"/></inline-formula>, it holds that</p><disp-formula id="scirp.96879-formula14"><label>(11)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/1-2730217x118.png"  xlink:type="simple"/></disp-formula><p>Because <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x119.png" xlink:type="simple"/></inline-formula> is an optimal solution of (<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x120.png" xlink:type="simple"/></inline-formula>),<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x121.png" xlink:type="simple"/></inline-formula>is a feasible solution of (P). Therefore, we have that</p><disp-formula id="scirp.96879-formula15"><graphic  xlink:href="//html.scirp.org/file/1-2730217x122.png"  xlink:type="simple"/></disp-formula><p>On the other side,</p><disp-formula id="scirp.96879-formula16"><graphic  xlink:href="//html.scirp.org/file/1-2730217x123.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.96879-formula17"><graphic  xlink:href="//html.scirp.org/file/1-2730217x124.png"  xlink:type="simple"/></disp-formula><p>which contradicts (11).</p><p>Theorem 2.4 implies that any optimal solution of the smoothed penalty problem is an approximately feasible solution of (P).</p></sec><sec id="s3"><title>3. The Smoothed Penalty Algorithm</title><p>In this section, we give an algorithm based on the smoothed penalty function given in Section 2 to solve the nonlinear programming problem (P).</p><p>For<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x125.png" xlink:type="simple"/></inline-formula>, we denote</p><disp-formula id="scirp.96879-formula18"><graphic  xlink:href="//html.scirp.org/file/1-2730217x126.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.96879-formula19"><graphic  xlink:href="//html.scirp.org/file/1-2730217x127.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.96879-formula20"><graphic  xlink:href="//html.scirp.org/file/1-2730217x128.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.96879-formula21"><graphic  xlink:href="//html.scirp.org/file/1-2730217x129.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.96879-formula22"><graphic  xlink:href="//html.scirp.org/file/1-2730217x130.png"  xlink:type="simple"/></disp-formula><p>For Problem (P), let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x131.png" xlink:type="simple"/></inline-formula>, for some<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x132.png" xlink:type="simple"/></inline-formula>. We consider the following algorithm.</p><p>Algorithm 3.1</p><p>Step 1. Given<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x133.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x134.png" xlink:type="simple"/></inline-formula>, let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x134.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x135.png" xlink:type="simple"/></inline-formula>, go to Step 2.</p><p>Step 2. Take <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x136.png" xlink:type="simple"/></inline-formula> as the initial point, and compute</p><disp-formula id="scirp.96879-formula23"><label>(12)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/1-2730217x137.png"  xlink:type="simple"/></disp-formula><p>Step 3. Let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x138.png" xlink:type="simple"/></inline-formula>, and</p><disp-formula id="scirp.96879-formula24"><label>(13)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/1-2730217x139.png"  xlink:type="simple"/></disp-formula><p>Let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x140.png" xlink:type="simple"/></inline-formula>, go to Step 2.</p><p>We now give a convergence result for this algorithm under some mild conditions. First, we give the following assumption.</p><p>(A1) For any<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x141.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x141.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x142.png" xlink:type="simple"/></inline-formula>, the set<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x141.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x143.png" xlink:type="simple"/></inline-formula>.</p><p>By this assumption, we obtain the following lemma firstly.</p><p>Lemma 3.1 Suppose that (A1) holds. Let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x144.png" xlink:type="simple"/></inline-formula> be the sequence generated by Algorithm 3.1. Then there exists a natural number<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x144.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x145.png" xlink:type="simple"/></inline-formula>, such that for any<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x144.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x145.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x146.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.96879-formula25"><graphic  xlink:href="//html.scirp.org/file/1-2730217x147.png"  xlink:type="simple"/></disp-formula><p>Proof Suppose the contrary that there exists a subset<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x148.png" xlink:type="simple"/></inline-formula>, such that for any k, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x148.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x149.png" xlink:type="simple"/></inline-formula>, and</p><disp-formula id="scirp.96879-formula26"><graphic  xlink:href="//html.scirp.org/file/1-2730217x150.png"  xlink:type="simple"/></disp-formula><p>Then there exists<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x151.png" xlink:type="simple"/></inline-formula>, such that for any<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x151.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x152.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x151.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x152.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x153.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x151.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x152.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x154.png" xlink:type="simple"/></inline-formula> is given in Theorem 2.4. Therefore, by Theorem 2.4, when<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x151.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x152.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x154.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x155.png" xlink:type="simple"/></inline-formula>, it holds that</p><disp-formula id="scirp.96879-formula27"><graphic  xlink:href="//html.scirp.org/file/1-2730217x156.png"  xlink:type="simple"/></disp-formula><p>This contradicts<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x157.png" xlink:type="simple"/></inline-formula>.</p><p>Remark 3.1 From Lemma 3.1 we know that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x158.png" xlink:type="simple"/></inline-formula> remains unchanged after finite iterations.</p><p>Lemma 3.2 Suppose that (A1) holds. Let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x159.png" xlink:type="simple"/></inline-formula> be the sequence generated by Algorithm 3.1, and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x160.png" xlink:type="simple"/></inline-formula> be any limit point of<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x161.png" xlink:type="simple"/></inline-formula>. Then</p><disp-formula id="scirp.96879-formula28"><graphic  xlink:href="//html.scirp.org/file/1-2730217x162.png"  xlink:type="simple"/></disp-formula><p>Lemma 3.3 Suppose that (A1) holds. Let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x163.png" xlink:type="simple"/></inline-formula> be the sequence generated by Algorithm 3.1. Then for any k,</p><disp-formula id="scirp.96879-formula29"><label>(14)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/1-2730217x164.png"  xlink:type="simple"/></disp-formula><p>From Lemma 3.2 and Lemma 3.3, we have the following theorem.</p><p>Theorem 3.1 Suppose that (A1) holds. Let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x165.png" xlink:type="simple"/></inline-formula> be the sequence generated by Algorithm 3.1. If <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x166.png" xlink:type="simple"/></inline-formula> is any limit point of<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x167.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x167.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x168.png" xlink:type="simple"/></inline-formula> is the optimal solution of (P).</p><p>Before giving another conclusion, we need the following assumption.</p><p>(A2) The function <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x169.png" xlink:type="simple"/></inline-formula> with respect to <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x169.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x170.png" xlink:type="simple"/></inline-formula> is lower semi-continuous at<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x169.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x171.png" xlink:type="simple"/></inline-formula>.</p><p>Theorem 3.2 Suppose that (A1) and (A2) holds. Let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x172.png" xlink:type="simple"/></inline-formula> be the sequence generated by Algorithm 3.1. Then</p><disp-formula id="scirp.96879-formula30"><graphic  xlink:href="//html.scirp.org/file/1-2730217x173.png"  xlink:type="simple"/></disp-formula><p>Proof By Lemma 3.1, there exists<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x174.png" xlink:type="simple"/></inline-formula>, such that for any<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x175.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x176.png" xlink:type="simple"/></inline-formula>. Thus,</p><disp-formula id="scirp.96879-formula31"><graphic  xlink:href="//html.scirp.org/file/1-2730217x177.png"  xlink:type="simple"/></disp-formula><p>Therefore,</p><disp-formula id="scirp.96879-formula32"><graphic  xlink:href="//html.scirp.org/file/1-2730217x178.png"  xlink:type="simple"/></disp-formula><p>From Assumption (A2), we know that<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x179.png" xlink:type="simple"/></inline-formula>. Therefore,</p><disp-formula id="scirp.96879-formula33"><label>(15)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/1-2730217x180.png"  xlink:type="simple"/></disp-formula><p>On the other side, by Lemma 3.3, when<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x181.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.96879-formula34"><graphic  xlink:href="//html.scirp.org/file/1-2730217x182.png"  xlink:type="simple"/></disp-formula><p>Then</p><disp-formula id="scirp.96879-formula35"><label>(16)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/1-2730217x183.png"  xlink:type="simple"/></disp-formula><p>Therefore, from (15) and (16),</p><disp-formula id="scirp.96879-formula36"><graphic  xlink:href="//html.scirp.org/file/1-2730217x184.png"  xlink:type="simple"/></disp-formula><p>Therefore,</p><disp-formula id="scirp.96879-formula37"><graphic  xlink:href="//html.scirp.org/file/1-2730217x185.png"  xlink:type="simple"/></disp-formula><p>The above theorem is different from the conventional conclusion in other literatures with respect to the convergence of penalty method.</p><p>In the following we give an approximate smoothed penalty algorithm for Problem (P).</p><p>Algorithm 3.2</p><p>Step 1. Let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x186.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x186.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x187.png" xlink:type="simple"/></inline-formula>. Given<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x186.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x188.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x186.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x189.png" xlink:type="simple"/></inline-formula>, let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x186.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x189.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x190.png" xlink:type="simple"/></inline-formula>, go to Step 2.</p><p>Step 2. Take <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x191.png" xlink:type="simple"/></inline-formula> as the initial point, and compute</p><disp-formula id="scirp.96879-formula38"><graphic  xlink:href="//html.scirp.org/file/1-2730217x192.png"  xlink:type="simple"/></disp-formula><p>Step 3. If <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x193.png" xlink:type="simple"/></inline-formula> is an <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x193.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x194.png" xlink:type="simple"/></inline-formula>-feasible solution of (P), and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x193.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x195.png" xlink:type="simple"/></inline-formula>, then stop. Otherwise, update <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x193.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x196.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x193.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x196.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x197.png" xlink:type="simple"/></inline-formula> by applying the following rules:</p><p>if <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x198.png" xlink:type="simple"/></inline-formula> is an <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x198.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x199.png" xlink:type="simple"/></inline-formula>-feasible solution of (P), and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x198.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x200.png" xlink:type="simple"/></inline-formula>, let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x198.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x200.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x201.png" xlink:type="simple"/></inline-formula>, and</p><p><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x202.png" xlink:type="simple"/></inline-formula>;</p><p>if <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x203.png" xlink:type="simple"/></inline-formula> is not an <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x204.png" xlink:type="simple"/></inline-formula>-feasible solution of (P), let <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x204.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x205.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x204.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x205.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x206.png" xlink:type="simple"/></inline-formula>.</p><p>Let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x207.png" xlink:type="simple"/></inline-formula>, go to Step 2.</p><p>Remark 3.1 By the analysis of the error estimates in Section 2, We know that whenever the penalty parameter <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x208.png" xlink:type="simple"/></inline-formula> is larger than some threshold, then for any<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x208.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x209.png" xlink:type="simple"/></inline-formula>, an optimal solution of the smoothed penalty problem is also an <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x208.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x210.png" xlink:type="simple"/></inline-formula>-feasible solution, which conversely gives an error bound for the optimal objective function value of the original problem.</p></sec><sec id="s4"><title>4. Computational Aspects and Numerical Results</title><p>In this section, we will discuss some computational aspects and give some numerical results.</p><p>We apply Algorithm 3.2 to nonconvex nonlinear programming problem (P), for which we do not need to compute a global optimal solution but a local one. And in this case, we can also obtain the convergence by the following theorem.</p><p>For<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x211.png" xlink:type="simple"/></inline-formula>, we denote <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x211.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x212.png" xlink:type="simple"/></inline-formula> and</p><disp-formula id="scirp.96879-formula39"><graphic  xlink:href="//html.scirp.org/file/1-2730217x213.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.96879-formula40"><graphic  xlink:href="//html.scirp.org/file/1-2730217x214.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.96879-formula41"><graphic  xlink:href="//html.scirp.org/file/1-2730217x215.png"  xlink:type="simple"/></disp-formula><p>Theorem 4.1 Suppose Algorithm 3.2 does not terminate after finite iterations and the sequence <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x216.png" xlink:type="simple"/></inline-formula> is bounded. Then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x217.png" xlink:type="simple"/></inline-formula> is bounded and any limit point <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x218.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x219.png" xlink:type="simple"/></inline-formula> is feasible to (P), and there exist<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x220.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x221.png" xlink:type="simple"/></inline-formula>, such that</p><disp-formula id="scirp.96879-formula42"><label>(17)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/1-2730217x222.png"  xlink:type="simple"/></disp-formula><p>Proof First we show that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x223.png" xlink:type="simple"/></inline-formula> is bounded. By the assumptions, there is some number L such that</p><disp-formula id="scirp.96879-formula43"><graphic  xlink:href="//html.scirp.org/file/1-2730217x224.png"  xlink:type="simple"/></disp-formula><p>Suppose to the contrary that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x225.png" xlink:type="simple"/></inline-formula> is unbounded. Choose a subsequence of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x226.png" xlink:type="simple"/></inline-formula> if necessary and we assume that</p><disp-formula id="scirp.96879-formula44"><graphic  xlink:href="//html.scirp.org/file/1-2730217x227.png"  xlink:type="simple"/></disp-formula><p>Then we get</p><disp-formula id="scirp.96879-formula45"><graphic  xlink:href="//html.scirp.org/file/1-2730217x228.png"  xlink:type="simple"/></disp-formula><p>which results in a contradiction since f is coercive.</p><p>We now show that any limit point of <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x229.png" xlink:type="simple"/></inline-formula> belongs to<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x229.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x230.png" xlink:type="simple"/></inline-formula>. Without loss of generality, we assume that</p><disp-formula id="scirp.96879-formula46"><graphic  xlink:href="//html.scirp.org/file/1-2730217x231.png"  xlink:type="simple"/></disp-formula><p>Suppose to the contrary that<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x232.png" xlink:type="simple"/></inline-formula>, then there exists some <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x233.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x234.png" xlink:type="simple"/></inline-formula>. Note that<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x234.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x235.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x234.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x235.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x236.png" xlink:type="simple"/></inline-formula>are all continuous.</p><p>Note that</p><disp-formula id="scirp.96879-formula47"><graphic  xlink:href="//html.scirp.org/file/1-2730217x237.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.96879-formula48"><label>(18)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/1-2730217x238.png"  xlink:type="simple"/></disp-formula><p>If<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x239.png" xlink:type="simple"/></inline-formula>, then for any k, the set <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x240.png" xlink:type="simple"/></inline-formula> is not empty. Because J is finite, then there exists a <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x240.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x241.png" xlink:type="simple"/></inline-formula> such that for any k is sufficiently large,<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x240.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x242.png" xlink:type="simple"/></inline-formula>.</p><p>It follows from (18) that</p><disp-formula id="scirp.96879-formula49"><graphic  xlink:href="//html.scirp.org/file/1-2730217x243.png"  xlink:type="simple"/></disp-formula><p>which contradicts the assumption that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x244.png" xlink:type="simple"/></inline-formula> is bounded.</p><p>We now show that (17) holds.</p><p>Since for<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x245.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.96879-formula50"><graphic  xlink:href="//html.scirp.org/file/1-2730217x246.png"  xlink:type="simple"/></disp-formula><p>that is,</p><disp-formula id="scirp.96879-formula51"><label>(19)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/1-2730217x247.png"  xlink:type="simple"/></disp-formula><p>For<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x248.png" xlink:type="simple"/></inline-formula>, set</p><disp-formula id="scirp.96879-formula52"><label>(20)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/1-2730217x249.png"  xlink:type="simple"/></disp-formula><p>then,<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x250.png" xlink:type="simple"/></inline-formula>.</p><p>It follows from (19) and (20) that</p><disp-formula id="scirp.96879-formula53"><graphic  xlink:href="//html.scirp.org/file/1-2730217x251.png"  xlink:type="simple"/></disp-formula><p>Let</p><disp-formula id="scirp.96879-formula54"><graphic  xlink:href="//html.scirp.org/file/1-2730217x252.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.96879-formula55"><graphic  xlink:href="//html.scirp.org/file/1-2730217x253.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.96879-formula56"><graphic  xlink:href="//html.scirp.org/file/1-2730217x254.png"  xlink:type="simple"/></disp-formula><p>Then we have</p><disp-formula id="scirp.96879-formula57"><graphic  xlink:href="//html.scirp.org/file/1-2730217x255.png"  xlink:type="simple"/></disp-formula><p>When<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x256.png" xlink:type="simple"/></inline-formula>, we have that<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x257.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x258.png" xlink:type="simple"/></inline-formula>, and</p><disp-formula id="scirp.96879-formula58"><graphic  xlink:href="//html.scirp.org/file/1-2730217x259.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.96879-formula59"><graphic  xlink:href="//html.scirp.org/file/1-2730217x260.png"  xlink:type="simple"/></disp-formula><p>For<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x261.png" xlink:type="simple"/></inline-formula>, we get that<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x261.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x262.png" xlink:type="simple"/></inline-formula>. Therefore,<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x261.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x263.png" xlink:type="simple"/></inline-formula>. So (17) holds, and this completes the proof.</p><p>Theorem 4.1 implies that the sequence generated by Algorithm 3.2 may converge to a FJ point [<xref ref-type="bibr" rid="scirp.96879-ref17">17</xref>] to (P). The speed of convergence depends on the speed of the subprogram employed in Step 2 to solve the unconstrained optimization problem<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x264.png" xlink:type="simple"/></inline-formula>. Since the Function <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x264.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x265.png" xlink:type="simple"/></inline-formula> is continuously differentiable, we may use a Gradient-type method to get rapid convergence of our algorithm. In the following we will see some numerical experiments.</p><p>Example 4.1 (Hock and Schittkowski [<xref ref-type="bibr" rid="scirp.96879-ref18">18</xref>] ) Consider</p><disp-formula id="scirp.96879-formula60"><graphic  xlink:href="//html.scirp.org/file/1-2730217x266.png"  xlink:type="simple"/></disp-formula><p>The optimal solution to (P4.1) is given by <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x267.png" xlink:type="simple"/></inline-formula> with the optimal objective function value 22.627417. Let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x268.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x269.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x270.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x271.png" xlink:type="simple"/></inline-formula>, and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x271.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x272.png" xlink:type="simple"/></inline-formula> in Algorithm 3.2. We choose <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x271.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x272.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x273.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x271.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x272.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x273.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x274.png" xlink:type="simple"/></inline-formula>-feasibility. Numerical results for (P4.1) are given in <xref ref-type="table" rid="table1">Table 1</xref>, where for <xref ref-type="table" rid="table1">Table 1</xref> we use a Gradient-type algorithm to solve the subproblem in Step 2.</p><p>Example 4.2 (Hock and Schittkowski [<xref ref-type="bibr" rid="scirp.96879-ref18">18</xref>] ) Consider</p><disp-formula id="scirp.96879-formula61"><graphic  xlink:href="//html.scirp.org/file/1-2730217x275.png"  xlink:type="simple"/></disp-formula><p>The optimal solution to (P4.2) is given by <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x276.png" xlink:type="simple"/></inline-formula> with the optimal objective function value −44. Let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x276.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x277.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x276.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x277.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x278.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x276.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x277.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x278.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x279.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x276.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x277.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x278.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x279.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x280.png" xlink:type="simple"/></inline-formula>, and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x276.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x277.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x278.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x279.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x280.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x281.png" xlink:type="simple"/></inline-formula> in Algorithm 3.2. We choose <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x276.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x277.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x278.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x279.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x280.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x281.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x282.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x276.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x277.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x278.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x279.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x280.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x281.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x282.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x283.png" xlink:type="simple"/></inline-formula>-feasibility. Numerical results for (P4.2) are given in <xref ref-type="table" rid="table2">Table 2</xref>, where for <xref ref-type="table" rid="table2">Table 2</xref> we use a Gradient-type algorithm to solve the subproblem in Step 2.</p><p>Example 4.3 (Hock and Schittkowski [<xref ref-type="bibr" rid="scirp.96879-ref18">18</xref>] ) Consider</p><table-wrap id="table1" ><label><xref ref-type="table" rid="table1">Table 1</xref></label><caption><title> Results with a starting point<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x284.png" xlink:type="simple"/></inline-formula></title></caption><table><tbody><thead><tr><th align="center" valign="middle" >k</th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x285.png" xlink:type="simple"/></inline-formula></th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x286.png" xlink:type="simple"/></inline-formula></th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x287.png" xlink:type="simple"/></inline-formula></th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x288.png" xlink:type="simple"/></inline-formula></th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x289.png" xlink:type="simple"/></inline-formula></th></tr></thead><tr><td align="center" valign="middle" >1</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >−23.007125</td><td align="center" valign="middle" >(4.008345, 2.852342, 2.012314)</td><td align="center" valign="middle" >0.536164</td></tr><tr><td align="center" valign="middle" >2</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >0.1</td><td align="center" valign="middle" >−22.664486</td><td align="center" valign="middle" >(3.999987, 2.839677, 1.995346)</td><td align="center" valign="middle" >5.305913E−002</td></tr><tr><td align="center" valign="middle" >3</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >0.01</td><td align="center" valign="middle" >−22.630667</td><td align="center" valign="middle" >(3.999131, 2.838421, 1.993677)</td><td align="center" valign="middle" >5.315008E−003</td></tr><tr><td align="center" valign="middle" >4</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >0.001</td><td align="center" valign="middle" >−22.627288</td><td align="center" valign="middle" >(3.999045, 2.838296, 1.993510)</td><td align="center" valign="middle" >5.459629E−004</td></tr><tr><td align="center" valign="middle" >5</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >0.0001</td><td align="center" valign="middle" >−22.626939</td><td align="center" valign="middle" >(3.999036, 2.838283, 1.993493)</td><td align="center" valign="middle" >5.355349E−005</td></tr></tbody></table></table-wrap><table-wrap id="table2" ><label><xref ref-type="table" rid="table2">Table 2</xref></label><caption><title> Results with a starting point<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x290.png" xlink:type="simple"/></inline-formula></title></caption><table><tbody><thead><tr><th align="center" valign="middle" >k</th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x291.png" xlink:type="simple"/></inline-formula></th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x292.png" xlink:type="simple"/></inline-formula></th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x293.png" xlink:type="simple"/></inline-formula></th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x294.png" xlink:type="simple"/></inline-formula></th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x295.png" xlink:type="simple"/></inline-formula></th></tr></thead><tr><td align="center" valign="middle" >1</td><td align="center" valign="middle" >4</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >−43.803614</td><td align="center" valign="middle" >(1.714448E−002, 0.988781, 2.003621, −0.941664)</td><td align="center" valign="middle" >−2.005386E−002</td></tr><tr><td align="center" valign="middle" >2</td><td align="center" valign="middle" >4</td><td align="center" valign="middle" >0.1</td><td align="center" valign="middle" >−43.981817</td><td align="center" valign="middle" >(−3.180834E−003, 0.994377, 2.006306, −0.986584)</td><td align="center" valign="middle" >−8.705388E−005</td></tr><tr><td align="center" valign="middle" >3</td><td align="center" valign="middle" >4</td><td align="center" valign="middle" >0.01</td><td align="center" valign="middle" >−43.997686</td><td align="center" valign="middle" >(−5.896973E-003, 0.994811, 2.005919, −0.993193)</td><td align="center" valign="middle" >1.858380E−005</td></tr><tr><td align="center" valign="middle" >4</td><td align="center" valign="middle" >4</td><td align="center" valign="middle" >0.001</td><td align="center" valign="middle" >−43.999246</td><td align="center" valign="middle" >(−6.175823E−003, 0.994855, 2.005868, −0.993889)</td><td align="center" valign="middle" >2.131278E−006</td></tr></tbody></table></table-wrap><table-wrap id="table3" ><label><xref ref-type="table" rid="table3">Table 3</xref></label><caption><title> Results with a starting point<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x296.png" xlink:type="simple"/></inline-formula></title></caption><table><tbody><thead><tr><th align="center" valign="middle" >k</th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x297.png" xlink:type="simple"/></inline-formula></th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x298.png" xlink:type="simple"/></inline-formula></th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x299.png" xlink:type="simple"/></inline-formula></th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x300.png" xlink:type="simple"/></inline-formula></th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-2730217x301.png" xlink:type="simple"/></inline-formula></th></tr></thead><tr><td align="center" valign="middle" >1</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >658.071632</td><td align="center" valign="middle" >(2.380946, 2.034365, −0.383740, 4.714288, −0.608364, 1.018706, 1.617855)</td><td align="center" valign="middle" >21.195303</td></tr><tr><td align="center" valign="middle" >2</td><td align="center" valign="middle" >2</td><td align="center" valign="middle" >21.195303</td><td align="center" valign="middle" >681.505337</td><td align="center" valign="middle" >(2.060105, 1.967376, −0.366454, 4.424977, −0.621624, 0.964168, 1.679359)</td><td align="center" valign="middle" >1.279039</td></tr><tr><td align="center" valign="middle" >3</td><td align="center" valign="middle" >2</td><td align="center" valign="middle" >2.119530</td><td align="center" valign="middle" >680.823561</td><td align="center" valign="middle" >(2.278954, 1.954036, −0.432778, 4.375586, −0.624030, 1.027213, 1.607750)</td><td align="center" valign="middle" >0.154300</td></tr><tr><td align="center" valign="middle" >4</td><td align="center" valign="middle" >2</td><td align="center" valign="middle" >0.211953</td><td align="center" valign="middle" >680.651942</td><td align="center" valign="middle" >(2.325791, 1.951432, −0.453430, 4.366594, −0.624490, 1.038047, 1.594178)</td><td align="center" valign="middle" >1.593473E−002</td></tr><tr><td align="center" valign="middle" >5</td><td align="center" valign="middle" >2</td><td align="center" valign="middle" >2.119530E−002</td><td align="center" valign="middle" >680.633110</td><td align="center" valign="middle" >(2.330656, 1.951086, −0.456864, 4.365882, −0.624528, 1.039155, 1.592410)</td><td align="center" valign="middle" >1.602348E−003</td></tr><tr><td align="center" valign="middle" >6</td><td align="center" valign="middle" >2</td><td align="center" valign="middle" >2.119530E−003</td><td align="center" valign="middle" >680.631250</td><td align="center" valign="middle" >(2.331044, 1.951023, −0.456929, 4.365892, −0.624526, 1.039303, 1.592087)</td><td align="center" valign="middle" >1.601163E−004</td></tr><tr><td align="center" valign="middle" >7</td><td align="center" valign="middle" >2</td><td align="center" valign="middle" >2.119530E−004</td><td align="center" valign="middle" >680.631062</td><td align="center" valign="middle" >(2.331083, 1.951017, −0.456935, 4.365893, −0.624526, 1.039318, 1.592054)</td><td align="center" valign="middle" >1.813545E−005</td></tr><tr><td align="center" valign="middle" >8</td><td align="center" valign="middle" >2</td><td align="center" valign="middle" >2.119530E−005</td><td align="center" valign="middle" >680.631044</td><td align="center" valign="middle" >(2.331087, 1.951017, −0.456936, 4.365893, −0.624526, 1.039319, 1.592051)</td><td align="center" valign="middle" >3.983831E−006</td></tr></tbody></table></table-wrap><disp-formula id="scirp.96879-formula62"><graphic  xlink:href="//html.scirp.org/file/1-2730217x302.png"  xlink:type="simple"/></disp-formula><p>The optimal solution to (P4.3) is given by <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x303.png" xlink:type="simple"/></inline-formula></p><p>with the optimal objective function value 680.6300573. Let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x304.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x305.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x306.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x307.png" xlink:type="simple"/></inline-formula>, and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x307.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x308.png" xlink:type="simple"/></inline-formula> in Algorithm 3.2. We choose <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x307.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x308.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x309.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x307.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x308.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x309.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/1-2730217x310.png" xlink:type="simple"/></inline-formula>-feasibility. Numerical results for (P4.3) are given in <xref ref-type="table" rid="table3">Table 3</xref>, where for <xref ref-type="table" rid="table3">Table 3</xref> we use a Gradient-type algorithm to solve the subproblem in Step 2.</p><p>From the above classical examples, we can see that our approximate algorithm can produce the approximate optimal solutions of the corresponding problem successfully. But the convergent speed can be improved if we use the Newton-type method in Step 2 of Algorithm 3.2, which will be researched in our future work.</p></sec><sec id="s5"><title>Funding</title><p>This research is supported by the Natural Science Foundations of Shandong Province (ZR2015AL011).</p></sec><sec id="s6"><title>Conflicts of Interest</title><p>The author declares no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s7"><title>Cite this paper</title><p>Liu, B.Z. (2019) A Smoothing Penalty Function Method for the Constrained Optimization Problem. Open Journal of Optimization, 8, 113-126 https://doi.org/10.4236/ojop.2019.84010</p></sec></body><back><ref-list><title>References</title><ref id="scirp.96879-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Zangwill, W.I. (1967) Nonlinear Programming via Penalty Function Management. Science, 13, 334-358. https://doi.org/10.1287/mnsc.13.5.344</mixed-citation></ref><ref id="scirp.96879-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Di Pillo, G., Liuzzi, G. and Lucidi, S. (2011) An Exact Penalty-Lagrangian Approach for Large-Scale Nonlinear Programming. Optimization, 60, 223-252.  
https://doi.org/10.1080/02331934.2010.505964</mixed-citation></ref><ref id="scirp.96879-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Han, S.P. and Mangasarian, O.L. (1979) Exact Penalty Functions in Nonlinear Programming. Mathematical Programming, 17, 251-269.  
https://doi.org/10.1007/BF01588250</mixed-citation></ref><ref id="scirp.96879-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Ben-tal, A. and Teboulle, M. (1989) A Smoothing Technique for Non-Differentiable Optimization Problems. Lecture Notes in Mathematics, Springer Verlag, Berlin, Vol. 1405, 1-11. https://doi.org/10.1007/BFb0083582</mixed-citation></ref><ref id="scirp.96879-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Herty, M., Klar, A., Singh, A.K. and Spellucci, P. (2007) Smoothed Penalty Algorithms for Optimization of Nonlinear Models. Computational Optimization and Applications, 37, 157-176. https://doi.org/10.1007/s10589-007-9011-6</mixed-citation></ref><ref id="scirp.96879-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Pinar, M.C. and Zenios, S.A. (1994) On Smoothing Exact Penalty Functions for Convex Constarained Optimization. SIAM Journal on Optimization, 4, 486-511.  
https://doi.org/10.1137/0804027</mixed-citation></ref><ref id="scirp.96879-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Auslender, A., Cominetti, R. and Haddou, M. (1997) Asymptotic Analysis for Penalty and Barrier Methods in Convex and Linear Programming. Mathematics of Operational Research, 22, 43-62. https://doi.org/10.1287/moor.22.1.43</mixed-citation></ref><ref id="scirp.96879-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Gonzaga, C.C. and Castillo, R.A. (2003) A Nonlinear Programming Algorithm Based on Non-Coercive Penalty Functions. Mathematical Programming, 96, 87-101.  
https://doi.org/10.1007/s10107-002-0332-z</mixed-citation></ref><ref id="scirp.96879-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Xu, X.S., Meng, Z.Q., Sun, J.W., Huang, L.G. and Shen, R. (2013) A Second-Order Smooth Penalty Function Algorithm for Constarained Optimization Problems. Computational Optimization and Application, 55, 155-172.  
https://doi.org/10.1007/s10589-012-9504-9</mixed-citation></ref><ref id="scirp.96879-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Lian, S.J. (2012) Smoothing Approximation to L1 Exact Penalty Function for Inequality Constrained Optimization. Applied Mathematics and Computation, 219, 3113-3121. https://doi.org/10.1016/j.amc.2012.09.042</mixed-citation></ref><ref id="scirp.96879-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Chen, C. and Mangasarian, O.L. (1995) Smoothing Methods for Convex Inequalities and Linear Complementarity Problems. Mathematical Programming, 71, 51-69.  
https://doi.org/10.1007/BF01592244</mixed-citation></ref><ref id="scirp.96879-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Wu, Z.Y., Lee, H.W.J., Bai, F.S. and Zhang, L.S. (2017) Quadratic Smoothing Approximation to L1 Exact Penalty Function in Global Optimization. Journal of Industrial and Management Optimization, 1, 533-547.  
https://doi.org/10.3934/jimo.2005.1.533</mixed-citation></ref><ref id="scirp.96879-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Meng, Z.Q., Dang, C.Y. and Yang, X.Q. (2006) On the Smoothing of the Square-Root Exact Penalty Function for Inequality Constrained Optimization. Computational Optimization and Applications, 35, 375-398.  
https://doi.org/10.1007/s10589-006-8720-6</mixed-citation></ref><ref id="scirp.96879-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Wu, Z.Y., Bai, F.S., Yang, X.Q. and Zhang, L.S. (2004) An Exact Lower Order Penalty Function and Its Smoothing in Nonlinear Programming. Optimization, 53, 51-68. https://doi.org/10.1080/02331930410001662199</mixed-citation></ref><ref id="scirp.96879-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Lian, S.J. (2016) Smoothing of the Lower-Order Exact Penalty Function for Inequality Constrained Optimization. Journal of Inequalities and Applications, 2016, Article No. 185. https://doi.org/10.1186/s13660-016-1126-9</mixed-citation></ref><ref id="scirp.96879-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Liu, B.Z. (2009) On Smoothing Exact Penalty Functions for Nonlinear Constrained Optimization Problems. Journal of Applied Mathematics and Computing, 30, 259-270. https://doi.org/10.1007/s12190-008-0171-z</mixed-citation></ref><ref id="scirp.96879-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Mangasarian, O.L. and Fromovitz, S. (1967) The Fritz John Necessary Optimality Conditions in the Presence of Equality and Inequality Constraints. Journal of Mathematical Analysis and Applications, 17, 37-47.  
https://doi.org/10.1016/0022-247X(67)90163-1</mixed-citation></ref><ref id="scirp.96879-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Hock, W. and Schittkowski, K. (1981) Test Examples for Nonlinear Programming Codes. Lecture Notes in Economics and Mathematical Systems, Vol. 187, Springer-Verlag, Berlin, Heidelberg, New York.  
https://doi.org/10.1007/978-3-642-48320-2</mixed-citation></ref></ref-list></back></article>