Some recent results on controllability of coupled parabolic systems: Towards a Kalman condition

Similar documents
New phenomena for the null controllability of parabolic systems: Minim

Controllability results for cascade systems of m coupled parabolic PDEs by one control force

A quantitative Fattorini-Hautus test: the minimal null control time problem in the parabolic setting

Contrôlabilité de quelques systèmes gouvernés par des equations paraboliques.

Null-controllability of the heat equation in unbounded domains

Local null controllability of the N-dimensional Navier-Stokes system with N-1 scalar controls in an arbitrary control domain

Switching, sparse and averaged control

CARLEMAN ESTIMATE AND NULL CONTROLLABILITY OF A CASCADE DEGENERATE PARABOLIC SYSTEM WITH GENERAL CONVECTION TERMS

Insensitizing controls for the Boussinesq system with no control on the temperature equation

Controllability of linear PDEs (I): The wave equation

A Bang-Bang Principle of Time Optimal Internal Controls of the Heat Equation

c 2007 Society for Industrial and Applied Mathematics

1 Introduction. Controllability and observability

Stability of an abstract wave equation with delay and a Kelvin Voigt damping

On the boundary control of a parabolic system coupling KS-KdV and Heat equations

Control, Stabilization and Numerics for Partial Differential Equations

Exact controllability of the superlinear heat equation

The heat equation. Paris-Sud, Orsay, December 06

IDENTIFICATION OF THE CLASS OF INITIAL DATA FOR THE INSENSITIZING CONTROL OF THE HEAT EQUATION. Luz de Teresa. Enrique Zuazua

Controllability of the linear 1D wave equation with inner moving for

Heat equations with singular potentials: Hardy & Carleman inequalities, well-posedness & control

Math 322. Spring 2015 Review Problems for Midterm 2

x 3y 2z = 6 1.2) 2x 4y 3z = 8 3x + 6y + 8z = 5 x + 3y 2z + 5t = 4 1.5) 2x + 8y z + 9t = 9 3x + 5y 12z + 17t = 7

Numerical control and inverse problems and Carleman estimates

ROBUST NULL CONTROLLABILITY FOR HEAT EQUATIONS WITH UNKNOWN SWITCHING CONTROL MODE

1 Last time: least-squares problems

Robust Stackelberg controllability for a heat equation Recent Advances in PDEs: Analysis, Numerics and Control

Global Carleman inequalities and theoretical and numerical control results for systems governed by PDEs

arxiv: v1 [math.ap] 11 Jun 2007

Math Ordinary Differential Equations

The Fattorini-Hautus test

Partial null controllability of parabolic linear systems

Controllability to trajectories for some parabolic systems of three and two equations by one control force

Single input controllability of a simplified fluid-structure interaction model

Controllability of parabolic PDES : old and new

Math 1060 Linear Algebra Homework Exercises 1 1. Find the complete solutions (if any!) to each of the following systems of simultaneous equations:

Some new results related to the null controllability of the 1 d heat equation

1. Find the solution of the following uncontrolled linear system. 2 α 1 1

Hardy inequalities, heat kernels and wave propagation

Observability and measurable sets

arxiv: v1 [math.oc] 23 Aug 2017

On the bang-bang property of time optimal controls for infinite dimensional linear systems

GLOBAL CARLEMAN INEQUALITIES FOR PARABOLIC SYSTEMS AND APPLICATIONS TO CONTROLLABILITY

arxiv: v2 [math.ap] 7 Jan 2019

y(x,t;τ,v) 2 dxdt, (1.2) 2

Minimal time issues for the observability of Grushin-type equations

Key words. Controllability, Parabolic systems, Carleman estimates, Fictitious control method.

Linear Differential Equations. Problems

Nonlinear stabilization via a linear observability

Linear Algebra Review (Course Notes for Math 308H - Spring 2016)

Applied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.

REAL ANALYSIS II HOMEWORK 3. Conway, Page 49

Jordan normal form notes (version date: 11/21/07)

Conservative Control Systems Described by the Schrödinger Equation

Carleman estimates for the Euler Bernoulli plate operator

The Dirichlet problem for non-divergence parabolic equations with discontinuous in time coefficients in a wedge

Memoirs on Differential Equations and Mathematical Physics

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

Announcements: Today: RL, LC and RLC circuits and some maths

Weak Controllability and the New Choice of Actuators

Lecture Notes on PDEs

APPROXIMATE CONTROLLABILITY OF DISTRIBUTED SYSTEMS BY DISTRIBUTED CONTROLLERS

Optimal shape and position of the support for the internal exact control of a string

The Controllability of Systems Governed by Parabolic Differential Equations

Class Meeting # 1: Introduction to PDEs

NULL CONTROLLABILITY OF A THERMOELASTIC PLATE

NULL-CONTROLLABILITY OF SOME SYSTEMS OF PARABOLIC TYPE BY ONE CONTROL FORCE

ACM/CMS 107 Linear Analysis & Applications Fall 2016 Assignment 4: Linear ODEs and Control Theory Due: 5th December 2016

LEGENDRE POLYNOMIALS AND APPLICATIONS. We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates.

1. General Vector Spaces

THE HOT SPOTS CONJECTURE FOR NEARLY CIRCULAR PLANAR CONVEX DOMAINS

Stability, Pole Placement, Observers and Stabilization

Diffusion on the half-line. The Dirichlet problem

Pierre Lissy. 19 mars 2015

A TWO PARAMETERS AMBROSETTI PRODI PROBLEM*

for all subintervals I J. If the same is true for the dyadic subintervals I D J only, we will write ϕ BMO d (J). In fact, the following is true

CONTROLLABILITY OF FAST DIFFUSION COUPLED PARABOLIC SYSTEMS

Where is matrix multiplication locally open?

j=1 u 1jv 1j. 1/ 2 Lemma 1. An orthogonal set of vectors must be linearly independent.

An abstract bang-bang principle and time-optimal boundary control of the heat equation 1

Stabilization of Heat Equation

Wave type spectrum of the Gurtin-Pipkin equation of the second order

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Local null controllability of a fluid-solid interaction problem in dimension 3

Averaged control and observation of parameter-depending wave equations

On the reachable set for the one-dimensional heat equation

Elements of linear algebra

Generalized Eigenvectors and Jordan Form

Math 46, Applied Math (Spring 2008): Final

Sign the pledge. On my honor, I have neither given nor received unauthorized aid on this Exam : 11. a b c d e. 1. a b c d e. 2.

Infinite dimensional controllability

Energy method for wave equations

Problem set 3: Solutions Math 207B, Winter Suppose that u(x) is a non-zero solution of the eigenvalue problem. (u ) 2 dx, u 2 dx.

Exercise Solutions to Functional Analysis

Control and Observation for Stochastic Partial Differential Equations

Asymptotic behavior of infinity harmonic functions near an isolated singularity

The L p -dissipativity of first order partial differential operators

Decay rates for partially dissipative hyperbolic systems

Maxima and Minima. (a, b) of R if

Lecture No 1 Introduction to Diffusion equations The heat equat

Transcription:

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 scalar problems. 2 Give necessary and sufficient conditions (Kalman condition) which characterize the controllability properties of these systems. We will only deal with Simple" Parabolic Systems: Coupling Matrices of Constant Coefficients.

Contents 1 The parabolic scalar case: The heat equation 2 Finite-dimensional systems 3 Two simple examples Distributed null controllability of a linear reaction-diffusion system Boundary null controllability of a linear reaction-diffusion system 4 The Kalman condition for a class of parabolic systems. Distributed controls 5 The Kalman condition for a class of parabolic systems. Boundary controls

1. The parabolic scalar case: The heat equation Let Ω R N be a bounded domain, N 1, with boundary Ω of class C 2. Let ω Ω be an open subset, γ Ω a relative open subset and let us fix T > 0.

1. The parabolic scalar case: The heat equation Let Ω R N be a bounded domain, N 1, with boundary Ω of class C 2. Let ω Ω be an open subset, γ Ω a relative open subset and let us fix T > 0. We consider the linear problems for the heat equation: (1) t y y = v1 ω in Q = Ω (0, T), y = 0 on Σ = Ω (0, T), y(, 0) = y 0 in Ω, (2) { t y y = 0 in Q, y = v1 γ on Σ, y(, 0) = y 0 in Ω.

1. The parabolic scalar case: The heat equation Let Ω R N be a bounded domain, N 1, with boundary Ω of class C 2. Let ω Ω be an open subset, γ Ω a relative open subset and let us fix T > 0. We consider the linear problems for the heat equation: (1) t y y = v1 ω in Q = Ω (0, T), y = 0 on Σ = Ω (0, T), y(, 0) = y 0 in Ω, (2) { t y y = 0 in Q, y = v1 γ on Σ, y(, 0) = y 0 in Ω. In (1) and (2), 1 ω and 1 γ represent resp. the characteristic function of the sets ω and γ, y(x, t) is the state, y 0 is the initial datum and is given in an appropriate space, and v is the control function (which is localized in ω -distributed control- or in γ -boundary control-).

1. The parabolic scalar case: The heat equation Theorem (Distributed Controllability Results) Fix ω Ω and T > 0. Then, 1 System (1) is approximately controllable at time T, i.e., for any ε > 0 and y 0, y d L 2 (Ω) there is v L 2 (Q) s.t. the solution y to (1) satisfies y(, T) y d L 2 (Ω) ε. 2 System (1) is null controllable at time T, i.e., for any y 0 L 2 (Ω) there is v L 2 (Q) s.t. the solution y to (1) satisfies y(, T) 0 in Ω.

1. The parabolic scalar case: The heat equation Theorem (Distributed Controllability Results) Fix ω Ω and T > 0. Then, 1 System (1) is approximately controllable at time T, i.e., for any ε > 0 and y 0, y d L 2 (Ω) there is v L 2 (Q) s.t. the solution y to (1) satisfies y(, T) y d L 2 (Ω) ε. 2 System (1) is null controllable at time T, i.e., for any y 0 L 2 (Ω) there is v L 2 (Q) s.t. the solution y to (1) satisfies y(, T) 0 in Ω. Remark System (1) is null controllable at time T if and only if system (1) is exactly controllable to the trajectories at time T: for every trajectory y of (1) (a solution to (1) associated to y 0 L2 (Ω)) there exists v L 2 (Q) such that y(, T) y (, T) in Ω.

1. The parabolic scalar case: The heat equation Adjoint Problem: Let us fix ϕ 0 L 2 (Ω) and consider the adjoint problem (3) { t ϕ + ϕ = 0 in Q, ϕ = 0 on Σ, ϕ(t) = ϕ 0 in Ω.

1. The parabolic scalar case: The heat equation Adjoint Problem: Let us fix ϕ 0 L 2 (Ω) and consider the adjoint problem (3) { t ϕ + ϕ = 0 in Q, ϕ = 0 on Σ, ϕ(t) = ϕ 0 in Ω. It is well known: Theorem System (1) is exactly controllable to trajectories at time T if and only if there exists C > 0 s.t. (observability inequality) ϕ(0) 2 L 2 (Ω) C ϕ(x, t) 2 dx dt, ω (0,T) holds for every solution ϕ to the adjoint problem (3) associated to ϕ 0 L 2 (Ω).

1. The parabolic scalar case: The heat equation FOUR IMPORTANT REFERENCES 1 H.O. FATTORINI, D.L. RUSSELL, Exact controllability theorems for linear parabolic equations in one space dimension, Arch. Rational Mech. Anal. 43 (1971), 272 292. 2 G. LEBEAU, L. ROBBIANO, Contrôle exact de l équation de la chaleur, Comm. P.D.E. 20 (1995), no. 1-2, 335 356. 3 O. YU. IMANUVILOV, Controllability of parabolic equations, (Russian) Mat. Sb. 186 (1995), no. 6, 109 132; translation in Sb. Math. 186 (1995), no. 6, 879 900. 4 A. FURSIKOV, O. YU. IMANUVILOV, Controllability of Evolution Equations, Lecture Notes Series 34, Seoul National University, Research Institute of Mathematics, Global Analysis Research Center, Seoul, 1996.

1. The parabolic scalar case: The heat equation Boundary Controllability Result: Theorem Let γ Ω and T > 0 be given. Then, for any y 0 H 1 (Ω) there exists v L 2 (Σ) s.t. the solution y to (2) satisfies y(, T) 0 in Ω. Proof: It is a consequence of the distributed controllability result.

1. The parabolic scalar case: The heat equation Boundary Controllability Result: Theorem Let γ Ω and T > 0 be given. Then, for any y 0 H 1 (Ω) there exists v L 2 (Σ) s.t. the solution y to (2) satisfies y(, T) 0 in Ω. Proof: It is a consequence of the distributed controllability result. Important: Distributed controllability result for system (1) is equivalent to the boundary controllability result for system (2).

1. The parabolic scalar case: The heat equation Boundary Controllability Result: Theorem System (2) is exactly controllable to trajectories at time T if and only if there exists C > 0 s.t. (observability inequality) ϕ(0) 2 H 1 0 (Ω) C γ (0,T) ϕ 2 (x, t) n, holds for every solution ϕ to the adjoint problem (3) associated to ϕ 0 H0 1 (Ω) (n = n(x) is the outward normal unit vector at x Ω).

1. The parabolic scalar case: The heat equation Boundary Controllability Result: Theorem System (2) is exactly controllable to trajectories at time T if and only if there exists C > 0 s.t. (observability inequality) ϕ(0) 2 H 1 0 (Ω) C γ (0,T) ϕ 2 (x, t) n, holds for every solution ϕ to the adjoint problem (3) associated to ϕ 0 H0 1 (Ω) (n = n(x) is the outward normal unit vector at x Ω). Summarizing: System (1) and system (2) are approximately controllable and exactly controllable to trajectories at time T. The controllability properties of both systems are equivalent.

2. Finite-dimensional systems Let us consider the autonomous linear system (4) y = Ay + Bu in [0, T], y(0) = y 0, where A L(C n ) and B L(C m, C n ) are constant matrices, y 0 C n and u L 2 (0, T; C m ) is the control. Problem: Given y 0, y d R n, is there a control u L 2 (0, T; R m ) such that the solution y to the problem satisfies y(t) = y d?

2. Finite-dimensional systems Let us consider the autonomous linear system (4) y = Ay + Bu in [0, T], y(0) = y 0, where A L(C n ) and B L(C m, C n ) are constant matrices, y 0 C n and u L 2 (0, T; C m ) is the control. Problem: Given y 0, y d R n, is there a control u L 2 (0, T; R m ) such that the solution y to the problem satisfies Let us define (controllability matrix) y(t) = y d? [A B] = [B AB A 2 B A n 1 B] L(C nm ; C n ).

2. Finite-dimensional systems The following classical result can be found in R. Kalman, Y.-Ch. Ho, K. Narendra, Controllability of linear dynamical systems, 1963 and gives a complete answer to the problem of controllability of finite dimensional autonomous linear systems: Theorem Under the previous assumptions, the following conditions are equivalent 1 System (4) is exactly controllable at time T, for every T > 0. 2 There exists T > 0 such that system (4) is exactly controllable at time T. 3 rank [A B] = n (Kalman rank condition). 4 ker[a B] = {0}.

2. Finite-dimensional systems Goal We have a complete characterization of the controllability results for finite-dimensional linear differential systems (a Kalman condition). Is it possible to obtain similar results for PDE systems? We will focus on coupled linear parabolic systems.

2. Finite-dimensional systems What are the possible generalizations to Systems of Parabolic Equations?

3. Two simple examples 3.1 Distributed null controllability of a linear reaction-diffusion system Let us consider the 2 2 linear reaction-diffusion system ( ) ( ) a1,1 a y (5) t D y = 1,2 1 y + v1 a 2,1 a 2,2 0 ω in Q, y = 0 on Σ, y(, 0) = y 0 in Ω. Here Ω, ω and T are as before, y 0 L 2 (Ω; R 2 ) and ( ) ( d1 0 a1,1 a D =, d 0 d 1, d 2 > 0 (A = 1,2 2 a 2,1 a 2,2 ) ( 1, B = 0 ) ).

3. Two simple examples 3.1 Distributed null controllability of a linear reaction-diffusion system Let us consider the 2 2 linear reaction-diffusion system ( ) ( ) a1,1 a y (5) t D y = 1,2 1 y + v1 a 2,1 a 2,2 0 ω in Q, y = 0 on Σ, y(, 0) = y 0 in Ω. Here Ω, ω and T are as before, y 0 L 2 (Ω; R 2 ) and ( ) ( d1 0 a1,1 a D =, d 0 d 1, d 2 > 0 (A = 1,2 2 a 2,1 a 2,2 One has ) ( 1, B = 0 Theorem System (5) is exactly controllable to trajectories at time T if and only if det [A B] 0 a 2,1 0. ) ).

3. Two simple examples 3.1 Distributed null controllability of a linear reaction-diffusion system Proof: = : If a 2,1 = 0, then y 2 is independent of v.

3. Two simple examples 3.1 Distributed null controllability of a linear reaction-diffusion system Proof: = : If a 2,1 = 0, then y 2 is independent of v. = : The controllability result for system (5) is equivalent to the observability inequality: C > 0 such that ϕ 1 (, 0) 2 L + ϕ 2 2 (, 0) 2 L C ϕ 2 1 (x, t) 2 dx dt, ω (0,T) where ϕ is the solution associated to ϕ 0 L 2 (Ω; R 2 ) of the adjoint problem: (6) { ϕt D ϕ = A ϕ in Q, ϕ = 0 on Σ, ϕ(, T) = ϕ 0 in Ω. It is a consequence of well known global Carleman estimates for parabolic equations.

3. Two simple examples 3.1 Distributed null controllability of a linear reaction-diffusion system Lemma There exist a positive regular function, α 0, and two positive constants C 0 and σ 0 (only depending on Ω and ω) s.t. I(φ) e 2sα [sρ(t)] 1 ( φ t 2 + φ 2) Q + e 2sα [sρ(t)] φ 2 + e 2sα [sρ(t)] 3 φ 2 Q Q ( ) C 0 e 2sα [sρ(t)] 3 φ 2 + e 2sα φ t ± φ 2, ω (0,T) s s 0 = σ 0 (Ω, ω)(t + T 2 ) and φ L 2 (0, T; H 1 0 (Ω)) s.t. φ t ± φ L 2 (Q). The functions ρ(t) and α = α(x, t) are given by ρ(t) = [t(t t)] 1, α(x, t) = α 0 (x)/t(t t). Q

3. Two simple examples 3.1 Distributed null controllability of a linear reaction-diffusion system Coming back to the adjoint problem for system (6), if we apply to φ = ϕ 1 and φ = ϕ 2 the previous inequality in ω 0 ω. After some computations we get I(ϕ 1 ) + I(ϕ 2 ) C 1 s 3 e 2sα [t(t t)] 3 ( ϕ 1 2 + ϕ 2 2), s s 1 = σ 1 (Ω, ω 0 )(T + T 2 ). ω 0 (0,T)

3. Two simple examples 3.1 Distributed null controllability of a linear reaction-diffusion system Coming back to the adjoint problem for system (6), if we apply to φ = ϕ 1 and φ = ϕ 2 the previous inequality in ω 0 ω. After some computations we get I(ϕ 1 ) + I(ϕ 2 ) C 1 s 3 e 2sα [t(t t)] 3 ( ϕ 1 2 + ϕ 2 2), ω 0 (0,T) s s 1 = σ 1 (Ω, ω 0 )(T + T 2 ). We now use the first equation in (6), a 2,1 ϕ 2 = (ϕ 1,t + ϕ 1 + a 1,1 ϕ 1 ), to prove (ε > 0): s 3 e 2sα [t(t t)] 3 ϕ 2 2 εi(ϕ 2 ) ω 0 (0,T) s s 1 = σ 1 (Ω, ω 0 )(T + T 2 ). + C 2 ε s7 ω (0,T) e 2sα [t(t t)] 7 ϕ 1 2.

3. Two simple examples 3.1 Distributed null controllability of a linear reaction-diffusion system From the two previous inequalities (global Carleman estimate) I(ϕ 1 ) + I(ϕ 2 ) C 2 s 7 ω (0,T) e 2sα [t(t t)] 7 ϕ 1 2, s s 1 = σ 1 (Ω, ω 0 )(T + T 2 ). Combining this inequality and energy estimates for system (6) we deduce the desired observability inequality.

3. Two simple examples 3.1 Distributed null controllability of a linear reaction-diffusion system Remark System (5) is always controllable if we exert a control in each equation (two controls). The controllability result for system (5) is independent of the diffusion matrix D. We will see that the situation is more intricate if in the system a general control vector B R 2 is considered. The same result can be obtained for the approximate controllability at time T. Therefore, approximate and null controllability are equivalent concepts.

3. Two simple examples 3.1 Distributed null controllability of a linear reaction-diffusion system References 1 L. DE TERESA, Insensitizing controls for a semilinear heat equation, Comm. Partial Differential Equations 25 (2000), no. 1 2, 39 72. 2 F. AK, A. BENABDALLAH, C. DUPAIX ET I. KOSTIN, Controllability to the trajectories of phase-field models by one control force, SIAM J. Control Optim. 42 (2003), no. 5, 1661-1689. 3 M. GONZÁLEZ-BURGOS, R. PÉREZ-GARCÍA, Controllability results for some nonlinear coupled parabolic systems by one control force, Asymptot. Anal. 46 (2006), no. 2, 123 162. 4 M. GONZÁLEZ-BURGOS, L. DE TERESA, Controllability results for cascade systems of m coupled parabolic PDEs by one control force, Port. Math. 67 (2010), no. 1, 91 113.

3. Two simple examples 3.2 Boundary null controllability of a linear reaction-diffusion system Let us now consider the boundary controllability problem for the one-dimensional linear reaction-diffusion system: y t Dy xx = Ay in Q = (0, π) (0, T), (7) y x=0 = ( 1 0 y(, 0) = y 0 ) v, y x=1 = 0 on (0, T), in (0, π), with y 0 H 1 (0, π; R 2 ), v L 2 (0, T) is the control and ( ) ( d1 0 0 0 D =, d 0 d 1, d 2 > 0 (d 1 d 2 ), and A = 2 1 0 ). Question Are the controllability properties of system (7) independent of d 1 and d 2??? NO.

3. Two simple examples 3.2 Boundary null controllability of a linear reaction-diffusion system As before, system (7) is null controllable at time T if and only if the observability inequality T ϕ 1 (, 0) 2 H0 1(0,π) + ϕ 2(, 0) 2 H0 1(0,π) C ϕ 1,x (0, t) 2 dt, holds. Again ϕ is the solution associated with ϕ 0 H0 1(0, π; R2 ) of the adjoint problem: ϕ t Dϕ xx = A ϕ in Q, (8) ϕ x=0 = ϕ x=1 = 0 on (0, T), ϕ(, T) = ϕ 0 in (0, π). Let us see that, in general, this inequality fails (even if a 2,1 = 1 0!). 0

3. Two simple examples 3.2 Boundary null controllability of a linear reaction-diffusion system A necessary condition: Proposition Assume that system (7) is null controllable at time T. Then (λ k = k 2 ), d 1 λ k d 2 λ j, k, j 1 ( d 1 /d 2 Q). Proof: By contradiction, assume that d 1 λ k = d 2 λ j for some k, j and take K = max{k, j}. The idea is transforming system (8) into an o.d. system.

3. Two simple examples 3.2 Boundary null controllability of a linear reaction-diffusion system A necessary condition: Proposition Assume that system (7) is null controllable at time T. Then (λ k = k 2 ), d 1 λ k d 2 λ j, k, j 1 ( d 1 /d 2 Q). Proof: By contradiction, assume that d 1 λ k = d 2 λ j for some k, j and take K = max{k, j}. The idea is transforming system (8) into an o.d. system. Let us consider the sequence of eigenvalues and normalized eigenfunctions of xx on (0, π) with homogenous Dirichlet boundary conditions: 2 λ k = k 2, φ k (x) = sin kx, k 1, x (0, π). π Idea: Take ϕ 0 X K = {ϕ 0 = K l=1 a lφ l : a l R 2 } H 1 0 (0, π; R2 ).

3. Two simple examples 3.2 Boundary null controllability of a linear reaction-diffusion system Consider also B K = B. B R 2K, (B = ( 1 0 ) ) and L K = diag ( λ 1 D + A, λ 2 D + A,, λ K D + A ) L(R 2K ). Taking in (8) arbitrary initial data ϕ 0,K = K l=1 a lφ l H 1 0 (0, π; R2 ) where a l R 2, it is not difficult to see that system (8) is equivalent to the o.d. system (9) Z = L KZ on [0, T], Z(0) = Z 0 R 2K. From the observability inequality for system (8) we deduce the unique continuation property for the solutions to (9): B KZ( ) = 0 in (0, T) = Z 0.

3. Two simple examples 3.2 Boundary null controllability of a linear reaction-diffusion system In particular system Y = L K Y + B K v on [0, T], Y(0) = Y 0 R 2K. is exactly controllable at time T. Then rank [L K B K ] = 2K. We deduce that L K cannot have eigenvalues with geometric multiplicity 2 or greater. But θ = d 1 λ k = d 2 λ j is an eigenvalue of L K with two linearly independent eigenvectors V 1, V 2 R 2K given by: ( ) 1 V 1 = (V 1,l ) 1 l K, V 1,k = and V 0 1,l = 0 l k, ( ) V 2 = (V 2,l ) 1 l K, V 2,j = 1 λ j (d 1 d 2 ) 0 and V 2,l = 0 l j.

3. Two simple examples 3.2 Boundary null controllability of a linear reaction-diffusion system The result has been proved in E. FERNÁNDEZ-CARA, M. GONZÁLEZ-BURGOS, L. DE TERESA, Boundary controllability of parabolic coupled equations, J. Funct. Anal. 259 (2010), no. 7, 1720 1758. Remark Again, the system is always null controllable at time T if we exert two controls. In fact, system (7) is approximately controllable at time T d1 /d 2 Q.

4. The Kalman condition for a class of parabolic systems. Distributed controls Let Ω R N be a bounded domain, N 1, with boundary Ω of class C 2. Let ω Ω be an open subset and let us fix T > 0. For n, m N we consider the following n n parabolic system (10) { t y D y = Ay + Bv1 ω in Q, y = 0 on Σ, y(, 0) = y 0 ( ) in Ω, with A L(R n ) and B L(R m ; R n ) are constant matrices y 0 L 2 (Ω; R n ) and D = diag (d 1, d 2,, d n ) L(R n ), (d i > 0, i). v L 2 (Q; R m ) is the control (m components). Remark This problem is well posed: For any y 0 L 2 (Ω; R n ) and v L 2 (Q; R m ), problem (10) has a unique solution y L 2 (0, T; H 1 0 ) C0 ([0, T]; L 2 ).

4. The Kalman condition for a class of parabolic systems. Distributed controls (10) { t y D y = Ay + Bv1 ω in Q, y = 0 on Σ, y(, 0) = y 0 ( ) in Ω. Remark We want to control the whole system (n equations) with m controls. The most interesting case is m < n or even m = 1. Difficulties: 1 In general m < n. 2 D is not the identity matrix.

4. The Kalman condition for a class of parabolic systems. Distributed controls The adjoint problem: (11) { t ϕ = (D + A )ϕ in Q, ϕ = 0 on Σ, ϕ(, T) = ϕ 0 in Ω, where ϕ 0 L 2 (Ω; R n ). Then, the exact controllability to the trajectories of system (10) is equivalent to the existence of C > 0 such that, for every ϕ 0 L 2 (Ω; R n ), the solution ϕ C 0 ([0, T]; L 2 (Ω; R n )) to the adjoint system (11) satisfies the observability inequality: (12) ϕ(, 0) 2 L 2 (Ω) C B ϕ(x, t) 2, ω (0,T)

4. The Kalman condition for a class of parabolic systems. Distributed controls Let us consider {λ k } k 1 the sequence of eigenvalues for with homogenuous Dirichlet boundary conditions and {φ k } k 0 the corresponding normalized eigenfunctions. Theorem (A Necessary Condition) If system (10) is null controllable at time T then (13) rank [ λ k D + A B] = n, k 1. where [ λ k D + A B] = [B ( λ k D + A)B ( λ k D + A) 2 B ( λ k D + A) n 1 B].

4. The Kalman condition for a class of parabolic systems. Distributed controls Let us consider {λ k } k 1 the sequence of eigenvalues for with homogenuous Dirichlet boundary conditions and {φ k } k 0 the corresponding normalized eigenfunctions. Theorem (A Necessary Condition) If system (10) is null controllable at time T then (13) rank [ λ k D + A B] = n, k 1. where [ λ k D + A B] = [B ( λ k D + A)B ( λ k D + A) 2 B ( λ k D + A) n 1 B]. Proof: Reasoning by contradiction: k 1 such that rank [ λ k D + A B] < n. Then the o.d.s. Z = ( λ k D + A )Z in (0, T), is not B -observable at time T.

4. The Kalman condition for a class of parabolic systems. Distributed controls There exists Z 0 R n, Z 0 0, such that the solution Z to the previous system satisfies Z( ) = 0 on (0, T). But ϕ(x, t) = Z(t)φ k (x) is the solution to adjoint problem (11) associated to ϕ 0 (x) = Z 0 φ k and B ϕ(x, t) = 0, (x, t) Ω (0, T). Then, the observability inequality (12) fails and system (10) is not null controllable at time T. Remark Observe that, if condition (13) is not satisfied, then system (10) is neither approximately controllable nor null controllable at time T (for any T > 0) even if ω = Ω.

4. The Kalman condition for a class of parabolic systems. Distributed controls Question: Is condition (13) a sufficient condition for the null controllability of system (10)?

4. The Kalman condition for a class of parabolic systems. Distributed controls Question: Is condition (13) a sufficient condition for the null controllability of system (10)? Let us now introduce the unbounded matrix operator Then, Proposition K = [D + A B] = [B (D + A)B (D + A) n 1 B], { K : D(K) L 2 (Ω; R nm ) L 2 (Ω; R n ), with D(K) := {y L 2 (Ω; R nm ) : Ky L 2 (Ω; R n )}. ker K = {0} if and only if condition (13) holds.

4. The Kalman condition for a class of parabolic systems. Distributed controls Theorem (Kalman condition) System (10) is exactly controllable to trajectories (resp., approximately controllable) at time T if and only if ker K = {0} rank [ λ k D + A B] = n, k 1. Remark One can prove, either there exists k 0 1 such that rank [ λ k D + A B] = n, k k 0 or rank [ λ k D + A B] < n, k 1.

4. The Kalman condition for a class of parabolic systems. Distributed controls Controllability (outside a finite dimensional space) if and only if the algebraic Kalman condition rank [ λ k D + A B] = n is satisfied for one frequency k 1. Remark System (10) can be exactly controlled to the trajectories with one control force (m = 1 and B R n ) even if A 0. Indeed, let us assume that B = (b i ) 1 i n R n. Then, b 1 ( λ k d 1 )b 1 ( λ k d 1 ) n 1 b 1 b 2 ( λ k d 2 )b 2 ( λ k d 2 ) n 1 b 2 [( λ k D + A) B] =...... L(Rn ), b n ( λ k d n )b n ( λ k d n ) n 1 b n and (13) holds if and only if b i 0 for every i and d i are distinct.

4. The Kalman condition for a class of parabolic systems. Distributed controls Idea of the proof: The objective is to prove the observability inequality (12): (12) ϕ(, 0) 2 L 2 (Ω) C B ϕ(x, t) 2. To this end we use two arguments: ω (0,T) Prove a Carleman type observability estimate for a scalar equation of order n in time, Prove a coercivity property for the Kalman operator K.

4. The Kalman condition for a class of parabolic systems. Distributed controls Let us consider ϕ a regular solution of the adjoint system (11) and take Φ = n α i ϕ i, with α i R i : 1 i n. i=1 Then, Φ is a regular solution to the linear scalar equation of order n in time { det (Id t + D + A ) Φ = 0 in Q, j Φ = 0 on Σ, j 1.

4. The Kalman condition for a class of parabolic systems. Distributed controls The key point is to prove a Carleman inequality for the solutions to the previous problem: Theorem Let n, k 1, k 2 N. There exist two constants r 0 and C (only depending on Ω, ω, n, D, A, k 1 and k 2 ) such that k 1 k 2 J (3 4(i + j), i tφ) j C e 2sα [sρ(t)] 3+r 0 Φ 2,, ω (0,T) i=0 j=0 s s 0 = σ 0 (Ω, ω)(t + T 2 ) (see Lemma 6) and Φ solution to the previous problem.

4. The Kalman condition for a class of parabolic systems. Distributed controls From this result and after some operations, one deduces T 0 e 2sM 0 t(t t) [sρ(t)] 3 k K ϕ 2 L 2 (Ω) C e 2sα [sρ(t)] 3+r B ϕ 2 nm ω (0,T) for every s σ 0 ( T + T 2 ). In this inequality, ρ and α are as in Lemma 6, M 0 = max Ω α 0 and r 0 is an integer only depending on n. Remark The previous inequality is a partial observability estimate. It is valid even if the Kalman condition does not hold, i.e., even if ker K {0}.

4. The Kalman condition for a class of parabolic systems. Distributed controls The coercivity property of K: Theorem Assume that ker K = {0} and consider k = (n 1)(2n 1). Then there exists C > 0 such that if z L 2 (Ω) n satisfies K z D( k ) nm, one has z 2 L 2 (Ω) n C k K z 2 L 2 (Ω) nm. So, from the previous inequality we get T e 2sM 0 t(t t) [sρ(t)] 3 ϕ 2 L 2 (Ω) C e 2sα [sρ(t)] 3+r B ϕ 2 nm ω (0,T) 0 and the observability inequality (12): (12) ϕ(, 0) 2 L 2 (Ω) C ω (0,T) B ϕ(x, t) 2.

4. The Kalman condition for a class of parabolic systems. Distributed controls Summarizing 1 We have established a Kalman condition ker K = {0} which characterizes the controllability properties of system (10). 2 The Kalman condition for system (10) ker K = {0} generalizes the algebraic Kalman condition ker[a B] = {0} for o.d.s. 3 This Kalman condition is also equivalent to the approximate controllability of system (10) at time T. Again, approximate and null controllability are equivalent concepts for system (10).

4. The Kalman condition for a class of parabolic systems. Distributed controls A special case: D = Id. It is possible to get better results when D = Id. In this case system (10) is given by { t y y = Ay + Bv1 ω in Q, (14) y = 0 on Σ, y(, 0) = y 0 ( ) in Ω, where again A L(R n ) and B L(R m ; R n ) are constant matrices and y 0 L 2 (Ω; R n ) is given. In this case, ker K = {0} is equivalent to the algebraic Kalman condition rank [A B] = rank [B AB A 2 B A n 1 B] = n. In this case we can obtain a better Carleman inequality for the adjoint system { t ϕ ϕ = A ϕ in Q, (15) ϕ = 0 on Σ, ϕ(, T) = ϕ 0 ( ) in Ω.

4. The Kalman condition for a class of parabolic systems. Distributed controls Theorem There exist a positive function α 0 C 2 (Ω) (only depending on Ω and ω), positive constants C 0 and σ 0 (only depending on Ω, ω, n, m, A and B) and a positive integer l 3 (only depending on n and m) such that, if rank [A B] = n, for every ϕ 0 L 2 (Q; R n ), the solution ϕ to (15) satisfies ( I(ϕ) C 0 s l e 2sα ρ(t) l B ϕ ), 2 ω (0,T) s s 0 = σ 0 ( T + T 2 ). In this inequality, α(x, t), ρ(t) and I(z) are as in Lemma 6.

4. The Kalman condition for a class of parabolic systems. Distributed controls References 1 F. AK, A. BENABDALLAH, C. DUPAIX, M. GONZÁLEZ-BURGOS., A generalization of the Kalman rank condition for time-dependent coupled linear parabolic systems, Differ. Equ. Appl. 1 (2009), no. 3, 139 151. D = I d, A = A(t) and B = B(t). 2 F. AK, A. BENABDALLAH, C. DUPAIX, M. GONZÁLEZ-BURGOS., A Kalman rank condition for the localized distributed controllability of a class of linear parabolic systems, J. Evol. Equ. 9 (2009), no. 2, 267 291. D diagonal matrix, A and B constant matrices.

5. The Kalman condition for a class of parabolic systems. Boundary controls Let us consider the boundary controllability problem: y t = y xx + Ay in Q = (0, π) (0, T), (16) y(0, ) = Bv, y(π, ) = 0 on (0, T), y(, 0) = y 0 in (0, π), where A L(C n ) and B L(C m ; C n ) are two given matrices and y 0 H 1 (0, π; C n ) is the initial datum. In system (16), v L 2 (0, T; C m ) is the control function (to be determined). Simpler problem: One-dimensional case and D = Id. This problem has been studied in the case n = 2: E. FERNÁNDEZ-CARA, M. GONZÁLEZ-BURGOS., L. DE TERESA, Boundary controllability of parabolic coupled equations, J. Funct. Anal. 259 (2010), no. 7, 1720 1758.

5. The Kalman condition for a class of parabolic systems. Boundary controls Theorem n = 2, m = 1. Let A L(C 2 ) and B C 2 be given and let us denote by µ 1 and µ 2 the eigenvalues of A. Then (16) is exactly controllable to the trajectories at any time T > 0 if and only if rank [A B] = 2 and Remark (n = 2, m = 1) λ k λ j µ 1 µ 2 k, j N with k j. For the previous boundary controllability problem, one has 1 A complete characterization of the exact controllability to trajectories at time T. 2 Boundary controllability and distributed controllability are not equivalent 3 Approximate controllability null controllability.

5. The Kalman condition for a class of parabolic systems. Boundary controls What does happen if n > 2? We consider again {λ k } k 1 the sequence of eigenvalues for xx in (0, π) with homogenuous Dirichlet boundary conditions and {φ k } k 0 the corresponding normalized eigenfunctions: λ k = k 2, φ k (x) = 2 sin kx, π k 1, x (0, π).

5. The Kalman condition for a class of parabolic systems. Boundary controls Notation For k 1, we introduce L k = λ k I d + A L(C n ) and the matrices L B 1 0 0 B k =. L(C m ; C nk 0 L 2 0 ), L k =..... L(Cnk ), B 0 0 L k and let us write the Kalman matrix associated with the pair (L k, B k ): K k = [L k B k ] = [B k L k B k L 2 kb k L nk 1 k B k ] L(C mnk, C nk ).

5. The Kalman condition for a class of parabolic systems. Boundary controls Theorem Let us fix A L(C n ) and B L(C m ; C n ). Then, system (16) is exactly controllable to trajectories at time T if and only if (17) rank K k = nk, k 1. Remark 1 This result gives a complete characterization of the exact controllability to trajectories at time T: Kalman condition. 2 If for k 1 one has rank K k = nk, then rank [A B] = n and system (14) is exactly controllable to trajectories at time T. But rank [A B] = n does not imply condition (17). So boundary controllability and distributed controllability are not equivalent.

5. The Kalman condition for a class of parabolic systems. Boundary controls Remark Condition (17) is also a necessary and sufficient condition for the boundary approximate controllability of system (16). Then Adjoint Problem: (18) Approximate controllability null controllability. ϕ t = ϕ xx + A ϕ in Q, ϕ(0, ) = ϕ(π, ) = 0 ϕ(, T) = ϕ 0 on (0, T), in (0, π), with ϕ 0 H 1 0 (0, π; Cn ). Then, system (16) is exactly controllable to trajectories at time T for a constant C > 0 one has T ϕ(, 0) 2 H0 1(0,π;Cn ) C B ϕ x (0, t) 2 dt. 0

5. The Kalman condition for a class of parabolic systems. Boundary controls Necessary implication. We reason as before: if rank K k < nk, for some k 1, then the o.d.s. Z = L kz on (0, T), Z(T) = Z 0 C nk is not B k -observable on (0, T), i.e., there exists Z 0 0 s.t. B kz(t) = 0 for every t (0, T). From Z 0 it is possible to construct ϕ 0 H0 1(0, π; Cn ) with ϕ 0 0 such that the corresponding solution to the adjoint problem (17) satisfies B ϕ x (0, t) = 0 t (0, T). As a consequence: The unique continuation property and the previous observability inequality for the adjoint problem fail: Neither approximate nor null controllability at any T for system (14).

5. The Kalman condition for a class of parabolic systems. Boundary controls Sufficient implication. For the proof we follow the ideas from H.O. FATTORINI, D.L. RUSSELL, Exact controllability theorems for linear parabolic equations in one space dimension, Arch. Rational Mech. Anal. 43 (1971), 272 292. Two big steps: 1 We reformulate the null controllability problem for system (16) as a vector moment problem. 2 Existence and bounds of a family biorthogonal to appropriate complex matrix exponentials.

5. The Kalman condition for a class of parabolic systems. Boundary controls Sufficient implication. For the proof we follow the ideas from H.O. FATTORINI, D.L. RUSSELL, Exact controllability theorems for linear parabolic equations in one space dimension, Arch. Rational Mech. Anal. 43 (1971), 272 292. Two big steps: 1 We reformulate the null controllability problem for system (16) as a vector moment problem. 2 Existence and bounds of a family biorthogonal to appropriate complex matrix exponentials. Let us fix η 1, an integer, T (0, ] and {Λ k } k 1 C a sequence. Let us recall that the family {ϕ k,j } k 1,0 j η 1 L 2 (0, T; C) is biorthogonal to {t j e Λ kt } k 1,0 j η 1 if one has T 0 t j e Λ kt ϕ l,i(t) dt = δ kl δ ij, (k, j), (l, i) : k, l 1, 0 i, j η 1.

5. The Kalman condition for a class of parabolic systems. Boundary controls Theorem Assume that for two positive constants δ and ρ one has RΛ k δ Λ k, Λ k Λ l ρ k l, k, l 1, 1 Λ k <. k 1 Then, {ϕ k,j } k 1,0 j η 1 biorthogonal to { t j e Λ kt } such that, k 1,0 j η 1 for every ε > 0, there exists C(ε, T) > 0 satisfying ϕ k,j L 2 (0,T;C) C(ε, T)e εrλ k, (k, j) : k 1, 0 j η 1.

5. The Kalman condition for a class of parabolic systems. Boundary controls Reference F. AMMAR-KHODJA, A. BENABDALLAH, M. G.-B., L. DE TERESA, The Kalman condition for the boundary controllability of coupled parabolic systems. Bounds on biorthogonal families to complex matrix exponentials, submitted.