<?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">ENG</journal-id><journal-title-group><journal-title>Engineering</journal-title></journal-title-group><issn pub-type="epub">1947-3931</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/eng.2015.79052</article-id><article-id pub-id-type="publisher-id">ENG-59776</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Engineering</subject></subj-group></article-categories><title-group><article-title>
 
 
  A Smoothing Neural Network Algorithm for Absolute Value Equations
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>eiran</surname><given-names>Wang</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Zhensheng</surname><given-names>Yu</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Chang</surname><given-names>Gao</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>College of Science, University of Shanghai for Science and Technology, Shanghai</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>zhenshengyu@usst.edu.cn(ZY)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>21</day><month>09</month><year>2015</year></pub-date><volume>07</volume><issue>09</issue><fpage>567</fpage><lpage>576</lpage><history><date date-type="received"><day>31</day>	<month>July</month>	<year>2015</year></date><date date-type="rev-recd"><day>accepted</day>	<month>17</month>	<year>September</year>	</date><date date-type="accepted"><day>21</day>	<month>September</month>	<year>2015</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, we give a smoothing neural network algorithm for absolute value equations (AVE). By using smoothing function, we reformulate the AVE as a differentiable unconstrained optimization and we establish a steep descent method to solve it. We prove the stability and the equilibrium state of the neural network to be a solution of the AVE. The numerical tests show the efficient of the proposed algorithm.
 
</p></abstract><kwd-group><kwd>Absolute Value Equations</kwd><kwd> Neural Network</kwd><kwd> Smoothing Function</kwd><kwd> Linear Complementarity Problem</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Consider the following absolute value problem [<xref ref-type="bibr" rid="scirp.59776-ref1">1</xref>] -[<xref ref-type="bibr" rid="scirp.59776-ref3">3</xref>] :</p><disp-formula id="scirp.59776-formula1027"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-8102448x5.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x6.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x7.png" xlink:type="simple"/></inline-formula>is absolute value of x, it is a subclass of absolute value equations <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x8.png" xlink:type="simple"/></inline-formula> which is proposed by Rohn [<xref ref-type="bibr" rid="scirp.59776-ref4">4</xref>] , and it is a NP-hard problem [<xref ref-type="bibr" rid="scirp.59776-ref1">1</xref>] .</p><p>The AVE has closed relation with some important problems, for example, the linear programming, Quadratic programming problem and the bimatrix game problem. The above problems can be transformed into the linear complementarity problem, and the linear complementarity problem can be transformed into the absolute value equations. Due to its simple and special structure and application value, the research on absolute value equation has drawn attention of many researchers. Mangasarian [<xref ref-type="bibr" rid="scirp.59776-ref5">5</xref>] pointed out the relationship between backpack feasibility problem and the AVE. The problem of AVE has been studied deeply by Yamashita and Fukushima [<xref ref-type="bibr" rid="scirp.59776-ref6">6</xref>] , and the results of the research on the problem of AVE are applied to the problem of location selection, good results are obtained. The numerical solution methods of AVE, such as Newton method, quasi-Newton method, are reachable in [<xref ref-type="bibr" rid="scirp.59776-ref7">7</xref>] -[<xref ref-type="bibr" rid="scirp.59776-ref12">12</xref>] .</p><p>In this paper, we present a smooth approximation function which is based on neural network method to solve the AVE. By using a smooth approximation function of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x9.png" xlink:type="simple"/></inline-formula>, we turn it into a differentiable unconstrained optimization problem. Furthermore, we obtain the approximate solution of the original problem based on our established unconstrained optimization problem and the neural network model. Compared with the Newton method, the neural network model needs less requirement for the hardware of compute and the iterative process is real-time.</p></sec><sec id="s2"><title>2. The Smoothing Reformulating of AVE</title><p>The absolute value Equation (1) is equivalent to the nonlinear equations:</p><disp-formula id="scirp.59776-formula1028"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-8102448x10.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x11.png" xlink:type="simple"/></inline-formula>. Since it is a non smooth function, we construct a smooth function to approximate it.</p><p>Definition 1.1 Smoothing approximation function, given a function<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x12.png" xlink:type="simple"/></inline-formula>, smoothing function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x13.png" xlink:type="simple"/></inline-formula> is called smoothing approximation function, if for any<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x14.png" xlink:type="simple"/></inline-formula>, there exists <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x15.png" xlink:type="simple"/></inline-formula> so that</p><disp-formula id="scirp.59776-formula1029"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x16.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x17.png" xlink:type="simple"/></inline-formula> is not dependent on the x.</p><p>In this paper, we use the aggregate function [<xref ref-type="bibr" rid="scirp.59776-ref13">13</xref>] to give a smooth approximation of the absolute value equation:</p><p>Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x18.png" xlink:type="simple"/></inline-formula>, so every component of the absolute value function can be recorded as</p><disp-formula id="scirp.59776-formula1030"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x19.png"  xlink:type="simple"/></disp-formula><p>For any<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x20.png" xlink:type="simple"/></inline-formula>, the definition of smoothing function is as follows</p><disp-formula id="scirp.59776-formula1031"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x21.png"  xlink:type="simple"/></disp-formula><p>So the function of absolute value <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x22.png" xlink:type="simple"/></inline-formula> is obtained as follows</p><disp-formula id="scirp.59776-formula1032"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x23.png"  xlink:type="simple"/></disp-formula><p>Thus the absolute value equation is transformed into the following smooth equations</p><disp-formula id="scirp.59776-formula1033"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-8102448x24.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x25.png" xlink:type="simple"/></inline-formula></p><p>We define the function as follows</p><disp-formula id="scirp.59776-formula1034"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x26.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x27.png" xlink:type="simple"/></inline-formula> is the smoothing approximation of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x28.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x29.png" xlink:type="simple"/></inline-formula>is said as the energy function</p><p>of the neural network. Thus, the approximate solution of the absolute value equation is transformed to the global optimal solution of the optimization problem <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x30.png" xlink:type="simple"/></inline-formula></p></sec><sec id="s3"><title>3. Neural Network Model for Absolute Value Equation</title><p>Consider the following unconstrained optimization problem</p><disp-formula id="scirp.59776-formula1035"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-8102448x31.png"  xlink:type="simple"/></disp-formula><p>the gradient can be calculated by the following formula:</p><disp-formula id="scirp.59776-formula1036"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x32.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x33.png" xlink:type="simple"/></inline-formula></p><p>now, we can give a neural network model for solving the absolute value equation, which is based on the steepest descent neural network model for (4).</p><disp-formula id="scirp.59776-formula1037"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-8102448x34.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x35.png" xlink:type="simple"/></inline-formula> is a parameter <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x36.png" xlink:type="simple"/></inline-formula> represents that one can use a larger step size in the simulation, specific details can be referred to [<xref ref-type="bibr" rid="scirp.59776-ref14">14</xref>] -[<xref ref-type="bibr" rid="scirp.59776-ref16">16</xref>] . To simplify our analysis, we let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x37.png" xlink:type="simple"/></inline-formula> throughout this paper. A block diagram (<xref ref-type="fig" rid="fig1">Figure 1</xref>) of the neural network is shown as follows.</p></sec><sec id="s4"><title>4. Analysis of Stability and Existence</title><p>Next, we recall some materials about first order differential equations (ODE) [<xref ref-type="bibr" rid="scirp.59776-ref17">17</xref>] :</p><disp-formula id="scirp.59776-formula1038"><label>(6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-8102448x38.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x39.png" xlink:type="simple"/></inline-formula> is a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x40.png" xlink:type="simple"/></inline-formula> mapping. We also introduce three kinds of stability that will be discussed later.</p><p>Definition 3.1 A point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x41.png" xlink:type="simple"/></inline-formula> is called an equilibrium point or a steady state of the dynamic system (6)</p><p>if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x42.png" xlink:type="simple"/></inline-formula> If the reisaneighborhood <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x43.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x44.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x45.png" xlink:type="simple"/></inline-formula> a<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x46.png" xlink:type="simple"/></inline-formula>,</p><p>then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x47.png" xlink:type="simple"/></inline-formula> is called an isolated equilibrium point.</p><p>Lemma 3.1 Assume that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x48.png" xlink:type="simple"/></inline-formula> is a continuous mapping. Then, for any <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x49.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x50.png" xlink:type="simple"/></inline-formula>, there exists a local solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x51.png" xlink:type="simple"/></inline-formula> for (6) with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x52.png" xlink:type="simple"/></inline-formula> for some<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x53.png" xlink:type="simple"/></inline-formula>. If, in addition, H is locally Lipschitz continuous at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x54.png" xlink:type="simple"/></inline-formula>, then the solution is unique.</p><p>Definition 3.2 (Asymptotic stability). An isolated equilibrium point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x55.png" xlink:type="simple"/></inline-formula> is said to be asymptotically stable if</p><p>in addition to being Lyapunov stable, it has the property that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x56.png" xlink:type="simple"/></inline-formula> as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x57.png" xlink:type="simple"/></inline-formula> for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x58.png" xlink:type="simple"/></inline-formula></p><p>Definition 3.3 (Lyapunov stability). Stability in the sense of Lyapunov Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x59.png" xlink:type="simple"/></inline-formula> be a solution for (6). An isolated equilibrium point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x60.png" xlink:type="simple"/></inline-formula> is Lyapunov stable if for any <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x61.png" xlink:type="simple"/></inline-formula> and any <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x62.png" xlink:type="simple"/></inline-formula> there exists a <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x63.png" xlink:type="simple"/></inline-formula></p><p>such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x64.png" xlink:type="simple"/></inline-formula> for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x65.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x66.png" xlink:type="simple"/></inline-formula></p><p>Definition 3.4 (Lyapunov function). Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x67.png" xlink:type="simple"/></inline-formula> be an open neighborhood of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x68.png" xlink:type="simple"/></inline-formula>. A continuously differentiable function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x69.png" xlink:type="simple"/></inline-formula> is said to be a Lyapunov function at the state <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x70.png" xlink:type="simple"/></inline-formula> over the set <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x71.png" xlink:type="simple"/></inline-formula> for Equation (6) if</p><fig id="fig1"  position="float"><label><xref ref-type="fig" rid="fig1">Figure 1</xref></label><caption><title> The block diagram of neural network (5)</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/3-8102448x72.png"/></fig><disp-formula id="scirp.59776-formula1039"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x73.png"  xlink:type="simple"/></disp-formula><p>Lemma 3.2 a) An isolated equilibrium point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x74.png" xlink:type="simple"/></inline-formula> is Lyapunov stable if there exists a Lyapunov function over some neighborhood <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x75.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x76.png" xlink:type="simple"/></inline-formula></p><p>b) An isolated equilibrium point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x77.png" xlink:type="simple"/></inline-formula> is asymptotically stable if there is a Lyapunov function over some</p><p>neighborhood <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x78.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x79.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x80.png" xlink:type="simple"/></inline-formula> for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x80.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x81.png" xlink:type="simple"/></inline-formula></p><p>Lemma 3.3 [<xref ref-type="bibr" rid="scirp.59776-ref11">11</xref>] For any<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x82.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x83.png" xlink:type="simple"/></inline-formula>, if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x84.png" xlink:type="simple"/></inline-formula> then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x85.png" xlink:type="simple"/></inline-formula>.</p><p>Theorem 3.1 <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x86.png" xlink:type="simple"/></inline-formula> is Lyapunov function over some neighborhood <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x87.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x88.png" xlink:type="simple"/></inline-formula></p><p>Proof. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x89.png" xlink:type="simple"/></inline-formula> be the solution of the absolute value equation.</p><p>1) The function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x90.png" xlink:type="simple"/></inline-formula> is obtained by our smooth approximation. So <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x91.png" xlink:type="simple"/></inline-formula> is continuous with respect to</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x92.png" xlink:type="simple"/></inline-formula>. Obviously <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x93.png" xlink:type="simple"/></inline-formula> have continuous partial derivatives at all components of the<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x94.png" xlink:type="simple"/></inline-formula>.</p><p>2) Since<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x95.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x96.png" xlink:type="simple"/></inline-formula></p><p>3) If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x97.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x98.png" xlink:type="simple"/></inline-formula> is always holds</p><p>So, by the Definition 3.4 we know that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x99.png" xlink:type="simple"/></inline-formula> is Lyapunov function over some neighborhood <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x100.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x101.png" xlink:type="simple"/></inline-formula></p><p>Theorem 3.2 Each solution of the absolute value equation is the equilibrium point of the neural network (5).</p><p>Conversely, if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x102.png" xlink:type="simple"/></inline-formula>, the equilibrium point of the neural network (5) is the solution of the absolute value equation.</p><p>Proof. Assume that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x103.png" xlink:type="simple"/></inline-formula> is the solution of the absolute value equation, since<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x104.png" xlink:type="simple"/></inline-formula>, for any</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x105.png" xlink:type="simple"/></inline-formula>we have <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x106.png" xlink:type="simple"/></inline-formula> if and only if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x107.png" xlink:type="simple"/></inline-formula> is the solution of the absolute value equation.</p><p>Obviously, we got<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x108.png" xlink:type="simple"/></inline-formula>, so <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x109.png" xlink:type="simple"/></inline-formula> is the equilibrium point of the neural network (5). On the other</p><p>hand if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x110.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x111.png" xlink:type="simple"/></inline-formula>, then we get<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x112.png" xlink:type="simple"/></inline-formula>. So, the equilibrium point of the neural network (5) is the solution of the absolute value equation.</p><p>Next, we can prove that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x113.png" xlink:type="simple"/></inline-formula> is not only Lyapunov stable and asymptotically stable.</p><p>Theorem 3.3. Let the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x114.png" xlink:type="simple"/></inline-formula> be the isolated equilibrium of the neural network. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x115.png" xlink:type="simple"/></inline-formula>is the Lyapunov stability and asymptotic stability for neural networks.</p><p>Proof. Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x116.png" xlink:type="simple"/></inline-formula> is the isolated equilibrium of the neural network, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x117.png" xlink:type="simple"/></inline-formula>the solution of the absolute value eq-</p><p>uation is known by the Theorem 3.2. Therefore,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x118.png" xlink:type="simple"/></inline-formula>. In addition, Since x is the isolated equilibrium</p><p>point, so <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x119.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x120.png" xlink:type="simple"/></inline-formula> are hold over the neighborhood <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x121.png" xlink:type="simple"/></inline-formula> of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x122.png" xlink:type="simple"/></inline-formula>. By</p><p>Theorem 3.1 we know that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x123.png" xlink:type="simple"/></inline-formula> is Lyapunov function over some neighborhood <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x124.png" xlink:type="simple"/></inline-formula> of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x125.png" xlink:type="simple"/></inline-formula>, so by Lemma 3.2 the isolated equilibrium <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x126.png" xlink:type="simple"/></inline-formula> is Lyapunov stable. Because <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x126.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x127.png" xlink:type="simple"/></inline-formula> is isolated, it is not difficult to compute:</p><disp-formula id="scirp.59776-formula1040"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x128.png"  xlink:type="simple"/></disp-formula><p>Consequently, we have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x129.png" xlink:type="simple"/></inline-formula>. By Lemma 3.2, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x130.png" xlink:type="simple"/></inline-formula>is asymptotic stability.</p></sec><sec id="s5"><title>5. Numerical Experiment</title><p>In this section we give some smooth of numerical tests of neural network algorithm, due to the complementarity problem can be transformed to absolute value equations, we consider the linear complementarity problem which is equivalent to the absolute value equations as test cases.</p><p>For a given matrix <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x131.png" xlink:type="simple"/></inline-formula> and vector<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x132.png" xlink:type="simple"/></inline-formula>, The linear complementarity problem <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x133.png" xlink:type="simple"/></inline-formula> is to find a vector <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x134.png" xlink:type="simple"/></inline-formula> to satisfy<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x134.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x135.png" xlink:type="simple"/></inline-formula>.</p><p>From the Theorem 2 in the literature [<xref ref-type="bibr" rid="scirp.59776-ref11">11</xref>] , if 1 is not the eigenvalues of the matrix<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x136.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x137.png" xlink:type="simple"/></inline-formula> is equivalent to the following absolute value equation:</p><disp-formula id="scirp.59776-formula1041"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x138.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x139.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x139.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x140.png" xlink:type="simple"/></inline-formula> is the solution of the absolute value equation.</p><p>Example 1 [<xref ref-type="bibr" rid="scirp.59776-ref11">11</xref>] . Consider the following linear complementary problem:</p><disp-formula id="scirp.59776-formula1042"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x141.png"  xlink:type="simple"/></disp-formula><p>Since1 is not included in the eigenvalues of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x142.png" xlink:type="simple"/></inline-formula>, then the linear complementary problem can be transformed into the following absolute value equation and they are equivalent: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x143.png" xlink:type="simple"/></inline-formula></p><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x144.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.59776-formula1043"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x145.png"  xlink:type="simple"/></disp-formula><p>We can find that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x146.png" xlink:type="simple"/></inline-formula> is a solution of the absolute equation.</p><p>By using the neural network model, the initial point is generated by x0 = rand (n,1), and the program is performed under the environment of MATLAB7.11.0. The following two figures (<xref ref-type="fig" rid="fig2">Figure 2</xref> and <xref ref-type="fig" rid="fig3">Figure 3</xref>) describe how the approximate solution of example 1 and the energy function varies with time.</p><fig id="fig2"  position="float"><label><xref ref-type="fig" rid="fig2">Figure 2</xref></label><caption><title> Transient behavior of x(t) of example 1</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/3-8102448x147.png"/></fig><fig id="fig3"  position="float"><label><xref ref-type="fig" rid="fig3">Figure 3</xref></label><caption><title> Transient behavior of energy function of example 1</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/3-8102448x148.png"/></fig><p>Since<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x149.png" xlink:type="simple"/></inline-formula>, then we can capture the solution of the linear complementary problem<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x149.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x150.png" xlink:type="simple"/></inline-formula>, the solution is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x149.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x151.png" xlink:type="simple"/></inline-formula>.</p><p>Example 2 [<xref ref-type="bibr" rid="scirp.59776-ref11">11</xref>] . Consider the following linear complementary problem:</p><disp-formula id="scirp.59776-formula1044"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x152.png"  xlink:type="simple"/></disp-formula><p>Through calculation, we can get one eigenvalue of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x153.png" xlink:type="simple"/></inline-formula> is 1. By literature [<xref ref-type="bibr" rid="scirp.59776-ref11">11</xref>] , we can find that if 1 is the eigenvalue of matrix<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x154.png" xlink:type="simple"/></inline-formula>, then the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x154.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x155.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x154.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x155.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x156.png" xlink:type="simple"/></inline-formula> of the linear complementary problem need to be multiplied by a positive constant <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x154.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x155.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x156.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x157.png" xlink:type="simple"/></inline-formula> and makes 1 not the eigenvalue of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x154.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x155.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x156.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x157.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x158.png" xlink:type="simple"/></inline-formula> (and the solution of the linear complementary pro- blem keeps invariant). Then we can transform linear complementary problem into absolute value equation by applied Theorem 2 and Theorem 3 in literature [<xref ref-type="bibr" rid="scirp.59776-ref11">11</xref>] .</p><p>Set<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x159.png" xlink:type="simple"/></inline-formula>, then we can find that 1 is not included in the eigenvalues of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x160.png" xlink:type="simple"/></inline-formula>. And <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x161.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x161.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x162.png" xlink:type="simple"/></inline-formula> have the common optimal solution, while z can be transformed into the absolute value equation by applying the Theorem 2. Then, we have</p><disp-formula id="scirp.59776-formula1045"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x163.png"  xlink:type="simple"/></disp-formula><p>And the absolute value equation is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x164.png" xlink:type="simple"/></inline-formula>, where:</p><disp-formula id="scirp.59776-formula1046"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x165.png"  xlink:type="simple"/></disp-formula><p>Thus, we can get one solution of the absolute value equation whcih is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x166.png" xlink:type="simple"/></inline-formula>, then the following two figures (<xref ref-type="fig" rid="fig4">Figure 4</xref> and <xref ref-type="fig" rid="fig5">Figure 5</xref>) describe how the approximate solution of example 2 and the energy function varies with time</p><p>Since<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x167.png" xlink:type="simple"/></inline-formula>, then we can capture the solution of the linear complementary problem LCP(M,q), the solution is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x167.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x168.png" xlink:type="simple"/></inline-formula>.</p><p>Example 3. Consider the following linear complementary problem:</p><fig id="fig4"  position="float"><label><xref ref-type="fig" rid="fig4">Figure 4</xref></label><caption><title> Transient behavior of x(t) of example 2</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/3-8102448x169.png"/></fig><fig id="fig5"  position="float"><label><xref ref-type="fig" rid="fig5">Figure 5</xref></label><caption><title> Transient behavior of energy function of example 2</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/3-8102448x170.png"/></fig><disp-formula id="scirp.59776-formula1047"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x171.png"  xlink:type="simple"/></disp-formula><p>Through calculation we can get one eigenvalue of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x172.png" xlink:type="simple"/></inline-formula> is 1. And the same as example 2, set<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x172.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x173.png" xlink:type="simple"/></inline-formula>, then, we can find that:</p><disp-formula id="scirp.59776-formula1048"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x174.png"  xlink:type="simple"/></disp-formula><p>And the absolute value equation is:<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x175.png" xlink:type="simple"/></inline-formula>, where:</p><disp-formula id="scirp.59776-formula1049"><graphic  xlink:href="http://html.scirp.org/file/3-8102448x176.png"  xlink:type="simple"/></disp-formula><p>Thus, we can get the solution of the absolute value equation which is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x177.png" xlink:type="simple"/></inline-formula>, then the following two figures (<xref ref-type="fig" rid="fig6">Figure 6</xref> and <xref ref-type="fig" rid="fig7">Figure 7</xref>) describe how the approximate solution of example 3 and the energy function varies with time</p><p>Since<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8102448x178.png" xlink:type="simple"/></inline-formula>, then we can capture the solution of the linear complementary problem LCP(M,q), the solution is z<sup>*</sup> = (2.5 2.5 0 2.5).</p></sec><sec id="s6"><title>6. Conclusion</title><p>This paper adopted the aggregate function method to tackle the absolute value equation with smooth processing, and then turned the absolute value equation into a differentiable unconstrained optimization problem. In order to obtain the approximate solution of the original problem we use the proposed neural network model to solve the</p><fig id="fig6"  position="float"><label><xref ref-type="fig" rid="fig6">Figure 6</xref></label><caption><title> Transient behavior of x(t) of example 3</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/3-8102448x179.png"/></fig><fig id="fig7"  position="float"><label><xref ref-type="fig" rid="fig7">Figure 7</xref></label><caption><title> Transient behavior of energy function of example 3</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/3-8102448x180.png"/></fig><p>unconstrained optimization problem. At the same time, we propose one neural network which is based on different energy function. Through the transformation between linear complementary problem and absolute value equation, it can be used to solve the linear complementary problem, too. For the traditional energy function based on the NCP function, we can avoid a lot of matrix calculation. Numerical examples show that the algorithm is very effective for solving this kind of absolute value equation, and the accuracy of solution can be controlled by the parameters completely. In view of the fact that it is relatively difficult to solve the absolute value equation, the proposed method in this paper can be used to solve the absolute value problem effectively.</p></sec><sec id="s7"><title>Acknowledgements</title><p>This work is supported by National Natural Science Foundation of China (No.11171221) and Innovation Program of Shanghai Municipal Education Commission (No.14YZ094).</p></sec><sec id="s8"><title>Cite this paper</title><p>FeiranWang,ZhenshengYu,ChangGao, (2015) A Smoothing Neural Network Algorithm for Absolute Value Equations. Engineering,07,567-576. doi: 10.4236/eng.2015.79052</p></sec></body><back><ref-list><title>References</title><ref id="scirp.59776-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Mangasarian, O.L. and Meyer, R.R. (2006) Absolute Value Equations. Linear Algebra and Its Applications, 419, 359-367. http://dx.doi.org/10.1016/j.laa.2006.05.004</mixed-citation></ref><ref id="scirp.59776-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Rohn, J. (2004) A Theorem of the Alternatives for the Equation Ax + B|x| = b. Linear and Multilinear Algebra, 52, 421-426. http://dx.doi.org/10.1080/0308108042000220686</mixed-citation></ref><ref id="scirp.59776-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Han, J.Y., Xiu, N.H. and Qi, H.D. (2006) Nonlinear Complementary Theory and Algorithm. Shanghai Science and Technology Press, Shanghai.</mixed-citation></ref><ref id="scirp.59776-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Rohn, J.R. (1989) Systems of Linear Interval Equations. Linear Algebra and Its Applications, 126, 39-78. 
http://dx.doi.org/10.1016/0024-3795(89)90004-9</mixed-citation></ref><ref id="scirp.59776-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Mangasarian, O.L. (2009) Knapsack Feasibility as an Absolute Value Equation Solvable by Successive Linear Programming. Optimization Letter, 3, 161-170. http://dx.doi.org/10.1007/s11590-008-0102-9</mixed-citation></ref><ref id="scirp.59776-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Yamashita, S. and Fukushima, M. (2001) A Branch-and-Bound Method for Absolute Value Program and Its Application to Facility Location Problems. Kyoto University, Kyoto.</mixed-citation></ref><ref id="scirp.59776-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Mangasarian, O.L. (2013) Absolute Value Equation Solution via Dual Complementarity. Optimization Letters, 7, 625-630. http://dx.doi.org/10.1007/s11590-012-0469-5</mixed-citation></ref><ref id="scirp.59776-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Mangasarian, O.L. (2009) A Generalized Newton Method for Absolute Value Equations. Optimization Letters, 3, 101-108. http://dx.doi.org/10.1007/s11590-008-0094-5</mixed-citation></ref><ref id="scirp.59776-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Caccetta, L., Qu, B. and Zhou, G.L. (2011) A Globally and Quadratically Convergent Method for Absolute Value Equations. Computational Optimization and Applications, 48, 45-58. http://dx.doi.org/10.1007/s10589-009-9242-9</mixed-citation></ref><ref id="scirp.59776-ref10"><label>10</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Rohn</surname><given-names> J. </given-names></name>,<etal>et al</etal>. (<year>2009</year>)<article-title>An Algorithm for Solving the Absolute Value Equation</article-title><source> Electronic Journal of Linear Algebra</source><volume> 18</volume>,<fpage> 589</fpage>-<lpage>599</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.59776-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Yong, L.Q. and Tuo, S.H. (2012) Quasi-Newton Method to Absolute Value Equations Based on Aggregate Function. Journal of System science and Mathematics, 32, 1427-1436.</mixed-citation></ref><ref id="scirp.59776-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Yong, L.Q., Liu, S.Y. and Tuo, S.H. (2014) Transformation of the Linear Complementarity Problem and the Absolute Value Equation. Journal of Jilin University (Science Edition), 4, 638-686</mixed-citation></ref><ref id="scirp.59776-ref13"><label>13</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Li</surname><given-names> X.S. </given-names></name>,<etal>et al</etal>. (<year>1991</year>)<article-title>The Aggregation Function Method for Solving the Problem of Nonlinear Mini-Max Problem</article-title><source> Computational Structural Mechanics and Its Application</source><volume> 8</volume>,<fpage> 85</fpage>-<lpage>92</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.59776-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Chen, J.-S., Ko, C.-H. and Pan, S.H. (2010) A Neural Network Based on the Generalized Fischer-Burmeister Function for Nonlinear Complementarity Problems. Information Sciences, 180, 697-711.  
http://dx.doi.org/10.1016/j.ins.2009.11.014</mixed-citation></ref><ref id="scirp.59776-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Ma, H.Q. and Huang, N.-J. (20145) Neural Network Smoothing Approximation Method for Stochastic Variational Inequality Problems. Journal of Industrial and Management Optimization, 7, 645-660.</mixed-citation></ref><ref id="scirp.59776-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Liao, L.Z., Qi, H.D. and Qi, L.Q. (2001) Solving Nonlinear Complementarity Problems with Neural Networks: A Reformulation Method Approach. Journal of Computational and Applied Mathematics, 131, 343-359. 
http://dx.doi.org/10.1016/S0377-0427(00)00262-4</mixed-citation></ref><ref id="scirp.59776-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Miller, R.K. and Michel, A.N. (1982) Ordinary Differential Equations. Academic Press, Waltham.</mixed-citation></ref></ref-list></back></article>