Journal of Function Spaces
Volume 2019 (2019), Article ID 1389787, 8 pages
https://doi.org/10.1155/2019/1389787

Research Article

Distributed Control for Time-Fractional Differential System Involving Schrödinger Operator

Abd-Allah Hyder1,2 and M. EL-Badawy³

¹King Khalid University, College of Science, Department of Mathematics, P.O. Box 9004, 61413 Abha, Saudi Arabia
²Department of Engineering Mathematics and Physics, Faculty of Engineering, Al-Azhar University, Cairo, Egypt
³Mathematics Department, Al-Azhar University, Nasr City, Cairo, Egypt

Correspondence should be addressed to Abd-Allah Hyder; abahahmed@kku.edu.sa

Received 6 March 2019; Accepted 18 June 2019; Published 22 July 2019

Academic Editor: Alberto Fiorenza

Copyright © 2019 Abd-Allah Hyder and M. EL-Badawy. 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.

In this paper, we investigate the distributed optimal control problem for time-fractional differential system involving Schrödinger operator defined on . The time-fractional derivative is considered in the Riemann-Liouville sense. By using the Lax-Milgram lemma, we prove the existence and uniqueness of the solution of this system. For the fractional Dirichlet problem with linear quadratic cost functional, we give some equations and inequalities which provide the necessary and sufficient optimality conditions. Moreover, we provide specific application examples to demonstrate the effectiveness of our results.

1. Introduction

This paper is devoted to the study of the distributed control problem for the time-fractional differential system involving Schrödinger operator. This problem leads us to the minimization of the quadratic cost functional:

subject to the state equation

For a fixed time , we set with boundary and . Here, , is a given real number, is a positive function which tends to as tends to is a given control belonging to the set of admissible controls is the state of the system which is to be controlled, is a given desired state, is a Hermitian positive definite operator, and finally the operators are the Riemann-Liouville fractional integral and derivative, respectively.

In recent years, fractional order partial differential equations (FPDEs) models have been proposed and investigated in many research fields, such as biology, plasma physics, finance, chemistry, quantum theory, and fluids [1–6]. In [7], the numerical solution for the time-fractional advection-diffusion problem in one-dimension with the initial boundary condition is studied. A new approach to solving a type of fractional order differential equations without singularity is introduced in [8]. In [9], a type of Fokker-Planck equation (FPE) with Caputo-Fabrizio fractional derivative is considered; they present a numerical approach which is based on the Ritz method with known basis functions to transform this equation into an optimization problem. In [10], the time-fractional Klein-Gordon type equation is solved by applying two decomposition methods, the Adomian decomposition method and a well-established iterative method. The developments in time-fractional quantum mechanics can be considered a newly emerging and attractive application of fractional calculus to quantum theory. Time-fractional quantum mechanics helps to understand the significance and importance of the fundamentals of quantum mechanics such as Hamilton operator, unitarity of evolution operator, existence of stationary energy levels of quantum mechanical system, quantum superposition law, and conservation of quantum probability. In addition, time-fractional quantum mechanics invokes new mathematical tools, which have never been utilized in quantum theory; for more details see [11–13]. The necessary and sufficient conditions to optimal control for integer order PDEs of elliptic, parabolic, and hyperbolic type have been studied by Lions in [14, 15]. This discussion was extended to time-fractional systems in the sense of Riemann-Liouville in [16–18] and in the sense of Caputo in [19]. Recently, the distributed optimal control problem for systems involving Schrödinger operator has been studied for elliptic systems in [20], parabolic systems in [21], and hyperbolic systems in [22].

The main target of this paper is to study the distributed control problem for the cooperative time-fractional differential system involving Schrödinger operator, which is formulated in system (2). This theme is based on the abstract variational formulation method, the Lax-Milgram lemma, and the adjoint problem technique. With the help of Lax-Milgram lemma, we prove existence and uniqueness of solution for the time-fractional differential system involving Schrödinger operator. By employing the adjoint problem, we characterize the optimal control. With regard to the fractional Dirichlet problem with linear quadratic cost functional, we produce some equations and inequalities which provide the necessary and sufficient optimality conditions. Further, we provide specific application examples to demonstrate the effectiveness of our results.

This paper is organised as follows. In Section 2, we formulate the time-fractional differential system and recall some related results and function spaces. In Section 3, the existence and uniqueness of solution of our problem are proved. In Section 4, we formulate the control problem, show that our time-fractional control problem holds, and drive the optimality conditions for the system. In Section 5, we give some examples for our theorem. Section 6 is devoted to summary and discussion.

2. Time-Fractional Differential System and Related Results

This section is divided into two subsections. In Subsection 2.1, we introduce the time-fractional differential system involving Schrödinger operator, where the time-fractional derivative is introduced in the Riemann-Liouville sense. In Subsection 2.2, we exhibit some results related to the eigenvalue problem and some function spaces with their embedding properties. These function spaces include the solution of our problem.

2.1. Formulation of the Problem

Before giving the precise formulation of our problem, we recall some notations from the fractional calculus theory.

Definition 1 (see [6, 16, 17]). Let be a continuous function on . The expression is called the left Riemann-Liouville fractional integral of of order , which is given by

Definition 2 (see [6, 16, 17]). Let be a continuous function on . The expression is the left Riemann-Liouville fractional derivative of of order , which is given by

Definition 3 (see [6, 16, 17]). Let be a continuous function on . The left Caputo fractional derivative of of order is defined by

and the right Caputo fractional derivative of order of is defined by

Lemma 4 (see [16, 17, 19]). Let , , and Then for , the following properties hold

From now on we denote

Now, we can formulate our problem. Assume that the time-fractional derivative and the fractional integral are considered in the Riemann-Liouville sense; then the time-fractional differential system with Schrödinger operator can be given in the form

2.2. Eigenvalue Problem

Let be the associated variational space, which is the completion of the test function space , with respect to the norm

We have that the embedding is compact [23].

Consider the eigenvalue problem:

Since the embedding is compact, then the operator considered as an operator in is positive self-adjoint with compact inverse. Hence its spectrum consists of an infinite sequence of positive eigenvalues, tending to infinity; moreover the smallest one which is called the principal eigenvalue is denoted by which is simple and its corresponding eigenfunction does not change sign in . Also it is characterized by the following inequality:

For more details about the eigenvalue problem (10) and its principal eigenvalue, we refer the reader to [23].

To investigate our problem, we need to the following function space:

with the embedding given by

which is continuous and compact, where is the dual of .

3. Existence and Uniqueness of Solutions

In this section, we prove the existence and uniqueness of solutions of problem (8) by using the Lax-Milgram lemma.

For each and , we define the bilinear form by

where the differential operator maps onto and takes the following form.

Then, for all , we have

Theorem 5. The bilinear form is coercive on .

Proof. Replacing with in (16), we have

By using (9), we obtain

Then, if (9) and are satisfied, then there exists such that

and hence the bilinear form is coercive on .
According to (16), we have that the function is continuously differentiable on and symmetric; that is,

And to prove the existence of a unique solution of our problem by Lax-Milgram lemma, we need the following two lemmas, which provide the fractional Green’s formula.

Lemma 6 (see [16, 17]). Let . Then, for any , we have

Lemma 7 (see [16, 17]). Let . Then, for any such that in and on , we have

Now, with the help of Lemmas 6 and 7, and Lax-Milgram lemma, we state and prove the existence and uniqueness theorems for the solution of problem (8).

Theorem 8. If (19) and (20) are satisfied, then the problem (8) admits a unique solution

Proof. Define the mapping by

It is easy to see that forms a continuous linear form defined on . Then, by Lax-Milgram lemma, there exists a unique solution such that

which is equivalent to the existence of a unique solution for the equation

Equation (25) can be rewritten as

which produces the fractional partial differential equation

Now, multiplying both sides of (27) by and integrating over , we have

According to Lemmas 6 and 7, we have

By the comparison between (23), (26), and (29) we get

and, then, we deduce that

This completes the proof.

4. Formulation of the Control Problem

This section is a main object of this paper; we drive the adjoint state of our problem and the first order necessary and sufficient optimality conditions. Let be the space of controls. For a control , the state of system (2) is given by , and the observation equation is given by . For a given , the cost functional is given by (1), where is a positive definite Hermitian operator that satisfies the condition

Let be a closed convex subset of , and then the control problem is to find

Using the general theory of Lions [14], the following result gives the existence and uniqueness of optimal control. Moreover it gives the first order necessary and sufficient optimality conditions for the distributed optimal control problem (1) and (2), formulated to the time-fractional differential system (8).

Theorem 9. Assume that (19) and (32) are satisfied. If the cost functional is given by (1), then there exists an optimal control and this control is characterized by the following equations and inequalities:

In addition,

where is the adjoint state.

Proof. If is the optimal control, then it is characterized by [14]

which is equivalent to

Since , where

for , then

By using the fractional Green’s formula, we get

hence,

and, then, the adjoint equation takes the form:

Now, multiplying (42) by and applying fractional Green’s formula, we obtain

Since by using (2) we obtain

(37) is equivalent to

which is reduced to

Thus the proof is complete.

5. Applications

In this section, we provide specific application examples to demonstrate the effectiveness of our results and to justify the real contribution of these results.

Example 1. In the case of no constraints on the control, i.e., , (35) reduces to

and we may then put from (2) and (34). Then the optimal control is given by the following system of fractional partial differential equations:

Example 2. If we take

then (35) is equivalent to

And hence may be eliminated from (2) and (34) in the following way:

Clearly, from the last condition of (50), either and , or and , or and In the last case, we have and

Hence, assuming that

only the first two cases are possible. If

where is the identity operator, then we deduce

Then the optimal control is given by (55), where is furnished by the solution of the following nonlinear boundary value problem:

Example 3. Consider the case where

Then (35) is equivalent to the local condition

Further assume that

Hence the last condition (58) is simplified to the following conditions:

6. Summary and Conclusion

The motivation of this paper is to present a new planner to study the distributed control problem for the fractional differential systems. We pay our attention to the time-fraction differential cooperative system involving Schrödinger operator, which is formulated in system (2). This planner is based on the abstract variational formulation method, the Lax-Milgram lemma, and the adjoint problem technique. With the help of Lax-Milgram lemma, we prove existence and uniqueness of solution for the time-fractional differential system involving Schrödinger operator. By employing the adjoint problem, we characterize the optimal control. With regard to the fractional Dirichlet problem with linear quadratic cost functional, we produce some equations and inequalities which provide the necessary and sufficient optimality conditions. Further, we provide specific application examples to demonstrate the effectiveness of our results. Moreover, our technique proposed in this paper can be analogously applied to many fractional systems such as boundary control for time-fractional differential system involving Schrödinger operator with nature of control Dirichlet, Neumann, or Robin. Also, If , our results reduce to classical optimal control theory obtained by Lions in [14, 15] and Bahaa in [21] for the differential system involving Schrödinger operator.

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Authors’ Contributions

The authors contributed equally and significantly to the writing of this paper. All authors read and approved the final manuscript.

Acknowledgments

The authors extend their appreciation to the Deanship of Scientific Research at King Khalid University for funding this work through research groups program under grant number (R. G. P. 1/ 160/40 /2019).

References

B. Guo, X. Pu, and F. Huang, Fractional Partial Differential Equations and Their Numerical Solutions, World Scientific, Beijing, China, 2015.

H. A. Fallahgoul and S. M. Focardi, Fractional Calculus and Fractional Processes with Applications to Financial Economics: Theory and Applications, Elsevier, Amsterdam, Netherlands, 2017.

H. A. Ghany, A. S. Okb El Bab, A. M. Zabel, and A.-A. Hyder, “The fractional coupled KdV equations: exact solutions and white noise functional approach,” Chinese Physics B, vol. 22, no. 8, Article ID 080501, 2013.

H. A. Ghany and A.-A. Hyder, “Exact solutions for the wick-type stochastic time-fractional KdV equations,” Kuwait Journal of Science, vol. 41, no. 1, pp. 75–84, 2014.

H. A. Ghany and A.-A. Hyder, “Abundant solutions of wick-type stochastic fractional 2D KdV equations,” Chinese Physics B, vol. 23, Article ID 0605031-7, 2014.

Y. Zhou, Basic Theory of Fractional Differential Equations, World Scientific, New Jersy, NJ, USA, 2014.

M. Badr, A. Yazdani, and H. Jafari, “Stability of a finite volume element method for the time-fractional advection-diffusion equation,” Numerical Methods for Partial Differential Equations, vol. 34, no. 5, pp. 1459–1471, 2018.

S. Sadeghi Roshan, H. Jafari, and D. Baleanu, “Solving FDEs with Caputo-fabrizio derivative by operational matrix based on Eenocchi polynomials,” Mathematical Methods in the Applied Sciences, vol. 41, no. 18, pp. 9134–9141, 2018.

M. A. Firoozjaee, H. Jafari, A. Lia, and D. Baleanu, “Numerical approach of Fokker-Planck equation with Caputo-FABrizio fractional derivative using Ritz approximation,” Journal of Computational and Applied Mathematics, vol. 339, pp. 367–373, 2017.

H. Jafari, “Numerical solution of time-fractional Klein–Gordon equation by using the decomposition methods,” Journal of Computational and Nonlinear Dynamics, vol. 11, no. 4, Article ID 041015, 2016.

A. Iomin, “Fractional-time quantum dynamics,” Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, vol. 80, Article ID 022103, 2009.

A. Iomin, T. Sandev, A. Nepomnyashchy, and V. Volpert, “Lévy transport in slab geometry of inhomogeneous media,” Mathematical Modelling of Natural Phenomena, vol. 11, no. 3, pp. 51–62, 2016.

V. E. Tarasov, Quantum Mechanics of Non-Hamiltonian and Dissipative Systems, Monograph Series on Nonlinear Science and Complexity, vol. 7, Elsevier Science, Amsterdam, Netherlands, 2008.

J. L. Lions, Optimal Control of Systems Governed by Partial Differential Equations, Springer, Berlin, Germany, 1971.

J.-L. Lions, Some Methods in the Mathematical Analysis of Systems and Their Control, Science Press, Beijing, China, 1981.

G. Mophou and G. M. N'Guérékata, “Optimal control of a fractional diffusion equation with state constraints,” Computers & Mathematics with Applications, vol. 62, no. 3, pp. 1413–1426, 2011.

G. M. Mophou, “Optimal control of fractional diffusion equation,” Computers & Mathematics with Applications, vol. 61, no. 1, pp. 68–78, 2011.

R. Dorville, G. M. Mophou, and V. S. Valmorin, “Optimal control of a nonhomogeneous Dirichlet boundary fractional diffusion equation,” Computers & Mathematics with Applications, vol. 62, no. 3, pp. 1472–1481, 2011.

G. Bahaa, “Fractional optimal control problem for differential system with control constraints,” Filomat, vol. 30, no. 8, pp. 2177–2189, 2016.

H. M. Serag, “Distributed control for cooperative systems governed by Schrodinger operator,” Journal of Discrete Mathematical Sciences & Cryptography, vol. 3, no. 1-3, pp. 227–234, 2000.

G. M. Bahaa, “Boundary control for cooperative parabolic systems governed by Schrodinger operator,” Differential Equations and Control Processes, vol. 1, pp. 78–88, 2006.

A. H. Qamlo, “Distributed control for cooperative hyperbolic systems involving Schrodinger operator,” International Journal of Dynamics and Control, vol. 1, pp. 54–59, 2013.

J. Fleckinger, “Estimates of the number of eigenvalues for an operator of Schrodinger type,” Proceedings of the Royal Society of Edinburgh, Section: A Mathematics, vol. 89A, no. 3-4, pp. 355–361, 1981.