Contrôlabilité de quelques systèmes gouvernés par des equations paraboliques.
|
|
- Mervin Wiggins
- 5 years ago
- Views:
Transcription
1 Contrôlabilité de quelques systèmes gouvernés par des equations paraboliques. Michel Duprez LMB, université de Franche-Comté 26 novembre 2015 Soutenance de thèse M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 0 / 41
2 1 Partial controllability of parabolic systems Results Numerical simulations 2 Indirect controllability of parabolic systems coupled with a first order term Full system Local inversion of a differential operator Proof in the constant case Simplified system 3 Conclusion M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 1 / 41
3 Setting Let T > 0, N N, Ω be a bounded domain in R N with a C 2 -class boundary Ω and ω be a nonempty open subset of Ω. We consider here the following system of n linear parabolic equations with m controls t y = y + G y + Ay + B1 ω u in Q T, y = 0 on Σ T, y(0) = y 0 in Ω, where Q T := Ω (0, T ), Σ T := Ω (0, T ), A := (a ij ) ij, G := (g ij ) ij and B := (b ik ) ik with a ij, b ik L (Q T ) and g ij L (Q T ; R N ) for all 1 i, j n and 1 k m. (S) We denote by P : R p R n p R p, (y 1, y 2 ) y 1. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 2 / 41
4 Definitions We will say that system (S) is null controllable on (0, T ) if for all y 0 L 2 (Ω) n, there exists a u L 2 (Q T ) m such that y(, T ; y 0, u) = 0 in Ω. approximately controllable on (0, T ) if for all ε > 0 and y 0, y T L 2 (Ω) n there exists a control u L 2 (Q T ) m such that y(, T ; y 0, u) y T ( ) L2 (Ω) n ε. partially null controllable on (0, T ) if for all y 0 L 2 (Ω) n, there exists a u L 2 (Q T ) m such that Py(, T ; y 0, u) = 0 in Ω. partially approximately controllable on (0, T ) if for all ε > 0 and y 0, y T L 2 (Ω) n there exists a control u L 2 (Q T ) m such that Py(, T ; y 0, u) Py T ( ) L2 (Ω) p ε. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 3 / 41
5 1 Partial controllability of parabolic systems Results Numerical simulations 2 Indirect controllability of parabolic systems coupled with a first order term Full system Local inversion of a differential operator Proof in the constant case Simplified system 3 Conclusion M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 3 / 41
6 1 Partial controllability of parabolic systems Results Numerical simulations 2 Indirect controllability of parabolic systems coupled with a first order term Full system Local inversion of a differential operator Proof in the constant case Simplified system 3 Conclusion M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 3 / 41
7 System of differential equations Assume that A L(R n ) and B L(R m, R n ) and consider the system { t y = Ay + Bu in (0, T ), y(0) = y 0 R n. (SDE) P : R p R n p R p, (y 1, y 2 ) y 1. THEOREM (see [1]) System (SDE) is controllable on (0, T ) if and only if rank(b AB... A n 1 B) = n. THEOREM System (SDE) is partially controllable on (0, T ) if and only if rank(pb PAB... PA n 1 B) = p. [1] R. E. Kalman, P. L. Falb and M. A. Arbib, Topics in mathematical system theory. McGraw-Hill Book Co., New-York, M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 4 / 41
8 Constant matrices Assume that A L(R n ) and B L(R m, R n ) and consider the system t y = y + Ay + B1 ω u in Q T, y = 0 on Σ T, (S) y(0) = y 0 in Ω. THEOREM (F. Ammar Khodja, A. Benabdallah, C. Dupaix and M. González-Burgos, 2009) System (S) is null controllable on (0, T ) if and only if rank(b AB... A n 1 B) = n. THEOREM (F. Ammar Khodja, F. Chouly, M.D., 2015) System (S) is partially null controllable on (0, T ) if and only if rank(pb PAB... PA n 1 B) = p. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 5 / 41
9 Time dependent matrices Let us suppose that A C n 1 ([0, T ]; L(R n )) and B C n ([0, T ]; L(R m ; R n )) and define { B0 (t) := B(t), B i (t) := A(t)B i 1 (t) t B i 1 (t), 1 i n 1. We can define for all t [0, T ], [A B](t) := (B 0 (t) B 1 (t)... B n 1 (t)). THEOREM (F. Ammar Khodja, A. Benabdallah, C. Dupaix and M. González-Burgos, 2009) If there exist t 0 [0, T ] such that rank[a B](t 0 ) = n, then System (S) is null controllable on (0,T). THEOREM (F. Ammar Khodja, F. Chouly, M. D., 2015) If rank P[A B](T ) = p, then system (S) is partially null controllable on (0,T). M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 6 / 41
10 Space dependent matrices: Example of non partial null controllability Consider the control problem t y 1 = y 1 + αy ω u in Q T, t y 2 = y 2 in Q T. y = 0 on Σ T, y(0) = y 0, y 1 (T ) = 0 in Ω. THEOREM (F. Ammar Khodja, F. Chouly, M.D., 2015) Assume that Ω := (0, 2π) and ω (π, 2π). Let us consider α L (0, 2π) defined by α(x) := j=1 1 cos(15jx) for all x (0, 2π). j2 Then system (S 2 2 ) is not partially null controllable. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 7 / 41
11 Space dependent matrices: Example of partial null controllability Consider the control problem t y 1 = y 1 + αy ω u in Q T, t y 2 = y 2 in Q T, y = 0 on Σ T, y(0) = y 0, y 1 (T ) = 0 in Ω. (S 2 2 ) THEOREM (F. Ammar Khodja, F. Chouly, M.D., 2015) Let be Ω := (0, π) and α = α p cos(px) L (Ω) satisfying α p C 1 e C 2p for all p N, where C 1 > 0 and C 2 > π are two constants. Then system (S 2 2 ) is partially null controllable. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 8 / 41
12 1 Partial controllability of parabolic systems Results Numerical simulations 2 Indirect controllability of parabolic systems coupled with a first order term Full system Local inversion of a differential operator Proof in the constant case Simplified system 3 Conclusion M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 8 / 41
13 Numerical illustration Let us consider the fonctionnal HUM J ε (u) = 1 u 2 dxdt ω (0,T ) 2ε Ω y 1 (T ; y 0, u) 2 dx. THEOREM (Following the ideas of [1]) 1 System (S 2x2 ) is partially approx. controllable from y 0 iff y 1 (T ; y 0, u ε ) ε System (S 2x2 ) is partially null controllable from y 0 iff ( M 2 y 0,T := 2 sup ε>0 In this case y 1 (T ; y 0, u ε ) Ω M y0,t ε. ) inf J ε <. L 2 (Q T ) [1] F. Boyer, On the penalised HUM approach and its applications to the numerical approximation of null-controls for parabolic problems, ESAIM Proc. 41 (2013). M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 9 / 41
14 inf L 2 δt (0,T ;U h ) F ε h,δt (slope =-0.103) (slope =-6.34e-2) u h,δt ε L 2 δt (0,T ;U h ) y h,δt ε (T ) Eh (slope =2.74) h Figure : Case α = 1. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 10 / 41
15 inf L 2 δt (0,T ;U h ) F ε h,δt (slope =-3.80) uε h,δt L 2 δt (0,T ;U h ) (slope =-1.70) yε h,δt (T ) Eh (slope =8.34e-2) h Figure : Case α = j=1 1 j 2 cos(15jx). M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 11 / 41
16 2 1 y t 2 x Figure : Evolution of y1 in system (S2x2 ) in the case α = 1. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 12 / 41
17 y t 2 x Figure : Evolution of y1 in system (S2x2 ) in the case α = P j=1 M. Duprez Controllability of some systems governed by parabolic equations 1 j2 cos(15jx). 26/11/15 13 / 41
18 1 Partial controllability of parabolic systems Results Numerical simulations 2 Indirect controllability of parabolic systems coupled with a first order term Full system Local inversion of a differential operator Proof in the constant case Simplified system 3 Conclusion M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 13 / 41
19 1 Partial controllability of parabolic systems Results Numerical simulations 2 Indirect controllability of parabolic systems coupled with a first order term Full system Local inversion of a differential operator Proof in the constant case Simplified system 3 Conclusion M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 13 / 41
20 Setting Let T > 0, Ω be a bounded domain in R N (N N ) of class C 2 and ω be an nonempty open subset of Ω. Consider the system t y 1 = div(d 1 y 1 ) + g 11 y 1 + g 12 y 2 + a 11 y 1 + a 12 y ω u in Q T, t y 2 = div(d 2 y 2 ) + g 21 y 1 + g 22 y 2 + a 21 y 1 + a 22 y 2 in Q T, y = 0 on Σ T, y(, 0) = y 0 in Ω, (S full ) where y 0 L 2 (Ω; R 2 ), u L 2 (Q T ), g ij L (Q T ; R N ), a ij L (Q T ) for all i, j {1, 2}, Q T := Ω (0, T ), Σ T := (0, T ) Ω and { d ij d ij l l W (Q 1 T ), = d ji l in Q T, N i,j=1 d ij l ξ i ξ j d 0 ξ 2 in Q T, ξ R N. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 14 / 41
21 Cascade condition THEOREM (see [1] and [2]) Let us suppose that g 21 0 in q T := ω (0, T ) and (a 21 > a 0 in q T or a 21 < a 0 in q T ), for a constant a 0 > 0 and q T := ω (0, T ). Then System (S full ) is null controllable at time T. [1] F. Ammar Khodja, A. Benabdallah and C. Dupaix, Null-controllability of some reaction-diffusion systems with one control force, J. Math. Anal. Appl., [2] M. González-Burgos and L. de Teresa, Controllability results for cascade systems of m coupled parabolic PDEs by one control force. Port. Math., M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 15 / 41
22 Condition on the dimension THEOREM (S. Guerrero, 2007) Let N = 1, d 1, d 2, a 11, g 11, a 22, g 22 be constant and suppose that g 21 + a 21 = P 1 (θ ) in Ω (0, T ), where θ C 2 (Ω) with θ > C in ω 0 ω and P 1 := m 0 + m 1, for m 0, m 1 R. Moreover, assume that m 0 0. Then System (S full ) is null controllable at time T. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 16 / 41
23 Boundary condition THEOREM (A. Benabdallah, M. Cristofol, P. Gaitan, L. De Teresa, 2014) Assume that a ij C 4 (Q T ), g ij C 3 (Q T ) N, d i C 3 (Q T ) N2 for all i, j {1, 2} and { γ an open subset of ω Ω, x 0 γ s.t. g 21 (t, x 0 ) ν(x 0 ) 0 for all t [0, T ], where ν is the exterior normal unit vector to Ω. Then System (S full ) is null controllable at time T. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 17 / 41
24 Necessary and sufficient condition THEOREM 1 (M. D., P. Lissy, 2015 ) Let us assume that d i, g ij and a ij are constant in space and time for all i, j {1, 2}. Then System (S full ) is null controllable at time T if and only if g 21 0 or a The term g 21 can be different from zero in the control domain 2 Theorem 1 is true for all N N 3 We have no geometric restriction 4 Concerning the controllability of a system with m equations controlled by m 1 forces, the last condition becomes: i 0 {1,..., m 1} s.t. g mi0 0 or a mi0 0. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 18 / 41
25 Additional result THEOREM 2 (M. D., P. Lissy, 2015 ) Let us assume that Ω := (0, L) with L > 0. Then System (S full ) is null controllable at time T if for an open subset (a, b) O q T one of the following conditions is verified: (i) d i, g ij, a ij C 1 ((a, b), C 2 (O)) for i, j = 1, 2 and { g21 = 0 and a 21 0 in (a, b) O, 1 a 21 L (O) in (a, b). (ii) d i, g ij, a ij C 3 ((a, b), C 7 (O)) for i = 1, 2 and det(h(t, x)) > C for every (t, x) (a, b) O, where H := a 21 + g 21 g x a 21 + xx g 21 a x g 21 0 g t a 21 + tx g 21 t g 21 a 21 + x g 21 0 g 21 0 xx a 21 + xxx g 21 2 x a xx g 21 0 a x g 21 0 g 21 a 22 + g 22 g 22 x d 2 1 d x a 22 + xx g 22 a x g 22 xx d 2 0 g 22 2 x d 2 1 d 2. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 19 / 41
26 Remarks Even though the last condition seems complicated, it can be simplified in some cases : 1 System (S full ) is null controllable at time T if there exists an open subset (a, b) O q T such that g 21 κ R in (a, b) O, a 21 0 in (a, b) O, x a 22 xx g 22 in (a, b) O. 2 If the coefficients depend only on the time variable, the condition becomes : { (a, b) (0, T ) s.t.: g 21 (t) t a 21 (t) a 21 (t) t g 21 (t) in (a, b). M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 20 / 41
27 1 Partial controllability of parabolic systems Results Numerical simulations 2 Indirect controllability of parabolic systems coupled with a first order term Full system Local inversion of a differential operator Proof in the constant case Simplified system 3 Conclusion M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 20 / 41
28 The notion of the algebraic resolvability can be found in: [1] M. Gromov, Partial differential relations, Springer-Verlag, And was used for the first time in the control theory of pde s in: [2] J.-M. Coron & P. Lissy, Local null controllability of the three-dimensional Navier-Stokes system with a distributed control having two vanishing components, Invent. Math. 198 (2014), M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 21 / 41
29 Let f C c ([0, 1]). Consider the problem { Find (w1, w 2 ) C c ([0, 1]; R 2 ) s. t. : a 1 w 1 a 2 x w 1 + a 3 xx w 1 + b 1 w 2 b 2 x w 2 + b 3 xx w 2 = f, (1) with a 1, a 2, a 3, b 1, b 2, b 3 R. Problem (1) can be rewritten as follows : ( ) w1 L = f, w 2 where the operator L is given by L := (a 1 a 2 x + a 3 xx, b 1 b 2 x + b 3 xx ). M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 22 / 41
30 If there exists a differential operator M := M i=0 m i i x with m 0,..., m M R, M N such that L M = Id, then (w 1, w 2 ) := Mf is a solution to problem (1). The last equality is formally equivalent to M L = Id, with ( L a1 + a (ϕ) = 2 x + a 3 xx b 1 + b 2 x + b 3 xx ). M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 23 / 41
31 Consider the operator defined for all ϕ Cc ([0, 1]) by L 1 a 1 + a 2 x + a 3 xx L 2 x L ϕ := b 1 + b 2 x + b 3 xx 1 a 1 x + a 2 xx + a 3 xxx ϕ = C x L 2 b 1 x + b 2 xx + b 3 xxx ϕ x ϕ xx ϕ xxx ϕ, where C := a 1 a 2 a 3 0 b 1 b 2 b a 1 a 2 a 3 0 b 1 b 2 b 3. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 24 / 41
32 Let us suppose that C is invertible, denote by c 11 c 12 c 13 c 14 C 1 := c 21 c 22 c 23 c 24 c 31 c 32 c 33 c 34. c 41 c 42 c 43 c 44 Then we have C 1 L 1 L 2 x L 1 x L 2 where the first line is given by ϕ = ϕ x ϕ xx ϕ xxx ϕ, c 11 L 1ϕ + c 12 L 2ϕ + c 13 x L 1ϕ + c 14 x L 2ϕ = ϕ. Thus the problem is solved if we define M for all (ψ 1, ψ 2 ) Cc ([0, 1]; R 2 ) by ( ) M ψ1 := c ψ 11 ψ 1 + c 12 ψ 2 + c 13 x ψ 1 + c 14 x ψ 2. 2 M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 25 / 41
33 1 Partial controllability of parabolic systems Results Numerical simulations 2 Indirect controllability of parabolic systems coupled with a first order term Full system Local inversion of a differential operator Proof in the constant case Simplified system 3 Conclusion M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 25 / 41
34 Let us recall system (S full ) and Theorem 1. Consider the system of two parabolic equations controlled by one force t y = div(d y) + G y + Ay + e 1 1 ω u in Q T, y = 0 on Σ T, (S full ) y(, 0) = y 0 in Ω, where y 0 L 2 (Ω; R 2 ), D := (d 1, d 2 ) L(R 2N, R 2N ), G := (g ij ) L(R 2N, R 2 ), A := (a ij ) L(R 2 ). THEOREM 1 (M. D., P. Lissy, 2015 ) Let us assume that d i, g i,j and a i,j are constant in space and time for all i, j {1, 2}. Then System (S full ) is null controllable at time T if and only if g 2,1 0 or a 2,1 0. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 26 / 41
35 Strategy: fictitious control method Analytic problem Find (z, v) with Supp(v) ω (ε, T ε) s.t. : t z = div(d z) + G z + Az + N (1 ω v) in Q T, z = 0 on Σ T, z(0, ) = y 0, z(t, ) = 0 in Ω, where the operator N is well chosen. Difficulties: the control is in the range of the operator N, v has to be regular enough. Algebraic problem: Find (ẑ, v) with Supp(ẑ, v) ω (ε, T ε) s.t. : t ẑ = div(d ẑ) + G ẑ + Aẑ + B v + N f in Q T, Conclusion: The couple (y, u) := (z ẑ, v) will be a solution to system (S full ) and will satisfy y(t ) 0 in Ω. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 27 / 41
36 Resolution of the algebraic problem The algebraic problem can be rewritten as: For f := 1 ω v, find (ẑ, v) with Supp(ẑ, v) ω (ε, T ε) such that where L(ẑ, v) = N f, L(ẑ, v) := t ẑ div(d ẑ) G ẑ Aẑ B v. This problem is solved if we can find a differential operator M such that L M = N. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 28 / 41
37 The last equality is equivalent to M L = N, where L is given for all ϕ Cc (Q T ) 2 by L L 1 ϕ ϕ := L 2 ϕ = L 3 ϕ t ϕ 1 div(d 1 ϕ 1 ) + 2 j=1 {g j1 ϕ j a j1 ϕ j } t ϕ 2 div(d 1 ϕ 2 ) + 2 j=1 {g j2 ϕ j a j2 ϕ j } ϕ 1 We remark that ( (g 21 a 21 )L 1 ϕ ) L 1 ϕ + ( t + div(d 1 ) g 11 + a 11 )L 3 ϕ = N ϕ, where N := g 21 + a 21. Thus the algebraic problem is solved by taking ψ 1 ( ) M ψ 2 (g := 21 a 21 )ψ 3. ψ 1 + ( t + div(d 1 ) g 11 + a 11 )ψ 3 ψ 3 M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 29 / 41.
38 Resolution of the analytic problem: sketch of the proof The system t z = div(d z) + G z + Az + N (1 ω v) in Q T, z = 0 on Σ T, z(0, ) = y 0, z(t, ) = 0 in Ω, is null controllable if for all ψ 0 L 2 (Ω; R 2 ) the solution of the adjoint system t ψ = div(d ψ) G ψ + A ψ in Q T, ψ = 0 on Σ T, ψ(t, ) = ψ 0 in Ω satisfies the following inequality of observability T ψ(0, x) 2 dx C obs ρ 0 N ψ(t, x) 2 dxdt, Ω 0 where ρ 0 can be chosen to be exponentially decreasing at times t = 0 and t = T. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 29 / 41 ω
39 This inequality is obtained by applying the differential operator N = ( a 21 + g 21 ) to the adjoint system. More precisely we study the solution φ ij := i j N ψ of the system t φ ij = D φ ij G φ ij + A φ ij in Q T, φ n = ( N ψ) n on Σ T, φ(t, ) = N ψ 0 in Ω. Remark : We need that N commutes with the other operators of the system, what is possible with some constant coefficients. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 30 / 41
40 Following the ideas of Barbu developed in [1], the control is chosen as the solution of the problem minimize J k (v) := 1 ρ v 2 dxdt + k z(t ) 2 dx, Q T 2 Ω v L 2 (Q T, ρ 1/2 0 ) 2. We obtain the regularity of the control with the help of the following Carleman inequality 3 ρ j j ψ 2 dxdt C T j=1 Q T T where ρ j are some appropriate weight functions. 0 ω ρ 0 N ψ(t, x) 2 dxdt, [1] V. Barbu, Exact controllability of the superlinear heat equation, Appl. Math. Optim. 42 (2000), M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 31 / 41
41 1 Partial controllability of parabolic systems Results Numerical simulations 2 Indirect controllability of parabolic systems coupled with a first order term Full system Local inversion of a differential operator Proof in the constant case Simplified system 3 Conclusion M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 31 / 41
42 Consider the following system t z 1 = xx z ω u in (0, π) (0, T ), t z 2 = xx z 2 + p(x) x z 1 + q(x)z 1 in (0, π) (0, T ), z(0, ) = z(π, ) = 0 on (0, T ), z(, 0) = z 0 in (0, π), (S simpl. ) where z 0 L 2 ((0, π); R 2 ), u L 2 ((0, π) (0, T )), p W (0, 1 π), q L (0, π) and ω := (a, b) (0, π). Consider the two following quantities I a,k (p, q) := I k (p, q) := a 0 π 0 ( q 1 2 xp ) ϕ 2 k, ( q 1 2 xp ) ϕ 2 k, where for all k N and x (0, π), we denote by 2 ϕ k (x) := π sin(kx) the eigenvector of the Laplacian operator, with Dirichlet boundary condition. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 32 / 41
43 When the supports of the control and the coupling terms are disjoint in System (S simpl. ), following the ideas F. Ammar Khodja et al, we obtain a minimal time of null controllability: THEOREM (M. D., 2015) Let p W 1 (0, π), q L (0, π). Suppose that I k + I a,k 0 for all k N and (Supp(p) Supp(q)) ω =. Let T 0 (p, q) be given by One has T 0 (p, q) := lim sup k min( log I k (p, q), log I a,k (p, q) ) k 2. 1 If T > T 0 (p, q), then System (S simpl. ) is null controllable at time T. 2 If T < T 0 (p, q), then System (S simpl. ) is not null controllable at time T. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 33 / 41
44 Recall the studied system t z 1 = xx z ω u in (0, π) (0, T ), t z 2 = xx z 2 + p(x) x z 1 + q(x)z 1 in (0, π) (0, T ), z(0, ) = z(π, ) = 0 on (0, T ), z(, 0) = z 0 in (0, π), where z 0 L 2 ((0, π); R 2 ), u L 2 ((0, π) (0, T )), p W 1 (0, π), q L (0, π) and ω := (a, b) (0, π). THEOREM (M. D., 2015) Suppose that p W 1 (0, π) W 2 (ω), q L (0, π) W 1 (ω) and (Supp(p) Supp(q)) ω. Then the system is null controllable at time T. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 34 / 41
45 1 Partial controllability of parabolic systems Results Numerical simulations 2 Indirect controllability of parabolic systems coupled with a first order term Full system Local inversion of a differential operator Proof in the constant case Simplified system 3 Conclusion M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 34 / 41
46 Works in progress with P. Lissy 1 A general condition for the null controllability by m 1 forces of m parabolic equations coupled by zero and first order terms: t y 1 = div(d 1 y 1 ) + g 11 y 1 + g 12 y 2 + a 11 y 1 + a 12 y ω u in Q T, t y 2 = div(d 2 y 2 ) + g 21 y 1 + g 22 y 2 + a 21 y 1 + a 22 y 2 in Q T, y = 0 on Σ T, y(, 0) = y 0 in Ω. (S full ) System (S full ) is null controllable at time T if g 21 0 in q T and a 22 belong to an appropriate space. Using a non linear variable change it can be proved that the second condition is artificial. M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 35 / 41
47 Works in progress with M. Gonzalez-Burgos and D. Souza 2 The null controllability for a parabolic systems with non-diagonalizable diffusion matrix: Consider the parabolic systems y t Dy xx + Ay = B1 ω u in (0, π) (0, T ), y(, 0) = 0 on (0, T ), y(0, ) = y 0 in (0, π), where y 0 L 2 (0, π; R n ) is the initial data, u L 2 (Q T ) is the control and D, A L(R n ) and B L(R, R n ) are given, for d > 0, by d D = , A = d and B = M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 36 / 41
48 Comments and open problems 1 Partial null controllability of a parabolic system: Consider the system t y 1 = y 1 + αy 2 in Q T, t y 2 = y ω u in Q T. y = 0 on Σ T, y(0) = y 0 in Ω. When Supp(α) ω =, there exists a minimal time T 0 for the null controllability. If T < T 0, is it possible, for all y 0 L 2 (Ω; R 2 ), to find a control u L 2 (Q T ) such that y 1 (T ) = 0 in Ω? M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 37 / 41
49 Comments and open problems 2 Partial controllability of semilinear systems: Let Ω R 3, T > 0, Q T := Ω (0, T ) and Σ T := Ω (0, T ). Consider the system t y 1 = d 1 y 1 + a 1 (1 y 1 /k 1 )y 1 (α 1,2 y 2 + κ 1,3 y 3 )y 1 in Q T, t y 2 = d 2 y 2 + a 2 (1 y 2 /k 2 )y 2 (α 2,1 y 1 + κ 2,3 y 3 )y 2 in Q T, t y 3 = d 3 y 3 a 3 y 3 + u in Q T, n y i := y i n = 0 1 i 3 on Σ T, y(x, 0) = y 0 in Ω, where y1 is the density of tumor cells, y 2 is the density of normal cells, y 3 is the drug concentration, u is the rate at which the drug is being injected (control), d i, a i, k i, α i,j, κ i,j are known constants. [1] S. Chakrabarty & F. Hanson, Distributed parameters deterministic model for treatment of brain tumours using Galerkin finite element method, M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 38 / 41
50 Comments and open problems 3 Null controllability of a general parabolic system: Consider the system of n equations controlled by m forces t y = y + G y + Ay + B1 ω u in Q T, y = 0 on Σ T, y(, 0) = y 0 in Ω, where y 0 L 2 (Ω; R n ), G L (Q T ; L(R nn, R n )), A L (Q T ; L(R n )), B L (Q T ; L(R m, R n )) and u L 2 (Q T ; R m ). M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 39 / 41
51 Comments and open problems 4 Numerical scheme using the algebraic resolvability: Is it possible to deduce a numerical approximation of the solution to the system with one control force t y 1 = div(d 1 y 1 ) + a 11 y 1 + a 12 y ω u in Q T, t y 2 = div(d 2 y 2 ) + a 21 y 1 + a 22 y 2 in Q T, y = 0 on Σ T, y(, 0) = y 0 in Ω, using the study of the system with two control forces t z 1 = div(d 1 z 1 ) + a 11 z 1 + a 12 z ω v 1 in Q T, t z 2 = div(d 2 z 2 ) + a 21 z 1 + a 22 z ω v 2 in Q T, z = 0 on Σ T, z(, 0) = z 0 and the fictitious control method? in Ω M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 40 / 41
52 Merci de votre attention! M. Duprez Controllability of some systems governed by parabolic equations 26/11/15 41 / 41
Some recent results on controllability of coupled parabolic systems: Towards a Kalman condition
Some recent results on controllability of coupled parabolic systems: Towards a Kalman condition F. Ammar Khodja Clermont-Ferrand, June 2011 GOAL: 1 Show the important differences between scalar and non
More informationNew phenomena for the null controllability of parabolic systems: Minim
New phenomena for the null controllability of parabolic systems F.Ammar Khodja, M. González-Burgos & L. de Teresa Aix-Marseille Université, CNRS, Centrale Marseille, l2m, UMR 7373, Marseille, France assia.benabdallah@univ-amu.fr
More informationPartial null controllability of parabolic linear systems
Partial null controllability of parabolic linear systems Farid Ammar-Khodja, Franz Chouly, Michel Duprez To cite this version: Farid Ammar-Khodja, Franz Chouly, Michel Duprez Partial null controllability
More informationControllability results for cascade systems of m coupled parabolic PDEs by one control force
Portugal. Math. (N.S.) Vol. xx, Fasc., x, xxx xxx Portugaliae Mathematica c European Mathematical Society Controllability results for cascade systems of m coupled parabolic PDEs by one control force Manuel
More informationLocal null controllability of the N-dimensional Navier-Stokes system with N-1 scalar controls in an arbitrary control domain
Local null controllability of the N-dimensional Navier-Stokes system with N-1 scalar controls in an arbitrary control domain Nicolás Carreño Université Pierre et Marie Curie-Paris 6 UMR 7598 Laboratoire
More informationA quantitative Fattorini-Hautus test: the minimal null control time problem in the parabolic setting
A quantitative Fattorini-Hautus test: the minimal null control time problem in the parabolic setting Morgan MORANCEY I2M, Aix-Marseille Université August 2017 "Controllability of parabolic equations :
More informationKey words. Controllability, Parabolic systems, Carleman estimates, Fictitious control method.
CONTROLLABILITY OF COUPLED PARABOLIC SYSTEMS WITH MULTIPLE UNDERACTUATIONS, PART : NULL CONTROLLABILITY DREW STEEVES, BAHMAN GHARESIFARD, AND ABDOL-REZA MANSOURI Abstract This paper is the second of two
More informationCARLEMAN ESTIMATE AND NULL CONTROLLABILITY OF A CASCADE DEGENERATE PARABOLIC SYSTEM WITH GENERAL CONVECTION TERMS
Electronic Journal of Differential Equations, Vol. 218 218), No. 195, pp. 1 2. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu CARLEMAN ESTIMATE AND NULL CONTROLLABILITY OF
More informationInsensitizing controls for the Boussinesq system with no control on the temperature equation
Insensitizing controls for the Boussinesq system with no control on the temperature equation N. Carreño Departamento de Matemática Universidad Técnica Federico Santa María Casilla 110-V, Valparaíso, Chile.
More informationc 2007 Society for Industrial and Applied Mathematics
SIAM J. CONTROL OPTIM. Vol. 46, No. 2, pp. 379 394 c 2007 Society for Industrial and Applied Mathematics NULL CONTROLLABILITY OF SOME SYSTEMS OF TWO PARABOLIC EUATIONS WITH ONE CONTROL FORCE SERGIO GUERRERO
More informationAsymptotic Analysis of the Approximate Control for Parabolic Equations with Periodic Interface
Asymptotic Analysis of the Approximate Control for Parabolic Equations with Periodic Interface Patrizia Donato Université de Rouen International Workshop on Calculus of Variations and its Applications
More informationControllability to trajectories for some parabolic systems of three and two equations by one control force
Controllability to trajectories for some parabolic systems of three and two equations by one control force Assia Benabdallah, Michel Cristofol, Patricia Gaitan, Luz De Teresa To cite this version: Assia
More information1 Introduction. Controllability and observability
Matemática Contemporânea, Vol 31, 00-00 c 2006, Sociedade Brasileira de Matemática REMARKS ON THE CONTROLLABILITY OF SOME PARABOLIC EQUATIONS AND SYSTEMS E. Fernández-Cara Abstract This paper is devoted
More informationarxiv: v1 [math.oc] 23 Aug 2017
. OBSERVABILITY INEQUALITIES ON MEASURABLE SETS FOR THE STOKES SYSTEM AND APPLICATIONS FELIPE W. CHAVES-SILVA, DIEGO A. SOUZA, AND CAN ZHANG arxiv:1708.07165v1 [math.oc] 23 Aug 2017 Abstract. In this paper,
More informationExact controllability of the superlinear heat equation
Exact controllability of the superlinear heat equation Youjun Xu 1,2, Zhenhai Liu 1 1 School of Mathematical Sciences and Computing Technology, Central South University, Changsha, Hunan 410075, P R China
More informationControl and Observation for Stochastic Partial Differential Equations
Control and Observation for Stochastic Partial Differential Equations Qi Lü LJLL, UPMC October 5, 2013 Advertisement Do the controllability problems for stochastic ordinary differential equations(sdes
More informationarxiv: v1 [math.ap] 11 Jun 2007
Inverse Conductivity Problem for a Parabolic Equation using a Carleman Estimate with One Observation arxiv:0706.1422v1 [math.ap 11 Jun 2007 November 15, 2018 Patricia Gaitan Laboratoire d Analyse, Topologie,
More informationControllability of linear PDEs (I): The wave equation
Controllability of linear PDEs (I): The wave equation M. González-Burgos IMUS, Universidad de Sevilla Doc Course, Course 2, Sevilla, 2018 Contents 1 Introduction. Statement of the problem 2 Distributed
More informationStability of an abstract wave equation with delay and a Kelvin Voigt damping
Stability of an abstract wave equation with delay and a Kelvin Voigt damping University of Monastir/UPSAY/LMV-UVSQ Joint work with Serge Nicaise and Cristina Pignotti Outline 1 Problem The idea Stability
More informationOn the bang-bang property of time optimal controls for infinite dimensional linear systems
On the bang-bang property of time optimal controls for infinite dimensional linear systems Marius Tucsnak Université de Lorraine Paris, 6 janvier 2012 Notation and problem statement (I) Notation: X (the
More informationCriterions on periodic feedback stabilization for some evolution equations
Criterions on periodic feedback stabilization for some evolution equations School of Mathematics and Statistics, Wuhan University, P. R. China (Joint work with Yashan Xu, Fudan University) Toulouse, June,
More informationHilbert Uniqueness Method and regularity
Hilbert Uniqueness Method and regularity Sylvain Ervedoza 1 Joint work with Enrique Zuazua 2 1 Institut de Mathématiques de Toulouse & CNRS 2 Basque Center for Applied Mathematics Institut Henri Poincaré
More informationEcon Lecture 14. Outline
Econ 204 2010 Lecture 14 Outline 1. Differential Equations and Solutions 2. Existence and Uniqueness of Solutions 3. Autonomous Differential Equations 4. Complex Exponentials 5. Linear Differential Equations
More informationOPTIMAL CONTROL AND STRANGE TERM FOR A STOKES PROBLEM IN PERFORATED DOMAINS
PORTUGALIAE MATHEMATICA Vol. 59 Fasc. 2 2002 Nova Série OPTIMAL CONTROL AND STRANGE TERM FOR A STOKES PROBLEM IN PERFORATED DOMAINS J. Saint Jean Paulin and H. Zoubairi Abstract: We study a problem of
More informationNonlinear stabilization via a linear observability
via a linear observability Kaïs Ammari Department of Mathematics University of Monastir Joint work with Fathia Alabau-Boussouira Collocated feedback stabilization Outline 1 Introduction and main result
More informationGlobal Carleman inequalities and theoretical and numerical control results for systems governed by PDEs
Global Carleman inequalities and theoretical and numerical control results for systems governed by PDEs Enrique FERNÁNDEZ-CARA Dpto. E.D.A.N. - Univ. of Sevilla joint work with A. MÜNCH Lab. Mathématiques,
More informationJunhong Ha and Shin-ichi Nakagiri
J. Korean Math. Soc. 39 (22), No. 4, pp. 59 524 IDENTIFICATION PROBLEMS OF DAMPED SINE-GORDON EQUATIONS WITH CONSTANT PARAMETERS Junhong Ha and Shin-ichi Nakagiri Abstract. We study the problems of identification
More informationConservative Control Systems Described by the Schrödinger Equation
Conservative Control Systems Described by the Schrödinger Equation Salah E. Rebiai Abstract An important subclass of well-posed linear systems is formed by the conservative systems. A conservative system
More informationarxiv: v2 [math.ap] 7 Jan 2019
CONTROL OF THE GRUSHIN EQUATION: NON-RECTANGULAR CONTROL REGION AND MINIMAL TIME MICHEL DUPREZ AND ARMAND KOENIG arxiv:1807.0141v [math.ap] 7 Jan 019 Abstract. This paper is devoted to the study of the
More informationThe Fattorini Criterion for the Stabilizability of Parabolic Systems and its Application to MHD flow and fluid-rigid body interaction systems
The Fattorini Criterion for the Stabilizability of Parabolic Systems and its Application to MHD flow and fluid-rigid body interaction systems Mehdi Badra Laboratoire LMA, université de Pau et des Pays
More informationApplied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.
Printed Name: Signature: Applied Math Qualifying Exam 11 October 2014 Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems. 2 Part 1 (1) Let Ω be an open subset of R
More informationOn Controllability of Linear Systems 1
On Controllability of Linear Systems 1 M.T.Nair Department of Mathematics, IIT Madras Abstract In this article we discuss some issues related to the observability and controllability of linear systems.
More informationLinear ODEs. Existence of solutions to linear IVPs. Resolvent matrix. Autonomous linear systems
Linear ODEs p. 1 Linear ODEs Existence of solutions to linear IVPs Resolvent matrix Autonomous linear systems Linear ODEs Definition (Linear ODE) A linear ODE is a differential equation taking the form
More informationSwitching, sparse and averaged control
Switching, sparse and averaged control Enrique Zuazua Ikerbasque & BCAM Basque Center for Applied Mathematics Bilbao - Basque Country- Spain zuazua@bcamath.org http://www.bcamath.org/zuazua/ WG-BCAM, February
More informationA = 3 1. We conclude that the algebraic multiplicity of the eigenvalues are both one, that is,
65 Diagonalizable Matrices It is useful to introduce few more concepts, that are common in the literature Definition 65 The characteristic polynomial of an n n matrix A is the function p(λ) det(a λi) Example
More informationu n 2 4 u n 36 u n 1, n 1.
Exercise 1 Let (u n ) be the sequence defined by Set v n = u n 1 x+ u n and f (x) = 4 x. 1. Solve the equations f (x) = 1 and f (x) =. u 0 = 0, n Z +, u n+1 = u n + 4 u n.. Prove that if u n < 1, then
More informationStabilization of Distributed Parameter Systems by State Feedback with Positivity Constraints
Stabilization of Distributed Parameter Systems by State Feedback with Positivity Constraints Joseph Winkin Namur Center of Complex Systems (naxys) and Dept. of Mathematics, University of Namur, Belgium
More informationCONTROLLABILITY OF FAST DIFFUSION COUPLED PARABOLIC SYSTEMS
CONTROLLABILITY OF FAST DIFFUSION COUPLED PARABOLIC SYSTEMS FELIPE WALLISON CHAVES-SILVA, SERGIO GUERRERO, AND JEAN PIERRE PUEL Abstract. In this work we are concerned with the null controllability of
More informationRobust Stackelberg controllability for a heat equation Recent Advances in PDEs: Analysis, Numerics and Control
Robust Stackelberg controllability for a heat equation Recent Advances in PDEs: Analysis, Numerics and Control Luz de Teresa Víctor Hernández Santamaría Supported by IN102116 of DGAPA-UNAM Robust Control
More informationAn Output Stabilization of Bilinear Distributed Systems
Int. Journal of Math. Analysis, Vol. 7, 213, no. 4, 195-211 An Output Stabilization of Bilinear Distributed Systems E. Zerrik, Y. Benslimane MACS Team; Sciences Faculty, Moulay Ismail University zerrik3@yahoo.fr,
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationREMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID
REMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID DRAGOŞ IFTIMIE AND JAMES P. KELLIHER Abstract. In [Math. Ann. 336 (2006), 449-489] the authors consider the two dimensional
More informationOn the boundary control of a parabolic system coupling KS-KdV and Heat equations
SCIENTIA Series A: Mathematical Sciences, Vol. 22 212, 55 74 Universidad Técnica Federico Santa María Valparaíso, Chile ISSN 716-8446 c Universidad Técnica Federico Santa María 212 On the boundary control
More informationCompact perturbations of controlled systems
Compact perturbations of controlled systems Michel Duprez, Guillaume Olive To cite this version: Michel Duprez, Guillaume Olive. Compact perturbations of controlled systems. Mathematical Control and Related
More informationMemoirs on Differential Equations and Mathematical Physics
Memoirs on Differential Equations and Mathematical Physics Volume 51, 010, 93 108 Said Kouachi and Belgacem Rebiai INVARIANT REGIONS AND THE GLOBAL EXISTENCE FOR REACTION-DIFFUSION SYSTEMS WITH A TRIDIAGONAL
More informationVector Spaces and Linear Transformations
Vector Spaces and Linear Transformations Wei Shi, Jinan University 2017.11.1 1 / 18 Definition (Field) A field F = {F, +, } is an algebraic structure formed by a set F, and closed under binary operations
More informationA REMARK ON MINIMAL NODAL SOLUTIONS OF AN ELLIPTIC PROBLEM IN A BALL. Olaf Torné. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 24, 2004, 199 207 A REMARK ON MINIMAL NODAL SOLUTIONS OF AN ELLIPTIC PROBLEM IN A BALL Olaf Torné (Submitted by Michel
More informationTD 1: Hilbert Spaces and Applications
Université Paris-Dauphine Functional Analysis and PDEs Master MMD-MA 2017/2018 Generalities TD 1: Hilbert Spaces and Applications Exercise 1 (Generalized Parallelogram law). Let (H,, ) be a Hilbert space.
More informationHamilton-Jacobi Equation and Optimality conditions for control systems governed by semilinear parabolic equations with boundary control
Hamilton-Jacobi Equation and Optimality conditions for control systems governed by semilinear parabolic equations with boundary control Marc Quincampoix and Catalin Trenchea Laboratoire de Mathématiques,
More informationFUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 33, 2009, 335 353 FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES Yılmaz Yılmaz Abstract. Our main interest in this
More informationMath Ordinary Differential Equations
Math 411 - Ordinary Differential Equations Review Notes - 1 1 - Basic Theory A first order ordinary differential equation has the form x = f(t, x) (11) Here x = dx/dt Given an initial data x(t 0 ) = x
More informationLIFE SPAN OF BLOW-UP SOLUTIONS FOR HIGHER-ORDER SEMILINEAR PARABOLIC EQUATIONS
Electronic Journal of Differential Equations, Vol. 21(21), No. 17, pp. 1 9. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu LIFE SPAN OF BLOW-UP
More informationVariable Exponents Spaces and Their Applications to Fluid Dynamics
Variable Exponents Spaces and Their Applications to Fluid Dynamics Martin Rapp TU Darmstadt November 7, 213 Martin Rapp (TU Darmstadt) Variable Exponent Spaces November 7, 213 1 / 14 Overview 1 Variable
More informationMATH 220: MIDTERM OCTOBER 29, 2015
MATH 22: MIDTERM OCTOBER 29, 25 This is a closed book, closed notes, no electronic devices exam. There are 5 problems. Solve Problems -3 and one of Problems 4 and 5. Write your solutions to problems and
More informationIntroduction to Exact Controllability and Observability; Variational Approach and Hilbert Uniqueness Method 1
Introduction to Exact Controllability and Observability; Variational Approach and Hilbert Uniqueness Method 1 A. K. Nandakumaran 2 We plan to discuss the following topics in these lectures 1. A brief introduction
More informationFEEDBACK STABILIZATION OF TWO DIMENSIONAL MAGNETOHYDRODYNAMIC EQUATIONS *
ANALELE ŞTIINŢIFICE ALE UNIVERSITĂŢII AL.I. CUZA DIN IAŞI (S.N.) MATEMATICĂ, Tomul LV, 2009, f.1 FEEDBACK STABILIZATION OF TWO DIMENSIONAL MAGNETOHYDRODYNAMIC EQUATIONS * BY CĂTĂLIN-GEORGE LEFTER Abstract.
More informationSUPERCONVERGENCE PROPERTIES FOR OPTIMAL CONTROL PROBLEMS DISCRETIZED BY PIECEWISE LINEAR AND DISCONTINUOUS FUNCTIONS
SUPERCONVERGENCE PROPERTIES FOR OPTIMAL CONTROL PROBLEMS DISCRETIZED BY PIECEWISE LINEAR AND DISCONTINUOUS FUNCTIONS A. RÖSCH AND R. SIMON Abstract. An optimal control problem for an elliptic equation
More informationControllability of the linear 1D wave equation with inner moving for
Controllability of the linear D wave equation with inner moving forces ARNAUD MÜNCH Université Blaise Pascal - Clermont-Ferrand - France Toulouse, May 7, 4 joint work with CARLOS CASTRO (Madrid) and NICOLAE
More informationOn Smoothness of Suitable Weak Solutions to the Navier-Stokes Equations
On Smoothness of Suitable Weak Solutions to the Navier-Stokes Equations G. Seregin, V. Šverák Dedicated to Vsevolod Alexeevich Solonnikov Abstract We prove two sufficient conditions for local regularity
More informationAn optimal control problem for a parabolic PDE with control constraints
An optimal control problem for a parabolic PDE with control constraints PhD Summer School on Reduced Basis Methods, Ulm Martin Gubisch University of Konstanz October 7 Martin Gubisch (University of Konstanz)
More informationInégalités spectrales pour le contrôle des EDP linéaires : groupe de Schrödinger contre semigroupe de la chaleur.
Inégalités spectrales pour le contrôle des EDP linéaires : groupe de Schrödinger contre semigroupe de la chaleur. Luc Miller Université Paris Ouest Nanterre La Défense, France Pde s, Dispersion, Scattering
More informationControl, Stabilization and Numerics for Partial Differential Equations
Paris-Sud, Orsay, December 06 Control, Stabilization and Numerics for Partial Differential Equations Enrique Zuazua Universidad Autónoma 28049 Madrid, Spain enrique.zuazua@uam.es http://www.uam.es/enrique.zuazua
More informationChapter 4 Euclid Space
Chapter 4 Euclid Space Inner Product Spaces Definition.. Let V be a real vector space over IR. A real inner product on V is a real valued function on V V, denoted by (, ), which satisfies () (x, y) = (y,
More informationGLOBAL CARLEMAN INEQUALITIES FOR PARABOLIC SYSTEMS AND APPLICATIONS TO CONTROLLABILITY
SIAM J. CONTROL OPTIM. Vol. 45, No. 4, pp. 1395 1446 c 2006 Society for Industrial and Applied Mathematics GLOBAL CARLEMAN INEUALITIES FOR PARABOLIC SYSTEMS AND APPLICATIONS TO CONTROLLABILITY ENRIUE FERNÁNDEZ-CARA
More informationOn the uniform Opial property
We consider the noncommutative modular function spaces of measurable operators affiliated with a semifinite von Neumann algebra and show that they are complete with respect to their modular. We prove that
More informationMATH 425, FINAL EXAM SOLUTIONS
MATH 425, FINAL EXAM SOLUTIONS Each exercise is worth 50 points. Exercise. a The operator L is defined on smooth functions of (x, y by: Is the operator L linear? Prove your answer. L (u := arctan(xy u
More informationSTOKES PROBLEM WITH SEVERAL TYPES OF BOUNDARY CONDITIONS IN AN EXTERIOR DOMAIN
Electronic Journal of Differential Equations, Vol. 2013 2013, No. 196, pp. 1 28. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu STOKES PROBLEM
More informationApplications of the periodic unfolding method to multi-scale problems
Applications of the periodic unfolding method to multi-scale problems Doina Cioranescu Université Paris VI Santiago de Compostela December 14, 2009 Periodic unfolding method and multi-scale problems 1/56
More informationBRUNN MINKOWSKI AND ISOPERIMETRIC INEQUALITY IN THE HEISENBERG GROUP
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 23, 99 19 BRUNN MINKOWSKI AND ISOPERIMETRIC INEQUALITY IN THE HEISENBERG GROUP Roberto Monti Universität Bern, Mathematisches Institut Sidlerstrasse
More informationFormulation of the problem
TOPICAL PROBLEMS OF FLUID MECHANICS DOI: https://doi.org/.43/tpfm.27. NOTE ON THE PROBLEM OF DISSIPATIVE MEASURE-VALUED SOLUTIONS TO THE COMPRESSIBLE NON-NEWTONIAN SYSTEM H. Al Baba, 2, M. Caggio, B. Ducomet
More informationy(x,t;τ,v) 2 dxdt, (1.2) 2
A LOCAL RESULT ON INSENSITIZING CONTROLS FOR A SEMILINEAR HEAT EUATION WITH NONLINEAR BOUNDARY FOURIER CONDITIONS OLIVIER BODART, MANUEL GONZÁLEZ-BURGOS, AND ROSARIO PÉREZ-GARCÍA Abstract. In this paper
More informationNULL CONTROLLABILITY FOR LINEAR PARABOLIC CASCADE SYSTEMS WITH INTERIOR DEGENERACY
Electronic Journal of Differential Equations, Vol. 16 (16), No. 5, pp. 1. ISSN: 17-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu NULL CONTROLLABILITY FOR LINEAR PARABOLIC CASCADE
More informationControl of Interface Evolution in Multi-Phase Fluid Flows
Control of Interface Evolution in Multi-Phase Fluid Flows Markus Klein Department of Mathematics University of Tübingen Workshop on Numerical Methods for Optimal Control and Inverse Problems Garching,
More informationMidterm for Introduction to Numerical Analysis I, AMSC/CMSC 466, on 10/29/2015
Midterm for Introduction to Numerical Analysis I, AMSC/CMSC 466, on 10/29/2015 The test lasts 1 hour and 15 minutes. No documents are allowed. The use of a calculator, cell phone or other equivalent electronic
More information2012 NCTS Workshop on Dynamical Systems
Barbara Gentz gentz@math.uni-bielefeld.de http://www.math.uni-bielefeld.de/ gentz 2012 NCTS Workshop on Dynamical Systems National Center for Theoretical Sciences, National Tsing-Hua University Hsinchu,
More informationRemarks on global controllability for the Burgers equation with two control forces
Ann. I. H. Poincaré AN 4 7) 897 96 www.elsevier.com/locate/anihpc Remarks on global controllability for the Burgers equation with two control forces S. Guerrero a,,1, O.Yu. Imanuvilov b, a Laboratoire
More informationEXISTENCE OF STRONG SOLUTIONS OF FULLY NONLINEAR ELLIPTIC EQUATIONS
EXISTENCE OF STRONG SOLUTIONS OF FULLY NONLINEAR ELLIPTIC EQUATIONS Adriana Buică Department of Applied Mathematics Babeş-Bolyai University of Cluj-Napoca, 1 Kogalniceanu str., RO-3400 Romania abuica@math.ubbcluj.ro
More informationHeat equations with singular potentials: Hardy & Carleman inequalities, well-posedness & control
Outline Heat equations with singular potentials: Hardy & Carleman inequalities, well-posedness & control IMDEA-Matemáticas & Universidad Autónoma de Madrid Spain enrique.zuazua@uam.es Analysis and control
More informationNumerical control and inverse problems and Carleman estimates
Numerical control and inverse problems and Carleman estimates Enrique FERNÁNDEZ-CARA Dpto. E.D.A.N. - Univ. of Sevilla from some joint works with A. MÜNCH Lab. Mathématiques, Univ. Blaise Pascal, C-F 2,
More informationObservability and measurable sets
Observability and measurable sets Luis Escauriaza UPV/EHU Luis Escauriaza (UPV/EHU) Observability and measurable sets 1 / 41 Overview Interior: Given T > 0 and D Ω (0, T ), to find N = N(Ω, D, T ) > 0
More informationWeak Controllability and the New Choice of Actuators
Global Journal of Pure and Applied Mathematics ISSN 973-1768 Volume 14, Number 2 (218), pp 325 33 c Research India Publications http://wwwripublicationcom/gjpamhtm Weak Controllability and the New Choice
More informationOblique derivative problems for elliptic and parabolic equations, Lecture II
of the for elliptic and parabolic equations, Lecture II Iowa State University July 22, 2011 of the 1 2 of the of the As a preliminary step in our further we now look at a special situation for elliptic.
More informationThe goal of this chapter is to study linear systems of ordinary differential equations: dt,..., dx ) T
1 1 Linear Systems The goal of this chapter is to study linear systems of ordinary differential equations: ẋ = Ax, x(0) = x 0, (1) where x R n, A is an n n matrix and ẋ = dx ( dt = dx1 dt,..., dx ) T n.
More informationA Concise Course on Stochastic Partial Differential Equations
A Concise Course on Stochastic Partial Differential Equations Michael Röckner Reference: C. Prevot, M. Röckner: Springer LN in Math. 1905, Berlin (2007) And see the references therein for the original
More informationSébastien Chaumont a a Institut Élie Cartan, Université Henri Poincaré Nancy I, B. P. 239, Vandoeuvre-lès-Nancy Cedex, France. 1.
A strong comparison result for viscosity solutions to Hamilton-Jacobi-Bellman equations with Dirichlet condition on a non-smooth boundary and application to parabolic problems Sébastien Chaumont a a Institut
More informationDecay rates for partially dissipative hyperbolic systems
Outline Decay rates for partially dissipative hyperbolic systems Basque Center for Applied Mathematics Bilbao, Basque Country, Spain zuazua@bcamath.org http://www.bcamath.org/zuazua/ Numerical Methods
More informationA Bang-Bang Principle of Time Optimal Internal Controls of the Heat Equation
arxiv:math/6137v1 [math.oc] 9 Dec 6 A Bang-Bang Principle of Time Optimal Internal Controls of the Heat Equation Gengsheng Wang School of Mathematics and Statistics, Wuhan University, Wuhan, Hubei, 437,
More informationOn some nonlinear parabolic equation involving variable exponents
On some nonlinear parabolic equation involving variable exponents Goro Akagi (Kobe University, Japan) Based on a joint work with Giulio Schimperna (Pavia Univ., Italy) Workshop DIMO-2013 Diffuse Interface
More informationP(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law:
Introduction Functions of bounded variation, usually denoted by BV, have had and have an important role in several problems of calculus of variations. The main features that make BV functions suitable
More informationChapter 2 Distributed Parameter Systems: Controllability, Observability, and Identification
Chapter 2 Distributed Parameter Systems: Controllability, Observability, and Identification 2.1 Mathematical Description We introduce the class of systems to be considered in the framework of this monograph
More information1. Find the solution of the following uncontrolled linear system. 2 α 1 1
Appendix B Revision Problems 1. Find the solution of the following uncontrolled linear system 0 1 1 ẋ = x, x(0) =. 2 3 1 Class test, August 1998 2. Given the linear system described by 2 α 1 1 ẋ = x +
More informationIDENTIFICATION OF THE CLASS OF INITIAL DATA FOR THE INSENSITIZING CONTROL OF THE HEAT EQUATION. Luz de Teresa. Enrique Zuazua
COMMUNICATIONS ON 1.3934/cpaa.29.8.1 PURE AND APPLIED ANALYSIS Volume 8, Number 1, January 29 pp. IDENTIFICATION OF THE CLASS OF INITIAL DATA FOR THE INSENSITIZING CONTROL OF THE HEAT EQUATION Luz de Teresa
More informationOn semilinear elliptic equations with measure data
On semilinear elliptic equations with measure data Andrzej Rozkosz (joint work with T. Klimsiak) Nicolaus Copernicus University (Toruń, Poland) Controlled Deterministic and Stochastic Systems Iasi, July
More informationBackward Stochastic Differential Equations with Infinite Time Horizon
Backward Stochastic Differential Equations with Infinite Time Horizon Holger Metzler PhD advisor: Prof. G. Tessitore Università di Milano-Bicocca Spring School Stochastic Control in Finance Roscoff, March
More information2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.
University of Bergen General Functional Analysis Problems with solutions 6 ) Prove that is unique in any normed space. Solution of ) Let us suppose that there are 2 zeros and 2. Then = + 2 = 2 + = 2. 2)
More informationSingular boundary value problems
Department of Mathematics, Faculty of Science, Palacký University, 17. listopadu 12, 771 46 Olomouc, Czech Republic, e-mail: irena.rachunkova@upol.cz Malá Morávka, May 2012 Overview of our common research
More informationLarge deviations and averaging for systems of slow fast stochastic reaction diffusion equations.
Large deviations and averaging for systems of slow fast stochastic reaction diffusion equations. Wenqing Hu. 1 (Joint work with Michael Salins 2, Konstantinos Spiliopoulos 3.) 1. Department of Mathematics
More informationThe Fattorini-Hautus test
The Fattorini-Hautus test Guillaume Olive Seminar, Shandong University Jinan, March 31 217 Plan Part 1: Background on controllability Part 2: Presentation of the Fattorini-Hautus test Part 3: Controllability
More informationSZEGÖ ASYMPTOTICS OF EXTREMAL POLYNOMIALS ON THE SEGMENT [ 1, +1]: THE CASE OF A MEASURE WITH FINITE DISCRETE PART
Georgian Mathematical Journal Volume 4 (27), Number 4, 673 68 SZEGÖ ASYMPOICS OF EXREMAL POLYNOMIALS ON HE SEGMEN [, +]: HE CASE OF A MEASURE WIH FINIE DISCREE PAR RABAH KHALDI Abstract. he strong asymptotics
More informationMATH 583A REVIEW SESSION #1
MATH 583A REVIEW SESSION #1 BOJAN DURICKOVIC 1. Vector Spaces Very quick review of the basic linear algebra concepts (see any linear algebra textbook): (finite dimensional) vector space (or linear space),
More information