Controllability of linear PDEs (I): The wave equation
|
|
- Dominic Park
- 5 years ago
- Views:
Transcription
1 Controllability of linear PDEs (I): The wave equation M. González-Burgos IMUS, Universidad de Sevilla Doc Course, Course 2, Sevilla, 2018
2 Contents 1 Introduction. Statement of the problem 2 Distributed Approximate Controllability Existence and uniqueness of solution The adjoint problem. Approximate Controllability Holmgren s uniqueness theorem and consequences 3 An abstract exact controllability result. H.U.M. 4 Boundary Exact Controllability A fundamental identity The boundary inverse inequality Boundary exact controllability. H.U.M. 5 Some complementary results
3 1. Introduction. Statement of the problem
4 1. Introduction. Statement of the problem 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. We consider the linear problem for the wave equation (hyperbolic system): tt 2y y = v1 ω in Q = Ω (0, T ), (1) y = 0 on Σ = Ω (0, T ), y(, 0) = y 0, t y(, 0) = y 1 in Ω. In (1) 1 ω represents the characteristic function of the set ω, y(x, t) is the state and v is the control function (which is localized in ω distributed control). 1 2 tt y(x, t) = 2 y t 2 (x, t), (x, t) Q. 2 y(x, t) = N i=1 2 y xi 2 (x, t), (x, t) Q. 3 (y 0, y 1 ) are the initial data and are given in appropriate spaces.
5 1. Introduction. Statement of the problem Remark Physical interpretation: The wave equation is a simplified model for a vibrating string (N = 1), membrane (N = 2), or elastic solid (N = 3). In these physical interpretations y(x, t) represents the displacement in some direction of the point x at time t > 0. Definition 1 We say that system (1) is exactly controllable at time T if y 1 d, y 2 d (in appropriate spaces), a control v s.t. the solution y v to (1) satisfies y v (, T ) = y 1 d, ty v (, T ) = y 2 d in Ω 2 We say that system (1) is null controllable at time T if in the previous definition we can take y 1 d y 2 d = 0. 3 We say that system (1) is approximately controllable at time T if yd 1, y d 2, ε > 0, control v S.T. (y v (, T ), t y v (, T )) (yd 1, y d 2 ) H < ε.
6 1. Introduction. Statement of the problem Remark 1 Due to the finite speed of propagation of the solutions of the wave equation, in order to have a controllability result for system (1), the control time T > 0 must be large enough (if T is short, the action over ω cannot reach points far from ω). 2 Linearity and Reversibility: Null controllability at time T if and only if exact controllability at time T. 3 Infinite dimensional space: Exact controllability at time T = approximate controllability at time T. However, we will see that system (1) can be approximately controllable at time T but not exactly controllable at T. 4 We have to specify the functional setting in which system (1) is well posed. The positive controllability results for this system depend on these function spaces.
7 1. Introduction. Statement of the problem In this session we will also consider the boundary controllability problem for the wave equation : tt 2 y y = 0 in Q = Ω (0, T ), (2) y = v1 γ on Σ = Ω (0, T ), y(, 0) = y 0, t y(, 0) = y 1 in Ω, where γ Ω is an open subset of the boundary. Again, In (1) 1 γ represents the characteristic function of the set γ, y(x, t) is the state and v is the control function (which is localized in γ: boundary control). In the problem (2) we are exerting a control on the system by means of the boundary Dirichlet condition and this control only acts on γ, a part of the boundary. Remark The problem of the existence and uniqueness of solution of system (2) is technically more complex than the case of system (1).
8 2. Distributed Approximate Controllability Existence and uniqueness of solution
9 2. Distributed Approximate Controllability 2.1. Existence and uniqueness of solution First, we deal with the problem of existence and uniqueness of solution for system (1): (1) Theorem 2 tt y y = v1 ω in Q, y = 0 on Σ y(, 0) = y 0, t y(, 0) = y 1 in Ω. Let us assume that Ω is a C 2 bounded domain. Then, for every v L 1 (0, T ; L 2 (Ω)), y 0 H 1 0 (Ω) and y 1 L 2 (Ω) system (1) has a unique solution y v C([0, T ]; H 1 0 (Ω)) C1 ([0, T ]; L 2 (Ω)). Moreover, C > 0 s.t. a max ( y v(t) H 1 + t y v (t) ) C( y 0 + y 1 + v t [0,T ] 0 L 1 (L 2 )). a stands for the norm in L 2 (Ω).
10 2.1. Existence and uniqueness of solution We are going to take U = L 2 (Q) (control space) and H H 1 0 (Ω) L2 (Ω) (state space). Thanks to the previous theorem, for every (y 0, y 1 ) H 1 0 (Ω) L2 (Ω) we can also introduce the reachable state set from (y 0, y 1 ) at time T : R(T ; y 0, y 1 ) = {(y v (T ), t y v (T )) : v L 2 (Q)} H 1 0 (Ω) L2 (Ω). Again, it is a linear variety of H H 1 0 (Ω) L2 (Ω), and System (1) is exactly controllable in H at time T for every (y 0, y 1 ) H 1 0 (Ω) L2 (Ω) one has R(T ; y 0, y 1 ) H 1 0 (Ω) L2 (Ω). System (1) is null controllable in H at time T for every (y 0, y 1 ) H 1 0 (Ω) L2 (Ω) one has (0, 0) R(T ; y 0, y 1 ). System (1) is approximately controllable in H at time T for every (y 0, y 1 ) H 1 0 (Ω) L2 (Ω) one has that R(T ; y 0, y 1 ) is dense in H 1 0 (Ω) L2 (Ω).
11 2. Distributed Approximate Controllability The adjoint problem. Approximate Controllability
12 2.2 The adjoint problem. Approximate Controllability For ϕ 0 L 2 (Ω) and ϕ 1 H 1 (Ω) (final data), let us consider the adjoint problem tt 2 ϕ ϕ = 0 in Q, (3) ϕ = 0 on Σ ϕ(, T ) = ϕ 0, t ϕ(, T ) = ϕ 1 in Ω. One has Theorem Let us assume that Ω is a C 2 bounded domain. Then, for every ϕ 0 L 2 (Ω) and ϕ 1 H 1 (Ω), problem (3) has a unique solution ϕ C([0, T ]; L 2 (Ω)) C 1 ([0, T ]; H 1 (Ω)). Moreover, C > 0 s.t. max ( ϕ(t) + tϕ(t) H 1) C( ϕ 0 + ϕ 1 H 1). t [0,T ] Proof: It is a consequence of Theorem 2 and the transposition method.
13 2.2 The adjoint problem. Approximate Controllability Theorem Let us fix (y 0, y 1 ) H 1 0 (Ω) L2 (Ω), (ϕ 0, ϕ 1 ) L 2 (Ω) H 1 (Ω) and v L 2 (Ω) and let y v and ϕ be the solutions to (1) and (3) associated, resp., to (y 0, y 1 ) and v and (ϕ 0, ϕ 1 ). Then, ( t y v (T ), ϕ 0 ) L 2 (Ω) ϕ 1, y v (T ) (y 1, ϕ(0)) L 2 (Ω) + t ϕ(0), y 0 = vϕ1 ω dx dt. Proof: See J.-L. Lions, Contrôlabilité Exacte, Perturbations et Stabilisation de Systèmes Distribués, Tome 1, Q
14 2.2 The adjoint problem. Approximate Controllability Approximate controllability As in the case of linear o. d. systems, linearity of (1) implies R(T ; y 0, y 1 ) = (Y (T ), t Y (T )) + R(T ; 0, 0), with Y the solution to (1) for v 0. Then, approximate controllability at time T of system (1) is equivalent to the identity R(T ; 0, 0) = H 1 0 (Ω) L2 (Ω), and we can take (y 0, y 1 ) 0, i.e., tt 2y y = v1 ω in Q, (4) y = 0 on Σ y(, 0) = 0, t y(, 0) = 0 in Ω. Let us introduce the operator L T : v L 2 (Q) L T v = ( t y v (T ), y v (T )) L 2 (Ω) H 1 0 (Ω), (y v solution to (4)). From Theorem 2, L T L(L 2 (Q); L 2 (Ω) H 1 0 (Ω)).
15 2.2 The adjoint problem. Approximate Controllability Remark Problem (1) is approximately controllable at time T R(L T ) = L 2 (Ω) H 1 0 (Ω). Let us point out that, in general, R(L T ) R(L T ) (infinite dimensional space). But, R(L T ) = (ker L T ), where L T L(L2 (Ω) H 1 (Ω); L 2 (Q)) is the adjoint operator (which is defined (ϕ 0, ϕ 1 ), L T v = (L T (ϕ 0, ϕ 1 ), v) L 2 (Q), (ϕ 0, ϕ 1 ) L 2 (Ω) H 1 (Ω)). As a consequence of Theorem 4, L T (ϕ 0, ϕ 1 ) = ϕ1 ω L 2 (Q).
16 2.2 The adjoint problem. Approximate Controllability Theorem SUMMARIZING Let us fix T > 0. Then, system (1) is approximately controllable in H 1 0 (Ω) L2 (Ω) at time T the adjoint problem satisfies the property (unique continuation property) If ϕ C([0, T ]; L 2 (Ω)) C 1 ([0, T ]; H 1 (Ω)) is the solution to (3) associated to ϕ 0 L 2 (Ω) and ϕ 1 H 1 (Ω) and ϕ 0 in ω (0, T ), then ϕ 0 ϕ 1 0 (i.e. ϕ 0 in Q). Remark We have obtained the same result than in the case of o.d. systems. But, is the unique continuation property for the problem (3) true?? It depends on Ω, ω and T.
17 2. Distributed Approximate Controllability Holmgren s uniqueness theorem and consequences
18 2.3 Holmgren s uniqueness theorem. Consequences In order to prove Theorem 5 we are going to use a consequence of the Holmgren s uniqueness theorem: Theorem Let P(D) be a differential operator in R k with constant coefficients. Let O 1 and O 2 two convex open sets in R k such that O 1 O 2 and every hyperplane Π which is characteristic with respect to P(D) and satisfies Π O 2 also satisfies Π O 1. Let ϕ D (O 2 ) be a distribution satisfying P(D)ϕ = 0 in D (O 2 ) and ϕ 0 in O 1. Then, ϕ 0 in O 2. For a proof of this result see L. Hörmander, Linear Partial Differential Operators, We are going to apply this result to the wave operator P(D)ϕ = 2 ttϕ ϕ.
19 2.3 Holmgren s uniqueness theorem. Consequences Remark Given the hyperplane Π = {(x, t) R N R : N i=1 a ix i + bt = c}, with a i, b, c R (1 i N), then, Π is characteristic with respect to P(D) N a 2 i = b 2. i=1 For a proof of this result, see M. Renardy, R.C. Rogers, An Introduction to PDE, Now, it is easy to prove,
20 2.3 Holmgren s uniqueness theorem. Consequences Corollary Let us fix z 1, z 2 R N, δ > 0 y τ > 2 z 1 z 2 and let us take O 1 = B(z 1 ; δ) (0, τ), O 2 = B ((1 λ)z 1 + λz 2 ; δ) (λ z 1 z 2, τ λ z 1 z 2 ). λ [0,1] Then, if ϕ D (O 2 ) and satisfies 2 tt ϕ ϕ = 0 in O 2 and ϕ = 0 in O 1, one has ϕ = 0 in O 2. Proof: The characteristic hyperplanes are given by N a i x i + t = c, i=1 N a 2 i = 1. i=1
21 2.3 Holmgren s uniqueness theorem. Consequences Let us introduce the quantity δ(ω, ω) = sup inf δ(x, y), x Ω y ω with δ(x, y) = inf{ γ : γ C([0, 1]; Ω) and γ(0) = x, γ(1) = y}. Then, one has the unique continuation property for the adjoint problem. Theorem Let us assume that T > 2δ(Ω, ω) = T 0 (Ω, ω) and let ϕ C 0 ([0, T ]; L 2 (Ω)) a solution to (3) s.t. Then, ϕ 0 in Q = Ω (0, T ). ϕ 0 in ω (0, T ).
22 2.3 Holmgren s uniqueness theorem. Consequences Proof: Assume Ω is convex: x Ω, z 1 ω and ε > 0 s.t. T > 2 z 1 x, B(z 1 ; ε) ω and O 2 = λ [0,1] B ((1 λ)z 1 + λx; ε) (λ z 1 x, T λ z 1 x ). We can apply Corollary 7 with O 1 = B(z 1 ; ε) (0, T ) (ϕ 0 in O 1 ), deducing ϕ = 0 in O 2. In particular (λ = 1) ϕ = 0 in B(x, ε) ( z 1 x, T z 1 x ). The hypothesis over T gives T /2 ( z 1 x, T z 1 x ) = ϕ(x, T /2) = t ϕ(x, T /2) = 0, for every x Ω. Then, ϕ 0 in Q. Remark Observe that δ(ω, ω) < δ(ω), with δ(ω) = sup x,y Ω δ(x, y). Then, if T > 2δ(Ω) T 1 (Ω), we can apply Theorem 8 for every ω.
23 3. An abstract exact controllability result. H.U.M.
24 3. An abstract exact controllability result. H.U.M. Remark Linearity and Reversibility: System (1) is null controllable at time T if and only if system (1) is exactly controllable at time T. Reformulation of the exact controllability: System (1) is exactly controllable in F at time T (y 0, y 1 ) F there exists a control v L 2 (Q) such that the solution y v to tt 2y y = v1 ω in Q = Ω (0, T ), (5) y = 0 on Σ = Ω (0, T ), y(, T ) = 0, t y(, T ) = 0 in Ω satisfies (y v (0), t y v (0)) = (y 0, y 1 ). We can solve this problem using the so-called Hilbert Uniqueness Method (H.U.M. for short).
25 3. An abstract exact controllability result. H.U.M. Step 1: Let us fix (ϕ 0, ϕ 1 ) L 2 (Ω) H 1 (Ω) and consider tt 2 ϕ ϕ = 0 in Q, (6) ϕ = 0 on Σ ϕ(, 0) = ϕ 0, t ϕ(, 0) = ϕ 1 in Ω, (adjoint problem to (5)). We know this problem has a unique solution (Theorem 3) ϕ C 0 ([0, T ]; L 2 (Ω)) C 1 ([0, T ]; H 1 (Ω)) and, for C > 0, (direct inequality) (7) ϕ L 2 (Q) C( ϕ 0 + ϕ 1 H 1). Step 2: Consider the backward problem tt 2ψ ψ = ϕ1 ω in Q, (8) ψ = 0 on Σ ψ(, T ) = 0, t ψ(, T ) = 0 in Ω
26 3. An abstract exact controllability result. H.U.M. Again this problem has a unique solution (Theorem 2) ψ C([0, T ]; H 1 0 (Ω)) C1 ([0, T ]; L 2 (Ω)). Thus, we can define the operator { Λ(ϕ0, ϕ 1 ) = ( t ψ(0), ψ(0)) L 2 (Ω) H 1 0 (Ω), Remark Λ L(L 2 (Ω) H 1 (Ω); L 2 (Ω) H 1 0 (Ω)) If (y 1, y 0 ) R(Λ), i.e, if Λ(ϕ 0, ϕ 1 ) = (y 1, y 0 ) then, taking v ϕ1 ω with ϕ solution to (6), one has y v ψ (y v and ϕ, resp., the solutions to (5) and (6)) and y v (T ) = t y v (T ) = 0 in Ω. Step 3: If ζ is the solution to (6) for (ζ 0, ζ 1 ) L 2 (Ω) H 1 (Ω), then (Theorem 4) Λ(ϕ 0, ϕ 1 ), (ζ 0, ζ 1 ) = ( t ψ(0), ζ 0 ) ζ 1, ψ(0) = ϕζ1 ω dx dt. Q
27 3. An abstract exact controllability result. H.U.M. Assuming T > T 0 (Ω, ω), then ((ϕ 0, ϕ 1 ), (ζ 0, ζ 1 )) F Q ϕζ1 ω dx dt and ( (ϕ 0, ϕ 1 ) F ϕ 2 dx dt ω (0,T ) ) 1/2 are, resp., a scalar product and a norm in L 2 (Ω) H 1 (Ω), not necessarily equivalent to the usual norm. In fact, (direct inequality (7)) (ϕ 0, ϕ 1 ) F C( ϕ 0 + ϕ 1 H 1). Let F be the completion of L 2 (Ω) H 1 (Ω) with respect the norm F (then, F is a Hilbert space which contains the space L 2 (Ω) H 1 (Ω) as a dense subspace).
28 3. An abstract exact controllability result. H.U.M. Step 4: Conclusion For every (ϕ 0, ϕ 1 ), (ζ 0, ζ 1 ) L 2 (Ω) H 1 (Ω), Λ(ϕ 0, ϕ 1 ), (ζ 0, ζ 1 ) = ((ϕ 0, ϕ 1 ), (ζ 0, ζ 1 )) F. The density implies that the previous equality is valid (ϕ 0, ϕ 1 ), (ζ 0, ζ 1 ) F and Λ : F F is an isomorphism. From Remark 9, if (y 1, y 0 ) F, then we have solved the null controllability problem at time T for system (1). Equivalently, we have solved the exact controllability problem at time T for system (1) in F.
29 3. An abstract exact controllability result. H.U.M. We have proved Theorem Assume that T > T 0 (Ω, ω) and let F be the completion of L 2 (Ω) H 1 (Ω) with respect to the norm F. Then, (y 0, y 1 ) s.t. (y 1, y 0 ) F, there exists v L 2 (Q) s.t. the solution y v to (1) satisfies y v (T ) = 0, t y v (T ) = 0. Remark From the direct inequality (7) we have deduced that L 2 (Ω) H 1 (Ω) F with dense continuous embedding. Then, F L 2 (Ω) H0 1 (Ω) also with dense continuous embedding. F depends on Ω, ω and T.
30 3. An abstract exact controllability result. H.U.M. Remark 1 F is an abstract Hilbert space. It would be very interesting to give an explicit expression of F in terms of known Sobolev spaces. 2 H.U. M. is a constructive method: Let us fix (y 0, y 1 ) s.t. (y 1, y 0 ) F. Then, the previous proof provides us a control v which drives the system to the rest. Indeed, let us consider (ϕ 0, ϕ 1 ) F solution to Λ(ϕ 0, ϕ 1 ) = (y 1, y 0 ) in F. Then, v = ϕ1 ω, with ϕ the solution to (1) solves the problem. Moreover, (ϕ 0, ϕ 1 ) is the solution of the problem Minimize 1 ϕ 2 dx dt (y 1, y 0 ), (ϕ 0, ϕ 1 ) F 2,F ω (0,T ) Subject to (ϕ 0, ϕ 1 ) F.
31 3. An abstract exact controllability result. H.U.M. Remark Let us assume that there is C T > 0 s.t. the inequality (inverse inequality for the adjoint problem) (9) ϕ ϕ 1 2 H C 1 T ϕ 2 dx dt ω (0,T ) holds, with ϕ the solution to (3) associated to (ϕ 0, ϕ 1 ) L 2 (Ω) H 1 (Ω). Then the norm F is equivalent to the usual norm in L 2 (Ω) H 1 (Ω) and F L 2 (Ω) H 1 (Ω) (or equivalently, F L 2 (Ω) H0 1(Ω)). Using the reversibility of problem (3), the inequality (9) is equivalent to the observability inequality for the adjoint problem (10) ϕ(0) 2 + ϕ(0) 2 H C 1 T ϕ 2 dx dt. ω (0,T )
32 4. Boundary Exact Controllability
33 4 Boundary Exact Controllability We go back to the previous boundary controllability problem tt 2 y y = 0 in Q = Ω (0, T ), (2) y = v1 γ on Σ = Ω (0, T ), y(, 0) = y 0, t y(, 0) = y 1 in Ω. Our goal is to prove an exact controllability result for this problem. To this end, let us take U = L 2 (Σ) (control space) and H L 2 (Ω) H 1 (Ω) (state space). We also consider the associated adjoint problem tt 2 ϕ ϕ = 0 in Q, (3) ϕ = 0 on Σ ϕ(, T ) = ϕ 0, t ϕ(, T ) = ϕ 1 in Ω, where (ϕ 0, ϕ 1 ) H 1 0 (Ω) L2 (Ω).
34 4 Boundary Exact Controllability From Theorem 2, ϕ C 0 ([0, T ]; H 1 0 (Ω)) C1 ([0, T ]; L 2 (Ω)) and for a constant C > 0. Remark max ( ϕ(t) H t [0,T ] t ϕ(t) ) C( ϕ 0 H 1 + ϕ 1 ) 0 In this section we will present the method of multipliers which will allow us to prove that system (2) is well posed. Also from this method we will be able to prove the exact controllability result under appropriate assumptions on γ and T.
35 4. Boundary Exact Controllability A fundamental identity
36 4.1 A fundamental identity We consider the non-homogenous wave equation tt 2 θ θ = f in Q = Ω (0, T ), (11) θ = 0 on Σ = Ω (0, T ), θ(, 0) = θ 0, t θ(, 0) = θ 1 in Ω, with (θ 0, θ 1 ) H 1 0 (Ω) L2 (Ω) and f L 1 (0, T ; L 2 (Ω)). From Theorem 2, system (11) has a unique solution θ C 0 ([0, T ]; H 1 0 (Ω)) C1 ([0, T ]; L 2 (Ω)) and for a constant C > 0 one has max ( θ(t) H t [0,T ] t θ(t) ) C( θ 0 H 1 + θ 1 + f 0 L 1 (L 2 )).
37 4.1 A fundamental identity Lemma Let Ω R N be a bouded domain with Ω C 2. Let q C 1 (Ω) N be a vector-valued function. Then 1 q n θ 2 2 Σ n ds dt = ( t θ(t), q θ(t)) T 0 + ( θ) q θ Q + 1 q( t θ 2 θ 2 ) f q θ dx dt 2 Q Q with ϕ the solution to (11) associated to (θ 0, θ 1 ) H 1 0 (Ω) L2 (Ω) and f L 1 (0, T ; L 2 (Ω)). n = n(x): the outward unit normal to Ω at point x Ω. Proof: It can be obtained by multiplying the equation of θ by q θ and integrating by parts several times. J.-L. LIONS, Contrôlabilité Exacte, Perturbations et Stabilisation de Systèmes Distribués, Tome 1, 1988.
38 4.1 A fundamental identity Corollary Let θ be the solution to (11) associated to (θ 0, θ 1 ) H0 1(Ω) L2 (Ω) and f L 1 (0, T ; L 2 (Ω)). Then, θ n L2 (Σ) and, for C > 0, the inequality θ 2 n C(T + 1)( θ θ H f 2 L L (L 2 ) ). (Σ) Proof: Ω C 2, then, n C 1 ( Ω) N and there exists h C 1 (Ω) N s.t. h(x) = n(x) x Ω. We apply Lemma 10 to θ with q h. Application to the adjoint problem (3): From this Corollary we deduce ϕ n L2 (Σ) and the direct inequality for the adjoint equation (12) ϕ 2 n C(T + 1)( ϕ ϕ 1 2 ). Σ
39 4.1 A fundamental identity Theorem Given (y 0, y 1 ) L 2 (Ω) H 1 (Ω) and v L 2 (Σ), there exists a unique solution y v C 0 ([0, T ]; L 2 (Ω)) C 1 ([0, T ]; H 1 (Ω)) to the direct problem (2). Moreover, C > 0 s.t. max ( y v(t) + t y v (t) H 1) C( y 0 + y 1 H 1). t [0,T ] Moreover, if ϕ is the solution to the adjoint problem (3) corresponding to (ϕ 0, ϕ 1 ) H 1 0 (Ω) L2 (Ω), then ϕ 0, t y v (T ) (ϕ 1, y v (T )) ϕ(0), y 1 + ( t ϕ(0), y 0 ) = v ϕ n 1 γ ds dt. Proof: It is a consequence of Corollary 11 and the transposition method (for more details, see J.-L. LIONS). Σ
40 4. Boundary Exact Controllability The boundary inverse inequality
41 4.2 The boundary inverse inequality Let us fix x 0 R N and introduce { Γ(x 0 ) {x Ω : (x x 0 ) n(x) > 0}, R(x 0 ) = max x Ω x x 0, T (x 0 ) 2R(x 0 ), and let us take γ Γ(x 0 ) in the controllability problem (2). Theorem Let us fix T > T (x 0 ). Then, for every (ϕ 0, ϕ 1 ) H0 1(Ω) L2 (Ω), one has ( (13) [T T (x 0 )] ϕ ϕ 1 2) R(x 0 ) ϕ 2 n, Γ(x 0 ) (0,T ) with ϕ the solution to the adjoint problem (3) associated to (ϕ 0, ϕ 1 ). Proof: It is a consequence of Lemma 10: q x x 0 (the details are in J.-L. LIONS).
42 4.2 The boundary inverse inequality Remark 1 The inequality (13) is called the inverse inequality for the adjoint problem (3). In particular, we will see that it solves the boundary controllability problem for system (2) when γ Γ(x 0 ) and T is large enough (with an explicit estimate of T ). 2 The previous result gives the following unique continuation property for the adjoint problem (3) If ϕ C([0, T ]; H 1 0 (Ω)) C1 ([0, T ]; L 2 (Ω)) is the solution to (3) associated to ϕ 0 H 1 0 (Ω) and ϕ 1 L 2 (Ω) and ϕ n 0 on Γ(x 0 ) (0, T ), then ϕ 0 ϕ 1 0. Following the ideas developed for the distributed approximate controllability problem, from this property we deduce the boundary approximate controllability result at time T for system (2).
43 4.3 Boundary exact controllability. H.U.M. GOAL: Prove the boundary controllability result for system (2) when γ Γ(x 0 ). We follow the same approach as before: Hilbert Uniqueness Method. The boundary controllability problem is tt 2 y y = 0 in Q = Ω (0, T ), (2) y = v1 Γ(x0 ) on Σ = Ω (0, T ), y(, 0) = y 0, t y(, 0) = y 1 in Ω. This problem is well posed for every (y 0, y 1 ) L 2 (Ω) H 1 (Ω) and v L 2 (Σ) (U L 2 (Σ) is the control space and H L 2 (Ω) H 1 (Ω) is the state space).
44 4.3 Boundary exact controllability. H.U.M. Again, linearity and reversibility allow us to reformulate the controllability problem: System (2) is exactly controllable at time T (y 0, y 1 ) L 2 (Ω) H 1 (Ω) there exists a control v L 2 (Σ) such that the solution y v to (14) tt 2 y y = 0 in Q = Ω (0, T ), y = v1 Γ(x0 ) on Σ = Ω (0, T ), y(, T ) = 0, t y(, T ) = 0 in Ω satisfies (y v (0), t y v (0)) = (y 0, y 1 ).
45 4.3 Boundary exact controllability. H.U.M. Hilbert Uniqueness Method: For (ϕ 0, ϕ 1 ) H0 1(Ω) L2 (Ω) we consider tt 2 ϕ ϕ = 0 in Q, ϕ = 0 on Σ ϕ(, 0) = ϕ 0, t ϕ(, 0) = ϕ 1 in Ω, tt 2 ψ ψ = 0 in Q, ψ = ϕ n 1 Γ(x 0 ) on Σ ψ(, T ) = 0, t ψ(, T ) = 0 in Ω, and Λ : (ϕ 0, ϕ 1 ) H 1 0 (Ω) L2 (Ω) ( t ψ(0), ψ(0)) H 1 (Ω) L 2 (Ω). Then Λ L(H0 1(Ω) L2 (Ω); H 1 (Ω) L 2 (Ω)) and (Theorem 12) ϕ ζ Λ(ϕ 0, ϕ 1 ), (ζ 0, ζ 1 ) = n n =: ((ϕ 0, ϕ 1 ), (ζ 0, ζ 1 )) F. Γ(x 0 ) (0,T )
46 4.3 Boundary exact controllability. H.U.M. If we combine the direct and inverse inequalities (12) and (13) we infer [T T (x 0 )] ( ϕ ϕ 1 2) R(x 0 ) Γ(x 0 ) (0,T ) C(T + 1)R(x 0 )( ϕ ϕ 1 2 ). ϕ n If T > T (x 0 ) then the scalar product (, ) F is equivalent to the usual one and Λ Isom (H 1 0 (Ω) L2 (Ω); H 1 (Ω) L 2 (Ω)). Finally, if (ϕ 0, ϕ 1 ) = Λ 1 (y 1, y 0 ) and v = ϕ n 1 Γ(x 0 ) we have y v (0) = y 0, y v (T ) = 0, t y v (0) = y 1 and t y v (T ) = 0. 2
47 4.3 Boundary exact controllability. H.U.M. Remark The control v provided by the previous proof can be calculated as follows: (ϕ 0, ϕ 1 ) H 1 0 (Ω) L2 (Ω) is the solution to Minimize 1 ϕ 2 2 Γ(x 0 ) (0,T ) n (y 1, y 0 ), (ϕ 0, ϕ 1 ) Subject to (ϕ 0, ϕ 1 ) H0 1(Ω) L2 (Ω). Then, v = ϕ n 1 Γ(x 0 ). Moreover, there is C > 0 s.t. v L 2 (Σ) C ( y 0 + y 1 H 1). WE HAVE PROVED:
48 4.3 Boundary exact controllability. H.U.M. Theorem Let us fix x 0 R N and T > T (x 0 ) 2R(x 0 ). Then, (y 0, y 1 ) L 2 (Ω) H 1 (Ω), v L 2 (Σ) s.t. the solution y v to (2) satisfies y v (, T ) t y v (, T ) 0 in Ω. Moreover, the control v can be chosen by solving the previous minimizing problem and, there is C > 0 s.t. Remark v L 2 (Σ) C ( y 0 + y 1 H 1). If U ad (T ; (y 0, y 1 )) = {v L 2 (Σ) : y v (T ) = t y v (T ) = 0 in Ω}, then, U ad (T ; (y 0, y 1 )) is a nonempty convex closed set with an infinite number of elements. It would be very interesting to give a method that selects the best control, for instance, the control of minimal norm in L 2 (Σ).
49 5. Some complementary results
50 5. Some complementary results 1. Distributed control. From the previous section, it is possible to deduce a distributed controllability result for system (1). Let us consider ω Ω s.t. for x 0 R N and ε > 0, ω(x 0 ) = O(x 0 ) Ω, O(x 0 ) = B(x; ε). x Γ(x 0 ) Then, we can prove that the abstract space provided by H.U.M. is F = H 1 0 (Ω) L2 (Ω). Theorem Let us fix x 0 R N and T > T (x 0 ) 2R(x 0 ). Then, (y 0, y 1 ) H 1 0 (Ω) L2 (Ω), v L 2 (Q) s.t. the solution y v to (1) satisfies y v (, T ) t y v (, T ) 0 in Ω.
51 5. Some complementary results 2. The control with minimal L 2 -norm. It is possible to characterize the control with minimal L 2 -norm: Consider the boundary controllability problem (2) for γ = Γ(x 0 ) and assume T > T (x 0 ). Let us fix (y 0, y 1 ) L 2 (Ω) H 1 (Ω) and consider and U ad (T ; (y 0, y 1 )) = {v L 2 (Σ) : y v (T ) = t y v (T ) = 0 in Ω} 1 Minimize v 2 2 Σ Subject to v U ad (T ; (y 0, y 1 )). Then, there exists a unique minimizer v U ad (T ; (y 0, y 1 )). Moreover, v = ϕ n 1 Γ(x 0 ), with ϕ the solution to (3) associated to ( ϕ 0, ϕ 1 ) which solves Minimize 1 ϕ 2 2 Γ(x 0 ) (0,T ) n (y 1, y 0 ), (ϕ 0, ϕ 1 ) Subject to (ϕ 0, ϕ 1 ) H0 1(Ω) L2 (Ω).
52 5. Some complementary results 3. In this session we have proved an abstract exact controllability result for ω Ω and T > T 0 (Ω, ω) and two results of exact controllability for γ = Γ(x 0 ) and ω = ω(x 0 ) when T > T (x 0 ). But, is it possible to establish an exact controllability result for general (γ, T ) (resp. (ω, T ))? The answer is given in C. BARDOS, G. LEBEAU, J. RAUCH, SIAM J. Control Optim., 30, (1992). In this paper it is proved what system (1) is exactly controllable in H0 1 (Ω) (0, T ) at time T (ω, T ) satisfies the following geometric control condition in Ω: Every ray of Geometric Optic that propagates in Ω and is reflected on its boundary Ω enters ω at a time less than T. From this condition it is not difficult to give examples in which this condition does not hold. Then, in general, system (1) is not exactly controllable at time T. 4. We can also consider other boundary conditions.
53 REFERENCES J.-L. LIONS Contrôlabilité Exacte, Perturbations et Stabilisation de Systèmes Distribués, Tome 1, Masson, Paris, J.-L. LIONS Exact controllability, stabilization and perturbations for distributed systems, SIAM Review 30 (1988). E. ZUAZUA Controllability and observability of PDE: Some results and open problems Handbook of Differential Equations: Evolutionary Equations. Vol. III, Elsevier, Amsterdam, 2007.
Optimal shape and position of the support for the internal exact control of a string
Optimal shape and position of the support for the internal exact control of a string Francisco Periago Abstract In this paper, we consider the problem of optimizing the shape and position of the support
More informationSome 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 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 informationAsymptotic Behavior of a Hyperbolic-parabolic Coupled System Arising in Fluid-structure Interaction
International Series of Numerical Mathematics, Vol. 154, 445 455 c 2006 Birkhäuser Verlag Basel/Switzerland Asymptotic Behavior of a Hyperbolic-parabolic Coupled System Arising in Fluid-structure Interaction
More informationEXACT NEUMANN BOUNDARY CONTROLLABILITY FOR SECOND ORDER HYPERBOLIC EQUATIONS
Published in Colloq. Math. 76 998, 7-4. EXAC NEUMANN BOUNDARY CONROLLABILIY FOR SECOND ORDER HYPERBOLIC EUAIONS BY Weijiu Liu and Graham H. Williams ABSRAC Using HUM, we study the problem of exact controllability
More informationCarleman estimates for the Euler Bernoulli plate operator
Electronic Journal of Differential Equations, Vol. 000(000), No. 53, pp. 1 13. ISSN: 107-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu ftp ejde.math.unt.edu (login:
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 informationMAT 578 FUNCTIONAL ANALYSIS EXERCISES
MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.
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 informationWave operators with non-lipschitz coefficients: energy and observability estimates
Wave operators with non-lipschitz coefficients: energy and observability estimates Institut de Mathématiques de Jussieu-Paris Rive Gauche UNIVERSITÉ PARIS DIDEROT PARIS 7 JOURNÉE JEUNES CONTRÔLEURS 2014
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 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 informationWeak Topologies, Reflexivity, Adjoint operators
Chapter 2 Weak Topologies, Reflexivity, Adjoint operators 2.1 Topological vector spaces and locally convex spaces Definition 2.1.1. [Topological Vector Spaces and Locally convex Spaces] Let E be a vector
More informationEvolution problems involving the fractional Laplace operator: HUM control and Fourier analysis
Evolution problems involving the fractional Laplace operator: HUM control and Fourier analysis Umberto Biccari joint work with Enrique Zuazua BCAM - Basque Center for Applied Mathematics NUMERIWAVES group
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 informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
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 informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
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 informationarxiv: v1 [math.oc] 22 Sep 2016
EUIVALENCE BETWEEN MINIMAL TIME AND MINIMAL NORM CONTROL PROBLEMS FOR THE HEAT EUATION SHULIN IN AND GENGSHENG WANG arxiv:1609.06860v1 [math.oc] 22 Sep 2016 Abstract. This paper presents the equivalence
More informationInfinite dimensional controllability
Infinite dimensional controllability Olivier Glass Contents 0 Glossary 1 1 Definition of the subject and its importance 1 2 Introduction 2 3 First definitions and examples 2 4 Linear systems 6 5 Nonlinear
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 informationThe effect of Group Velocity in the numerical analysis of control problems for the wave equation
The effect of Group Velocity in the numerical analysis of control problems for the wave equation Fabricio Macià École Normale Supérieure, D.M.A., 45 rue d Ulm, 753 Paris cedex 5, France. Abstract. In this
More informationResearch Article On a Hyperbolic Coefficient Inverse Problem via Partial Dynamic Boundary Measurements
Applied Mathematics Volume 21, Article ID 561395, 14 pages doi:1.1155/21/561395 Research Article On a Hyperbolic Coefficient Inverse Problem via Partial Dynamic Boundary Measurements Christian Daveau,
More informationStabilization and Controllability for the Transmission Wave Equation
1900 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 46, NO. 12, DECEMBER 2001 Stabilization Controllability for the Transmission Wave Equation Weijiu Liu Abstract In this paper, we address the problem of
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 informationfor 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
3 ohn Nirenberg inequality, Part I A function ϕ L () belongs to the space BMO() if sup ϕ(s) ϕ I I I < for all subintervals I If the same is true for the dyadic subintervals I D only, we will write ϕ BMO
More informationSome new results related to the null controllability of the 1 d heat equation
Some new results related to the null controllability of the 1 d heat equation Antonio LÓPEZ and Enrique ZUAZUA Departamento de Matemática Aplicada Universidad Complutense 284 Madrid. Spain bantonio@sunma4.mat.ucm.es
More informationNull-controllability of the heat equation in unbounded domains
Chapter 1 Null-controllability of the heat equation in unbounded domains Sorin Micu Facultatea de Matematică-Informatică, Universitatea din Craiova Al. I. Cuza 13, Craiova, 1100 Romania sd micu@yahoo.com
More information1 Inner Product Space
Ch - Hilbert Space 1 4 Hilbert Space 1 Inner Product Space Let E be a complex vector space, a mapping (, ) : E E C is called an inner product on E if i) (x, x) 0 x E and (x, x) = 0 if and only if x = 0;
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 informationMATHEMATICAL MODELS FOR SMALL DEFORMATIONS OF STRINGS
MATHEMATICAL MODELS FOR SMALL DEFORMATIONS OF STRINGS by Luis Adauto Medeiros Lecture given at Faculdade de Matemáticas UFPA (Belém March 2008) FIXED ENDS Let us consider a stretched string which in rest
More informationPDE Constrained Optimization selected Proofs
PDE Constrained Optimization selected Proofs Jeff Snider jeff@snider.com George Mason University Department of Mathematical Sciences April, 214 Outline 1 Prelim 2 Thms 3.9 3.11 3 Thm 3.12 4 Thm 3.13 5
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 informationProf. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India
CHAPTER 9 BY Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India E-mail : mantusaha.bu@gmail.com Introduction and Objectives In the preceding chapters, we discussed normed
More information4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan
The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,
More informationA remark on the observability of conservative linear systems
A remark on the observability of conservative linear systems Enrique Zuazua Abstract. We consider abstract conservative evolution equations of the form ż = Az, where A is a skew-adjoint operator. We analyze
More information2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers.
Chapter 3 Duality in Banach Space Modern optimization theory largely centers around the interplay of a normed vector space and its corresponding dual. The notion of duality is important for the following
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 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 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 informationLECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES)
LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES) RAYTCHO LAZAROV 1 Notations and Basic Functional Spaces Scalar function in R d, d 1 will be denoted by u,
More informationFunctional Analysis, Math 7320 Lecture Notes from August taken by Yaofeng Su
Functional Analysis, Math 7320 Lecture Notes from August 30 2016 taken by Yaofeng Su 1 Essentials of Topology 1.1 Continuity Next we recall a stronger notion of continuity: 1.1.1 Definition. Let (X, d
More informationStabilization of the wave equation with localized Kelvin-Voigt damping
Stabilization of the wave equation with localized Kelvin-Voigt damping Louis Tebou Florida International University Miami SEARCDE University of Memphis October 11-12, 2014 Louis Tebou (FIU, Miami) Stabilization...
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 informationAnalysis Preliminary Exam Workshop: Hilbert Spaces
Analysis Preliminary Exam Workshop: Hilbert Spaces 1. Hilbert spaces A Hilbert space H is a complete real or complex inner product space. Consider complex Hilbert spaces for definiteness. If (, ) : H H
More informationOptimal and Approximate Control of Finite-Difference Approximation Schemes for the 1D Wave Equation
Optimal and Approximate Control of Finite-Difference Approximation Schemes for the 1D Wave Equation May 21, 2004 Enrique Zuazua 1 Departmento de Matemáticas Universidad Autónoma 28049 Madrid, Spain enrique.zuazua@uam.es
More informationBilinear spatial control of the velocity term in a Kirchhoff plate equation
Electronic Journal of Differential Equations, Vol. 1(1), No. 7, pp. 1 15. ISSN: 17-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) Bilinear spatial control
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 informationUSING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION
USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION YI WANG Abstract. We study Banach and Hilbert spaces with an eye towards defining weak solutions to elliptic PDE. Using Lax-Milgram
More informationControllability of partial differential equations
Controllability of partial differential equations Yacine Chitour, Emmanuel Trélat Contents 1 Semigroup theory, and Cauchy problems in Banach spaces 2 1.1 Definitions............................... 2 1.2
More informationGeometry and topology of continuous best and near best approximations
Journal of Approximation Theory 105: 252 262, Geometry and topology of continuous best and near best approximations Paul C. Kainen Dept. of Mathematics Georgetown University Washington, D.C. 20057 Věra
More informationFourier Transform & Sobolev Spaces
Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev
More informationThis article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution
More informationANNALES DE L I. H. P., SECTION C
ANNALES DE L I. H. P., SECTION C E. ZUAZUA Exact controllability for semilinear wave equations in one space dimension Annales de l I. H. P., section C, tome 10, n o 1 (1993), p. 109-129.
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 informationStability of nonlinear locally damped partial differential equations: the continuous and discretized problems. Part II
. Stability of nonlinear locally damped partial differential equations: the continuous and discretized problems. Part II Fatiha Alabau-Boussouira 1 Emmanuel Trélat 2 1 Univ. de Lorraine, LMAM 2 Univ. Paris
More informationFlux-limited solutions for quasi-convex Hamilton-Jacobi equations on networks
Flux-limited solutions for quasi-convex Hamilton-Jacobi equations on networks C. Imbert and R. Monneau June 24, 2014 Abstract We study Hamilton-Jacobi equations on networks in the case where Hamiltonians
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 informationFUNCTIONAL ANALYSIS HAHN-BANACH THEOREM. F (m 2 ) + α m 2 + x 0
FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM If M is a linear subspace of a normal linear space X and if F is a bounded linear functional on M then F can be extended to M + [x 0 ] without changing its norm.
More informationThe heat equation. Paris-Sud, Orsay, December 06
Paris-Sud, Orsay, December 06 The heat equation Enrique Zuazua Universidad Autónoma 28049 Madrid, Spain enrique.zuazua@uam.es http://www.uam.es/enrique.zuazua Plan: 3.- The heat equation: 3.1 Preliminaries
More informationEXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC SCHRÖDINGER EQUATIONS
Electronic Journal of Differential Equations, Vol. 017 (017), No. 15, pp. 1 7. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC
More informationMETHODS AND APPLICATIONS OF ANALYSIS. Vol. 17, No. 4, pp , December 2010
METHODS AND APPLICATIONS OF ANALYSIS. Vol. 17, No. 4, pp. 1 12, December 21 c 21 International Press x ON AN INVERSE PROBLEM OF RECONSTRUCTING AN UNKNOWN COEFFICIENT IN A SECOND ORDER HYPERBOLIC EQUATION
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 informationREGULAR LAGRANGE MULTIPLIERS FOR CONTROL PROBLEMS WITH MIXED POINTWISE CONTROL-STATE CONSTRAINTS
REGULAR LAGRANGE MULTIPLIERS FOR CONTROL PROBLEMS WITH MIXED POINTWISE CONTROL-STATE CONSTRAINTS fredi tröltzsch 1 Abstract. A class of quadratic optimization problems in Hilbert spaces is considered,
More informationIntroduction to Functional Analysis
Introduction to Functional Analysis Carnegie Mellon University, 21-640, Spring 2014 Acknowledgements These notes are based on the lecture course given by Irene Fonseca but may differ from the exact lecture
More informationElliptic Kirchhoff equations
Elliptic Kirchhoff equations David ARCOYA Universidad de Granada Sevilla, 8-IX-2015 Workshop on Recent Advances in PDEs: Analysis, Numerics and Control In honor of Enrique Fernández-Cara for his 60th birthday
More informationWELL-POSEDNESS AND REGULARITY OF LINEAR HYPERBOLIC SYSTEMS WITH DYNAMIC BOUNDARY CONDITIONS
WELL-POSEDNESS AND REGULARITY OF LINEAR HYPERBOLIC SYSTEMS WITH DYNAMIC BOUNDARY CONDITIONS GILBERT PERALTA AND GEORG PROPST Abstract. We consider first order hyperbolic systems on an interval with dynamic
More informationON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM
ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
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 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 informationBIHARMONIC WAVE MAPS INTO SPHERES
BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.
More informationInégalités de dispersion via le semi-groupe de la chaleur
Inégalités de dispersion via le semi-groupe de la chaleur Valentin Samoyeau, Advisor: Frédéric Bernicot. Laboratoire de Mathématiques Jean Leray, Université de Nantes January 28, 2016 1 Introduction Schrödinger
More informationSpectrum and Exact Controllability of a Hybrid System of Elasticity.
Spectrum and Exact Controllability of a Hybrid System of Elasticity. D. Mercier, January 16, 28 Abstract We consider the exact controllability of a hybrid system consisting of an elastic beam, clamped
More informationUNIVERSITY OF MANITOBA
Question Points Score INSTRUCTIONS TO STUDENTS: This is a 6 hour examination. No extra time will be given. No texts, notes, or other aids are permitted. There are no calculators, cellphones or electronic
More informationAnalysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
More information************************************* Applied Analysis I - (Advanced PDE I) (Math 940, Fall 2014) Baisheng Yan
************************************* Applied Analysis I - (Advanced PDE I) (Math 94, Fall 214) by Baisheng Yan Department of Mathematics Michigan State University yan@math.msu.edu Contents Chapter 1.
More informationExercise Solutions to Functional Analysis
Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n
More informationInner product on B -algebras of operators on a free Banach space over the Levi-Civita field
Available online at wwwsciencedirectcom ScienceDirect Indagationes Mathematicae 26 (215) 191 25 wwwelseviercom/locate/indag Inner product on B -algebras of operators on a free Banach space over the Levi-Civita
More informationA DUALITY APPROXIMATION OF SOME NONLINEAR PDE s
ISSN 2066-6594 Ann. Acad. Rom. Sci. Ser. Math. Appl. Vol. 8, No. /206 A DUALITY APPROXIMATION OF SOME NONLINEAR PDE s Dan Tiba Abstract We discuss a discretization approach for the p - Laplacian equation
More informationENGI 9420 Lecture Notes 8 - PDEs Page 8.01
ENGI 940 Lecture Notes 8 - PDEs Page 8.01 8. Partial Differential Equations Partial differential equations (PDEs) are equations involving functions of more than one variable and their partial derivatives
More informationNULL CONTROLLABILITY OF A SYSTEM OF LINEAR THERMOELASTICITY
NULL CONTROLLABILITY OF A SYSTE OF LINEAR THEROELASTICITY by Gilles LEBEAU Département de athématiques Université de Paris-Sud 9145 Orsay Cedex. France and Enrique ZUAZUA Departamento de atemática Aplicada
More informationSPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS
SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint
More informationControllability of parabolic PDES : old and new
Controllability of parabolic PDES : old and new Franck Boyer franck.boyer@math.univ-toulouse.fr Master 2 Mathematics and Applications Université Paul Sabatier - Toulouse 3 June 9, 218 ii This work is licensed
More informationMaxwell s equations and a second order hyperbolic system: Simultaneous exact controllability
Maxwell s equations and a second order hyperbolic system: Simultaneous exact controllability by B. Kapitonov 1 and G. Perla Menzala Abstract We present a result on simultaneous exact controllability for
More informationENGI 4430 PDEs - d Alembert Solutions Page 11.01
ENGI 4430 PDEs - d Alembert Solutions Page 11.01 11. Partial Differential Equations Partial differential equations (PDEs) are equations involving functions of more than one variable and their partial derivatives
More informationLinear Normed Spaces (cont.) Inner Product Spaces
Linear Normed Spaces (cont.) Inner Product Spaces October 6, 017 Linear Normed Spaces (cont.) Theorem A normed space is a metric space with metric ρ(x,y) = x y Note: if x n x then x n x, and if {x n} is
More informationPoS(CSTNA2005)015. Controllability of the Gurtin-Pipkin equation. Luciano Pandolfi Politecnico Di Torino
Politecnico Di Torino E-mail: luciano.pandolfi@polito.it The Gurtin-Pipkin equations models the evolution of thermal phenomena when the matherial keeps memory of the past. It is well known that the Gurtin-Pipkin
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationSobolev Spaces. Chapter Hölder spaces
Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect
More informationPartial Differential Equations
Partial Differential Equations Partial differential equations (PDEs) are equations involving functions of more than one variable and their partial derivatives with respect to those variables. Most (but
More informationExponential decay for the solution of semilinear viscoelastic wave equations with localized damping
Electronic Journal of Differential Equations, Vol. 22(22), No. 44, pp. 1 14. ISSN: 172-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) Exponential decay
More informationNational Laboratory for Scientific Computation - LNCC
p. 1/6 National Laboratory for Scientific Computation - LNCC Theory of Optimal Control Applied to Problems of Ambiental Pollution Santina de Fátima Arantes Jaime Edilberto Muñoz Rivera Supported by FAPERJ/Brazil
More informationScientific Computing WS 2018/2019. Lecture 15. Jürgen Fuhrmann Lecture 15 Slide 1
Scientific Computing WS 2018/2019 Lecture 15 Jürgen Fuhrmann juergen.fuhrmann@wias-berlin.de Lecture 15 Slide 1 Lecture 15 Slide 2 Problems with strong formulation Writing the PDE with divergence and gradient
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationIsodiametric problem in Carnot groups
Conference Geometric Measure Theory Université Paris Diderot, 12th-14th September 2012 Isodiametric inequality in R n Isodiametric inequality: where ω n = L n (B(0, 1)). L n (A) 2 n ω n (diam A) n Isodiametric
More informationWhere is matrix multiplication locally open?
Linear Algebra and its Applications 517 (2017) 167 176 Contents lists available at ScienceDirect Linear Algebra and its Applications www.elsevier.com/locate/laa Where is matrix multiplication locally open?
More informationAPPLICATIONS OF DIFFERENTIABILITY IN R n.
APPLICATIONS OF DIFFERENTIABILITY IN R n. MATANIA BEN-ARTZI April 2015 Functions here are defined on a subset T R n and take values in R m, where m can be smaller, equal or greater than n. The (open) ball
More informationLecture Notes on PDEs
Lecture Notes on PDEs Alberto Bressan February 26, 2012 1 Elliptic equations Let IR n be a bounded open set Given measurable functions a ij, b i, c : IR, consider the linear, second order differential
More information