Open Journal of Optimization
Vol.03 No.01(2014), Article ID:44334,10 pages
10.4236/ojop.2014.31001

Optimal Control of an Elliptic System under Conjugation Conditions Involving Schrödinger Operator

Ahmed Mohammed Abdallah

Department of Basic Science, Higher Technological Institute, Tenth of Ramadan City, Egypt

Email: abdallaham6236@yahoo.com

Copyright © 2014 by author and Scientific Research Publishing Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY).

http://creativecommons.org/licenses/by/4.0/

Received 2 January 2014; revised 19 February 2014; accepted 4 March 2014

ABSTRACT

The purpose of this paper is to study the optimal control of the n × n cooperative elliptic system with variable coefficients under conjugation conditions and mixed boundary condition involving Schrödinger operator defined on. By using Green’s formula, properties of the first Eigen values and Lax-Milgram lemma, we prove the existence and uniqueness of solutions for these Systems. We also study the necessary and sufficient conditions for having a maximum principle and existence of solution for the given linear elliptic system.

Keywords:

Elliptic Systems; Existence and Uniqueness of Solutions; Conjugation Conditions; Mixed Boundary Condition; Schrödinger Operator; Optimal Control

1. Introduction

The necessary and sufficient conditions of optimality for systems governed by elliptic operators have been studi- ed by Lions in [1] . Optimal control problems of distributed systems that include partial differential equations have many mechanical sources and a variety of technological and scientific applications. Much optimal control problems of elliptic systems involving Schrödinger operators have been studied in [2] [3] . The linear quadratic optimal control problem described by a distributed parameter system has a variety of mechanical and technical sources and applications. In this paper, we obtain some necessary (sufficient) conditions for the validity of ma- ximum principle cooperative elliptic systems.

2. Distributed Control of an Elliptic System with Conjugation Conditions Involving Schrödinger Operator

2.1. The Case of 2 × 2 Elliptic Systems with Conjugation Condition and Mixed Boundary Condition

In this section, we consider the following 2 × 2 elliptic system (see [3] [4] )

(1)

where on Γ, = K-the direction cosine of v, v being the normal on the Γ exterior to Ω and, , and conjugation conditions (*)

,

where Ω is an open subset of with smooth boundary is Schrödinger operator,

. The giv-

en elliptic equation is specified in bounded, continuous and strictly Lipschitz domains in.

2.1.1. Existence and Uniqueness of Solution

Since, Then we have chain of the form,

we define the following bilinear form on

Lemma 1(see [3] )

Let, in system (1) satisfy, ,

Lemma 2(see [3] )

First Eigen values characterized by

For and and by lax-Milgram lemma, we prove that:

Theorem 1

For, there exists a unique solution of system (1). Proof

The bilinear form can be written as

We choose m large enough such that a + m > 0 and d + m > 0 and the equivalent norm

By Cauchy Schwartz and Lemma 1 and 2 in the paper

(2)

and is continuous on then by Lax-Milgram lemma there exist a unique solu-

tion, such that for all.

2.1.2. Formulation of the Control Problem

Let being the space of controls.

The energy functional

(3)

A unique state, where is a set of the sobolev functions

are specified on domain to every control. For a control the state of the system y is given by the solution of the following system:

(4)

The observation equation is given by.

The cost functional is given by:

(5)

where, is hermitian positive definite operator defined on

such that:

(6)

The control problem then is to find:

,

where is a closed convex subset from, since the cost function (5) can be written as

where

,

Assume that (2), (6) hold. The cost function being given (5), necessary and sufficient for u to be an optimal control is that the following equations and inequalities be satisfied

(7)

is the adjoint state.

Outline of proof

Since is differentiable and is bounded, then the optimal control u are characterized by which is equivalent to

(8)

Since where A is defined by:

then

By Greens formula or derivative in the sense of distribution

where then, is transpose of M,

adjoint state, (8) is equivalent to

From (7), we obtain

Remark 1

Generalization to n × n systems

and conjugation conditions

,

where is an open subset of with smooth boundary, A is n × n diagonal matrix of Schrödinger operator, is an matrix, = K-the direction cosine of v, v being the normal on the Γ exterior to Ω,

In this case, the bilinear form is given by:

The linear form is given by:

The cost functional is given by:

where in, , is hermitian positive definite operator defined

on such that:

In this case the necessary and sufficient for u to be an optimal control is that the following equations and inequalities be satisfied.

, is transpose of M.

If constraints are absent i.e. when the equality then the differential

problem of finding the vector-function

(9)

We can find last relations at as the same at the beginning of the paper.

We can choose (as a special case) then get distributed control of cooperative elliptic systems involving Laplace operator [5] .

3. Boundary Control of an Elliptic System with Conjugation Conditions Involving Schrödinger Operator

Formulation of the Control Problem

Let being the space of controls.

For a control the state of the system is given by the solution of the following system:

(10)

The observation equation is given by.

Since the cost function (5) can be written as:

where

since is continuous on then there exist a unique optimal control [1] . The function y is specified, minimizes the energy functional [6] . Moreover, we have the following theorem which gives the characterization of the optimal control u:

The necessary and sufficient for u to be an optimal control is that the following equations and inequalities be satisfied

(11)

is the adjoint state.

Outline of proof

Since J(v) is differentiable and Uad is bounded then the optimal control u is characterized which is equivalent to

(12)

Since where A is defined by:

then

By Green’s formula or derivative in the sense of distribution

where then,

From (6), we obtain

We can add the control in the part of Dirichlet condition, i.e.

(13)

The difference appears in characterization

Remark 2

Generalization to n × n systems

and conjugation conditions

,

where Ω is an open subset of with smooth boundary Γ, A is an n × n diagonal matrix of Laplace operator

is an matrix

= K-the direction cosine of v, v being the normal at Γ ex-

terior to Ω,

and.

In this case, the bilinear form is given by:

The linear form is given by.

The cost functional is given by:

,

where in, , is hermitian positive definite operator defined

on such that:

.

In this case the necessary and sufficient for u to be an optimal control is that the following equations and inequalities be satisfied.

(11)

, = transpose of M.

If constraints are absent i.e. when the equality then the differential

problem of finding the vector-function, that satisfies the relations

(12)

We can find last relations at n = 2 and q = 0 [7] .

4. Conclusion

The aim is to find the existence and uniqueness of solution (state of the system) and necessary and sufficient condition for optimality of the system in 2 × 2 and generalization to n × n in the case of distributed and bounda- ry control. In this paper, we connect [3] with [4] to get a new work with following the developments.

References

  1. Lions, J.L. (1971) Optimal Control of a System Governed by Partial Differential Equations. Springer-Verlag Band, New York. http://dx.doi.org/10.1007/978-3-642-65024-6
  2. Serag, H.M. (2000) Distributed Control for Cooperative Systems Governed by Schrödinger Operator. Journal of Discrete Mathematical Science and Cryptography, 3, 227-234. http://dx.doi.org/10.1080/09720529.2000.10697910
  3. Serag, H.M. and Qamlo, A.H. (2005) On Elliptic Systems Involving Schrodinger Operators. The Mediterranean Journal of Measurement and Control, 1, 91-96.
  4. Deineka, V.S. and Sergienko, I.V. (2004) Optimal Control of an Elliptic System with Conjugation Conditions and Neu- mann Boundary Conditions. Cybernetics and Systems Analysis, 40, 865-882. http://dx.doi.org/10.1007/s10559-005-0026-7
  5. Gali, I.M. and Serag, H.M. (1994) Distributed Control of Cooperative Elliptic Systems, the UAB. Georgeatrch International Conference on D.E. and Mathematical Physics, Birmingham, 1994.
  6. Deineka, V.S. and Sergienko, I.V. (2001) Models and Methods for Problem Solution in Heterogeneous Media. Kyiv (in Russian), Naukova Dumka.
  7. Qamlo, A.H. and Bahaa, G.M. (2013) Boundary Control for 2 × 2 Elliptic Systems with Conjugation Condition. Intelligent Control and Automation, 4, 280-286.