<?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">ICA</journal-id><journal-title-group><journal-title>Intelligent Control and Automation</journal-title></journal-title-group><issn pub-type="epub">2153-0653</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/ica.2014.53019</article-id><article-id pub-id-type="publisher-id">ICA-48607</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Computer Science&amp;Communications</subject></subj-group></article-categories><title-group><article-title>
 
 
  Gradient Observability for Semilinear Hyperbolic Systems: Sectorial Approach
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>dil</surname><given-names>Khazari</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>Ali</surname><given-names>Boutoulout</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>TSI Team, MACS Laboratory, Department of Mathematics &amp;amp; Computer, Faculty of Sciences, 
Moulay Ismail University, Meknes, Morocco</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>adil0974@gmail.com(DK)</email>;<email>boutouloutali@yahoo.fr(AB)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>03</day><month>07</month><year>2014</year></pub-date><volume>05</volume><issue>03</issue><fpage>170</fpage><lpage>181</lpage><history><date date-type="received"><day>18</day>	<month>June</month>	<year>2014</year></date><date date-type="rev-recd"><day>21</day>	<month>July</month>	<year>2014</year>	</date><date date-type="accepted"><day>1</day>	<month>August</month>	<year>2014</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 work is to study the notion of the gradient observability on a subregion <em>ω</em> of the evolution domain Ω for a class of semilinear hyperbolic systems. We show, under some hypothesis, that the gradient reconstruction is achieved following sectorial approach combined with fixed point techniques. The obtained results lead to an algorithm which can be implemented numerically. 
 
</p></abstract><kwd-group><kwd>Distributed Systems</kwd><kwd> Hyperbolic Systems</kwd><kwd> Gradient Reconstruction</kwd><kwd> Regional 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 system theory, and it consists in reconstructing the initials conditions (initial state and initial speed) for hyperbolic systems only in a subregion <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x7.png" xlink:type="simple"/></inline-formula> of the system evolution domain<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x8.png" xlink:type="simple"/></inline-formula>. This concept was largely developed (see [<xref ref-type="bibr" rid="scirp.48607-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.48607-ref2">2</xref>] ) for parabolic systems and for hyperbolic systems (see [<xref ref-type="bibr" rid="scirp.48607-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.48607-ref4">4</xref>] ). Subsequently, the concept of regional observability was extended to the gradient observability for parabolic systems (see [<xref ref-type="bibr" rid="scirp.48607-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.48607-ref6">6</xref>] ) and for hyperbolic systems (sees [<xref ref-type="bibr" rid="scirp.48607-ref7">7</xref>] ), which consist in reconstructing directly the gradient of the initial conditions only in a critical subregion interior <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x9.png" xlink:type="simple"/></inline-formula> without the knowledge of the initial conditions. This concept finds its application in many real world problems.</p><p>The aim of this paper is to study the regional gradient observability of an important class of semilinear hyperbolic systems. We will focus our attention on the case where the dynamic of the system is a linear operator and sectorial. This approach was examined for semilinear parabolic systems to reconstruct the initial gradient state ( [<xref ref-type="bibr" rid="scirp.48607-ref8">8</xref>] ) and for semilinear hyperbolic systems to reconstruct the initial state and the initial speed. For observability problem when one is confronted to the question of reconstructing the gradient state and the gradient speed, it is important to take into account the effects of non-linearity. For example, approximate controllability of semilinear system can be obtained when the non-linearity satisfies some conditions (see [<xref ref-type="bibr" rid="scirp.48607-ref9">9</xref>] [<xref ref-type="bibr" rid="scirp.48607-ref10">10</xref>] ), and the used techniques combine a variational approach to controllability problem for linear equation and fixed point method. The techniques are also based on linear infinite dimensional observability theory together with a variety of fixed point theorems.</p><p>The plan of the paper is as follows: Section 2 is devoted to the presentation of the problem of regional gradient observability of the considered system. Section 3 concerns the sectorial approach. Numerical approach is developed in the last section.</p></sec><sec id="s2"><title>2. Problem Statement</title><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x10.png" xlink:type="simple"/></inline-formula> be an open bounded subset of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x11.png" xlink:type="simple"/></inline-formula>.</p><p>For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x12.png" xlink:type="simple"/></inline-formula>, we denote<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x13.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x14.png" xlink:type="simple"/></inline-formula>and we consider the following semilinear hyperbolic system</p><disp-formula id="scirp.48607-formula21"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x15.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x16.png" xlink:type="simple"/></inline-formula> is a second order elliptic linear operator, symmetric generating a strongly continuous semigroup</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x17.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x18.png" xlink:type="simple"/></inline-formula> is a nonlinear operator assumed to be locally Lipshitzian.</p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x19.png" xlink:type="simple"/></inline-formula> denotes the solution of system (1) (see [<xref ref-type="bibr" rid="scirp.48607-ref11">11</xref>] ) and the function of measurements is given by the output function</p><disp-formula id="scirp.48607-formula22"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x20.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x21.png" xlink:type="simple"/></inline-formula> is a linear operator from <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x22.png" xlink:type="simple"/></inline-formula> to the space<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x23.png" xlink:type="simple"/></inline-formula>, and depends on the number and the nature of the considered sensors.</p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x24.png" xlink:type="simple"/></inline-formula> a basis of eigenfunctions of the operator<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x25.png" xlink:type="simple"/></inline-formula>, with Dirichlet conditions and the associated eigenvalues <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x26.png" xlink:type="simple"/></inline-formula> of multiplicity<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x27.png" xlink:type="simple"/></inline-formula>.</p><p>For any <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x28.png" xlink:type="simple"/></inline-formula> the semigroup <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x29.png" xlink:type="simple"/></inline-formula> is given by</p><disp-formula id="scirp.48607-formula23"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x30.png"  xlink:type="simple"/></disp-formula><p>Without loss of generality we note: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x31.png" xlink:type="simple"/></inline-formula>and we associate to the system (1) the linear system</p><disp-formula id="scirp.48607-formula24"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x32.png"  xlink:type="simple"/></disp-formula><p>The system (3) admits a unique solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x33.png" xlink:type="simple"/></inline-formula> (see [<xref ref-type="bibr" rid="scirp.48607-ref12">12</xref>] ).</p><p>Let denote<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x34.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x35.png" xlink:type="simple"/></inline-formula>for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x36.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x37.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x37.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x38.png" xlink:type="simple"/></inline-formula>.</p><p>The system (1) may be written as</p><disp-formula id="scirp.48607-formula25"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x39.png"  xlink:type="simple"/></disp-formula><p>and the system (3) is equivalent to</p><disp-formula id="scirp.48607-formula26"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x40.png"  xlink:type="simple"/></disp-formula><p>Systems (4) and (5) are augmented with the output function</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x41.png" xlink:type="simple"/></inline-formula>with (6)</p><p>The system (1) can be interpreted in the mild sense as follows</p><disp-formula id="scirp.48607-formula27"><label>(7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x43.png"  xlink:type="simple"/></disp-formula><p>and the output equation can be expressed by</p><disp-formula id="scirp.48607-formula28"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x44.png"  xlink:type="simple"/></disp-formula><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x45.png" xlink:type="simple"/></inline-formula> be the observation operator defined by</p><disp-formula id="scirp.48607-formula29"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x46.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/10-7900349x47.png" xlink:type="simple"/></inline-formula>.</p><p>Consider the operator <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x48.png" xlink:type="simple"/></inline-formula> given by</p><disp-formula id="scirp.48607-formula30"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x49.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.48607-formula31"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x50.png"  xlink:type="simple"/></disp-formula><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x51.png" xlink:type="simple"/></inline-formula>is the adjoint of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x52.png" xlink:type="simple"/></inline-formula>.</p><p>The initial condition <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x53.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x54.png" xlink:type="simple"/></inline-formula> its gradient are assumed to be unknown.</p><p>For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x55.png" xlink:type="simple"/></inline-formula> an open subregion of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x56.png" xlink:type="simple"/></inline-formula> and of positive Lebesgue measure, let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x57.png" xlink:type="simple"/></inline-formula> be the restriction operator defined by</p><disp-formula id="scirp.48607-formula32"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x58.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.48607-formula33"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x59.png"  xlink:type="simple"/></disp-formula><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x60.png" xlink:type="simple"/></inline-formula>. (resp.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x61.png" xlink:type="simple"/></inline-formula>) is the adjoint of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x62.png" xlink:type="simple"/></inline-formula> (resp.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x63.png" xlink:type="simple"/></inline-formula>), and we consider the operator</p><disp-formula id="scirp.48607-formula34"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x64.png"  xlink:type="simple"/></disp-formula><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x65.png" xlink:type="simple"/></inline-formula> be the gradient of the initial condition<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x66.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.48607-formula35"><label>(8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x67.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x68.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x69.png" xlink:type="simple"/></inline-formula>and</p><disp-formula id="scirp.48607-formula36"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x70.png"  xlink:type="simple"/></disp-formula><p>Definition 1.</p><p>The System (3)-(2) is said to be exactly (respectively. weakly) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x71.png" xlink:type="simple"/></inline-formula>-observable in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x72.png" xlink:type="simple"/></inline-formula> if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x73.png" xlink:type="simple"/></inline-formula></p><p>(respectively. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x74.png" xlink:type="simple"/></inline-formula></p><p>Definition 2.</p><p>The semilinear system (1) augmented with output (2) is said to be gradient observable in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x75.png" xlink:type="simple"/></inline-formula> (<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x76.png" xlink:type="simple"/></inline-formula>-observable in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x77.png" xlink:type="simple"/></inline-formula>) if we can reconstruct the gradient of its state and the gradient of its speed in a subregion <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x78.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x79.png" xlink:type="simple"/></inline-formula> at any time<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x80.png" xlink:type="simple"/></inline-formula>.</p><p>The study of regional gradient observability leads to solving the following problem:</p><p>Problem 1.</p><p>Given the semilinear system (1) and output (2) on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x81.png" xlink:type="simple"/></inline-formula>, is it possible to reconstruct <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x82.png" xlink:type="simple"/></inline-formula> which is the gradient of initial state and the gradient of initial speed of (1) in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x83.png" xlink:type="simple"/></inline-formula>?</p><p>Let’s consider <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x84.png" xlink:type="simple"/></inline-formula> and we define, for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x85.png" xlink:type="simple"/></inline-formula>, the operator <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x86.png" xlink:type="simple"/></inline-formula> by</p><disp-formula id="scirp.48607-formula37"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x87.png"  xlink:type="simple"/></disp-formula><p>then we have the following results:</p><p>Proposition 1.</p><p>If the system (3) is weakly <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x88.png" xlink:type="simple"/></inline-formula>-observable, then the solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x89.png" xlink:type="simple"/></inline-formula> of the system (6) is a fixed point of the mapping <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x90.png" xlink:type="simple"/></inline-formula> defined by:</p><disp-formula id="scirp.48607-formula38"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x91.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x92.png" xlink:type="simple"/></inline-formula> is the pseudo inverse of the operator <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x93.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x94.png" xlink:type="simple"/></inline-formula> such that</p><disp-formula id="scirp.48607-formula39"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x95.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x96.png" xlink:type="simple"/></inline-formula> is the residual part.</p><p>Proof</p><p>The solution of the system (4) can be expressed by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x97.png" xlink:type="simple"/></inline-formula> thus, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x97.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x98.png" xlink:type="simple"/></inline-formula> so we have</p><disp-formula id="scirp.48607-formula40"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x99.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x100.png" xlink:type="simple"/></inline-formula> is the output function which allows information about the considered system.</p><p>Using the second decomposition of initial condition we obtain <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x101.png" xlink:type="simple"/></inline-formula> which is equivalent to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x101.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x102.png" xlink:type="simple"/></inline-formula>.</p><p>If the linear part of the system (1) is weakly <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x103.png" xlink:type="simple"/></inline-formula>-observable in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x104.png" xlink:type="simple"/></inline-formula>, then we have</p><disp-formula id="scirp.48607-formula41"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x105.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x106.png" xlink:type="simple"/></inline-formula> is the pseudo inverse of the operator<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x107.png" xlink:type="simple"/></inline-formula>.</p><p>Finally, solution of problem of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x108.png" xlink:type="simple"/></inline-formula>-observability in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x109.png" xlink:type="simple"/></inline-formula> is a fixed point of the following function: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x110.png" xlink:type="simple"/></inline-formula>define by:</p><disp-formula id="scirp.48607-formula42"><label>(9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x111.png"  xlink:type="simple"/></disp-formula><p>Proposition 2.</p><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x112.png" xlink:type="simple"/></inline-formula> is closed in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x113.png" xlink:type="simple"/></inline-formula> and if the function (9) has a unique fixed point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x114.png" xlink:type="simple"/></inline-formula> such that</p><disp-formula id="scirp.48607-formula43"><label>(10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x115.png"  xlink:type="simple"/></disp-formula><p>then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x116.png" xlink:type="simple"/></inline-formula> is the initial gradient to be observed in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x117.png" xlink:type="simple"/></inline-formula> of system (4).</p><p>Proof</p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x118.png" xlink:type="simple"/></inline-formula> a fixed point of equation (9), then</p><disp-formula id="scirp.48607-formula44"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x119.png"  xlink:type="simple"/></disp-formula><p>But the operator <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x120.png" xlink:type="simple"/></inline-formula> is the orthogonal projection of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x121.png" xlink:type="simple"/></inline-formula> in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x122.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x120.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x123.png" xlink:type="simple"/></inline-formula> satisfy</p><p>condition (10), then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x124.png" xlink:type="simple"/></inline-formula>.</p><p>Finally <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x125.png" xlink:type="simple"/></inline-formula></p><p>which is the initial gradient to be observed in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x126.png" xlink:type="simple"/></inline-formula> of system (4).</p></sec><sec id="s3"><title>3. Sectorial Approach</title><p>In this section, we study Problem 1 under some supplementary hypothesis on <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x127.png" xlink:type="simple"/></inline-formula> and the nonlinear operator<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x128.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 equations (4) and (6) where one supposed that the operator <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x129.png" xlink:type="simple"/></inline-formula> generates an analytic semigroup <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x130.png" xlink:type="simple"/></inline-formula> in the state space<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x129.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x130.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x131.png" xlink:type="simple"/></inline-formula>.</p><p>Let’s consider <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x132.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x133.png" xlink:type="simple"/></inline-formula> with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x134.png" xlink:type="simple"/></inline-formula> is a positive real number and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x132.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x134.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x135.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/10-7900349x136.png" xlink:type="simple"/></inline-formula>. Then for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x137.png" xlink:type="simple"/></inline-formula>, we define the fractional power <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x137.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x138.png" xlink:type="simple"/></inline-formula> as a closed operator with domain <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x137.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x138.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x139.png" xlink:type="simple"/></inline-formula> which is a dense Banach space on <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x137.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x138.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x139.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x140.png" xlink:type="simple"/></inline-formula> endowed with the graph norm</p><disp-formula id="scirp.48607-formula45"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x141.png"  xlink:type="simple"/></disp-formula><p>and consider<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x142.png" xlink:type="simple"/></inline-formula>.</p><p>We consider Problem 1 in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x143.png" xlink:type="simple"/></inline-formula> endowed with the norm</p><disp-formula id="scirp.48607-formula46"><label>(11)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x144.png"  xlink:type="simple"/></disp-formula><p>We have</p><disp-formula id="scirp.48607-formula47"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x145.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x146.png" xlink:type="simple"/></inline-formula> is a constant. For more details, see ( [<xref ref-type="bibr" rid="scirp.48607-ref2">2</xref>] [<xref ref-type="bibr" rid="scirp.48607-ref6">6</xref>] [<xref ref-type="bibr" rid="scirp.48607-ref13">13</xref>] )</p><p>For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x147.png" xlink:type="simple"/></inline-formula>, assume that</p><disp-formula id="scirp.48607-formula48"><label>(12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x148.png"  xlink:type="simple"/></disp-formula><p>And the operator <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x149.png" xlink:type="simple"/></inline-formula> is well defined and satisfies the following conditions:</p><disp-formula id="scirp.48607-formula49"><label>(13)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x150.png"  xlink:type="simple"/></disp-formula><p>Those hypothesis are verified by much important class of semi linear hyperbolic systems. For example the equation governing the flow of neutrons in a nuclear reactor</p><disp-formula id="scirp.48607-formula50"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x151.png"  xlink:type="simple"/></disp-formula><p>which<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x152.png" xlink:type="simple"/></inline-formula>.</p><p>The operators <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x153.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x154.png" xlink:type="simple"/></inline-formula> corresponding are</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x155.png" xlink:type="simple"/></inline-formula>;</p><p>The assumption is satisfied with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x157.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x157.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x158.png" xlink:type="simple"/></inline-formula>.</p><p>Various examples are given and discussed in ( [<xref ref-type="bibr" rid="scirp.48607-ref13">13</xref>] [<xref ref-type="bibr" rid="scirp.48607-ref14">14</xref>] ).</p><p>We show that exists a set of admissible initial gradient state and admissible initial gradient speed, admissible in the sense that system (3) be weakly <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x159.png" xlink:type="simple"/></inline-formula>-observable.</p><p>Let’s consider <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x160.png" xlink:type="simple"/></inline-formula> given by</p><disp-formula id="scirp.48607-formula51"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x161.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x162.png" xlink:type="simple"/></inline-formula> is the restriction in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x163.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x164.png" xlink:type="simple"/></inline-formula> is the residual part in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x165.png" xlink:type="simple"/></inline-formula> of the initial gradient condition<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x166.png" xlink:type="simple"/></inline-formula>.</p><p>We assume that</p><disp-formula id="scirp.48607-formula52"><label>(14)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x167.png"  xlink:type="simple"/></disp-formula><p>then we have the following result.</p><p>Proposition 3.</p><p>Suppose that system (3) is weakly <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x168.png" xlink:type="simple"/></inline-formula>-observable in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x168.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x169.png" xlink:type="simple"/></inline-formula>, and (12), (13) and (14) satisfied, then the following assertion hold:</p><p>・ There exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x170.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x171.png" xlink:type="simple"/></inline-formula> such that for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x171.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x172.png" xlink:type="simple"/></inline-formula> the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x171.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x172.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x173.png" xlink:type="simple"/></inline-formula> has a unique fixed point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x171.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x172.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x174.png" xlink:type="simple"/></inline-formula> in the ball <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x170.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x171.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x172.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x175.png" xlink:type="simple"/></inline-formula> solution of the system (4).</p><p>・ There exist <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x176.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x176.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x177.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x176.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x178.png" xlink:type="simple"/></inline-formula> the mapping f is lipschitzian where</p><disp-formula id="scirp.48607-formula53"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x179.png"  xlink:type="simple"/></disp-formula><p>Proof</p><p>・ Since<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x180.png" xlink:type="simple"/></inline-formula>, then there exists <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x181.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x181.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x182.png" xlink:type="simple"/></inline-formula> and we have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x181.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x182.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x183.png" xlink:type="simple"/></inline-formula>.</p><p>Let us consider <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x184.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x184.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x185.png" xlink:type="simple"/></inline-formula> in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x184.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x185.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x186.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x184.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x185.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x186.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x187.png" xlink:type="simple"/></inline-formula> we have</p><disp-formula id="scirp.48607-formula54"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x188.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.48607-formula55"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x189.png"  xlink:type="simple"/></disp-formula><p>Using Holder’s inequality we take <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x190.png" xlink:type="simple"/></inline-formula> and using (13), we have</p><disp-formula id="scirp.48607-formula56"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x191.png"  xlink:type="simple"/></disp-formula><p>On the other hand, we have</p><disp-formula id="scirp.48607-formula57"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x192.png"  xlink:type="simple"/></disp-formula><p>but we have</p><disp-formula id="scirp.48607-formula58"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x193.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.48607-formula59"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x194.png"  xlink:type="simple"/></disp-formula><p>and using Holder’s inequality we obtain</p><disp-formula id="scirp.48607-formula60"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x195.png"  xlink:type="simple"/></disp-formula><p>then we have</p><disp-formula id="scirp.48607-formula61"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x196.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.48607-formula62"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x197.png"  xlink:type="simple"/></disp-formula><p>or</p><disp-formula id="scirp.48607-formula63"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x198.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x199.png" xlink:type="simple"/></inline-formula></p><p>Finally</p><disp-formula id="scirp.48607-formula64"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x200.png"  xlink:type="simple"/></disp-formula><p>Let’s consider <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x201.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x202.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x202.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x203.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x201.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x202.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x204.png" xlink:type="simple"/></inline-formula>.</p><p>It is sufficient to take <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x205.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x205.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x206.png" xlink:type="simple"/></inline-formula>, then for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x205.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x206.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x207.png" xlink:type="simple"/></inline-formula> we have <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x205.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x206.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x207.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x208.png" xlink:type="simple"/></inline-formula></p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x209.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x210.png" xlink:type="simple"/></inline-formula> be the solution of system (4) corresponding respectively to the initial gradient in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x211.png" xlink:type="simple"/></inline-formula>, we suppose that we have the same residual part<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x211.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x212.png" xlink:type="simple"/></inline-formula>, then for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x211.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x212.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x213.png" xlink:type="simple"/></inline-formula> we have</p><disp-formula id="scirp.48607-formula65"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x214.png"  xlink:type="simple"/></disp-formula><p>but we have</p><disp-formula id="scirp.48607-formula66"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x215.png"  xlink:type="simple"/></disp-formula><p>and we deduce that</p><disp-formula id="scirp.48607-formula67"><label>(15)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x216.png"  xlink:type="simple"/></disp-formula><p>Finally <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x217.png" xlink:type="simple"/></inline-formula> is lipschitzian in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x218.png" xlink:type="simple"/></inline-formula>.</p><p>Remark 1.</p><p>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/10-7900349x219.png" xlink:type="simple"/></inline-formula>, with a bounded residual part then the system (4) has only one solution in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x220.png" xlink:type="simple"/></inline-formula>.</p><p>Here we show that if measurements are in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x221.png" xlink:type="simple"/></inline-formula>, with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x221.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x222.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.48607-formula68"><label>(16)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x223.png"  xlink:type="simple"/></disp-formula><p>and assume that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x224.png" xlink:type="simple"/></inline-formula>.</p><p>Then we have the following result.</p><p>Proposition 4.</p><p>Assume that</p><disp-formula id="scirp.48607-formula69"><label>(17)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x225.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.48607-formula70"><label>(18)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/10-7900349x226.png"  xlink:type="simple"/></disp-formula><p>and if the linear system(3)is weakly <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x227.png" xlink:type="simple"/></inline-formula>-observable in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x228.png" xlink:type="simple"/></inline-formula> and (13) holds, then there exists <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x228.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x229.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x228.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x229.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x230.png" xlink:type="simple"/></inline-formula>, such that for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x228.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x229.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x231.png" xlink:type="simple"/></inline-formula>, the function (16) admit a unique fixed point in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x228.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x229.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x232.png" xlink:type="simple"/></inline-formula> which corresponds to the gradient initial condition <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x228.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x229.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x233.png" xlink:type="simple"/></inline-formula> observed in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x227.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x228.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x229.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x230.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x234.png" xlink:type="simple"/></inline-formula>. Furthermore, the function</p><disp-formula id="scirp.48607-formula71"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x235.png"  xlink:type="simple"/></disp-formula><p>is lipschitzian.</p><p>Proof</p><p>Let us consider <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x236.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x237.png" xlink:type="simple"/></inline-formula> in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x237.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x238.png" xlink:type="simple"/></inline-formula>, using (11), (13), (15) and (17) we have</p><disp-formula id="scirp.48607-formula72"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x239.png"  xlink:type="simple"/></disp-formula><p>or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x240.png" xlink:type="simple"/></inline-formula>, then there exists <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x240.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x241.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x240.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x242.png" xlink:type="simple"/></inline-formula> and we have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x240.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x243.png" xlink:type="simple"/></inline-formula>. Then we obtain<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x240.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x244.png" xlink:type="simple"/></inline-formula>.</p><p>On the other hand, using the inequality (13), (17) and (18), we have</p><disp-formula id="scirp.48607-formula73"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x245.png"  xlink:type="simple"/></disp-formula><p>Let’s consider <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x246.png" xlink:type="simple"/></inline-formula></p><p>In order to have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x247.png" xlink:type="simple"/></inline-formula>, it suffices to consider<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x248.png" xlink:type="simple"/></inline-formula>.</p><p>For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x249.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.48607-formula74"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x250.png"  xlink:type="simple"/></disp-formula><p>which gives</p><disp-formula id="scirp.48607-formula75"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x251.png"  xlink:type="simple"/></disp-formula><p>then</p><disp-formula id="scirp.48607-formula76"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x252.png"  xlink:type="simple"/></disp-formula><p>which shows that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x253.png" xlink:type="simple"/></inline-formula> is Lipschitzian.</p></sec><sec id="s4"><title>4. Numerical Approach</title><sec id="s4_1"><title>4.1. 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 states and initial gradient speed to be observed in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x254.png" xlink:type="simple"/></inline-formula>.</p><p>Proposition 5.</p><p>We suppose that the hypothesis of Proposition 4 are verified, then for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x255.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/10-7900349x255.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x256.png" xlink:type="simple"/></inline-formula> by</p><disp-formula id="scirp.48607-formula77"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x257.png"  xlink:type="simple"/></disp-formula><p>converges to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x258.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/10-7900349x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x259.png" xlink:type="simple"/></inline-formula> and the regional initial gradient speed<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x260.png" xlink:type="simple"/></inline-formula>) to be observed in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x261.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x261.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x262.png" xlink:type="simple"/></inline-formula> is the residual part of the initial gradient condition in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x261.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x263.png" xlink:type="simple"/></inline-formula>.</p><p>Proof</p><p>We have,</p><disp-formula id="scirp.48607-formula78"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x264.png"  xlink:type="simple"/></disp-formula><p>or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x265.png" xlink:type="simple"/></inline-formula>, then there exists <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x265.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x266.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x265.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x267.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x265.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x268.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.48607-formula79"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x269.png"  xlink:type="simple"/></disp-formula><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x270.png" xlink:type="simple"/></inline-formula> is a Cauchy sequence on <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x271.png" xlink:type="simple"/></inline-formula> and its convergence.</p><p>We consider <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x272.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x272.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x273.png" xlink:type="simple"/></inline-formula> with</p><disp-formula id="scirp.48607-formula80"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x274.png"  xlink:type="simple"/></disp-formula><p>We have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x275.png" xlink:type="simple"/></inline-formula>, then</p><disp-formula id="scirp.48607-formula81"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x276.png"  xlink:type="simple"/></disp-formula><p>then</p><disp-formula id="scirp.48607-formula82"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x277.png"  xlink:type="simple"/></disp-formula><p>which shows that the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x278.png" xlink:type="simple"/></inline-formula> converges to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x278.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x279.png" xlink:type="simple"/></inline-formula> in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x278.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x279.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x280.png" xlink:type="simple"/></inline-formula>.</p><p>On the other hand, we have</p><disp-formula id="scirp.48607-formula83"><graphic  xlink:href="http://html.scirp.org/file/10-7900349x281.png"  xlink:type="simple"/></disp-formula><p>Then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x282.png" xlink:type="simple"/></inline-formula> converges to the regional initial gradient <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x282.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x283.png" xlink:type="simple"/></inline-formula> to be observed in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x282.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x284.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s4_2"><title>4.2. Algorithm</title><p>Now let’s consider the sequence<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x285.png" xlink:type="simple"/></inline-formula>, then we have</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x286.png" xlink:type="simple"/></inline-formula>and</p><p>Thus we obtain the following algorithm:</p><p>Algorithm:</p><p>1. Given the initial condition<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x288.png" xlink:type="simple"/></inline-formula>, the region<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x288.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x289.png" xlink:type="simple"/></inline-formula>, The domain <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x288.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x289.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x290.png" xlink:type="simple"/></inline-formula> and the function of distribution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x288.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x289.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x290.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x291.png" xlink:type="simple"/></inline-formula> and the accuracy threshold<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x288.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x289.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x290.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x291.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x292.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x288.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x289.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x290.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x291.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x292.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x293.png" xlink:type="simple"/></inline-formula>.</p><p>2. Repeat</p><p>a) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x294.png" xlink:type="simple"/></inline-formula></p><p>b) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x295.png" xlink:type="simple"/></inline-formula></p><p>c) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x296.png" xlink:type="simple"/></inline-formula></p><p>Until <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x297.png" xlink:type="simple"/></inline-formula></p><p>3. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x298.png" xlink:type="simple"/></inline-formula>which corresponds to the initial gradient condition to observed <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x298.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x299.png" xlink:type="simple"/></inline-formula> in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x298.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x299.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x300.png" xlink:type="simple"/></inline-formula>.</p><p>Else <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/10-7900349x301.png" xlink:type="simple"/></inline-formula> and go to step 2.</p></sec></sec><sec id="s5"><title>5. Conclusion</title><p>The question of the regional gradient observability for semilinear hyperbolic systems was discussed and solved using sectorial approach, which uses sectorial properties of dynamical operators, the fixed point techniques and the properties of the linear part of the considered system. The obtained results are related to the considered subregion and the sensor location. Many questions remain open, such as the case of the regional boundary gradient observability of semilinear systems using Hilbert Uniqueness Method (HUM) and using the sectorial approach. These questions are still under consideration and the results will appear in a separate paper.</p></sec></body><back><ref-list><title>References</title><ref id="scirp.48607-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">El Jai, A., Simon, M.C. and Zerrik, E. (1993) Regional Observability and Sensor Structures. Sensors and Actuators Journal, 39, 95-102. http://dx.doi.org/10.1016/0924-4247(93)80204-T</mixed-citation></ref><ref id="scirp.48607-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Zerrik, E., Bourray, H. and El Jai, A. (2004) Regional Observability for Semilinear Distributed Parabolic Systems. Journal of Dynamical and Control Systems, 10, 413-430. http://dx.doi.org/10.1023/B:JODS.0000034438.72863.ca</mixed-citation></ref><ref id="scirp.48607-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Boutoulout, A., Bourray, H., El Alaoui, F.Z. and Benhadid, S. (2014) Regional Observability for Distributed Semi-Linear Hyperbolic Systems. International Journal of Control, 87, 898-910.</mixed-citation></ref><ref id="scirp.48607-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Zerrik, E., Bourray, H. and Benhadid, S. (2007) Sensors and Regional Observability of the Wave Equation. Sensors and Actuators Journal, 138, 313-328. http://dx.doi.org/10.1016/j.sna.2007.05.017</mixed-citation></ref><ref id="scirp.48607-ref5"><label>5</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.48607-ref6"><label>6</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.48607-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Boutoulout, A., Bourray, H. and Khazari, A. (2013) Gradient Observability for Hyperbolic System. International Review of Automatic Control (I.RE.A.CO), 6, 263-274.</mixed-citation></ref><ref id="scirp.48607-ref8"><label>8</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.48607-ref9"><label>9</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Zuazua</surname><given-names> E. </given-names></name>,<etal>et al</etal>. (<year>1993</year>)<article-title>Exact Controllability for Semilinear Wave Equations in One Space Dimension</article-title><source> Annalesde l’Institut Henri Poincaré: Analyse Non Linéaire</source><volume> 10</volume>,<fpage> 109</fpage>-<lpage>129</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.48607-ref10"><label>10</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Zuazua</surname><given-names> E. </given-names></name>,<etal>et al</etal>. (<year>1990</year>)<article-title>Exact Controllability for the Semilinear Wave Equations</article-title><source> Journal de Mathématiques Pures et Appliquées</source><volume> 59</volume>,<fpage> 1</fpage>-<lpage>31</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.48607-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Lions, J.L. (1988) Contr&amp;#244;labilité Exacte, Perturbations et Stabilisation de Systèmes Distribués. Tome1, Masson, Paris.</mixed-citation></ref><ref id="scirp.48607-ref12"><label>12</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.48607-ref13"><label>13</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.</mixed-citation></ref><ref id="scirp.48607-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Kassara, K. and El Jai, A. (1983) Algorithme pour la commande d’une classe de systèmes à paramètre répartis non linéaires. Revue. Marocaine. D’automatique. et de Traitement de Signal, 1, 3-24.</mixed-citation></ref></ref-list></back></article>