Table of Contents Author Guidelines Submit a Manuscript
International Journal of Differential Equations
Volume 2015 (2015), Article ID 468918, 9 pages
http://dx.doi.org/10.1155/2015/468918
Research Article

Optimal Control of the Ill-Posed Cauchy Elliptic Problem

1University of 08 May 1945, 24000 Guelma, Algeria
2UMR 228 Espce-Dev, Université de Guyane, UR, UM2, UNC, Campus de Troubiran, 97337 Cayenne, French Guiana

Received 24 July 2015; Revised 17 October 2015; Accepted 22 October 2015

Academic Editor: Jingxue Yin

Copyright © 2015 A. Berhail and A. Omrane. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

We give a characterization of the control for ill-posed problems of oscillating solutions. More precisely, we study the control of Cauchy elliptic problems via a regularization approach which generates incomplete information. We obtain a singular optimality system characterizing the no-regret control for the Cauchy problem.

1. Introduction

Cauchy problems for partial differential equations of elliptic type are present in many physical systems such as plasma physics [1], mechanical engineering [2], or electrocardiography [3]. One of the important examples is the Helmholtz equation and its applications in acoustic, wave propagation and scattering, vibration of the structure, and electromagnetic scattering (see [46] and the references therein). Here, we investigate a Cauchy problem for the Laplacian elliptic operator:where , on an open set of class , of boundary . Dirichlet and Neumann conditions are prescribed on a part of the boundary , :The goal is to reconstruct the solution on and its trace on from a perturbed system, under the assumption that the solution exists for the exact data and which here are control variables. This problem is a classical example of ill-posed problems. So, regularization methods may be considered.

Theoretical concepts and also computational implementation related to the Cauchy problem of the elliptic equation have been discussed by many authors, and a lot of methods were provided (see, e.g., Qian et al. [7] for the 4th-order regularization method or Xiong and Fu [8]). Generally, it is assumed that instead of exact data some noisy boundary conditions and are given with the error bound.

But, in this paper, we consider another regularization method of the Laplacian, where we introduce a new data:with and being unknown functions. Hence, we have a regularized problem but with incomplete data. A special optimal control method of problems of incomplete data should then be applied. We here use a method that we find well adapted: the low-regret control concept, introduced by Lions in the late 80s (see, e.g., [9, 10] and the references therein).

In [11, 12], the control of distributed system with incomplete data is performed. The proof of the existence and characterization of the no-regret control is obtained as the limit of the low-regret control. Here, we admit the possibility of making a choice of controls slightly worse than by doing better than   (i.e., better than a noncontrolled system), with respect to certain criteria (cost function):where is the small positive parameter that tends to , with being the pollution or the incomplete data.

This method is previously introduced by Savage [13] in statistics. Lions was the first to use it to control distributed systems of incomplete data, motivated by a number of applications in economics and ecology. In this paper, we generalize the method to ill-posed problems of elliptic type.

It seems that the control of Cauchy system for elliptic operators is globally an open problem. Lions in [14] proposed a method of approximation by penalization and obtained a singular optimality system, under a supplementary hypothesis of Slater type. In [15], Sougalo and Nakoulima analyzed the Cauchy problem using a regularization method, consisting in viewing a singular problem as a limit of a family of well-posed problems. They have obtained a singular optimality system for the considered control problem, also assuming the Slater condition. Unfortunately, the recent paper by Massengo Mophou and Nakoulima [16] is the same as the one by Sougalo and Nakoulima (1998) using the same old references, and nothing new is brought.

In the present paper, we use another approximation method which consists in considering the elliptic Cauchy problem as a singular limit of sequence of well-posed elliptic problems, where the Slater condition is not used and where we apply the low-regret control notion. The same analysis can be generalized to the Helmholtz equation with no difficulty.

The paper is organized as follows. In Section 2, we present the regularization method. In Section 3, the optimal control of the regularized system is discussed and the approximated optimality system is presented. We pass to the limit in the last section; we show that we obtain a singular optimality system for the low-regret and no-regret controls to the original problem of Laplacian.

2. Existence of Solutions to Cauchy Elliptic Problems

Let be an open bounded subset of , with a boundary of class , with . The boundaries and are nonempty and are of positive measure. We consider here the problem:with and . Problem (5) is a Cauchy problem for the Laplacian operator. It is well known that it is ill-posed in the sense that it does not admit a solution in general and that existing solutions (if any) are unstable. This problem is present in many applications, so it is important to control the Cauchy data.

Denote by the closed subset of defined byand suppose that . We will call any control-state pair admissible couple.

Let be a strictly convex cost functional, defined for all admissible control-state couples bywhere and () are, respectively, given in and in . We want to find the couple control-state solution ofAccording to the structure of , problem (8) admits a unique solution that we should characterize. To obtain a singular optimality system (SOS) associated with , Lions [14] has proposed a method of approximation by penalization. He obtained SOS, under the supplementary hypothesis of Slater type:Here, we do not consider Slater hypothesis, but instead we consider the no-regret and low-regret techniques.

3. The Low-Regret and No-Regret Control

Due to the ill-posedness of the Cauchy elliptic problem, it is impossible to solve it directly [17]. This requires special techniques as the technique of regularization. Our method consists in regularizing (5) into an elliptic problem of incomplete data. For any , we consider the regularized problem:We denote and for simplicity.

We begin by an important remark.

Remark 1. For every fixed and we assume the existence of a unique solution to (10). Indeed, in the following subsections, and are considered as data perturbations, and the solution of (10) may not exist in the sense of Hadamard [18].

3.1. Back to the Original Problem

We show how to come back to the original Cauchy problem, starting from (10). Indeed, if we put and we do the change of variables , we obtainUsing the uniqueness property of the solution of the Laplace equation and the unique continuation theorem of Mizohata [19], we deduce from (11) that we also haveHence, conditions (12) becomethat is, the same conditions of the original problem (5).

3.2. Cost Function and Low-Regret Control

Consider the cost functionalthat we want to minimize in the context of no-regret control due to the presence of the incomplete data .

Definition 2. We say that is a no-regret control for (5)–(15), if is a solution to the following problem:

As seen in [11], the no-regret control is difficult to characterize directly. Below, we define the low-regret control which tends to the no-regret control when the parameter of penalization tends to zero. In the case of no pollution , the no-regret control and the classical control are the same.

3.2.1. The Low-Regret Control

As in [20], we define the low-regret control as the solution to the following MinMax problem:where is a strictly positive parameter. The solution to problem (17), if it exists, will be the low-regret control.

Now, we introduce solution to the adjoint problemThen we have the following result.

Proposition 3. The low-regret control is the solution to the classical optimal control problemwith

Proof. After simple computations we havewhere is the inner product in . To estimate the integral in (21), we use the Green formula:together with (18). We havewhere . Thenthanks to the conjugate formula. Combining (17) and (21), we obtain the desired result.

Remark 4. The no-regret control is obtained by the passage to the limit in the positive parameter : it is the weak convergence of the control-state variables of the perturbed system, which corresponds to the limit of the standard low-regret control sequence.

3.3. Approached Optimality System

For the general theory of the characterization of the low-regret optimal control see [1012]. In this paper, we generalize to the ill-posed problems of elliptic type (5).

Proposition 5. Problem (19)-(20) admits a unique solution called the low-regret control.

Proof. We have , . Thenexists. Let be a minimizing sequence such that . Then we haveAnd we deduce the boundswhere the constant (independent of ) is not the same each time.
Hence, there exists such that weakly in the Hilbert space . Also, (continuity with respect to the data). We also deduce from the strict convexity of the cost function that is unique.

Now we give the optimality system for the approximate low-regret control . We denote . Then, we proceed as in [20]. We first have the following.

Proposition 6. The approached low-regret control solution to (19)-(20) is characterized by the unique solution of the optimality systemwith the adjoint equation

Proof. Let be the solution of (19)-(20) on . The Euler-Lagrange necessary condition gives for every where . Denoting as the unique solution towe have by the Green formulaAnd as it is classical, we introduce the adjoint state defined by