Controllability of the heat equation submitted to unilateral constraint
Farid Ammar-Khodja
∗Arnaud M¨ unch
†July 7, 2016
Abstract
Mathematics Subject Classification. 35L85, 65M12, 74H45
Keys words. Nonlinear boundary controllability, Unilateral constraint, Penalization, Fixed point method.
1 Introduction
Let T > 0 and Q
T= (0, T ) × (0, 1). We consider the following system
y
0− y
xx= 0, (t, x) ∈ Q
T,
y(t, 0) = u(t), t ∈ (0, T ),
y(t, 1) ≥ ψ(t), y
x(t, 1) ≥ 0, (y(t, 1) − ψ(t))y
x(t, 1) = 0, t ∈ (0, T ),
y(0, x) = y
0(x), x ∈ (0, 1)
(1.1)
where the symbol
0denotes the derivative with respect to the variable t.
2 The Control Dirichlet-to-Neumann map of a linear system
Let T > 0, Q
T= (0, T ) × (0, 1) and consider the following system:
φ
00+ φ
0− φ
xx= 0, (t, x) ∈ Q
T,
φ(t, 0) = u(t), t ∈ (0, T ),
φ(t, 1) = f (t), t ∈ (0, T ),
φ(0, x) = φ
0(x), φ
0(0, x) = φ
1(x), x ∈ (0, 1)
(2.2)
where u ∈ L
2(0, T ) is a control function and f ∈ L
2(0, T ) is given.
Given φ
0, φ
1, f
, our aim is to find a family of explicit controls u for which the solution φ of (2.2) satisfies φ(T ) = φ
0(T) = 0 in (0, 1). We take T ∈]2, 3] √
.
∗Laboratoire de Math´ematiques de Besan¸con, UMR CNRS 6623, Universit´e de Franche-Comt´e, 16 route de Gray, 25030 Besan¸con cedex, France ([email protected]).
†Laboratoire de Math´ematiques de Clermont-Ferrand, Universit´e Blaise Pascal, UMR CNRS 6620, Campus des C´ezeaux, 63177 Aubi`ere, France [email protected].