<?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">AM</journal-id><journal-title-group><journal-title>Applied Mathematics</journal-title></journal-title-group><issn pub-type="epub">2152-7385</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/am.2016.712117</article-id><article-id pub-id-type="publisher-id">AM-69049</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Sectorial Approach of the Gradient Observability of the Hyperbolic Semilinear Systems Intern and Boundary Cases
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Adil</surname><given-names>Khazari</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>Ali</surname><given-names>Boutoulout</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>Laboratory of Modeling Analysis &amp;amp; Computer Science (MACS), Department of Mathematics and Computer Science, Faculty of Sciences, Moulay Ismail University, Meknes, Morocco</addr-line></aff><pub-date pub-type="epub"><day>25</day><month>07</month><year>2016</year></pub-date><volume>07</volume><issue>12</issue><fpage>1326</fpage><lpage>1339</lpage><history><date date-type="received"><day>15</day>	<month>May</month>	<year>2016</year></date><date date-type="rev-recd"><day>accepted</day>	<month>23</month>	<year>July</year>	</date><date date-type="accepted"><day>26</day>	<month>July</month>	<year>2016</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  The aim of this paper is to study the notion of the gradient observability on a subregion 
  w
   of the evolution domain 
  W
   and also we consider the case where the subregion of interest is a boundary part of the system evolution domain for the class of semilinear hyperbolic systems. We show, under some hypotheses, that the flux reconstruction is guaranteed by means of the sectorial approach combined with fixed point techniques. This leads to several interesting results which are performed through numerical examples and simulations.
 
</p></abstract><kwd-group><kwd>Distributed Systems</kwd><kwd> Semilinear Hyperbolic Systems</kwd><kwd> Boundary Reconstruction</kwd><kwd> Regional Boundary Gradient Observability</kwd><kwd> Regional Gradient Observability</kwd><kwd> Gradient Observability</kwd><kwd> Fixed Point</kwd><kwd> Sectorial Operator</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The regional observability is one of the most important notions of systems theory. It consists to reconstruct the trajectory only in a subregion in the whole domain. This concept has been widely developed see [<xref ref-type="bibr" rid="scirp.69049-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.69049-ref2">2</xref>] . Afterwards, the concept of regional gradient observability for parabolic systems has been developed see [<xref ref-type="bibr" rid="scirp.69049-ref3">3</xref>] - [<xref ref-type="bibr" rid="scirp.69049-ref7">7</xref>] and for hyperbolic systems see [<xref ref-type="bibr" rid="scirp.69049-ref8">8</xref>] [<xref ref-type="bibr" rid="scirp.69049-ref9">9</xref>] , it concerns the reconstruction of the gradient conditions initials only in a critical subregion interior to the system domain without the knowledge of the conditions initials.</p><p>The aim of this papers is to study the regional gradient observability of an important class of semilinear hyperbolic systems. For the sake of brevity and simplicity, we shall focus our attention on the case where the dynamic of the system is a sectorial operator linear and generating an analytical semigroup <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x6.png" xlink:type="simple"/></inline-formula> on the Hilbert space.</p><p>The plan of the paper is as follows: Section 2 is devoted to the presentation of problem of regional gradient of semilinear hyperbolic systems, and then we give definitions and propositions of this new concept. Section 3 concerns the sectorial approach. Section 4 concerns the numerical approach which gives algorithm can simulated by a numerical example.</p></sec><sec id="s2"><title>2. Position of the Problem</title><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x7.png" xlink:type="simple"/></inline-formula> be an open bounded subset of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x8.png" xlink:type="simple"/></inline-formula>. For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x9.png" xlink:type="simple"/></inline-formula>, we denote<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x10.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x11.png" xlink:type="simple"/></inline-formula>and we consider the following hyperbolic semi-linear system</p><disp-formula id="scirp.69049-formula1272"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x12.png"  xlink:type="simple"/></disp-formula><p>and the linear part of the system (1) is</p><disp-formula id="scirp.69049-formula1273"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x13.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x14.png" xlink:type="simple"/></inline-formula> is an elliptic and second order operator and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x15.png" xlink:type="simple"/></inline-formula> is a nonlinear operator assumed to be locally Lipschitzian, system (1) is augmented with the output function given by</p><disp-formula id="scirp.69049-formula1274"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x16.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x17.png" xlink:type="simple"/></inline-formula> (resp. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x18.png" xlink:type="simple"/></inline-formula>if the subregion of interest is a boundary part <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x19.png" xlink:type="simple"/></inline-formula> of the system evolution domain<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x20.png" xlink:type="simple"/></inline-formula>) is a linear operator, and depends on the number q and the nature of the considered sensors. The observation space is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x21.png" xlink:type="simple"/></inline-formula> and assumes that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x22.png" xlink:type="simple"/></inline-formula>.</p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x24.png" xlink:type="simple"/></inline-formula></p><p>For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x25.png" xlink:type="simple"/></inline-formula> the system (2) is equivalent to</p><disp-formula id="scirp.69049-formula1275"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x26.png"  xlink:type="simple"/></disp-formula><p>and the system (1) is equivalent to</p><disp-formula id="scirp.69049-formula1276"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x27.png"  xlink:type="simple"/></disp-formula><p>augmented with the output function</p><disp-formula id="scirp.69049-formula1277"><label>(6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x28.png"  xlink:type="simple"/></disp-formula><p>with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x29.png" xlink:type="simple"/></inline-formula> the system (4) has a unique solution see [<xref ref-type="bibr" rid="scirp.69049-ref10">10</xref>] - [<xref ref-type="bibr" rid="scirp.69049-ref12">12</xref>] that can be expressed as<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x30.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x31.png" xlink:type="simple"/></inline-formula>is the semigroup generated by the operator<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x32.png" xlink:type="simple"/></inline-formula>.</p><p>Let’s consider a basis of eigenfunctions of the operator<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x33.png" xlink:type="simple"/></inline-formula>, with the condition of Dirichlet which noted <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x34.png" xlink:type="simple"/></inline-formula> and eigenvalues associated are <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x35.png" xlink:type="simple"/></inline-formula> with multiplicity<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x36.png" xlink:type="simple"/></inline-formula>.</p><p>We can write for any <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x37.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.69049-formula1278"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x38.png"  xlink:type="simple"/></disp-formula><p>The system (5) has a unique solution that can be expressed as follows see [<xref ref-type="bibr" rid="scirp.69049-ref13">13</xref>]</p><disp-formula id="scirp.69049-formula1279"><label>(7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x39.png"  xlink:type="simple"/></disp-formula><p>then the output Equation (6) can be expressed by</p><disp-formula id="scirp.69049-formula1280"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x40.png"  xlink:type="simple"/></disp-formula><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x41.png" xlink:type="simple"/></inline-formula> be the observation operator defined by</p><disp-formula id="scirp.69049-formula1281"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x42.png"  xlink:type="simple"/></disp-formula><p>which is linear and bounded with the adjoint <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x43.png" xlink:type="simple"/></inline-formula> given by</p><disp-formula id="scirp.69049-formula1282"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x44.png"  xlink:type="simple"/></disp-formula><p>Consider the operator <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x45.png" xlink:type="simple"/></inline-formula> given by the formula</p><disp-formula id="scirp.69049-formula1283"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x46.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.69049-formula1284"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x47.png"  xlink:type="simple"/></disp-formula><p><img data-original="http://html.scirp.org/file/6-7403217x48.png" />(resp. <img data-original="http://html.scirp.org/file/6-7403217x49.png" />if the subregion of interest is a boundary part <img data-original="http://html.scirp.org/file/6-7403217x50.png" /> of the system evolution domain<img data-original="http://html.scirp.org/file/6-7403217x51.png" />.)</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x52.png" xlink:type="simple"/></inline-formula>is the adjoint of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x53.png" xlink:type="simple"/></inline-formula>.</p><p>The initial condition <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x54.png" xlink:type="simple"/></inline-formula> (initial state <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x55.png" xlink:type="simple"/></inline-formula> and initial speed<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x56.png" xlink:type="simple"/></inline-formula>) and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x57.png" xlink:type="simple"/></inline-formula> its gradient are assumed un- known. For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x58.png" xlink:type="simple"/></inline-formula> an open subregion of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x59.png" xlink:type="simple"/></inline-formula>, consider the restriction operators</p><disp-formula id="scirp.69049-formula1285"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x60.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69049-formula1286"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x61.png"  xlink:type="simple"/></disp-formula><p>with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x62.png" xlink:type="simple"/></inline-formula> is the adjoint of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x63.png" xlink:type="simple"/></inline-formula> (resp. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x64.png" xlink:type="simple"/></inline-formula>is the adjoint of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x65.png" xlink:type="simple"/></inline-formula>).</p><p>(resp. For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x66.png" xlink:type="simple"/></inline-formula>, consider</p><disp-formula id="scirp.69049-formula1287"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x67.png"  xlink:type="simple"/></disp-formula><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x68.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x69.png" xlink:type="simple"/></inline-formula></p><p>with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x70.png" xlink:type="simple"/></inline-formula> (resp. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x71.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x72.png" xlink:type="simple"/></inline-formula>) is the adjoint of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x73.png" xlink:type="simple"/></inline-formula> (resp. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x74.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x75.png" xlink:type="simple"/></inline-formula>) which is the restriction operator.</p><p>The trace operator is defined by</p><disp-formula id="scirp.69049-formula1288"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x76.png"  xlink:type="simple"/></disp-formula><p>with</p><disp-formula id="scirp.69049-formula1289"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x77.png"  xlink:type="simple"/></disp-formula><p>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x78.png" xlink:type="simple"/></inline-formula> is the trace operator of order zero which is linear, continuous, and surjective. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x79.png" xlink:type="simple"/></inline-formula>(resp.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x80.png" xlink:type="simple"/></inline-formula>) denote the adjoint of operator <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x80.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x81.png" xlink:type="simple"/></inline-formula> (resp.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x80.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x82.png" xlink:type="simple"/></inline-formula>).</p><p>Finally, we reconstruct the operator as follows</p><disp-formula id="scirp.69049-formula1290"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x83.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69049-formula1291"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x84.png"  xlink:type="simple"/></disp-formula><p>Definition 1</p><p>・ The system (2) together with the output (3) is said to be exactly (resp. weakly) G-observable in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x85.png" xlink:type="simple"/></inline-formula> if</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x86.png" xlink:type="simple"/></inline-formula>(resp. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x87.png" xlink:type="simple"/></inline-formula></p><p>・ The system (2) together with the output (3) is said to be exactly (resp. weakly) G-observable in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x88.png" xlink:type="simple"/></inline-formula> if</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x89.png" xlink:type="simple"/></inline-formula>(resp.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x90.png" xlink:type="simple"/></inline-formula>).</p><p>Remark 1.</p><p>・ If the system (2) together with the output (3) is exactly G-observable on <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x91.png" xlink:type="simple"/></inline-formula> (resp. in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x92.png" xlink:type="simple"/></inline-formula>) then it is weakly G-observable on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x93.png" xlink:type="simple"/></inline-formula>.</p><p>・ For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x94.png" xlink:type="simple"/></inline-formula> the system (2) together with the output (3) is exactly (resp. weakly) G-observable on <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x94.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x95.png" xlink:type="simple"/></inline-formula> then it is exactly (resp. weakly) G-observable on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x94.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x96.png" xlink:type="simple"/></inline-formula>. see [<xref ref-type="bibr" rid="scirp.69049-ref9">9</xref>] .</p><p>Definition 2 The semilinear system (1) augmented by the output function (3) is said to be gradient observable or G-observable on <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x97.png" xlink:type="simple"/></inline-formula> (resp. in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x98.png" xlink:type="simple"/></inline-formula>) if we can reconstruct the gradient of its state and speed on a subregion <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x99.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x100.png" xlink:type="simple"/></inline-formula> (resp. in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x101.png" xlink:type="simple"/></inline-formula> of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x102.png" xlink:type="simple"/></inline-formula>).</p><p>Let the gradient <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x103.png" xlink:type="simple"/></inline-formula> of the initial condition <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x104.png" xlink:type="simple"/></inline-formula> be decomposed as follows:</p><disp-formula id="scirp.69049-formula1292"><label>(8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x105.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x106.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x107.png" xlink:type="simple"/></inline-formula>and</p><disp-formula id="scirp.69049-formula1293"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x108.png"  xlink:type="simple"/></disp-formula><p>Problem (*)</p><p>Given system (1) augmented by the output (3) on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x109.png" xlink:type="simple"/></inline-formula>, is it possible to reconstruct <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x110.png" xlink:type="simple"/></inline-formula> which is the gradient of initial condition of (1) in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x111.png" xlink:type="simple"/></inline-formula>? (resp. on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x112.png" xlink:type="simple"/></inline-formula>.)</p></sec><sec id="s3"><title>3. Sectorial Case</title><p>In this section, we study Problem (*) under some supplementary hypothesis on <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x113.png" xlink:type="simple"/></inline-formula> and the nonlinear operator<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x114.png" xlink:type="simple"/></inline-formula>.</p><p>With the same notations as in the previous case, we reconsider the semilinear system described by the Equ- ation (5) augmented by the output (6) where one suppose that the operator <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x115.png" xlink:type="simple"/></inline-formula> generates an analytic semigroup</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x116.png" xlink:type="simple"/></inline-formula>in the state space E.</p><p>Let’s consider <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x117.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x118.png" xlink:type="simple"/></inline-formula> with a is a positive real number and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x119.png" xlink:type="simple"/></inline-formula></p><p>denotes the real part of spectrum of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x120.png" xlink:type="simple"/></inline-formula>. Then for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x121.png" xlink:type="simple"/></inline-formula>, we define the fractional power <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x122.png" xlink:type="simple"/></inline-formula> as a closed operator with domain <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x123.png" xlink:type="simple"/></inline-formula> which is a dense Banach space on E endowed with the graph norm</p><disp-formula id="scirp.69049-formula1294"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x124.png"  xlink:type="simple"/></disp-formula><p>Let us consider <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x125.png" xlink:type="simple"/></inline-formula> then the objective is to study the Problem (*) in V endowed with the norm</p><disp-formula id="scirp.69049-formula1295"><label>(9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x126.png"  xlink:type="simple"/></disp-formula><p>we have</p><disp-formula id="scirp.69049-formula1296"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x127.png"  xlink:type="simple"/></disp-formula><p>where c is a constant. For more details, see ( [<xref ref-type="bibr" rid="scirp.69049-ref2">2</xref>] [<xref ref-type="bibr" rid="scirp.69049-ref11">11</xref>] [<xref ref-type="bibr" rid="scirp.69049-ref14">14</xref>] ).</p><p>For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x128.png" xlink:type="simple"/></inline-formula>, assume that</p><disp-formula id="scirp.69049-formula1297"><label>(10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x129.png"  xlink:type="simple"/></disp-formula><p>and the operator <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x130.png" xlink:type="simple"/></inline-formula> is well defined and satisfies the following conditions:</p><disp-formula id="scirp.69049-formula1298"><label>(11)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x131.png"  xlink:type="simple"/></disp-formula><p>This hypothesis are verified by many important class of semi linear hyperbolic systems. Various examples are given and discussed in ( [<xref ref-type="bibr" rid="scirp.69049-ref14">14</xref>] - [<xref ref-type="bibr" rid="scirp.69049-ref16">16</xref>] ).</p><p>We show that there exists a set of admissible initial gradient states and admissible initial gradient speed, admissible in the sense that allows to obtain system (2) weakly G-observable.</p><p>Let’s consider</p><disp-formula id="scirp.69049-formula1299"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x132.png"  xlink:type="simple"/></disp-formula><p>given by</p><disp-formula id="scirp.69049-formula1300"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x133.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x134.png" xlink:type="simple"/></inline-formula> is the restriction in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x134.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x135.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x134.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x136.png" xlink:type="simple"/></inline-formula> is the residual part of the initial gradient condition <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x134.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x137.png" xlink:type="simple"/></inline-formula> given by (8). we assume that</p><disp-formula id="scirp.69049-formula1301"><label>(12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x138.png"  xlink:type="simple"/></disp-formula><p>then we have the following result</p><p>Proposition 1 Suppose that the system (2) is weakly G-observable on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x139.png" xlink:type="simple"/></inline-formula>, and (10), (11) and (12) satisfied, then the following assertion hold:</p><p>・ There exists <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x140.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x140.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x141.png" xlink:type="simple"/></inline-formula> such that for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x140.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x141.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x142.png" xlink:type="simple"/></inline-formula> the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x140.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x141.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x142.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x143.png" xlink:type="simple"/></inline-formula> has a unique</p><p>fixed point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x144.png" xlink:type="simple"/></inline-formula> in the ball <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x144.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x145.png" xlink:type="simple"/></inline-formula> solution of the system (5).</p><p>・ There exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x146.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x147.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x147.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x148.png" xlink:type="simple"/></inline-formula>, the mapping f is Lipschitzian where</p><disp-formula id="scirp.69049-formula1302"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x149.png"  xlink:type="simple"/></disp-formula><p>Proof.</p><p>・ Since<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x150.png" xlink:type="simple"/></inline-formula>, then there exists <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x151.png" xlink:type="simple"/></inline-formula> such that</p><disp-formula id="scirp.69049-formula1303"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x152.png"  xlink:type="simple"/></disp-formula><p>and we have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x153.png" xlink:type="simple"/></inline-formula>.</p><p>Let us consider <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x154.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x154.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x155.png" xlink:type="simple"/></inline-formula> in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x154.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x155.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x156.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x154.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x155.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x156.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x157.png" xlink:type="simple"/></inline-formula> we have</p><disp-formula id="scirp.69049-formula1304"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x158.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.69049-formula1305"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x159.png"  xlink:type="simple"/></disp-formula><p>Using Holder’s inequality we take</p><disp-formula id="scirp.69049-formula1306"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x160.png"  xlink:type="simple"/></disp-formula><p>and using (11), we have</p><disp-formula id="scirp.69049-formula1307"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x161.png"  xlink:type="simple"/></disp-formula><p>On the other hand, we have</p><disp-formula id="scirp.69049-formula1308"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x162.png"  xlink:type="simple"/></disp-formula><p>but we have</p><disp-formula id="scirp.69049-formula1309"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x163.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.69049-formula1310"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x164.png"  xlink:type="simple"/></disp-formula><p>Using Holder’s inequality, we obtain</p><disp-formula id="scirp.69049-formula1311"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x165.png"  xlink:type="simple"/></disp-formula><p>then we have</p><disp-formula id="scirp.69049-formula1312"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x166.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69049-formula1313"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x167.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.69049-formula1314"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x168.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x169.png" xlink:type="simple"/></inline-formula>.</p><p>Finally</p><disp-formula id="scirp.69049-formula1315"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x170.png"  xlink:type="simple"/></disp-formula><p>Let’s consider<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x171.png" xlink:type="simple"/></inline-formula>,</p><p>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x172.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x172.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x173.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x172.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x174.png" xlink:type="simple"/></inline-formula>.</p><p>It is sufficient to take <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x175.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x176.png" xlink:type="simple"/></inline-formula>, then for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x176.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x177.png" xlink:type="simple"/></inline-formula> we have <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x176.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x178.png" xlink:type="simple"/></inline-formula></p><p>・ Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x179.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x180.png" xlink:type="simple"/></inline-formula> be the solution of the system (5) corresponding respectively to the initial gradient condition, we suppose that we have the same residual part (<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x181.png" xlink:type="simple"/></inline-formula>), then for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x181.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x182.png" xlink:type="simple"/></inline-formula> we have</p><disp-formula id="scirp.69049-formula1316"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x183.png"  xlink:type="simple"/></disp-formula><p>but we have</p><disp-formula id="scirp.69049-formula1317"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x184.png"  xlink:type="simple"/></disp-formula><p>and we deduce that</p><disp-formula id="scirp.69049-formula1318"><label>(13)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x185.png"  xlink:type="simple"/></disp-formula><p>Finally, f is Lipschitzian in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x186.png" xlink:type="simple"/></inline-formula>.</p><p>Remark 2 The given results show that there exists a set of admissible gradient initial state. If the gradient initial state is taken in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x187.png" xlink:type="simple"/></inline-formula>, with a bounded residual part then the system (5) has only one solution in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x188.png" xlink:type="simple"/></inline-formula>.</p><p>Here, we show that if the measurements are in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x189.png" xlink:type="simple"/></inline-formula>, with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x189.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x190.png" xlink:type="simple"/></inline-formula> is suitably chosen then the gradient initial state can be obtained as a solution of a fixed point problem.</p><p>Let us consider the mapping</p><disp-formula id="scirp.69049-formula1319"><label>(14)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x191.png"  xlink:type="simple"/></disp-formula><p>and assume that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x192.png" xlink:type="simple"/></inline-formula>.</p><p>Then we have the following result.</p><p>Proposition 2 Assume that</p><disp-formula id="scirp.69049-formula1320"><label>(15)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x193.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69049-formula1321"><label>(16)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x194.png"  xlink:type="simple"/></disp-formula><p>and if the linear system (2) is weakly G-observable on Γ and (11) holds, then there exists a<sub>2</sub> &gt; 0 and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x195.png" xlink:type="simple"/></inline-formula>, such that for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x196.png" xlink:type="simple"/></inline-formula> , the function (14) admit a unique fixed point in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x196.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x197.png" xlink:type="simple"/></inline-formula> which correspond to the gradient initial condition <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x196.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x197.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x198.png" xlink:type="simple"/></inline-formula> observed on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x196.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x197.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x198.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x199.png" xlink:type="simple"/></inline-formula>. Furthermore, the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x196.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x197.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x198.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x200.png" xlink:type="simple"/></inline-formula> is Lipschitzian.</p><p>Proof. Let us consider <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x201.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x202.png" xlink:type="simple"/></inline-formula> in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x202.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x203.png" xlink:type="simple"/></inline-formula>, using ((9),(11), (13), (15) and (16)) we have</p><disp-formula id="scirp.69049-formula1322"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x204.png"  xlink:type="simple"/></disp-formula><p>Or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x205.png" xlink:type="simple"/></inline-formula>, then there exists <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x205.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x206.png" xlink:type="simple"/></inline-formula> such that</p><disp-formula id="scirp.69049-formula1323"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x207.png"  xlink:type="simple"/></disp-formula><p>and we have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x208.png" xlink:type="simple"/></inline-formula>.</p><p>Then we obtain</p><disp-formula id="scirp.69049-formula1324"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x209.png"  xlink:type="simple"/></disp-formula><p>On the other hand, using the inequalities (11), (15) and (16), we have</p><disp-formula id="scirp.69049-formula1325"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x210.png"  xlink:type="simple"/></disp-formula><p>Let’s consider<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x211.png" xlink:type="simple"/></inline-formula>.</p><p>In order to have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x212.png" xlink:type="simple"/></inline-formula>, it suffices to consider<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x212.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x213.png" xlink:type="simple"/></inline-formula>.</p><p>For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x214.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.69049-formula1326"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x215.png"  xlink:type="simple"/></disp-formula><p>which gives</p><disp-formula id="scirp.69049-formula1327"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x216.png"  xlink:type="simple"/></disp-formula><p>Then</p><disp-formula id="scirp.69049-formula1328"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x217.png"  xlink:type="simple"/></disp-formula><p>which shows that h is Lipschitzian.</p><p>Remark 3 We can consider the regional intern problem in a subregion <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x218.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x219.png" xlink:type="simple"/></inline-formula> (see [<xref ref-type="bibr" rid="scirp.69049-ref17">17</xref>] ).</p></sec><sec id="s4"><title>4. Numerical Approach</title><p>We show the existence of a sequence of the initial gradient state and initial gradient speed which converges respectively to the regional initial gradient state and initial gradient speed to be observed on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x220.png" xlink:type="simple"/></inline-formula>.</p><p>Proposition 3 We suppose that the hypothesis of the proposition (3.2) are verified, then for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x221.png" xlink:type="simple"/></inline-formula>, the sequence of the initial gradient condition defined in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x221.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x222.png" xlink:type="simple"/></inline-formula> by</p><disp-formula id="scirp.69049-formula1329"><label>(17)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x223.png"  xlink:type="simple"/></disp-formula><p>converges to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x224.png" xlink:type="simple"/></inline-formula> the regional initial gradient condition (the regional initial gradient state <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x225.png" xlink:type="simple"/></inline-formula> and the regional initial gradient speed<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x226.png" xlink:type="simple"/></inline-formula>) to be observed on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x226.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x227.png" xlink:type="simple"/></inline-formula>. where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x226.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x228.png" xlink:type="simple"/></inline-formula> is the residual part of the initial gradient condition.</p><p>Proof. We have,</p><disp-formula id="scirp.69049-formula1330"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x229.png"  xlink:type="simple"/></disp-formula><p>or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x230.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x231.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x232.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x233.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.69049-formula1331"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x234.png"  xlink:type="simple"/></disp-formula><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x235.png" xlink:type="simple"/></inline-formula> is a Cauchy sequence on V and is convergent.</p><p>We consider <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x236.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x237.png" xlink:type="simple"/></inline-formula> with</p><disp-formula id="scirp.69049-formula1332"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x238.png"  xlink:type="simple"/></disp-formula><p>we have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x239.png" xlink:type="simple"/></inline-formula>.</p><p>So</p><disp-formula id="scirp.69049-formula1333"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x240.png"  xlink:type="simple"/></disp-formula><p>then</p><disp-formula id="scirp.69049-formula1334"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x241.png"  xlink:type="simple"/></disp-formula><p>which show that the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x242.png" xlink:type="simple"/></inline-formula> converges to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x243.png" xlink:type="simple"/></inline-formula> in Y on the other hand, we have</p><disp-formula id="scirp.69049-formula1335"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x244.png"  xlink:type="simple"/></disp-formula><p>hence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x245.png" xlink:type="simple"/></inline-formula> converges to the regional initial gradient <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x246.png" xlink:type="simple"/></inline-formula> to be observed on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x246.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x247.png" xlink:type="simple"/></inline-formula>.</p><p>Algorithm</p><p>Let’s consider<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x248.png" xlink:type="simple"/></inline-formula>, then we have</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x249.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x250.png" xlink:type="simple"/></inline-formula>.</p><p>Thus, we obtain the following algorithm:</p><disp-formula id="scirp.69049-formula1336"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x251.png"  xlink:type="simple"/></disp-formula></sec><sec id="s5"><title>5. Simulations</title><p>In this part, we give a numerical illustrating example and the simulations are related to the choice of the subregion, the sensor location.</p><sec id="s5_1"><title>5.1. Internal Subregion Target</title><p>Consider the one dimensional semilinear hyperbolic system</p><disp-formula id="scirp.69049-formula1337"><label>(18)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x252.png"  xlink:type="simple"/></disp-formula><p>augmented with the output function described by a pointwise sensor located in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x253.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x254.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.69049-formula1338"><label>(19)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x255.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x256.png" xlink:type="simple"/></inline-formula> is a complete set of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x257.png" xlink:type="simple"/></inline-formula>. Let’s consider</p><disp-formula id="scirp.69049-formula1339"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x258.png"  xlink:type="simple"/></disp-formula><p>Using the previous algorithm, we obtain the following figures.</p><p>・ <xref ref-type="fig" rid="fig1">Figure 1</xref> shows that the estimate gradient state is very close to the real initial gradient state in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x259.png" xlink:type="simple"/></inline-formula>.</p><p>・ <xref ref-type="fig" rid="fig2">Figure 2</xref> shows that the estimate gradient speed is very close to the real initial gradient speed in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x260.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s5_2"><title>5.2. Boundary Subregion Target</title><p>Consider the two dimensional system described in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x261.png" xlink:type="simple"/></inline-formula> by</p><disp-formula id="scirp.69049-formula1340"><label>(20)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x262.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x263.png" xlink:type="simple"/></inline-formula> is a complete set of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x263.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x264.png" xlink:type="simple"/></inline-formula>.</p><p>The system (20) augmented by output function described by a pointwise sensor located in b.</p><disp-formula id="scirp.69049-formula1341"><label>(21)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/6-7403217x265.png"  xlink:type="simple"/></disp-formula><fig-group id="fig1"><label><xref ref-type="fig" rid="fig1">Figure 1</xref></label><caption><title> The estimated initial gradient state in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x267.png" xlink:type="simple"/></inline-formula>.</title></caption><fig id ="fig1_1"><label></label><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/6-7403217x266.png"/></fig></fig-group><fig id="fig2"  position="float"><label><xref ref-type="fig" rid="fig2">Figure 2</xref></label><caption><title> The estimated initial gradient speed in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x269.png" xlink:type="simple"/></inline-formula></title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/6-7403217x268.png"/></fig><fig id="fig3"  position="float"><label><xref ref-type="fig" rid="fig3">Figure 3</xref></label><caption><title> The estimated initial gradient state on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x271.png" xlink:type="simple"/></inline-formula></title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/6-7403217x270.png"/></fig><fig id="fig4"  position="float"><label><xref ref-type="fig" rid="fig4">Figure 4</xref></label><caption><title> The estimated initial gradient speed on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x273.png" xlink:type="simple"/></inline-formula></title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/6-7403217x272.png"/></fig><p>with</p><p>・ <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x274.png" xlink:type="simple"/></inline-formula>, the sensor located at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x274.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x275.png" xlink:type="simple"/></inline-formula>.</p><p>・ <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x276.png" xlink:type="simple"/></inline-formula>is the intern region.</p><p>・ <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x277.png" xlink:type="simple"/></inline-formula>is the boundary region.</p><p>・ The initials gradient conditions</p><disp-formula id="scirp.69049-formula1342"><graphic  xlink:href="http://html.scirp.org/file/6-7403217x278.png"  xlink:type="simple"/></disp-formula><p>to be observed on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x279.png" xlink:type="simple"/></inline-formula>.</p><p>Using the previous algorithm, we obtain the following results:</p><p>・ <xref ref-type="fig" rid="fig3">Figure 3</xref> shows that the estimate boundary gradient state is very close to the real initial boundary gradient state on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x280.png" xlink:type="simple"/></inline-formula>.</p><p>・ <xref ref-type="fig" rid="fig4">Figure 4</xref> shows that the estimate boundary gradient speed is very close to the real initial boundary gradient speed on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/6-7403217x281.png" xlink:type="simple"/></inline-formula>.</p></sec></sec><sec id="s6"><title>6. Conclusion</title><p>The question of the regional internal and boundary gradient observability for semilinear hyperbolic systems was discussed and solved using the sectorial approach, which used sectorial properties of dynamical operators, the fixed point techniques and the properties of the linear part of the considered system. Many questions remain open, such as the case of the regional gradient observability of semilinear systems using Hilbert Uniqueness Method (HUM) and the constrained observability of semilinear hyperbolic system.</p></sec><sec id="s7"><title>Cite this paper</title><p>Adil Khazari,Ali Boutoulout, (2016) Sectorial Approach of the Gradient Observability of the Hyperbolic Semilinear Systems Intern and Boundary Cases. Applied Mathematics,07,1326-1339. doi: 10.4236/am.2016.712117</p></sec></body><back><ref-list><title>References</title><ref id="scirp.69049-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Zerrik, E., Bourray, H. and Boutoulout, A. (2002) Regional Boundary Observability, Numerical Approach. International Journal of Applied Mathematics and Computer Science, 12, 143-151.</mixed-citation></ref><ref id="scirp.69049-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Zerrik, E., Bourray, H. and El Jai, A. (2007) Regional Observability for Semilinear Distributed Parabolic Systems. Journal of Dynamical and Control Systems, 3, 413-430.</mixed-citation></ref><ref id="scirp.69049-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Boutoulout, A., Bourray, H. and El Alaoui, F.Z. (2013) Boundary Gradient Observability for Semilinear Parabolic Systems: Sectorial Approach. Mathematical Sciences Letters, 2, 45-54. http://dx.doi.org/10.12785/msl/020106</mixed-citation></ref><ref id="scirp.69049-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Boutoulout, A., Bourray, H. and El Alaoui, F.Z. (2012) Regional Gradient Observability for Distributed Semilinear Parabolic Systems. Journal of Dynamical and Control Systems, 18, 159-179.  
http://dx.doi.org/10.1007/s10883-012-9138-3</mixed-citation></ref><ref id="scirp.69049-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Zerrik, E. and Bourray, H. (2003) Gradient Observability for Diffustion System. International Journal of Applied Mathematics and Computer Science, 13, 139-150.</mixed-citation></ref><ref id="scirp.69049-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Zerrik, E., Bourray, H. and El Jai, A. (2003) Regional Flux Reconstruction for Parabolic Systems. International Journal of Systems Science, 34, 641-650. http://dx.doi.org/10.1080/00207720310001601028</mixed-citation></ref><ref id="scirp.69049-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Boutoulout, A., Bourray, H., Benhadid, S. and El Alaoui, F.Z. (2014) Regional Gradient Observability for Distributed Semilinear Parabolic Systems. International Journal of Control, 87, 1-13.</mixed-citation></ref><ref id="scirp.69049-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Boutoulout, A. and Khazari, A. (2013) Gradient Observability for Hyperbolic System. International Review of Automatic Control (IREACO), 6, 263-274.</mixed-citation></ref><ref id="scirp.69049-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Boutoulout, A., Bourray, H. and Khazari, A. (2014) Flux Observability for Hyperbolic Systems. Applied Mathematics &amp; Information Sciences, 2, 13-24.</mixed-citation></ref><ref id="scirp.69049-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Pazy, A. (1990) Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer-Verlag, New York.</mixed-citation></ref><ref id="scirp.69049-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Zeidler, E. (1990) Nonlinear Functional Analysis and Its Applications II/A Linear Applied Functional Analysis. Springer, Berlin.</mixed-citation></ref><ref id="scirp.69049-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Curtain, R.F. and Zwart, H. (1995) An Introduction to Infinite Dimensional Linear Systems Theory. Texts in Applied Mathematics, Springer-Verlag, New York, 138. http://dx.doi.org/10.1007/978-1-4612-4224-6</mixed-citation></ref><ref id="scirp.69049-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Lions, J.L. (1988) Contr?labilité Exacte, Perturbations et Stabilisation de Systèmes Distribués. Tome 1, Masson, Paris. </mixed-citation></ref><ref id="scirp.69049-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Henry, D. (1981) Geometric Theory of Semilinear Parabolic Systems. Lecture Notes in Mathematics 840, Springer-Verlag Berlin Heidelberg New York. http://dx.doi.org/10.1007/BFb0089647</mixed-citation></ref><ref id="scirp.69049-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Kassara, K. and El Jai, A. (1983) Algorithme pour la commande d'une classe de systmes paramtre rpartis non linaires. Revue Marocaine d’Automatique, d’Informatique et de Traitement de Signal, 1, 3-24.</mixed-citation></ref><ref id="scirp.69049-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Lions, J.L. and Magenes, E. (1968) Problèmes aux limites non homogènes et applications. Vols. 1 et 2, Dunod, Paris.</mixed-citation></ref><ref id="scirp.69049-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Khazari, A. and Boutoulout, A. (2014) Gradient Observability for Semilinear Hyperbolic Systems: Sectorial Approach. Intelligent Control and Automation, 6, 170-181. http://dx.doi.org/10.4236/ica.2014.53019</mixed-citation></ref></ref-list></back></article>