<?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><subject>ENGINEERING</subject><subject>PHYSICS &amp; MATHEMATICS</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>Adil</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; Computer, Faculty of Sciences, 
Moulay Ismail University, Meknes, Morocco</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>adil0974@gmail.com(AK)</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://file.scirp.org/Html/htmlimages\10-7900349x\ab034281-669f-48aa-87e1-46fe9a10e27d.png" xlink:type="simple"/></inline-formula> of the system evolution domain<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\54d296a6-f4cc-4560-b76c-82ed9abeb14b.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://file.scirp.org/Html/htmlimages\10-7900349x\edc3b8b9-d672-4f4e-97e6-c58946a8985b.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://file.scirp.org/Html/htmlimages\10-7900349x\d50f14ff-15f6-42fc-8325-c27574e5acc6.png" xlink:type="simple"/></inline-formula> be an open bounded subset of<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\d93cd430-492a-48f3-a21d-1330861cda9b.png" xlink:type="simple"/></inline-formula>.</p><p>For<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\6c9e12b5-ab1b-4a28-a018-846c03c4dfa3.png" xlink:type="simple"/></inline-formula>, we denote<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\7c31edc2-f8e5-41a1-a134-51d69a77a1c9.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\9f190217-8f4b-482b-b51f-b233d29d558d.png" xlink:type="simple"/></inline-formula>and we consider the following semilinear hyperbolic system</p><disp-formula id="scirp.48607-formula1"><label>(1)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\418da323-4870-48e3-8e82-6cbe06f67065.png"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\12e3ee9e-5f3c-4860-b4a2-33904ac128d7.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://file.scirp.org/Html/htmlimages\10-7900349x\9708a19a-e214-43ed-9288-b6e0b4866278.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\8dffece8-7d65-4215-8406-5cee748d1133.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://file.scirp.org/Html/htmlimages\10-7900349x\3b415f72-2719-4584-8b3f-48089b80e3ee.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-formula2"><label>(2)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\23a98e5f-f4af-4742-b7fb-c7ed60f25e25.png"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\87817d34-809a-4a52-8ac1-6dc8d5383716.png" xlink:type="simple"/></inline-formula> is a linear operator from <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\0109eb01-d149-4be0-9bdc-d1c9a8fb5ab5.png" xlink:type="simple"/></inline-formula> to the space<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\a88ebf57-dd8a-4737-abb2-3437e411f7d8.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://file.scirp.org/Html/htmlimages\10-7900349x\d7ea2da5-7508-49e2-b000-c2e0f26bfd77.png" xlink:type="simple"/></inline-formula> a basis of eigenfunctions of the operator<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\98892397-56ec-40af-bec7-c82098088c07.png" xlink:type="simple"/></inline-formula>, with Dirichlet conditions and the associated eigenvalues <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\723ad3fb-7972-4b7a-ae99-d4255a956562.png" xlink:type="simple"/></inline-formula> of multiplicity<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\6fc50179-cfd7-4a1b-9604-957441fbb6e6.png" xlink:type="simple"/></inline-formula>.</p><p>For any <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\c8f3b90e-7a2a-4cae-acc6-cb4403ca1618.png" xlink:type="simple"/></inline-formula> the semigroup <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\bc4d4e9b-6a46-40bf-8b7f-d7072d16cdf3.png" xlink:type="simple"/></inline-formula> is given by</p><disp-formula id="scirp.48607-formula3"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\dba02a38-54b4-4bf7-aea3-775a434b81c8.png"/></disp-formula><p>Without loss of generality we note: <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\41f3ab15-c9ff-45fe-9e14-d2a8d805801e.png" xlink:type="simple"/></inline-formula>and we associate to the system (1) the linear system</p><disp-formula id="scirp.48607-formula4"><label>(3)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\38dd7c49-aab5-4056-a918-d5750d11381e.png"/></disp-formula><p>The system (3) admits a unique solution <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\7c25d4df-965d-429d-bdda-4da5219452e4.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://file.scirp.org/Html/htmlimages\10-7900349x\6f033555-d6b5-45ae-bfc4-d4554afb2f67.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\a9c154d5-f6ec-48ec-bdf8-24666a1a83ac.png" xlink:type="simple"/></inline-formula>for all<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\3609f36a-b126-46fa-8eb6-0998ea213df8.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\df047a6a-dcfc-47e4-a6ac-e43671b502da.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\ef12d07c-b9a6-4578-886f-97c9abfe819b.png" xlink:type="simple"/></inline-formula>.</p><p>The system (1) may be written as</p><disp-formula id="scirp.48607-formula5"><label>(4)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\0a68f5ae-3218-47e7-937e-351f504b2ca6.png"/></disp-formula><p>and the system (3) is equivalent to</p><disp-formula id="scirp.48607-formula6"><label>(5)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\cacbd725-25a6-4adf-8df0-0eb435d857c0.png"/></disp-formula><p>Systems (4) and (5) are augmented with the output function</p><p><inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\b75bb677-6500-4ff4-9864-4d6ee24110ca.png" xlink:type="simple"/></inline-formula>with <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\2f51f11d-2650-4768-85d8-31a1b6359eb5.png" xlink:type="simple"/></inline-formula> (6)</p><p>The system (1) can be interpreted in the mild sense as follows</p><disp-formula id="scirp.48607-formula7"><label>(7)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\762a9de2-253a-4a66-b1f2-583944c907dc.png"/></disp-formula><p>and the output equation can be expressed by</p><disp-formula id="scirp.48607-formula8"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\e999f522-0f2b-4afa-a8ab-5c649eab903a.png"/></disp-formula><p>Let <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\af47d1ff-5f0e-4742-86ee-268a4ded70ad.png" xlink:type="simple"/></inline-formula> be the observation operator defined by</p><disp-formula id="scirp.48607-formula9"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\d22b415f-864c-46a4-bddf-17f760e0ea0a.png"/></disp-formula><p>which is linear and bounded with the adjoint<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\ecb7e97a-9d82-43a5-b073-70ef96f7509f.png" xlink:type="simple"/></inline-formula>.</p><p>Consider the operator <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\65cc7a9d-19ab-42de-91e5-63a248a1dc3c.png" xlink:type="simple"/></inline-formula> given by</p><disp-formula id="scirp.48607-formula10"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\c61f184b-f164-4cf6-8445-c683a8abb8df.png"/></disp-formula><p>where</p><disp-formula id="scirp.48607-formula11"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\fb31f16f-03d7-4a70-9f09-65a7f009e2ee.png"/></disp-formula><p><inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\a14d84ae-2a6f-4aad-b8a8-9e3e1fd9d101.png" xlink:type="simple"/></inline-formula>is the adjoint of<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\504fb414-079f-4dfa-9f81-d5fead492c3b.png" xlink:type="simple"/></inline-formula>.</p><p>The initial condition <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\20c89f8d-c658-4157-bca3-ccad2535f487.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\58d07759-eb0c-4cd2-bd8e-22b23ada5d3f.png" xlink:type="simple"/></inline-formula> its gradient are assumed to be unknown.</p><p>For <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\34b7d1d2-8166-4e77-9ab7-439e7af3074e.png" xlink:type="simple"/></inline-formula> an open subregion of <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\f4ead332-6df1-4cb5-89c4-9b8e5df36c1d.png" xlink:type="simple"/></inline-formula> and of positive Lebesgue measure, let <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\0ed414c4-6cd5-49ac-9fe8-8f54fe7d1937.png" xlink:type="simple"/></inline-formula> be the restriction operator defined by</p><disp-formula id="scirp.48607-formula12"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\99ac8e6b-2978-408e-b574-42bc847256d2.png"/></disp-formula><p>where</p><disp-formula id="scirp.48607-formula13"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\665061dd-ae26-417d-89cd-77adf0d4da38.png"/></disp-formula><p><inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\3a0766cc-8e24-49f3-8758-aadad2354421.png" xlink:type="simple"/></inline-formula>. (resp.<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\c1d142fc-162c-40e2-b100-4e3aa4f925bd.png" xlink:type="simple"/></inline-formula>) is the adjoint of <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\894b8cfe-2931-48e1-933a-0e5706daa695.png" xlink:type="simple"/></inline-formula> (resp.<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\ffbefbc0-da88-4486-b1ff-cd79430455aa.png" xlink:type="simple"/></inline-formula>), and we consider the operator</p><disp-formula id="scirp.48607-formula14"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\2ec77826-1eac-4225-ae1c-f2c6ac0066b5.png"/></disp-formula><p>Let <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\25ae4c73-a930-41f9-8487-c6e59d8d2893.png" xlink:type="simple"/></inline-formula> be the gradient of the initial condition<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\e9c83aab-9001-491b-87de-4d3b91c43af2.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.48607-formula15"><label>(8)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\e4ef60fa-0d6c-46de-bd62-961857c62457.png"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\e22d8e78-cdbb-4752-b3ca-0c2b645c90e5.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\72e3121a-0c83-412d-a2a7-2b5487777da3.png" xlink:type="simple"/></inline-formula>and</p><disp-formula id="scirp.48607-formula16"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\47d19f60-504d-4afd-b70b-79a41c7db4d7.png"/></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://file.scirp.org/Html/htmlimages\10-7900349x\853f1f42-eae6-44d0-87cb-159bf7dcba19.png" xlink:type="simple"/></inline-formula>-observable in <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\ed7077c7-1679-4768-bf17-209ba2abea3a.png" xlink:type="simple"/></inline-formula> if <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\f2181c32-6da6-422c-961c-b54bdd85df9b.png" xlink:type="simple"/></inline-formula></p><p>(respectively. <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\be2f9e1d-4c4f-4a86-b0d2-7b4e929ff06c.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://file.scirp.org/Html/htmlimages\10-7900349x\500d5cc0-d1ad-4b02-86b9-30538d8f60d1.png" xlink:type="simple"/></inline-formula> (<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\e2af3b3f-3c27-492b-bd9d-19b6d1be4f6c.png" xlink:type="simple"/></inline-formula>-observable in<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\524ae3e1-e8e9-4385-8640-2b9ce03b13aa.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://file.scirp.org/Html/htmlimages\10-7900349x\6fbd2ced-53fd-41e4-ae15-18d5e4bfee3a.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\b6fc43d3-6b48-439c-882e-ae135757fb32.png" xlink:type="simple"/></inline-formula> at any time<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\a44b74d4-81e9-40bb-a439-2f6a938589f0.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://file.scirp.org/Html/htmlimages\10-7900349x\18983c2f-37f3-4eab-ac5e-832e2dafa038.png" xlink:type="simple"/></inline-formula>, is it possible to reconstruct <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\4ad41be7-5666-4aca-b2f1-d66d589154b4.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://file.scirp.org/Html/htmlimages\10-7900349x\acd5183c-4695-4259-ad2d-ac793fc22184.png" xlink:type="simple"/></inline-formula>?</p><p>Let’s consider <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\fcb95709-78ed-46ad-b2f2-8ef5da168a99.png" xlink:type="simple"/></inline-formula> and we define, for<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\16a62295-ac3e-42ec-a0ed-55bf91c497f1.png" xlink:type="simple"/></inline-formula>, the operator <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\cdf3dbc4-0cb9-43f1-89b3-50f644bac74d.png" xlink:type="simple"/></inline-formula> by</p><disp-formula id="scirp.48607-formula17"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\90f0f4a7-f946-47a5-89e2-7486e96fc3cc.png"/></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://file.scirp.org/Html/htmlimages\10-7900349x\d400cb3a-9e03-423b-8037-3cc1425f5528.png" xlink:type="simple"/></inline-formula>-observable, then the solution <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\cff371d0-cde1-4d3e-8cb5-afbdf6bb5012.png" xlink:type="simple"/></inline-formula> of the system (6) is a fixed point of the mapping <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\bcd4081a-b461-41b2-b348-911ad255e4f0.png" xlink:type="simple"/></inline-formula> defined by:</p><disp-formula id="scirp.48607-formula18"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\b21e5bc8-c3a8-42b1-90f6-61c3e0e76cfc.png"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\1c904284-b9a0-4964-9dde-e2bceeafe091.png" xlink:type="simple"/></inline-formula> is the pseudo inverse of the operator <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\fb792640-7216-4836-9224-922af17125d2.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\921fb7bf-7450-4b2f-bc41-0c16593160e5.png" xlink:type="simple"/></inline-formula> such that</p><disp-formula id="scirp.48607-formula19"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\ca4c4bcd-0604-4b6d-8567-dcb1dadc49f0.png"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\be68be44-7e28-413e-954a-194805cf7be9.png" xlink:type="simple"/></inline-formula> is the residual part.</p><p>The solution of the system (4) can be expressed by <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\7dd14b1f-9358-4d9b-95d8-9a45210589c9.png" xlink:type="simple"/></inline-formula> thus,  <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\76ac9f40-33d9-4765-ba3f-d8af7579982b.png" xlink:type="simple"/></inline-formula> so we have</p><disp-formula id="scirp.48607-formula20"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\840d57a5-9d8d-4af1-9c17-c9c0a728265c.png"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\08d9e768-7742-476d-a7fb-36e06105a8a2.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://file.scirp.org/Html/htmlimages\10-7900349x\cc240fd9-69a0-4f4d-946f-007320a14017.png" xlink:type="simple"/></inline-formula> which is equivalent to<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\c1a37cb8-2a46-4ab9-af96-bca1a8a39786.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://file.scirp.org/Html/htmlimages\10-7900349x\125a8207-8797-4396-9ac6-34d8030e3175.png" xlink:type="simple"/></inline-formula>-observable in<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\6e1afb49-c704-4d22-adf1-6edeebe38be5.png" xlink:type="simple"/></inline-formula>, then we have</p><disp-formula id="scirp.48607-formula21"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\c983caf5-b278-4efd-a289-c9b76c833453.png"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\f60734e6-0482-4307-8c8d-55191575845a.png" xlink:type="simple"/></inline-formula> is the pseudo inverse of the operator<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\fa592c0f-9ab0-4805-bd3b-27ee410b3470.png" xlink:type="simple"/></inline-formula>.</p><p>Finally, solution of problem of <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\856b4f13-beaa-4b7a-a78a-78ce339a0164.png" xlink:type="simple"/></inline-formula>-observability in <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\aee24a78-15a8-43dd-8e35-9da8879278bf.png" xlink:type="simple"/></inline-formula> is a fixed point of the following function: <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\aab494cb-eddc-44bc-8fa2-0ae40147d7f8.png" xlink:type="simple"/></inline-formula>define by:</p><disp-formula id="scirp.48607-formula22"><label>(9)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\a1c8a13e-22c9-4d97-8456-23650fa1cd93.png"/></disp-formula><p>Proposition 2.</p><p>If <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\16958e58-2775-4855-9f42-b474c58f91f8.png" xlink:type="simple"/></inline-formula> is closed in <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\e2c9d5fc-a1cf-4958-adf3-2a1a8629fc23.png" xlink:type="simple"/></inline-formula> and if the function (9) has a unique fixed point <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\83ff1731-4ab4-4b71-b2a4-7d83d126c721.png" xlink:type="simple"/></inline-formula> such that</p><disp-formula id="scirp.48607-formula23"><label>(10)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\2ca301d4-1605-4658-a4dd-1d19decde525.png"/></disp-formula><p>then <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\fa4ab83d-d435-4ca2-982c-efa2873f88bf.png" xlink:type="simple"/></inline-formula> is the initial gradient to be observed in <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\c651dc5a-37d3-4845-9dc3-c538947b4022.png" xlink:type="simple"/></inline-formula> of system (4).</p><p>Let <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\7a3308e7-7852-4059-9a27-9997677432fd.png" xlink:type="simple"/></inline-formula> a fixed point of equation (9), then</p><disp-formula id="scirp.48607-formula24"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\20637a26-0023-4df6-a6cb-51baab342389.png"/></disp-formula><p>But the operator <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\64cd2500-2210-4b0a-ae15-3b5999a379e3.png" xlink:type="simple"/></inline-formula> is the orthogonal projection of <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\d9313fde-60e9-4419-be82-daabab20cf35.png" xlink:type="simple"/></inline-formula> in <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\71b7dcb6-e35a-46b3-8df1-9e12ba7d5685.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\72afaea5-96da-4a18-8992-60978f1fd991.png" xlink:type="simple"/></inline-formula> satisfy</p><p>condition (10), then<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\392e53ec-0136-4075-ad6f-c194113618ce.png" xlink:type="simple"/></inline-formula>.</p><p>Finally <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\595a1a46-3c75-4f83-a7b3-51d2d2f1fea6.png" xlink:type="simple"/></inline-formula></p><p>which is the initial gradient to be observed in <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\804ec54e-75c1-490c-b696-6e662b453d6d.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://file.scirp.org/Html/htmlimages\10-7900349x\1d7d9a40-f365-407a-9c0d-60c64181529d.png" xlink:type="simple"/></inline-formula> and the nonlinear operator<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\53202c56-8582-4f31-9d0e-37016c668f32.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://file.scirp.org/Html/htmlimages\10-7900349x\06c641e6-4687-4e3c-8d39-e5b1aeb2f11d.png" xlink:type="simple"/></inline-formula> generates an analytic semigroup <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\586ff4a6-2b3d-4451-a6f7-4ee5b795db41.png" xlink:type="simple"/></inline-formula> in the state space<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\cdd6f515-c29b-4d64-8491-e34719654764.png" xlink:type="simple"/></inline-formula>.</p><p>Let’s consider <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\ae6ccd50-1086-4203-b48f-b68b975ecf12.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\47778a03-d870-4b4a-8464-5f74c171c363.png" xlink:type="simple"/></inline-formula> with <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\4d556111-7c09-4ccc-964a-1d748d082293.png" xlink:type="simple"/></inline-formula> is a positive real number and <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\caed59e4-a0c9-428e-8b82-39422be974cb.png" xlink:type="simple"/></inline-formula></p><p>denotes the real part of spectrum of<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\fb32c00b-f559-4858-b887-4ef84ccf7921.png" xlink:type="simple"/></inline-formula>. Then for<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\559336c1-745a-420f-9513-3c8cca510eff.png" xlink:type="simple"/></inline-formula>, we define the fractional power <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\3d2441e7-0e27-499f-adfa-e2ad15c97589.png" xlink:type="simple"/></inline-formula> as a closed operator with domain <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\fccde097-b8d7-4b92-8b81-828397689a00.png" xlink:type="simple"/></inline-formula> which is a dense Banach space on <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\2bf2f17f-1a79-43f7-8aec-10292f46772f.png" xlink:type="simple"/></inline-formula> endowed with the graph norm</p><disp-formula id="scirp.48607-formula25"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\9e4b8ec5-77ff-49c9-a834-1786d3aef242.png"/></disp-formula><p>and consider<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\d5204956-ffb2-40a1-9bdb-df782cdeb906.png" xlink:type="simple"/></inline-formula>.</p><p>We consider Problem 1 in <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\8cdecae7-3464-4f41-bd68-1e0e2e5a9822.png" xlink:type="simple"/></inline-formula> endowed with the norm</p><disp-formula id="scirp.48607-formula26"><label>(11)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\4efd4683-9af3-4fad-880e-15938ec92fe2.png"/></disp-formula><p>We have</p><disp-formula id="scirp.48607-formula27"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\a11cc757-d51a-4b56-9a33-86968debb008.png"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\4661fb78-0ae7-4457-8fb6-f973066440e5.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://file.scirp.org/Html/htmlimages\10-7900349x\53583737-7740-44de-9e04-05b35377c80f.png" xlink:type="simple"/></inline-formula>, assume that</p><disp-formula id="scirp.48607-formula28"><label>(12)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\975d9869-f80c-4894-8dae-d3b00eac92d2.png"/></disp-formula><p>And the operator <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\12c3c3d5-3c13-42e7-aa90-5ca0e961d85c.png" xlink:type="simple"/></inline-formula> is well defined and satisfies the following conditions:</p><disp-formula id="scirp.48607-formula29"><label>(13)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\b50a72ae-c14e-4ffa-85ae-6d3cd0478994.png"/></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-formula30"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\c680c92f-03f3-4e05-9357-45762d6f37f9.png"/></disp-formula><p>which<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\895fddcf-5a4f-4574-a700-3532e02a071f.png" xlink:type="simple"/></inline-formula>.</p><p>The operators <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\4093b0ed-bc71-4a12-a89d-a47da7fb5627.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\eb86e0d3-c542-4c0a-82c5-196f85644b04.png" xlink:type="simple"/></inline-formula> corresponding are</p><p><inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\ed607d4b-f1ac-4bba-8dd4-9ac6b3630555.png" xlink:type="simple"/></inline-formula>;<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\1f720fb0-c36c-4cf9-95c4-fafb8f136f89.png" xlink:type="simple"/></inline-formula></p><p>The assumption is satisfied with <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\c62af278-e3a0-40d4-8466-81682063ae81.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\72b54dc9-d364-4891-aee5-18bb7a1cc1f8.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://file.scirp.org/Html/htmlimages\10-7900349x\3e11e5cc-b0f5-4ff8-be67-f06c6f381387.png" xlink:type="simple"/></inline-formula>-observable.</p><p>Let’s consider <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\14e7a9a6-747c-4c10-aab9-5f327ff947e1.png" xlink:type="simple"/></inline-formula> given by</p><disp-formula id="scirp.48607-formula31"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\c431f5c0-8a11-4ae4-ab66-dfe08980bcad.png"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\96c04e50-f738-4b37-8b1e-610966f67230.png" xlink:type="simple"/></inline-formula> is the restriction in <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\d1f70650-7c38-48b7-a73e-d50174a2f995.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\c7d8cc26-341f-4db7-b1f9-a870e5767665.png" xlink:type="simple"/></inline-formula> is the residual part in <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\e8c99a74-0e65-4f41-bf59-8d1f00616c0a.png" xlink:type="simple"/></inline-formula> of the initial gradient condition<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\fd5a22bf-d271-463e-878d-d2c69bc5d6a3.png" xlink:type="simple"/></inline-formula>.</p><p>We assume that</p><disp-formula id="scirp.48607-formula32"><label>(14)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\4e141726-7c43-4544-b4a5-6ea22398d5c1.png"/></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://file.scirp.org/Html/htmlimages\10-7900349x\80da1a1b-eb1f-4f84-b23a-4f8ea54b4b48.png" xlink:type="simple"/></inline-formula>-observable in<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\4efc5712-c8c5-485f-b9df-27ca14ac6ffa.png" xlink:type="simple"/></inline-formula>, and (12), (13) and (14) satisfied, then the following assertion hold:</p><p>&#183; There exist <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\9d303c02-6dff-4c4b-b0b7-0f890de26fc6.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\2c8b9bf8-99fa-4ef1-92b3-58416defe3ce.png" xlink:type="simple"/></inline-formula> such that for all <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\9f331925-acb8-447a-8765-d8461605342d.png" xlink:type="simple"/></inline-formula> the function <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\9b88e881-65ae-4382-92b2-76c0d408d88f.png" xlink:type="simple"/></inline-formula> has a unique fixed point <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\6f124c76-1bfb-456d-9316-a2f61b24f91e.png" xlink:type="simple"/></inline-formula> in the ball <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\0c645d26-49f5-49ca-9b11-d3bf4e840a44.png" xlink:type="simple"/></inline-formula> solution of the system (4).</p><p>&#183; There exist <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\a1b655d1-369f-4dbb-994f-db40dbe8fb2e.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\da58ef73-9e55-4500-910b-79d6097b6009.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\b0995a31-915c-4e97-8217-5c4b6fe5b28b.png" xlink:type="simple"/></inline-formula> the mapping f is lipschitzian where</p><disp-formula id="scirp.48607-formula33"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\e9302481-4b55-40bc-9288-dde1e3c4188e.png"/></disp-formula><p>• Proof</p><p>• Since<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\ee9d312b-3ce5-4da9-859c-4c9133d1d6e4.png" xlink:type="simple"/></inline-formula>, then there exists <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\d02823e4-b196-4fae-a890-bc28d82c1fa9.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\c98e06c6-e591-44d3-9e56-961357a673ca.png" xlink:type="simple"/></inline-formula> and we have<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\f0400b63-a9e4-4da5-95b0-1d82e8bce7d3.png" xlink:type="simple"/></inline-formula>.</p><p>Let us consider <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\389ecee9-a4db-4791-82b0-3dca9e1fbdfc.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\473c9d3b-377f-44eb-a4f6-8c4b3cf67614.png" xlink:type="simple"/></inline-formula> in <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\1cfdac9d-deee-47ec-a6f5-3a1dc1353cd1.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\5540496e-3225-4bf4-91bd-af56767d947f.png" xlink:type="simple"/></inline-formula> we have</p><disp-formula id="scirp.48607-formula34"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\6f0ebf46-615c-4b86-84ca-af9b8baf5ebb.png"/></disp-formula><p>where</p><disp-formula id="scirp.48607-formula35"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\7f719498-c18b-4860-bf8e-3860f7db365d.png"/></disp-formula><p>Using Holder’s inequality we take <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\068cea62-dc1b-415d-9292-ce2a614374f5.png" xlink:type="simple"/></inline-formula> and using (13), we have</p><disp-formula id="scirp.48607-formula36"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\6e112cda-d810-4a96-bb6b-d1059046bcb1.png"/></disp-formula><p>On the other hand, we have</p><disp-formula id="scirp.48607-formula37"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\80b1537f-02c0-4b68-bbab-e43868939ca7.png"/></disp-formula><p>but we have</p><disp-formula id="scirp.48607-formula38"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\b08dea5b-214b-4c87-95b5-eb90d6d2d50a.png"/></disp-formula><p>and</p><disp-formula id="scirp.48607-formula39"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\96177947-9205-49c0-8e87-918c6d414868.png"/></disp-formula><p>and using Holder’s inequality we obtain</p><disp-formula id="scirp.48607-formula40"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\639461da-03a8-4b51-97a7-a16f7239ecb5.png"/></disp-formula><p>then we have</p><disp-formula id="scirp.48607-formula41"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\18754701-b641-46ca-b04a-5077b8c7f5de.png"/></disp-formula><p>and</p><disp-formula id="scirp.48607-formula42"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\055966a4-a8ad-415d-9cd8-ba39d0504627.png"/></disp-formula><p>or</p><disp-formula id="scirp.48607-formula43"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\b9727f23-440f-45ce-a836-ebc029c8c786.png"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\9964a526-ab5c-4694-a07e-edefd9c147e6.png" xlink:type="simple"/></inline-formula></p><p>Finally</p><disp-formula id="scirp.48607-formula44"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\65208026-af39-4d6e-a5d9-d2a8f1d129ff.png"/></disp-formula><p>Let’s consider <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\86f0fcfd-a68c-4890-89f2-61281039e319.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\12eed5a5-d700-4d58-a75e-e77489cddb04.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\9514dc74-c031-4d7f-84ab-d626f7e92068.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\19183824-5ead-4433-8e4b-fd939c10eb2a.png" xlink:type="simple"/></inline-formula>.</p><p>It is sufficient to take <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\f604b263-7c93-4736-8c2e-0a9d703a3bb8.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\3f61daa6-07e5-4e96-aaef-fef3835f3ced.png" xlink:type="simple"/></inline-formula>, then for all <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\0ba467a6-7ab4-4ed9-8f61-49b8c87b7bbe.png" xlink:type="simple"/></inline-formula> we have <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\d137058e-717f-4e84-8dae-20e491f12f0f.png" xlink:type="simple"/></inline-formula></p><p>Let <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\59ce2dc6-aef9-41f6-b25c-a95cebdbe213.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\9e0366bc-8968-4e58-9f11-f186a2ba5152.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://file.scirp.org/Html/htmlimages\10-7900349x\52db5df5-27d4-4c20-bfd6-258b39d5ba2b.png" xlink:type="simple"/></inline-formula>, we suppose that we have the same residual part<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\718c2ffc-e65e-4ac7-bf9a-062731ac7848.png" xlink:type="simple"/></inline-formula>, then for <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\f7859b44-9545-4e86-89a4-6d7f86344f63.png" xlink:type="simple"/></inline-formula> we have</p><disp-formula id="scirp.48607-formula45"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\8f889463-6f6b-403d-a2c3-40edea4db56c.png"/></disp-formula><p>but we have</p><disp-formula id="scirp.48607-formula46"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\b9ca5915-c34e-45ab-9046-c4853e4c6a60.png"/></disp-formula><p>and we deduce that</p><disp-formula id="scirp.48607-formula47"><label>(15)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\d30de15e-d1a4-4b13-8256-b65b98bc43d3.png"/></disp-formula><p>Finally <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\a661a3f7-5a33-4537-a4bf-5c800f91420f.png" xlink:type="simple"/></inline-formula> is lipschitzian in<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\3910e4b0-7658-4a6a-81e2-51b8340c176a.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://file.scirp.org/Html/htmlimages\10-7900349x\326a12e4-37d0-4e17-9214-cdab3bdf6ef4.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://file.scirp.org/Html/htmlimages\10-7900349x\08546289-0cd1-4395-b77b-e818b99abc07.png" xlink:type="simple"/></inline-formula>.</p><p>Here we show that if measurements are in<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\a0492ea1-96ff-4e6d-bef6-81e4bce2fb86.png" xlink:type="simple"/></inline-formula>, with <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\2638be0e-1a12-43d5-981c-e17957cb3f77.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-formula48"><label>(16)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\ac2e5df1-9c63-42e0-b90b-4f7dd08c400c.png"/></disp-formula><p>and assume that<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\0d0e076a-aefc-4798-888e-db1a1f6c76a4.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-formula49"><label>(17)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\90812792-f9a9-4ad1-bf3b-045bdcc5a7c5.png"/></disp-formula><disp-formula id="scirp.48607-formula50"><label>(18)</label><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\d14f3296-724d-458e-9d20-c3f4ff4e880c.png"/></disp-formula><p>and if the linear system(3)is weakly <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\d8a60fb8-1143-4799-90cd-0347f04b9118.png" xlink:type="simple"/></inline-formula>-observable in <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\a3e92b54-7fd8-4ce3-869a-cfe1ea807f4e.png" xlink:type="simple"/></inline-formula> and (13) holds, then there exists <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\8375390f-7f13-43a7-8548-41d63abab060.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\8343e697-9e13-48e6-b05f-706928056409.png" xlink:type="simple"/></inline-formula>, such that for all<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\513d9bbc-e7b4-4197-bb22-69da3f38705c.png" xlink:type="simple"/></inline-formula>, the function (16) admit a unique fixed point in <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\e0f3b415-d62d-496f-a954-5870f7f851bb.png" xlink:type="simple"/></inline-formula> which corresponds to the gradient initial condition <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\284e57f4-5aff-4c21-a0b8-338dc06f7ef4.png" xlink:type="simple"/></inline-formula> observed in<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\6324db5e-4537-40e7-a877-031600dbf971.png" xlink:type="simple"/></inline-formula>. Furthermore, the function</p><disp-formula id="scirp.48607-formula51"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\a13fb9fd-09d9-4325-9716-def138dadafc.png"/></disp-formula><p>is lipschitzian.</p><p>Let us consider <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\3e1f2ed6-159d-4c15-9dbc-781b015ce517.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\d65fac8a-b635-40ba-8ddd-52d43636cc4c.png" xlink:type="simple"/></inline-formula> in<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\f395661f-c91d-4a6c-aee5-4d1513d05410.png" xlink:type="simple"/></inline-formula>, using (11), (13), (15) and (17) we have</p><disp-formula id="scirp.48607-formula52"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\ac6c4951-6ddf-4128-b1a4-3b06a1874711.png"/></disp-formula><p>or<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\d5b60c9b-001a-4c28-8bdd-293687e8a68b.png" xlink:type="simple"/></inline-formula>, then there exists <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\44126156-092e-48db-a97a-4e5300cc0eef.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\b8a8fa7f-6b3a-49dd-a33d-5669014d46d8.png" xlink:type="simple"/></inline-formula> and we have<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\c9c71481-0047-4ff3-abca-2bdae42e3fb8.png" xlink:type="simple"/></inline-formula>. Then we obtain<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\13120285-587d-44bf-8daf-a39e351b96c2.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-formula53"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\2124e6e4-28ca-4235-8edb-14fd2e97a5b6.png"/></disp-formula><p>Let’s consider <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\f80dfa87-e84d-4561-98df-5dcb65ce297c.png" xlink:type="simple"/></inline-formula></p><p>In order to have<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\c0c057d1-7003-431d-82ed-1e7d83bc8f7e.png" xlink:type="simple"/></inline-formula>, it suffices to consider<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\68e54be7-8a2e-49ba-bdf9-642b1a7864cc.png" xlink:type="simple"/></inline-formula>.</p><p>For<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\b24a5cab-1047-48dc-b6f0-a1b55c1564d0.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.48607-formula54"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\05d0eb7e-548e-42d8-9afd-4073061f20b6.png"/></disp-formula><p>which gives</p><disp-formula id="scirp.48607-formula55"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\f10aa250-b1bc-496e-9ac0-a06e2df37e45.png"/></disp-formula><p>then</p><disp-formula id="scirp.48607-formula56"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\7489638d-a87a-4584-9294-373e57601de6.png"/></disp-formula><p>which shows that <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\5331fc8d-00a2-482f-85b3-45a11a5b05ff.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://file.scirp.org/Html/htmlimages\10-7900349x\b71fd0c9-d04d-4bb7-aaf0-90c6612da749.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://file.scirp.org/Html/htmlimages\10-7900349x\dcf5fb28-03c8-4b06-b66a-238bbee0a107.png" xlink:type="simple"/></inline-formula>, the sequence of the initial gradient condition defined in <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\fdf3c6ab-a16c-4cfe-a221-ae31bb92c524.png" xlink:type="simple"/></inline-formula> by</p><disp-formula id="scirp.48607-formula57"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\73110e8b-ab41-4f71-afba-e1992ddfac50.png"/></disp-formula><p>converges to <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\c7fde156-42cc-44ae-a30c-df54bf28aa41.png" xlink:type="simple"/></inline-formula> the regional initial gradient condition (the regional initial gradient state <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\57d1627f-50bd-46e0-b850-b5600f9d8538.png" xlink:type="simple"/></inline-formula> and the regional initial gradient speed<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\e8f9c957-fca3-4df1-8d82-ed68d204e662.png" xlink:type="simple"/></inline-formula>) to be observed in<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\3a03b033-c674-4ce5-a3d8-21928d673896.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\4f215bd0-4e79-49f2-9de0-4388a40a2f40.png" xlink:type="simple"/></inline-formula> is the residual part of the initial gradient condition in<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\a91349e0-b322-4d73-af5f-e23b8b840f35.png" xlink:type="simple"/></inline-formula>.</p><p>We have,</p><disp-formula id="scirp.48607-formula58"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\af58f7bf-ee11-42e3-92c9-dd5304e2bea6.png"/></disp-formula><p>or<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\d3f85b61-988b-4bff-b2fd-779657957284.png" xlink:type="simple"/></inline-formula>, then there exists <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\9b8e3b5c-46f5-433c-b71a-2f349b291439.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\f93dc0f2-975d-4efa-bcf1-fd6c2a71807c.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\3637dc96-2a46-468c-bd6c-10687cebc5fd.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.48607-formula59"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\d3bf4a54-8056-47e5-84d6-6434f5dfdd8f.png"/></disp-formula><p>Then <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\b83b3d6d-6050-48a6-b1e4-e72013be42d8.png" xlink:type="simple"/></inline-formula> is a Cauchy sequence on <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\ee1a0b1f-fd62-4bef-acce-d9ceee910319.png" xlink:type="simple"/></inline-formula> and its convergence.</p><p>We consider <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\4a340d20-8ab3-47b3-b174-fe390a06d387.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\2ad87263-c951-410f-b37e-00e451b00f21.png" xlink:type="simple"/></inline-formula> with</p><disp-formula id="scirp.48607-formula60"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\3c747bad-f075-4ce3-88ed-fb182289eea1.png"/></disp-formula><p>We have<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\e37ca8cd-9cfe-4f0d-9fc5-ecd27f8f96a9.png" xlink:type="simple"/></inline-formula>, then</p><disp-formula id="scirp.48607-formula61"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\21aba06b-dc95-4510-8c5a-9d33199848b8.png"/></disp-formula><p>then</p><disp-formula id="scirp.48607-formula62"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\c8a07b2b-0aa7-4956-ba2c-90956c326ad6.png"/></disp-formula><p>which shows that the sequence <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\fc32c9f7-524d-45b3-b4ae-786c6f8c5765.png" xlink:type="simple"/></inline-formula> converges to <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\a911f0af-e977-4ec1-80f4-a362c94e1523.png" xlink:type="simple"/></inline-formula> in<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\f6400b37-400d-4af3-bd82-d46bda7e8fa7.png" xlink:type="simple"/></inline-formula>.</p><p>On the other hand, we have</p><disp-formula id="scirp.48607-formula63"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\479b19aa-7a05-46d9-818b-4f0003c3148a.png"/></disp-formula><p>Then <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\7d4df432-81e3-4b62-bda3-97e21a4edbb6.png" xlink:type="simple"/></inline-formula> converges to the regional initial gradient <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\e290d3aa-66df-498b-8892-e58405ba3e9e.png" xlink:type="simple"/></inline-formula> to be observed in<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\07fd39f3-f2d8-468d-aac8-5f95cd51589c.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://file.scirp.org/Html/htmlimages\10-7900349x\416571b2-c63c-4e85-9830-5b96a6b50ec9.png" xlink:type="simple"/></inline-formula>, then we have</p><p><inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\b0176e75-7842-4406-8bf1-f11de2c86fa6.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\118eeecf-1c57-41d9-a2c2-dc0e3660b5c8.png" xlink:type="simple"/></inline-formula></p><p>Thus we obtain the following algorithm:</p><p>1. Algorithm:</p><p>2. Given the initial condition<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\c806623c-b6fc-48b8-a2b7-1d286ce27611.png" xlink:type="simple"/></inline-formula>, the region<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\d03eb80c-5a81-4df4-a8ed-0a5f81c6e77d.png" xlink:type="simple"/></inline-formula>, The domain <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\b1b7b9de-f219-480d-8149-9c1a598ec8c7.png" xlink:type="simple"/></inline-formula> and the function of distribution <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\ac381c01-673c-4456-872d-bbfcf8fde8fe.png" xlink:type="simple"/></inline-formula> and the accuracy threshold<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\07f6d1ad-12de-4419-9d9d-5a52101c0d5a.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\154b7eaa-ea92-43d6-a9bc-f956daa2382c.png" xlink:type="simple"/></inline-formula>.</p><p>3. Repeat</p><p>a) <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\4f2ed0fb-6cc1-4a41-80f8-80f252461a9b.png" xlink:type="simple"/></inline-formula></p><p>b) <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\2ec83d8f-43b7-4816-882c-57980617d5eb.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.48607-formula64"><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\7d0efba6-f5ac-4f71-ac13-d1f4ebb40255.png"/></disp-formula><p>Until <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\86ec998f-2087-423b-a02c-08319d5da7e2.png" xlink:type="simple"/></inline-formula></p><p>4. <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\a22bb792-fba4-43d4-b603-5b011752a490.png" xlink:type="simple"/></inline-formula>which corresponds to the initial gradient condition to observed <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\224b1103-9631-46f7-9537-f3b0e6914379.png" xlink:type="simple"/></inline-formula> in<inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\4ebb359c-6229-47f6-ab23-20910ce244ee.png" xlink:type="simple"/></inline-formula>.</p><p>Else <inline-formula><inline-graphic xlink:href="http://file.scirp.org/Html/htmlimages\10-7900349x\f76031dc-7891-4967-a12a-3d89eac7da91.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="journal" xlink:type="simple"><name name-style="western"><surname>EL JAI</surname><given-names> A.</given-names></name>,<name name-style="western"><surname> SIMON</surname><given-names> M.C. </given-names></name>,<name name-style="western"><surname> ZERRIK</surname><given-names> E. </given-names></name>,<etal>et al</etal>. (<year>1993</year>)<article-title>REGIONAL OBSERVABILITY AND SENSOR STRUCTURES</article-title><source> SENSORS AND ACTUATORS JOURNAL</source><volume> 39</volume>,<fpage> 95</fpage>-<lpage>102</lpage>.<pub-id pub-id-type="doi">HTTP://DX.DOI.ORG/10.1016/0924-4247(93)80204-T</pub-id></mixed-citation></ref><ref id="scirp.48607-ref2"><label>2</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>ZERRIK</surname><given-names> E.</given-names></name>,<name name-style="western"><surname> BOURRAY</surname><given-names> H. </given-names></name>,<name name-style="western"><surname> EL JAI</surname><given-names> A. </given-names></name>,<etal>et al</etal>. (<year>2004</year>)<article-title>REGIONAL OBSERVABILITY FOR SEMILINEAR DISTRIBUTED PARABOLIC SYSTEMS</article-title><source> JOURNAL OF DYNAMICAL AND CONTROL SYSTEMS</source><volume> 10</volume>,<fpage> 413</fpage>-<lpage>430</lpage>.<pub-id pub-id-type="doi">HTTP://DX.DOI.ORG/10.1023/B:JODS.0000034438.72863.CA</pub-id></mixed-citation></ref><ref id="scirp.48607-ref3"><label>3</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>BOUTOULOUT</surname><given-names> A.</given-names></name>,<name name-style="western"><surname> BOURRAY</surname><given-names> H.</given-names></name>,<name name-style="western"><surname> EL ALAOUI</surname><given-names> F.Z. </given-names></name>,<name name-style="western"><surname> BENHADID</surname><given-names> S. </given-names></name>,<etal>et al</etal>. (<year>2014</year>)<article-title>BOUTOULOUT, A., BOURRAY, H., EL ALAOUI, F.Z. AND BENHADID, S.  REGIONAL OBSERVABILITY FOR DISTRIBUTED SEMI-LINEAR HYPERBOLIC SYSTEMS</article-title><source> INTERNATIONAL JOURNAL OF CONTROL</source><volume> 87</volume>,<fpage> 898</fpage>-<lpage>910</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.48607-ref4"><label>4</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>ZERRIK</surname><given-names> E.</given-names></name>,<name name-style="western"><surname> BOURRAY</surname><given-names> H. </given-names></name>,<name name-style="western"><surname> BENHADID</surname><given-names> S. </given-names></name>,<etal>et al</etal>. (<year>2007</year>)<article-title>SENSORS AND REGIONAL OBSERVABILITY OF THE WAVE EQUATION</article-title><source> SENSORS AND ACTUATORS JOURNAL</source><volume> 138</volume>,<fpage> 313</fpage>-<lpage>328</lpage>.<pub-id pub-id-type="doi">HTTP://DX.DOI.ORG/10.1016/J.SNA.2007.05.017</pub-id></mixed-citation></ref><ref id="scirp.48607-ref5"><label>5</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>BOUTOULOUT</surname><given-names> A.</given-names></name>,<name name-style="western"><surname> BOURRAY</surname><given-names> H. </given-names></name>,<name name-style="western"><surname> EL ALAOUI</surname><given-names> F.Z. </given-names></name>,<etal>et al</etal>. (<year>2013</year>)<article-title>BOUNDARY GRADIENT OBSERVABILITY FOR SEMILINEAR PARABOLIC SYSTEMS: SECTORIAL APPROACH</article-title><source> MATHEMATICAL SCIENCES LETTERS</source><volume> 2</volume>,<fpage> 45</fpage>-<lpage>54</lpage>.<pub-id pub-id-type="doi">HTTP://DX.DOI.ORG/10.12785/MSL/020106</pub-id></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="journal" xlink:type="simple"><name name-style="western"><surname>BOUTOULOUT</surname><given-names> A.</given-names></name>,<name name-style="western"><surname> BOURRAY</surname><given-names> H. </given-names></name>,<name name-style="western"><surname> KHAZARI</surname><given-names> A. </given-names></name>,<etal>et al</etal>. (<year>2013</year>)<article-title>BOUTOULOUT, A., BOURRAY, H. AND KHAZARI, A.  GRADIENT OBSERVABILITY FOR HYPERBOLIC SYSTEM. INTERNATIONAL REVIEW OF AUTOMATIC CONTROL (I.RE.A</article-title><source>CO)</source><volume> 6</volume>,<fpage> 263</fpage>-<lpage>274</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.48607-ref8"><label>8</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>BOUTOULOUT</surname><given-names> A.</given-names></name>,<name name-style="western"><surname> BOURRAY</surname><given-names> H. </given-names></name>,<name name-style="western"><surname> EL ALAOUI</surname><given-names> F.Z. </given-names></name>,<etal>et al</etal>. (<year>2012</year>)<article-title>REGIONAL GRADIENT OBSERVABILITY FOR DISTRIBUTED SEMILINEAR PARABOLIC SYSTEMS</article-title><source> JOURNAL OF DYNAMICAL AND CONTROL SYSTEMS</source><volume> 18</volume>,<fpage> 159</fpage>-<lpage>179</lpage>.<pub-id pub-id-type="doi">HTTP://DX.DOI.ORG/10.1007/S10883-012-9138-3</pub-id></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="journal" xlink:type="simple"><name name-style="western"><surname>KASSARA</surname><given-names> K. </given-names></name>,<name name-style="western"><surname> EL JAI</surname><given-names> A. </given-names></name>,<etal>et al</etal>. (<year>1983</year>)<article-title>KASSARA, K. AND EL JAI, A.  ALGORITHME POUR LA COMMANDE D’UNE CLASSE DE SYSTÈMES À PARAMÈTRE RÉPARTIS NON LINÉAIRES. REVUE. MAROCAINE. D’AUTOMATIQUE</article-title><source> ET DE TRAITEMENT DE SIGNAL</source><volume> 1</volume>,<fpage> 3</fpage>-<lpage>24</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref></ref-list></back></article>