Controllability of an Elliptic equation and its Finite Difference Approximation by the Shape of the Domain

AbstractIn this article we study a controllability problem for an elliptic partial differential equation in which the control is the shape of the domain where the equation holds. The quantity to be controlled is the trace of the solution, with a given right hand side source term, into an open subdomain. The mapping that associates this trace to the shape of the domain is nonlinear. We first consider the linearized problem and show an approximate controllability property. We then address the same questions in the context of a finite difference discretization of the elliptic problem. We prove a local controllability result applying the Inverse Function Theorem together with a ``unique continuation'' property of the underlying adjoint discrete system.

[1]  B. Rousselet,et al.  Shape design sensitivity of a membrane , 1983 .

[2]  J. Simon.  Differentiation with Respect to the Domain in Boundary Value Problems , 1980 .

[3]  E. Zuazua.  Boundary observability for the finite-difference space semi-discretizations of the 2-D wave equation in the square , 1999 .

[4]  Mark Asch,et al.  Geometrical aspects of exact boundary controllability for the wave equation - a numerical study , 1998 .

[5]  Chi Y Lo.  Linear Partial Differential Equations , 2000 .

[6]  Enrique Zuazua,et al.  Some new results related to the null controllability of the $1-d$ heat equation , 1998 .

[7]  R. Abraham,et al.  Manifolds, tensor analysis, and applications: 2nd edition , 1988 .

[8]  Denise Chenais,et al.  On the existence of a solution in a domain identification problem , 1975 .

[9]  Edward J. Haug,et al.  Optimization of distributed parameter structures , 1981 .

[10]  Axel Osses,et al.  On the controllability of the Laplace equation observed on an interior curve , 1998 .

[11]  Jean-Pierre Puel,et al.  Approximate controllability of the semilinear heat equation , 1995, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

[12]  Enrique Zuazua,et al.  Some Problems and Results on the Controllability of Partial Differential Equations , 1998 .

[13]  Jaime Ortega Palma.  Comportamiento asintótico, control y estabilización de algunos sistemas parabólicos y de placas , 1997 .

[14]  Axel Osses,et al.  Boundary Controllability of a Stationary Stokes System with Linear Convection Observed on an Interior Curve , 1998 .

[15]  A. Iserles.  A First Course in the Numerical Analysis of Differential Equations: Stiff equations , 2008 .

[16]  Enrique Zuazua,et al.  CONTROLLABILITY OF PARTIAL DIFFERENTIAL EQUATIONS AND ITS SEMI-DISCRETE APPROXIMATIONS , 2002 .

[17]  Denise Chenais.  Sur une famille de variétés à bord lipschitziennes. Application à un problème d'identification de domaines , 1977 .

[18]  Carlos Castro,et al.  Low Frequency Asymptotic Analysis of a String with Rapidly Oscillating Density , 2000, SIAM J. Appl. Math..

[19]  R. Abraham,et al.  Manifolds, Tensor Analysis, and Applications , 1983 .