Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Regional Boundary Asymptotic Gradient Full-Order Observer in Distributed Parabolic Systems

Regional Boundary Asymptotic Gradient Full-Order Observer in Distributed Parabolic Systems The purpose of this paper is to explore the concept of the regional boundary asymptotic gradient full order observer (RBAGFO-observer) in connection with the characterizations of sensors structures. Then, we present various results related to different types of measurements, domains and boundary conditions for distributed parameter systems (DPS ) in parabolic systems problem. The considered approach of this work is derived from Luenberger observer theory which is enable to estimate asymptotically the state gradient of the original system on a sub-region of the domain boundary 𝜕 Ω in order that the RBAGFO-observability notion to be achieved. We also show that there exists a dynamical system for the considered system is not BAGFO-observer in the usual sense, but it may be regional RBAGFO-observer. Keywords: RBG-strategic sensors, RBAG-detectability, RBAGFO-observers, diffusion system. Mathematics Subject Classification: 93A30; 93B07; 93B30; 93C2. 1. Introduction There are many situations in modern technology in which it is necessary to estimate the state of a dynamic system using only the measured input and output data of the system [1]. An observer is a dynamic system Ŝ which to estimates the state of another considered system S using only the measured input and output letter. If the order of Ŝ is equal to the order of S, the observer is called full-order state observer [2-4]. The asymptotic observer theory explored by Luenberger in [5] for finite-dimensional linear systems and extended infinite-dimensional distributed parameter systems govern by strongly continuous semi-group in Hibert space by Gressang and Lamont as in [6]. The study of this approach via another variable like sensors and actuators developed by El-Jai et al. as in ref.s [2-7] in order to achieve asymptotic observability. One of the most important approach in system theory is focused on the reconstruction of the state of the system from the knowledge of dynamic system and the output function on a sub-region ω of a spatial domain Ω this problem is called regional observability problem has been received much attention as in [8-10]. An extension of this notion has been given in [11-12] to the regional gradient case. The regional asymptotic notion has been introduced and developed by Al-Saphory and El- Jai in [13-14]. Thus, this notion consists in studying the asymptotic behavior of the system in an internal sub-region ω of a spatial domain Ω. Thus, the asymptotic regional state reconstruction studied and developed in [15-16] and extended to the regional asymptotic gradient full-order observer (RGFO-observer) which allows estimating the state gradient of the original system. The purpose of this paper is to study and examine the concept of RBAGFO-observer by using the choice of sensors. The principle reason for considering this case is that, in the first time, the existent of a dynamical system which is observed asymptotically the gradient of the system state on some boundary region Γ ⊂ ∂Ω [17]. In second time, it is closer to a real situation, the treatment of water by using a bioreactor where the objective is to observe the concentration of substrate at the boundary output of the bioreactor in order the water regulation is achieved (for example see figure 1). 28 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam Fig. 1: Observation of substrate concentration at the boundary output of the reactor. The outline of this paper is organized as follows: Section 2 is devoted to the problem statement and some basic concept related to the regional boundary gradient stability (RBAG-stability), regional boundary asymptotic gradient detectability (RBAG-detectability). Section 3, we focus on RBAGFO-observer so we introduced and characterize the existing of RBAGFO-observer to provide RBAGFO-estimator of gradient state for the original system in terms of sensors structure. In the last section, we have been applied these result to the two (DPS ) for different zone and pointwise sensors case. 2. Problem Formulation and Preliminaries This section present considered system and formulation of the problem with some definitions and characterizations, which is related to the present work. 2.1 Problem Statement Let Ω be an open bounded subset of 𝑅 with boundary 𝜕 Ω and Γ be a region subset of 𝜕 Ω. We denote 𝑄 = Ω ×]0,∞[ and Σ = ∂Ω ×]0,∞[. Consider the parabolic system which is described by the following state-space equation 𝜕𝑥 (𝜉 ,𝑡 ) = 𝐴𝑥 (𝜉 ,𝑡 )+ (𝑡 ) 𝑄 𝜕𝑡 𝑥 (𝜉 ,0) = 𝑥 (𝜇 ) Ω (1) 𝜕𝑥 (𝜂 ,𝑡 ) = 0 Σ 𝜕𝑣 augmented with the output function 𝑦 (.,𝑡 ) = 𝐶𝑥 (.,𝑡 ) (2) • The separable 1 2 𝑝 ( ) Hilbert spaces are 𝑋 , 𝑈 and 𝒪 where 𝑋 = 𝐻 (Ω) is the state space, 𝑈 = 𝐿 0, 𝑇 ,𝑅 is the control space and 𝒪 = 2 𝑞 ( ) 𝐿 0,𝑇 ,𝑅 is the observation space, where 𝑝 and 𝑞 are the numbers of actuators and sensors. 𝜕 𝜕 ̅ ̅ • 𝐴 = (𝑎 ) with 𝑎 ∈ 𝐷 (𝐴 ) (the domain of 𝐴 ) is a second-order linear differential operator, which 𝑖 ,𝑗 =1 𝜕 𝑥 𝜕 𝑥 𝑗 𝑗 generates a strongly continuous semi-group (𝑆 (𝑡 ) ) on the state space 𝑋 and is self-adjoint with compact 𝐴 𝑡 ≥0 resolvent [18]. 𝑝 𝑞 • The operators 𝐵 ∈ 𝐿 (𝑅 ,𝑋 ) and 𝐶 ∈ 𝐿 (𝑋 ,𝑅 ) depend on the structure of actuators and sensors as in [19] (figure 2) Fig. 2: Mathematical model: domain Ω, region Γ, and sensors Locations. 𝑖𝑗 𝑖𝑗 𝐵𝑢 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam • The mathematical model in figure 2 is more general and complex than the the spatial case of real model in figure 1. • Under the given assumptions above, the system (1) has a unique solution given by the following form [20-21]. ( ) ( ) ( ) ( ) 𝑥 (𝜉 ,𝑡 ) = 𝑆 𝑡 𝑥 𝜉 + ∫ 𝑆 𝑡 − 𝑠 𝑠 (3) 𝐴 0 𝐴 • The problem is how to reconstruct a dynamical system may be called estimator for the current state gradient in a given region on Γ, and to give a sufficient condition for the existence of a RBAGFO-observer. • The initial state 𝑥 and its gradient ∇𝑥 are supposed to be unknown, the problem concerns the reconstruction 0 0 of the initial gradient ∇𝑥 on the region Γ of the system domain 𝜕 Ω. • Now, we consider the operator 𝐾 given by the form 𝐾 : 𝑋 → 𝒪 (4) 𝑥 → 𝐶 𝑆 (.)𝑥 where 𝐾 is a bounded linear operator as in [7, 22, 24]. And the adjoint operator 𝐾 of 𝐾 is defined by 𝐾 :𝒪 → 𝑋 , and represented by the form ∗ ∗ ∗ ∗ ∗ ( ) ( ) 𝐾 𝑦 = ∫ 𝑆 𝑠 𝐶 𝑦 𝑠 (5) • The operator ∇ denotes the gradient is given by 1 1 𝑛 ( ) ( ) ∇:𝐻 Ω → (𝐻 Ω ) { (6) 𝜕𝑥 𝜕𝑥 𝑥 → ∇ = ( ,… , ) 𝜕 𝜉 𝜕 𝜉 1 𝑛 and, the adjoint of ∇ denotes by ∇ is given by ∗ 1 𝑛 1 ( ) ( ) ∇ :(𝐻 Ω ) → 𝐻 Ω { (7) 𝑥 → ∇ = 𝑣 where 𝑣 is a solution of the Dirichlet problem ∆ = −𝑣𝑑𝑖 (𝑥 ) Ω { (8) 𝑣 = 0 𝜕 Ω • The trace operator of order zero is described by [23] 1 1⁄2 ( ) ( ) 𝛾 :𝐻 Ω → 𝐻 𝜕 Ω (9) which is a linear, subjective, and continuous [20]. Thus, the extension of the trace operator [23] which is denoted by 𝛾 defined as 1 𝑛 1⁄2 𝑛 ( ) ( ) 𝛾 :(𝐻 Ω ) → (𝐻 𝜕 Ω ) (10) ∗ ∗ and the adjoints are respectively given by 𝛾 ,𝛾 . • For a region Γ of 𝜕 Ω, we define the gradient restriction operator by the form 𝑑𝑠 𝑑𝑠 𝐵𝑢 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam 1⁄2 𝑛 1⁄2 𝑛 ( ) ( ) 𝜒 :(𝐻 ∂Ω ) ⟶ (𝐻 Γ ) (11) where the adjoint of 𝜒 denotes by 𝜒 is defined by ∗ ⁄ ⁄ 1 2 𝑛 1 2 𝑛 𝜒 :(𝐻 (Γ)) ⟶ (𝐻 (∂Ω)) (12) ∗ 1⁄2 𝑛 ∗ ( ) • Finally, we denote the operator 𝐻 = 𝜒 𝛾 ∇𝐾 from 𝒪 into (𝐻 Γ ) and the adjoint of this operator given Γ 𝐺 Γ ∗ ∗ ∗ ∗ by 𝐻 ∗ = 𝐾 ∇ 𝛾 𝜒 . Γ 𝐺 • For a sub-region Γ of the boundary regional boundary gradient Γ = Γ . 𝑅𝐵𝐺 Now, the problem is how to build an approach which observe (estimates) regional state gradient on a region Γ of the boundary 𝜕 Ω ⊂ Ω asymptotically by using a dynamic system (an observer) in full order case only may be called full-order observer in region Γ . The important of an observer is that to estimates all the gradient of state variables, regardless of whether some are available for direct measurements or not [1]. ∗ ∗ 2.2 𝚪 G-observability and 𝚪 AG-detectability This sub section devotes the relation between the concept of RBG-observability and RBAG-detectability on Γ . As well known the observability [19-22] and asymptotic observability [1-5, 7, 24] are important concepts to estimate the unknown state of the considered dynamic system from the input and output functions. Thus, These notions are studied and introduced to the DPS analysis with different characterizations by El-Jai, Zerrik and Al- Saphory et al. in many paper for example [8-18, 28-31] in connection with strategic sensors. ∗ ∗ • The systems (1)-(2) are said to be exactly regionally boundary gradient observable (EΓ G-observable) on Γ if ∗ 1⁄2 ∗ 𝑛 𝛨 = 𝜒 ∇𝐾 = (𝐻 (Γ )) ∗ ∗ • The systems (1)-(2) are said to be weakly regionally boundary gradient observable (WΓ G-observable) on Γ if ⁄ ∗ ∗ 1 2 𝑛 𝐻 = 𝜒 𝛻 𝐾 =(𝐻 (Γ )) It is equivalent to say that the systems (1)-(2) are WΓ G-observable if ∗ ∗ ∗ { } 𝐾𝑒𝑟 𝐻 = 𝐾𝑘𝑒𝑟 𝛻 𝜒 = 0 • If the systems (1)-(2) are is WΓ G-observable, then 𝑥 (𝜉 ,0) is given by ∗ −1 ∗ † 𝑥 = (𝐾 𝐾 ) 𝐾 𝑦 = 𝐾 𝑦 , where 𝐾 is the pseudo-inverse of the operator 𝐾 [9-10]. ∗ ∗ ∗ • A sensor (𝐷 ,𝑓 ) is a regional boundary gradient strategic (Γ G-strategic) on Γ if the observed system is WΓ G- observable. • The measurements can be obtained by the use of zone or pointwise sensors, which may be located in Ω or 𝜕 Ω [24]. • Then, according to the choice of the parameters 𝐷 and 𝑓 , we have different types of sensors׃ 𝑖 𝑖 • It may be zone, if 𝐷 ⊂ Ω and 𝑓 ∈ 𝐿 (𝐷 ). In this case, the operator 𝐶 is bounded, and the output function (2) 𝑖 𝑖 𝑖 may be given by the form 𝐼𝑚 𝐼𝑚 𝐼𝑚 𝐼𝑚 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam 𝑦 (𝑡 ) = ∫ 𝑧 (𝜉 ,𝑡 )𝑓 (𝜉 ) (13) { } • It may be pointwise, if 𝐷 = 𝑏 with 𝑏 ∈ Ω and 𝑓 = 𝛿 (.−𝑏 ) where 𝛿 is a Dirac mass concentrated in 𝑏 [14, 𝑖 𝑖 𝑖 𝑖 21, 28]. In this case, the operator 𝐶 is un bounded, and the output function (2) may be given by the form 𝑦 (𝑡 ) = 𝑥 (𝜉 ,𝑡 )𝛿 (𝜉 − 𝑏 ) (14) 𝑏 𝑖 Ω 𝑖 • It may be boundary zone, if Γ ⊂ 𝜕 Ω and 𝑓 ∈ 𝐿 (Γ ), the output function (2) may be given by the form 𝑖 𝑖 𝑖 ( ) ( ) ( ) 𝑦 𝑡 = ∫ 𝑥 𝜂 ,𝑡 𝑓 𝜂 (15) Definition 2.1: The semi-group (𝑆 (𝑡 )) is regionally boundary asymptotically gradient stable (Γ AG-stable) 𝐴 𝑡 ≥0 ∗ ∗ on Γ , if and only if for some positive constants 𝑀 , 𝛼 , we have Γ Γ 𝛼 ∗ ∗ ∗ Γ ‖𝜒 γ∇𝑆 (.)‖ ⁄ ∗ ≤ 𝑀 𝑒 ,∀𝑡 ≥ 0. 1 2 𝑛 1 Γ 𝐴 ̅ Γ 𝐿 ((𝐻 (Γ ) ) , 𝐻 (Ω) ) ∗ ∗ 1𝑙 2 𝑛 1 Remark 2.2: If the semi-group (𝑆 (𝑡 )) is Γ AG-stable on (𝐻 (Γ )) , then for all 𝑥 ₒ ∈ 𝐻 (Ω), the solution of 𝐴 𝑡 ≥0 the associated system satisfies ‖ ∗ ( )‖ ∗ ‖ ∗ ( ) ‖ ∗ lim 𝜒 γ∇𝑥 .,𝑡 1⁄2 𝑛 = lim 𝜒 γ∇𝑆 𝑡 𝑥 1⁄2 𝑛 Γ Γ 𝐴 0 (𝐻 (Γ ) ) (𝐻 (Γ ) ) 𝑡 ⟶∞ 𝑡 ⟶∞ = 0 (16) ∗ ∗ Definition 2.3: The system (1) is said to be Γ AG-stable on Γ if the operator 𝐴 generates a semi-group which is ∗ ∗ 1⁄2 𝑛 Γ AG-stable on the space (𝐻 (Γ )) . Definition 2.4: The system (1)-(2) is said to be regionally boundary asymptotically gradient detectable (Γ AG- ∗ ∗ 𝑞 1⁄2 𝑛 ∗ ( ) ∗ detectable) on Γ , if there exists an operator 𝐻 :𝑅 → (𝐻 Γ ) , such that the operator (𝐴 − 𝐻 𝐶 ) Γ Γ ∗ ∗ 1⁄2 𝑛 ( ) ( ) generates a strongly continuous semi-group (𝑆 𝑡 ) , which is Γ AG-stable on (𝐻 Γ ) . 𝐻 ∗ 𝑡 ≥0 ∗ ∗ ∗ ∗ Proposition 2.5: If the system (1)-(2) is Γ G-observable on Γ , then it is Γ AG-detectable on Γ . This results gives the following inequality: ∃ 𝑘 > 0, such that Γ AG ‖ ∗ ( ) ‖ ∗ ∗ ‖ ( ) ‖ 𝜒 γ∇𝑆 . 𝑥 1⁄2 𝑛 ≤ 𝑘 𝐶 𝑆 . 𝑥 2 , (17) Γ 𝐴 Γ AG 𝐴 ( ) (𝐻 (Γ ) ) 𝐿 0,∞,𝒪 1⁄2 𝑛 for all 𝑧 ∈ (𝐻 (Γ ) ) . Proof׃ We conclude the proof of this proposition is conclude from the results on observability considering 𝜒 ∇𝐾 . We have the following forms [21, 24] 1. 𝑚𝑓𝐼 ⊂ 𝑚𝑔𝐼 . 2. There exists 𝑘 > 0, such that ∗ ∗ ∗ ∗ ∗ ∗ ‖ ‖ ∗ ‖ ‖ ∗ 𝑓 𝑥 ≤ 𝑘 𝑔 𝑥 , for all 𝑥 ∈ 𝐺 𝐸 𝐹 ∗ ∗ ∗ ‖ ‖ ∗ ∗ ∗ ∗ ∗ From the right hand said of above inequality 𝑘 𝑔 𝑥 , there exists 𝑀 ,𝜔 > 0 with 𝑘 < 𝑀 , Γ AG 𝐹 Γ AG Γ AG Γ AG Γ AG such that −𝜔 ∗ 𝑡 ∗ ∗ Γ AG ∗ ‖ ‖ ∗ ∗ ‖ ‖ ∗ 𝑘 𝑔 x ≤ 𝑀 𝑒 𝑥 Γ AG 𝐹 Γ AG 𝐹 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝑑𝜂 𝑑𝜉 𝑑𝜉 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam ( ) ( ) where 𝐸 ,𝐹 and 𝐺 be a reflexive Banach spaces and 𝑓 ∈ 𝐿 𝐸 ,𝐺 , 𝑔 ∈ 𝐿 𝐹 ,𝐺 . If we apply this result, considered 1/2 𝑛 𝐸 = 𝐺 = (𝐻 (Г )) , 𝐹 = 𝒪 , 𝑓 = 1/2 𝑛 (𝐻 (Г )) and ∗ ∗ ∗ ∗ ∗ 𝑔 = 𝑆 (.)𝜒 𝛾 ∇ 𝐶 𝐴 Γ ∗ ∗ ∗ where 𝑆 (.) is a strongly continuous semi-group generates by 𝐴 , which is Γ AG-stable on Γ , then it is Γ AG- ∗ ∗ ∗ detectable on Γ . Thus, the notion of Γ AG-detectability is a weaker property than the Γ G-observability [25-26]. 3. Sensors and 𝚪 AGFO-Observer In this section we present the sufficient conditions which are guarantee the existence of regional boundary ∗ ∗ ∗ asymptotic gradient full order observer (Γ AGFO-Observer) on Γ which allows to construct a Γ AGFO-estimator ∗ ( ) on Γ of the state 𝜒 𝛾𝑥𝛻𝑇 𝜉 ,𝑡 . 3.2 Definitions and characterizations Definition 3.1: Suppose there exists a dynamical system with state z(., t) ∈ 𝑍 given by 𝜕 ẑ ( ) ( ) ( ) ∗ ( ) ( ) 𝜉 ,𝑡 = 𝐴 ẑ 𝜉 , 𝑡 + 𝑡 + 𝐻 (𝐶𝑥 𝜉 ,𝑡 − 𝐶 ẑ 𝜉 ,𝑡 ) 𝑄 𝜕𝑡 { (18) ẑ(𝜉 ,0) = ẑₒ(𝜉 ) Ω ẑ(𝜂 ,𝑡 ) = 0 Σ ∗ ∗ ∗ In this case the operator 𝐹 in general case [13] is given by 𝐹 = 𝐴 − 𝐻 𝐶 where 𝑇 = 𝐼 the identity Γ 𝐴 𝐺 Γ Γ operator. Thus the operator 𝐴 − 𝐻 𝐶 generate a strongly continuous semi-group (𝑆 (𝑡 )) on 𝐴 −𝐻 𝐶 𝑡 ≥0 Γ ∗ separable Hilbert space 𝑍 which is Γ AG-stable. Thus, ∃ 𝑀 ,𝛼 > 0 such that 𝐴 −𝐻 ∗ 𝐶 𝐴 −𝐻 ∗ 𝐶 Γ Γ −𝛼 𝐴 −𝐻 ∗ 𝐶 ‖𝑆 (.)‖ ≤ 𝑀 𝑒 ᵗ , ∀𝑡 ≥ 0. 𝐴 −𝐻 𝐶 𝐴 −𝐻 𝐶 ∗ ∗ Γ Γ ∗ ( ) ∗ and let 𝐺 ∈ 𝐿 𝑈 ,𝑍 ,𝐻 ∈ 𝐿 (𝒪 , Z) such that solution of (18) similar to (3) Γ Γ ( ) ( ) ( ) ( ) ( ) ∗ ( ) 𝑧 𝜉 ,𝑡 = 𝑆 𝑡 𝑧 𝜉 + [∫ 𝑆 𝑡 − 𝜏 𝜏 𝐻 𝑦 𝜏 ] . 𝐴 −𝐻 ∗ 𝐶 𝐴 −𝐻 ∗ 𝐶 Γ Γ Γ Definition 3.2: The system (18) defines Γ AGFO-estimator such that 1⁄2 𝑛 ( ) ( ) ( ) 𝑧 (𝜉 ,𝑡 ) = 𝜒 ∇T𝑥 𝜉 ,𝑡 = 𝜉 ,𝑡 ∈ (𝐻 Γ ) where 𝑥 (𝜉 ,𝑡 ) is the solution of the systems (1)-(2) if ‖ ( ) ‖ ∗ lim 𝑧 .,𝑡 − 𝑥 (𝜉 ,𝑡 ) 1⁄2 𝑛 = 0, (𝐻 (Γ )) 𝑡 →∞ and 𝜒 𝛻 I maps 𝐷 (𝐴 ) into 𝐷 (𝐴 − 𝐻 𝐶 ) where 𝑧 (𝜉 ,𝑡 ) is the solution of system (18). Γ Γ Remark 3.3: The dynamic system (18) specifies Γ AGFO-observer of the systems given by (1)-(2) if the following holds: 𝐴𝐺 𝐼𝑥 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝑑𝜏 𝐵𝑢 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐵𝑢 𝐼𝑑 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam ∗ ∗ 1⁄2 1⁄2 ∗ ( ) ∗ ( ) 1-There exists 𝑀 ∈ 𝐿 (𝑅 ,(𝐻 Γ )ⁿ) and 𝑁 ∈ 𝐿 ((𝐻 Γ )ⁿ) such that Γ AGFO Γ AGFO ∗ ∗ ∗ i- 𝑀 𝐶 + 𝑁 = 𝐼 Γ AGFO Γ AGFO Γ AGFO ∗ ∗ ∗ ii- 𝐴 − 𝐹 = 𝐻 𝐶 and 𝐺 =𝐵 . Γ AGFO Γ AGFO Γ AGFO 3- The system (18) defines Γ AGFO-estimator for 𝑥 (𝜉 ,𝑡 ). The object of Γ AGFO-observer is to provide an approximation to the original system state gradient. This approximation is given by ∗ ∗ 𝑥 ̂(𝑡 ) = 𝑀 𝑦 (𝑡 ) + 𝑁 𝑧 (𝑡 ). Γ AGFO Γ AGFO Definition 3.4: The systems (1)-(2) are regionally boundary asymptotic gradient full order observable (Γ AGFO- ∗ ∗ observable) on Γ , if there exists a dynamic system which is Γ AGFO-observer for the considered system. 3.2 𝚪 AGFO-Observer reconstruction method ∗ ∗ In this case, we need to consider 𝜒 𝛻 T= 𝐼 and 𝑍 = 𝑋 , then the operator observer equation becomes Γ AGFO Γ AGFO ∗ ∗ ∗ as 𝐹 = 𝐴 − 𝐻 𝐶 where 𝐴 and 𝐶 are known. Thus, the operator 𝐻 must be determined such that Γ AGFO Γ AGFO Γ AGFO the operator 𝐹 is Γ AG-stable. This observer is an extension of asymptotic observer as in [14-16, 24-31]. Γ AGFO Now consider again system (1) together with output function (2) described by the following form 𝜕𝑥 = 𝐴𝑥 (𝜉 ,𝑡 )+ 𝐵 𝑢 (𝑡 ) 𝑄 𝜕𝑡 ̅ ∗ 𝑥 (𝜉 ,0) = 𝑥 (𝜉 ) Ω (19) Let Γ be a given ( ) 𝑥 𝜂 ,𝑡 = 0 Σ ( ) ( ) { 𝑦 𝑡 = 𝐶𝑥 .,𝑡 𝑄 1 𝑛 sub-domain of Ω and suppose that 𝐼 ∗ ∈ ℒ(𝐻 (Ω)) ), and 𝜒 ∗ 𝛻 𝑇 𝑥 (𝜉 ,𝑡 ) = 𝜒 ∗ 𝛻𝑥 (𝜉 ,𝑡 ) there exists a Γ AGFO Γ AGFO Γ AGFO system with state 𝑧 (𝜉 ,𝑡 ) such that ∗ ∗ 𝑧 (𝜉 ,𝑡 ) = 𝜒 ∇ (𝜉 ,𝑡 ) = 𝑇 𝑥 ( 𝜉 ,𝑡 ) (20) Γ AGFO Γ AGFO ∗ ∗ ∗ (with 𝑇 = 𝐼 where 𝐼 is the identity operator with respect to Γ AGFO-estimator. Then Γ AGFO Γ AGFO Γ AG ( ) ∗ ( ) ( ) 𝑧 𝜉 ,𝑡 = 𝐼 𝑥 𝜉 ,𝑡 = 𝑥 𝜉 ,𝑡 (21) Γ AGFO From equation (2) and (21) we have 𝑦 𝐶 [ ] = [ ] 𝑥 𝑧 𝐼 Γ AGFO If we assume that there exist two bounded linear operators 1⁄2 ∗ 𝑛 𝑀 : 𝜗 → ((𝐻 (Γ )) Γ AGFO and ⁄ ∗ ⁄ ∗ 1 2 𝑛 1 2 𝑛 𝑁 : ((𝐻 (Γ )) → ((𝐻 (Γ )) Γ AGFO such that ∗ ∗ ∗ ∗ 𝑀 𝐶 + 𝑁 𝑇 = 𝐼 Γ AGFO Γ AGFO Γ AGFO Γ AGFO then by deriving 𝑧 (𝜉 ,𝑡 ) in (20) we have 𝑇𝑥 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam 𝜕𝑧 𝜕𝑥 ∗ ∗ ∗ (𝜉 ,𝑡 ) = 𝐼 (𝜉 ,𝑡 ) = 𝜒 ∇𝐴𝑇𝑥 (𝜉 ,𝑡 ) + 𝜒 ∇ (𝑡 ) Γ AGFO Γ AGFO Γ AGFO 𝜕 𝑡 𝜕𝑡 ∗ ∗ ∗ ∗ ∗ ∗ =𝜒 ∇𝐼 𝐴 𝑀 𝑦 (𝜉 ,𝑡 )+ 𝜒 ∇𝐼 𝐴 𝑁 𝑧 (𝜉 ,𝑡 ) Γ Γ AGFO Γ AGFO Γ Γ AGFO Γ AGFO ∗ ∗ +𝜒 ∇𝐼 (𝑡 ) Γ Γ AGFO ∗ ∗ Since the operator 𝑇 = 𝐼 ,then we have Γ AGFO Γ AGFO (𝜉 ,𝑡 ) = 𝐴 𝑁 ∗ 𝑧 (𝜉 ,𝑡 )+ (𝑡 )+ 𝐴 𝑀 ∗ 𝑦 (𝜉 ,𝑡 ) Γ AGFO Γ AGFO Therefore 𝜕 𝑧 ̂ ( ) ∗ ( ) ∗ ( ) ∗ 𝜉 ,𝑡 = 𝐹 𝑧 ̂𝜉 ,𝑡 + 𝐺 𝑢 𝑡 + 𝐻 𝑦 (. ,𝑡 ) 𝛤 𝐺 𝛤 𝐺 𝛤 𝐺 ∗ ∗ ∗ and since 𝐴 − 𝐹 = 𝐻 𝐶 and 𝐺 = 𝐵 then we have Γ AGFO Γ AGFO Γ AGFO 𝜕 𝑧 ̂ (𝜉 ,𝑡 ) = 𝐴 𝑧 ̂(𝜉 ,𝑡 )+ (𝑡 )+ 𝐻 (𝐶𝑥 (𝜉 ,𝑡 )− (𝜉 ,𝑡 )) 𝑄 Γ AGFO 𝜕𝑡 { (22) 𝑧 ̂(𝜉 ,0) = 𝑧 ̂ (𝜉 ) Ω 𝑧 ̂(𝜂 ,𝑡 ) = 0 Σ 1 1⁄2 Let us consider a complete sets of eigenfunctions 𝜑 in (𝐻 (Ω))ⁿ orthonormal to (𝐻 (Γ ))ⁿ associated with 𝑛𝑗 the eigenvalue 𝜆 of multiplicity 𝑟 and suppose the system (1) has unstable mode. Then, the sufficient condition 𝑛 𝑛 of an Γ AGFO-observer is formulated in the following main result. Theorem 3.5: Suppose that there are 𝑞 zone sensors (𝐷 ,𝑓 ) and the spectrum of 𝐴 contains 𝐽 eigenvalues 𝑖 𝑖 1≤𝑖 ≤𝑞 ∗ ∗ with non-negative real parts. Then the dynamic system (22) is Γ AGFO-observer on Γ for the system (19), that is lim[𝑧 (𝜉 ,𝑡 )− 𝑧 ̂(𝜉 ,𝑡 )] = 0, if : 𝑡 →∞ 1-There exists ∗ ∗ 𝑞 1⁄2 1⁄2 ∗ ( ) ∗ ( ) 𝑀 ∈ 𝐿 (𝑅 ,(𝐻 Γ )ⁿ) and 𝑁 ∈ 𝐿 ((𝐻 Γ )ⁿ) such that Γ AGFO Γ AGFO ∗ ∗ ∗ 𝑀 𝐶 + 𝑁 = 𝐼 . Γ AGFO Γ AGFO Γ AGFO ∗ ∗ ∗ 2- 𝐴 − 𝐹 = 𝐻 𝐶 ,𝐺 = 𝐵 . Γ AGFO Γ AGFO Γ AGFO 3- 𝑞 ≥ 𝑚 4- rank 𝐺 = 𝑚 ,∀𝑚 ,𝑚 = 1,… ,𝐽 with 𝑚 𝑚 𝜓 (𝑏 ),𝑓 (.) > 𝑖 𝑖 𝐿 (𝐷𝑖 ) 𝜓 (𝑏 ) 𝐺 = (𝐺 ) = { 𝑚 𝑚 𝜕 𝜓 ⟨ ⟩ ,𝑓𝑖 (.) > 𝐿 (Γ ᵢ 𝜕𝑣 where sup 𝑚 = 𝑚 < ∞ and 𝑗 = 1,… ,𝑚 . 𝑚 𝑚 Proof: First step: The proof is limited to the case of pointwise sensors. Under the assumptions of section 2, the system (1) can be decomposed by the projections 𝑃 and 𝐼 − 𝑃 on two parts, unstable and stable. The state vector may 𝑚𝑗 𝑖𝑗 𝑚𝑗 𝑚𝑗 𝑐𝐶 𝐵𝑢 𝜕𝑡 𝜕𝑡 𝐵𝑢 𝜕𝑧 𝐵𝑢 𝑇𝐵𝑢 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam ( ) [ ( ) ] be given by 𝑥 𝜉 ,𝑡 = 𝑥 ₁ 𝜉 ,𝑡 ,𝑥 ₂(𝜉 ,𝑡 ) ͭʳ where 𝑥 ₁(𝜉 ,𝑡 ) is the state component of the unstable part of the system (1) may be written in the form 𝜕 𝑥 (𝜉 ,𝑡 ) = 𝐴 𝑥 (𝜉 ,𝑡 )+ 𝐵𝑃𝑢 (𝑡 ) 𝑄 1 1 𝜕𝑡 { (23) 𝑥 (𝜉 ,0) = 𝑥 (𝜉 ) Ω 1 01 ( ) 𝑥 ₁ 𝜂 ,𝑡 = 0 Θ and 𝑥 ₂(𝜉 ,𝑡 ) is the component state of the stable part of the system (1) given by 𝜕𝑥 ₂ ( ) ( ) ( ) ( ) 𝜉 ,𝑡 = 𝐴 ₂𝑥 ₂ 𝜉 , 𝑡 + 𝐼 − 𝑃 𝐵 𝑢 𝑡 𝑄 𝜕𝑡 { (24) ( ) ( ) 𝑥 ₂ 𝜉 ,0 = 𝑥 ₀₂ 𝜉 Ω ( ) 𝑥 ₂ 𝜂 ,𝑡 = 0 Θ 𝐽 𝐽 ∑ ∑ The operator 𝐴 ₁is represented by a matrix of order ( 𝑚 , 𝑚 ) given by𝐴 ₁ = diag 𝑚 𝑚 𝑚 =1 𝑚 =1 1 1 2 2 [𝜆 ,… ,𝜆 ,𝜆 ,…,𝜆 ,…,𝜆 ,… ,𝜆 ]and = [𝐺 ₁ͭʳ,𝐺 ₂ͭʳ,…,𝐺 ʳ].The condition (4) of this theorem, allows that the suit 𝐽 𝐽 𝐽 ∗ ∗ (𝐷 ,𝑓 ) of sensors is Γ G-strategic for the unstable part of the system (1), the subsystem (23) is WΓ G - 𝑖 𝑖 1≤𝑖 ≤𝑞 observable [11] and since it is finite dimensional, then it is EΓ G observable [27]. Therefore it is asymptotically ∗ 1 1 Γ 𝐴𝐺 -detectable, and hence there exists an operator 𝐻 ∗ such that (𝐴 ₁ − 𝐻 ∗ 𝐶 )which is satisfied the Γ Γ following: ∃,𝑀 1 ,𝛼 1 >0 such that 𝐴 1−𝐻 𝐶 𝐴 1−𝐻 𝐶 ∗ ∗ Γ Γ −𝛼 1 1 (𝐴 1−𝐻 𝐶 )𝑡 𝐴 1−𝐻 𝑐 ∗ ∗ Γ Γ ‖𝑒 ‖ ≤ 𝑀 𝑒 1 ∗ 𝐴 1−𝐻 𝐶 (𝐻 (Γ ))ⁿ Γ and then we have −𝛼 𝐴 1−𝐻 𝐶 ‖𝑥 (.,𝑡 )‖ ∗ ≤ 𝑀 𝑒 ‖𝑃 𝑥 (. )‖ 1 1 ∗ 1 0 1 (𝐻 (Γ ))ⁿ 𝐴 1−𝐻 ∗ 𝐶 (𝐻 (Γ ))ⁿ 1⁄2 ( ) Since the semi-group generated by the operator 𝐴 is stable on (𝐻 Γ )ⁿ, then there exist 𝑀 ,𝛼 > 0 [5] such that 2 2 𝐴 2−𝐻 ∗ 𝐶 𝐴 2−𝐻 ∗ 𝐶 Γ Γ −𝛼 𝐴 2−𝐻 𝐶 (𝑡 ) ‖ ‖ ‖ ‖ 𝑥 (.,𝑡 ) 1 ∗ ⁿ ≤ 𝑀 1 𝑒 (𝐼 − 𝑃 ) 1⁄2 ∗ (𝐻 (Γ )) 𝐴 1−𝐻 𝐶 (𝐻 (Γ ))ⁿ −𝛼 2 (𝑡 ) 𝐴 2−𝐻 𝐶 ∗ 2 + 𝑀 ,𝑒 𝐻 ∗ ‖(𝐼 − 𝑃 )𝑥 (.)‖ ∗ ‖𝑢 (𝜏 )‖ ∫ 1⁄2 𝑀 0 1 Γ (𝐻 (Γ ))ⁿ 𝐴 1−𝐻 𝐶 and therefor 𝑥 (𝜉 ,𝑡 ) → 0 when 𝑡 → ∞. Finally, the system (23) are asymptotically Γ 𝐴𝐺 -detectable. Second step: From equation (21), we have 𝑧 (𝜉 ,𝑡 ) = 𝑥 (𝜉 ,𝑡 )with the observer error is given by the following form 𝑒 (𝜉 ,𝑡 ) = 𝑧 (𝜉 ,𝑡 )− 𝑧 ̂(𝜉 ,𝑡 ) where 𝑧 ̂(𝜉 ,𝑡 ) is a solution of the dynamic system (22). Derive the above equation, and by using equation (19) and condition 2, we can get the following forms 𝜕𝜀 𝜕𝑧 𝜕 𝑧 ̂ 𝜕𝑥 𝜕 𝑧 ̂ ( ) ( ) ( ) ( ) 𝜉 ,𝑡 = 𝜉 ,𝑡 − 𝜉 ,𝑡 = 𝜉 ,𝑡 − (𝜉 ,𝑡 ) 𝜕𝑡 𝜕𝑡 𝜕𝑡 𝜕𝑡 𝜕𝑡 = 𝐴𝑥 (𝜉 ,𝑡 )+ (𝑡 )− 𝐹 𝑧 ̂(𝜉 ,𝑡 ) Γ AGFO 𝐵𝑢 𝐴𝐺 𝐴𝐺 𝑑𝜏 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝑃𝐵 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam − 𝐺 ∗ 𝑢 (𝑡 )− 𝐻 ∗ 𝐶𝑥 (𝜉 ,𝑡 ) Γ Γ AGFO ( ) ∗ ( ) ∗ = 𝐴𝑥 𝜉 ,𝑡 − (𝐴 − 𝐻 𝐶 )𝑧 ̂𝜉 ,𝑡 − 𝐻 𝐶𝑥 (𝜉 ,𝑡 ) Γ AGFO𝐺 Γ AGFO ∗ ( ) ( ) = (𝐴 − 𝐻 𝐶 )(𝑧 𝜉 ,𝑡 − 𝑧 ̂𝜉 ,𝑡 ) Γ AGFO = (𝐴 − 𝐻 𝐶 ) 𝑒 (𝜉 ,𝑡 ) Γ AGFO Thus, from the first part of this proof we obtain 𝑒 (𝜉 ,𝑡 ) = (𝐴 − 𝐻 𝐶 ) 𝑒 (0,𝑡 ) Γ AGFO is asymptotically Γ 𝐺 -stable with 𝑒 (0,𝑡 ) = 𝑧 (𝜉 )− 𝑧 ̂ (𝜉 ) 0 0 Then we have −𝛼𝐴 −𝐻 ∗ 𝐶 Γ AGFO ‖𝑒 (𝜉 ,𝑡 )‖ ∗ ≤ 𝑀 𝑒 . 1⁄2 𝐴 −𝐻 ∗ 𝐶 (𝐻 (Γ ))ⁿ) Γ AGFO ‖𝑧 (𝜉 )− 𝑧 ̂(𝜉 )‖ ∗ 1⁄2 0 0 (𝐻 (Γ ))ⁿ) therefore lim 𝑒 (𝜉 ,𝑡 ). Now, let the approximate solution to the gradient state of the original system is 𝑡 →∞ ∗ ∗ 𝑥̂(𝜉 ,𝑡 ) = 𝑀 𝑦 (. ,𝑡 )+ 𝑁 𝑧 ̂(𝜉 ,𝑡 ) Γ AGFO Γ AGFO with ∗ ∗ ∗ 𝑀 = 0 and 𝑁 = 𝐼 Γ AGFO Γ AGFO Γ AGFO , then we have 𝑥̂(𝜉 ,𝑡 ) = 𝑧 ̂(𝜉 ,𝑡 ) Now, we can calculate the error of gradient state estimator 𝑒 ̂ (𝜉 ,𝑡 ) = 𝑥 (𝜉 ,𝑡 )− 𝑥̂(𝜉 ,𝑡 ) = 𝑥 (𝜉 ,𝑡 )− 𝑥 (𝜉 ,𝑡 )+ 𝑥 (𝜉 ,𝑡 )− 𝑥̂(𝜉 ,𝑡 ) Γ AGFO = 𝑥̂(𝜉 ,𝑡 )− 𝑧 ̂(𝜉 ,𝑡 ) = 𝑒 (𝜉 ,𝑡 ) = (𝐴 − 𝐻 𝐶 ) 𝑒 (0,𝑡 ) Γ AGFO is asymptotically Γ 𝐺 -stable with ( ) ( ) 𝑒 0,𝑡 = 𝑧 𝜉 − 𝑧 ̂ (𝜉 ). 0 0 Consequently, we get lim‖𝑥 (.,𝑡 )− 𝑥̂(𝜉 ,𝑡 )‖ ⁄ ∗ = lim‖𝑥 (.,𝑡 )− 𝑧 ̂(𝜉 ,𝑡 )‖ ⁄ ∗ = 0 1 2 1 2 (𝐻 (Γ ))ⁿ (𝐻 (Γ ))ⁿ 𝑡 →∞ 𝑡 →∞ Then, the dynamical system (22) is Γ 𝐴𝐹𝑂𝐺 -0bserver to the system (19). Corollary 3.6 From the previous results, we can deduce that: 1. Theorem 3.5 gives the sufficient conditions which guarantee the dynamic system (22) is a Γ 𝐹𝑂𝐺 -observer for the system (19). 37 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam 2. If a system which is an Ω𝐺 𝐹 𝑂 -observer, then it is Γ 𝐴𝐹𝑂𝐺 -observer for system (19). ∗ 1∗ 1∗ ∗ 3. If a system is Γ 𝐹𝑂𝐺 -observer, then it is Γ 𝐹𝑂𝐺 -observer for every subset Γ of Γ , but the converse is not true [28]. This is an important case because there are many problems in real world can reconstruction the current state gradient but is not in the usual sense which is presented in the following example. Example 3.7. Consider a two-dimensional system described by the diffusion equation 𝜕𝑥 (𝜉 ,𝜉 ,𝑡 ) = Δ𝑥 (𝜉 ,𝜉 ,𝑡 ) 𝒬 1 2 1 2 𝜕𝑡 𝑥 (𝜉 ,𝜉 ,𝑡 ) = 𝑥 (𝜉 ,𝜉 ) Ω (25) 1 2 0 1 2 𝜕𝑥 (𝜂 ,𝜂 ,𝑡 ) = 0 Θ { 1 1 𝜕𝑣 where Ω =]0,1[×]0,1[. The operator 𝐴 = ∆ generates a strongly continuous semi-group (𝑆 (𝑡 )) on the Hilbert 𝐴 𝑡 ≥0 space 𝐻 (Ω) given by 𝑆 (𝑡 )𝑥 = ∑ 𝑒 𝑡 ⟨𝑥 ,𝜑 ⟩ 𝜑 𝐴 𝑛𝑚 𝑛𝑚 𝑛 ,𝑚 =0 𝐻 (Ω) With 2 2 2 𝜆 = −(𝑛 ,𝑚 )𝜋 , 𝜑 (𝜉 ,𝜉 ) = 2𝑎 cos(𝑛𝜋 𝜉 ) cos(𝑛𝜋 𝜉 ) and 𝑛𝑚 𝑛𝑚 1 2 𝑛𝑚 1 2 −1 2𝑎 = (1 − 𝜆 ) . 𝑛𝑚 𝑛𝑚 Consider the dynamical system 𝜕𝑥 (𝜉 ,𝜉 ,𝑡 ) = Δ𝑥 (𝜉 ,𝜉 ,𝑡 )− 𝐻 𝐶 (𝑥 (𝜉 ,𝜉 ,𝑡 )− 𝑧 (𝜉 ,𝜉 ,𝑡 )) 𝒬 1 2 1 2 𝐺𝐹𝐴𝑂 1 2 1 2 𝜕 𝑡 ( ) ( ) (26) 𝑥 𝜉 ,𝜉 ,0 = 𝑥 𝜉 , 𝜉 Ω 1 2 0 1 2 𝜕𝑥 ( ) 𝜂 ,𝜂 ,𝑡 = 0 Θ 1 1 𝜕𝑣 𝑞 1 𝑞 Where 𝐻 ∈ 𝐿 (𝑅 ,𝑍 ),𝑍 is a Hilbert space and 𝐶 :𝐻 (Ω) → 𝑅 is a linear operator. Consider the boundary sensor (Γ ,𝑓 ) defined by Γ = {0} ×]0,1[ and 𝑓 (𝜂 ,𝜂 ) = cos 𝜋 𝜂 0 1 2 2 Thus, the output function can be written by 𝑦 (𝑡 ) = ∫ 𝑥 (𝜂 ,𝜂 , 𝑡 )𝑓 (𝜂 ,𝜂 )𝑑 𝜂 𝑑 𝜂 (27) 1 2 1 2 1 2 If the state 𝑥 is defined in Ω by ( ) 𝑥 𝜉 ,𝜉 = cos(𝜋 𝜉 ) cos(2𝜋 𝜉 ), 0 1 2 1 2 then the system (20)-(22) is not WΩG-observable, i.e. the sensor (Γ ,𝑓 ) is not Ω-strategic and therefore the system (20)-(22) is not ΩAG-detectable [7]. Thus, the dynamical system (21) is not ΩAG-observer for the system { } (20)-(22) (see [29]). Here, we consider the region Γ =]0,1[× 0 ⊂ 𝜕 Ω (figure 3) and the dynamical system 𝑛𝑚 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam Fig. 3: Domain Ω, region Γ and location Γ of zone sensor. 𝜕𝑥 ( ) ( ) 𝜉 ,𝜉 ,𝑡 = Δ𝑥 𝜉 ,𝜉 ,𝑡 1 2 1 2 𝜕𝑡 −𝐻 𝐶 (𝑥 (𝜉 ,𝜉 ,𝑡 )− 𝑧 (𝜉 ,𝜉 ,𝑡 )) 𝒬 Γ AGFOΓ 1 2 1 2 (28) 𝑥 (𝜉 ,𝜉 ,0) = 𝑥 (𝜉 ,𝜉 ) Ω 1 2 0 1 2 𝜕𝑥 (𝜂 ,𝜂 ,𝑡 ) = 0 Θ 1 1 𝜕𝑣 ∗ ∗ ∗ 𝑞 1⁄2 where 𝐻 ∈ 𝐿 (𝑅 ,𝐻 (Γ )) . In this case, the system (20)-(22) is WΓ G-observable and the sensor (Γ ,𝑓 ) is Γ 𝐺 - ∗ ∗ strategic [26]. Thus, the system (20)-(22) is Γ 𝐴𝐺 -detectable [13]. Finally the dynamical system (20) is Γ 𝐴𝐹𝑂𝐺 - observer for the system (20)-(22) [30]. 4. Application to asymptotic 𝚪 𝑨𝑮𝑭𝑶 -observer in diffusion system In this section we consider the distributed diffusion systems defined in the domain Ω. Various results related to different types of sensor have been extended. In the case of two-dimensional, we take where Ω = ]0,𝑎 [ × ]0,𝑎 [ 1 2 ] [ { } and Γ = 0,𝑎 × 𝑎 is a region of 𝜕 Ω the boundary of Ω. The eigenfunctions of the dynamic system (16) for 1 2 Dirichlet boundary conditions are given by 1⁄2 4 𝜇 𝜇 1 2 𝜑 (𝜇 ,𝜇 ) = ( ) cos 𝑛𝜋 ( ) cos 𝑚𝜋 ( ) (29) 𝑛𝑚 1 2 𝑎 𝑎 𝑎 𝑎 1 2 1 2 associated with eigenvalues 2 2 𝑛 𝑚 𝜆 = −( + ) 𝜋 , 𝑛 ,𝑚 ≥ 1 (30) 𝑛𝑚 2 2 𝑎 𝑎 1 2 2 2 { } If we suppose that 𝑎 ⁄𝑎 ∉ 𝑄 , then the multiplicity of the eigenvalues 𝜆 is 𝑟 = 1 for every 𝑛 ,𝑚 = 1,… ,𝐽 , 1 2 𝑛𝑚 𝑛𝑚 then one sensor (𝐷 ,𝑓 ) may be sufficient for 𝛤 𝐴𝐹𝑂𝐺 -observer [24]. 4.1. Zone case in rectangular domain This subsection related to give sufficient conditions which is characterized some cases of the Γ 𝐴𝐹𝑂𝐺 -observer in the rectangular domain of system (12) with various sensor locations cases. 4.1.1. Internal zone sensors case Consider two dimensional system defined in Ω = [0,𝑎 ] × [0,𝑎 ] by parabolic equation 1 2 𝜕𝑥 𝜕 ²𝑥 𝜕 ²𝑥 ( ) ( ) ( ) 𝜉 ,𝜉 ,𝑡 = 𝜉 ,𝜉 ,𝑡 + 𝜉 ,𝜉 ,𝑡 𝑄 1 2 2 1 2 2 1 2 𝜕𝑡 𝜕 𝜉 𝜕 𝜉 1 2 { (31) 𝑥 (𝜉 ,𝜉 ,0) = 𝑥 (𝜉 ,𝜉 ) Ω 1 2 0 1 2 𝑥 (𝜂 ,𝜂 ,𝑡 ) = 0 Σ 1 2 augmented with output function measured by internal or boundary zone sensors 39 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam 𝑦 (.,𝑡 ) = ∫ 𝑥 (𝜉 ,𝜉 , 𝑡 )𝑓 (𝜉 ,𝜉 )𝑑 𝜉 𝑑 𝜉 (32) 1 2 1 2 1 2 where the zone sensor is the located inside the domain Ω, over the support 𝐷 = ]𝜉 − 𝑙 ,𝜉 + 𝑙 [ × ]𝜉 − 𝑙 ,𝜉 + 𝑙 [ ⊂ Ω, and 𝑓 ∈ 𝐿 (𝐷 ) 1 1 1 1 2 2 2 2 0 0 0 0 as in (figure 4). Fig. 4: Rectangular domain Ω, region Γ and location 𝐷 of internal zone sensor. In this case the system (31)-(32) have an associated dynamical system is given by the following form 2 2 𝜕𝑧 𝜕 𝑧 𝜕 𝑧 (𝜉 ,𝜉 ,𝑡 ) = (𝜉 ,𝜉 ,𝑡 )+ (𝜉 ,𝜉 ,𝑡 ) 1 2 2 1 2 2 1 2 𝜕𝑡 𝜕𝜉 𝜕𝜉 1 2 −𝐻 (𝐶𝑧 (𝜉 ,𝜉 ,𝑡 )− 𝑦 (𝑡 )) 𝑄 𝛤 𝐺 1 2 (33) 𝑧 (𝜉 ,𝜉 ,0) = 𝑧 (𝜉 , 𝜉 ) Ω 1 2 0 1 2 ( ) { 𝑧 𝜂 ,𝜂 ,𝑡 = 0 𝛴 1 2 Thus have the following important result. Proposition 4.1: Suppose that𝑓 is symmetric about 𝜉 = 𝜉 and 𝑓 is symmetric about 𝜉 = 𝜉 , then the 1 01 2 02 dynamical system (33) is Γ 𝐴𝐹𝑂𝐺 -observer for systems (31)-(32) if 𝑛 𝜇 ⁄𝑎 and 𝑚 𝜇 ⁄𝑎 ∉ 𝑁 , for every 𝑛 ,𝑚 = 1 1 2 2 0 0 { } 1,… ,𝐽 . 4.1.2. One side boundary zone sensor case Now, the measurements are given by the following output function 𝜕𝑥 ( ) ( ) ( ) 𝑦 𝑡 = ∫ 𝜂 ,𝜂 , 𝑡 𝑓 𝜂 ,𝜂 𝑑 𝜂 𝜂 , (34) 1 2 1 2 1 2 𝜕𝑣 ( ) Where Г ⊂ 𝜕 Ω is the boundary support of the sensor and 𝑓 ∈ 𝐿 Γ . In the case, where the support of the 0 0 ( ) sensor Г ,𝑓 is one of side as in (figure 5) Fig. 5: Rectangular domain Ω, region Γ and location Γ of boundary zone sensor. Then, we have the following result. 40 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam Proposition 4.2: Suppose that Γ ⊂ 𝜕 Ω and f is symmetric with respect to 𝜂 = 𝜂 , then the dynamic system 1 0 (33) is𝛤 𝐴𝐹𝑂𝐺 -observer for the systems (31)-(32) if 𝑛 𝜂 ⁄𝑎 ∉ 𝑁 , for all 𝑛 , 𝑛 = {1,…,𝐽 }. 1 1 4.1.3. Two side boundary zone sensor case In this case the output function (2) is given by 𝜕𝑥 ( ) ( ) ( ) 𝑦 𝑡 = ∫ 𝜂 ,𝜂 , 𝑡 𝑓 𝜂 ,𝜂 𝑑 𝜂 𝜂 (35) when the ̅ 1 2 1 2 1 2 𝜕𝑣 support of the sensor is on two sides boundary, i.e., ̅ ̅ ̅ { } { } Г = [0,𝜂 ̅ + 𝑙 ] × 0 ∪ 0 × [0,𝜂 ̅ + 𝑙 ] = Γ ∪ Γ ⊂ 𝜕 Ω, 1 1 2 2 1 2 0 0 as in (figure 6), ∗ ∗ Fig. 6: Rectangular domain Ω, region Γ and location Γ of boundary zone sensor. then, we obtain the following result. ̅ ̅ Proposition 4.3: Let Γ ∪ Γ ⊂ 𝜕 Ω , the function 𝑓 | is symmetric with respect to 𝜂 = 𝜂 ̅ , and the function 𝑓 | 1 2 Γ 1 Γ 1 01 2 is symmetric with respect to 𝜂 = 𝜂 ̅ , then the dynamic system (33) is Γ 𝐴𝐹𝑂𝐺 -observer for the systems (31)- ⁄ { } (32) if 𝑛 𝜂 𝑎 ∉ 𝑁 , for all 𝑛 , 𝑛 = 1,… ,𝐽 . 1 1 4.2.1. Pointwise sensors case Consider again the systems (31)-(2) augmented with output function measured by internal pointwise sensors. In this case, the output function is given by the following form 𝑦 (𝑡 ) = 𝑥 (𝜉 ,𝜉 ,𝑡 ) 𝛿 (𝜉 − 𝑏 ,𝜉 − 𝑏 )𝑑 𝜉 𝑑 𝜉 (36) 1 2 1 1 2 2 1 2 where 𝑏 =(𝑏 ,𝑏 ) is the location of pointwise sensor in Ω as defined in (figure 7). 1 2 Fig. 7: Rectangular domain Ω, region Γ and location 𝑏 of internal pointwise sensors. Then we obtain the following result. Proposition 4.4: Let the sensor is located in 𝑏 = (𝑏 ,𝑏 ), then, the dynamic system (33) is Γ 𝐴𝐹𝑂𝐺 -observer for 1 2 the systems (31)-(36), if 𝑛 𝑏 ⁄𝑎 and 𝑚 𝑏 ⁄𝑎 ∉ 𝑁 , for every 𝑛 ,𝑚 = {1,… ,𝐽 }. 1 1 2 2 41 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam 4.2.2. Filament pointwise case Suppose that the observation is given by the filament sensor where σ = (𝛾 ) ⊂ Ω is symmetric with respect to the line 𝑏 =(𝑏 ,𝑏 ) as in (figure 8). More precisely, the sensor is line of pointwises inside the domain Ω, then 1 2 the output function still given by equation (31 Fig. 8: Rectangular domain, region Γ and locations σ of filament pointwise sensor. Proposition 4.5: Let the sensor is located in 𝑏 = (𝑏 ,𝑏 ), then, the dynamic system (33) is Γ 𝐴𝐹𝑂𝐺 -observer for 1 2 ⁄ ⁄ { } the systems (31)-(36), if 𝑛 𝑏 𝑎 and 𝑚 𝑏 𝑎 ∉ 𝑁 , for every 𝑛 ,𝑚 = 1,… ,𝐽 . 1 1 2 2 4.2.3 Boundary pointwise case Suppose that the sensor (𝑏 ,𝛿 ) is located on 𝑏 , where 𝑏 = (𝑏 ,𝑏 ) ∈ 𝜕 Ω with 𝑏 = (0,𝑏 ) as in (figure 9). 𝑏 1 2 2 Fig. 9: Rectangular domain, region Γ and location 𝑏 of boundary pointwise sensor. In this case, the output function is given by ( ) ( ) ( ) ( ) 𝑦 .,𝑡 = ∫ 𝑥 𝜂 ,𝜂 , 𝑡 𝛿 𝜂 ,𝜂 − 𝑏 𝜂 (𝑦 .,𝑡 1 2 𝑏 1 2 2 1 2 𝜕𝑥 ( ) = ∫ 𝜂 ,𝜂 ,𝑡 𝑓 (𝜂 ,𝜂 ) (37) 1 2 1 2 1 2 𝜕 Ω 𝜕𝑣 ( ) where 𝑏 = 0, 𝑏 . Thus, we obtain the following result. Proposition 4.6: Let the sensor is located in 𝑏 = (0,𝑏 ), then, the dynamic system (33) is Γ 𝐴𝐹𝑂𝐺 -observer for the systems (31)-(37), if 𝑚 𝑏 ⁄𝑎 ∉ 𝑁 for all 𝑚 = {1,…,𝐽 }. 2 2 Now, from the previous results in this paper, we can deduce the following results. Remark 4.7: We can extend these results to the case of two dimensional systems with circular domain in different sensor structures as in [13, 16]. Remark 4.8: We can extend the above results of the two dimensional systems (31)-(2) to case of one dimensional systems case with Ω =]0,𝑎 [ as in ref.s [8-17, 25]. Remark 4.9: We know that the previous results have been developed with Dirichlet boundary conditions, then we can extend with Neumann or mixed boundary conditions as in [10, 31]. 𝑑𝜂 𝑑𝜂 𝑑𝜂 𝐼𝑚 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam 5. Conclusion The concept have been studied in this paper is related to the Γ 𝐴𝐹𝑂𝐺 -observer in connection with sensors structure for a class of distributed parameter systems. More precisely, we have been given a sufficient condition ∗ ∗ for the existing an Γ 𝐴𝐹𝑂𝐺 -observer which allows to estimate the gradient state in a subregion Γ . For future work, one can be extension these result to the problem of regional boundary asymptotic gradient reduced order observer in connection with the sensors structures. Acknowledgments. Our thanks in advance to the editors and experts for their efforts. References 1. B. Friedland, Full-order state observer, Control Systems, Robotic and Automation, 10 (1996). https://www.eolss.net/Sample-Chapters/C18/E6-43-13-08.pdf 2. R. Al-Saphory, Strategic sensors and regional exponential observability, ISRN Applied Mathematics, (2011), 1-13. https://www.hindawi.com/journals/isrn/2011/673052/ 3. R. Al-Saphory and Sh. Al-Mullah, Regional Exponential Reduced Observability in Distributed Parameter Systems, Journal of Advance in Mathematics, 11 (2015), 5058-5074. https://rajpub.com/index.php/jam/article/view/1256 4. R. Al-Saphory and Z. Jaafar, Regional exponential general observability in distributed parameter systems, Journal of Advance in Mathematics, 11 (2015), 5166-5182. https://www.scribd.com/document/283351193/REGIONAL-EXPONENTIAL-GENERAL-OBSERVABILITY- IN-DISTRIBUTED-PARAMETER-SYSTEMS 5. D. G. Luenberger, Observers For multivariable systems, IEEE Trans. Automat. Contr., 11 (2) (1966), 190- 197. https://ieeexplore.ieee.org/document/1098323 6. R.V. Gressang and G.B. Lamont, Observers for characterized by semi-groups, IEEE Trans. Automat. Contr., 20 (1975), 523-528. https://ieeexplore.ieee.org/document/1101021 7. A. El Jai and M. Amouroux, Sensors and observers in distributed parameter systems, International Journal of Control., 47 (1988), 333-347. https://www.tandfonline.com/doi/abs/10.1080/00207178808906013 8. R. Al-Saphory, M. Al-Joubory and M. Jasim, Regional strategic sensors characterizations, Journal Mathematical and Computational Science, 3 (2013), 401-418. http://scik.org/index.php/jmcs/article/view/810 9. A. El Jai and H. Hamzauoi, Regional observation and sensors, International Journal of Applied Mathematics and Computer Sciences, 19 (2009), 5-14. https://www.sciencedirect.com/science/article/abs/pii/092442479380204T 10. A. El Jai, M. C. Simon and E. Zerrik, Regional observability and sensor structure, Sensors and Actuators A: Physical, 39 (1993), 95-102. 43 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam https://www.sciencedirect.com/science/article/abs/pii/092442479380204T 11. R. Al-Saphory, N. Al-Jawari and A. Al-Janabi, Regional gradient strategic sensors characterization, Journal of Advanced in Mathematics, 10 (2015), 3605-3618. https://rajpub.com/index.php/jam/article/view/1735 12. E. Zerrik and H. Bourray, Gradient observability for diffusion systems, International Journal of Applied Mathematics and Computer Sciences, 2 (2003), 139-150. http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.bwnjournal-article-amcv13i2p139bwm 13. R. Al-Saphory, Asymptotic regional analysis for a class of distributed parameter systems, Ph.D. thesis, University of Perpignan, France, 2001, published in French, Amazon Google books, 2011. https://books.google.iq/books/about/Analyse_r%C3%A9gionale_asymptotique_d_une_cl.html?id=Trwj OgAACAAJ&redir_esc=y 14. R. Al-Saphory and A. El Jai, Regional Asymptotic State Reconstruction, International Journal of System Science, 33 (2002), 1025-1037. https://www.tandfonline.com/doi/abs/10.1080/00207720210166998 15. R. Al-Saphory, N. Al-Jawari and A. Al-Janabi, General asymptotic Regional gradient observer, Aust. J. Basic and Appl. Sci., 10 (2016), 8-18. http://www.ajbasweb.com/old/ajbas_May_2016.html 16. R. Al-Saphory and A. El-Jai, Sensors and asymptotic 𝜔 -observer for distributed diffusion system, Sensors, 1 (2001), 161-182. https://www.mdpi.com/1424-8220/1/5/161/htm 17. J. Borggaard, J. Burns, A. Surana and L. Zietsman, Control, estimation and optimization of energy efficient buildings, Proc. of the American Control Conference, Hyatt Regency Riverfront, St. Louis, (2009), 837-841. https://ieeexplore.ieee.org/document/5160552 18. R Al-Saphory and M Al-Bayati, Regional boundary gradient detectability in distributed parameter systems, Journal of Advances in Mathematics, 14 (2), (2018), 7818-7833. https://rajpub.com/index.php/jam/article/view/7478 19. A. El Jai, Distributed systems analysis via sensors and actuators. Sensors and Actuators A, 29,(1), (1991), 1-11. https://www.sciencedirect.com/science/article/abs/pii/092442479180026L 20. R. Curtain, and |H. Zwart, An introduction to infinite dimensional linear system theory, Springer-Verlag, New York, 1995. https://www.springer.com/gp/book/9780387944753 21. R. F. Curtain, and A. J. Pritchard, Infinite dimensional linear systems theory, Lecture Note in Control and Information Sciences, Springer- Verlag, New York, 1978. https://www.springer.com/gp/book/9783540089612 44 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam 22. Burns, J., Observers and ooptimal estimation for PDE ssystems: sensor location problems, IMA Workshop on Sensor Location in Distributed Parameter Systems, September 6-8, 2017 Minneapolis, MN, USA. 2017. https://www.ima.umn.edu/2017-2018/SW9.6-8.17/26444 23. Brezis H., Analyse Fonctionnalle, Theorie et applications, 2em tirage, Masson, Paris, France,1987. https://www.dunod.com/sciences-techniques/analyse-fonctionnelle-theorie-et-applications 24. A. El Jai and A.J. Pritchard, Sensors and Controls in the Analysis of Distributed Parameter Systems, Ellis Hardwood Series in Mathematics and Applications, Wiley, New York, 1988. https://www.ebay.co.uk/itm/Sensors-and-Controls-in-the-Analysis-of-Distributed-Systems- Mathematics-and-its/153079971972?epid=91726288&hash=item23a4470084:i:153079971972 25. R. Al-Saphory and A. El-Jai, Sensors structures and regional detectability of parabolic distributed system, Sensors and Actuators A: Physical, 90, (2001), 163-171. https://www.sciencedirect.com/science/article/abs/pii/S0924424701005234 26. Al-Saphory, R. and El Jai, A., Sensors characterizations for regional boundary detectability in distributed parameter systems, Sensors and Actuators A, 94( 1-2), 2001, 1-10. https://www.sciencedirect.com/science/article/abs/pii/S0924424701006690 27. R. Al-Saphory, N. Al-Jawari and A. Al-Janabi, Regional boundary gradient strategic sensors characterizations, Mathematical Theory and Modeling, 6 (2016), 10-26. https://www.iiste.org/Journals/index.php/MTM/article/view/28228 28. El Jai, A.; Pritchard, A. J. Sensors and actuators in distributed parameter systems, International Journal of Control., 46, 1987, 1139-1153. https://www.tandfonline.com/doi/abs/10.1080/00207178708933956?journalCode=tcon20 29. E. Zerrik, L. Badraoui, A. El Jai, Sensors and regional boundary state reconstruction of parabolic systems. Sensors and Actuators A, 75 (1999), 102-117. http s://www.sciencedirect.com/science/article/abs/pii/S0924424798002933 30. R. Al-Saphory, Strategic sensors and regional exponential observability. ISRN Applied Mathematics, 2011. Article ID 673052, 1-13, 2011. https://www.hindawi.com/journals/isrn/2011/673052/ 31. R. Al-Saphory, Strategic sensors and regional observation in Neumann boundary conditions, Zanco Journal of Pure and Applied Science, Salahaddin University-Hawler/Iraq, 2010. https://www.academia.edu/35033214/Regional_Asymptotic_Approach_for_Dynamical_Free_Systems http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Mathematics arXiv (Cornell University)

Regional Boundary Asymptotic Gradient Full-Order Observer in Distributed Parabolic Systems

Mathematics , Volume 2020 (2005) – Apr 30, 2020

Loading next page...
 
/lp/arxiv-cornell-university/regional-boundary-asymptotic-gradient-full-order-observer-in-Vots3AC5Of

References (29)

ISSN
2347-1921
eISSN
ARCH-3343
DOI
10.24297/jam.v18i.8543
Publisher site
See Article on Publisher Site

Abstract

The purpose of this paper is to explore the concept of the regional boundary asymptotic gradient full order observer (RBAGFO-observer) in connection with the characterizations of sensors structures. Then, we present various results related to different types of measurements, domains and boundary conditions for distributed parameter systems (DPS ) in parabolic systems problem. The considered approach of this work is derived from Luenberger observer theory which is enable to estimate asymptotically the state gradient of the original system on a sub-region of the domain boundary 𝜕 Ω in order that the RBAGFO-observability notion to be achieved. We also show that there exists a dynamical system for the considered system is not BAGFO-observer in the usual sense, but it may be regional RBAGFO-observer. Keywords: RBG-strategic sensors, RBAG-detectability, RBAGFO-observers, diffusion system. Mathematics Subject Classification: 93A30; 93B07; 93B30; 93C2. 1. Introduction There are many situations in modern technology in which it is necessary to estimate the state of a dynamic system using only the measured input and output data of the system [1]. An observer is a dynamic system Ŝ which to estimates the state of another considered system S using only the measured input and output letter. If the order of Ŝ is equal to the order of S, the observer is called full-order state observer [2-4]. The asymptotic observer theory explored by Luenberger in [5] for finite-dimensional linear systems and extended infinite-dimensional distributed parameter systems govern by strongly continuous semi-group in Hibert space by Gressang and Lamont as in [6]. The study of this approach via another variable like sensors and actuators developed by El-Jai et al. as in ref.s [2-7] in order to achieve asymptotic observability. One of the most important approach in system theory is focused on the reconstruction of the state of the system from the knowledge of dynamic system and the output function on a sub-region ω of a spatial domain Ω this problem is called regional observability problem has been received much attention as in [8-10]. An extension of this notion has been given in [11-12] to the regional gradient case. The regional asymptotic notion has been introduced and developed by Al-Saphory and El- Jai in [13-14]. Thus, this notion consists in studying the asymptotic behavior of the system in an internal sub-region ω of a spatial domain Ω. Thus, the asymptotic regional state reconstruction studied and developed in [15-16] and extended to the regional asymptotic gradient full-order observer (RGFO-observer) which allows estimating the state gradient of the original system. The purpose of this paper is to study and examine the concept of RBAGFO-observer by using the choice of sensors. The principle reason for considering this case is that, in the first time, the existent of a dynamical system which is observed asymptotically the gradient of the system state on some boundary region Γ ⊂ ∂Ω [17]. In second time, it is closer to a real situation, the treatment of water by using a bioreactor where the objective is to observe the concentration of substrate at the boundary output of the bioreactor in order the water regulation is achieved (for example see figure 1). 28 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam Fig. 1: Observation of substrate concentration at the boundary output of the reactor. The outline of this paper is organized as follows: Section 2 is devoted to the problem statement and some basic concept related to the regional boundary gradient stability (RBAG-stability), regional boundary asymptotic gradient detectability (RBAG-detectability). Section 3, we focus on RBAGFO-observer so we introduced and characterize the existing of RBAGFO-observer to provide RBAGFO-estimator of gradient state for the original system in terms of sensors structure. In the last section, we have been applied these result to the two (DPS ) for different zone and pointwise sensors case. 2. Problem Formulation and Preliminaries This section present considered system and formulation of the problem with some definitions and characterizations, which is related to the present work. 2.1 Problem Statement Let Ω be an open bounded subset of 𝑅 with boundary 𝜕 Ω and Γ be a region subset of 𝜕 Ω. We denote 𝑄 = Ω ×]0,∞[ and Σ = ∂Ω ×]0,∞[. Consider the parabolic system which is described by the following state-space equation 𝜕𝑥 (𝜉 ,𝑡 ) = 𝐴𝑥 (𝜉 ,𝑡 )+ (𝑡 ) 𝑄 𝜕𝑡 𝑥 (𝜉 ,0) = 𝑥 (𝜇 ) Ω (1) 𝜕𝑥 (𝜂 ,𝑡 ) = 0 Σ 𝜕𝑣 augmented with the output function 𝑦 (.,𝑡 ) = 𝐶𝑥 (.,𝑡 ) (2) • The separable 1 2 𝑝 ( ) Hilbert spaces are 𝑋 , 𝑈 and 𝒪 where 𝑋 = 𝐻 (Ω) is the state space, 𝑈 = 𝐿 0, 𝑇 ,𝑅 is the control space and 𝒪 = 2 𝑞 ( ) 𝐿 0,𝑇 ,𝑅 is the observation space, where 𝑝 and 𝑞 are the numbers of actuators and sensors. 𝜕 𝜕 ̅ ̅ • 𝐴 = (𝑎 ) with 𝑎 ∈ 𝐷 (𝐴 ) (the domain of 𝐴 ) is a second-order linear differential operator, which 𝑖 ,𝑗 =1 𝜕 𝑥 𝜕 𝑥 𝑗 𝑗 generates a strongly continuous semi-group (𝑆 (𝑡 ) ) on the state space 𝑋 and is self-adjoint with compact 𝐴 𝑡 ≥0 resolvent [18]. 𝑝 𝑞 • The operators 𝐵 ∈ 𝐿 (𝑅 ,𝑋 ) and 𝐶 ∈ 𝐿 (𝑋 ,𝑅 ) depend on the structure of actuators and sensors as in [19] (figure 2) Fig. 2: Mathematical model: domain Ω, region Γ, and sensors Locations. 𝑖𝑗 𝑖𝑗 𝐵𝑢 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam • The mathematical model in figure 2 is more general and complex than the the spatial case of real model in figure 1. • Under the given assumptions above, the system (1) has a unique solution given by the following form [20-21]. ( ) ( ) ( ) ( ) 𝑥 (𝜉 ,𝑡 ) = 𝑆 𝑡 𝑥 𝜉 + ∫ 𝑆 𝑡 − 𝑠 𝑠 (3) 𝐴 0 𝐴 • The problem is how to reconstruct a dynamical system may be called estimator for the current state gradient in a given region on Γ, and to give a sufficient condition for the existence of a RBAGFO-observer. • The initial state 𝑥 and its gradient ∇𝑥 are supposed to be unknown, the problem concerns the reconstruction 0 0 of the initial gradient ∇𝑥 on the region Γ of the system domain 𝜕 Ω. • Now, we consider the operator 𝐾 given by the form 𝐾 : 𝑋 → 𝒪 (4) 𝑥 → 𝐶 𝑆 (.)𝑥 where 𝐾 is a bounded linear operator as in [7, 22, 24]. And the adjoint operator 𝐾 of 𝐾 is defined by 𝐾 :𝒪 → 𝑋 , and represented by the form ∗ ∗ ∗ ∗ ∗ ( ) ( ) 𝐾 𝑦 = ∫ 𝑆 𝑠 𝐶 𝑦 𝑠 (5) • The operator ∇ denotes the gradient is given by 1 1 𝑛 ( ) ( ) ∇:𝐻 Ω → (𝐻 Ω ) { (6) 𝜕𝑥 𝜕𝑥 𝑥 → ∇ = ( ,… , ) 𝜕 𝜉 𝜕 𝜉 1 𝑛 and, the adjoint of ∇ denotes by ∇ is given by ∗ 1 𝑛 1 ( ) ( ) ∇ :(𝐻 Ω ) → 𝐻 Ω { (7) 𝑥 → ∇ = 𝑣 where 𝑣 is a solution of the Dirichlet problem ∆ = −𝑣𝑑𝑖 (𝑥 ) Ω { (8) 𝑣 = 0 𝜕 Ω • The trace operator of order zero is described by [23] 1 1⁄2 ( ) ( ) 𝛾 :𝐻 Ω → 𝐻 𝜕 Ω (9) which is a linear, subjective, and continuous [20]. Thus, the extension of the trace operator [23] which is denoted by 𝛾 defined as 1 𝑛 1⁄2 𝑛 ( ) ( ) 𝛾 :(𝐻 Ω ) → (𝐻 𝜕 Ω ) (10) ∗ ∗ and the adjoints are respectively given by 𝛾 ,𝛾 . • For a region Γ of 𝜕 Ω, we define the gradient restriction operator by the form 𝑑𝑠 𝑑𝑠 𝐵𝑢 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam 1⁄2 𝑛 1⁄2 𝑛 ( ) ( ) 𝜒 :(𝐻 ∂Ω ) ⟶ (𝐻 Γ ) (11) where the adjoint of 𝜒 denotes by 𝜒 is defined by ∗ ⁄ ⁄ 1 2 𝑛 1 2 𝑛 𝜒 :(𝐻 (Γ)) ⟶ (𝐻 (∂Ω)) (12) ∗ 1⁄2 𝑛 ∗ ( ) • Finally, we denote the operator 𝐻 = 𝜒 𝛾 ∇𝐾 from 𝒪 into (𝐻 Γ ) and the adjoint of this operator given Γ 𝐺 Γ ∗ ∗ ∗ ∗ by 𝐻 ∗ = 𝐾 ∇ 𝛾 𝜒 . Γ 𝐺 • For a sub-region Γ of the boundary regional boundary gradient Γ = Γ . 𝑅𝐵𝐺 Now, the problem is how to build an approach which observe (estimates) regional state gradient on a region Γ of the boundary 𝜕 Ω ⊂ Ω asymptotically by using a dynamic system (an observer) in full order case only may be called full-order observer in region Γ . The important of an observer is that to estimates all the gradient of state variables, regardless of whether some are available for direct measurements or not [1]. ∗ ∗ 2.2 𝚪 G-observability and 𝚪 AG-detectability This sub section devotes the relation between the concept of RBG-observability and RBAG-detectability on Γ . As well known the observability [19-22] and asymptotic observability [1-5, 7, 24] are important concepts to estimate the unknown state of the considered dynamic system from the input and output functions. Thus, These notions are studied and introduced to the DPS analysis with different characterizations by El-Jai, Zerrik and Al- Saphory et al. in many paper for example [8-18, 28-31] in connection with strategic sensors. ∗ ∗ • The systems (1)-(2) are said to be exactly regionally boundary gradient observable (EΓ G-observable) on Γ if ∗ 1⁄2 ∗ 𝑛 𝛨 = 𝜒 ∇𝐾 = (𝐻 (Γ )) ∗ ∗ • The systems (1)-(2) are said to be weakly regionally boundary gradient observable (WΓ G-observable) on Γ if ⁄ ∗ ∗ 1 2 𝑛 𝐻 = 𝜒 𝛻 𝐾 =(𝐻 (Γ )) It is equivalent to say that the systems (1)-(2) are WΓ G-observable if ∗ ∗ ∗ { } 𝐾𝑒𝑟 𝐻 = 𝐾𝑘𝑒𝑟 𝛻 𝜒 = 0 • If the systems (1)-(2) are is WΓ G-observable, then 𝑥 (𝜉 ,0) is given by ∗ −1 ∗ † 𝑥 = (𝐾 𝐾 ) 𝐾 𝑦 = 𝐾 𝑦 , where 𝐾 is the pseudo-inverse of the operator 𝐾 [9-10]. ∗ ∗ ∗ • A sensor (𝐷 ,𝑓 ) is a regional boundary gradient strategic (Γ G-strategic) on Γ if the observed system is WΓ G- observable. • The measurements can be obtained by the use of zone or pointwise sensors, which may be located in Ω or 𝜕 Ω [24]. • Then, according to the choice of the parameters 𝐷 and 𝑓 , we have different types of sensors׃ 𝑖 𝑖 • It may be zone, if 𝐷 ⊂ Ω and 𝑓 ∈ 𝐿 (𝐷 ). In this case, the operator 𝐶 is bounded, and the output function (2) 𝑖 𝑖 𝑖 may be given by the form 𝐼𝑚 𝐼𝑚 𝐼𝑚 𝐼𝑚 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam 𝑦 (𝑡 ) = ∫ 𝑧 (𝜉 ,𝑡 )𝑓 (𝜉 ) (13) { } • It may be pointwise, if 𝐷 = 𝑏 with 𝑏 ∈ Ω and 𝑓 = 𝛿 (.−𝑏 ) where 𝛿 is a Dirac mass concentrated in 𝑏 [14, 𝑖 𝑖 𝑖 𝑖 21, 28]. In this case, the operator 𝐶 is un bounded, and the output function (2) may be given by the form 𝑦 (𝑡 ) = 𝑥 (𝜉 ,𝑡 )𝛿 (𝜉 − 𝑏 ) (14) 𝑏 𝑖 Ω 𝑖 • It may be boundary zone, if Γ ⊂ 𝜕 Ω and 𝑓 ∈ 𝐿 (Γ ), the output function (2) may be given by the form 𝑖 𝑖 𝑖 ( ) ( ) ( ) 𝑦 𝑡 = ∫ 𝑥 𝜂 ,𝑡 𝑓 𝜂 (15) Definition 2.1: The semi-group (𝑆 (𝑡 )) is regionally boundary asymptotically gradient stable (Γ AG-stable) 𝐴 𝑡 ≥0 ∗ ∗ on Γ , if and only if for some positive constants 𝑀 , 𝛼 , we have Γ Γ 𝛼 ∗ ∗ ∗ Γ ‖𝜒 γ∇𝑆 (.)‖ ⁄ ∗ ≤ 𝑀 𝑒 ,∀𝑡 ≥ 0. 1 2 𝑛 1 Γ 𝐴 ̅ Γ 𝐿 ((𝐻 (Γ ) ) , 𝐻 (Ω) ) ∗ ∗ 1𝑙 2 𝑛 1 Remark 2.2: If the semi-group (𝑆 (𝑡 )) is Γ AG-stable on (𝐻 (Γ )) , then for all 𝑥 ₒ ∈ 𝐻 (Ω), the solution of 𝐴 𝑡 ≥0 the associated system satisfies ‖ ∗ ( )‖ ∗ ‖ ∗ ( ) ‖ ∗ lim 𝜒 γ∇𝑥 .,𝑡 1⁄2 𝑛 = lim 𝜒 γ∇𝑆 𝑡 𝑥 1⁄2 𝑛 Γ Γ 𝐴 0 (𝐻 (Γ ) ) (𝐻 (Γ ) ) 𝑡 ⟶∞ 𝑡 ⟶∞ = 0 (16) ∗ ∗ Definition 2.3: The system (1) is said to be Γ AG-stable on Γ if the operator 𝐴 generates a semi-group which is ∗ ∗ 1⁄2 𝑛 Γ AG-stable on the space (𝐻 (Γ )) . Definition 2.4: The system (1)-(2) is said to be regionally boundary asymptotically gradient detectable (Γ AG- ∗ ∗ 𝑞 1⁄2 𝑛 ∗ ( ) ∗ detectable) on Γ , if there exists an operator 𝐻 :𝑅 → (𝐻 Γ ) , such that the operator (𝐴 − 𝐻 𝐶 ) Γ Γ ∗ ∗ 1⁄2 𝑛 ( ) ( ) generates a strongly continuous semi-group (𝑆 𝑡 ) , which is Γ AG-stable on (𝐻 Γ ) . 𝐻 ∗ 𝑡 ≥0 ∗ ∗ ∗ ∗ Proposition 2.5: If the system (1)-(2) is Γ G-observable on Γ , then it is Γ AG-detectable on Γ . This results gives the following inequality: ∃ 𝑘 > 0, such that Γ AG ‖ ∗ ( ) ‖ ∗ ∗ ‖ ( ) ‖ 𝜒 γ∇𝑆 . 𝑥 1⁄2 𝑛 ≤ 𝑘 𝐶 𝑆 . 𝑥 2 , (17) Γ 𝐴 Γ AG 𝐴 ( ) (𝐻 (Γ ) ) 𝐿 0,∞,𝒪 1⁄2 𝑛 for all 𝑧 ∈ (𝐻 (Γ ) ) . Proof׃ We conclude the proof of this proposition is conclude from the results on observability considering 𝜒 ∇𝐾 . We have the following forms [21, 24] 1. 𝑚𝑓𝐼 ⊂ 𝑚𝑔𝐼 . 2. There exists 𝑘 > 0, such that ∗ ∗ ∗ ∗ ∗ ∗ ‖ ‖ ∗ ‖ ‖ ∗ 𝑓 𝑥 ≤ 𝑘 𝑔 𝑥 , for all 𝑥 ∈ 𝐺 𝐸 𝐹 ∗ ∗ ∗ ‖ ‖ ∗ ∗ ∗ ∗ ∗ From the right hand said of above inequality 𝑘 𝑔 𝑥 , there exists 𝑀 ,𝜔 > 0 with 𝑘 < 𝑀 , Γ AG 𝐹 Γ AG Γ AG Γ AG Γ AG such that −𝜔 ∗ 𝑡 ∗ ∗ Γ AG ∗ ‖ ‖ ∗ ∗ ‖ ‖ ∗ 𝑘 𝑔 x ≤ 𝑀 𝑒 𝑥 Γ AG 𝐹 Γ AG 𝐹 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝑑𝜂 𝑑𝜉 𝑑𝜉 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam ( ) ( ) where 𝐸 ,𝐹 and 𝐺 be a reflexive Banach spaces and 𝑓 ∈ 𝐿 𝐸 ,𝐺 , 𝑔 ∈ 𝐿 𝐹 ,𝐺 . If we apply this result, considered 1/2 𝑛 𝐸 = 𝐺 = (𝐻 (Г )) , 𝐹 = 𝒪 , 𝑓 = 1/2 𝑛 (𝐻 (Г )) and ∗ ∗ ∗ ∗ ∗ 𝑔 = 𝑆 (.)𝜒 𝛾 ∇ 𝐶 𝐴 Γ ∗ ∗ ∗ where 𝑆 (.) is a strongly continuous semi-group generates by 𝐴 , which is Γ AG-stable on Γ , then it is Γ AG- ∗ ∗ ∗ detectable on Γ . Thus, the notion of Γ AG-detectability is a weaker property than the Γ G-observability [25-26]. 3. Sensors and 𝚪 AGFO-Observer In this section we present the sufficient conditions which are guarantee the existence of regional boundary ∗ ∗ ∗ asymptotic gradient full order observer (Γ AGFO-Observer) on Γ which allows to construct a Γ AGFO-estimator ∗ ( ) on Γ of the state 𝜒 𝛾𝑥𝛻𝑇 𝜉 ,𝑡 . 3.2 Definitions and characterizations Definition 3.1: Suppose there exists a dynamical system with state z(., t) ∈ 𝑍 given by 𝜕 ẑ ( ) ( ) ( ) ∗ ( ) ( ) 𝜉 ,𝑡 = 𝐴 ẑ 𝜉 , 𝑡 + 𝑡 + 𝐻 (𝐶𝑥 𝜉 ,𝑡 − 𝐶 ẑ 𝜉 ,𝑡 ) 𝑄 𝜕𝑡 { (18) ẑ(𝜉 ,0) = ẑₒ(𝜉 ) Ω ẑ(𝜂 ,𝑡 ) = 0 Σ ∗ ∗ ∗ In this case the operator 𝐹 in general case [13] is given by 𝐹 = 𝐴 − 𝐻 𝐶 where 𝑇 = 𝐼 the identity Γ 𝐴 𝐺 Γ Γ operator. Thus the operator 𝐴 − 𝐻 𝐶 generate a strongly continuous semi-group (𝑆 (𝑡 )) on 𝐴 −𝐻 𝐶 𝑡 ≥0 Γ ∗ separable Hilbert space 𝑍 which is Γ AG-stable. Thus, ∃ 𝑀 ,𝛼 > 0 such that 𝐴 −𝐻 ∗ 𝐶 𝐴 −𝐻 ∗ 𝐶 Γ Γ −𝛼 𝐴 −𝐻 ∗ 𝐶 ‖𝑆 (.)‖ ≤ 𝑀 𝑒 ᵗ , ∀𝑡 ≥ 0. 𝐴 −𝐻 𝐶 𝐴 −𝐻 𝐶 ∗ ∗ Γ Γ ∗ ( ) ∗ and let 𝐺 ∈ 𝐿 𝑈 ,𝑍 ,𝐻 ∈ 𝐿 (𝒪 , Z) such that solution of (18) similar to (3) Γ Γ ( ) ( ) ( ) ( ) ( ) ∗ ( ) 𝑧 𝜉 ,𝑡 = 𝑆 𝑡 𝑧 𝜉 + [∫ 𝑆 𝑡 − 𝜏 𝜏 𝐻 𝑦 𝜏 ] . 𝐴 −𝐻 ∗ 𝐶 𝐴 −𝐻 ∗ 𝐶 Γ Γ Γ Definition 3.2: The system (18) defines Γ AGFO-estimator such that 1⁄2 𝑛 ( ) ( ) ( ) 𝑧 (𝜉 ,𝑡 ) = 𝜒 ∇T𝑥 𝜉 ,𝑡 = 𝜉 ,𝑡 ∈ (𝐻 Γ ) where 𝑥 (𝜉 ,𝑡 ) is the solution of the systems (1)-(2) if ‖ ( ) ‖ ∗ lim 𝑧 .,𝑡 − 𝑥 (𝜉 ,𝑡 ) 1⁄2 𝑛 = 0, (𝐻 (Γ )) 𝑡 →∞ and 𝜒 𝛻 I maps 𝐷 (𝐴 ) into 𝐷 (𝐴 − 𝐻 𝐶 ) where 𝑧 (𝜉 ,𝑡 ) is the solution of system (18). Γ Γ Remark 3.3: The dynamic system (18) specifies Γ AGFO-observer of the systems given by (1)-(2) if the following holds: 𝐴𝐺 𝐼𝑥 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝑑𝜏 𝐵𝑢 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐵𝑢 𝐼𝑑 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam ∗ ∗ 1⁄2 1⁄2 ∗ ( ) ∗ ( ) 1-There exists 𝑀 ∈ 𝐿 (𝑅 ,(𝐻 Γ )ⁿ) and 𝑁 ∈ 𝐿 ((𝐻 Γ )ⁿ) such that Γ AGFO Γ AGFO ∗ ∗ ∗ i- 𝑀 𝐶 + 𝑁 = 𝐼 Γ AGFO Γ AGFO Γ AGFO ∗ ∗ ∗ ii- 𝐴 − 𝐹 = 𝐻 𝐶 and 𝐺 =𝐵 . Γ AGFO Γ AGFO Γ AGFO 3- The system (18) defines Γ AGFO-estimator for 𝑥 (𝜉 ,𝑡 ). The object of Γ AGFO-observer is to provide an approximation to the original system state gradient. This approximation is given by ∗ ∗ 𝑥 ̂(𝑡 ) = 𝑀 𝑦 (𝑡 ) + 𝑁 𝑧 (𝑡 ). Γ AGFO Γ AGFO Definition 3.4: The systems (1)-(2) are regionally boundary asymptotic gradient full order observable (Γ AGFO- ∗ ∗ observable) on Γ , if there exists a dynamic system which is Γ AGFO-observer for the considered system. 3.2 𝚪 AGFO-Observer reconstruction method ∗ ∗ In this case, we need to consider 𝜒 𝛻 T= 𝐼 and 𝑍 = 𝑋 , then the operator observer equation becomes Γ AGFO Γ AGFO ∗ ∗ ∗ as 𝐹 = 𝐴 − 𝐻 𝐶 where 𝐴 and 𝐶 are known. Thus, the operator 𝐻 must be determined such that Γ AGFO Γ AGFO Γ AGFO the operator 𝐹 is Γ AG-stable. This observer is an extension of asymptotic observer as in [14-16, 24-31]. Γ AGFO Now consider again system (1) together with output function (2) described by the following form 𝜕𝑥 = 𝐴𝑥 (𝜉 ,𝑡 )+ 𝐵 𝑢 (𝑡 ) 𝑄 𝜕𝑡 ̅ ∗ 𝑥 (𝜉 ,0) = 𝑥 (𝜉 ) Ω (19) Let Γ be a given ( ) 𝑥 𝜂 ,𝑡 = 0 Σ ( ) ( ) { 𝑦 𝑡 = 𝐶𝑥 .,𝑡 𝑄 1 𝑛 sub-domain of Ω and suppose that 𝐼 ∗ ∈ ℒ(𝐻 (Ω)) ), and 𝜒 ∗ 𝛻 𝑇 𝑥 (𝜉 ,𝑡 ) = 𝜒 ∗ 𝛻𝑥 (𝜉 ,𝑡 ) there exists a Γ AGFO Γ AGFO Γ AGFO system with state 𝑧 (𝜉 ,𝑡 ) such that ∗ ∗ 𝑧 (𝜉 ,𝑡 ) = 𝜒 ∇ (𝜉 ,𝑡 ) = 𝑇 𝑥 ( 𝜉 ,𝑡 ) (20) Γ AGFO Γ AGFO ∗ ∗ ∗ (with 𝑇 = 𝐼 where 𝐼 is the identity operator with respect to Γ AGFO-estimator. Then Γ AGFO Γ AGFO Γ AG ( ) ∗ ( ) ( ) 𝑧 𝜉 ,𝑡 = 𝐼 𝑥 𝜉 ,𝑡 = 𝑥 𝜉 ,𝑡 (21) Γ AGFO From equation (2) and (21) we have 𝑦 𝐶 [ ] = [ ] 𝑥 𝑧 𝐼 Γ AGFO If we assume that there exist two bounded linear operators 1⁄2 ∗ 𝑛 𝑀 : 𝜗 → ((𝐻 (Γ )) Γ AGFO and ⁄ ∗ ⁄ ∗ 1 2 𝑛 1 2 𝑛 𝑁 : ((𝐻 (Γ )) → ((𝐻 (Γ )) Γ AGFO such that ∗ ∗ ∗ ∗ 𝑀 𝐶 + 𝑁 𝑇 = 𝐼 Γ AGFO Γ AGFO Γ AGFO Γ AGFO then by deriving 𝑧 (𝜉 ,𝑡 ) in (20) we have 𝑇𝑥 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam 𝜕𝑧 𝜕𝑥 ∗ ∗ ∗ (𝜉 ,𝑡 ) = 𝐼 (𝜉 ,𝑡 ) = 𝜒 ∇𝐴𝑇𝑥 (𝜉 ,𝑡 ) + 𝜒 ∇ (𝑡 ) Γ AGFO Γ AGFO Γ AGFO 𝜕 𝑡 𝜕𝑡 ∗ ∗ ∗ ∗ ∗ ∗ =𝜒 ∇𝐼 𝐴 𝑀 𝑦 (𝜉 ,𝑡 )+ 𝜒 ∇𝐼 𝐴 𝑁 𝑧 (𝜉 ,𝑡 ) Γ Γ AGFO Γ AGFO Γ Γ AGFO Γ AGFO ∗ ∗ +𝜒 ∇𝐼 (𝑡 ) Γ Γ AGFO ∗ ∗ Since the operator 𝑇 = 𝐼 ,then we have Γ AGFO Γ AGFO (𝜉 ,𝑡 ) = 𝐴 𝑁 ∗ 𝑧 (𝜉 ,𝑡 )+ (𝑡 )+ 𝐴 𝑀 ∗ 𝑦 (𝜉 ,𝑡 ) Γ AGFO Γ AGFO Therefore 𝜕 𝑧 ̂ ( ) ∗ ( ) ∗ ( ) ∗ 𝜉 ,𝑡 = 𝐹 𝑧 ̂𝜉 ,𝑡 + 𝐺 𝑢 𝑡 + 𝐻 𝑦 (. ,𝑡 ) 𝛤 𝐺 𝛤 𝐺 𝛤 𝐺 ∗ ∗ ∗ and since 𝐴 − 𝐹 = 𝐻 𝐶 and 𝐺 = 𝐵 then we have Γ AGFO Γ AGFO Γ AGFO 𝜕 𝑧 ̂ (𝜉 ,𝑡 ) = 𝐴 𝑧 ̂(𝜉 ,𝑡 )+ (𝑡 )+ 𝐻 (𝐶𝑥 (𝜉 ,𝑡 )− (𝜉 ,𝑡 )) 𝑄 Γ AGFO 𝜕𝑡 { (22) 𝑧 ̂(𝜉 ,0) = 𝑧 ̂ (𝜉 ) Ω 𝑧 ̂(𝜂 ,𝑡 ) = 0 Σ 1 1⁄2 Let us consider a complete sets of eigenfunctions 𝜑 in (𝐻 (Ω))ⁿ orthonormal to (𝐻 (Γ ))ⁿ associated with 𝑛𝑗 the eigenvalue 𝜆 of multiplicity 𝑟 and suppose the system (1) has unstable mode. Then, the sufficient condition 𝑛 𝑛 of an Γ AGFO-observer is formulated in the following main result. Theorem 3.5: Suppose that there are 𝑞 zone sensors (𝐷 ,𝑓 ) and the spectrum of 𝐴 contains 𝐽 eigenvalues 𝑖 𝑖 1≤𝑖 ≤𝑞 ∗ ∗ with non-negative real parts. Then the dynamic system (22) is Γ AGFO-observer on Γ for the system (19), that is lim[𝑧 (𝜉 ,𝑡 )− 𝑧 ̂(𝜉 ,𝑡 )] = 0, if : 𝑡 →∞ 1-There exists ∗ ∗ 𝑞 1⁄2 1⁄2 ∗ ( ) ∗ ( ) 𝑀 ∈ 𝐿 (𝑅 ,(𝐻 Γ )ⁿ) and 𝑁 ∈ 𝐿 ((𝐻 Γ )ⁿ) such that Γ AGFO Γ AGFO ∗ ∗ ∗ 𝑀 𝐶 + 𝑁 = 𝐼 . Γ AGFO Γ AGFO Γ AGFO ∗ ∗ ∗ 2- 𝐴 − 𝐹 = 𝐻 𝐶 ,𝐺 = 𝐵 . Γ AGFO Γ AGFO Γ AGFO 3- 𝑞 ≥ 𝑚 4- rank 𝐺 = 𝑚 ,∀𝑚 ,𝑚 = 1,… ,𝐽 with 𝑚 𝑚 𝜓 (𝑏 ),𝑓 (.) > 𝑖 𝑖 𝐿 (𝐷𝑖 ) 𝜓 (𝑏 ) 𝐺 = (𝐺 ) = { 𝑚 𝑚 𝜕 𝜓 ⟨ ⟩ ,𝑓𝑖 (.) > 𝐿 (Γ ᵢ 𝜕𝑣 where sup 𝑚 = 𝑚 < ∞ and 𝑗 = 1,… ,𝑚 . 𝑚 𝑚 Proof: First step: The proof is limited to the case of pointwise sensors. Under the assumptions of section 2, the system (1) can be decomposed by the projections 𝑃 and 𝐼 − 𝑃 on two parts, unstable and stable. The state vector may 𝑚𝑗 𝑖𝑗 𝑚𝑗 𝑚𝑗 𝑐𝐶 𝐵𝑢 𝜕𝑡 𝜕𝑡 𝐵𝑢 𝜕𝑧 𝐵𝑢 𝑇𝐵𝑢 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam ( ) [ ( ) ] be given by 𝑥 𝜉 ,𝑡 = 𝑥 ₁ 𝜉 ,𝑡 ,𝑥 ₂(𝜉 ,𝑡 ) ͭʳ where 𝑥 ₁(𝜉 ,𝑡 ) is the state component of the unstable part of the system (1) may be written in the form 𝜕 𝑥 (𝜉 ,𝑡 ) = 𝐴 𝑥 (𝜉 ,𝑡 )+ 𝐵𝑃𝑢 (𝑡 ) 𝑄 1 1 𝜕𝑡 { (23) 𝑥 (𝜉 ,0) = 𝑥 (𝜉 ) Ω 1 01 ( ) 𝑥 ₁ 𝜂 ,𝑡 = 0 Θ and 𝑥 ₂(𝜉 ,𝑡 ) is the component state of the stable part of the system (1) given by 𝜕𝑥 ₂ ( ) ( ) ( ) ( ) 𝜉 ,𝑡 = 𝐴 ₂𝑥 ₂ 𝜉 , 𝑡 + 𝐼 − 𝑃 𝐵 𝑢 𝑡 𝑄 𝜕𝑡 { (24) ( ) ( ) 𝑥 ₂ 𝜉 ,0 = 𝑥 ₀₂ 𝜉 Ω ( ) 𝑥 ₂ 𝜂 ,𝑡 = 0 Θ 𝐽 𝐽 ∑ ∑ The operator 𝐴 ₁is represented by a matrix of order ( 𝑚 , 𝑚 ) given by𝐴 ₁ = diag 𝑚 𝑚 𝑚 =1 𝑚 =1 1 1 2 2 [𝜆 ,… ,𝜆 ,𝜆 ,…,𝜆 ,…,𝜆 ,… ,𝜆 ]and = [𝐺 ₁ͭʳ,𝐺 ₂ͭʳ,…,𝐺 ʳ].The condition (4) of this theorem, allows that the suit 𝐽 𝐽 𝐽 ∗ ∗ (𝐷 ,𝑓 ) of sensors is Γ G-strategic for the unstable part of the system (1), the subsystem (23) is WΓ G - 𝑖 𝑖 1≤𝑖 ≤𝑞 observable [11] and since it is finite dimensional, then it is EΓ G observable [27]. Therefore it is asymptotically ∗ 1 1 Γ 𝐴𝐺 -detectable, and hence there exists an operator 𝐻 ∗ such that (𝐴 ₁ − 𝐻 ∗ 𝐶 )which is satisfied the Γ Γ following: ∃,𝑀 1 ,𝛼 1 >0 such that 𝐴 1−𝐻 𝐶 𝐴 1−𝐻 𝐶 ∗ ∗ Γ Γ −𝛼 1 1 (𝐴 1−𝐻 𝐶 )𝑡 𝐴 1−𝐻 𝑐 ∗ ∗ Γ Γ ‖𝑒 ‖ ≤ 𝑀 𝑒 1 ∗ 𝐴 1−𝐻 𝐶 (𝐻 (Γ ))ⁿ Γ and then we have −𝛼 𝐴 1−𝐻 𝐶 ‖𝑥 (.,𝑡 )‖ ∗ ≤ 𝑀 𝑒 ‖𝑃 𝑥 (. )‖ 1 1 ∗ 1 0 1 (𝐻 (Γ ))ⁿ 𝐴 1−𝐻 ∗ 𝐶 (𝐻 (Γ ))ⁿ 1⁄2 ( ) Since the semi-group generated by the operator 𝐴 is stable on (𝐻 Γ )ⁿ, then there exist 𝑀 ,𝛼 > 0 [5] such that 2 2 𝐴 2−𝐻 ∗ 𝐶 𝐴 2−𝐻 ∗ 𝐶 Γ Γ −𝛼 𝐴 2−𝐻 𝐶 (𝑡 ) ‖ ‖ ‖ ‖ 𝑥 (.,𝑡 ) 1 ∗ ⁿ ≤ 𝑀 1 𝑒 (𝐼 − 𝑃 ) 1⁄2 ∗ (𝐻 (Γ )) 𝐴 1−𝐻 𝐶 (𝐻 (Γ ))ⁿ −𝛼 2 (𝑡 ) 𝐴 2−𝐻 𝐶 ∗ 2 + 𝑀 ,𝑒 𝐻 ∗ ‖(𝐼 − 𝑃 )𝑥 (.)‖ ∗ ‖𝑢 (𝜏 )‖ ∫ 1⁄2 𝑀 0 1 Γ (𝐻 (Γ ))ⁿ 𝐴 1−𝐻 𝐶 and therefor 𝑥 (𝜉 ,𝑡 ) → 0 when 𝑡 → ∞. Finally, the system (23) are asymptotically Γ 𝐴𝐺 -detectable. Second step: From equation (21), we have 𝑧 (𝜉 ,𝑡 ) = 𝑥 (𝜉 ,𝑡 )with the observer error is given by the following form 𝑒 (𝜉 ,𝑡 ) = 𝑧 (𝜉 ,𝑡 )− 𝑧 ̂(𝜉 ,𝑡 ) where 𝑧 ̂(𝜉 ,𝑡 ) is a solution of the dynamic system (22). Derive the above equation, and by using equation (19) and condition 2, we can get the following forms 𝜕𝜀 𝜕𝑧 𝜕 𝑧 ̂ 𝜕𝑥 𝜕 𝑧 ̂ ( ) ( ) ( ) ( ) 𝜉 ,𝑡 = 𝜉 ,𝑡 − 𝜉 ,𝑡 = 𝜉 ,𝑡 − (𝜉 ,𝑡 ) 𝜕𝑡 𝜕𝑡 𝜕𝑡 𝜕𝑡 𝜕𝑡 = 𝐴𝑥 (𝜉 ,𝑡 )+ (𝑡 )− 𝐹 𝑧 ̂(𝜉 ,𝑡 ) Γ AGFO 𝐵𝑢 𝐴𝐺 𝐴𝐺 𝑑𝜏 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝐴𝐺 𝑃𝐵 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam − 𝐺 ∗ 𝑢 (𝑡 )− 𝐻 ∗ 𝐶𝑥 (𝜉 ,𝑡 ) Γ Γ AGFO ( ) ∗ ( ) ∗ = 𝐴𝑥 𝜉 ,𝑡 − (𝐴 − 𝐻 𝐶 )𝑧 ̂𝜉 ,𝑡 − 𝐻 𝐶𝑥 (𝜉 ,𝑡 ) Γ AGFO𝐺 Γ AGFO ∗ ( ) ( ) = (𝐴 − 𝐻 𝐶 )(𝑧 𝜉 ,𝑡 − 𝑧 ̂𝜉 ,𝑡 ) Γ AGFO = (𝐴 − 𝐻 𝐶 ) 𝑒 (𝜉 ,𝑡 ) Γ AGFO Thus, from the first part of this proof we obtain 𝑒 (𝜉 ,𝑡 ) = (𝐴 − 𝐻 𝐶 ) 𝑒 (0,𝑡 ) Γ AGFO is asymptotically Γ 𝐺 -stable with 𝑒 (0,𝑡 ) = 𝑧 (𝜉 )− 𝑧 ̂ (𝜉 ) 0 0 Then we have −𝛼𝐴 −𝐻 ∗ 𝐶 Γ AGFO ‖𝑒 (𝜉 ,𝑡 )‖ ∗ ≤ 𝑀 𝑒 . 1⁄2 𝐴 −𝐻 ∗ 𝐶 (𝐻 (Γ ))ⁿ) Γ AGFO ‖𝑧 (𝜉 )− 𝑧 ̂(𝜉 )‖ ∗ 1⁄2 0 0 (𝐻 (Γ ))ⁿ) therefore lim 𝑒 (𝜉 ,𝑡 ). Now, let the approximate solution to the gradient state of the original system is 𝑡 →∞ ∗ ∗ 𝑥̂(𝜉 ,𝑡 ) = 𝑀 𝑦 (. ,𝑡 )+ 𝑁 𝑧 ̂(𝜉 ,𝑡 ) Γ AGFO Γ AGFO with ∗ ∗ ∗ 𝑀 = 0 and 𝑁 = 𝐼 Γ AGFO Γ AGFO Γ AGFO , then we have 𝑥̂(𝜉 ,𝑡 ) = 𝑧 ̂(𝜉 ,𝑡 ) Now, we can calculate the error of gradient state estimator 𝑒 ̂ (𝜉 ,𝑡 ) = 𝑥 (𝜉 ,𝑡 )− 𝑥̂(𝜉 ,𝑡 ) = 𝑥 (𝜉 ,𝑡 )− 𝑥 (𝜉 ,𝑡 )+ 𝑥 (𝜉 ,𝑡 )− 𝑥̂(𝜉 ,𝑡 ) Γ AGFO = 𝑥̂(𝜉 ,𝑡 )− 𝑧 ̂(𝜉 ,𝑡 ) = 𝑒 (𝜉 ,𝑡 ) = (𝐴 − 𝐻 𝐶 ) 𝑒 (0,𝑡 ) Γ AGFO is asymptotically Γ 𝐺 -stable with ( ) ( ) 𝑒 0,𝑡 = 𝑧 𝜉 − 𝑧 ̂ (𝜉 ). 0 0 Consequently, we get lim‖𝑥 (.,𝑡 )− 𝑥̂(𝜉 ,𝑡 )‖ ⁄ ∗ = lim‖𝑥 (.,𝑡 )− 𝑧 ̂(𝜉 ,𝑡 )‖ ⁄ ∗ = 0 1 2 1 2 (𝐻 (Γ ))ⁿ (𝐻 (Γ ))ⁿ 𝑡 →∞ 𝑡 →∞ Then, the dynamical system (22) is Γ 𝐴𝐹𝑂𝐺 -0bserver to the system (19). Corollary 3.6 From the previous results, we can deduce that: 1. Theorem 3.5 gives the sufficient conditions which guarantee the dynamic system (22) is a Γ 𝐹𝑂𝐺 -observer for the system (19). 37 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam 2. If a system which is an Ω𝐺 𝐹 𝑂 -observer, then it is Γ 𝐴𝐹𝑂𝐺 -observer for system (19). ∗ 1∗ 1∗ ∗ 3. If a system is Γ 𝐹𝑂𝐺 -observer, then it is Γ 𝐹𝑂𝐺 -observer for every subset Γ of Γ , but the converse is not true [28]. This is an important case because there are many problems in real world can reconstruction the current state gradient but is not in the usual sense which is presented in the following example. Example 3.7. Consider a two-dimensional system described by the diffusion equation 𝜕𝑥 (𝜉 ,𝜉 ,𝑡 ) = Δ𝑥 (𝜉 ,𝜉 ,𝑡 ) 𝒬 1 2 1 2 𝜕𝑡 𝑥 (𝜉 ,𝜉 ,𝑡 ) = 𝑥 (𝜉 ,𝜉 ) Ω (25) 1 2 0 1 2 𝜕𝑥 (𝜂 ,𝜂 ,𝑡 ) = 0 Θ { 1 1 𝜕𝑣 where Ω =]0,1[×]0,1[. The operator 𝐴 = ∆ generates a strongly continuous semi-group (𝑆 (𝑡 )) on the Hilbert 𝐴 𝑡 ≥0 space 𝐻 (Ω) given by 𝑆 (𝑡 )𝑥 = ∑ 𝑒 𝑡 ⟨𝑥 ,𝜑 ⟩ 𝜑 𝐴 𝑛𝑚 𝑛𝑚 𝑛 ,𝑚 =0 𝐻 (Ω) With 2 2 2 𝜆 = −(𝑛 ,𝑚 )𝜋 , 𝜑 (𝜉 ,𝜉 ) = 2𝑎 cos(𝑛𝜋 𝜉 ) cos(𝑛𝜋 𝜉 ) and 𝑛𝑚 𝑛𝑚 1 2 𝑛𝑚 1 2 −1 2𝑎 = (1 − 𝜆 ) . 𝑛𝑚 𝑛𝑚 Consider the dynamical system 𝜕𝑥 (𝜉 ,𝜉 ,𝑡 ) = Δ𝑥 (𝜉 ,𝜉 ,𝑡 )− 𝐻 𝐶 (𝑥 (𝜉 ,𝜉 ,𝑡 )− 𝑧 (𝜉 ,𝜉 ,𝑡 )) 𝒬 1 2 1 2 𝐺𝐹𝐴𝑂 1 2 1 2 𝜕 𝑡 ( ) ( ) (26) 𝑥 𝜉 ,𝜉 ,0 = 𝑥 𝜉 , 𝜉 Ω 1 2 0 1 2 𝜕𝑥 ( ) 𝜂 ,𝜂 ,𝑡 = 0 Θ 1 1 𝜕𝑣 𝑞 1 𝑞 Where 𝐻 ∈ 𝐿 (𝑅 ,𝑍 ),𝑍 is a Hilbert space and 𝐶 :𝐻 (Ω) → 𝑅 is a linear operator. Consider the boundary sensor (Γ ,𝑓 ) defined by Γ = {0} ×]0,1[ and 𝑓 (𝜂 ,𝜂 ) = cos 𝜋 𝜂 0 1 2 2 Thus, the output function can be written by 𝑦 (𝑡 ) = ∫ 𝑥 (𝜂 ,𝜂 , 𝑡 )𝑓 (𝜂 ,𝜂 )𝑑 𝜂 𝑑 𝜂 (27) 1 2 1 2 1 2 If the state 𝑥 is defined in Ω by ( ) 𝑥 𝜉 ,𝜉 = cos(𝜋 𝜉 ) cos(2𝜋 𝜉 ), 0 1 2 1 2 then the system (20)-(22) is not WΩG-observable, i.e. the sensor (Γ ,𝑓 ) is not Ω-strategic and therefore the system (20)-(22) is not ΩAG-detectable [7]. Thus, the dynamical system (21) is not ΩAG-observer for the system { } (20)-(22) (see [29]). Here, we consider the region Γ =]0,1[× 0 ⊂ 𝜕 Ω (figure 3) and the dynamical system 𝑛𝑚 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam Fig. 3: Domain Ω, region Γ and location Γ of zone sensor. 𝜕𝑥 ( ) ( ) 𝜉 ,𝜉 ,𝑡 = Δ𝑥 𝜉 ,𝜉 ,𝑡 1 2 1 2 𝜕𝑡 −𝐻 𝐶 (𝑥 (𝜉 ,𝜉 ,𝑡 )− 𝑧 (𝜉 ,𝜉 ,𝑡 )) 𝒬 Γ AGFOΓ 1 2 1 2 (28) 𝑥 (𝜉 ,𝜉 ,0) = 𝑥 (𝜉 ,𝜉 ) Ω 1 2 0 1 2 𝜕𝑥 (𝜂 ,𝜂 ,𝑡 ) = 0 Θ 1 1 𝜕𝑣 ∗ ∗ ∗ 𝑞 1⁄2 where 𝐻 ∈ 𝐿 (𝑅 ,𝐻 (Γ )) . In this case, the system (20)-(22) is WΓ G-observable and the sensor (Γ ,𝑓 ) is Γ 𝐺 - ∗ ∗ strategic [26]. Thus, the system (20)-(22) is Γ 𝐴𝐺 -detectable [13]. Finally the dynamical system (20) is Γ 𝐴𝐹𝑂𝐺 - observer for the system (20)-(22) [30]. 4. Application to asymptotic 𝚪 𝑨𝑮𝑭𝑶 -observer in diffusion system In this section we consider the distributed diffusion systems defined in the domain Ω. Various results related to different types of sensor have been extended. In the case of two-dimensional, we take where Ω = ]0,𝑎 [ × ]0,𝑎 [ 1 2 ] [ { } and Γ = 0,𝑎 × 𝑎 is a region of 𝜕 Ω the boundary of Ω. The eigenfunctions of the dynamic system (16) for 1 2 Dirichlet boundary conditions are given by 1⁄2 4 𝜇 𝜇 1 2 𝜑 (𝜇 ,𝜇 ) = ( ) cos 𝑛𝜋 ( ) cos 𝑚𝜋 ( ) (29) 𝑛𝑚 1 2 𝑎 𝑎 𝑎 𝑎 1 2 1 2 associated with eigenvalues 2 2 𝑛 𝑚 𝜆 = −( + ) 𝜋 , 𝑛 ,𝑚 ≥ 1 (30) 𝑛𝑚 2 2 𝑎 𝑎 1 2 2 2 { } If we suppose that 𝑎 ⁄𝑎 ∉ 𝑄 , then the multiplicity of the eigenvalues 𝜆 is 𝑟 = 1 for every 𝑛 ,𝑚 = 1,… ,𝐽 , 1 2 𝑛𝑚 𝑛𝑚 then one sensor (𝐷 ,𝑓 ) may be sufficient for 𝛤 𝐴𝐹𝑂𝐺 -observer [24]. 4.1. Zone case in rectangular domain This subsection related to give sufficient conditions which is characterized some cases of the Γ 𝐴𝐹𝑂𝐺 -observer in the rectangular domain of system (12) with various sensor locations cases. 4.1.1. Internal zone sensors case Consider two dimensional system defined in Ω = [0,𝑎 ] × [0,𝑎 ] by parabolic equation 1 2 𝜕𝑥 𝜕 ²𝑥 𝜕 ²𝑥 ( ) ( ) ( ) 𝜉 ,𝜉 ,𝑡 = 𝜉 ,𝜉 ,𝑡 + 𝜉 ,𝜉 ,𝑡 𝑄 1 2 2 1 2 2 1 2 𝜕𝑡 𝜕 𝜉 𝜕 𝜉 1 2 { (31) 𝑥 (𝜉 ,𝜉 ,0) = 𝑥 (𝜉 ,𝜉 ) Ω 1 2 0 1 2 𝑥 (𝜂 ,𝜂 ,𝑡 ) = 0 Σ 1 2 augmented with output function measured by internal or boundary zone sensors 39 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam 𝑦 (.,𝑡 ) = ∫ 𝑥 (𝜉 ,𝜉 , 𝑡 )𝑓 (𝜉 ,𝜉 )𝑑 𝜉 𝑑 𝜉 (32) 1 2 1 2 1 2 where the zone sensor is the located inside the domain Ω, over the support 𝐷 = ]𝜉 − 𝑙 ,𝜉 + 𝑙 [ × ]𝜉 − 𝑙 ,𝜉 + 𝑙 [ ⊂ Ω, and 𝑓 ∈ 𝐿 (𝐷 ) 1 1 1 1 2 2 2 2 0 0 0 0 as in (figure 4). Fig. 4: Rectangular domain Ω, region Γ and location 𝐷 of internal zone sensor. In this case the system (31)-(32) have an associated dynamical system is given by the following form 2 2 𝜕𝑧 𝜕 𝑧 𝜕 𝑧 (𝜉 ,𝜉 ,𝑡 ) = (𝜉 ,𝜉 ,𝑡 )+ (𝜉 ,𝜉 ,𝑡 ) 1 2 2 1 2 2 1 2 𝜕𝑡 𝜕𝜉 𝜕𝜉 1 2 −𝐻 (𝐶𝑧 (𝜉 ,𝜉 ,𝑡 )− 𝑦 (𝑡 )) 𝑄 𝛤 𝐺 1 2 (33) 𝑧 (𝜉 ,𝜉 ,0) = 𝑧 (𝜉 , 𝜉 ) Ω 1 2 0 1 2 ( ) { 𝑧 𝜂 ,𝜂 ,𝑡 = 0 𝛴 1 2 Thus have the following important result. Proposition 4.1: Suppose that𝑓 is symmetric about 𝜉 = 𝜉 and 𝑓 is symmetric about 𝜉 = 𝜉 , then the 1 01 2 02 dynamical system (33) is Γ 𝐴𝐹𝑂𝐺 -observer for systems (31)-(32) if 𝑛 𝜇 ⁄𝑎 and 𝑚 𝜇 ⁄𝑎 ∉ 𝑁 , for every 𝑛 ,𝑚 = 1 1 2 2 0 0 { } 1,… ,𝐽 . 4.1.2. One side boundary zone sensor case Now, the measurements are given by the following output function 𝜕𝑥 ( ) ( ) ( ) 𝑦 𝑡 = ∫ 𝜂 ,𝜂 , 𝑡 𝑓 𝜂 ,𝜂 𝑑 𝜂 𝜂 , (34) 1 2 1 2 1 2 𝜕𝑣 ( ) Where Г ⊂ 𝜕 Ω is the boundary support of the sensor and 𝑓 ∈ 𝐿 Γ . In the case, where the support of the 0 0 ( ) sensor Г ,𝑓 is one of side as in (figure 5) Fig. 5: Rectangular domain Ω, region Γ and location Γ of boundary zone sensor. Then, we have the following result. 40 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam Proposition 4.2: Suppose that Γ ⊂ 𝜕 Ω and f is symmetric with respect to 𝜂 = 𝜂 , then the dynamic system 1 0 (33) is𝛤 𝐴𝐹𝑂𝐺 -observer for the systems (31)-(32) if 𝑛 𝜂 ⁄𝑎 ∉ 𝑁 , for all 𝑛 , 𝑛 = {1,…,𝐽 }. 1 1 4.1.3. Two side boundary zone sensor case In this case the output function (2) is given by 𝜕𝑥 ( ) ( ) ( ) 𝑦 𝑡 = ∫ 𝜂 ,𝜂 , 𝑡 𝑓 𝜂 ,𝜂 𝑑 𝜂 𝜂 (35) when the ̅ 1 2 1 2 1 2 𝜕𝑣 support of the sensor is on two sides boundary, i.e., ̅ ̅ ̅ { } { } Г = [0,𝜂 ̅ + 𝑙 ] × 0 ∪ 0 × [0,𝜂 ̅ + 𝑙 ] = Γ ∪ Γ ⊂ 𝜕 Ω, 1 1 2 2 1 2 0 0 as in (figure 6), ∗ ∗ Fig. 6: Rectangular domain Ω, region Γ and location Γ of boundary zone sensor. then, we obtain the following result. ̅ ̅ Proposition 4.3: Let Γ ∪ Γ ⊂ 𝜕 Ω , the function 𝑓 | is symmetric with respect to 𝜂 = 𝜂 ̅ , and the function 𝑓 | 1 2 Γ 1 Γ 1 01 2 is symmetric with respect to 𝜂 = 𝜂 ̅ , then the dynamic system (33) is Γ 𝐴𝐹𝑂𝐺 -observer for the systems (31)- ⁄ { } (32) if 𝑛 𝜂 𝑎 ∉ 𝑁 , for all 𝑛 , 𝑛 = 1,… ,𝐽 . 1 1 4.2.1. Pointwise sensors case Consider again the systems (31)-(2) augmented with output function measured by internal pointwise sensors. In this case, the output function is given by the following form 𝑦 (𝑡 ) = 𝑥 (𝜉 ,𝜉 ,𝑡 ) 𝛿 (𝜉 − 𝑏 ,𝜉 − 𝑏 )𝑑 𝜉 𝑑 𝜉 (36) 1 2 1 1 2 2 1 2 where 𝑏 =(𝑏 ,𝑏 ) is the location of pointwise sensor in Ω as defined in (figure 7). 1 2 Fig. 7: Rectangular domain Ω, region Γ and location 𝑏 of internal pointwise sensors. Then we obtain the following result. Proposition 4.4: Let the sensor is located in 𝑏 = (𝑏 ,𝑏 ), then, the dynamic system (33) is Γ 𝐴𝐹𝑂𝐺 -observer for 1 2 the systems (31)-(36), if 𝑛 𝑏 ⁄𝑎 and 𝑚 𝑏 ⁄𝑎 ∉ 𝑁 , for every 𝑛 ,𝑚 = {1,… ,𝐽 }. 1 1 2 2 41 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam 4.2.2. Filament pointwise case Suppose that the observation is given by the filament sensor where σ = (𝛾 ) ⊂ Ω is symmetric with respect to the line 𝑏 =(𝑏 ,𝑏 ) as in (figure 8). More precisely, the sensor is line of pointwises inside the domain Ω, then 1 2 the output function still given by equation (31 Fig. 8: Rectangular domain, region Γ and locations σ of filament pointwise sensor. Proposition 4.5: Let the sensor is located in 𝑏 = (𝑏 ,𝑏 ), then, the dynamic system (33) is Γ 𝐴𝐹𝑂𝐺 -observer for 1 2 ⁄ ⁄ { } the systems (31)-(36), if 𝑛 𝑏 𝑎 and 𝑚 𝑏 𝑎 ∉ 𝑁 , for every 𝑛 ,𝑚 = 1,… ,𝐽 . 1 1 2 2 4.2.3 Boundary pointwise case Suppose that the sensor (𝑏 ,𝛿 ) is located on 𝑏 , where 𝑏 = (𝑏 ,𝑏 ) ∈ 𝜕 Ω with 𝑏 = (0,𝑏 ) as in (figure 9). 𝑏 1 2 2 Fig. 9: Rectangular domain, region Γ and location 𝑏 of boundary pointwise sensor. In this case, the output function is given by ( ) ( ) ( ) ( ) 𝑦 .,𝑡 = ∫ 𝑥 𝜂 ,𝜂 , 𝑡 𝛿 𝜂 ,𝜂 − 𝑏 𝜂 (𝑦 .,𝑡 1 2 𝑏 1 2 2 1 2 𝜕𝑥 ( ) = ∫ 𝜂 ,𝜂 ,𝑡 𝑓 (𝜂 ,𝜂 ) (37) 1 2 1 2 1 2 𝜕 Ω 𝜕𝑣 ( ) where 𝑏 = 0, 𝑏 . Thus, we obtain the following result. Proposition 4.6: Let the sensor is located in 𝑏 = (0,𝑏 ), then, the dynamic system (33) is Γ 𝐴𝐹𝑂𝐺 -observer for the systems (31)-(37), if 𝑚 𝑏 ⁄𝑎 ∉ 𝑁 for all 𝑚 = {1,…,𝐽 }. 2 2 Now, from the previous results in this paper, we can deduce the following results. Remark 4.7: We can extend these results to the case of two dimensional systems with circular domain in different sensor structures as in [13, 16]. Remark 4.8: We can extend the above results of the two dimensional systems (31)-(2) to case of one dimensional systems case with Ω =]0,𝑎 [ as in ref.s [8-17, 25]. Remark 4.9: We know that the previous results have been developed with Dirichlet boundary conditions, then we can extend with Neumann or mixed boundary conditions as in [10, 31]. 𝑑𝜂 𝑑𝜂 𝑑𝜂 𝐼𝑚 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam 5. Conclusion The concept have been studied in this paper is related to the Γ 𝐴𝐹𝑂𝐺 -observer in connection with sensors structure for a class of distributed parameter systems. More precisely, we have been given a sufficient condition ∗ ∗ for the existing an Γ 𝐴𝐹𝑂𝐺 -observer which allows to estimate the gradient state in a subregion Γ . For future work, one can be extension these result to the problem of regional boundary asymptotic gradient reduced order observer in connection with the sensors structures. Acknowledgments. Our thanks in advance to the editors and experts for their efforts. References 1. B. Friedland, Full-order state observer, Control Systems, Robotic and Automation, 10 (1996). https://www.eolss.net/Sample-Chapters/C18/E6-43-13-08.pdf 2. R. Al-Saphory, Strategic sensors and regional exponential observability, ISRN Applied Mathematics, (2011), 1-13. https://www.hindawi.com/journals/isrn/2011/673052/ 3. R. Al-Saphory and Sh. Al-Mullah, Regional Exponential Reduced Observability in Distributed Parameter Systems, Journal of Advance in Mathematics, 11 (2015), 5058-5074. https://rajpub.com/index.php/jam/article/view/1256 4. R. Al-Saphory and Z. Jaafar, Regional exponential general observability in distributed parameter systems, Journal of Advance in Mathematics, 11 (2015), 5166-5182. https://www.scribd.com/document/283351193/REGIONAL-EXPONENTIAL-GENERAL-OBSERVABILITY- IN-DISTRIBUTED-PARAMETER-SYSTEMS 5. D. G. Luenberger, Observers For multivariable systems, IEEE Trans. Automat. Contr., 11 (2) (1966), 190- 197. https://ieeexplore.ieee.org/document/1098323 6. R.V. Gressang and G.B. Lamont, Observers for characterized by semi-groups, IEEE Trans. Automat. Contr., 20 (1975), 523-528. https://ieeexplore.ieee.org/document/1101021 7. A. El Jai and M. Amouroux, Sensors and observers in distributed parameter systems, International Journal of Control., 47 (1988), 333-347. https://www.tandfonline.com/doi/abs/10.1080/00207178808906013 8. R. Al-Saphory, M. Al-Joubory and M. Jasim, Regional strategic sensors characterizations, Journal Mathematical and Computational Science, 3 (2013), 401-418. http://scik.org/index.php/jmcs/article/view/810 9. A. El Jai and H. Hamzauoi, Regional observation and sensors, International Journal of Applied Mathematics and Computer Sciences, 19 (2009), 5-14. https://www.sciencedirect.com/science/article/abs/pii/092442479380204T 10. A. El Jai, M. C. Simon and E. Zerrik, Regional observability and sensor structure, Sensors and Actuators A: Physical, 39 (1993), 95-102. 43 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam https://www.sciencedirect.com/science/article/abs/pii/092442479380204T 11. R. Al-Saphory, N. Al-Jawari and A. Al-Janabi, Regional gradient strategic sensors characterization, Journal of Advanced in Mathematics, 10 (2015), 3605-3618. https://rajpub.com/index.php/jam/article/view/1735 12. E. Zerrik and H. Bourray, Gradient observability for diffusion systems, International Journal of Applied Mathematics and Computer Sciences, 2 (2003), 139-150. http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.bwnjournal-article-amcv13i2p139bwm 13. R. Al-Saphory, Asymptotic regional analysis for a class of distributed parameter systems, Ph.D. thesis, University of Perpignan, France, 2001, published in French, Amazon Google books, 2011. https://books.google.iq/books/about/Analyse_r%C3%A9gionale_asymptotique_d_une_cl.html?id=Trwj OgAACAAJ&redir_esc=y 14. R. Al-Saphory and A. El Jai, Regional Asymptotic State Reconstruction, International Journal of System Science, 33 (2002), 1025-1037. https://www.tandfonline.com/doi/abs/10.1080/00207720210166998 15. R. Al-Saphory, N. Al-Jawari and A. Al-Janabi, General asymptotic Regional gradient observer, Aust. J. Basic and Appl. Sci., 10 (2016), 8-18. http://www.ajbasweb.com/old/ajbas_May_2016.html 16. R. Al-Saphory and A. El-Jai, Sensors and asymptotic 𝜔 -observer for distributed diffusion system, Sensors, 1 (2001), 161-182. https://www.mdpi.com/1424-8220/1/5/161/htm 17. J. Borggaard, J. Burns, A. Surana and L. Zietsman, Control, estimation and optimization of energy efficient buildings, Proc. of the American Control Conference, Hyatt Regency Riverfront, St. Louis, (2009), 837-841. https://ieeexplore.ieee.org/document/5160552 18. R Al-Saphory and M Al-Bayati, Regional boundary gradient detectability in distributed parameter systems, Journal of Advances in Mathematics, 14 (2), (2018), 7818-7833. https://rajpub.com/index.php/jam/article/view/7478 19. A. El Jai, Distributed systems analysis via sensors and actuators. Sensors and Actuators A, 29,(1), (1991), 1-11. https://www.sciencedirect.com/science/article/abs/pii/092442479180026L 20. R. Curtain, and |H. Zwart, An introduction to infinite dimensional linear system theory, Springer-Verlag, New York, 1995. https://www.springer.com/gp/book/9780387944753 21. R. F. Curtain, and A. J. Pritchard, Infinite dimensional linear systems theory, Lecture Note in Control and Information Sciences, Springer- Verlag, New York, 1978. https://www.springer.com/gp/book/9783540089612 44 Journal of Advances in Mathematics Vol 18 (2020) ISSN: 2347-192 https://rajpub.com/indx.php/jam 22. Burns, J., Observers and ooptimal estimation for PDE ssystems: sensor location problems, IMA Workshop on Sensor Location in Distributed Parameter Systems, September 6-8, 2017 Minneapolis, MN, USA. 2017. https://www.ima.umn.edu/2017-2018/SW9.6-8.17/26444 23. Brezis H., Analyse Fonctionnalle, Theorie et applications, 2em tirage, Masson, Paris, France,1987. https://www.dunod.com/sciences-techniques/analyse-fonctionnelle-theorie-et-applications 24. A. El Jai and A.J. Pritchard, Sensors and Controls in the Analysis of Distributed Parameter Systems, Ellis Hardwood Series in Mathematics and Applications, Wiley, New York, 1988. https://www.ebay.co.uk/itm/Sensors-and-Controls-in-the-Analysis-of-Distributed-Systems- Mathematics-and-its/153079971972?epid=91726288&hash=item23a4470084:i:153079971972 25. R. Al-Saphory and A. El-Jai, Sensors structures and regional detectability of parabolic distributed system, Sensors and Actuators A: Physical, 90, (2001), 163-171. https://www.sciencedirect.com/science/article/abs/pii/S0924424701005234 26. Al-Saphory, R. and El Jai, A., Sensors characterizations for regional boundary detectability in distributed parameter systems, Sensors and Actuators A, 94( 1-2), 2001, 1-10. https://www.sciencedirect.com/science/article/abs/pii/S0924424701006690 27. R. Al-Saphory, N. Al-Jawari and A. Al-Janabi, Regional boundary gradient strategic sensors characterizations, Mathematical Theory and Modeling, 6 (2016), 10-26. https://www.iiste.org/Journals/index.php/MTM/article/view/28228 28. El Jai, A.; Pritchard, A. J. Sensors and actuators in distributed parameter systems, International Journal of Control., 46, 1987, 1139-1153. https://www.tandfonline.com/doi/abs/10.1080/00207178708933956?journalCode=tcon20 29. E. Zerrik, L. Badraoui, A. El Jai, Sensors and regional boundary state reconstruction of parabolic systems. Sensors and Actuators A, 75 (1999), 102-117. http s://www.sciencedirect.com/science/article/abs/pii/S0924424798002933 30. R. Al-Saphory, Strategic sensors and regional exponential observability. ISRN Applied Mathematics, 2011. Article ID 673052, 1-13, 2011. https://www.hindawi.com/journals/isrn/2011/673052/ 31. R. Al-Saphory, Strategic sensors and regional observation in Neumann boundary conditions, Zanco Journal of Pure and Applied Science, Salahaddin University-Hawler/Iraq, 2010. https://www.academia.edu/35033214/Regional_Asymptotic_Approach_for_Dynamical_Free_Systems

Journal

MathematicsarXiv (Cornell University)

Published: Apr 30, 2020

There are no references for this article.